INFOSEKOLAH.NET

Inria Institut national de recherche en informatique et en automatique Logo de l'Inria. Le bâtiment d'INRIA à Palaiseau, sur le campus de l’École polytechnique...

chercheurs de l'Inria, puis à l'ensemble de la communauté française de recherche et développement. L'Inria administre alors le réseau Fnet/Inria, qui demeure...

recherche présents à Grenoble : le CEA, le CNRS, INRAE, INSERM, Inria (devenu centre INRIA de l'Université Grenoble Alpes). L'université Grenoble-Alpes est...

prix Inria - Académie des sciences sont trois prix, de niveau différents, attribués depuis 2013 en partenariat par l'Académie des sciences et Inria : le...

1995, l'Institut national de recherche en informatique et en automatique (INRIA), avec le soutien de la commission européenne, accueille la partie européenne...

Montpellier, le CNRS, le Cirad, INRAE, l'IRD, l'INSERM, le CEA Tech, l'IFREMER, INRIA, le BRGM, les CHU de Montpellier et de Nîmes, l'ICM, le CIHEAM-IAMM, et...

scientifique. L’IRISA est associé à Inria à travers un nombre important d’équipes communes au sein du centre Inria Rennes-Bretagne Atlantique, et bénéficie...

start-up développant des logiciels scientifiques libres en python. Il entre à l'INRIA en 2008 où il est titularisé en 2011, puis nommé directeur de recherche...

mars 2025). « Comment venir au centre Inria de l'Université de Lorraine et son antenne de Strasbourg ? », sur inria.fr (consulté le 24 avril 2025). « Journée...

d'Alan Turing, traduction en français en ligne par Dominique Bonnaud-Dantil, INRIA, Silo/Sciencinfolycee, 2014. (en) Alan Turing, On Computable Numbers, with...

(consulté le 24 octobre 2021) « Le réseau Arpanet, 50 ans déjà | Inria », sur www.inria.fr (consulté le 30 août 2020) "Je suis reçu au concours de l’ENSEEIHT...

langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres...

de l'Institut national de recherche en informatique et en automatique (INRIA) ou de l'École des mines, d'abord à Rocquencourt, puis à Sophia Antipolis...

« Sanskrit Heritage Dictionary », sur inria.fr (consulté le 23 mai 2023). « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 23 mai 2023). « Sanskrit...

Pierre Tiollais, Institut Pasteur ; 1986 : langage de programmation Caml, Inria ; 1986 : casque antibruits actif (à émission de contre-bruit), Christian...

de popularité à partir de 2023 suite à une publication de chercheurs de l'INRIA. Le gaussian splatting s’inscrit dans la continuité des recherches sur...

International en Calcul Intensif et Informatique Ambiante (avec le LIG, le CNRS, l'Inria et l'Université fédérale du Rio Grande do Sul) ; MICA, Multimédia, Information...

par l'Institut national de recherche en informatique et en automatique (Inria), en son centre de Paris-Rocquencourt, sous la direction de Gérard Huet...

2024. « Intelligence artificielle », publications en ligne, Interstices, INRIA. (en) European Association for Artificial Intelligence (EurAI) (Association...

travaillant à l'Institut français de recherche en informatique et en automatique (INRIA) à Paris. Ses recherches portent principalement sur la conception et la...

« Sanskrit Heritage Dictionary », sur inria.fr (consulté le 22 mai 2023). « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 22 mai 2023). Alexandre...

l'Institut de recherche en informatique et automatique (IRIA devenu, en 1979, l'INRIA), une situation proche de celle qu'il quittait. Il y est chef de projet...

travaille à l'Institut national de recherche en informatique et en automatique (INRIA) depuis 2021, dont elle est la directrice générale déléguée. Sandrine Mazetier...

de l'Institut national de recherche en informatique et en automatique (Inria). L’application StopCovid est disponible depuis le 2 juin 2020, elle devient...

« Équipe Cophy : modéliser l’activité cérébrale pour mieux soigner | Inria », sur www.inria.fr, 23 juin 2026 (consulté le 12 juillet 2026) (en) Baram, T.Z....

1971 à l'Institut national de recherche en informatique et en automatique (Inria), en lien étroit avec le réseau américain Arpanet et le réseau britannique...

(INRAE) ; l’Institut national de recherche en informatique et en automatique (INRIA) ; l’Institut national de la santé et de la recherche médicale (INSERM) ;...

assistant en environnement domestique. Un autre projet, Robotex, piloté par l'INRIA et regroupant 15 partenaires, avait pour objectif en 2012 d'utiliser Romeo...

lancée en juin 2020 pour le Gouvernement français, en collaboration avec l'Inria, Orange et Capgemini. Lunabee Studio a travaillé sur toute l'interface...

inévitable ? Analyse comparative de quelques architectures », inria.hal.science, INRIA Grenoble - Rhône-Alpes,‎ 2 février 2017 (lire en ligne, consulté...

recherche à l'Institut national de recherche en informatique et en automatique (INRIA). Il est le créateur du logiciel Geneweb, qui permet de publier et d'éditer...

de l'Institut national de recherche en informatique et en automatique (Inria), puis Directeur Général Adjoint de cet Institut. Ses travaux ont porté...

sud aquitain en association avec des organismes nationaux (CNRS, INRAE, INRIA…) et internationaux mais également avec des partenaires institutionnels...

Esterel Technologies est une start-up de Simulog (elle-même start-up d’Inria) créée en 1999 dans le but de commercialiser des outils basés sur les langages...

(OKTAL-SE, ONERA, Université Toulouse-III-Paul-Sabatier), Richard Saurel (INRIA/Université d'Aix-Marseille). 2008 Jacques Stern (Bull). 2010 Christian Bordé...

français, chercheur à l'ENS Paris et directeur de recherche émérite à l'Inria, membre de l'Académie des sciences et de l'Academia Europaea depuis 2011...

1967, le site de Voluceau est occupé par l'INRIA qui y a son siège social. Au début de l'année 2016, l'INRIA déménage l'essentiel de ses équipes dans...

de l’Institut national de recherche en informatique et en automatique (Inria). Il est nommé le 24 janvier 2018 président-directeur général du Centre...

(consulté le 20 novembre 2012) Bruno Barras, « Coq en Coq », Rapport INRIA, INRIA, vol. RR-3026,‎ 2006 (lire en ligne) Complexité des preuves Décidabilité...

Livre de Poche, p. 113 et 114. « Le commissaire est-il débonnaire ? », HAL Inria. Maigret tend un piège, p. 144. Maigret hésite, p. 123. À la découverte...

Telecom Valley depuis 1991 Le World Wide Web Consortium (W3C) depuis 1995 via INRIA puis ERCIM L'institut Non Linéaire de Nice (INLN) depuis 1991 Le Laboratoire...

yangdak). Fabien Gandon, « Ontologies informatiques », sur Interstices, INRIA, 22 mai 2006 Debate in Tibetan Buddhism, Daniel E. Perdue, Snow lions Publications...

« Pierre-Louis Lions : Grand Prix Inria 2012 : Médiathèque d'Inria, Photothèque & Vidéothèque » , sur mediatheque.inria.fr (consulté le 21 décembre 2025)...

Jean-Claude Derniame, Jean-Pierre Finance, Jean-Marie Pierrel. En 1986, l'Inria a installé à Nancy sa cinquième unité, après Rocquencourt, Rennes (Irisa)...

l'Université de Cornell. Il est entré à l'INRIA en 1994. Benjamin Werner est directeur de recherche à l'INRIA et Professeur à l'École polytechnique. Il...

« Sanskrit Heritage Dictionary », sur inria.fr (consulté le 15 avril 2023). « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 15 avril 2023). « Sanskrit...

INRAE), l'Institut national de recherche en informatique et en automatique (INRIA) et le réseau Tela Botanica, avec le concours de la fondation Agropolis...

avril 2026) Anne Canteaut, « Programmation en langage C » [PDF], sur rocq.inria.fr (consulté le 4 avril 2026) Fonction logique Fonction logique OUI Fonction...

des instituts français d'enseignement supérieur et de recherche comme l'Inria. Elle propose dans son framework de nombreuses bibliothèques d’algorithmes...

plusieurs instituts de recherche et entreprises, principalement européens : l'INRIA, l'Institut Max-Planck d'informatique à Sarrebruck, l'université de Tel...

disciples qui respectent le sutra. « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 18 mai 2021). (en) Encyclopedia of Hinduism par C.A. Jones...

deux membres-associés au 1er janvier 2020. En outre, le CNRS, l'Inserm et l'Inria participent à la gouvernance et à la définition de l’université PSL, avec...

immobilière de la ville de Paris pour accueillir le centre de recherche Inria de Paris ainsi que des logements. Autres monuments : la piscine de la Butte-aux-Cailles ;...

pages 7 et 8, (ISBN 0816073368) « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 28 mai 2023). Heinrich Zimmer : Le barattage de la mer de...

Tous deux étaient précédemment chercheurs employés par Bull et détachés à l’INRIA. Ils effectuaient des recherches dans le domaine des outils collaboratifs...

« Cordelia Schmid », sur INRIA (consulté le 31 mars 2019) (de) « Papesse de l’image : Cordelia Schmid, directrice de recherche à l’Inria », sur L'Usine nouvelle...

en informatique et en automatique (Inria). Membre de l'Académie des sciences et directeur scientifique de l'Inria depuis 1993 jusqu'en mai 2004, date...

sur le logiciel libre). Depuis septembre 2016 il est détaché auprès de l'Inria. Le 13 septembre 2011, Jérôme Vouillon et Roberto Di Cosmo ont remporté...

professeur au Collège de France et précédemment directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage...

préconise d'écrire simplement nirvana. Gérard Huet, « nirvāṇa », sur sanskrit.inria.fr, Sanskrit Heritage Dictionary (consulté le 6 janvier 2024) De:Nir- Vā-...

chercheur au Laboratoire bordelais de recherche en informatique (LaBRI) et à Inria. Il est l'auteur du logiciel Scotch, un logiciel de partitionnement de graphes...

