Menu
Mon panier
80
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par établissement
I
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE / INTERSTICES
Déposer une
ressource
369
résultats :
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE / INTERSTICES
Rechercher
Aide
Recherche avancée
Recherche en cours
Par établissement
=
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE / INTERSTICES
Affiner ma recherche
OK
29
30
31
32
33
34
35
36
37
29
30
31
32
33
34
35
36
37
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
369
résultats
page 34
sur 37
résultats
331 à 340
De la deuxième à la troisième dimension
Description
:
Comment construire des volumes et un espace à partir de quelques images ? C’est tout l’enjeu de la géométrie épipolaire...
Mots clés
:
vision stéréoscopique, modélisation 3D, calibration géométrique, géométrie épiplaire, fuscia
Date
:
13-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
De la deuxième à la troisième dimension
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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 ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
29
30
31
32
33
34
35
36
37
Rebondir