Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

42 résultats
Page :
triés par
Image document

Meet-U: educating through research immersion

 Nika Abdollahi , Alexandre Albani , Eric Anthony , Agnes Baud , Mélissa Cardon , et al.
PLoS Computational Biology, 2018, 14 (3), pp.1-10. ⟨10.1371/journal.pcbi.1005992⟩
Article dans une revue hal-01722019v1

Revision and updating in knowledge bases

 Philippe Besnard , Laurence Cholvy , Marie-Odile Cordier , Didier Dubois , Christine Froidevaux , et al.
International Journal of Intelligent Systems, 9 (1), pp.1--182, 1994
N°spécial de revue/special issue hal-04057356v1

Reasoning under incomplete informatin in artificial intelligence: A comparison of formalisms using a single example

 Philippe Besnard , Marie-Odile Cordier , Didier Dubois , Christine Froidevaux , Yves Moinard , et al.
Wiley, 1990
Ouvrages hal-04155304v1

Raisonnement sur des informations incomplètes en Intelligence Artificielle - Comparaison à partir d'un exemple

 Philippe Besnard , Marie-Odile Cordier , Didier Dubois , Luis Fariñas del Cerro , Pierre Siegel , et al.
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 1989, 2 (3-4), pp.9--210
Article dans une revue hal-04200278v1

Review of the selected proceedings of the Fifth International Workshop on Data Integration in the Life Sciences 2008.

 Amos Bairoch , Sarah Cohen-Boulakia , Christine Froidevaux
BMC Bioinformatics, 2008, 9 Suppl 8, pp.S1. ⟨10.1186/1471-2105-9-S8-S1⟩
Article dans une revue inria-00542304v1

An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation

 Rance Bastien , Jean-François Gibrat , Christine Froidevaux
DILS 2009-6th International Workshop on Data Integration in the Life Sciences, Jul 2009, Manchester, United Kingdom. pp.113-126, ⟨10.1007/978-3-642-02879-3_10⟩
Communication dans un congrès istex hal-00781428v1

Gestion de l'évolutif et de l'incertain dans une base de connaissances

 Nicole Bidoit , Serenella Cerrito , Laurence Cholvy , Marie-Odile Cordier , Philippe Dague , et al.
5èmes Journées Nationales du PRC-GDR : Intelligence Artificielle (1995), Groupe de Recherche IA du CNRS, Feb 1995, Nancy, France. pp.77--121
Communication dans un congrès hal-04050876v1

An adaptive combination of matchers: application to the mapping of biological ontologies for genome annotation

 Bastien Rance , Jean-François Gibrat , Christine Froidevaux
6th International Workshop on Data Integration in the Life Sciences 2009, Jul 2009, Manchester, United States. ⟨10.1007/978-3-642-02879-3⟩
Communication dans un congrès hal-02754368v1
Image document

Two Qualitative Dynamics Semantics for SBGN Process Description Maps

 Adrien Rougny , Christine Froidevaux , Loïc Paulevé
CMSB'15, Sep 2015, Nantes, France. 2015
Poster de conférence hal-01258943v1
Image document

Représentation systémique multi-échelle des processus biologiques de la bactérie

 Vincent J. Henry , Arnaud Ferré , Christine Froidevaux , Anne Goelzer , Vincent V. Fromion , et al.
IC2016 - Ingénierie des Connaissances, Jun 2016, Montpellier, France
Communication dans un congrès hal-01442727v1
Image document

Towards a logic-based method to infer provenance-aware molecular networks

 Zahira Aslaoui-Errafi , Sarah Cohen-Boulakia , Christine Froidevaux , Pauline Gloaguen , Anne Poupon , et al.
Proc. of the 1st ECML/PKDD International workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB), Sep 2012, Bristol, United Kingdom. pp.103-110
Communication dans un congrès hal-00748041v1

Biological detection of low radiation doses by combining results of two microarray analysis methods

 Guillaume Mercier , Nathalie Berthault , Jérémie Mary , Julie Peyre , Anestis Antoniadis , et al.
Nucleic Acids Research, 2004, 32 (1), pp.e12. ⟨10.1093/nar/gnh002⟩
Article dans une revue hal-02480321v1

GenoQuery: a new querying module for functional annotation in a genomic warehouse.

 Frédéric Lemoine , Bernard Labedan , Christine Froidevaux
Bioinformatics, 2008, 24 (13), pp.i322-9. ⟨10.1093/bioinformatics/btn159⟩
Article dans une revue hal-00297225v1
Image document

Apprentissage de fonctions de tri pour la prédiction d'interactions protéine-ARN

 Adrien Guilhot-Gaudeffroy , Jérôme Azé , Julie Bernauer , Christine Froidevaux
EGC: Extraction et Gestion des Connaissances, Jan 2014, Rennes, France. pp.479-484
Communication dans un congrès hal-01016683v1
Image document

On Armstrong-compliant Logical Query Languages

 Marie Agier , Christine Froidevaux , Jean-Marc Petit , Yoan Renaud , Jef Wijsen