recherche, CNRS Jean-Frédéric Gerbeau, directeur général délégué à la science, INRIA Viviana Lago, responsable d'équipe, Institut de Combustion Aérothermique...

Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'Inria et l'a notamment été pendant cinq ans par le professeur Guy Cousineau (université...

point par Daniel de Rauglaudre et Didier Rémy, directeur de recherche à l'INRIA. GeneWeb, logiciel libre sous Licence publique générale GNU écrit en langage...

de preuve utilisant le langage Gallina, développé par l'équipe PI.R2 de l’Inria au sein du laboratoire PPS du CNRS et en partenariat avec l'École polytechnique...

instituts de recherche français depuis les années 1970, comme Cyclades à l'INRIA en 1971. Sa diffusion dans les établissements de recherche et d'enseignement...

2 : IMSI 3GPP rev.10, avril 2012. (en) GSM Security, H1+H2 page 25[PDF] Inria, consulté en mai 2013. liste des MCC/MNC pour les numéros IMSI attribués...

(Ined) l'Institut national de recherche en informatique et en automatique (Inria) l'Institut national de la santé et de la recherche médicale (Inserm) l'Institut...

exceptionnelle) à l'Institut national de recherche en informatique et en automatique (Inria) et membre de l'Académie des sciences. Il a obtenu le prix de l'European...

topics » (consulté le 18 juin 2015) « Inria - l’inria et ses partenaires battent un nouveau record de calcul et… », sur inria.fr via Wikiwix (consulté le 8 octobre...

appliquées (unité mixte de recherche CNRS, École normale supérieure de Lyon et INRIA), il est connu pour sa recherche en géométrie et sur les systèmes dynamiques...

Research à Cambridge (UK). De 2004 à 2015, elle est directrice de recherche à l’INRIA de Rennes. En 2015, elle fonde Mediego, une start-up qui fournit des services...

2010, il fait partie de l'équipe WILLOW (ENS-Inria-CNRS). Depuis 2011, il dirige l'équipe SIERRA (ENS-Inria-CNRS), le laboratoire en apprentissage statistique...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Californie : Faure 1996, page 24. « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 18 novembre 2021). L’Inde classique : manuel des études...

Statue d'Arjuna à Bali en Indonésie « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 12 juillet 2023). Vasundhara Filliozat : "La mythologie...

données des cavités mondiales classées selon leur longueur »], sur sop.inria.fr, 26 juin 2006 (consulté le 13 mai 2021). Dominique Ros, « Les Records...

« Sanskrit Heritage Dictionary », sur sanskrit.inria.fr Gérard Huet, « Sanskrit Heritage Dictionary », sur sanskrit.inria.fr René Guénon, L'homme et son devenir...

de la recherche français. Il est nommé président-directeur général de l'Inria le 27 juin 2018 par décret du Président de la République. Sa gestion suscite...

(CNRS), l'Institut national de recherche en informatique et en automatique (Inria), l'Institut national de recherche pour l'agriculture, l'alimentation et...

continent et Le Sanctuaire du Gondwana. Gérard Huet, « aśoka », sur sanskrit.inria.fr/, Dictionnaire Héritage du sanscrit (consulté le 24 août 2026) Sauf mention...

(SFBI). Lauréat de la médaille d’argent du CNRS (2009). Lauréat du prix Inria de l'Académie des sciences (2017). Membre de l'Académie des sciences dans...

when anticonformists all look the same », par Jonathan Touboul, MNL/CIRB/INRIA/Collège de France, 30 octobre 2014. Matt Granfield, HipsterMattic, Allen...

Shri Aurobindo, la revue d'Auroville « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 20 mai 2023). An adventure in Consciousness, Yogi Bhajan...

2020-janvier 2021 (consulté le 11 décembre 2022) Université de Rennes - INRIA, « Le Système visuel humain » [PDF] Lieury 2020, p. [source insuffisante]...

historique, texte présenté au 3e Colloque d'Histoire de l'informatique, INRIA, Sophia-Antipolis, 1993. [4] Le Monde du 25 juillet 1973 [5] Le Monde du...

organisée en 1994 par Jean-Marc Alliot (IRIT), Evelyne Lutton (INRIA), Marc Schoenauer (INRIA) et Edmund Ronald. Les algorithmes génétiques étant basés sur...

de l'Institut national de recherche en informatique et en automatique (Inria) dont il avait été un collaborateur extérieur de 1997 à 2004. Nommé responsable...

France ; Institut national de recherche en informatique et en automatique (INRIA), en France ; Institut national des sciences et technologies industrielles...

décide ensuite de se consacrer exclusivement à la recherche et intègre l'Inria, où elle dirige l'équipe Reso. En 2010, elle fonde son entreprise Lyatiss...

accomplit en 1973 un stage d'analyste programmeur à l'IRIA (aujourd'hui dénommé Inria). Bernard Stiegler exerce alors ponctuellement différents métiers : fabriquant...

améliorer l'accessibilité. La plateforme France université numérique et l'INRIA learning lab ont créé le MOOC « Accessibilité numérique » afin de former...

d'un seul et même pouvoir créateur. « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 23 avril 2023). L'hindouisme, une introduction, Dharam Vir...

(INRETS), l'Institut national de recherche en informatique et en automatique (INRIA), l'Institut national de la santé et de la recherche médicale (INSERM),...

(ISBN 978-0-19-280062-6), p. 74. Gérard Huet, « dharma », sur sanskrit.inria.fr (consulté le 21 septembre 2024) Buswell et Lopez 2014, p. 782. Robert...

leurs recours juridiques en cas de litiges. Licence CeCILL, pour CEA CNRS INRIA Logiciel Libre, une licence libre française ; Design Science License (DSL) ;...

mathématiques appliquées, 1992 Prix Science et Défense, 1996 Grand prix INRIA - Académie des sciences, 2013 Médaille de l'innovation du CNRS, 2015 Prix...

Press, 2014, p. 897-898 (ISBN 978-0-691-15786-3) « garbha », sur sanskrit.inria.fr (consulté le 30 octobre 2021) (en) Robert E. Buswell Jr. et Donald S...

Lann est un informaticien français, directeur de recherche émérite chez INRIA. Il a travaillé sur le projet Cyclades avant de rejoindre Arpanet en 1973...

touristiques du monde (fr + en) « Grandes Grottes du Monde », par la Section INRIA de spéléologie, (compilation par Eric Madelaine ; base en sommeil depuis...

grammaire du langage M et un interpréteur. En 2019 et 2020, une initiative de l'Inria a permis de consolider le travail d'Etalab et rendre complètement opérationnel...

« Sanskrit Heritage Dictionary », sur inria.fr (consulté le 20 mars 2021). « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 20 mars 2021). V.M...

know your MAC Address : Targeted tracking of individual using Wi-Fi », sur inria.fr, 15 novembre 2013 (consulté le 2 février 2023). (en) Request for comments...

État français (49 %), CEA (20 %), CNRS (20 %), France Universités (10 %), Inria (1 %) Puissance de calcul cumulée (2025) : plus de 237 PFlop/s, répartis...

d'abord à l'Institut national de recherche en informatique et en automatique (INRIA) où il poursuit des recherches sur la programmation des circuits intégrés...

15 000 €. Sciences mécaniques et informatiques : Prix Michel-Monpetit - INRIA, doté de 4 500 euros ; Prix Blaise-Pascal du GAMNI-SMAI, doté de 3 000 euros ;...

optimisant extrêmement robuste et efficace Poly/ML Concurrent ML OCaml (INRIA) ne suit pas le standard SML mais est plutôt une évolution orientée objet...

l'environnement INRAP : Institut national de recherches archéologiques préventives INRIA : Institut national de la recherche en informatique et automatique (France)...

réel multi-modèle (Habilitation à diriger des recherches), Le Chesnay, INRIA, 9 décembre 2005, 145 p. (ISSN 0249-6399, lire en ligne [PDF]), p. 16 « Le...

Il enseigne à l'École polytechnique de 2002 à 2010 puis est chercheur à l’INRIA, rattaché au laboratoire Méthodes Formelles de l'École normale supérieure...

de l'Institut national de recherche en informatique et en automatique (INRIA), et Eurecom. D'autres laboratoires mixtes Université-CNRS (Unités mixte...

deviendra l'Institut national de recherche en informatique et en automatique (Inria), dont il deviendra le premier président en 1979. Ce laboratoire a été un...

Malterie). Institut national de recherche en informatique et en automatique (INRIA), organisme public de recherche, voué aux sciences et technologies du numérique...

originelle) ; la Licence Art Libre ; la MPL ; la CeCILL, pour « CEA CNRS INRIA Logiciel Libre », une licence libre française. Les licences de libre diffusion...

2018 (en) Eitan Altman, « Communication satellite (cours DEA Réseaux », INRIA, 8 mai 2015 http://www.globalstar.ca/fr/content.php?cid=300 Globalstar.ca...

devient ensuite directeur de recherches à l'INRIA. Il obtient le doctorat ès-sciences en 1980. Les chercheurs de l'INRIA utilisaient alors des ordinateurs avec...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

modernes. » Gérard Huet, « Sanskrit Heritage Dictionary », sur sanskrit.inria.fr (consulté le 8 août 2017); (en) Monier-Williams Sanskrit-English Dictionary...

observée dans l'Inde moderne.[réf. nécessaire] (en) « bhiksu », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 10 mars 2021). Mâ Sûryânanda...

dirige successivement deux équipes de recherche en collaboration avec l'INRIA et le CNRS (Laboratoire Jean Kuntzmann) : EVASION et IMAGINE. En 1997 elle...

(INSERM) ; Institut national de recherche en informatique et en automatique (INRIA) ; Institut de recherche pour le développement (IRD). École nationale supérieure...

bien qu’un traducteur de MATLAB vers Scilab existe. Le projet est né à l'Inria en 1982 sous le nom de Blaise, à partir de MATLAB. Il s'agit donc initialement...

ligne, consulté le 25 juin 2025) Gérard Huet, « hṛṣīkeśa », sur sanskrit.inria.fr (consulté le 23 mars 2025) La Bhagavad-Gîtâ. Suivie du Commentaire de...

