Search

Your search keyword '"COM000000"' showing total 5 results
Start Over Descriptor "COM000000" Publisher hal ccsd
5 results on '"COM000000"'

1. Le logiciel, entre l’esprit et la matière: Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018

Author

Leroy, Xavier, Chaire Sciences du logiciel, and Collège de France (CdF (institution))

Subjects
mathématiques, programmation, sciences numériques, Multidisciplinary, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], COM000000, logiciel, informatique, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], COM, langage de programmation
Abstract

International audience; Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu’il exécute. Cette extraordinaire plasticité a permis à l’ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l’incroyable et souvent effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques ? Comment établir qu’un logiciel est digne de confiance ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.

Published
2019

2. Des images médicales au patient numérique

Author

Nicholas Ayache, Analysis and Simulation of Biomedical Images (ASCLEPIOS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), and Asclepios, Project-Team

Subjects
sciences numériques, History & Philosophy Of Science, imagerie médicale, COM000000, [INFO.INFO-IM] Computer Science [cs]/Medical Imaging, informatique, [INFO.INFO-IM]Computer Science [cs]/Medical Imaging, médecine computationnelle, ComputingMilieux_MISCELLANEOUS
Abstract

Monsieur l’Administrateur,Monsieur le Président d’Inria,Chers collègues et amis,Mesdames, Messieurs, En 2008, dans sa leçon inaugurale, Gérard Berry nous expliquait « pourquoi et comment le monde devient numérique ». Il y évoquait déjà l’impact croissant de l’informatique en médecine, notamment à travers les développements les plus récents de l’imagerie. Aujourd’hui, c’est pour moi un immense honneur d’être invité dans ce lieu prestigieux, à la chaire annuelle d’Informatique et sciences numé...

Published
2015

3. Sciences des données : de la logique du premier ordre à la Toile: Leçon inaugurale prononcée le jeudi 8 mars 2012

Author

Abiteboul, Serge, Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Verification in databases (DAHU), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Subjects
sciences numériques, History & Philosophy Of Science, COM000000, informatique, connaissance, [INFO]Computer Science [cs], gestion de bases de données, Information Science & Library Science
Abstract

International audience; Conçus à partir d’un langage formel, la logique du premier ordre, les systèmes de gestion de bases de données relationnels servent de médiateurs entre l’individu et la machine : ils traduisent les données en informations. Avec l’augmentation du volume de données distribuées sur la Toile émerge aujourd’hui une « intelligence collective » façonnée par de grands moteurs de recherches dont le monopole soulève des questions éthiques et politiques. Un des grands défis des années à venir est de développer les technologies qui permettront de trouver, d’évaluer, de valider, de vérifier, de hiérarchiser l’information pour construire la « Toile des connaissances » de demain.

Published
2012

4. Des machines parlantes aux agents conversationnels incarnés

Author

Gérard Bailly, Stephan Raidt, Frédéric Elisei, GIPSA - Machines parlantes, Gestes oro-faciaux, Interaction Face-à-face, Communication augmentée (GIPSA-MAGIC), Département Parole et Cognition (GIPSA-DPC), Grenoble Images Parole Signal Automatique (GIPSA-lab), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Grenoble Images Parole Signal Automatique (GIPSA-lab), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), GIPSA-Services (GIPSA-Services), Catherine Garbay, Daniel Kayser (Eds.), ANR Amorces, and Bailly, Gérard

Subjects
SCI090000, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, COM000000, 05 social sciences, science cognitive, Agents conversationnels, Humanities, Multidisciplinary, 050105 experimental psychology, 03 medical and health sciences, 0302 clinical medicine, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, informatique, Psychology, GTR, interaction homme-ordinateur, 0501 psychology and cognitive sciences, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, 030217 neurology & neurosurgery, [SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processing
Abstract

ISBN-13 978-2-7351-1272-2; International audience; Cet article présente les efforts récents entrepris au sein de l'équipe " Machines Parlantes, Agents Communicants et Interaction Face-à-face " du département " Parole et Cognition " du laboratoire GIPSA, afin de doter un agent conversationnel - incarné sous forme de tête parlante virtuelle - de capacités à interagir en face-à-face avec un partenaire humain. Après une revue rapide des technologies disponibles permettant de bâtir des têtes parlantes, nous détaillons ci-après quelques composantes du système de vision qu'un agent virtuel doit posséder pour signaler sa sensibilité à l'environnement tant du point de vue de sa capacité à analyser une scène visuelle qu'à reproduire les saccades oculaires qu'un humain aurait produites pour y parvenir et aux mouvements des yeux et des paupières qui les auraient accompagnées.

Published
2011

5. Environnements informatiques et apprentissages humains

Author

André Tricot, Pierre Tchounikine, Modèles et Technologies pour l’Apprentissage Humain (MeTAH), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Cognition, Langues, Langage, Ergonomie (CLLE-LTC), École pratique des hautes études (EPHE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Université Toulouse - Jean Jaurès (UT2J)-Centre National de la Recherche Scientifique (CNRS), Centre de recherche sur la formation (CERF), Institut universitaire de formation des maîtres - Midi-Pyrénées (IUFM Midi-Pyrénées), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse - Jean Jaurès (UT2J), Catherine Garbay, Daniel Kayser, and Tchounikine, Pierre

Subjects
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], SCI090000, Computer science, COM000000, [SHS.EDU]Humanities and Social Sciences/Education, 05 social sciences, [SHS.EDU] Humanities and Social Sciences/Education, 050301 education, science cognitive, Humanities, Multidisciplinary, 050105 experimental psychology, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.EIAH] Computer Science [cs]/Technology for Human Learning, informatique, Psychology, GTR, 0501 psychology and cognitive sciences, interaction homme-ordinateur, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, 0503 education
Abstract

Introduction L’apprentissage humain se définit de façon générale comme une modification (positive) de la capacité à réaliser une tâche sous l’effet d’une interaction avec l’environnement. L’apprentissage humain a lieu dans des conditions différentes, dont deux au moins peuvent être distinguées : (1) les conditions où l’apprentissage est essentiellement adaptatif et implicite : par exemple, un enfant qui apprend à parler sa langue maternelle ; (2) les conditions où l’apprentissage est essentie...

Published
2011

Catalog

Books, media, physical & digital resources
See catalog results