274 résultats : INRIA

Recherche en cours

Par auteur = INRIA

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

274 résultats

page 28 sur 28

résultats 271 à 274

La vérité et la machine

Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.

Mots clés : preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia

Date : 11-12-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La vérité et la machine

Ajouter à mon panier

Accéder au document

Quand le traitement d’images participe à la gestion des ressources naturelles

Description : Améliorer la qualité d’une image floue ou perturbée pour en extraire des informations pertinentes, ce pari a été lancé il y a 10 ans déjà. Où en est aujourd’hui la recherche dans ce domaine ?

Mots clés : podcast, imagerie satellitaire, interprétation automatique, image très haute résolution, cartographie, observation de la Terre, problèmes inverses, fuscia

Date : 20-06-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Quand le traitement d’images participe à la gestion des ressources naturelles

Ajouter à mon panier

Accéder au document

MPFR : vers un calcul flottant correct ?

Description : Obtenir un seul résultat pour un calcul donné : à première vue, cela semble une évidence ; c’est en fait un vaste sujet de recherche. Une nouvelle étape est franchie aujourd’hui grâce à MPFR, une bibliothèque de calcul multi-précision sur les nombres flottants.

Mots clés : erreur, bibliothèque MPFR, virgule flottante, double précision, norme IEEE 754, précision arbitraire, fuscia

Date : 27-09-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

MPFR : vers un calcul flottant correct ?

Ajouter à mon panier

Accéder au document

Quel droit pour les données numériques ?

Description : Les données numériques sont devenues un tel enjeu économique et sociétal que la question du statut juridique des systèmes algorithmiques se pose de plus en plus. Le droit peut-il apporter des solutions pour pallier les failles autour de ces questions ? Célia Zolynski partage son point de vue avec ...

Mots clés : données numériques, systèmes algorithmiques, droit du numérique, intelligence artificielle, enjeux juridiques, éthique

Date : 20-12-2019

Droits : Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Quel droit pour les données numériques ?

Ajouter à mon panier

Accéder au document

Rebondir