Tri :
Date de référencement
Editeur
Auteur
Titre
|
De l'intérêt des modèles grammaticaux pour la reconnaissance de motifs dans les séquences génomiques
Date de publication :
01-12-2016 |
Auteur(s) :
Antoine-Lorquin Aymeric |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Cette thèse en bioinformatique étudie l'intérêt de rechercher des motifs dans des séquences génomiques à l'aide de grammaires. Depuis les années 80, à l'initiative notamment de David Searls, des travaux ont montré qu'en théorie, des grammaires de haut niveau offrent suffisamment d'expressivité pour permettre la description de motifs biologiques complexes, notamment par le biais d'une nouvelle clas...
Référencé le :
28-02-2017
|
|
Probabilistic and constraint based modelling to determine regulation events from heterogeneous biological data
Date de publication :
13-12-2013 |
Auteur(s) :
Aravena Duarte Andrés Octavio |
Editeur(s) :
Universite de Rennes 1, Université du Chili (Santiago) |
Origine de la fiche :
Université de Rennes 1
Cette thèse propose une méthode pour construire des réseaux de régulations causales réalistes, qui a un taux de faux positifs inférieur aux méthodes traditionnelles. Cette approche consiste à intégrer des informations hétérogènes à partir de deux types de prédictions de réseau pour déterminer une explication causale des gènes co-exprimés. Ce processus d'intégration se modélise par un problème d'op...
Référencé le :
07-05-2014
|
|
Towards federated social infrastructures for plug-based decentralized social networks
Date de publication :
05-07-2017 |
Auteur(s) :
Ariyattu Resmi |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Dans cette thèse, nous abordons deux problèmes soulevés par les systèmes distribués décentralisés - le placement de réseaux logiques de façon compatible avec le réseau physique sous-jacent et la construction de cohortes d'éditeurs pour dans les systèmes d'édition collaborative. Bien que les réseaux logiques (overlay networks) été largement étudiés, la plupart des systèmes existant ne prennent pas ...
Référencé le :
23-11-2017
|
|
Resource management of data stream processing in geo-distributed environments
Date de publication :
07-12-2021 |
Auteur(s) :
Arkian Hamidreza |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Le déploiement de systèmes de traitement de données en flux (DSP) dans des infrastructures informatiques géo-distribuées peut combler le fossé entre le Cloud et les périphériques et réduire les transferts de données sur de longues distances, ce qui est un défi critique pour les nouvelles applications IoT émergentes où les sources de données sont situées loin des serveurs Cloud. Cependant, en raiso...
Référencé le :
29-03-2022
|
|
Cellular-based machine-to-machine : congestion control and power management
Date de publication :
25-03-2016 |
Auteur(s) :
Arouk Osama |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les réseaux actuels et la prochaine génération des réseaux sans fil cellulaires (5G) doivent garantir, non seulement, les communications entre les gens (aussi connu sous le nom d'humain à humain - H2H), mais aussi à un déploiement massif de communication de type machine (MTC). MTC, ou encore Machine à Machine (M2M), peut être considérée comme des appareils qui peuvent établir des communications av...
Référencé le :
04-05-2017
|
|
From qualitative to quantitative program analysis : permissive enforcement of secure information flow
Date de publication :
06-05-2015 |
Auteur(s) :
Assaf Mounir |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
De nos jours, les ordinateurs sont omniprésents. Tous ces ordinateurs stockent et manipulent de l'information, parfois sensible, d'où l'intérêt de protéger et de confiner la dissémination de cette information. Les mécanismes de contrôle de flux d'information permettent justement d'analyser des programmes manipulant de l'information sensible, afin de prévenir les fuites d'information. Les contribut...
Référencé le :
18-08-2015
|
|
Belief detection and temporal analysis of experts in question answering communities : case strudy on stack overflow
Date de publication :
01-12-2017 |
Auteur(s) :
Attiaoui Dorra |
Editeur(s) :
Universite de Rennes 1, Université de Tunis |
Origine de la fiche :
Université de Rennes 1
L'émergence du Web 2.0 a changé la façon avec laquelle les gens recherchent et obtiennent des informations sur internet. Entre sites communautaires spécialisés, réseaux sociaux, l'utilisateur doit faire face à une grande quantité d'informations. Les sites communautaires de questions réponses représentent un moyen facile et rapide pour obtenir des réponses à n'importe quelle question qu...
Référencé le :
12-03-2018
|
|
Assisted design and analysis of attack trees
Date de publication :
17-12-2018 |
Auteur(s) :
Audinot Maxime |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
En analyse de risques, les arbres d’attaque sont utilisés pour évaluer les menaces sur un système. Les méthodes formelles permettent leur analyse quantitative et leur synthèse, mais les propriétés exprimant la qualité des arbres d’attaque par rapport au système n’ont pas été formalisées. Dans ce document, nous définissons un nouveau cadre formel pour les arbres d’attaque prenant en compte un modèl...
Référencé le :
25-04-2019
|
|
Probabilistic methods for collaboration systems in large-scale trustless networks
Date de publication :
02-12-2021 |
Auteur(s) :
Auvolat Alex |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Internet est un outil formidable pour l'éducation, la communication et la collaboration, mais ses usages majoritaires sont actuellement sous monopole de grandes multinationales (GAFAM), ce qui a des conséquences sur le respect des droits humains et des libertés individuelles. Cette thèse propose des outils pour le développement d'applications décentralisées : des applications sur Internet qui four...
Référencé le :
08-07-2022
|
|
Construction de graphes de connaissances à partir de textes avec une intelligence artificielle explicable et centrée-utilisateur·ice
Date de publication :
21-12-2023 |
Auteur(s) :
Ayats H. Ambre |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Avec les progrès récents dans le domaine de l'intelligence artificielle, la question du contrôle humain est devenu centrale. Aujourd'hui, cela passe à la fois par des recherches en explicabilité et des systèmes centrés autour de l'interaction avec l'utilisateur·ice. De plus, avec l'expansion du web sémantique et des méthodes de traitement automatique du langage naturelle, la tâche de construction ...
Référencé le :
12-04-2024
|
|