781 résultats : programme

Recherche en cours

Par mots-clef = programme

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

781 résultats

page 5 sur 79

résultats 41 à 50

À propos de l’écologie comportementale

Description : Qu’est-ce que les mathématiques ont à nous dire sur le comportement des espèces vivantes ? Pierre Bernhard nous en parle dans cet épisode du podcast audio.

Mots clés : podcast, mathématiques appliquées, comportement optimal, interdisciplinarité, programmation dynamique, fuscia

Date : 19-03-2010

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

À propos de l’écologie comportementale

Ajouter à mon panier

Accéder au document

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 logiciel, objet de notre quotidien

Ajouter à mon panier

Accéder aux documents

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

Description : L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus répandu dans les objets technologiques les plus divers, des téléphones aux avions ? Quelles en sont les ...

Mots clés : bug, révolution numérique, algorithme, programmation, réseaux, science informatique, enseignement de l’informatique, numérisation de l'information, sciences numériques

Date : 10-06-2009

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

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

Ajouter à mon panier

Accéder aux documents

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

Preuves de programmes en coq

Ajouter à mon panier

Accéder au document

Journées EMOIS Nancy 2013 : Intérêt du chaînage des informations mère-enfant dans le PMSI et le SNIIRAM : à propos de l’exemple du diabète et de la grossesse.

Description : B-2-4 Titre : Journées EMOIS Nancy 2013 : Intérêt du chaînage des informations mère-enfant dans le PMSI et le SNIIRAM : à propos de l’exemple du diabète et de la grossesse. Auteur (s) : B-2-4 Intérêt du chaînage des informations mère-enfant dans le PMSI et le SNIIRAM : à propos de l’exemple du ...

Mots clés : EMOIS, 2013, Nancy, épidémiologie, évaluation, management, organisation, information, santé, PMSI, T2A, tarification à l’activité, programme de médicalisation des systèmes d’information, diabète, grossesse

Date : 21-03-2013

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

Journées EMOIS Nancy 2013 : Intérêt du chaînage des informations mère-enfant dans le PMSI et le SNIIRAM : à propos de l’exemple du diabète et de la grossesse.

Ajouter à mon panier

Accéder aux documents

Journées EMOIS Nancy 2017 : Session B-2-5 Définition d’un score de propension haute dimension pour comparer des patients initiant un anticoagulant oral direct ou un anti-vitamine K pour une fibrillation auriculaire non-valvulaire

Description : Titre : Journées EMOIS Nancy 2017 : Définition d’un score de propension haute dimension pour comparer des patients initiant un anticoagulant oral direct ou un anti-vitamine K pour une fibrillation auriculaire non-valvulaire d’après les données du SNIIRAM Intervenant(e)(s) : Patrick BLIN, Bordeaux B-2 ...

Mots clés : Lorraine, Nancy, programme de médicalisation des systèmes d’information, tarification à l’activité, T2A, PMSI, santé, information, organisation, management, évaluation, épidémiologie, EMOIS, université, 2017

Date : 23-03-2017

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

Journées EMOIS Nancy 2017 : Session B-2-5 Définition d’un score de propension haute dimension pour comparer des patients initiant un anticoagulant oral direct ou un anti-vitamine K pour une fibrillation auriculaire non-valvulaire

Ajouter à mon panier

Accéder aux documents

Journées Emois Paris 2014: Données d’enquête vs données médicales scolaires : compétition ou complémentarité

Description : Titre : Journées Emois Paris 2014: Données d’enquête vs données médicales scolaires : compétition ou complémentarité Intervenant: Charles-Henri BOEUR, Observatoire de la SAnté, Province de Luxembourg F1 : Expériences internationales – Espace Adenauer Modérateurs : A LEVEQUE, P METRAL F-1-1 BOEUR ...

Mots clés : 2014, tarification à l’activité, T2A, PMSI, santé, information, organisation, management, évaluation, épidémiologie, Paris, EMOIS, programme de médicalisation des systèmes d’information

Date : 03-04-2014

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

Journées Emois Paris 2014: Données d’enquête vs données médicales scolaires : compétition ou complémentarité

Ajouter à mon panier

Accéder aux documents

Pourquoi mon ordinateur calcule faux?

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.

Pourquoi mon ordinateur calcule faux?

Ajouter à mon panier

Accéder aux documents

Les nombres et l'ordinateur

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.

Les nombres et l'ordinateur

Ajouter à mon panier

Accéder aux documents

Demandez le programme

Description : La programmation consiste à décomposer un algorithme en ordres simples et à les écrire en un langage compréhensible par l’ordinateur.

Mots clés : bug, paradigme de programmation, niveau d'abstraction, erreur, preuve de programme, fuscia

Date : 28-11-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

Demandez le programme

Ajouter à mon panier

Accéder au document

Rebondir