Search - Laboratoire de recherche en informatique. Équipe: Bioinformatique Access content directly

Filter your results

11 Results
Deposit type : Fulltext
Image document

VersionClimber: version upgrades without tears

Christophe Pradal , Sarah Cohen-Boulakia , Patrick Valduriez , Dennis Shasha
Computing in Science and Engineering, 2019, 21 (5), pp.87-93. ⟨10.1109/MCSE.2019.2921898⟩
Journal articles hal-02262591v1
Image document

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics

Stefan Haar , Juraj Kolčák , Loïc Paulevé
VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩
Conference papers hal-01940174v1
Image document

A kinetic metabolic study of lipid production in Chlorella protothecoides under heterotrophic condition

Xiaojie Ren , Jean-Sébastien Deschênes , Réjean Tremblay , Sabine Pérès , Mario Jolicœur
Microbial Cell Factories, 2019, 18 (1), ⟨10.1186/s12934-019-1163-4⟩
Journal articles hal-02531282v1
Image document

Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming

Stéphanie Chevalier , Christine Froidevaux , Loïc Paulevé , Andrei Zinovyev
2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), 2019, Portland, Oregon, United States. ⟨10.1109/ICTAI.2019.00014⟩
Conference papers hal-02276921v2
Image document

Reliability-Aware and Graph-Based Approach for Rank Aggregation of Biological Data

Pierre Andrieu , Bryan Brancotte , Laurent Bulteau , Sarah Cohen-Boulakia , Alain Denise , et al.
2019 15th International Conference on eScience (eScience), Sep 2019, San Diego, France. pp.136-145, ⟨10.1109/eScience.2019.00022⟩
Conference papers hal-02527738v1
Image document

Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks

Juraj Kolčák , David Šafránek , Stefan Haar , Loïc Paulevé
Theoretical Computer Science, 2019, 765, pp.120-144. ⟨10.1016/j.tcs.2018.03.009⟩
Journal articles hal-01734805v1
Image document

Algorithms for the Sequential Reprogramming of Boolean Networks

Hugues Mandon , Cui Su , Jun Pang , Soumya Paul , Stefan Haar , et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, 16 (5), pp.1610-1619. ⟨10.1109/TCBB.2019.2914383⟩
Journal articles hal-02113864v1
Image document

NGPhylogeny.fr: new generation phylogenetic services for non-specialists

Frédéric Lemoine , Damien Correia , Vincent Lefort , Olivia Doppelt-Azeroual , Fabien Mareuil , et al.
Nucleic Acids Research, 2019, 47 (W1), pp.W260-W265. ⟨10.1093/nar/gkz303⟩
Journal articles hal-02341225v1
Image document

Metabolic therapies inhibit tumor growth in vivo and in silico

Jorgelindo da Veiga Moreira , Minoo Hamraz , Mohammad Abolhassani , Laurent H Schwartz , Mario Jolicœur , et al.
Scientific Reports, 2019, 9 (1), ⟨10.1038/s41598-019-39109-1⟩
Journal articles hal-02392935v1
Image document

Creating Artificial Human Genomes Using Generative Models

Burak Yelmen , Aurelien Decelle , Linda Ongaro , Davide Marnetto , Francesco Montinaro , et al.
2019
Preprints, Working Papers, ... hal-02413942v1
Image document

Inference of population genetic structure from temporal samples of DNA

Olivier François , Séverine Liégeois , Benjamin Demaille , Flora Jay
2019
Preprints, Working Papers, ... hal-02413974v1