1940 résultats

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1940 résultats
page 16 sur 194
résultats 151 à 160
Canal-U
La vie artificielle
Description : La vie artificielle recouvre un ensemble de réalisations principalement informatiques et robotiques tentant d'incarner dans un matériel non biochimique les processus inhérents au vivant. Parmi ces processus on retrouve des fonctionnalités dites " émergentes ", des processus d'interactions sensor ...
Mots clés : modélisation, systèmes complexes, robotique, mécanisme biologique, interaction avec l'environnement, émergence, réseaux neuronaux, simulation, apprentissage, vie artificielle
Date : 18-09-2000
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
La vie artificielle
 Supprimer de mon panier
Accéder aux documents
Canal-U
Numbers, computers and dynamical systems
Description : A discrete dynamical system is defined as a set of states on which a transformation acts, considered as an evolution rule. The terminology discrete refers to the time that is discretized: at time n corresponds the nth iteration of this transformation. Dynamical systems are widely studied, for ...
Mots clés : géométrie discrète, quasicrystals, computer arithmetics
Date : 09-03-2017
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Numbers, computers and dynamical systems
 Ajouter à mon panier
Accéder aux documents
UNIT
Le syndrome de l’obésiciel : des applications énergivores
Description : Toujours plus d’appareils connectés, toujours plus de données collectées… les logiciels n’échappent pas non plus aux besoins en énergie toujours croissants.
Mots clés : sciences du numérique, développement durable, obésiciel, éco-conception logiciel, consommation énergétique, fuscia
Date : 29-06-2015
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
 En savoir plus
 Description complète
Le syndrome de l’obésiciel : des applications énergivores
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
La déferlante des données
Description : L’utilisation des appareils connectés engendre toujours plus de données à traiter et à stocker. Une journée dans le monde numérique, c’est une déferlante de données…
Mots clés : sciences du numérique, développement durable, data center, big data, data center engineering management, cloud, consommation énergétique, smart grid, fuscia
Date : 29-06-2015
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
 En savoir plus
 Description complète
La déferlante des données
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
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
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
2020 - Présentation du CERGAM, analyse de séquences avec R et exemple d'utilisation de la Box du CASD - PUD-AMU
Description : Présentation du portail de données du CASD et de la procédure à suivre pour accéder à ces dernières. Exemple d’un cas concret avec utilisation de la sd-box
Mots clés : sécurité des données, enquêtes, statistique , méthode, trajectoires, analyse de séquences, optimal matching, logiciel R, Interface Rstudio, reproductibilité, analyse, cartographie
Date : 09-12-2020
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
2020 - Présentation du CERGAM, analyse de séquences avec R et exemple d'utilisation de la Box du CASD - PUD-AMU
 Ajouter à mon panier
Accéder aux documents
Canal-U
HIT Paris 2008 - Les prises en charges coordonnées
Description : Résumé : Pour offrir à la population arrivant aux urgences du narbonnais un accès à l’imagerie scanner 24 h/ 24 dans des conditions de sécurité et de qualité optimisées, les centres hospitaliers de Narbonne et de Perpignan ont mis en place un dispositif de télédiagnostic commun en novembre 2007. ...
Mots clés : système d'information, DMP, dossier médical partagé, RCP, HIT Paris 2008, DMC, Dossier Médical Commun, PPS
Date : 28-05-2008
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
HIT Paris 2008 - Les prises en charges coordonnées
 Ajouter à mon panier
Accéder aux documents
UNIT
Arkangel dans Black Mirror : la réalité diminuée
Description : Black Mirror est une série qui interroge les usages de la technologie dans la société. Souvent les situations sont poussées à l’extrême pour mettre en avant les travers de ce qui parfois apparait comme de bonnes solutions. Dans cet épisode, la société Arkangel propose un système numérique de contrôle ...
Mots clés : traitement image automatique, censure visuelle automatique, abstraction image, contenu explicite, filtrage, reconnaissance automatique, réalité virtuelle, réalité diminuée, censure sensorielle
Date : 16-04-2020
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
 En savoir plus
 Description complète
Arkangel dans Black Mirror : la réalité diminuée
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
HIT Paris 2009 - Programmes de détection et de prévention des erreurs liées au médicament.
Description : Thème : TIC et qualité des soins B3a S'organiser pour le partage et l'échange de données médicales, faciliter l'adoption des outils Titre : HIT Paris 2009 - Optimiser la facilité d’usage : l’apport de l’ergonomie dans la conception des programmes de détection et de prévention des erreurs liées ...
Mots clés : logiciel, PSIP, prescription médicale, HIT Paris 2009, ergonomie, SI, santé, qualité, TIC, sécurisation
Date : 27-05-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
HIT Paris 2009 - Programmes de détection et de prévention des erreurs liées au médicament.
 Ajouter à mon panier
Accéder aux documents
Canal-U
HIT Paris 2009 - Aide à la décision, importance du contexte
Description : HIT Paris 2009 - Thème : TIC et qualité des soins Titre : Intégrer l'aide à la décision dans le SI, aide à la décision, importance du contexte Public cible : ingénieurs, professionnels de santé, industriels, institutionnels, associations et réseaux Les systèmes d'information cliniques se développent ...
Mots clés : logiciel, sécurité, TIC, SI, réseaux, HIT Paris 2009, over alerting, système de prescription médicamenteuse
Date : 27-05-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
HIT Paris 2009 - Aide à la décision, importance du contexte
 Ajouter à mon panier
Accéder aux documents