Skip to Main content Skip to Navigation
Help


hal-01502505v1  Books
Serge AbiteboulGilles Dowek. Le temps des algorithmes
Editions Le Pommier, pp.192, 2017, 978-2746511750
inria-00338371v1  Conference papers
Frédéric AlexandreBruno CessacThierry Viéville. Neurosciences Computationelles: le cerveau est il un bon modèle de réseaux de neurones ?
Séminaire Algorithmique et Programmation des Professeurs de Mathématiques en Classes Préparatoires, May 2008, Marseille, France
...
hal-01403830v1  Conference papers
Timothy BourkePierre-Evariste DagandMarc PouzetLionel Rieg. Vérification de la génération modulaire du code impératif pour Lustre
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
inria-00636877v1  Book sections
Julien BertraneJérôme FeretPatrick CousotRadhia CousotAntoine Miné et al.  L'analyseur statique Astrée
Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5
...
hal-00361718v1  Journal articles
Ricardo MartinezNicolas PasquierClaude PasquierMartine CollardLucero Lopez-Perez. Analyse des groupes de gènes co-exprimés : un outil automatique pour l'interprétation des expériences de biopuces (version étendue)
Revue des Nouvelles Technologies de l'Information, Hermann, 2008, Classification : points de vue croisés, Chapitre XXI
hal-00871325v1  Books
Damien Vergnaud. Exercices et problèmes de cryptographie
Dunod, pp.304, 2012, Sciences Sup
hal-00926979v1  Master thesis
Matthias Bry. Synchronisation de fils d'exécution en interprétation abstraite
Performance et fiabilité [cs.PF]. 2013
hal-01216566v1  Conference papers
Julieta BollatiAna BušicEmmanuel Hyon. Calcul effectif des niveaux critiques dans un modèle de gestion de stock stochastique
ROADEF 2013 - 14ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2013, Troyes, France
...
hal-01627760v1  Conference papers
Karima RafesSarah Cohen-BoulakiaSerge Abiteboul. Une autocomplétion générique de SPARQL dans un contexte multi-services
BDA 2017 - 33ème conférence sur la «Gestion de Données — Principes, Technologies et Applications», Nov 2017, Nancy, France
...
hal-00779789v1  Conference papers
Louis MandelCédric Pasteur. Réactivité des systèmes coopératifs : le cas de ReactiveML
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
...
tel-00431825v1  Theses
Christine Paulin-Mohring. Extraction de programmes dans le Calcul des Constructions
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français
hal-01329763v1  Conference papers
Anil GoyalEmilie MorvantPascal GermainMassih-Reza Amini. Théorèmes PAC-Bayésiens pour l'apprentissage multi-vues
Conférence Francophone sur l'Apprentissage Automatique (CAp), Jul 2016, Marseille, France
...
hal-01636303v1  Conference papers
Anaël BeaugnonAntoine Husson. Le Machine Learning confronté aux contraintes opérationnelles des systèmes de détection
SSTIC 2017: Symposium sur la sécurité des technologies de l'information et des communications, Jun 2017, Rennes, France. pp.317-346
...
inria-00496738v1  Conference papers
Sylvain Arlot. Sélection de modèles
Journées MAS et Journée en l'honneur de Jacques Neveu, Aug 2010, Talence, France
...
hal-01647638v1  Poster communications
Louis JachietPierre GenevèsNabil LayaïdaNils Gesbert. Une nouvelle algèbre pour SPARQL permettant l'optimisation des requêtes contenant des expressions de chemin
BDA 2017 - 33ème conférence sur la « Gestion de Données , Nov 2017, Nancy, France. pp.1-2
...
hal-00925430v1  Conference papers
Pelleau MarieAntoine MinéCharlotte TruchetFrédéric Benhamou. Un solveur de contraintes basé sur les domaines abstraits
9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
hal-01529219v1  Conference papers
Anil GoyalEmilie MorvantPascal Germain. Une borne PAC-Bayésienne en espérance et son extension à l'apprentissage multivues
Conférence Francophone sur l'Apprentissage Automatique (CAp), Jun 2017, Grenoble, France