uk. Consulté le 14 avril 2013 [PDF] (en) The Semantic Web, sur www-sop.inria.fr. Consulté le 14 avril 2013 (en) Professor Sir Tim Berners-Lee-Publications...

recherche en informatique et systèmes aléatoires (avec le CNRS, l'ENS Rennes, l'Inria, l'INSA de Rennes, l'université Bretagne-Sud et l'université Rennes-I et...

4 mars 1929 (lire en ligne) Gérard Huet, « candrabindu », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 26 mars 2025) Pour une...

etymonline.com (consulté le 5 janvier 2024) « dhātugarbha », sur sanskrit.inria.fr (consulté le 14 janvier 2025) E. Parlier-Renaud, « Le Stûpa » in Parlier-Renaud...

Cyclades, une vision transatlantique de la création d'Internet | Inria », sur www.inria.fr (consulté le 21 août 2025) (en) Steve Denning, « How To Create...

numérique : de la prévention au diagnostic jusqu’au traitement », sur www.inria.fr, 7 avril 2024 (consulté le 11 avril 2024) « Une hémiparésie atteint 1...

(en) « Feit-Thompson theorem has been totally checked in Coq », Msr-inria.inria.fr, 20 septembre 2012. (en) Georges Gonthier et al., « A Machine-Checked...

« Sanskrit Heritage Dictionary », sur inria.fr (consulté le 18 novembre 2021). « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 18 novembre 2021)...

(CNRS), l'Institut national de recherche en informatique et en automatique (Inria), et l’Institut national de recherche pour l’agriculture, l’alimentation...

Control of Mechatronical System Jocelyne Erhel, directrice de recherche à Inria (Rennes) Bernard Leduc, professeur à l'université libre de Bruxelles (Belgique)...

réel à micronoyau conçu pour les systèmes embarqués, créé et développé à l'INRIA puis commercialisé par une société éponyme fondée en 1986 par Hubert Zimmermann...

de populations - Tests non paramétriques Statisticien.fr Tests de rangs INRIA Rhône-Alpes SMEL - Statistique médicale en ligne, en particulier Tests Statistiques...

annoncé en juillet 2026, mené en collaboration avec des chercheurs liés à l'Inria, l'Inserm et l'université Paris-Cité, vise à améliorer les parcours de...

Synergistic Virtual Retina Model for Tone Mapping (Doctoral dissertation, Inria Sophia Antipolis) (résumé). Yamamoto, Y., Ishizaki, T., Matsuda, T., & Kimura...

(CNRS, INRA, INRIA ou INSERM) sont transversales à ces établissements, par exemple l'IRISA qui dépend de l'Université de Rennes 1, de l'INRIA, du CNRS, de...

Définition provenant de The Sanskrit Heritage Dictionary de Gérard Huet (INRIA). Karma Adhyatma yoga Philippe Cornu, Dictionnaire encyclopédique du bouddhisme...

Capgemini, Microsoft) ainsi que des acteurs du monde de la recherche (INRIA, CEA Tech, CITC) et des établissements d'enseignement supérieur (masters...

organismes (institut Pasteur de Lille, CHU de Lille, CNRS, Inserm, Inrae, Inria...) et partenaire avec de nombreuses écoles (École centrale de Lille, Institut...

(Sofia-Antipolis, Alpes-Maritimes, France), « Deep caves of the world », sur www-sop.inria.fr, base de données des cavités mondiales classées selon leur dénivelé,...

(21), 7082 ». « CRIStAL ». « INRIA Lille - Institut national de recherche en informatique et en automatique », sur inria.fr. Denis Efimov, Wilfrid Perruquetti...

fréquemment traduit par "le" Mahamudra, ce qui est une erreur: https://sanskrit.inria.fr/DICO/50.html#mahaamudraa A Dictionary of Buddhism par Damien Keown publié...

(ISBN 9782253131113), p. 360-361 « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 14 juin 2023). Gérard Huet, Dictionnaire Héritage du sanscrit...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

« prajāpati », sur sanskrit.inria.fr (consulté le 8 décembre 2020). Gérard Huet, version DICO en ligne, entrée « bhū_2 », sur sanskrit.inria.fr (consulté le 8 décembre...

numérique. Il est depuis décembre 2025 directeur général de la fondation Inria. Henri Verdier est ancien élève de l'École normale supérieure (promotion...

2024 (consulté le 26 octobre 2024) « Liberation - Chroniques », sur bat8.inria.fr (consulté le 2 janvier 2021) (en) « Jean-Louis F Gassee », sur bloomberg...

chercheur à l'Institut national de recherche en informatique et en automatique (INRIA) et au Centre de mathématiques appliquées de l'École polytechnique à Palaiseau...

Saint-Étienne Institut national de recherche en informatique et en automatique (Inria) Conservatoire national des arts et métiers (Cnam Auvergne-Rhône-Alpes)...

notamment Jean-Yves Girard « A New constructive logic: classical logic » [PDF], INRIA, Rapport de recherche no 1 443, juin 1991 et les travaux de Jean-Louis Krivine...

est membre de différents conseils d'administration : Saint-Gobain, ANVAR, INRIA. Il a écrit plusieurs rapports, parmi lesquels : 1997 : Un plan d'action...

associativity in low-cost shared memory multi-microprocessors », hal.science, INRIA,‎ 1993 (lire en ligne, consulté le 19 mai 2025) « Nathalie Drach-Temam élue...

Semet, Group design in group testing for COVID-19 : A French case-study, Inria, 12 novembre 2020 (HAL hal-03000715). (en) Robert Dorfman, « The Detection...

L'Originel, 17 avril 2001, p. 172-173 Dictionnaire Héritage du Sanscrit, sur inria.fr, consulté le 1er avril 2017 Architecture des temples hindouistes Portail...

2023). (en) « Menhir Reference Manual (version 20230608) », sur gallium.inria.fr (consulté le 2 juillet 2023), option --reference-graph. « GenGraph »...

de l’informatique | Histoire des machines : La Pascaline », sur aconit.inria.fr (consulté le 17 novembre 2024) Mario Borillo, Informatique pour les sciences...

d'EPIC (IRD, CNRS, INSERM, CEMAGREF — actuel IRSTEA —, INRETS, INRA, LCPC, INRIA, CIRAD, BRGM et CEA) recevaient dans ce cadre une dotation spécifique qui...

« Introduction aux langages ESTELLE, LOTOS et SDL et essai d’application à la gestion de réseaux », HAL INRIA,‎ 1999 (lire en ligne [PDF]) Portail de la culture...

Scientifique « Sciences de la cognition » (ministère de la Recherche, CNRS, CEA, INRIA, INRETS) (1995-2000). En collaboration avec les équipes de littérature de...

1987 sous la direction de Claude Basdevant. Il entre à l'ONERA puis à l'INRIA à Sophia-Antipolis dans le projet SImulation NUmérique pour les Sciences...

principe suprême, dans les upaniṣad. « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 5 mai 2023). Le Sûtra du Lotus, Suivi du Livre des sens...

Huitema (Internet) Gérard Huet (langages fonctionnels, Académie des sciences, INRIA) Günter Hotz (théorie des langages, automates) Groupe de Hotz, forme normale...

mathématicien français, spécialiste de la théorie des jeux. Il travaille à l'INRIA de Sophia Antipolis. Il entre en 1964 à l'école Polytechnique, puis en...

recherche à l'Institut national de recherche en informatique et en automatique (Inria) et à l'École polytechnique en France. Elle dirige l'équipe de recherche...

Recherche Cognitive - ARCo'07 : Cognition – Complexité – Collectif, ARCo - INRIA - EKOS,‎ novembre 2007, p. 279–290 (lire en ligne, consulté le 22 juillet...

de l'Institut national de recherche en informatique et en automatique (INRIA), en qualité personnalité de l'industrie du numérique désignée par le ministre...

Möhring, Martin Oellrich et Robert Pankrath, « Le crible d'Ératosthène », inria, 2009. Arithmétique et théorie des nombres Portail de l'informatique théorique...

(en) Résolution des équations de Maxwell par la méthode de Crank-Nicolson, INRIA. (en) P. Wilmott, S. Howison, J. Dewynne « The Mathematics of Financial...

dans un marché aux fleurs de Bangkok. Gérard Huet, « mālā », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 28 décembre 2024) « Meaning...

des universités de classe exceptionnelle, Antoine Petit était président d'Inria depuis octobre 2014. Le 10 juin 2026, Thierry Dauxois est nommé président...

(IRISA) et Institut national de recherche en informatique et en automatique (Inria). En mathématiques : Institut de Recherche Mathématiques de Rennes (IRMAR)...

2009 : 0.8b1 21 février 2010 : 0.8b2 2 mars 2010 : 0.8b3 (en) One Year At INRIA - Kaz'hack, Kazhack.org, 13 juin 2011 (consulté le 25 janvier 2020) Page...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

de spécialité Informatique et sciences du numérique, et par l'organisme Inria qui annonce travailler exclusivement sur ce sujet. Le terme anglais de informatics...

Villeneuve-d'Ascq), etc.) et entités scientifiques (CNRS, IEMN, ITEEM INSERM, INRIA, ICARE/CNES, Météo France, département COSYS de l'Université Gustave Eiffel...

entre le CNRS et l'Université Paris-Saclay, avec pour tutelles secondaires l'Inria et CentraleSupélec. Il est issu de la fusion de deux UMR, le LIMSI (fondé...

directrice de l’innovation pour le groupe France Télécom, administratrice de l’INRIA. Étienne Franzi (1969), président de l’Association sportive de Monaco Football...

novembre 2005) Fabien Gandon, « Lectures from Fabien Gandon », sur sop.inria.fr (consulté le 28 décembre 2016) 01net, « Il y a désormais plus d'un milliard...

intelligence artificielle. De 2015 à 2018, il rédige une thèse de doctorat à l’Inria et à NeuroSpin (CEA Saclay), sous la direction de Bertrand Thirion, Gaël...

1er janvier 2002 (lire en ligne, consulté le 18 janvier 2023) Kurtosis INRIA, cours financiers Portail des probabilités et de la statistique Portail...

123 p. (ISBN 978-2-844-45134-7), p. 36-37 « saddharma », sur sanskrit.inria.fr (consulté le 26 mars 2021) Les vies antérieures du Bouddha d'après les...

