Dans une première partie, nous définissons plusieurs schémas de compression en partant de l'état de l'art qu'est JPEG 2000 aujourd'hui. Les schémas de compressions que nous avons définis proposent d'utiliser une transformation pour la réduction de la redondance spatiale transformée en ondelette discrète (TOD) et une autre transformation pour réduire la redondance spectrale. Les transformations optimales sous les hypothèses faible distortion, permettant de réduire la redondance spectrale, s'obtiennent dans certains cas en minimisant un critère qui peut être interprété comme le critère de l'analyse en composantes indépendantes (ACI) (minimisation de l'information mutuelle) additionné d'un terme toujours positif ou nul qui est une certaine mesure à l'orthogonalité de la transformation obtenue. Les performances obtenues en intégrant ces transformations dans nos schémas de compression montrent une amélioration des performances en comparaison à la transformation de Karhunen Loève (TKL). Dans la deuxième partie, nous proposons un modèle de mélange convolutif pour rechercher une transformation unique réduisant à la fois les redondances spatiales et spectrales. Nous définissons le critère à minimiser sous les hypothèses faibles distortions et nous montrons que ce critère peut s'interprété comme celui de l'ACI pour la séparation et déconvolution lorsque le critère à minimiser est l'information mutuelle auquel s'additionne un terme toujours positif ou nul. Puis nous proposons deux algorithmes permettant d'obtenir d'une part la transformation minimisant le critère dans le cas général, et d'autre part celle qui minimise le critère sous la contrainte que la distorsion dans le domaine transformée est la même que celle du domaine de l'image.

No description available.

