Search - Archive ouverte HAL Access content directly

Filter your results

16 Results
Structure: Internal structure identifier : 300366
Image document

Un espace de formation francophone dédié à l'apprentissage de l'informatique

Marie-Hélène Comte , Maxime Fourny , Gilles Geeraerts , Olivier Goletti , Sébastien Hoarau et al.
Didapro9 2022, May 2022, Le Mans, France
Documents associated with scientific events hal-03643914v2

De Novo Pathogenic Variants in N-cadherin Cause a Syndromic Neurodevelopmental Disorder with Corpus Callosum, Axon, Cardiac, Ocular, and Genital Defects

Andrea Accogli , Sara Calabretta , Judith St-Onge , Nassima Boudrahem-Addour , Alexandre Dionne-Laporte et al.
American Journal of Human Genetics, 2019, 105 (4), pp.854-868. ⟨10.1016/j.ajhg.2019.09.005⟩
Journal articles hal-02556784v1

RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model

Allyx Fontaine , Akka Zemmari
Scientific Annals of Computer Science, 2016, 26 (2), pp.157 - 186. ⟨10.7561/SACS.2016.2.157⟩
Journal articles hal-01798785v1
Image document

The modular decomposition of countable graphs : Definition and construction in monadic second-order logic

Bruno Courcelle , Christian Delhommé
Theoretical Computer Science, 2008, 394, pp.1-38
Journal articles hal-00288222v1
Image document

Ecology, evolution, and epidemiology of zoonotic and vector-borne infectious diseases in French Guiana: Transdisciplinarity does matter to tackle new emerging threats

Benoît de Thoisy , Olivier Duron , Loïc Epelboin , Lise Musset , Philippe Quénel et al.
Infection, Genetics and Evolution, 2021, 93, pp.104916. ⟨10.1016/j.meegid.2021.104916⟩
Journal articles pasteur-03261181v1
Image document

Genome-wide detection of sRNA targets with rNAV

Jonathan Dubois , Amine Ghozlane , Patricia Thebault , Isabelle Dutour , Romain Bourqui et al.
Symposium on Biological Data Visualization, Oct 2013, Atlanta, United States. pp.81 - 88
Conference papers hal-00935443v1

Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms

Allyx Fontaine , Akka Zemmari
13th International Colloquium on Theoretical Aspects of Computing, Oct 2016, Taipei, Taiwan. pp.69-81, ⟨10.1007/978-3-319-46750-4_5⟩
Conference papers hal-01463441v1
Image document

Results of IndexMed GRAIL Days 2016: How to use standards to build GRAphs and mIne data for environmentaL research? IndexMeed consortium for data mining in ecology

Romain David , Jean-Pierre Féral , Anne-Sophie Archambeau , Fanny Arnaud , David Auber et al.
RDA Ninth Plenary Meeting "Data Infrastructures for Open Science", Apr 2017, Barcelona, Spain. , 2017, ⟨10.13140/RG.2.2.32504.44806⟩
Conference poster hal-02295974v1
Image document

IndexMEED cases studies using "Omics" data with graph theory

Romain David , Jean-Pierre Féral , Sophie Archambeau , Fanny Arnaud , David Auber et al.
Biodiversity Information Science and Standards, 2017, TDWG 2017 - Proceedings, 1 (2), pp.340-361. ⟨10.3897/tdwgproceedings.1.20740⟩
Journal articles hal-01761535v1

Nucleoside reverse transcriptase inhibitor resistance mutations associated with first-line stavudine-containing antiretroviral therapy: programmatic implications for countries phasing out stavudine.

Michele W Tang , Soo-Yon Rhee , Silvia Bertagnolio , Nathan Ford , Susan Holmes et al.
The Internet Journal of Infectious Diseases, 2013, 207, pp.S70-7. ⟨10.1093/infdis/jit114⟩
Journal articles hal-01101193v1

A generic conceptual framework for describing transitions in settlement systems

Laure Nuninger , Lena Sanders , Arnaud Banos , Frédérique Bertoncello , Anne Bretagnolle et al.
Sanders L. Settling the World : From Prehistory to the Metropolis Era, Presses universitaires François-Rabelais, Chap 2, 2021, Perspectives Villes et Territoires, 9782869068551. ⟨10.4000/books.pufr.10527⟩
Book sections hal-03480382v1
Image document

Application de l'apprentissage aux réseaux Radio Cognitive

Dramane Ouattara
Informatique et théorie des jeux [cs.GT]. 2011
Master Thesis hal-00828376v1
Image document

Enjeux dans la création d'une communauté d'enseignants engagés dans l'apprentissage de l'informatique

Patricia Corieri , Margarida Romero , Thierry Massart , Olivier Goletti , Kim Mens et al.
Didapro 8 - DidaSTIC - Colloques francophones de didactique de l’informatique, Feb 2020, Lille, France
Conference poster hal-02426274v2
Image document

Une para-plateforme pour faire communauté autour de l’enseignement de l’informatique

Benjamin Ninassi , Margarida Romero , Olivier Goletti , Sabrina Barnabé , Sébastien Hoarau et al.
[Rapport de recherche] RR-9374, Inria. 2020, pp.17
Reports hal-02994175v4

The modular decomposition of countable graphs. Definition and construction in monadic second-order logic

Bruno Courcelle , Christian Delhommé
Theoretical Computer Science, 2008, 394 (1-2), pp.1-38. ⟨10.1016/j.tcs.2007.10.046⟩
Journal articles hal-01186190v1

The modular decomposition of countable graphs : Constructions in monadic second-order logic

Bruno Courcelle , Christian Delhommé
Computer Science Logic, 2005, Oxford, United Kingdom. pp.325-338
Conference papers hal-00353765v1