(Ifremer) Institut national de recherche en informatique et en automatique (Inria) Institut de recherche pour le développement (IRD). Elle met à disposition...

(INIST) ; Institut national de recherche en informatique et en automatique (INRIA) ; Secrétariat du Conseil du Trésor du Canada ; Bibliothèque de l'Université...

avec une gada dans la main gauche. « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 17 avril 2023). (en) Swami Parthasarathy, The Symbolism...

- RFC 3626) de l’Internet Engineering Task Force (IETF) sont issues de l'Inria dans le cadre ouvert du groupe de travail MANET (Mobile ad hoc networks)...

leur sécurité. Elle remporte avec son directeur de thèse un concours de l'INRIA avec une application qui permet aux personnes malvoyantes d’accéder aux...

Interaction avec la sirène de Cagniard-Latour en réalité virtuelle, Rennes, Inria, CNRS, IRISA; Institut National de Recherches Archéologiques Préventives...

« Eléments d'algorithmique (Beauquier et.al.) — Sciencinfolycee », sur wiki.inria.fr (consulté le 11 octobre 2024) Algorithme de Rabin-Karp Alfred V. Aho...

l’informatique | Histoire des machines : Le Harvard Mark-1 », sur aconit.inria.fr (consulté le 17 septembre 2024) Henry Ashby Turner, « IBM and the Holocaust:...

à la sainteté, etc. « Sat », Sanskrit Heritage Dictionary sur sanskrit.inria.fr (Lire en ligne - Consulté le 24 août 2020) B.M. Sullivan, The A to Z...

de l'Institut national de recherche en informatique et en automatique (INRIA) et de la Direction des recherches et moyens d'essais (DRME). Il est président...

technologie de Compiègne Centres de recherche : CETIM, CNRS, INRETS-IFSTTAR, INRIA, ONERA Oséo, « I-Trans, pôle ferroviaire à vocation mondiale » (consulté...

associé à l’Institut national de recherche en informatique et en automatique (Inria). Ses travaux de recherche portent sur les performances des systèmes informatiques...

et Sébastien Canévet, Le droit du numérique : une histoire à préserver, Inria, coll. « Rapports de recherche » (no 8100), octobre 2012 (ISSN 0249-6399...

74 TTL Series (lire en ligne) Anne CANTEAUT, INRIA, « Programmation en langage C » [PDF], sur rocq.inria.fr (consulté le 6 avril 2026) Fonction logique...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Informatique et Automatique (INRIA). La société industrialise et commercialise les composantes d’IA développées au sein d’Inria : le langage Le-Lisp et les...

l'aspect plus ludique de Squeak, les concepteurs de Pharo (chercheurs à l'INRIA) souhaitent développer un Smalltalk moderne tourné vers les besoins des...

à l’Assemblée des Français de l'Étranger de juin 2006 Sur le site bat8.inria.fr Autoriser le vote par correspondance électronique des Français établis...

de l'Institut national de recherche en informatique et en automatique (INRIA) il a créé le premier groupement de recherche du Centre national de la recherche...

aux langages de script tel vbScript et jScript QuiXSLT : par Innovimax et INRIA en Java pour XSLT 3.0 avec Streaming Saxon XSLT (en) : par Michael Kay,...

à l'opération nationale 1 scientifique - 1 classe : Chiche !, un projet Inria, opéré par la fondation Blaise Pascal, en partenariat avec le Ministère...

La recherche est réalisée au sein de 22 équipes (dont 3 communes avec Inria Paris) articulées autour de quatre axes transverses : Intelligence artificielle...

de l'Institut national de recherche en informatique et en automatique (INRIA). Depuis 1989, il est le conseiller scientifique de cet organisme et dirige...

सत्यम् » (consulté le 19 décembre 2014). « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 11 décembre 2023). Gandhi, Lettres à l'Ashram, édition numérique...

et chercheurs (de l'UNS, du CNRS, d'EURECOM, des Mines Paris Tech, de l'Inria et de l'INRA) et ouvert aux entreprises principalement dans le domaine...

PODC 2014. Lorsque Michel Raynal est devenu professeur émérite (2017), INRIA et l’IRISA (CNRS et Université de Rennes 1) ont organisé un workshop en...

d'Oxford, MatchMover de la société Realviz — issue du projet Robotvis de l'INRIA Sophia Antipolis, D-Fusion de la société Total Immersion ou encore en version...

hindoues https://sanskrit.inria.fr/DICO/27.html#ja.taa, Stchoupak, Dictionnaire Sanscrit-français, p. 257 https://sanskrit.inria.fr/DICO/51.html#muku.ta...

(consulté le 13 juin 2023). (en) « Site web Alpage : CorpusSequoia », sur inria.fr (consulté le 13 juin 2023). « REDAC : Talismane », sur redac.univ-tlse2...

favoriser le bien-être en général.[1] Gérard Huet, « dhyāna », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 28 mars 2025) Alexis...

(ISBN 978-0-192-89223-2) Gérard Huet, « Sanskrit Heritage Dictionary », sur sanskrit.inria.fr (consulté le 28 décembre 2023) Charles S. Prebish, The A to Z of Buddhism...

(lire en ligne) Vincent Lefèvre et Paul Zimmermann, Arithmétique flottante, INRIA, 2004 (lire en ligne) (en) David Monniaux, « The pitfalls of verifying floating-point...

Rudraksha et leurs applications. « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 22 avril 2023). The A to Z of Hinduism par B.M. Sullivan...

Convergent and Commutative Replicated Data Types » (Rapport de recherche), INRIA,‎ 2011 (ISSN 0249-6399, HAL hal-00555588, lire en ligne [PDF]). (en) Marc...

2025 (consulté le 22 février 2025) Gérard Huet, « rāmānuja », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 22 février 2025) (en)...

l'amateur de thé", page 108, par Francois-Xavier Delmas. « Not Found », sur inria.fr via Wikiwix (consulté le 27 juin 2023). « Bien infuser son thé », sur...

Thomé et Paul Zimmerman, « Factorisation of RSA-704 with CADO-NFS », HAL Inria,‎ 3 décembre 2012 (lire en ligne [PDF]) (en) Thorsten Kleinjung, Kazumaro...

l'informatique quantique. Six organismes de recherche s'impliquent dans le projet : l'Inria, l'ENS-PSL et Mines Paris (regroupés au sein de l'équipe Quantic), ainsi...

(INSERM) ; Institut national de recherche en informatique et en automatique (INRIA). Article détaillé : Établissement public à caractère industriel et commercial...

2017. V. p. 304 [pagination Kindle]) Gérard Huet, « krama », sur sanskrit.inria.fr (consulté le 3 mars 2025) Kamalashila (trad. du tibétain par Georges...

ingénieurs des ponts et chaussées. Il est chargé, puis directeur de recherche à l'INRIA. Ses travaux portent sur la modélisation des phénomènes de propagation...

développer une capacité technologique française. En complément, il crée l'INRIA et le Comité de recherche en informatique, qui ont pour vocation, entre...

l'Institut de recherche en informatique et en automatique (IRIA), qui devient l'INRIA en 1980. En 1970, Roland Glowinski présente sa thèse Étude et approximation...

licence GPL par INRIA. La seconde version (version 2.1), réalisée par Lionel Clément et Benoît Sagot en 2006 a été distribuée par l'INRIA sous licence LGPLLR...

doctorat en biologie de synthèse à l'Université Paris Diderot (Paris VII) et l'INRIA sous la direction de Gregory Batt et du Professeur Ron Weiss au MIT (où...

11 novembre 2017) « Véronique Cortier : Prix Inria - Académie des sciences du jeune chercheur », sur Inria (consulté le 11 novembre 2017) Décret du 2 mai...

Electric), des PME innovantes et des centres de recherche (FHG, CEA, DLR, INRIA, KIT, CNRS). Edward A. Lee, Cyber-Physical Systems - Are Computing Foundations...

Institut national de recherche en sciences et technologies du numérique (INRIA) 2 partenaires académiques : Centre national de la recherche scientifique...

l'Institut national de recherche en sciences et technologies du numérique (Inria) et directeur du Comité pilote d'éthique du numérique puis du Comité consultatif...

« cinq vertus ». Gérard Huet, « Sanskrit Heritage Dictionary », sur sanskrit.inria.fr (consulté le 15 décembre 2023) (en) « Vanijja Sutta - Trades (AN 5.177) »...

voie à de vastes spéculations métaphysiques. « avadāna_2 », sur sanskrit.inria.fr (Dictionnaire Héritage du Sanscrit) (consulté le 19 mars 2021) (en) Robert...

distribution ; la Licence Apache ; la MPL ; la CeCILL, pour « CEA CNRS INRIA Logiciel Libre », une licence libre française. la licence EUPL adoptée en...

de l'Abbé », sur sop.inria.fr. « Réseau Claude », Bulletin des SophiTaupes (section Spéléologique du COV) et de la section INRIA de Spéléologie (SIS)...

le CNRS et l'université Paris-Cité, qui héberge deux équipes-projets de l'Inria. Il est issu de la fusion des deux UMR, le LIAFA et le PPS qui a eu lieu...

Hayagriva, sur Wikimedia Commons « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 21 avril 2023). Louis Frédéric : "Le Nouveau Dictionnaire...

Goldstein). Au début des années 1970, des chercheurs de l'IRIA (devenu depuis INRIA) avaient remarqué qu'en déclenchant du doigt un très bref raccrochage pendant...

Camp des Loges à Saint-Germain-en-Laye. Il est actuellement le site de l'INRIA et le siège des services techniques de la brigade de sapeurs-pompiers de...

hétérogènes est le Temple de Kandariya Mahadeva à Khajuraho. https://sanskrit.inria.fr/DICO/63.html#zikhara, Louis Frédéric, L'art de l'Inde et de l'Asie du...

