| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Estimation des paramètres d'un modèle par la méthode des moindres carrés récursifs
[Ressource pédagogique]
Date de publication :
20001107 |
Auteur(s) :
Le Roux Joël |
Editeur(s) :
Université de Nice |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours concerne l'estimation récursive en tant que modèle mathématique permettant de faire de la prédiction à partir de données partiellement connues. Le but de cette méthode est de pouvoir comparer les données issues du système étudié et celles prédites par le modèle et de minimiser l'écart entre les deux résultats obtenus. Les thèmes abordés sont: les méthodes de correction ainsi que les algor...
Référencé le :
26-11-2018
|
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
Les Tours de Hanoï : un problème classique de récursion
[Ressource pédagogique]
Date de publication :
20150203 |
Auteur(s) :
Queinnec Christian |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
La pensée récursive est partout. Un exemple fréquemment utilisé en algorithmique pour en faire la démonstration se trouve être un casse-tête, les tours de Hanoï.
Référencé le :
26-04-2017
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
