Auswahl der wissenschaftlichen Literatur zum Thema „Annotation de modèles“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Annotation de modèles" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Annotation de modèles"
Bénel, Aurélien. „Document numérique : l’informatique en quête d’un corps“. La Gazette des archives 262, Nr. 2 (2021): 45–60. http://dx.doi.org/10.3406/gazar.2021.6045.
Der volle Inhalt der QuelleVIGNAL, A., C. DIOT, C. MOLETTE, M. MORISSON, T. FARAUT, M. RAO, F. PITEL, V. FILLON und C. MARIE-ETANCELIN. „Génomique des canards“. INRAE Productions Animales 26, Nr. 5 (19.12.2013): 391–402. http://dx.doi.org/10.20870/productions-animales.2013.26.5.3168.
Der volle Inhalt der QuelleDUCHESNE, A., C. GROHS, P. MICHOT, M. BERTAUD, D. BOICHARD, S. FLORIOT und A. CAPITAN. „Du phénotype à la mutation causale : le cas des anomalies récessives bovines“. INRA Productions Animales 29, Nr. 5 (09.01.2020): 319–28. http://dx.doi.org/10.20870/productions-animales.2016.29.5.3000.
Der volle Inhalt der QuelleNano, Olivier, und Mireille Blay-Fornarino. „Annotations et transformations de modèles pour l'intégration de services“. L'objet 10, Nr. 2-3 (30.09.2004): 175–88. http://dx.doi.org/10.3166/objet.10.2-3.175-188.
Der volle Inhalt der QuelleGarcia-Debanc, Claudine, Myriam Bras und Laure Vieu. „Annotation de la cohérence dans des textes d’élèves et jugements de cohérence d’enseignants du primaire“. SHS Web of Conferences 186 (2024): 03003. http://dx.doi.org/10.1051/shsconf/202418603003.
Der volle Inhalt der QuelleMathon, Catherine, Gilles Boyé und Anna Kupsc. „Modélisation des contraintes extralinguistiques et de leur impact sur les variations prosodiques : le cas du commentaire sportif télévisuel“. SHS Web of Conferences 191 (2024): 09006. http://dx.doi.org/10.1051/shsconf/202419109006.
Der volle Inhalt der QuelleCariou, Morgane. „À propos d’un manuscrit de Nicolò Leonico Tomeo, le modèle de l’édition princeps du Lapidaire orphique“. Scriptorium 68, Nr. 1 (2014): 49–77. http://dx.doi.org/10.3406/scrip.2014.4293.
Der volle Inhalt der QuelleQayyum, Asim M. „Deriving an Ontology of Reader Authored Markings Made on Electronic Documents“. Proceedings of the Annual Conference of CAIS / Actes du congrès annuel de l'ACSI, 20.10.2013. http://dx.doi.org/10.29173/cais305.
Der volle Inhalt der Quelle„Language learning“. Language Teaching 36, Nr. 3 (Juli 2003): 202–15. http://dx.doi.org/10.1017/s0261444803221959.
Der volle Inhalt der QuelleDissertationen zum Thema "Annotation de modèles"
Flutre, Timothée. „L' annotation des éléments transposables par la compréhension de leur diversification“. Paris 7, 2010. http://www.theses.fr/2010PA077239.
Der volle Inhalt der QuelleTransposable elements are DNA sequences that can move and duplicata within genomes. They hence have a major impact on genome structure but also on the expression of neighbouring genes, notably via epigenetiç mechanisms. However, except for some model organisms for which reference sequences are available, the annotation of transposable elements corresponds to a bottleneck in the analysis of genomic sequences. Therefore, I started by comparing existing computer programs used in de novo approaches of transposable element identification. In this aim, I designed a test protocol on the genomes of Drosophila melanogaster and Arabidopsis thaliana. As a result, I proposed a de novo approach combining several tools, thus enabling the automatic recovery of a great number of reference sequences. Moreover, I showed that our approach highlighted the structural variations present within well-known families, thus reflecting the diversification of such families during their evolution. This approach was implemented in a package (REPET) making possible the analysis of transposable elements in numerous genomes from plants, insects and fungi among others. This work lead to a roadmap describing, from a practical point of view, how to annotate the transposable element content of any newly sequenced genome. Finally, I propose several perspectives, notably the simulation of the data required for the improvement of the detection algorithms, a way complementary to the modeling of transposable element dynamics
Barrat, Sabine. „Modèles graphiques probabilistes pour la reconnaissance de formes“. Phd thesis, Université Nancy II, 2009. http://tel.archives-ouvertes.fr/tel-00530755.
Der volle Inhalt der QuelleMorlot, Jean-Baptiste. „Annotation of the human genome through the unsupervised analysis of high-dimensional genomic data“. Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066641/document.
Der volle Inhalt der QuelleThe human body has more than 200 different cell types each containing an identical copy of the genome but expressing a different set of genes. The control of gene expression is ensured by a set of regulatory mechanisms acting at different scales of time and space. Several diseases are caused by a disturbance of this system, notably some cancers, and many therapeutic applications, such as regenerative medicine, rely on understanding the mechanisms of gene regulation. This thesis proposes, in a first part, an annotation algorithm (GABI) to identify recurrent patterns in the high-throughput sequencing data. The particularity of this algorithm is to take into account the variability observed in experimental replicates by optimizing the rate of false positive and false negative, increasing significantly the annotation reliability compared to the state of the art. The annotation provides simplified and robust information from a large dataset. Applied to a database of regulators activity in hematopoiesis, we propose original results, in agreement with previous studies. The second part of this work focuses on the 3D organization of the genome, intimately linked to gene expression. This structure is now accessible thanks to 3D reconstruction algorithm from contact data between chromosomes. We offer improvements to the currently most efficient algorithm of the domain, ShRec3D, allowing to adjust the reconstruction according to the user needs
Ayllón-Benítez, Aarón. „Development of new computational methods for a synthetic gene set annotation“. Thesis, Bordeaux, 2019. http://www.theses.fr/2019BORD0305.
Der volle Inhalt der QuelleThe revolution in new sequencing technologies, by strongly improving the production of omics data, is greatly leading to new understandings of the relations between genotype and phenotype. To interpret and analyze data grouped according to a phenotype of interest, methods based on statistical enrichment became a standard in biology. However, these methods synthesize the biological information by a priori selecting the over-represented terms and focus on the most studied genes that may represent a limited coverage of annotated genes within a gene set. During this thesis, we explored different methods for annotating gene sets. In this frame, we developed three studies allowing the annotation of gene sets and thus improving the understanding of their biological context.First, visualization approaches were applied to represent annotation results provided by enrichment analysis for a gene set or a repertoire of gene sets. In this work, a visualization prototype called MOTVIS (MOdular Term VISualization) has been developed to provide an interactive representation of a repertoire of gene sets combining two visual metaphors: a treemap view that provides an overview and also displays detailed information about gene sets, and an indented tree view that can be used to focus on the annotation terms of interest. MOTVIS has the advantage to solve the limitations of each visual metaphor when used individually. This illustrates the interest of using different visual metaphors to facilitate the comprehension of biological results by representing complex data.Secondly, to address the issues of enrichment analysis, a new method for analyzing the impact of using different semantic similarity measures on gene set annotation was proposed. To evaluate the impact of each measure, two relevant criteria were considered for characterizing a "good" synthetic gene set annotation: (i) the number of annotation terms has to be drastically reduced while maintaining a sufficient level of details, and (ii) the number of genes described by the selected terms should be as large as possible. Thus, nine semantic similarity measures were analyzed to identify the best possible compromise between both criteria while maintaining a sufficient level of details. Using GO to annotate the gene sets, we observed better results with node-based measures that use the terms’ characteristics than with edge-based measures that use the relations terms. The annotation of the gene sets achieved with the node-based measures did not exhibit major differences regardless of the characteristics of the terms used. Then, we developed GSAn (Gene Set Annotation), a novel gene set annotation web server that uses semantic similarity measures to synthesize a priori GO annotation terms. GSAn contains the interactive visualization MOTVIS, dedicated to visualize the representative terms of gene set annotations. Compared to enrichment analysis tools, GSAn has shown excellent results in terms of maximizing the gene coverage while minimizing the number of terms.At last, the third work consisted in enriching the annotation results provided by GSAn. Since the knowledge described in GO may not be sufficient for interpreting gene sets, other biological information, such as pathways and diseases, may be useful to provide a wider biological context. Thus, two additional knowledge resources, being Reactome and Disease Ontology (DO), were integrated within GSAn. In practice, GO terms were mapped to terms of Reactome and DO, before and after applying the GSAn method. The integration of these resources improved the results in terms of gene coverage without affecting significantly the number of involved terms. Two strategies were applied to find mappings (generated or extracted from the web) between each new resource and GO. We have shown that a mapping process before computing the GSAn method allowed to obtain a larger number of inter-relations between the two knowledge resources
Liu, Hui. „Intégration des approches ontologiques et d'ingénierie dirigée par les modèles pour la résolution de problèmes d'interopérabilité“. Phd thesis, Ecole Centrale de Lille, 2011. http://tel.archives-ouvertes.fr/tel-00662511.
Der volle Inhalt der QuelleSavonnet, Marinette. „Systèmes d'Information Scientifique : des modèles conceptuels aux annotations sémantiques Application au domaine de l'archéologie et des sciences du vivant“. Habilitation à diriger des recherches, Université de Bourgogne, 2013. http://tel.archives-ouvertes.fr/tel-00917782.
Der volle Inhalt der QuelleSilveira, Mastella Laura. „Exploitation sémantique des modèles d'ingénierie : application à la modélisation des réservoirs pétroliers“. Phd thesis, École Nationale Supérieure des Mines de Paris, 2010. http://pastel.archives-ouvertes.fr/pastel-00005770.
Der volle Inhalt der QuelleTayari, Meftah Imen. „Modélisation, détection et annotation des états émotionnels à l'aide d'un espace vectoriel multidimensionnel“. Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00838803.
Der volle Inhalt der QuelleHacid, Kahina. „Handling domain knowledge in system design models. An ontology based approach“. Phd thesis, Toulouse, INPT, 2018. http://oatao.univ-toulouse.fr/20157/7/HACID_kahina.pdf.
Der volle Inhalt der QuelleRiviere, Peter. „Génération automatique d’obligations de preuves paramétrée par des théories de domaine dans Event-B : Le cadre de travail EB4EB“. Electronic Thesis or Diss., Université de Toulouse (2023-....), 2024. http://www.theses.fr/2024TLSEP052.
Der volle Inhalt der QuelleNowadays, we are surrounded by complex critical systems such as microprocessors, railways, home appliances, robots, aeroplanes, and so on. These systems are extremely complex and are safety-critical, and they must be verified and validated. The use of state-based formal methods has proven to be effective in designing complex systems. Event-B has played a key role in the development of such systems. Event-B is a formal system design method that is state-based and correct-by-construction, with a focus on proof and refinement. Event-B facilitates verification of properties such as invariant preservation, convergence, and refinement by generating and discharging proof obligations.Additional properties for system verification, such as deadlock-freeness, reachability, and liveness, must be explicitly defined and verified by the designer or formalised using another formal method. Such an approach reduces re-usability and may introduce errors, particularly in complex systems.To tackle these challenges, we introduced the reflexive EB4EB framework in Event-B. In this framework, each Event-B concept is formalised as a first-class object using First Order Logic (FOL) and set theory. This framework allows for the manipulation and analysis of Event-B models, with extensions for additional, non-intrusive analyses such as temporal properties, weak invariants, deadlock freeness, and so on. This is accomplished through Event-B Theories, which extend the Event-B language with the theory's defined elements, and also by formalising and articulating new proof obligations that are not present in traditional Event-B. Furthermore, Event-B's operational semantics (based on traces) have been formalised, along with a framework for guaranteeing the soundness of the defined theorems, including operators and proof obligations. Finally, the proposed framework and its extensions have been validated across multiple case studies, including Lamport's clock case study, read/write processes, the Peterson algorithm, Automated Teller Machine (ATM), autonomous vehicles, and so on