Ressources

Votre recherche

1294 résultats

Preuves de programmes en coq

Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation...

23/10/2025

La tour de Lego

Connaissez-vous le Dr Jacob Ecco, mon ami omniheuriste ? Sa profession, dont il a inventé le nom, consiste à résoudre toutes sortes d’énigmes en s’inspirant des méthodes et du mode de réflexion des in...

23/10/2025

Vision pré-attentive : détection de contours, détection de points d'intérêt (série : Vision par ordinateur)

Le but de la vision bas niveau (ou vision pré-attentive) est le filtrage et la détection de primitives (points / contours). Présentation des approches gradient et laplacien.

23/10/2025

Comprendre un processus cognitif grâce à l’analyse statistique du mouvement des yeux

Comment la statistique peut-elle contribuer à la compréhension de certains processus cognitifs mesurables à travers le mouvement des yeux ?

23/10/2025

Quand la réalité virtuelle rencontre les surfaces tactiles

Un nouveau dispositif interactif, appelé Toucheo, combine un affichage 3D stéréoscopique immersif avec une interaction gestuelle multitouch.

23/10/2025

Robotique

Ensemble des unités d'enseignement composantes du programme UNIT-GDR consacré à la Robotique. Ce projet a pour but de répertorier et développer des ressources pédagogiques (cours, supports de cours…) ...

23/10/2025

Logiciels d'automatique linéaire

Sélection de logiciels développés à l'INSA de Rouen dans un but pédagogique afin d'aider les étudiants en automatique à mieux comprendre le comportement des systèmes en boucle fermée et de contrôler l...

23/10/2025

Systèmes acoustiques : analogies | Partie 2 : circuits équivalents (Électroacoustique)

Troisième grain élémentaire (partie 2) dans le module 2 de l'ensemble de ressources "Électroacoustique" L'objectif de ce grain est de donner les lois de comportement des systèmes acoustiques et de sav...

23/10/2025

Méthodes numériques : différences finies (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)

Module du programme e-learning FILIPE qui vise à favoriser la préparation linguistique, interculturelle et scientifique des étudiants non francophones poursuivant leurs études en France. Ce module a ...

23/10/2025

De Fourier à la 5G

Dans le domaine des télécommunications, la notion de fréquence, liée à celle de spectre, est essentielle à bien des égards. Elle permet entre autres de réaliser des traitements facilement...

23/10/2025