Un enfant qui vient de recevoir le cordon sacré. « yajñopavīta », sur inria.fr, Sanskrit Heritage Dictionary (consulté le 17 avril 2023). (en) B.M....

  Marion Créhange, « Ma randonnée informatique », sur Interstices.info, INRIA, 13 octobre 2021 (HAL hal-03463467, consulté le 1er avril 2022).  Base de...

 nécessaire] ; 2 mars 1966 : Le Monde révèle que le projet inclut un futur Inria mais semble écarter le calcul scientifique et la gestion ; 19 avril 1966 :...

ParisTech, arrivée en 2012. Le centre Digiteo Alan Turing - occupé par INRIA et l'ENSTA - s'y est également implanté. La partie ouest du quartier a connu...

octobre 2014). ' Musée virtuel de l'informatique ', sur le site aconit.inria.fr, consulté le 3 janvier 2014. « Great Britain - Postage stamps - 2015...

réécrire l'OS : c'est le projet SOL de Michel Gien à partir de 1979 à l'INRIA, en France, rejoint par le CNET en 1980 et par le laboratoire d’informatique...

Sobriété, Efficacité, Optimisation », sur mediation-scientifique.gitlabpages.inria.fr (consulté le 20 avril 2026) Clément Morand, Code used for the paper "The...

School of Computing « CompCert — Performance of the generated code », sur INRIA « CompCert récompensé par l’ACM pour ses garanties d’absence de bugs »,...

(en) « ARPANET is now 50 years old Inria », sur www.inria.fr (consulté le 30 août 2020) Interview sur le site de l'Inria le 22 oct. 2019, mis à jour le 23/09/2020...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Appliquées, mais également de chercheurs CNRS et Inria. Le CMAP compte en effet cinq Equipes Projet Communes Inria-Ecole Polytechnique. Le personnel de recherche...

de réduction de la consommation dans les systèmes embarqués temps-réel, INRIA, rapport de recherche, 2000, 33 p. (lire en ligne) Gilles Grimaud, CAMILLE...

(lire en ligne) A. Canteaut, « Programmation en langage C » [PDF], sur rocq.inria.fr (consulté le 7 avril 2026) Fonction logique Fonction logique NON Fonction...

société Twinlife a été fondée en 2012 en France par d'anciens chercheurs de l'Inria avec l’incubateur de l'Ecole Centrale Paris. Le président, Michel Gien...

européenne. ERCIM a été fondé en 1989 par trois instituts de recherche : INRIA en France, GMD en Allemagne et CWI aux Pays-Bas. Depuis 2002, ERCIM héberge...

Calderan, Pascale Laurent, Hélène Lowinger et Jacques Millet, Séminaire IST Inria : Le document numérique à l'heure du Web de données, Paris, ADBS, coll. « Sciences...

l'Institut national de recherche en informatique et en automatique (Inria). À l'Inria, elle focalise ses recherches autour des moyens d'appliquer ses investigations...

avril 2026) Anne Canteaut, « Programmation en langage C » [PDF], sur rocq.inria.fr (consulté le 4 avril 2026) Fonction logique Fonction logique OUI Fonction...

que certaines classes de grammaires contextuelles. Il est développé à l'INRIA depuis plusieurs dizaines d'années, en majeure partie par Pierre Boullier...

[…] » Alain LaBonté, Norme internationale ISO/CEI�8859-15, [email protected],‎ thu, 15 apr 1999 14:22:42 -0400 (lire en ligne). (Voir dans CAN/CSA...

en 1981, son directeur de thèse étant Gérard Huet. Il fut chercheur à l'INRIA de 1979 à 1986, avant de rejoindre NeXT. En 1996, il cofonde RealNames (en)...

Son nom vient de Michel Monpetit, directeur adjoint de l'IRIA (devenu l'INRIA entretemps), décédé en 1976 dans un accident de voiture. Ce prix est référencé...

sobriété numérique par le programme Alt Impact porté par l’Ademe, le CNRS et l’INRIA, et financé par les Certificat d'économies d'énergie (CEE). Le 4 octobre...

ordonnancement. En plus de l'ENS de Lyon, le LIP est associé au CNRS, à Inria et à l'université Claude-Bernard-Lyon-I. Il fait partie du Labex MILYON...

l'Institut national de recherche en sciences et technologies du numérique (Inria), le Laboratoire national de métrologie et d'essais (LNE), le pôle d'expertise...

« Napier’s ideal construction of the logarithms », rapport de recherche inria, no inria-00543934,‎ 2012 (lire en ligne) p. 28. Roegel 2011, p. 5-6. Roegel...

(Ined) Institut national de recherche en informatique et en automatique (Inria) Institut national de la santé et de la recherche médicale (Inserm) Centre...

ligne (page consultée le 6 octobre 2024)] Gérard Huet, « carita », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 6 octobre 2024) Vaudeville...

recherche Inria au sein de l’équipe-projet Comete et membre du Laboratoire d’Informatique de l’École polytechnique (LIX - CNRS/École polytechnique/inria). Les...

difficulté du routage égal par plus courts chemins. [Research Report] RR-8175, INRIA. 2012. ⟨hal-00763239⟩ Kang Xi, Yulei Liu et H. J. Chao, « Enabling flow-based...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Autres informations A travaillé pour La Tribune (1987-1992) Inria Sophia Antipolis - Méditerranée (d) (à partir du 1er septembre 1986) L'Expansion (1967-1994)...

bibliothèque python développée initialement par l'INRA. marmote développée par INRIA. Cette bibliothèque basée sur un noyau C++ avec une interface python permet...

l'équipe Institut national de recherche en informatique et en automatique (Inria) Airsea. Elle enseigne les mathématiques, essentiellement à l'université...

2016). « Intelligence artificielle, les défis actuels et l'action d'Inria », sur INRIA, 2016 (consulté le 15 décembre 2016). « « Intelligence artificielle...

d’identification. Elles sont aujourd’hui au cœur de l’activité de l’équipe ALIEN (INRIA Futurs), dont il est responsable. Les résultats obtenus, qui jettent une...

collerette LYFTY, Beuchat International 1986 : langage de programmation Caml, Inria 1986 : casque antibruits actif (à émission de contre-bruit), Christian Carme...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

(CNRS) Institut national de recherche en informatique et en automatique (INRIA) Plusieurs institutions étaient membres associés de la COMUE : SKEMA Business...

comparaison global. Selon le programme de recherche Shamash, coordonné par l'INRIA, certaines micro-algues « peuvent accumuler jusqu'à 50 % de leur poids...

« [Cado-nfs-discuss] 795-bit factoring and discrete logarithms » https://lists.gforge.inria.fr/pipermail/cado-nfs-discuss/2020-February/001166.html (en) RSA Security :...

de l'interaction homme-machine. Il est directeur de recherche (DR2) à l'INRIA au sein de l'équipe AVIZ (« Analysis and Visualization ») qu'il a créée...

CeCILL est une licence de logiciel libre. C'est l'abréviation de « CEA CNRS INRIA logiciel libre ». Elle a été créée par des organismes de recherche français :...

nœud descendant de la Lune Sanskrit heritage Dictionary. http://sanskrit.inria.fr/DICO/34.html#navagraha Navagraha sur Commons Glossaire de la mythologie...

(ISBN 978-0-691-15786-3), p. 968. Gérard Huet, « vihāra », sur sanskrit.inria.fr / Dictionnaire Héritage du Sanscrit (consulté le 20 septembre 2020) (en)...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

juillet 2013) (en) Jean-Michel Muller, « "On the definition of ulp(x)". INRIA Technical Report 5504 (archivé en novembre 2020) », ACM Transactions on...

[1], pages de l'équipe In Situ (LRI - Université Paris-Sud 11, CNRS et INRIA). [2], pages du HCI group (université Stanford). Institut universitaire...

plusieurs recommandations. Le plan quantique est piloté par le CNRS, le CEA et Inria, il doit s'articuler autour de quatre grands axes : les qubits à l'état...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

de la Géologie, t. 3, 2e série,‎ 1985, p. 11- 25 (lire en ligne [sur hal.inria.fr], consulté en mai 2021). [Jovignot 1997] François Jovignot, Étude des...

2018. D'autres centres de recherches tels que le CEA Grenoble, le CNRS, l'INRIA, l'ESRF, l'ILL, Clinatec ou Minatec, spécialisé en micro et nano technologies...

par renforcement (2e année Master Mathématiques Vision Apprentissage), INRIA Lille (lire en ligne [PDF]). (en) Anne GE Collins, « Reinforcement Learning »...

vingt-six sont associées aux grands organismes de recherche (CNRS, INSERM, INRIA, INRA). Elle est regroupée dans quatre domaines de recherche. L’université...

et l’Institut national de recherche en informatique et en automatique (INRIA) ont signé un accord le 3 avril 2017 mettant en place cette préservation...

sanskrit-lexicon.uni-koeln.de/scans/STCScan/web/index.php « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 2 juin 2023). Ajna Portail de l’hindouisme...

l'iconographie hindoues Gérard Huet, « Sanskrit Heritage Dictionary », sur sanskrit.inria.fr (consulté le 3 février 2020) Daniélou, Alain (1907-1994)., La civilisation...

et Govaert, 2000. (en) Zisserman, A., « Self-Supervised Learning », sur Inria (en) Causevic, S., « Self-supervised Transformer Language Models — BERT...

Golaem a été créée en 2009 à Rennes par des chercheurs et ingénieurs de l'INRIA, un centre de recherche français, s'appuyant sur 15 ans de recherche sur...

commence à l’Institut national de recherche en informatique et en automatique (INRIA) dans la recherche en modélisation puis en robotique. Il contribue à de...

gammes de processeurs MIPS, DEC Alpha, PowerPC, SPARC, x86 et PA-RISC, INRIA, 1997 (lire en ligne) (en) Brooke Crothers, « Digital's Alpha to remain...

« https://github.com/bcpierce00/unison/releases/tag/v2.53.8 » « Quelques succès », Inria (consulté le 23 juin 2023) drsync mentionné sur la page ressource de rsync...

