154 résultats : logiciel

Map Info version 7.0 (livret 2)

Map Info version 7.0 (livret 2)

Description : Seconde partie du cours de formation au logiciel SIG Map Info version 7.0. Les points suivants seront abordés : connaissance avancée des objets géométriques, topologie sous Map Info, requêtes SQL, géocodage, l'exécution des Add_on en Map Basic, utiliser Map Info dans un rapport, HTML Image Map, ...

Mots clés : Map Info version 7.0, SIG, Système d'Information Géographique, logiciel, cartographie, traitement de données, structure de données, référentiel cartographique, géocodage

Date : 01-05-2005

Map Info version 7.0 (livret 1)

Map Info version 7.0 (livret 1)

Description : Première partie du cours de formation au logiciel SIG Map Info version 7.0. MapInfo Professional version 7.0 est un outil de type Système d'Information Géographique qui sert à créer de l'information géographique, à traiter et manipuler cette information et à la cartographier de différentes mani ...

Mots clés : Map Info version 7.0, SIG, Système d'Information Géographique, logiciel, cartographie, traitement de données, structure de données, référentiel cartographique

Date : 01-05-2005

TP maple -Roulement sans glissement

TP maple -Roulement sans glissement

Description : Ce TP propose de chercher une représentation paramétrique d'un roulement sans glissement.

Mots clés : maple, calcul formel, logiciel

Date : 01-06-2014

Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/

FORMATIC 2009 - Collaboration entre chercheurs, gestionnaires et cliniciens

FORMATIC 2009 - Collaboration entre chercheurs, gestionnaires et cliniciens

Description : Titre : Formatic 2009 - Collaboration entre chercheurs, gestionnaires et cliniciens : un exemple pratique et concret du développement d'un système d'information de gestion de la qualité des soins et des services. Intervenant : Guy Bélanger, Université du Quebec à Rimouski. SCD Médecine.

Mots clés : logiciel, cliniciens, chercheurs, Formatic Santé 2009, informatique, technologie, TIC, information, communication, gestionnaires

Date : 05-02-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Le logiciel, objet de notre quotidien

Le logiciel, objet de notre quotidien

Description : Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, ...

Mots clés : microélectronique, bug, circuit intégré, microprocesseur, algorithmique, langage de programmation, logiciel informatique

Date : 10-09-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Le syndrome de l’obésiciel : des applications énergivores

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

Preuves de programmes en coq

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

2020 - Présentation du CERGAM, analyse de séquences avec R et exemple d'utilisation de la Box du CASD - PUD-AMU

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.

HIT Paris 2009 - Programmes de détection et de prévention des erreurs liées au médicament.

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.