Cette thèse s'intéresse à la conception et le développement des techniques de bioinfor- matique qui peuvent faciliter l'utilisation de l'approche metabarcoding pour mesurer la diversité d'espèces. Le metabarcoding peut être utilisé avec le séquencage haut débit pour l'identification d'espèces multiples à partir d'un seul échantillon environnemental. La véritable force du metabarcoding réside dans l'utilisation de barcode marqueurs choisi pour une étude particulière et l'identification d'espèces ou des taxons peut être réalisé avec des marqueurs soigneusement conçu. Avec l'avancement des techniques haut débit de séquençage, une énorme quantité des données de séquences est produit qui contient un nombres substantiel des mutations. Ces mutations posent un grand problème pour les estimations correctes de la biodiversité et pour le d'assignation de taxon. Les trois problèmes majeurs dans le domaine de la bioinformatique que j'ai abordés dans cette thèse sont: i) évaluer la qualité d'une barcode marker , ii) concevoir des nouveaux région barcode et iii) d'analyser les données de séquençage pour traiter les erreurs et éliminer le bruit en séquences. Pour évaluer la qualité d'un barcode marker, on a développé deux mesures quantita- tive,formelle: la couverture (Bc) et la spécificité (Bs). La couverture donne une mesure de universalité d'une pairs de primer pour amplifier un large nombre de taxa, alors que la spécificité donne une mesure de capacité à discriminer entre les différents taxons. Ces mesures sont très utiles pour le classement des barcode marker et pour sélectionner les meilleurs markers. Pour trouver des nouveaux région barcode notamment pour les applications metabarcod- ing, j'ai développé un logiciel, ecoPrimers3. Basé sur ces deux mesures de qualité et de l'information taxinomique intégré, ecoPrimers nous permet de concevoir barcode markers pour n'importe quel niveau taxonomique . En plus, avec un grand nombre de paramètres réglables il nous permet de contrôler les propriétés des amorces. Enfin, grâce a des algorithmes efficaces et programmé en langage C, ecoPrimers est suffisamment efficace pour traiter des grosses bases de données, y compris génomes bactériens entièrement séquencés. Enfin pour traiter des erreurs présentes dans les données de séquencage , nous avons analysé un ensemble simple d'échantillons de PCR obtenus à partir de l'analyse du régime alimentaire de Snow Leopard. En mesurant les corrélations entre les différents paramètres des erreurs, nous avons observé que la plupart des erreurs sont produites pendant l'amplification par PCR. Pour détecter ces erreurs, nous avons développé un algorithme utilisant les graphes, qui peuvent différencier les vrai séquences des erreurs induites par PCR. Les résultats obtenus à partir de cet algorithme a montré que les données de-bruitée a donnent une estimation réaliste de la diversité des espèces étudiées dans les Alpes françaises. / This thesis is concerned with the design and development of bioinformatics techniques that can facilitate the use of metabarcoding approach for measuring species diversity. Metabarcoding coupled with next generation sequencing techniques have a strong po- tential for multiple species identification from a single environmental sample. The real strength of metabarcoding resides in the use of barcode markers chosen for a particular study. The identification at species or higher level taxa can be achieved with carefully designed barcode markers. Moreover with the advent of high throughput sequencing techniques huge amount of sequence data is being produced that contains a substantial level of mutations. These mutations pose a problem for the correct estimates of biodi- versity and for the taxon assignation process. Thus the three major challenges that we addressed in this thesis are: evaluating the quality of a barcode region, designing new barcodes and dealing with errors occurring during different steps of an experiment. To assess the quality of a barcode region we have developed two formal quantitative mea- sures called barcode coverage (Bc) and barcode specificity (Bs). Barcode coverage is concerned with the property of a barcode to amplify a broad range of taxa, whereas barcode specificity deals with its ability to discriminate between different taxa. These measures are extremely useful especially for ranking different barcodes and selecting the best markers. To deal with the challenge of designing new barcodes for metabarcoding applications we have developed an efficient software called ecoPrimers. Based on the above two quality measures and with integrated taxonomic information, ecoPrimers1 enables us to design primers and their corresponding barcode markers for any taxonomic level. Moreover with a large number of tunable parameters it allows us to control the properties of primers. Finally, based on efficient algorithms and implemented in C language, ecoPrimers is efficient enough to deal with large data bases including fully sequenced bacterial genomes. Finally to deal with errors present in DNA sequence data, we have analyzed a simple set of PCR samples obtained from the diet analysis of snow leopard. We grouped closely related sequences and by measuring the correlation between different parameters of mutations, we have shown that most of the errors were introduced during PCR amplification. In order to deal with such errors, we have further developed an algorithm using graphs approach, that can differentiate true sequences from PCR induced errors. The results obtained from this algorithm showed that de-noised data gave a realistic estimate of species diversity studied in French Alpes. This algorithm is implemented in program obiclean.

