Skip to Main content Skip to Navigation
Help


...
hal-00651607v1  Book sections
Emmanuel BaccelliThomas Heide Clausen. Réseaux
Introduction à la Science Informatique, CRDP, pp.237 - 280, 2011
...
hal-00105953v1  Book sections
Yann GuermeurOlivier Teytaud. Estimation et contrôle des performances en généralisation des réseaux de neurones
Younes Bennani. Apprentissage Connexioniste, Hermès, pp.283, 2006, collection I2C
...
inria-00613186v1  Conference papers
Thomas BourquardJérôme AzéAnne PouponDavid Ritchie. Protein-protein docking based on shape complementarity and Voronoi fingerprint
Journées Ouvertes Biologie Informatique Mathématiques, Jun 2011, Paris, France. pp.9-16
...
tel-00763947v1  Habilitation à diriger des recherches
Jérôme Azé. Prédiction d'Interactions et Amarrage Protéine-Protéine par combinaison de classifieurs
Apprentissage [cs.LG]. Université Paris Sud - Paris XI, 2012
...
inria-00167459v1  Conference papers
Philippe CaillouFrédéric DubutMichèle Sebag. Prêts bilatéraux et réseaux sociaux
Modelling and learning in Social and Human Sciences MASHS 07, May 2007, Brest, France
...
tel-01308661v3  Theses
Gwezheneg Robert. Codes de Gabidulin en caractéristique nulle : application au codage espace-temps
Mathématiques générales [math.GM]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S083⟩
...
inria-00121779v1  Conference papers
Marc SchoenauerPierre SavéantVincent Vidal. Divide-and-Evolve : une nouvelle méta-heuristique pour la planification temporelle indépendante du domaine
Journées Francophones Planification, Décision, Apprentissage, GDR I3 groupe PDMIA, May 2006, Toulouse
...
hal-00665965v1  Conference papers
Cyril Cohen. Construction des nombres algébriques réels en Coq
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
...
tel-00118806v1  Theses
Julien Narboux. Formalisation et automatisation du raisonnement géométrique en Coq.
Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français
...
inria-00547445v1  Conference papers
Daniel Augot. Problématique des bons codes sur le corps à deux éléments
Journées de la Société Mathémarique de France, Jun 2010, Paris, France
...
inria-00119608v1  Conference papers
Thomas Heitz. Modélisation du prétraitement des textes
JADT'06 (International Conference on Statistical Analysis of Textual Data), 2006, Besançon, France, pp.499-506
...
lirmm-00113164v2  Conference papers
Thomas HeitzJérôme AzéMathieu RocheAugusta MelaPeter Peinl et al.  Présentation de DEFT 06 (DÉfi Fouille de Textes)
Atelier DEFT'06 - SDN'06 (Semaine du Document Numérique), 2006, Fribourg, Suisse. pp.1-10
...
pastel-00677421v1  Theses
Morgan Barbier. Décodage en liste et application à la sécurité de l'information
Cryptographie et sécurité [cs.CR]. Ecole Polytechnique X, 2011. Français
...
inria-00543322v1  Conference papers
Daniel Augot. Les codes algébriques principaux et leur décodage
Journées Nationales de Calcul Formel, Jean-Guillaume Dumas, Grégoire Lecerf, Delphine Boucher et Thomas Cluzeau, May 2010, Luminy, France. pp.31-74
...
hal-02118948v1  Conference papers
Thomas BuffetDamien RohmerMarie-Paule Cani. Une approche implicite pour la modélisation de couches de vêtements
GTMG 2018 - Journées du Groupe de Travail en Modélisation Géométrique, Mar 2018, Aix-en-Provence, France. pp.1-8
...
tel-00672699v1  Theses
Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
...
inria-00311719v4  Journal articles
Michel Fliess. Critique du rapport signal à bruit en communications numériques
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.419-429
...
edutice-00676169v1  Conference papers
Gilles Dowek. Les quatre concepts de l'informatique
Sciences et technologies de l'information et de la communication en milieu éducatif : Analyse de pratiques et enjeux didactiques., Oct 2011, Patras, Grèce. pp.21-29
...
edutice-00676274v1  Conference papers
Paul SpirakisGeorges-Louis BaronGilles DowekEric BruillardMaurice Nivat. Communications Invitées - Colloque DIDAPRO 4 - Dida&STIC
Sciences et technologies de l'information et de la communication en milieu éducatif : Analyse de pratiques et enjeux didactiques., Oct 2011, Patras, Grèce. pp.15-47
...
inria-00120733v1  Book sections
Rodolphe Le RicheMarc SchoenauerMichèle Sebag. Un état des lieux de l'optimisation évolutionnaire et de ses implications en sciences pour l'ingénieur
P. Breitkopf and C. Knopf-Lenoir. Modélisation numérique. 2, Défis et perspectives.Traité MIM, série Méthodes numériques et éléments finis, Hermès, pp.187-259, 2007, 978-2-7462-1616-7
...
tel-00382535v1  Habilitation à diriger des recherches
Andreas Enge. Courbes Algébriques et Cryptologie
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2007
...
tel-00433165v1  Theses
Denis Cousineau. Modèles et normalisation des preuves
Informatique [cs]. Ecole Polytechnique X, 2009. Français