
Anne SIEGEL
140
Documents
Publications
Publications
|
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics ProblemsAAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.1-8
Communication dans un congrès
hal-04420454
v1
|
|
Contributions des entrées sur les sorties pour les réseaux métaboliques sur génomes entiers: performances et utilisation pour des études en nutrition humaineCARI 2022 - Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Oct 2022, Yaoundé, Cameroun. pp.1-12
Communication dans un congrès
hal-03689107
v2
|
|
Highlighting discriminating functional annotations in patients' gut microbiota through Machine Learning classification applied to functional descriptions of the microbiomeInternational Conference on Clinical Metagenomics, Oct 2022, Geneve, Switzerland
Communication dans un congrès
hal-04155604
v1
|
Metabolic complementarity applied to the screening of microbiota and the identification of key speciesMPA 2021 - 8th Metabolic Pathway Analysis, Aug 2021, Knoxville, TN, United States. pp.1-27
Communication dans un congrès
hal-03440221
v1
|
|
Metabolic complementarity applied to the screening of microbiota and the identification of key speciesJOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2021, Paris, France
Communication dans un congrès
hal-03440232
v1
|
|
Genome-scale network reconstruction of the predominant cellulolytic rumen bacterium Fibrobacter succinogenes S852021 - 12th International Symposium on Gut Microbiology, INRAE ; Rowett Institute UK, Oct 2021, En ligne, France
Communication dans un congrès
hal-03402155
v1
|
|
Metabolic complementarity applied to the screening of microbiota and the identification of key speciesCMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. pp.1-27
Communication dans un congrès
hal-03440212
v1
|
|
|
Learning Boolean controls in regulated metabolic networks: a case-studyCMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. pp.159-180, ⟨10.1007/978-3-030-85633-5_10⟩
Communication dans un congrès
hal-03207589
v3
|
Genome-scale network recostruction of the predominant cellulolytic rumen bacterium Fibrobacter succinogenes S8512th International Symposium on Gut Microbiology, Oct 2021, Virtual conference, France
Communication dans un congrès
hal-04843685
v1
|
|
|
AskOmics: a user-friendly interface to Semantic Web technologies for integrating local datasets with reference resourcesJOBIM 2019 - Journées Ouvertes Biologie, Informatique et Mathématiques, Jul 2019, Nantes, France. pp.1
Communication dans un congrès
hal-02401750
v1
|
Learning boolean regulations based on prior-knowledge data: a logical-based viewpointSASB 2019 - 10th International Workshop on Static Analysis for Systems Biology, Oct 2019, Porto, Portugal
Communication dans un congrès
hal-02412421
v1
|
|
Using automated reasoning to explore unconventional organisms: a first step to explore host-microbial interactionsMPA 2019 - Conference on Metabolic Pathway Analysis, Aug 2019, Riga, Latvia
Communication dans un congrès
hal-02412419
v1
|
|
|
Scalable and exhaustive screening of metabolic functions carried out by microbial consortiaECCB - 2018 - 17th European Conference on Computational Biology, Sep 2018, Athènes, Greece. pp.i934-i943, ⟨10.1093/bioinformatics/bty588⟩
Communication dans un congrès
hal-01946860
v1
|
Identification des fonctions biologiques, spécifiques d’un tissu ou partagées entre tissus, associées aux différences d’efficacité alimentaire chez le porc en croissance49. Journées de la Recherche Porcine, Jan 2017, Paris, France. pp.13-18
Communication dans un congrès
hal-01602699
v1
|
|
Toward a better understanding of the plant microbiota4ème colloque de Génomique Environnementale, GDR Génomique Environnementale, Sep 2017, Marseille, France
Communication dans un congrès
hal-01576743
v1
|
|
|
Hybrid Metabolic Network Completion14th International Conference on Logic Programming and Nonmonotonic Reasoning - LPNMR 2017, Jul 2017, Espoo, Finland. pp.308-321
Communication dans un congrès
hal-01557347
v1
|
|
AskOmics, a web tool to integrate and query biological data using semantic web technologiesJOBIM 2017 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2017, Lille, France. pp.1
Communication dans un congrès
hal-01577425
v1
|
Integrative genomics and gene networks for studying phenotypic plasticity in the pea aphid10th Arthropod Genomics Symposium, Jun 2017, Notre Dame, United States
Communication dans un congrès
hal-01566438
v1
|
|
Toward the study of metabolic functions in algal holobionts4ème Colloque de Génomique Environnementale, Sep 2017, Marseille, France
Communication dans un congrès
hal-01576484
v1
|
|
A system biology loop for the identification of boolean networks to model signaling networks.European Conference on Mathematical and Theoretical Biology, 2016, Nottingham, France
Communication dans un congrès
hal-01399456
v1
|
|
|
Handling the heterogeneity of genomic and metabolic networks data within flexible workflows with the PADMet toolboxJobim 2016 : 17ème Journées Ouvertes en Biologie, Informatique et Mathématiques, Jun 2016, Lyon, France
Communication dans un congrès
hal-01377844
v1
|
|
A Logic for Checking the Probabilistic Steady-State Properties of Reaction NetworksIJCAI workshop BAI: Bioinformatics and Artificial Intelligence, 2015, Buenos Aeres, Argentina
Communication dans un congrès
hal-01196598
v1
|
|
Decidability Problems for Self-induced Systems Generated by a SubstitutionMCU 2015 : Machines, Computation and Universality, 2015, Famagusta, Cyprus. ⟨10.1007/978-3-319-23111-2⟩
Communication dans un congrès
hal-01196152
v1
|
Data integrationMeeting INRA-ISU, Mar 2015, Ames, United States. 11 diapositives
Communication dans un congrès
hal-01210940
v1
|
|
|
Boolean Network Identification from Multiplex Time Series DataCMSB 2015 - 13th conference on Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.170-181, ⟨10.1007/978-3-319-23401-4_15⟩
Communication dans un congrès
hal-01164751
v1
|
|
Multivariate Normal Approximation for the Stochastic Simulation Algorithm: limit theorem and applicationsSASB - 5th International Workshop on Static Analysis and Systems Biology, 2014, Munchen, Germany
Communication dans un congrès
hal-01079768
v1
|
Using ASP to integrate large-scale heterogeneous information about the response of a biological system5th Workshop on Logic and Systems Biology (associated with CSL/LICS 2014), Jul 2014, VIenna, Austria
Communication dans un congrès
hal-01095609
v1
|
|
Systems biology approaches at cellular level in the model organism Ectocarpus siliculosus to better understand brown algal physiologyEsil 2012: algal post-genomics, Apr 2012, Roscoff, France
Communication dans un congrès
hal-00760640
v1
|
|
|
Using Mutual Information and Answer Set Programming to refine PWM based transcription regulation networkJobim 2012, Jul 2012, Rennes, France. pp.171
Communication dans un congrès
hal-00740722
v1
|
|
Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set ProgrammingCMSB - 10th Computational Methods in Systems Biology 2012, D. Gilbert and M. Heiner, Oct 2012, London, United Kingdom. pp.342-361, ⟨10.1007/978-3-642-33636-2_20⟩
Communication dans un congrès
hal-00737112
v2
|
|
Exploitation à large échelle de bases de données de connaissance sur les réactions et régulations pour trouver des régulateurs clés de groupe de gènesJournées ouvertes en biologie, informatique et mathématiques, Jul 2012, Rennes, France. pp.161-170
Communication dans un congrès
hal-01210385
v1
|
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set ProgrammingPrinciples of Knowledge Representation and Reasoning, 2010, Toronto, Canada
Communication dans un congrès
inria-00538137
v1
|
|
|
CURATING A LARGE-SCALE REGULATORY NETWORK BY EVALUATING ITS CONSISTENCY WITH EXPRESSION DATASETSCIBB 2008: COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS, Oct 2008, Salerno, Italy. pp.144-155
Communication dans un congrès
inria-00331385
v1
|
Method for Relating Inter-patient Gene Copy Numbers Variations with Gene Expression via Gene Influence NetworksAIAI 2009 Workshop -- Workshop on Biomedical Informatics and Intelligent Approaches in the Support of Genomic Medicine (BMIINT), Apr 2009, Thessalonik, Greece. pp.72-87
Communication dans un congrès
inria-00429801
v1
|
|
Rational numbers with purely periodic beta-expansionsFractals and Tilings, Jul 2009, Strobl, Austria
Communication dans un congrès
inria-00429815
v1
|
|
From pure discrete spectrum conditions to topological properties of self-affine tilesAperiodic Order, Sep 2009, Leceister, United Kingdom
Communication dans un congrès
inria-00429814
v1
|
|
|
A minimal and dynamic model for fatty acid metabolism in mouse liverJournées Ouvertes de Biologie, Informatique et Mathématique (JOBIM), Jun 2008, Lille (FR), France
Communication dans un congrès
hal-00729742
v1
|
Topological properties of central tiles and boundary graphsNumber Theory and Ergodic Theory, 2008, Kanazawa, Japan
Communication dans un congrès
inria-00330588
v1
|
|
|
Qualitative response of interaction networks: application to the validation of biological models6th International Congress on Industrial and Applied Mathematics. ICIAM 07, Jul 2007, Zurich, Switzerland
Communication dans un congrès
inria-00178854
v1
|
Topological properties of central tiles for substitutionsJournées de Numération, Apr 2007, Graz, Austria
Communication dans un congrès
inria-00180246
v1
|
|
|
Finiteness properties for Pisot $S$-adic tilingsJournées Montoises d'Informatique Théorique, Aug 2006, RENNES, France
Communication dans un congrès
inria-00180242
v1
|
|
Problèmes d'optimisation combinatoire pour l'étude du métabolismeApproches symboliques de la modélisation et de l’analyse des systèmes biologiques, ISTE éditions, 2022, Encyclopédie Sciences, 9781789480290. ⟨10.51926/ISTE.9029.ch2⟩
Chapitre d'ouvrage
hal-03885249
v1
|
L’écologie des systèmesCNRS éditions. Les big data à découvert, Mokrane Bouzeghoub et Rémy Mosseri, 2017, 978-2-271-11464-8
Chapitre d'ouvrage
hal-02389705
v1
|
|
L'écologie des systèmesMokrane Bouzeghoub et Rémy Mosseri. Les Big Data à Découvert, CNRS éditions, 2017, 978-2-271-11464-8
Chapitre d'ouvrage
hal-01575603
v1
|
|
|
Reasoning on the response of logical signaling networks with Answer Set ProgrammingLogical Modeling of Biological Systems, Wiley Online Librairy, pp.49-92, 2014, ⟨10.1002/9781119005223.ch2⟩
Chapitre d'ouvrage
hal-01079762
v1
|
Substitutions, Rauzy fractals and tilingsCambridge University Press. Combinatorics, Automata and Number Theory, 135, Cambridge University Press, 2010, Encyclopedia of Mathematics and its Applications, 9780521515979
Chapitre d'ouvrage
inria-00538135
v1
|
|
A generic stoichiometric model to analyse the metabolic flexibility of the mammary gland in lactating dairy cowsD. Sauvant, J. Van Milgen, P. Faverdin and N. Friggens. Modelling nutrient digestion and utilization in farm animals, Wageningen Academic Publishers, 2010, 978-90-8686-156-9
Chapitre d'ouvrage
inria-00538138
v1
|
|
Basic notions on substitutionsSubstitutions in Dynamics, Arithmetics and Combinatorics, 1794, Springer Verlag, pp.1-32, 2002, Lecture Note Mathematical Series, 978-3-540-44141-0. ⟨10.1007/3-540-45714-3_1⟩
Chapitre d'ouvrage
istex
lirmm-00268671
v1
|
Machine Learning classification performance on mechanistic representations of the gut microbiota built from abundance profilesJournées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Jul 2022, Rennes, France. , pp.181, 2022, Proceedings
Poster de conférence
hal-04155624
v1
|
|
|
Assessment of metabolic complementarity in large-scale microbiotas for the identification of key speciesIHMC 2021 - 8th International Human Microbiome Consortium Congress, Jun 2021, Barcelone, Spain. pp.1
Poster de conférence
hal-03438983
v1
|
|
Metage2Metabo: metabolic complementarity applied to genomes of large-scale microbiotas for the identification of keystone speciesJOBIM 2020 - Journées Ouvertes de Biologie, Informatique et Mathématique, Jun 2020, Montpellier / Virtual, France. ⟨10.1101/803056⟩
Poster de conférence
hal-03151934
v1
|
|
Integrative responses of pig adipose tissues to high-fat high-fiber diet: towards key regulators of energy flexibilityASAS/ADSA midwest meeting, Mar 2015, Des Moines, United States. Journal of Animal Science, 93 (Suppl. 2), 2015, Abstract book of the ASAS/ADSA midwest meeting
Poster de conférence
hal-01210925
v1
|
Exploring the metabolic flexibility of the mammary gland of dairy cows through flux-balance analysisMeeting of the Animal Science Modelling Group, Jul 2013, Indianapolis, United States. , Canadian Journal of Animal Science, 93 (4), 2013, Canadian Journal of Animal Science
Poster de conférence
hal-01210552
v1
|
Topological properties of Rauzy fractalsSociété Mathématiques de France, 118, pp.144, 2009, Mémoires de la SMF
Ouvrages
inria-00539742
v1
|
|
Special Issue: Journées Montoises d'informatique théorique (Rennes, 2006)Caucal, Didier and Siegel, Anne. RAIRO - Theoretical Informatics and Applications, EDP Sciences, RAIRO - Theoretical Informatics and Applications 42(3), pp.240, 2008
Ouvrages
inria-00330569
v1
|
|
Analyse de systèmes dynamiques par discrétisation. Exemples d'applications en théorie des nombres et en biologie moléculaireMathématiques [math]. Université Rennes 1, 2008
HDR
tel-00358996
v1
|
Chargement...
Chargement...