|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
Allyx Fontaine
,
Akka Zemmari
Journal articles
hal-01798785v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
pasteur-03261181v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms
Allyx Fontaine
,
Akka Zemmari
Conference papers
hal-01463441v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Conference poster
hal-02295974v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
IndexMEED cases studies using "Omics" data with graph theory
Romain David
,
Jean-Pierre Féral
,
Sophie Archambeau
,
Fanny Arnaud
,
David Auber
et al.
Journal articles
hal-01761535v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-01101193v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A generic conceptual framework for describing transitions in settlement systems
Laure Nuninger
,
Lena Sanders
,
Arnaud Banos
,
Frédérique Bertoncello
,
Anne Bretagnolle
et al.
Book sections
hal-03480382v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-02556784v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Application de l'apprentissage aux réseaux Radio Cognitive
Dramane Ouattara
Informatique et théorie des jeux [cs.GT]. 2011
Master Thesis
hal-00828376v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
Bruno Courcelle
,
Christian Delhommé
Journal articles
hal-01186190v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|