Search - Archive ouverte HAL Access content directly

Filter your results

38 Results
Structure: Internal structure identifier : 419370
Image document

Une approche par surclassement pour le contrôle d'un processus d'analyse linguistique

Grégory Smits
Intelligence artificielle [cs.AI]. Université de Caen (France), 2008. Français. ⟨NNT : ⟩
Theses tel-01759840v1
Image document

Apprentissage multisource par programmation logique inductive : application à la caractérisation d'arythmies cardiaques

Elisa Fromont
Autre [cs.OH]. Université Rennes 1, 2005. Français. ⟨NNT : ⟩
Theses tel-00011455v2
Image document

Quality Management of Information Systems - A Human-Centric Point of View

Virginie Thion
Databases [cs.DB]. Université Rennes 1, 2019
Habilitation à diriger des recherches tel-02407434v1
Image document

Concevoir et partager des workflows d’analyse de données : application aux traitements intensifs en bioinformatique

François Moreews
Bio-informatique [q-bio.QM]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S089⟩
Theses tel-01308297v2
Image document

Influencers characterization in a social network for viral marketing perspectives

Siwar Jendoubi
Social and Information Networks [cs.SI]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S076⟩
Theses tel-01665815v1
Image document

De l'intérêt des modèles grammaticaux pour la reconnaissance de motifs dans les séquences génomiques

Aymeric Antoine-Lorquin
Bio-informatique [q-bio.QM]. Université Rennes 1, 2016. Français. ⟨NNT : 2016REN1S086⟩
Theses tel-01416734v2
Image document

Discovering and exploiting analogical proportions in a relational database context

William Correa Beltran
Databases [cs.DB]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S110⟩
Theses tel-01508503v1
Image document

Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications

Yannick Pencolé
Interface homme-machine [cs.HC]. Université Rennes 1, 2002. Français. ⟨NNT : ⟩
Theses tel-00003581v1
Image document

Modélisation d'un réseau de régulation d'ARN pour prédire des fonctions de gènes impliqués dans le mode de reproduction du puceron du pois

Valentin Wucher
Interactions entre organismes. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S076⟩
Theses tel-01135870v1
Image document

Probabilistic and constraint based modelling to determine regulation events from heterogeneous biological data

Andrés Octavio Aravena Duarte
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S151⟩
Theses tel-00988255v1
Image document

Reasoning on the response of logical signaling networks with answer set programming

Santiago Videla
Bioinformatics [q-bio.QM]. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S035⟩
Theses tel-01070436v1
Image document

Méthodes sémantiques pour la comparaison inter-espèces de voies métaboliques : application au métabolisme des lipides chez l'humain, la souris et la poule

Charles Bettembourg
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Rennes 1, 2013. Français. ⟨NNT : ⟩
Theses tel-00926498v1
Image document

Classification et caractérisation de familles enzymatiques à l'aide de méthodes formelles

Gaëlle Garet
Bio-informatique [q-bio.QM]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S082⟩
Theses tel-01096916v2
Image document

Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking

Yulong Zhao
Ecosystèmes. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S008⟩
Theses tel-00933443v4
Image document

Similarités et divergences, globales et locales entre structures protéiques

Mathilde Le Boudic-Jamin
Bio-informatique [q-bio.QM]. Universite Rennes 1, 2015. Français. ⟨NNT : ⟩
Theses tel-01250540v1
Image document

Modélisation dynamique de la signalisation cellulaire : aspects différentiels et discrets; application à la signalisation du facteur de croissance TGF-beta dans le cancer

Geoffroy Andrieux
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Rennes 1, 2013. Français. ⟨NNT : ⟩
Theses tel-00926487v1
Image document

Fragments structuraux : comparaison, prédictibilité à partir de la séquence et application à l'identification de protéines de virus

Clovis Galiez
Bio-informatique [q-bio.QM]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S124⟩
Theses tel-01328182v1
Image document

Similarités et divergences, globales et locales, entre structures protéiques

Mathilde Le Boudic-Jamin
Bio-informatique [q-bio.QM]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S119⟩
Theses tel-01321404v1
Image document

Decision Making for Ontology Matching under the Theory of Belief Functions

Amira Essaid
Artificial Intelligence [cs.AI]. Université de Rennes 1 [UR1]; Université de Tunis, 2015. English. ⟨NNT : ⟩
Theses tel-02501458v1
Image document

Complétion combinatoire pour la reconstruction de réseaux métaboliques, et application au modèle des algues brunes Ectocarpus siliculosus

Sylvain Prigent
Bio-informatique [q-bio.QM]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S077⟩
Theses tel-01093287v1
Image document

Pilotage d'algorithmes pour la reconnaissance en ligne d'arythmies cardiaques

François Portet
Intelligence artificielle [cs.AI]. Université Rennes 1, 2005. Français. ⟨NNT : ⟩
Theses tel-00011942v2
Image document

Ontology-based methods for analyzing life science data

Olivier Dameron
Bioinformatics [q-bio.QM]. Univ. Rennes 1, 2016
Habilitation à diriger des recherches tel-01403371v1
Image document

Comparaison de novo de données de séquençage issues de très grands échantillons métagénomiques : application sur le projet Tara Oceans

Nicolas Maillet
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S097⟩
Theses tel-00941922v1
Image document

Reconciling Expressivity and Usability in Information Access

Sébastien Ferré
Computer Science [cs]. Université de Rennes 1, 2014
Habilitation à diriger des recherches tel-01100292v1
Image document

Composition guidée de services : application aux workflows d’analyse de données en bio-informatique

Mouhamadou Ba
Bio-informatique [q-bio.QM]. INSA de Rennes, 2015. Français. ⟨NNT : 2015ISAR0024⟩
Theses tel-01301681v1
Image document

Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis

Guillaume Chapuis
Bioinformatics [q-bio.QM]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0068⟩
Theses tel-01012222v1
Image document

Personnalisation et enrichissement des méthodes d’accès aux données

Grégory Smits
Base de données [cs.DB]. Université Rennes 1, 2018
Habilitation à diriger des recherches tel-01739707v1
Image document

Source Independence in the Theory of Belief Functions

Mouna Chebbah
Computer Science [cs]. Université de Rennes 1 [UR1]; Université de Tunis, 2014. English. ⟨NNT : ⟩
Theses tel-01373044v1
Image document

Étude de la variabilité des contributions de nutriments à un réseau métabolique : modélisation, optimisation et application en nutrition

Oumarou Abdou Arbi
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S119⟩
Theses tel-01128059v1
Image document

Computational methods for de novo assembly of next-generation genome sequencing data

Rayan Chikhi
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0033⟩
Theses tel-00752033v1