439 résultats : INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
439 résultats
page 41 sur 44
résultats 401 à 410
UNIT
La grenouille et le robot
Description : En s’inspirant du comportement des animaux, pourra-t-on un jour fabriquer des robots à l’œil aussi perçant que celui des grenouilles ?
Mots clés : bio-inspiration, vision robotique, coordination visuo-motrice, capteur visuel, adaptation, fuscia
Date : 12-10-2004
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
La grenouille et le robot
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Sciences de l’information : là où le temps sous-tend tant et tant
Description : En informatique, le temps est une variable omni-présente, mais sous des formes parfois inattendues qui, mal comprises, conduisent à de fâcheux contre-temps. Essayons de démystifier les différents concepts s’y reliant.
Mots clés : temps logique, temps physique, complexité, synchronisation, fréquence, fuscia
Date : 30-06-2006
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Sciences de l’information : là où le temps sous-tend tant et tant
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Algorithmes, mode d’emploi
Description : Les algorithmes permettent de mécaniser calculs et traitements. Ils sont à la base du moindre programme où se combinent leurs ingrédients. Leur étude révèle les potentiels et les limites de l’informatique.
Mots clés : algorithme, machine de Turing, calculabilité, thèse de Church, complexité, fuscia
Date : 27-11-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Algorithmes, mode d’emploi
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Les planètes tournent-elles rond ?
Description : Des planètes qui s’écrasent dans le Soleil ou, au contraire, qui s’éloignent ! Voilà ce qui arrive si on choisit la mauvaise méthode pour calculer leurs positions.
Mots clés : planètes, géométrie, histoire, simulation, fuscia
Date : 18-09-2012
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Les planètes tournent-elles rond ?
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Quand les sons se séparent
Description : Séparer les sons peut s’avérer complexe. Écoutez Emmanuel Vincent dans cet épisode du podcast audio.
Mots clés : séparation sources sonores, son, fuscia
Date : 29-03-2013
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Quand les sons se séparent
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Plongée dans la réalité virtuelle
Description : Avec des lunettes spéciales sur le nez, on peut voir des objets virtuels en 3D et en passant une bague au bout de son doigt, on peut même les toucher... La réalité virtuelle progresse à grands pas.
Mots clés : réalité virtuelle, objet virtuel, retour haptique, interface utilisateur, fuscia
Date : 15-09-2005
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Plongée dans la réalité virtuelle
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Preuves formelles, preuves calculatoires
Description : Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
Mots clés : méthode formelle, théorème des quatre couleurs, coloration de graphe, conjoncture de Kepler, Coq, fuscia
Date : 08-01-2007
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Preuves formelles, preuves calculatoires
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
La vérité et la machine
Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Mots clés : preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia
Date : 11-12-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
La vérité et la machine
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
La pensée informatique
Description : Peut-on définir un mode de pensée spécifique à l’informatique ? La pensée informatique est présentée ici comme un ensemble d’attitudes et de connaissances universellement applicables.
Mots clés : calculabilité, puissance de calcul, raisonnement par récurrence, parallélisation, abstraction, recherche en informatique, fuscia
Date : 15-01-2009
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
La pensée informatique
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Quand le traitement d’images participe à la gestion des ressources naturelles
Description : Améliorer la qualité d’une image floue ou perturbée pour en extraire des informations pertinentes, ce pari a été lancé il y a 10 ans déjà. Où en est aujourd’hui la recherche dans ce domaine ?
Mots clés : podcast, imagerie satellitaire, interprétation automatique, image très haute résolution, cartographie, observation de la Terre, problèmes inverses, fuscia
Date : 20-06-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Quand le traitement d’images participe à la gestion des ressources naturelles
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé