Skip to Main content Skip to Navigation


hal-01479704v1  Journal articles
Akram ZouggariLyes Benyoucef. Simulation-based fuzzy TOPSIS approach for group multi-criteria supplier selection problem
Engineering Applications of Artificial Intelligence, Elsevier, 2012, 25 (3), pp.507-519. ⟨10.1016/j.engappai.2011.10.012⟩
hal-01057115v1  Book sections
Mohamed ZouariMaria-Teresa SegarraKhalil Drira. Architectures logicielles et outils : gestion distribuée et coordonnée de la reconfiguration dynamique (Chap. 8)
Architectures logicielles : Principes, techniques et outils, Editions Hermes Sciences-Lavoisier, 44p., 2014, Informatique et systèmes d'information : Recherche, technologie, applications, 978-2-7462-4517-4
inria-00429080v1  Conference papers
Mohamed ZouariFrançoise AndréMaria-Teresa Segarra. Support d'adaptation dynamique et distribuée dans la conception de systèmes de réplication de données
UbiMob'09, 5èmes journées Francophones Mobilité et Ubiquité, 2009, Lille, France
hal-00402758v1  Conference papers
Wassim ZnaidiMarine Minier. Proposition de gestion des clés et de contrôle d'accès dans un réseau de capteurs
10ème Journées Doctorales Informatique et Réseau (JDIR'09), Feb 2009, Belfort, France. pp.1-10
hal-00402755v1  Conference papers
Wassim ZnaidiCédric LauradouxMarine Minier. Une proposition d'agrégation de MACs pour les réseaux de capteurs utilisant des fonctions de hachage universelles
Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'information - SAR/SSI'2009, Jun 2009, Luchon, France. pp.1-12
inria-00100648v1  Journal articles
Imed Zitouni. Modélisation du langage pour les systèmes de reconnaissance de la parole : Application à MAUD
In Cognito - Cahiers Romans de Sciences Cognitives, In Cognito, INPG, 46 Avenue Felix Viallet, 38031 Grenoble Cedex, 2001, pp.43-44
inria-00099739v1  Conference papers
yann Zimmermann. Modélisation formelle de circuits électroniques en B événementiel
Manifestation des Jeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03, 2003, Marseille, France
inria-00000536v1  Journal articles
Paul Zimmermann. MPFR : vers un calcul flottant correct ?
Interstices, INRIA, 2005
tel-01754271v1  Theses
yann Zimmermann. Modélisation et développement formel de circuits électroniques
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10213⟩
inria-00172745v1  Conference papers
yann Zimmermann. Développement formel de circuits électroniques par la méthode B
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Pierre-Yves Schobbens, Jun 2007, Namur, Belgique. pp.181-198
inria-00100543v1  Journal articles
Paul Zimmermann. Arithmétique en précision arbitraire
Réseaux et systèmes répartis, calculateurs parallèles, Hermès science, 2001, 13 (4-5), 29 p
inria-00432683v1  Conference papers
Elisabetta ZibettiVincent BessonCharles TijusFrancesc Salvador-BertrandViçent Quera et al.  De l'Humain au Robot : Heuristiques Cognitives pour Robots Mobiles
Congrès de la Société Française de Psychologie, Société Française de Psychologie, Jun 2009, Toulouse, France
hal-00795076v1  Conference papers
Tewfik ZiadiJean-Marc Jézéquel. Manipulation de lignes de produits logiciels : Une approche dirigée par les modèles
1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris., Jun 2005, PARIS, France
hal-01526328v1  Conference papers
Lin ZhouFlorin Doru HutuGuillaume Villemaudyvan Duroc. Evaluation des performances des communications tag-to-tag : modélisation et outil de simulation
JNM 2017 - 20èmes Journées Nationales Microondes, May 2017, Saint-Malo, France
hal-01971621v1  Conference papers
Fei ZhengManon JalbertFlorence ForbesStephane BonnetAnne Wojtusciszyn et al.  Caractérisation de la variabilité glycémique journalière chez le patient avec diabète de type 1
SFD 2019 - Congrès annuel de la Société Francophone du Diabète, Mar 2019, Marseille, France
inria-00548420v1  Conference papers
Changsheng ZhaoRoger Mohr. Une reconstruction dynamique de surfaces 3D de B-Splines par le mouvement d'une caméra
4eme Journées ORASIS GDR-PRC Communication Homme-Machine, Oct 1993, Mulhouse, France. pp.86--89
hal-00757123v1  Conference papers
Huilong ZhangFrançois DufourInnal Faresyves Dutuit. Fiabilité dynamique: Outils analytiques et numériques
Lambda-Mu 15, 2006, Lille, France. pp.Communication 1C
hal-00504877v1  Conference papers
Chongsheng ZhangFlorent Masseglia. Extraction d'itemsets distinctifs dans les flux de données
Extraction et gestion des connaissances, Jan 2010, France. pp.187-198
hal-03430025v1  Book sections
Hanwei ZhangTeddy FuronLaurent Amsalegyannis Avrithis. Attaques et défenses de réseaux de neurones profonds : le cas de la classification d'images
ISTE. Sécurité multimédia 1. Authentification et insertion de données cachées, 2021, 978-1-78949-026-8
hal-02278575v1  Journal articles
L. ZennerGilles Bourgoin. La coproscopie chez le cheval
Le Nouveau praticien vétérinaire, 2012, 8, pp.116--120
inria-00098461v1  Journal articles
Olivier ZendraDominique ColnetPhilippe Coucaud. SmallEiffel : l'Eiffel à Très Grande Vitesse
Programmez !, Magazine Programmez, 1998, pp.64--67
hal-00339491v1  Conference papers
Imane ZendjebilFakhr-Eddine AbabsaJean-yves DidierJacques VaironLuc Frauciel et al.  Réalité Augmentée en extérieur: Enjeux et Etat de l'Art
2es journées de l'Association Française de Réalité Virtuelle, 2007, Luminy, France
hal-00639331v1  Journal articles
Imane ZendjebilFakhr-Eddine AbabsaJean-yves DidierEmilie LalagüeFabrice Decle et al.  Réalité augmentée en extérieur. État de l'art
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, 28 (6-7), pp.857--890. ⟨10.3166/tsi.28.857-890⟩
hal-00946325v1  Conference papers
Sofia Zaourar-MichelJérôme Malick. Accélération de la méthode de décomposition de Benders
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-00977445v1  Conference papers
Hiyon yooSébastien Le MaguerElisabeth Delais-RoussarieNelly BarbotDamien Lolive. Evaluation d'un algorithme de chunking appliqué à la dictée
JEP - 30ème édition des Journées d'Etudes sur la Parole, Jun 2014, Le Mans, France
hal-01272551v1  Journal articles
Hiyon yooElisabeth Delais-RoussarieDamien LoliveNelly Barbot. Le Rythme en Lecture Oralisée (parole synthétique et parole naturelle)
Revue Française de Linguistique Appliquée, Paris : Publications linguistiques, 2015, XX (2), pp.63-77. ⟨10.3917/rfla.202.0063⟩
hal-01768063v1  Conference papers
Jérémy yonNathalie BareilleBertrand Bed'HomXavier BerthelotSylvie Combes et al.  Ontologie ATOL : amélioration de l'outil par l'intégration des caractères de santé
Journées d'Animation Scientifique du département Phase (JAS Phase 2018), Apr 2018, Rennes, France
inria-00283888v1  Conference papers
Ustun yildiz. Contrôle du flux d'information dans une composition de services
Informatique des organisations et systèmes d'information et de décision, INFORSID, l'IUT Sénart-Fontainebleau, avec l'appui du LACL (Laboratoire Algorithmique, Complexité, Logique) de l'Université Paris 12 - Val de Marne., May 2008, Fontaineblau, France. pp.21-36
hal-01588300v1  Patents
Sami yehiaOlivier TemamHugues Berry. Procédé pour la conception d'accélérateurs
France, N° de brevet: FR2937762. 4833. 2010, pp.22
inria-00532709v1  Conference papers
Hussein yahiaG. MazarsJean-Paul Berroir. Objets implicites visco-élastiques et modèles de contour en traitement d'image
Journées ORASIS, GDR-PRC Communication Homme--Machine, 1997, Sophia-Antipolis, France
hal-00946499v1  Conference papers
Chuan XuAbdel LisserRendl Frenz. A semidefiinite programming relaxation for Vertex Separator Problem
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-03701498v1  Conference papers
Yizhou XuKata GáborLeila KhouasFrédérique Segond. Détection d'anomalies textuelles à base de l'ingénierie d'invite
Traitement Automatique des Langues Naturelles, 2022, Avignon, France. pp.42-53
hal-00521607v1  Conference papers
Frédéric WolffLaurent RomaryNadia Bellalem. Perception et action dans le cadre d'une interface homme-machine multimodale : Etude expérimentale
Journées Internationales d'Orsay sur les Sciences Cognitives - JIOSC'97, 1997, Orsay, France
hal-00176046v1  Book sections
Emmanuel WitrantDidier GeorgesCarlos Canudas de WitOlivier Sename. Stabilisation des systèmes commandés par réseau: une approche prédictive
J.P. Richard et T. Divoux. Systèmes commandés en réseaux, Lavoisier - Hermès, pp.83-124, 2007, Traité IC2
inria-00099660v1  Conference papers
Cédric WilwertAnne CharloisFranz Gailliegue. Les services réseaux pour les systèmes X-by-Wire
RTS Embedded Systems 2003, 2003, Paris/France
hal-01350404v1  Journal articles
Benjamin Werner. La vérité et la machine
Interstices, INRIA, 2009
hal-01350254v1  Journal articles
Benjamin Werner. Preuves formelles, preuves calculatoires
Interstices, INRIA, 2007
inria-00100178v1  Conference papers
Laurent WendlingSalvatore Tabbone. Détection de flèches dans des documents techniques à partir d'une agrégation de critères géométriques
14e congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'04, 2004, Toulouse, France, 10 p
hal-00641508v1  Journal articles
Davy WeissenbacherAdeline Nazarenko. Comprendre les effets des erreurs d'annotations des plates-formes de TAL
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2012, 52, pp.52/1
inria-00433443v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Logoot: Un algorithme de réplication pour la collaboration sur réseaux Pair-à-Pair
3e workshop sur la cohérence des données en univers réparti (cdur'09), Sep 2009, Toulouse, France. 6 p
hal-01378189v1  Conference papers
Hoeteck Wee. Déjà Q : Encore ! Un Petit IBE
TCC 2016 A, 2016, Tel Aviv, Israël. ⟨10.1007/978-3-662-49099-0_9⟩
inria-00614703v1  Journal articles
Géraldine WaltherBenoît Sagot. Modélisation et implémentation de phénomènes flexionnels non-canoniques
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2011, Vers la morphologie et au-delà, 52 (2)
hal-02257816v1  Book sections
Roger WaldeckSophie Le BrisSiegfried Rouvrais. Interdisciplinarité et VUCA
Méthodes et interdisciplinarité, 1, ISTE Editions, pp.91 - 105, 2019, Méthodologies de modélisation en sciences sociales, 9781784055813
hal-02895041v1  Journal articles
Edouard WagnerChristian PrinsGeorges Le Vey. Ordonnancement et gestion des flux d'information
Flash Info - l'Information Scientifique et Technique des Pays de la Loire, 1995, 37, pp.92-95
tel-01746546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10119⟩
hal-01403346v1  Conference papers
Kevin VynckRomain PacanowskiPascal BarlaXavier GranierPhilippe Lalanne. Modélisation de l'apparence de nanostructures plasmoniques complexes
Workshop "Propriétés optiques de nanostructures et apparence", Nov 2016, Talence, France
hal-01253189v1  Conference papers
Gauthier VoronGaël ThomasPierre SensVivien Quema. Optimisation mémoire dans une architecture NUMA : comparaison des gains entre natif et virtualisé
Conférence en Parallélisme, Architecture et Système, (COMPAS'15), 2015, Lille, France
hal-01350221v1  Journal articles
Emmanuel VincentJoanna Jongwane. Quand les sons se séparent
Interstices, INRIA, 2014
hal-02090623v1  Conference papers
Emmanuel Vincent. Parole & deep learning : succès et grands défis
Journée IA, Langage et Citoyens, Mar 2019, Nancy, France
hal-03017840v1  Journal articles
Emmanuel Vincent. Peut-on faire confiance aux IA ?
The Conversation, The Conversation France, 2020
hal-01153787v1  Conference papers
Ulysse VimontDamien RohmerMarie-Paule Cani. Déformation d’objet complexe par graphe d’interaction
GTMG - Groupe de Travail en Modélisation Géométrique, Apr 2015, Poitiers, France
hal-00645843v1  Book sections
Guillaume Villemaud. Antennes Miniatures
Jean-Marc Laheurte. Petites Antennes - Communications sans fil et terminaux, Hermès, 2011
hal-01090763v1  Books
Guillaume Villemaud. Les communications multi-*
Presses académiques francophones, 2014, 978-3-8381-7436-5
hal-01199917v1  Conference papers
Violaine VillebonnetGeorges da CostaLaurent LefevreJean-Marc PiersonPatricia Stolf. Généralisation du concept "big.LITTLE" pour aller vers des infrastructures cloud énergétiquement proportionnelles
Conférence d’informatique en Parallélisme, Architecture et Système (Compas 2015), Jun 2015, Lille, France
hal-00916581v1  Conference papers
Laurent Vigneron. Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis
Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France
hal-00846148v1  Conference papers
Paul Vigneaux. On the growth of low grade gliomas - Sur la croissance des gliomes de bas grade
SMAI 2013 - Minisymposium "CANCER", May 2013, Seignosse, France
hal-00604176v1  Journal articles
Paul Vigneaux. Les baïnes, du surf et des maths
Images des Mathématiques, CNRS, 2009, http://images.math.cnrs.fr/Les-baines-du-surf-et-des-maths.html