Menu
Mon panier
1
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 mots-clef
C
correction
Déposer une
ressource
18
résultats :
correction
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
correction
Affiner ma recherche
OK
1
2
1
2
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.
18
résultats
page 1
sur 2
résultats
1 à 10
Preuves de programmes en coq
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
En savoir plus
Description complète
Preuves de programmes en coq
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
Histoire(s) de l'ergonomie (7/7) - Prospective : perspectives sur le futur de l'ergonomie
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.
En savoir plus
Description complète
Histoire(s) de l'ergonomie (7/7) - Prospective : perspectives sur le futur de l'ergonomie
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
De la force à la farce : corriger l’erratum de la violence / Marie-Luce Demonet
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.
En savoir plus
Description complète
De la force à la farce : corriger l’erratum de la violence / Marie-Luce Demonet
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Gravimétrie et géodésie : principes, applications
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
En savoir plus
Description complète
Gravimétrie et géodésie : principes, applications
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
Produire un écrit efficace (Méthodologie)
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
En savoir plus
Description complète
Produire un écrit efficace (Méthodologie)
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
Notions de communication numérique
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.
En savoir plus
Description complète
Notions de communication numérique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Notions sur les turbocodes
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.
En savoir plus
Description complète
Notions sur les turbocodes
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
GSM, UMTS, WIFI, BLUETOOTH, OFDM, ADSL ...
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.
En savoir plus
Description complète
GSM, UMTS, WIFI, BLUETOOTH, OFDM, ADSL ...
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
PIPC : Prononciation Interaction et Phonétique Corrective en FLE
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
En savoir plus
Description complète
PIPC : Prononciation Interaction et Phonétique Corrective en FLE
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
Module 5 : Ce qu'est la phonétique corrective en FLE.. (parcours PEPF)
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
En savoir plus
Description complète
Module 5 : Ce qu'est la phonétique corrective en FLE.. (parcours PEPF)
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
1
2
Rebondir