En raison d’une utilisation croissante et massive, les nanoparticules manufacturées apparaissentcomme de potentiels contaminants émergents pour l’environnement, incluant notammentles écosystèmes aquatiques. Alors que le transfert trophique semble constituer unevoie d’exposition majeure pour les organismes, une connaissance lacunaire dans la littératurescientifique persiste, résultant pour partie des difficultés expérimentales inhérentes àce type d’exposition. Pour ce travail en conditions contrôlées de laboratoire, les nanoparticulesd’or (sphériques, 10 nm, fonctionnalisées aux PEG-amines), stables en solution, ontété choisies pour l’étude du transfert trophique et des impacts toxiques sur des organismesaquatiques. Ce continuum trophique considère la base des réseaux trophiques (biofilms naturels,algues), des niveaux intermédiaires (poissons brouteurs, bivalves suspensivores), jusqu’auxorganismes de haut de chaînes trophiques, avec l’anguille européenne. Avec des expositionsréalisées à de relatives faibles doses, ce travail tend à la représentativité environnementale.Des approches méthodologiques intégratives des niveaux subcellulaire à tissulaire(RT-qPCR, séquençage haut-débit, histologie) ont permis d’évaluer les impacts toxiques.Les résultats indiquent une importante capacité de rétention des nanoparticules par les biofilmsnaturels. À la suite d’une exposition de 21 jours, les dosages d’or révèlent un transfertdes biofilms aux poissons brouteurs, avec une distribution de l’or dans tous les organes. Deplus, ce transfert est associé à une réponse inflammatoire au regard des lésions histologiquesobservés dans les foies, rates et muscles des poissons exposés. Une chaîne alimentaire « naturelle» à trois maillons trophiques, impliquant algues - bivalves - anguilles européennes,atteste d’un transfert significatif jusqu’au poisson prédateur. Enfin, l’analyse du transcriptome,par une approche de séquençage haut-débit, des foies et cerveaux d’anguilles exposéesaux nanoparticules par nourriture enrichie, a permis de mettre en évidence une réponseconjointe à ces deux organes dans des processus biologiques associés au système immunitaireet sa régulation, dont des récepteurs NOD-like impliqués dans l’inflammasome.L’ensemble des résultats expérimentaux interpellent quant aux effets délétères à long-termequ’engendreraient les nanoparticules sur les écosystèmes aquatiques, illustrant par ailleursla propension de ces contaminants à être transférés dans les chaînes trophiques. / Due to an increasing and massive use, engineered nanoparticles are raising as potentialemerging contaminants in the environment, including aquatic ecosystems. While trophictransfer appears to constitute a major exposure route for organisms, scientific literature hasdifficulties to respond to the questions raised to explore the range of the interactions existingbetween nanoparticles and living organisms at different scales from the trophic interactionsto the cellular impacts. This problem is partly due to experimental difficulties inherent tothis exposure type. For this work performed in controlled laboratory conditions, sphericalgold nanoparticles (10 nm, coated with PEG-amines, positively charged) were chosen tostudy the trophic transfer and toxic effects on aquatic organisms. Trophic chains concernedseveral trophic levels (up to three) with a variety of species considered : the basis of thetrophic web with natural biofilms or microalgae, intermediate levels with grazing fish orsuspensivorous bivalves, and up to top food chain organisms, with the European eel, a carnivorousfish.With relatively low doses for exposures, this work tends to represent environmentalconditions. Integrative methodological approaches from subcellular to tissue levels(RT-qPCR, RNA-sequencing, histology) were performed in order to assess toxic impacts.The results indicate a high retention capacity of nanoparticles by natural biofilms. Followinga 21-day exposure, gold quantifications reveal a transfer from biofilms to grazing fish, witha gold distribution in all organs. Moreover, this transfer is associated with an inflammatoryresponse according to the histological lesions observed in the liver, spleen and muscle ofexposed fish. A longer food chain, with three trophic levels involving microalgae - bivalves- European eels, is set up to give a better representation of the complexity of trophic interactionsin the aquatic environment. It shows a significant transfer to the predatory fish.Transcriptomic analyses, using the RNA-sequencing approach, for the liver and the brain ofexposed eels by nanoparticles’ enriched food, highlight a joint response for these two organsin the biological processes associated with the immune system and its regulation, includingNOD-like receptors involved in inflammasome.All the experimental results suggest long-term harmful effects that nanoparticles would generatein aquatic ecosystems, emphasizing the ability of these contaminants to be transferredthroughout trophic chains.

