Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
validation
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
6
résultats
section 1
sur 1
résultats
1 à 6
Canal-u.fr
A brief history of atomic commitment
Description
:
Cet exposé retrace brièvement l'historique de l'algorithmique répartie à travers l'un de ses problèmes les plus fondamentaux: la validation atomique.
Date
:
05-05-2017
Description complète
A brief history of atomic commitment
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Demos about The RDF Data Model
Description
:
Validating and translating RDF data The W3C RDF validation service checks the validity of RDF statements in the RDF/XML syntax and, in the case where these statements are valid, it displays the list of the parsed triples and the graph composed by these triples. http://www.w3.org/RDF/Validator ...
Date
:
08-09-2016
Description complète
Demos about The RDF Data Model
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Démos autour de RDF
Description
:
Dans cette séquence, nous allons voir comment nommer des graphes RDF dans le modèle RDF et quelle en est l'utilité.
Date
:
02-03-2015
Description complète
Démos autour de RDF
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Interprétation : fonctions, prédicats et connecteurs
Description
:
Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi q ...
Date
:
10-01-2020
Description complète
Interprétation : fonctions, prédicats et connecteurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Interprétation : variables et quantificateurs
Description
:
Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et qua ...
Date
:
10-01-2020
Description complète
Interprétation : variables et quantificateurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
Valider l'information
Description
:
MOOC Compétences numériques Valider l'information
Date
:
01-03-2017
Description complète
Valider l'information
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Afficher section
2
sur 1