Motivation: The application of next-generation sequencing (NGS) technologies to RNAs
directly extracted from a community of organisms yields a mixture of fragments characterizing …

Background Position Weight Matrices (PWMs) are probabilistic representations of signals in
sequences. They are widely used to model approximate patterns in DNA or in protein …

Targeted metagenomics, also known as metagenetics, is a high-throughput sequencing
application focusing on a nucleotide target in a microbiome to describe its taxonomic content. A …

We study the effect of polynomial interpretation termination proofs of deterministic (resp. non-deterministic)
algorithms defined by con uent (resp. non-con uent) rewrite systems over …

… Since the size of l(H) ◦ P is greater than the size of G, l(H) ◦ P is a rightmost forest, that implies
that G = H ◦ P is a also rightmost forest. – If (A(i),G) is generated by a deletion: there exists a …

We present a tool for the prediction of conserved secondary structure elements of a family of
homologous non-coding RNAs. Our method does not require any prior multiple sequence …

Motivation Advances in the sequencing of uncultured environmental samples, dubbed
metagenomics, raise a growing need for accurate taxonomic assignment. Accurate identification …

Motivation Nanopore long-read sequencing technology offers promising alternatives to high-throughput
short read sequencing, especially in the context of RNA-sequencing. However …

In Mammals, microglial cells are considered as the resident immune cells in central nervous
system (CNS). Many studies demonstrated that, after injury, these cells are activated and …

Cette thèse s'inscrit dans le cadre général de la preuve de terminaison de systèmes de
réécriture, avec un accent particulier sur le problème de la complexité. La terminaison est une …