18 résultats : correction

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
18 résultats
page 1 sur 2
résultats 1 à 10
UNIT
Description : 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 ...
Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia
Date : 21-09-2012
Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
Canal-U
Description : Septième et dernière partie de la Grande Leçon Histoire(s) de l’ergonomie, « Prospective : perspectives sur le futur de l’ergonomie » prend le risque de la prévision et cherche à porter un regard, à la fois critique et enthousiaste, sur l’avenir de l’ergonomie. Tantôt teinté de pessimisme, parfois ...
Mots clés : conditions de travail, ergonomie préventive, ergonomie corrective, méthodes créatives, méthodes participatives, modèles prédictifs, âge, réalité augmentée, enjeux politiques, réalité virtuelle, emploi, vieillissement, émotion, ergonomie prospective
Date : 20-03-2013
Droits : Droits réservés à l'éditeur et aux auteurs. Attribution : © Université de Lorraine / Université Ouverte des Humanités, février 2013 Pas d’utilisation commerciale. Partage à l’identique. Pas de modification.
Canal-U
Description : De la force à la farce : corriger l’erratum de la violence / Marie-Luce Demonet, in "L'erreur chez Montaigne", colloque organisé par la Société internationale des amis de Montaigne avec la collaboration de l’Université Bordeaux Montaigne (Centre Montaigne-TELEM) et la Maison des Sciences de l’Homme ...
Mots clés : Michel de Montaigne (1533-1592), errata, correction des épreuves d'imprimerie, livres (1400-1600)
Date : 03-12-2014
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés à l'Université Toulouse-Jean Jaurès-campus Mirail et aux auteurs.
UNISCIEL (unisciel)
Description : Ellipsoïde et géoïde, gravimétrie, corrections et anomalies : surface et profondeur de la Terre.
Mots clés : gravimétrie, géodésie, pesanteur, potentiel de pesanteur, ellipsoïde, géoïde, correction de Bouguer, anomalie
Date : 23-06-2010
Droits : Voir mentions légales http://planet-terre.ens-lyon.fr/services/mentions-legales
UOH
Description : Ce module comprendre 4 chapitres:  - Ce qu'il faut savoir sur les exercises - La gestion du brouillon - Lecture des consignes - Le traitement de l'erreur
Mots clés : correction, brouillon, compréhension, erreurs, apprentissage
Date : 2014
Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale 2.0 France
UNIT
Description : Cours destiné à des étudiants non spécialistes qui souhaiterait avoir des connaissances en transmission numérique des données. Les points abordés dans ce cours sont: la transmission des données (canaux), la mise en forme des données pour leur transmission, la représentation en fréquences, les effets ...
Mots clés : transmission numérique, compression, codage son, codage image, transformée de Fourier, distorsion, correction d'erreurs, cryptographie, fuscia
Date : 20-03-2001
Droits : Licence creative commons Paternité "Vous êtes libre de reproduire, distribuer et communiquer cette création au public [et] de modifier cette création" à condition de citer l'auteur et le titre du document.
UNIT
Description : Les turbocodes ont été inventés pour réduire les erreurs de codage-décodage dans la transmission de données. L'algorithme présenté dans ce cours est celui de Bahl, Cocke, Jelinek et Raviv qui s'appuie sur les probabilités ainsi que les modèles markoviens. Le processus décrit est issu d'un modèle ...
Mots clés : turbocode, codage, probabilités, correction d'erreurs, itération, code convolutif, décodage, algorithme de Bahl, fuscia
Date : 01-03-2001
Droits : Licence creative commons Paternité "Vous êtes libre de reproduire, distribuer et communiquer cette création au public [et] de modifier cette création" à condition de citer l'auteur et le titre du document.
UNIT
Description : Présentation des types de communication existant en télécommunication (téléphonie, sans fil, ...) ainsi que les problèmes et solutions existants pour la transmission des données. Cours offrant une vue d'ensemble de ces différentes technologies.
Mots clés : itinérance, bandes de fréquence, correction d'erreur, scrambling, turbocode, codeur convolutionnel, multiplexage, modulation, fuscia
Date : 16-03-2004
Droits : Licence creative common Paternité "Vous êtes libre de reproduire, distribuer et communiquer cette création au public [et] de modifier cette création" à condition de citer l'auteur et le titre du document.
UOH
Description : Il convient de distinguer deux parcours au sein de la ressource audio-visuelle PIPC :  1. Le parcours SCP Sons communication et parole est « tous publics ». Il constitue une initiation à la Phonétique générale et descriptive du français. Les objectifs globaux sont : - de définir ce que recouvrent ...
Mots clés : Phonétique corrective, FLE, Français Langue Etrangère, Méthodologie, Prononciation
Date : 2018
Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'Identique 2.0 France
UOH
Description : Des vidéos d’entretiens avec différents spécialistes permettent de circonscrire les différents domaines d’intervention de la phonétique corrective en fle, de délimiter le champ de la remédiation de la prononciation en fle par rapport à d’autres spécialités, d’avoir une 1ère approche des notions ...
Mots clés : Phonétique corrective, FLE, Prononciation
Date : 2018
Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France