Anne SIEGEL
134
Documents
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-04420454v1
|
|
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-04155604v1
|
|
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-03689107v2
|
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-03440232v1
|
|
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-03440221v1
|
|
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-03440212v1
|
|
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-03402155v1
|
|
|
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-03207589v3
|
|
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-02401750v1
|
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-02412419v1
|
|
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-02412421v1
|
|
|
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
Communication dans un congrès
hal-01946860v1
|
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-01576743v1
|
|
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-01602699v1
|
|
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-01576484v1
|
|
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-01566438v1
|
|
|
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-01577425v1
|
|
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-01557347v1
|
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-01399456v1
|
|
|
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-01377844v1
|
|
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-01196598v1
|
|
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-01196152v1
|
Data integrationMeeting INRA-ISU, Mar 2015, Ames, United States. 11 diapositives
Communication dans un congrès
hal-01210940v1
|
|
|
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-01164751v1
|
|
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-01079768v1
|
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-01095609v1
|
|
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-00760640v1
|
|
|
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-00740722v1
|
|
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-01210385v1
|
|
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-00737112v2
|
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-00538137v1
|
|
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-00429801v1
|
|
From pure discrete spectrum conditions to topological properties of self-affine tilesAperiodic Order, Sep 2009, Leceister, United Kingdom
Communication dans un congrès
inria-00429814v1
|
|
Rational numbers with purely periodic beta-expansionsFractals and Tilings, Jul 2009, Strobl, Austria
Communication dans un congrès
inria-00429815v1
|
|
|
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-00729742v1
|
|
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-00331385v1
|
Topological properties of central tiles and boundary graphsNumber Theory and Ergodic Theory, 2008, Kanazawa, Japan
Communication dans un congrès
inria-00330588v1
|
|
|
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-00178854v1
|
Topological properties of central tiles for substitutionsJournées de Numération, Apr 2007, Graz, Austria
Communication dans un congrès
inria-00180246v1
|
|
|
Finiteness properties for Pisot $S$-adic tilingsJournées Montoises d'Informatique Théorique, Aug 2006, RENNES, France
Communication dans un congrès
inria-00180242v1
|
|
Atelier MoDaL (Multi-Scale Data Links)[Rapport de recherche] IRISA, Inria Rennes. 2020
Rapport
inserm-02507799v4
|
|
État des lieux MoDaL (Multi-Scale Data Links)[Rapport de recherche] IRISA, Inria Rennes. 2020
Rapport
hal-02557351v1
|
|
Modeling local repeats on genomic sequences[Research Report] RR-6802, INRIA. 2008, pp.43
Rapport
inria-00353690v1
|
|
Checking Consistency Between Expression Data and Large Scale Regulatory Networks: A Case Study[Research Report] RR-6190, INRIA. 2007, pp.14
Rapport
inria-00145537v2
|
|
Boundary of central tiles associated with Pisot beta-numeration and purely periodic expansions[Research Report] 2007
Rapport
inria-00180239v1
|
|
Inferring the role of transcription factors in regulatory networks[Research Report] 2007
Rapport
inria-00185038v1
|
|
Purely Periodic beta-Expansions in the Pisot Non-unit Case[Research Report] RR-4619, INRIA. 2002
Rapport
inria-00071966v1
|
|
Dynamic genome-based metabolic modeling of the predominant cellulolytic rumen bacteriumFibrobacter succinogenesS852022
Pré-publication, Document de travail
hal-03871397v1
|
|
EsMeCaTa: Estimating metabolic capabilities from taxonomic affiliations2022
Pré-publication, Document de travail
hal-03697249v1
|
|
Changing microbial activities during low salinity acclimation in the brown alga Ectocarpus subulatus2021
Pré-publication, Document de travail
hal-03429533v1
|
|
The genome of Ectocarpus subulatus -a highly stress-tolerant brown alga2019
Pré-publication, Document de travail
hal-02333021v1
|
|
Combinatorial optimization methods to complete and analyse a metabolic network2015
Pré-publication, Document de travail
hal-01244179v1
|
|
Purely periodic beta-expansions in the Pisot non-unit case2004
Pré-publication, Document de travail
hal-00002208v1
|
|
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-03885249v1
|
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-02389705v1
|
|
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-01575603v1
|
|
|
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-01079762v1
|
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-00538135v1
|
|
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-00538138v1
|
|
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
lirmm-00268671v1
|
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-04155624v1
|
|
|
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-03438983v1
|
|
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-03151934v1
|
|
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-01210925v1
|
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-01210552v1
|
|
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-00358996v1
|
Topological properties of Rauzy fractalsSociété Mathématiques de France, 118, pp.144, 2009, Mémoires de la SMF
Ouvrages
inria-00539742v1
|
|
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-00330569v1
|