56 résultats : couleur

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
56 résultats
page 5 sur 6
résultats 41 à 50
Canal-U
Description : Analyse des modifications de la couleur en fonction de son environnement. Sous la forme de courtes séquences animées, ce document met en évidence le rôle des couleurs complémentaires dans l’évaluation et la maîtrise du contraste simultané. Prix spécial Recherche – Festival de Palaiseau, 1989. Pour ...
Mots clés : analyse, couleurs, contraste, pédagogie
Date : 01-01-1989
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : A partir d’une modélisation de la rétine, ce document se propose de suivre la succession des processus qui s’opèrent lors de la perception visuelle, depuis l’objet d’excitation jusqu’au cerveau en passant par les liaisons périphériques de l’oeil. Il permet d’évaluer la fonction de chaque type de ...
Mots clés : cerveau, art, oeil, rétine, couleurs, modélisation, sensation
Date : 01-01-1990
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
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
UNIT
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