neuf organismes de recherche nationaux (CEA Grenoble, CNRS, CEN, INRAE, INRIA, INSERM, IRD) et enfin trois centres techniques industriels (CETIM, CSTB...

ligne : « nīlakaṇṭha », sur sanskrit.inria.fr (consulté le 26 avril 2021) et « lokeśvara », sur sanskrit.inria.fr (consulté le 26 avril 2021). Lokesh...

janvier-mars 1996, p. 4 (ISSN 1629-1573) « Réseau de la Tournette », sur sop.inria.fr. « Réseau du Clot d'Aspres », sur grottocenter.org (consulté le 16 octobre...

les principaux organismes de recherche nationaux : CNRS, INSERM, INRA et INRIA. Lettres, Langues, Sciences Humaines (L2SH) Agronomie, Alimentaire, Forêt...

interdisciplinaire de Lille (IRI). 100 personnes sur le parc. Centre de recherche INRIA-Futurs. 200 personnes sur le parc. Quelques entreprises parmi les plus connues...

de l’Institut national de recherche en informatique et en automatique (INRIA). La société édite des composants logiciels et des applications qu’elle...

explication générale du mantra Gérard Huet, « avalokiteśvara », sur sanskrit.inria.fr The Sanskrit Heritage Site (consulté le 6 février 2020) Ainsi les deux...

d'images | Inria », sur www.inria.fr (consulté le 12 mars 2021) « Christine Guillemot, lauréate 2015 ERC Advanced Grants | Inria », sur www.inria.fr (consulté...

(Solanum mauritianum) », sur P@antNet - Pl@antInvasion, CIRAD, INRA, IRD, INRIA, Telabotanica (consulté le 21 janvier 2012). Vanessa Hequet, Mickaël Le...

ainsi que la plupart des grands organismes de recherche français (CNRS, Inria, Cirad, INSERM…). Il est naturellement difficile d'évaluer la qualité et...

Ākāśagarbhāya! Oṃ ārya kamari mauli svāhā! « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 24 octobre 2021). sk : Mahāsanghāta sūtra ; ch: Dàjíjīng...

Rennes, CHRU de Brest, Ekinops, ENIB, ENSTA Bretagne, Human Design Group, INRIA, INSA Rennes, IMT Atlantique, Mitsubishi Electric Corporation, Naval Group...

proximité : université de Lille, Institut Pasteur de Lille, CNRS, INSERM, Inria, IRCL, etc. mais coopère aussi avec des structures transfrontalières, régionales...

centuries. », Rapport de recherche, LORIA (Université de Lorraine, CNRS, INRIA),‎ 2021 (HAL hal-03330572). Lauter 2008, p. 1. (en) Denis Roegel, « Napier’s...

cnrs.fr, Chiffres clés Alpes (2013). Bibliothèque CNRS Alpes. inria.fr, Antenne Inria Grenoble - GIANT enerzine.com, Campus GIANT de Grenoble : GreEn-ER...

d'ailleurs sur Ikona. « Nozha Boujemaa, nommée directrice du centre de recherche INRIA Saclay Ile-de-France », sur Leaders (consulté le 13 mars 2021) « Nozha Boujemaa...

qu’un algorithme en boîte noire ? Tractatus des décisions algorithmiques », inria.hal.science,‎ 2022 (lire en ligne, consulté le 26 juin 2025). W. Cauer....

Computing, vol. 7, no 1,‎ janvier 1985, p. 43-57 (lire en ligne) « Algorithme de Boruvka », sur COATI chez INRIA Portail de l'informatique théorique...

(consulté le 11 janvier 2018). « L’informatique à Grenoble », sur aconit.inria.fr (consulté le 21 mai 2021). « Le Leti, une histoire bien intégrée », sur...

deux ans après à l'IRIA, via le Plan Calcul, qui est ensuite rebaptisé Inria. Louis Chevalier, "Recherche scientifique et sciences humaines", Population...

alsace et le .ovh. Elle a été créée en 1997 par la volonté conjointe de l’Inria et de l’État français (ministères de l’Industrie, des Télécommunications...

Nicholas Ayache est directeur de recherche de classe exceptionnelle à l'Inria, centre Sophia Antipolis-Méditerranée, premier directeur scientifique de...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Définition provenant de The Sanskrit Heritage Dictionary de Gérard Huet (INRIA). Maha-hatthipadopama Sutta : « Propriétés de la terre, de l'eau, du feu...

Villemaud, « Caractéristiques générales des antennes », Cours d'antennes, INRIA (consulté le 7 mars 2011) Christian Wolff et Pierre Vaillant, « Largeur...

et à l'Institut national de recherche en informatique et en automatique (INRIA Lille Nord Europe) au sein de la fédération IRCICA. Selon le classement...

sous la direction de Jacques-Louis Lions. Alain Bensoussan est entré à l'Inria en 1967. Il a été maître de conférences à l'École polytechnique de 1970...

début des années 1970, il travaille à la fois à l'IRIA (aujourd'hui nommé INRIA), et aux universités de Paris VII et Paris VI. À l'IRIA, en 1971, il crée...

Corps finis, Olivier Rioul, ENST La cryptologie moderne, Anne Canteaut (Inria) et Françoise Levy-dit-Vehel (ENSTA ParisTech) Portail de l’informatique...

(consulté le 5 décembre 2025) « Campus Cyber : Inria et l'ANSSI acteurs clés de la cybersécurité en France », sur Inria, 15 février 2022 (consulté le 27 mars 2025)...

de projets), comités scientifiques, rédaction d'un plan stratégique de l'INRIA, expert AERES… toutefois son aversion pour la langue de bois et les discours...

d'intérêt scientifique (GIS) par l'Aérospatiale, le CNES, le CNRS, l'INPT, l'INRIA, l'INSA, Matra-Marconi Space, la Météorologie nationale, l'ONERA et le...

internationale créée en 1991. Le 6 septembre 2005, le CNRS, l'Inserm, l'Inria, l'Inra et la Conférence des présidents d'université s'entendent pour démarrer...

Paris-Dauphine en 1995, puis un master à L'INRIA. En 1999, elle soutient sa thèse de doctorat à l'Université Paris-Sud et à l'INRIA sous la direction de Claude Delobel...

polystyrène en peinture. « Présentation des projets du centre Inria Chile | Inria », sur www.inria.fr (consulté le 16 novembre 2025) Emmanuel Garate, « « La...

Heidelberg: Carl Winter Universitätsverlag « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 15 avril 2023). Voir http://www.sanskrit-lexicon.uni-koeln...

« session » via des terminaux passifs. Hubert Zimmermann est recruté en 1971 à l'INRIA par Louis Pouzin pour développer le datagramme qui est une technologie...

logiciel Pl@ntNet, développé conjointement par l'Université de Montpellier, l'INRIA, le CIRAD, l'INRA et Tela Botanica. De nombreuses études basées sur des...

Dimension à l'Institut national de recherche en informatique et en automatique (INRIA). Elle a été chercheuse associée à l'université de Cambridge de 2012 à 2015...

de textes et d'images. Les acteurs du projet sont l'AFP, le CEA LIST, l'INRIA, le LRDE (EPITA), Mandriva, Nuxeo, Proxem, Tagmatica et XWiki (coordinateur)...

d'autres êtres (dédicace des mérites). Gérard Huet, « maitrī », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 10 mars 2025) Vilas Adinath...

Nobel de Physique, débute la coopération entre cet IMAG et l’IRIA, futur INRIA. Dès 1984, dans le sigle "Imag" la lettre I change de sens pour désigner...

cnrs.fr (consulté le 21 avril 2019). « CORIA-TAL-RJC 2018 », sur project.inria.fr (consulté le 21 avril 2019). « TIA 2019, Terminologie et Intelligence...

Shamash, Production de biocarburants lipidiques par des microalgues, sur sop.inria.fr Un carburant à base d'huile d'algue, Biofutur no 255, mai 2005 (en) Chisti...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

on Integrating and Qualifying a Formally Verified Optimizing Compiler », INRIA,‎ 31 janvier 2018, p. 1 (lire en ligne, consulté le 18 novembre 2021) (en)...

MIRIA, dirigé par Paul-François Gloess, nommé directeur de recherches à l'INRIA, avec qui elle avait travaillé dix ans à la SEA, et auprès duquel la CII...

français, portée par le Ministère de la Culture et de la Communication, Inria et Wikimédia France. Une version en français de DBpedia a été développée...

Purāṇa in Gérard Huet, The Sanskrit Heritage Dictionary, https://sanskrit.inria.fr, 1994-2020 (consulté le 28 juillet 2020). Swami Sivananda, « The Puranas »...

du Molay sur roglo.eu Fiche de Louis Antoine Victor Malouet sur geneweb.inria.fr Source : Fiche de Joseph de Nogaret sur roglo.eu Source : www.lillempire...

immobilière de la ville de Paris pour accueillir le centre de recherche Inria de Paris ainsi que des logements. Télécom Paris est organisée en quatre...

l'art, Institut national de recherche en informatique et en automatique (INRIA), rapport de recherche no 2146, décembre 1993, 44 p., (lire en ligne [PDF])...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

ainsi ses nouveaux statuts, approuvés par décret le 10 juin 2015. En 2014, l’Inria, le Centre international d'études pédagogiques et le Pôle supérieur d’enseignement...

XXIVèmes Journées d'étude sur la parole. Nancy, 24-27 juin 2002, Le Chesnay, INRIA, 2002, p. 348-352. Thierry Dutoit, Introduction au traitement automatique...

« OCaml - The core library », sur inria.fr (consulté le 22 avril 2023). « Modifiable Data Structures », sur inria.fr (consulté le 22 avril 2023). Portail...

De l'universalité et de la défense de la langue française, sur www-rocq.inria.fr. (en) Le Courrier australien. s:Le Français, langue auxiliaire de l'Europe...

Établissements Publics Scientifiques & Techniques EPST : CNRS, INRA, Inserm, INRIA, etc. Muriel Le Roux, « Hommage à Pierre Potier, dépasser les limites du...

aléatoires) unité mixte de recherche CNRS, en partenariat avec l'ENS Rennes, l'Inria, l'INSA de Rennes, l'Université de Bretagne Sud, l'Université de Rennes...

de l'Institut national de recherche en informatique et en automatique (Inria). 1998 Peter F. Sturm - Vision 3D non calibrée. Contributions à la reconstruction...

création d’Organisation associative du parallélisme (ORAP) (CNRS, CEA, EDF, INRIA[Quoi ?]), qui matérialise la transition du calcul vectoriel au calcul parallèle...

paquetage markovchain sous R markovchain. la libriairie Marmote développée par INRIA visant, entre autres, le maniement de chaînes de Markov de grande taille...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

juillet 2012. « L'accessibilité numérique », sur simulation-accessibilite.inria.fr (consulté le 15 juillet 2025) « Rentrée : des milliers d'enfants handicapés...

de la littérature de l'Abhidharma. Gérard Huet, « dhātu », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 27 avril 2024) Nyanatiloka...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

novembre 1964) est un mathématicien informatique français, travaillant à l'INRIA. Zimmermann est co-auteur du livre Computational Mathematics with SageMath...

le CNRS depuis sa création ; l'INRIA, depuis sa création, et ses centres de recherche INRIA Saclay - Île-de-France et INRIA Paris-Rocquencourt ; l'École...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Ph. D. à l'université Stanford. Il travaille dans un premier temps à l'Inria puis devient secrétaire général de Sagem en 1972, puis directeur général...

membre de l'équipe Inria CEDAR du Laboratoire d'informatique de l'École polytechnique (LIX) — Fabien Lotte, directeur de recherche Inria au Laboratoire bordelais...

dans Langages et Modèles à objets : États des recherches et perspectives, INRIA - Collection Didactique, chapitre 9, pages 227-256, Editeurs R. Ducournau...

pauillac, « Tableaux » , sur inria.fr (consulté le 22 juin 2025) Anne Canteaut, « chapitre 4 : les fonctions » , sur inria.fr (consulté le 22 juin 2025)...

l'adoption des logiciels libres. Software Heritage : Initiative lancée par l'INRIA, Software Heritage vise à collecter, préserver et rendre accessible le...

au début du XXIe siècle par l'apparition de l'ADSL. Pendant l'été 1988, l'INRIA connecte le réseau NSFNet de Sophia Antipolis à Princeton par une liaison...

l'Institut de recherche en informatique et en automatique (IRIA, devenu ensuite INRIA) lui attribue une bourse d'études et il est nommé Research Assistant à l'Université...

ce type de méthode de détection générique. En 2005, des chercheurs de l'INRIA proposent les histogrammes de gradient orienté (HOG), dont les excellents...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

non lucratif impliquant plusieurs parties prenantes, lancée en 2016 par l'Inria, et soutenue par l'Unesco. La mission de Software Heritage est de collecter...

Zerubia est une chercheuse française. Elle est directrice de recherche à l'Inria (DRCE), Université Côte d'Azur. Elle est à l'origine d'avancées majeures...

universitaire de Grenoble, il possède également des équipes dans les bâtiments Inria de Montbonnot-Saint-Martin et du campus Minatec de Grenoble. Il est actuellement...

les devoirs pieux (Niyama) ». D'après Gérard Huet, Page personnelle à l'INRIA Yoga-sūtra de Patanjali. Miroir de soi. Traduction de Bernard Bouanchaud...

Foundation ». Bernard Lang, « L'Informatique, Science, Technique et Outil », sur INRIA, 3 décembre 1998 (consulté le 13 mai 2019). TERMIUM plus, la banque de données...

(ISBN 978-2-8036-3638-9, lire en ligne), p. 9. « Documents de Daniel Goossens », sur hal.inria.fr (consulté le 2 septembre 2019). « Daniel Goossens, entre BD et IA »,...

sur seas.upenn.edu (consulté le 29 août 2022). « L'ENIAC », sur Aconit.INRIA. (en) ENIAC: A Pioneering Computer sur le site de Public Broadcasting Service...

Figaro, 20 mai 2009 Cap-Digital, partenaire d'Aldebaran Robotics Lettre n°16 INRIA, 2011 aldebaran-robotics.com « Le Français Aldebaran dévoile Plato, son...

on Matrix Analysis and Applications, 34, 904-916. Rapport de recherche INRIA RR-8004 doi Algorithme de Newton semi-lisse Complémentarité linéaire P-matrice...

biomédicale en France, à savoir huit grands établissements publics — le CNRS, l'INRIA, l'Inserm, l'Institut Pasteur, auxquels s’associent les universités et...

l'Unapei et Institut national de recherche en informatique et en automatique (Inria), Cap'FALC vise à développer un outil numérique améliorant l'accès à l'information...

et des paradigmes expérimentaux issus de la psychologie cognitive. MIND (INRIA/CEA), cette équipe, dirigée par Philippe Ciuciu, développe des méthodes...

(Doctoral dissertation, Observatoire des libertés associatives)|url=https://inria.hal.science/hal-03096913/ Par exemple Roger Valois, vice-président de la...

Team Foundation Server Archive de forges : Software Heritage, porté par l'INRIA C. Mouton, « État de l'art des forges logicielles : Usages collaboratifset...

14 mai 2011). Ricco Rakotomalala, « Arbres de Décision » [PDF], sur rocq.inria.fr, 2005 (consulté le 14 mai 2011). (en) Simon Haykin, Neural Networks :...

mathématicien, conférencier universitaire, directeur de recherche émérite d’Inria, l’Institut national français de recherche en sciences et technologies...

laboratoire CRIStAL à l'université de Lille. En 2025, elle reçoit le prix Inria – Académie des sciences Jeunes chercheurs. Clémentine Maurice obtient en...

p. 472 The Hadoop Case 2009, p. 519 « Actualités et évènements », sur inria.fr (consulté le 17 avril 2023). « MapReduce for scientific simulation analysis »...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Un groupe de collégiens de 5e, après une séance de robotique au CDI, avec deux intervenants de l'INRIA....

informatiques : Institut national de recherche en informatique et en automatique (Inria) ; les biotechnologies : Institut national de la recherche agronomique (INRA)...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

MIRIA, dirigé par Paul-François Gloess, nommé directeur de recherches à l'INRIA, avec qui elle avait travaillé dix ans à la SEA, et auprès duquel la CII...

officiel de la Monarchie belge Fiche généalogique dans la base roglo de l'INRIA Titres Royaux en Belgique « Intronisation d'Albert II » [vidéo], sur ina...

pour Nintendo DS. Arena qui a été remplacé par Amaya Amaya, du W3C et de l'INRIA Camino (anciennement Chimera) pour Mac OS X Shiira pour Mac OS X Cello...

Versailles Desserte : Ville et lieux desservis : Le Chesnay-Rocquencourt (INRIA), Stade Auguste-Brunot et Mairie, Parc Aubert, Parly 2, Maison départementale...

logiciels partagés aux licences échangées, Paris-Rocquencourt, Framasoft-INRIA, coll. « Framabook » (no 13), 2013 (ISBN 978-2-9539187-9-3, BNF 43580627...

http://fr.dbpedia.org/resource/Jean-Jacques_Boucavel », sur prod-dbpedia.inria.fr (consulté le 29 avril 2024) mbina, « René-Paul SOUSATTE », sur Souveraineté...

Books, page 22 (ISBN 8170945216). « Sanskrit Heritage Dictionary », sur inria.fr (consulté le 14 octobre 2023). N. Ramacandra Bhatt : La religion de Śiva...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

En 1984, un Groupement d’intérêt public, le GIPSI-SM 90, fut créé entre l’INRIA, le CNET et Bull afin de promouvoir les applications sous Unix. Il a été...

infrastructure en France avec 288 000 GPU, soutenue par des partenaires comme GENCI, Inria, Kyutai et Hugging Face. (en) « Gigafactory », sur tesla.com, 26 février...

ressource globale par l'ISO/TC37 conformément à l'ISO/IEC 11179-3:2003 hal.inria.fr. Et ces constantes sont utilisées pour décorer les éléments structurels...

scientifique (CNRS) INSERM INRAE Cesta Institut polytechnique de Bordeaux IFREMER INRIA CHU de Bordeaux Institut Bergonié Bordeaux Sciences Agro Institut d'optique...

son équivalent hindouiste (cf. nirvāṇa et mokṣa, sur https://sanskrit.inria.fr/). Appelée dans certaines écoles bouddhistes, la nature de bouddha. Tel...

bodhisattva de la sagesse (prajna). Gérard Huet, « cintāmaṇi », sur sanskrit.inria.fr, Sanskrit Heritage Dictionary (consulté le 27 décembre 2024) yid bzhin...

autres produits analogues.Législation et réglementation 1895 cf http://hal.inria.fr/docs/00/33/53/50/PDF/Culture_of_standardization.pdf H. Wilde, P. Chomchey...

est organisée conjointement par l'ENS Cachan, l'association France-IOI et Inria, avec plusieurs soutiens et sponsors. La participation, en forte croissance...

France, Académie des sciences, INRIA, CNNum) Gérard Berry (Professeur au Collège de France, Académie des sciences, INRIA) Maurice Nivat (Académie des sciences)...

professeur à l'Université de Californie à Berkeley, et chercheur au Centre Inria de Paris, spécialisé en apprentissage automatique, statistiques et intelligence...

Maisonneuve, 1993 [1949], (ISBN 2-720-01052-9) p. 355. « jātaka », sur sanskrit.inria.fr (Dictionnaire Héritage du Sanscrit) (consulté le 19 mars 2021) Balbir...

Mac OS X et Windows. Le fondateur de MLDonkey est Fabrice Le Fessant de l'INRIA. Le logiciel a été conçu à l'origine comme un effort pour diffuser l'utilisation...

Informatique et sciences numériques du Collège de France en partenariat avec l'Inria. Son cours porte sur l'algorithmique et sa leçon inaugurale a lieu le 16...

Dreyfus et Jérôme Fenoglio, Paris, consulté le 24 avril 2024. « https://www.inria.fr/fr/disparition-de-michel-combarnous » « https://www.aefinfo...

l'université de Lorraine. L'IECL travaille en collaboration avec le Centre Inria de l'Université de Lorraine grâce à trois équipes-projets qu'il accueille...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

Effectif 196 Directeur Emmanuel Trélat (depuis 2020) Organisations mères Inria Université Paris-Diderot Institut national des sciences mathématiques et...

ayant associés sous l'impulsion de Jean-Jacques Favier, le CNES, l'IGN, l'INRIA, Orange Labs, Esri et Google. Jean-Jacques Favier est lauréat de la fondation...

(CEA) ; l'Institut national de recherche en informatique et en automatique (INRIA). Décision no 159/87 du 2 décembre 1987 portant organisation et fonctionnement...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

informatique (PCRI) est créé en janvier 2002 par le CNRS, l'École polytechnique, l'INRIA, et l'Université Paris-Sud 11. Sa convention de partenariat est signée...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

dirige depuis le groupe Mathematical Components du centre commun Microsoft-INRIA qui travaille sur la formalisation de mathématiques plus fondamentales,...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

cofondateurs dont le chercheur Gaël Varoquaux, une nouvelle structure spin-off d'Inria avec une gouvernance mixte publique et privée destinée à assurer le financement...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

« Adjoint d’un opérateur »(Archive.org • Wikiwix • Google • Que faire ?), sur Inria. Ce texte ne traite que le cas des Banach. Portail des mathématiques...

Université Paris-Cité 3,8 % LISN (Laboratoire Interdisciplinaire des Sciences du Numérique) CNRS, Université Paris-Saclay, INRIA, CentraleSupélec 3,8 %...

Bibliographie Anatole France, « M. Alexandre Dumas moraliste » sur Wikisource de l'INRIA Portail de la littérature française et francophone Portail du théâtre Portail...

Books (ISBN 8-170-94521-6) p. 134. Gérard Huet, « puṇya », sur sanskrit.inria.fr (consulté le 29 septembre 2024) Robert E. Buswell Jr. et Donald S. Lopez...

algorithmique à l'Institut national de recherche en informatique et en automatique (INRIA) à Nancy. Monique Teillaud est élève de l'École normale supérieure de jeunes...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

mathématicien appliqué français. Il est, en 2019, directeur de recherche à l'INRIA à Sophia Antipolis où il dirige l'équipe COFFEE qui travaille sur les flux...

statistique de la dispersion de la signature infrarouge d'un aéronef », sur inria.fr, 22 mai 2009 (consulté le 19 décembre 2015) « Optronique Secteur Frontal...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

recherches en 2017. Alors en poste au laboratoire Jean Kuntzman (UGA / INRIA), Sophie Achard reçoit la médaille d'argent du CNRS en 2023 pour ses travaux...

l'Institut national français de recherche en informatique et automatisation (INRIA de Nancy). Bull a participé au développement de Bonita BPM jusqu'en 2009...

le sutra est récité le lundi matin Gérard Huet, « maitrī », sur sanskrit.inria.fr, Dictionnaire Héritage du sanscrit (consulté le 10 mars 2025) Larousse...

science du CNRS par Alain Fuchs. Il intègre le conseil d'administration de l'INRIA en juillet 2013 (renouvelé en mars 2015) et le haut conseil scientifique...

scientifique du programme Confiance.ai et actuel Coordinateur, au sein de l'INRIA, du Plan national de recherche en intelligence artificielle, l'un des volets...

établissements publics à caractère scientifique et technique (CNRS, INSERM, INRIA, INED...), le Syndicat national des médecins de santé publique de l'Éducation...

des jeux vidéo. 2019 : élu à l’Académie des Sciences 2019 : Grand Prix Inria de l’Académie des Sciences, Paris 2017 : Leverhulme Trust Visiting Professorship...

prérinatal chez la seiche : approche comparative et effet du stress », inria.hal.science, Normandie Université,‎ 1er mars 2019 (lire en ligne, consulté...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

développé à l'Université de Paris VIII - Vincennes Le Lisp (en), développé à l'INRIA, et commercialisé ensuite par Eligis et Ilog EuLisp (en), un « Lisp européen »...

Ingénierie des modèles logiciels, École d'été d'Informatique 2003, CEA, EDF, INRIA. Xavier Blanc, MDA en action, (ISBN 2212115393). http://idm.imag.fr/idm05/documents/23/23...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

participe aux premiers pas de l'intelligence artificielle. De 1985 à 2008 à l'INRIA, elle travaille sur le partage de connaissances sur le web, notamment dans...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

partiel à l'Institut national de recherche en informatique et en automatique (INRIA) et spécialiste de la modélisation probabiliste des réseaux de communication...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

domaine, tant avec les acteurs institutionnels (ONF, INSEE, Ademe, Cerema, Inria...) qu'avec le monde associatif (OpenStreetMap). Il répond favorablement...

- Alain Bamberger 1989 - Bernard Larrouturou, directeur de recherche à l'INRIA 1990 - Jacques Blum (Université Joseph-Fourier) et Denis Serre (École normale...

(Mitchelstein et Boczkowski, 2009, Picard, 2011). Franck Michel et Fabien Gandon (INRIA, CNRS..) alertent sur le fait que le « marché de l'attention » créé par...

technologies (fr) (en) « Article sur La subjectivité artificielle », sur inria.fr via Wikiwix (consulté le 26 août 2026) Portail de l’informatique Portail...

cycle en informatique qu'elle soutient en 1971. Elle est chercheuse à l'INRIA de 1973 à 1981, période durant laquelle elle soutient un doctorat d'État...

enmathématiques appliquées, université Pierre et Marie Curie (avec EDF R&D Clamart et INRIA Paris-Rocquencourt, projet POMDAPI), 189 pages. Albespy, C. (2010). http://catherine...

colloque, 13 - 15 octobre 1993, Sophia Antipolis, organisé par l'INRIA), Le Chesnay, INRIA, 1993 (ISBN 2-7261-0804 (édité erroné) et 2-7261-0804-0), p. 6...

40 chercheurs (CNRS et Inria), 20 personnels administratifs et techniques (Université de Bordeaux, Bordeaux INP, CNRS, Inria) et plus de 100 doctorants...

Jean Vuillemin, pionnier de l’informatique et de l’algorithmique », sur INRIA, 29 mai 2026 Ralf Hinze, « Explaining Binomial Heaps », Journal of Functional...

journées scientifiques, organisées par l'Institut Polytechnique de Paris, Inria et les communautés de recherche, avec des conférences et ateliers sur les...

logiciel - Le magazine de l'ingénierie du logiciel et des systèmes à partir de 1995. Génie  « Catalogue des revues Inria Sophia Antipolis », sur INRIA...

janvier-mars 1996, p. 4 (ISSN 1629-1573). « Réseau de la Tournette », sur sop.inria.fr. « Bez », sur plongeesouterraine.org (consulté le 1er mars 2018). Guilhem...

Esope peut désigner : Esope, un projet de recherche informatique lancé par l'Institut national de recherche en informatique et en automatique (INRIA)....

Nouveaux réfractomètres. J. Phys. Theor. Appl. 10, 691-704 (1901). http://hal.inria.fr/docs/00/24/05/69/PDF/ajp-jphystap_1901_10_691_1.pdf Véret C. (2000)....

2001, p. 163-184 Eric Guichard, La '"fracture numérique" existe-t-elle ?, INRIA - ENS, 4 septembre 2003, [lire en ligne] Hermès, thème « La fracture numérique...

(logiciel d'analyse), un logiciel d'analyse de donnée et de programme de l'INRIA Moose (logiciel de simulation), un logiciel de simulation multiphysique...

11. Les autres partenaires institutionnels (hors CNRS) sont le CEA et l'INRIA. L'École développe aujourd'hui également une culture de chaires financées...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

une revue de culture scientifique en ligne, créée par des chercheurs de l'INRIA pour rendre accessible à un large public la recherche en informatique....

rattaché à l'Université de Nantes, l'École des mines de Nantes, le CNRS et Inria. Au 1er janvier 2017, le LINA a fusionné avec l’IRCCyN pour donner naissance...

collaboration avec Pierre et avec Frédérique à l'université UGA de Grenoble et à l'INRIA de Grenoble. Le savoir de Pierre Novat est désormais un savoir académique...

OCLC 186528572, lire en ligne) Fabien Gandon, Ontologies informatiques, Interstices, INRIA, 22/05/2006. (en) Nicola Guarino, Daniel Oberle et Steffen Staab, « What...

Henri II contre les prédicants. Fiche généalogique dans la base roglo de l'INRIA. Portail de la Renaissance Portail du duché de Bretagne Portail du royaume...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

laboratoire GRAVIR, puis de l'ENSIMAG entre 2003 et 2008. Il est chercheur à INRIA et professeur émérite à Institut polytechnique de Grenoble jusqu'en 2017...

officielle issue du Consortium Scilab, créé en 2003 à l’initiative de l'Inria et maintenu de 2008 à juin 2012 par la fondation de coopération scientifique...

publications scientifiques Structures opérationnelles EPST CNRS IFSTTAR INED INRAE INRIA INSERM IRD EPA CINES IGN Météo-France EPIC ADEME BRGM CEA CIRAD CNES CSTB...

travaillé pour Université de Göteborg Université de technologie Chalmers Inria Chaire Professeur Membre de Academia Europaea (2011) Directeur de thèse...

développée par l'équipe de recherche Wimmics, dirigée par Fabien Gandon, chez Inria, avec le soutien du ministère de la Culture et l'expertise de l'association...

Berlin, l'Institut national de recherche en informatique et en automatique (INRIA) et l'université de sciences appliquées de Hambourg (HAW Hamburg). Le noyau...

Kundalini Nadi Shodhana Pranayama D'après Gérard Huet, Page personnelle à l'INRIA Alain Daniélou, Mythes et Dieux de l’Inde, le polythéisme hindou, Flammarion...

digestion of biomass, 2006, p. 35 « What is anaerobic digestion? », sop.inria.fr (consulté le 24 octobre 2007) « Anaerobic digestion » [archive du 12...

Rosset et l'établissement de la phonétique expérimentale à Grenoble. aconit.inria.fr, René Perret. idref.fr, Laboratoire de traitement d'images et reconnaissance...

de Lyon II - Louis Lumière ; Cordelia Schmid, directrice de recherche à l’INRIA ; Géraldine Schmidt, professeur des universités à l’université de Paris...

était chargé de recherche au CNRS. Il est depuis directeur de recherche à l'INRIA. Ses travaux portent notamment sur l'étude des réseaux euclidiens et leurs...