Les communications optiques dans le spectre visible (VLC pour Visible-Light Communications) ont attiré une attention particulière depuis quelques années en tant qu'une solution prometteuse pour les réseaux sans fil à très haut-débit dans les milieux intra-bâtiment. Ainsi, cette technique exploite l'infrastructure d’éclairage basée sur les diodes électroluminescentes (LED) pour la transmission de l'information. Pour cette raison, elle offre de nombreux avantages, comparée aux techniques « classiques » basées sur les transmissions radiofréquences (RF), tels que l'existence d'une grande largeur de bande non réglementée, une sécurité de transmission intrinsèque et une immunité aux interférences électromagnétiques.Les principales contraintes liées à l'établissement d'une transmission VLC à très haut-débit dans ce contexte sont la propagation en trajets multiples et les caractéristiques non-idéales des LEDs commerciales, dites « blanches ». L'objectif de cette thèse est d'étudier l'impact réel de ces contraintes sur la transmission des données et de proposer des solutions efficaces de traitement du signal pour atténuer leurs effets. Nous commençons par étudier la réponse impulsionnelle du canal VLC grâce à l'élaboration d'un outil de simulation efficace. Nous évaluons ensuite la sélectivité en fréquence du canal de propagation en considérant différents critères, tels que la réponse fréquentielle, l'étalement temporelle du canal et le rapport signal à interférences. Dans un deuxième temps, compte tenu de la possibilité de la sélectivité en fréquence du canal et aussi la limitation de la bande passante des LEDs, nous étudions la pertinence de l'emploi de différentes techniques de transmission de signaux, notamment celle de l'OFDM optique (pour Orthogonal Frequency-Division Multiplexing) afin de garantir des débits de transmission compétitifs avec la RF. Etant donné le facteur de crête ou PAPR (pour Peak-to-Average Power Ratio) élevé des signaux modulés en OFDM et la dynamique limitée des LEDs, nous proposons ensuite un nouveau schéma de transmission basé sur la modulation CAP (pour Carrier-less Amplitude and Phase) en plus de l'égalisation dans le domaine fréquentiel (FDE pour Frequency-Domain Equalization) au niveau du récepteur. Nous analysons les performances des liaisons VLC utilisant cette technique et les comparons à l'OFDM optique, en prenant particulièrement en compte la non-linéarité des LEDs. Enfin, nous démontrons l'intérêt de l'utilisation du schéma de transmission CAP-FDE à travers des résultats expérimentaux. / Visible Light Communications (VLC) have attracted particular attention in the research community since a few years as a promising solution for high-speed indoor wireless networks. By exploiting the existing solid-state light-emitting diode (LED) lighting infrastructure, VLC offer numerous advantages such as a large unlicensed bandwidth, transmission security, and immunity to electro-magnetic interference compared to their radiofrequency counterparts. Within the context of indoor VLC, the multipath propagation channel and the non-ideal characteristics of the commercial white LEDs cause the main limitations for achieving high data-rate transmission. The objective of this thesis is to investigate the true impact of these limitations on the data transmission and to propose efficient signal processing solutions to mitigate their adverse effects. We start by the study of the indoor VLC channel impulse response by developing an efficient simulation tool. We then consider evaluating the channel frequency selectivity through different metrics. Next, given the potentially frequency-selective channel and the limited modulation bandwidth of the LEDs, we investigate the suitability of employing different signal transmission techniques including optical orthogonal frequency-division multiplexing (O-OFDM) in order to achieve high data-rate transmission. Given the high peak-to-average power ratio (PAPR) of O-OFDM signals and the limited dynamic range of the LEDs, we then propose a novel transmission scheme, which consists of using carrier-less amplitude and phase (CAP) modulation together with frequency domain equalization (FDE) at the receiver. We analyze the performance of the VLC link using this technique and compare it with the O-OFDM schemes, especially by taking the non-linear characteristics of the LED into account. Lastly, we demonstrate the merits of using the CAP-FDE transmission scheme via some experimental results.

Parmi plus de 20000 espèces de trématodes hermaphrodites, les Schistosomatidae ont un statut particulier car ils sont gonochoriques (i.e. deux sexes séparés). Le gonochorisme chez ces espèces, et leur dimorphisme sexuel, seraient en fait une stratégie d’adaptation à leur habitat : le système veineux des vertébrés à sang chaud, dont l’Homme. Malgré un mode chromosomique de déterminisme du sexe (i.e. hétérogamétie femelle ZW), les individus mâles et femelles demeurent phénotypiquement identiques durant tous les stades larvaires de leur cycle de vie hétéroxène. La différenciation sexuelle n’a lieu qu’après l’infestation de leur hôte définitif. Dans ce travail, nous nous sommes intéressés aux facteurs moléculaires déclenchant cette différenciation chez Schistosoma mansoni. Nous avons établi le profil d’expression sexe-dépendant de gènes conservés de la cascade de détermination/différenciation chez les animaux : les DMRT (Double-sex and Male-abnormal-3 Related Transcription Factors). Nous avons par ailleurs généré un transcriptome comparatif mâle/femelle (RNA-seq) sur 5 stades de développement in vivo, dont 3 stades « schistosomules » inédits. Cela nous a permis d’identifier de potentiels gènes « clés » de la différenciation sexuelle et de souligner l’importance de l’interaction hôte-parasite. Enfin, par la combinaison de cette approche transcriptomique et d’une analyse épigénomique (ChIP-seq), nous avons montré une dynamique de la compensation de dose génique au cours du cycle de vie chez les femelles ainsi que la mise en place d’une stratégie transcriptionnelle particulière chez les mâles, optimisant leur développement dans l’hôte et ainsi, leur succès reproducteur. / Parasitic flatworms include more than 20.000 species that are mainly hermaphrodites. Among them, the hundred species of Schistosomatidae are intriguing because they are gonochoric. The acquisition of gonochorism in these species is supposed to provide genetic and functional advantages to adapt to their hosts: warm-blooded animals. Sex of schistosomes is genetically determined at the time of fertilization (i.e. ZW female heterogametic system). However, there is no phenotypic dimorphism through all the larval stages of its complex lifecycle: sexual dimorphism appears only in the definitive host. The molecular mechanisms triggering this late sexual differentiation remain unclear, and this is precisely the topic of our present work. We performed transcriptomic (RNA-Sequencing and quantitative-PCRs) and structural (ChIP-Sequencing) analyses at different stages of Schistosoma mansoni development. Here, we present data suggesting that the sexual differentiation relies on a combination of genetic and epigenetic factors. In a genetic point of view, we show a sex-associated expression of the DMRT genes (Double-sex and Mab-3 Related Transcription Factors) that are known to be involved in sex determination/differentiation through all the animal kingdom. In addition, we propose new potential sex-determining key genes and a pivotal role of host-pathogen interaction at the time of development. In a structural point of view, we highlight a dynamic status of dosage compensation in females and chromatin modifications in males. This intense remodeling reveals a specific transcriptomic strategy which optimizes male development and beyond that, schistosomes reproductive success.

No description available.

No description available.