4th International Workshop on Logic in Databases, (EDBT/ICDT '10 joint conference), George H. L. Fletcher and Slawek Staworko, 2011, Uppsala, Sweden. pp.33-40
Communication dans un congrès hal-00649604v1
Image document

Transducer Cascades for Biological Literature-Based Discovery

 Denis Maurel , Sandy Chéry , Nicole Bidoit , Philippe Chatalic , Aziza Filali , et al.
Information, 2022, 13 (5), pp.262. ⟨10.3390/info13050262⟩
Article dans une revue hal-03846458v1
Image document

Représentation systémique multi-échelle des processus biologiques de la bactérie

 Vincent Henry , Arnaud Ferré , Christine Froidevaux , Anne Goelzer , Vincent Fromion , et al.
IC201: 27es Journées francophones d'Ingénierie des Connaissances, Jun 2016, Montpellier, France
Communication dans un congrès hal-02741418v1
Image document

Using an attribute estimation technique for the analysis of microarray data

 Jérémie Mary , Guillaume Mercier , Jean-Paul Comet , Antoine Cornuéjols , Christine Froidevaux , et al.
P. Amar, F. Képès, V. Norris and P. Tracqui. Proc. of the Dieppe Spring school on Modelling and simulation of biological processes in the context of genomics, Publisher Frontier group, 2003, Proc. of the Dieppe Spring school on Modelling and simulation of biological processes in the context of genomics, 2 91 4601 09 3
Chapitre d'ouvrage hal-02480310v1
Image document

Towards a semi-automatic functional annotation tool based on decision tree techniques

 Jérôme Azé , L. Gentils , Claire Toffano-Nioche , Valentin Loux , Jean-François Gibrat , et al.
Machine Learning in Systems Biology: MLSB 2007, Sep 2007, Evry, France
Communication dans un congrès hal-02754400v1
Image document

Distilling structure in Taverna scientific workflows: a refactoring approach

 Sarah Cohen-Boulakia , Jiuqiang Chen , Paolo Missier , Carole Goble , Alan Williams , et al.
BMC Bioinformatics, 2014, 15 (Suppl 1), pp.S12
Article dans une revue hal-00926827v1
Image document

Distilling Structure in Scientific Workflows

 Jiuqiang Chen , Christine Froidevaux , Carole Goble , Alan Williams , Sarah Cohen-Boulakia
Proc. of the 12th International Workshop on Network Tools and Applications in Biology, Nettab 2012 (Poster), Nov 2012, Como, Italy. pp.10-102
Communication dans un congrès hal-00748035v1

Comparative analysis of phylogenetic profiles for the enzymatic characterization of fungal group

 Cécile Pereira , Jérôme Azé , Alain Denise , Christine Drevet , Christine Froidevaux , et al.
JOBIM 2013 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2013, Toulouse, France. à paraître
Communication dans un congrès hal-00842021v1

Translating the SBGN-AF language into logic to analyze signalling networks

 Adrien Rougny , Christine Froidevaux , Yoshitaka Yamamoto , Katsumi Inoue
LNMR - 1st International Workshop on Learning and Non Monotonic Reasoning, Sep 2013, La Coruña, Spain. pp.44-55
Communication dans un congrès hal-00924230v1
Image document

Réécriture de workflows scientifiques et provenance

 Sarah Cohen-Boulakia , Christine Froidevaux , Jiuqiang Chen
Proc. of the 28th Journées de Bases de Données Avancées, Oct 2012, Clermont Ferrand, France
Communication dans un congrès hal-00748031v1

CoMetGeNe: mining conserved neighborhood patterns in metabolic and genomic contexts

 Alexandra Zaharia , Bernard Labedan , Christine Froidevaux , Alain Denise
BMC Bioinformatics, 2019, 20 (1), ⟨10.1186/s12859-018-2542-2⟩
Article dans une revue hal-01979512v1
Image document

Selecting Biological Data Sources and Tools with XPR, a Path Language for RDF

 Sarah Cohen-Boulakia , Christine Froidevaux , Emmanuel Pietriga
Pacific Symposium on Biocomputing, Jan 2006, Maui, USA, United States. pp.116-127, ⟨10.1142/9789812701626_0012⟩
Communication dans un congrès inria-00125468v1

Scientific Workflow Rewriting while Preserving Provenance

 Sarah Cohen-Boulakia , Christine Froidevaux , Jiuqiang Chen
Proc. of the 8th IEEE International Conference in eScience, Oct 2012, Chicago, United States
Communication dans un congrès hal-00748032v1

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding

 Yoshitaka Yamamoto , Adrien Rougny , Hidetomo Nabeshima , Katsumi Inoue , Hisao Moriya , et al.
Formal Methods In Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.165-179, ⟨10.1007/978-3-319-10398-3_14⟩
Communication dans un congrès hal-01110133v1

Analyzing SBGN-AF Networks Using Normal Logic Programs

 Adrien Rougny , Christine Froidevaux , Yoshitaka Yamamoto , Katsumi Inoue
Logical Modeling of Biological Systems, Wiley, 2014, 978-1-84821-680-8. ⟨10.1002/9781119005223.ch9⟩
Chapitre d'ouvrage hal-01110123v1
Image document

A logic-based method to build signaling networks and propose experimental plans

 Adrien Rougny , Pauline Gloaguen , Nathalie Langonné , Eric Reiter , Pascale Crépieux , et al.
Scientific Reports, 2018, 8 (1), pp.1-11. ⟨10.1038/s41598-018-26006-2⟩
Article dans une revue hal-01802480v1
Page :