369 résultats : INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE / INTERSTICES

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 11 sur 37
résultats 101 à 110
UNIT
Du rêve à la réalité des preuves
Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Mots clés : assistant de preuve, preuve formelle, preuve de programme, logique mathématique, démonstration, complexité, fuscia
Date : 01-08-2011
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
Du rêve à la réalité des preuves
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Mona Lisa au photomaton
Description : Nous vous proposons un paradoxe graphique : saurez-vous l'expliquer ?
Mots clés : traitement d'image, transformation du photomaton, transformation bijective, invariance, fuscia
Date : 29-05-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
Mona Lisa au photomaton
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Vers une théorie de l'intelligence
Description : Fabriquer de l’intelligence est un défi que l’informatique veut relever. Quand elle réussit, c’est toujours de façon limitée et en évitant d’aborder de front l’intelligence humaine, qui reste mystérieuse.
Mots clés : intelligence des machines, test de Turing, théorie de l'intelligence, fuscia
Date : 13-01-2016
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
Vers une théorie de l'intelligence
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
La fin des Dames anglaises ?
Description : Depuis le 29 avril 2007, c’est chose faite : de nombreuses innovations et une opiniâtreté exceptionnelle sont venues à bout de Checkers, le jeu de Dames anglaises.
Mots clés : jeu de dames, stratégie optimale, analyse rétrograde, fuscia
Date : 16-10-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
La fin des Dames anglaises ?
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Pierre, feuille, ciseaux...
Description : Joué comme un jeu de conquête, l’ancien jeu chinois de la pierre, de la feuille et des ciseaux éclaire les phénomènes de synchronisation et de maintien de la diversité animale.
Mots clés : hasard, modèle d'interactions, stratégie mixte, domination cyclique, diversité animale, fuscia
Date : 28-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
Pierre, feuille, ciseaux...
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Les longues traînes
Description : Certaines distributions de nombres s’étalent largement ; elles sont bien plus fréquentes qu’on ne le croyait et les sociétés sur Internet les exploitent pour créer une nouvelle économie florissante.
Mots clés : moyenne, loi de Pareto, commerce électronique, niche de marché, fuscia
Date : 16-01-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
Les longues traînes
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Un calcul révolutionnaire
Description : Extraire la racine 1789-ème d’un nombre de 7000 chiffres : un exploit « révolutionnaire » ? Cela mérite réflexion...
Mots clés : jeu, fausse difficulté, calculabilité, cryptographie, fuscia
Date : 11-01-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
Un calcul révolutionnaire
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
La simulation par ordinateur change-t-elle les sciences ?
Description : Autrefois, les théories étaient dans les cerveaux et sur les feuillets des chercheurs. Aujourd’hui, on les trouve aussi dans les ordinateurs. Qu’est-ce que cela signifie ? Que représentent la modélisation et la simulation dans la pratique de la recherche scientifique ?
Mots clés : modèle, réalité, utilité des modèles, théorie, prévision, mathématiques appliquées, fuscia
Date : 03-08-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
La simulation par ordinateur change-t-elle les sciences ?
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Bitcoin, la cryptomonnaie
Description : La cryptographie et la puissance des réseaux ont rendu possible l’existence de monnaies purement numériques et dépourvues d’une autorité centrale de contrôle.
Mots clés : clé publique, monnaie numérique, bitcoin, fuscia
Date : 05-02-2018
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
Bitcoin, la cryptomonnaie
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
L’incroyable problème de Freudenthal
Description : Savoir qu’un autre ne sait pas peut nous aider à savoir ! Dans cette série d’énigmes, un bon raisonnement, fondé sur des informations en apparence insignifiantes, mène à des conclusions miraculeuses.
Mots clés : énigme, cocus de Bagdad, raisonnement par récurrence, logique, problème de Freudenthal, fuscia
Date : 16-01-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
L’incroyable problème de Freudenthal
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé