Menu
Mon panier
63
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
6
7
8
9
10
11
12
13
14
15
16
6
7
8
9
10
11
12
13
14
15
16
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 11
sur 37
résultats
101 à 110
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
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
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
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
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
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 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 ?
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
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...
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 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
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
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
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 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 ?
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
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
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
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
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
6
7
8
9
10
11
12
13
14
15
16
Rebondir