D’ici la fin du siècle, les prévisions climatiques prévoient une diminution de la quantité et de la régularité des pluies s’accompagnant d’une augmentation du risque de sècheresse en Europe et dans de nombreuses régions du monde. La création de nouvelles variétés de maïs plus tolérantes au stress hydrique est un levier indispensable pour faire face à ces contraintes futures. L’objectif principal de cette thèse est d’approfondir les connaissances des déterminismes génétiques de la tolérance à la sècheresse chez le maïs. Pour ce faire, il est proposé de disséquer ce caractère complexe en caractères physiologiques sous-jacents dont le déterminisme génétique est a priori plus simple. L’évolution de l’indice foliaire vert (GLAI : Green Leaf Area Index) au cours du cycle de la plante, par son rôle majeur dans l’interception lumineuse, la transpiration et les échanges de CO2, est un caractère secondaire prometteur pour identifier les bases génétiques de la tolérance à la sècheresse et en améliorer la compréhension. Au cours de cette thèse, nous avons développé une méthode de phénotypage haut débit permettant d’estimer la cinétique du GLAI au champ. Cette méthode combine la caractérisation multispectrale par drone et l’utilisation d’un modèle physiologique simple de GLAI. Elle permet d’estimer la cinétique du GLAI de manière continue sur l’ensemble du cycle de la plante avec une bonne précision, tout en divisant par vingt le temps nécessaire au phénotypage. Nous avons utilisé cette méthode lors de deux essais en conditions optimales et deux essais en conditions de stress hydrique pour mesurer l’évolution du GLAI au sein d’un panel de 324 lignées issues d’une population MAGIC (Multi-parent Advanced Generation Inter-Cross). Les cinétiques estimées présentent une forte héritabilité et expliquent une part significative du rendement en conditions optimales et stressées. Afin d’identifier les bases génétiques de la cinétique du GLAI, trois approches de génétique d’association longitudinales ont été comparées : une approche univariée en deux étapes, une approche multivariée en deux étapes et une approche de régression aléatoire en une étape. Ces trois approches, couplées à la forte densité des données de génotypage disponibles (près de 8 millions de marqueurs), ont permis de révéler de nombreux QTL (Quantitative Trait Loci), dont certains colocalisent avec des QTL de rendement. Enfin, nous avons démontré que les QTL de GLAI identifiés lors de cette étude pouvaient expliquer près de 20 % de la variabilité du rendement observée dans un large réseau d’expérimentations sous stress hydrique. Ce travail fournit des méthodes qui permettront une meilleure caractérisation et une meilleure compréhension des déterminismes génétiques de la cinétique du GLAI, un caractère jusqu’ici inaccessible pour les populations de taille importante. Ce caractère présente toutes les caractéristiques requises pour améliorer l’efficacité des programmes de sélection en conditions de stress hydrique. / By the end of the century, climate forecasts predict a decrease in the quantity and regularity of rainfall with an increasing risk of drought in Europe and in many regions of the world. Breeding for more tolerant varieties will be an essential lever to face these future constraints. The main objective of this work is to characterize the genetic determinisms of drought tolerance in maize. To this aim, it is proposed to dissect this complex trait into underlying physiological traits whose genetic determinism is supposed to be simpler. Green Leaf Area Index (GLAI) dynamics throughout the plant cycle, through its major role in light interception, transpiration and CO2 exchange, is a promising secondary trait to identify and better understand the genetic basis of drought tolerance. During this thesis, we developed a high-throughput method for phenotyping maize GLAI dynamics in the field. This method combines UAV multispectral imagery and a simple GLAI model. It makes possible the estimation of the dynamics of GLAI continuously throughout the whole plant cycle with good accuracy, while reducing the phenotyping time twentyfold. This method was used in two well-watered and two water-deficient trials to characterize the GLAI dynamics of 324 lines from a MAGIC population (Multi-parent Advanced Generation Inter-Cross). The estimated dynamics have a high heritability and explain a significant part of grain yield under well-watered and water-stressed conditions. To characterize the genetic basis of GLAI dynamics, three longitudinal GWAS (Genome Wide Association Study) approaches were compared: a univariate two-step approach, a multivariate two-step approach and a random regression one-step approach. These three approaches, combined with the high density of available genotyping data (nearly 8 million markers), have revealed many QTL (Quantitative Trait Loci), some of which were co-localized with yield QTL. Finally, we demonstrated that the GLAI QTL identified in this study could explain nearly 20 % of the grain yield variability observed in a large network of water-stressed experiments. This work provides methods that will enable a better characterization and understanding of the genetic determinisms of GLAI dynamics, a trait that was out of reach in large populations until now. This trait presents all the characteristics required to improve the effectiveness of selection programs under water stress conditions.

Les microARN sont de petits ARN non codants d'environ 22 nucléotides impliqués dans la régulation de l'expression des gènes. Ils ciblent les régions complémentaires des molécules d'ARN messagers que ces gènes codent et ajustent leurs niveaux de traduction en protéines en fonction des besoins de la cellule. En s'attachant à leurs cibles par complémentarité partielle de leurs séquences, ces deux groupes de molécules d'ARN compétitionnent activement pour former des interactions régulatrices. Par conséquent, prédire quantitativement les concentrations d'équilibres des duplexes formés est une tâche qui doit prendre un compte plusieurs facteurs dont l'affinité pour l'hybridation, la capacité à catalyser la cible, la coopérativité et l'accessibilité de l'ARN cible. Dans le modèle que nous proposons, miRBooking 2.0, chaque interaction possible entre un microARN et un site sur un ARN cible pour former un duplexe est caractérisée par une réaction enzymatique. Une réaction de ce type opère en deux phases : une formation réversible d'un complexe enzyme-substrat, le duplexe microARN-ARN, suivie d'une conversion irréversible du substrat en produit, un ARN cible dégradé, et de la restitution l'enzyme qui pourra participer à une nouvelle réaction. Nous montrons que l'état stationnaire de ce système, qui peut comporter jusqu'à 10 millions d'équations en pratique, est unique et son jacobien possède un très petit nombre de valeurs non-nulles, permettant sa résolution efficace à l'aide d'un solveur linéaire épars. Cette solution nous permet de caractériser précisément ce mécanisme de régulation et d'étudier le rôle des microARN dans un contexte cellulaire donné. Les prédictions obtenues sur un modèle de cellule HeLa corrèlent significativement avec un ensemble de données obtenu expérimentalement et permettent d'expliquer remarquablement les effets de seuil d'expression des gènes. En utilisant ces prédictions comme condition initiale et une méthode d'intégration numérique, nous simulons en temps réel la réponse du système aux changements de conditions expérimentales. Nous appliquons ce modèle pour cibler des éléments impliqués dans la transition épithélio-mésenchymateuse (EMT), un mécanisme biologique permettant aux cellules d'acquérir une mobilité essentielle pour proliférer. En identifiant des éléments transcrits différentiellement entre les conditions épithéliale et mésenchymateuse, nous concevons des microARN synthétiques spécifiques pour interférer avec cette transition. Pour ce faire, nous proposons une méthode basée sur une recherche gloutonne parallèle pour rechercher efficacement l'espace de la séquence du microARN et présentons des résultats préliminaires sur des marqueurs connus de l'EMT. / MicroRNAs are small non-coding RNAs of approximately 22 nucleotide long involved in the regulation of gene expression. They target complementary regions to the RNA transcripts molecules that these genes encode and adjust the concentration according to the needs of the cell. As microRNAs and their RNA targets binds each other with imperfect complementarity, these two groups actively compete to form regulatory interactions. Consequently, attempting to quantitatively predict their equilibrium concentrations is a task that must take several factors into account, including the affinity for hybridization, the ability to catalyze the target, cooperation, and RNA accessibility. In the model we propose, miRBooking 2.0, each possible interaction between a microRNA and a binding site on a target RNA is characterized by an enzymatic reaction. A reaction of this type operates in two phases: a reversible formation of an enzyme-substrate complex, the microRNA-RNA duplex, and an irreversible conversion of the substrate in an RNA degradation product that restores the enzyme which can subsequently participate to other reactions. We show that the stationary state of this system, which can include up to 10 million equations in practice, has a very shallow Jacobian, allowing its efficient resolution using a sparse linear solver. This solution allows us to characterize precisely the mechanism of regulation and to study the role of microRNAs in a given cellular context. Predictions obtained on a HeLa S3 cell model correlate significantly with a set of experimental data obtained experimentally and can remarkably explain the expression threshold effects of genes. Using this solution as an initial condition and an explicit method of numerical integration, we simulate in real time the response of the system to changes of experimental conditions. We apply this model to target elements involved in the Epithelio-Mesenchymal Transition (EMT), an important mechanism of tumours proliferation. By identifying differentially expressed elements between the two conditions, we design synthetic microRNAs to interfere with the transition. To do so, we propose a method based on a parallel greedy best-first search to efficiently crawl the sequence space of the microRNA and present preliminary results on known EMT markers.