Informatique

16/02/2015

Adacore et l’Inria créent un laboratoire pour démocratiser les méthodes de test formel

« ProofInUse est un nouveau laboratoire créé par Adacore, éditeur de logiciels libres spécialiste du langage Ada, et l’Inria (Institut national de recherche en informatique et automatique). Son objectif : démocratiser les méthodes de test par preuves formelles dans le développement de logiciels critiques (…) »

fléche suivante Lire l'article complet
29/01/2015

Bibliothèques et humanités numériques – par Elydia Barret – épisode 1

« … Délibérément axées sur l’une des facettes multiples des DH, les lignes qui suivent ont vocation à défricher un terrain qui s’étend et se reconfigure sans cesse. Loin de fournir un état complet de la question, elles se proposent simplement de poser les bases de la réflexion en…

fléche suivante Lire l'article complet
05/12/2014

Le temps des humanités digitales. La mutation des sciences humaines et sociales – Olivier Le Deuff (dir.)

« Sommaire 

Préface : Milad Doueihi

Introduction : Olivier Le Deuff

Première partie : Histoire et frontières d’un concept en vogue

Petite histoire des humanités digitales – Olivier Le Deuff, Frédéric Clavert

Vers de nouveaux modes de lecture des sources…

fléche suivante Lire l'article complet
10/10/2014

BE France 294 – Création d’une chaire internationale autour de l’Internet of Everything, l’Internet de demain

« … Aussi cette nouvelle chaire de l’IoE, l' »Internet de Tout » qui comprend non seulement les objets mais aussi les données, les processus et les utilisateurs, s’articule-t-elle autour de trois grands axes : l’éducation, la recherche et l’expérience utilisateur (…) »

BE France numéro 294 (7/10/2014) – ADIT /…

fléche suivante Lire l'article complet
23/09/2014

Les moteurs et systèmes de recommandation sous la direction de Gérald Kembellec, Ghislaine Chartron et Imad Saleh

« Résumé

Plébiscités par les différentes plateformes de contenus (livres, musiques, films) et par les sites de ventes en ligne, les systèmes de recommandation sont des éléments-clés des stratégies numériques. Si leur développement visait à l’origine la performance des systèmes d’information, les enjeux se sont aujourd’hui massivement…

fléche suivante Lire l'article complet
18/09/2014

Enjeux majeurs des technologies de l’information dans l’enseignement supérieur en 2014. La vision d’Educause

« … Chaque année, Educause propose à ses adhérents sa vision des 10 enjeux majeurs dans le domaine des technologies et de l’enseignement supérieur, vision élaborée en collaboration avec un groupe d’experts (…)

Top10 issues_version française

Type : PDFPoids : 528 Ko

fléche suivante Lire l'article complet
04/09/2014

Google conclut un partenariat dans le domaine de l’informatique quantique

« …l’informatique quantique vise à utiliser les lois de la mécanique quantique au lieu de celles de la seule électricité pour obtenir des calculateurs plus rapides.

Google s’associe dans ce but à des chercheurs de l’université de Santa Barbara (Californie), auteurs d’une expérimentation miniature,…

fléche suivante Lire l'article complet