|
||
---|---|---|
hal-03136256v1
Patents
Why3 version 1.0 France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018 |
||
hal-00696816v1
Book sections
Visualiser l'information pour la comprendre vite et bien ADBS éditions. L'usager numérique, ADBS éditions, pp.161-194, 2010, 978-2-84365-126-7 |
||
hal-01515255v1
Book sections
Visualisation de données massives MOKRANE BOUZEGHOUB ; RÉMY MOSSERI Les Big Data à découvert, CNRS DITIIONS, 2017, 978-2-271-11464-8 |
||
hal-00876575v1
Book sections
Visualisation d'information Jacky Akoka Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2006, 2-7117-4846-4 |
||
hal-01485508v1
Book sections
Validation croisée Myriam Maumy-Bertrand; Gilbert Saporta; Christine Thomas-Agnan. Apprentissage statistique et donn\'ees massives, Editions Technip, 2018, 9782710811824 |
||
inria-00000854v1
Book sections
Une expérience de représentation d'une ontologie dans le médiateur PICSEL R. Teulier, J. Charler, P. Tchounikine. Ingénierie des connaissances, L'Harmattan, pp.117-138, 2005, 2-7475-8240-X |
||
inria-00120733v1
Book sections
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 |
||
hal-00997879v1
Book sections
Tables de travail informatiques : de l'écran graphique au papier interactif Lieux de savoir 2: Les mains de l'intellect, Albin Michel, pp.172-191, 2011 |
||
inria-00128828v1
Book sections
Support de qualité de service dans les réseaux mobiles ad hoc Houda Labiod. Réseaux mobiles ad hoc et réseaux de capteurs sans fil, Traité IC2, Hermès, 2006, Réseaux et Télécoms, 2-7462-1292-7 |
||
lirmm-00203668v1
Book sections
Robots en réseaux JP. Richard. Systèmes commandés en réseau, 1, HERMES, pp.125-179, 2007, T. Divoux, 978-2-7462-1513-9 |
||
hal-00651607v1
Book sections
Réseaux Introduction à la Science Informatique, CRDP, pp.237 - 280, 2011 |
||
hal-01409743v3
Book sections
Programmes biochimiques et algorithmes mixtes analogiques-digitaux dans la cellule Thierry Gaudin; Dominique Lacroix; Marie-Christine Maurel; Jean-Charles Pomerol. Sciences de la vie, sciences de l’information, ISTE editions, 2017, Colloque de Cérisy, 978-1-78405-287-4 |
||
hal-01588300v1
Patents
Procédé pour la conception d'accélérateurs France, N° de brevet: FR2937762. 4833. 2010, pp.22 |
||
|
||
inria-00180675v1
Book sections
Prise en compte des retards de réseau dans la conception de commande Jean-Pierre Richard and Thierry Divoux. Systèmes commandés en réseau, Hermès Science - Lavoisier, pp.54-81, 2007, IC2 Systèmes Automatisés, 978-2-7462-1513-9 |
||
hal-03121243v1
Book sections
Pourquoi vouloir interagir avec des ordinateurs ? CNRS Editions. Vers le cyber-monde. Humain et numérique en interaction, pp.18-41, 2020, 978-2-271-13459-2 |
||
hal-00751820v1
Book sections
Optimisation technico économique des réseaux d'énergie électrique Xavier Roboam (Eds.). Conception systémique pour la conversion d'énergie électrique 1 : gestion, analyse et synthèse, Hermès Science Publications, pp.253-288, 2012 |
||
halsde-00341034v1
Book sections
Modélisation et simulation de l'architecture et de la production végétales Francis Hallé. Aux origines des plantes : des plantes anciennes à la botanique du XXIe siècle, Fayard, pp.184-227, 2008 |
||
hal-02795954v1
Patents
Methode de prediction de la reconnaissance croisee de cibles par des anticorps differents France, N° de brevet: N° de publication 3058812. 2016 |
||
hal-01089095v1
Book sections
Même les ordinateurs font des erreurs ! Martin Andler; Liliane Bel; Sylvie Benzoni-Gavage; Thierry Goudon; Cyril Imbert; Antoine Rousseau. Brèves de maths, Nouveau Monde Editions, pp.136-137, 2014, 978-2-36583-896-2 |
||
hal-02426663v1
Book sections
Le Web Sciences Numériques et Technologie, Manuel pour la classe de seconde, Editions Didier, pp.30-53, 2019, 978-2-278-09446-2 |
||
hal-00877100v1
Book sections
Le Langage PostScript Jacques André. Techniques de l'ingénieur, Editions T.I., 2004, Techniques de l'ingénieur |
||
hal-00877101v1
Book sections
Le Format PDF Jacques André. Le format PDF, Editions T.I., 2004, Techniques de l'ingénieur |
||
inria-00131058v1
Book sections
La Vérité et la Machine cnrs. Images des Mathématiques 2006, cnrs, 2006, Images des Mathématiques |
||
hal-02518419v1
Book sections
La cellule, un calculateur analogique chimique Approches symboliques de la modélisation et de l'analyse des systèmes biologiques., A paraître |
||
|
||
|
||
hal-01485506v1
Book sections
Fondamentaux de l'apprentissage statistique Myriam Maumy-Bertrand; Gilbert Saporta; Christine Thomas-Agnan. Apprentissage statistique et donn\'ees massives, Editions Technip, 2018, 9782710811824 |
||
hal-01216207v1
Book sections
Exploration de modèles agent Simulation spatiale à base d’agents avec NetLogo 1, ISTE, pp.49, 2015 |
||
hal-00429668v1
Book sections
Evolution de robots autonomes et autres créatures artificielles Thomas Heams, Philippe Huneman, Guillaume Lecointre and Marc Silberstein, eds. Les mondes darwiniens, L'évolution de l'évolution, Editions Syllepse, pp.747-768, 2009 |
||
|