341 résultats : informatique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
341 résultats
page 5 sur 35
résultats 41 à 50
UNIT
Description : Née au milieu du vingtième siècle avec les premiers calculateurs électroniques, l’informatique n’a cessé de se développer, touchant tous les secteurs d’activité.
Mots clés : histoire de l'informatique, ordinateur, théorie de la calculabilité, théorie de la complexité, loi de Moore, sciences du numérique, fuscia
Date : 31-01-2011
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
Canal-U
Description : Qu’est-ce qu’une preuve « par l’original » à l’âge numérique ?
Mots clés : informatique, Lettres, sciences de l’homme, méthodes et techniques scientifiques, informatique documentaire, traitement de l’information, sciences de l’information, Culture de l’information et de la communication, édition, Arts, outils, Langues et civilisations
Date : 16-10-2014
Droits : Droits réservés à l'éditeur et aux auteurs. Yago production 2015
Canal-U
Description : Cette ressource s'adresse à tous ceux qui s'intéressent aux nouvelles technologies de l'information et de la communication. Son objectif principal est de montrer le rôle décisif que joue l'intelligence économique dans la compétitivité des entreprises et de l'économie nationale...
Mots clés : NTIC, compétences distinctives, risque, civilisation numérique, guerre économique, information, intelligence économique, Compétitivité, veille, sécurité informatique, mondialisation, avantages concurrentiels
Date : 11-09-2013
Droits : Droits réservés à l'éditeur et aux auteurs. Creative Commons (BY NC)
Canal-U
Description : Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...
Mots clés : bug, algorithmique, arithmétique flottante, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
Date : 16-06-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une ar ...
Mots clés : calcul informatique, preuve de programme, analyse numérique, arithmétique virgule flottante, erreur de calcul, méthodes formelles
Date : 05-06-2013
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Description : Le transport optimal est une théorie mathématique qui permet de comparer deux histogrammes. Ceci dit, pourquoi s'intéresser aux histogrammes ?
Mots clés : transport optimal, histogramme, optimisation trajectoire, méthode de Sinkhorn, informatique graphique, barycentre de Wasserstein, fuscia
Date : 20-12-2016
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
Canal-U
Description : L’apparition dans les années 50 de l’ordinateur a sensiblement bouleversé le fonctionnement et les habitudes d’usage de nombreux secteurs économiques, du monde éditorial aux domaines technologiques. Mais plus que tout autre, c’est le monde scientifique qui bénéficie de façon étendue des largesses ...
Mots clés : ordinateur, connaissance scientifique, simulation, histoire de l'informatique, puissance de calcul, traitement de l'information, paradigme scientifique, programme informatique
Date : 18-02-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous ...
Mots clés : calculabilité, complexité, informatique théorique, modèle de calcul analogique, machine de turing
Date : 15-03-2012
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Le web interactionniste : représentations et réalité On s’installera plus volontiers à la table d’un restaurant fréquenté que d’un restaurant vide. Les travaux sur la preuve sociale (voir Cialdini, 2001) peuvent faire l’objet d’une transposition dans le domaine des technologies numériques. On a ...
Mots clés : linguistique informatique, Sciences de l'information et de la communication, Etudes interculturelles, Ingénierie linguistique
Date : 11-10-2013
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
Canal-U
Description : Protocole informatique d'échange de métadonnées sur le web, il permet de multiplier les accès aux documents numériques de diverses entités,par un signalement accru. Il est abordé dans cette séquence d'un point de vue fonctionnel.
Mots clés : échange de données, métadonnées, OAI-PMH, protocole informatique
Date : 18-01-2016
Droits : Droits réservés à l'éditeur et aux auteurs. Creative Commons BY - NC - ND