|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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 d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
Au service des personnes fragiles
[Ressource pédagogique]
Date de publication :
20160113 |
Auteur(s) :
Merlet Jean-Pierre |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Les robots seront-ils essentiels à la sauvegarde de l'autonomie des personnes fragiles ? Pour ce faire, un engin humanoïde multitâche serait moins efficace qu'une flottille d'appareils spécifiques travaillant en équipe......
Référencé le :
26-04-2017
|
|
Une assistance numérique pour les personnes âgées : le projet DomAssist
[Ressource pédagogique]
Date de publication :
20150223 |
Auteur(s) :
Dupuy Lucile, Consel Charles, Sauzéon Hélène |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Apporter une aide numérique pour maintenir à domicile les personnes âgées en perte d’autonomie et accompagner leurs aidants : c’est l’objectif de la plateforme DomAssist.
Référencé le :
26-04-2017
|
|
5ème Journée Humanitaire sur la Santé des Femmes dans le Monde -
TABLE RONDE : De nouveaux outils dans la réduction de la mortalité materno-infantile.
[Ressource pédagogique]
Editeur(s) :
FMSH Production |
Origine de la fiche :
Canal-u.fr
9h - 12h
Mourir en accouchant en 2016
Quelles sont les pistes stratégiques de réduction de la mortalité
maternelle pour atteindre les nouveaux Objectifs de Développement
Durable pour 2030 ?
Le 5ème Objectif du millénaire 1990-2015 de réduction de la mortalité
maternelle n’a pas été complètement atteint, quels enseignements en tirer ?
Quelles sont les axes stratégiques d’actions à développer ...
Référencé le :
05-07-2016
|
|
5ème Journée Humanitaire sur la Santé des Femmes dans le Monde - Corps à louer ou cellules à vendre : une source de revenus comme une autre ? - L'exemple du marché ouvert de la Gestation Pour Autrui en Inde, par Dr. Virginie ROZEE (INED)
[Ressource pédagogique]
Date de publication :
20160311 |
Auteur(s) :
ROZEE Virginie |
Editeur(s) :
FMSH Production, M.L & H.A-E |
Origine de la fiche :
Canal-u.fr
14h - 17h
L’Assistance Médicale à la Procréation dans les Pays Les Moins Avancés
Plaidoyer pour une AMP de qualité économiquement accessible
aux couples infertiles des pays émergents.
L’accès à l’AMP à bas prix est-il possible, où et pour quels risques sanitaires ?
Le développement de l’Assistance Médicale à la Procréation (AMP) dans
les Pays en Voie de Développement est-il une voie de développeme...
Référencé le :
05-07-2016
|
|
5ème Journée Humanitaire sur la Santé des Femmes dans le Monde - Cartographie mondiale de l'AMP (Assistance Médicale à la Procréation) - La vision économique de L'AMP par J GOOSSENS (The Walking Egg)
[Ressource pédagogique]
Date de publication :
20160311 |
Auteur(s) :
GOOSSENS Jan |
Editeur(s) :
FMSH Production, M.L & H.A-E |
Origine de la fiche :
Canal-u.fr
14h - 17h
L’Assistance Médicale à la Procréation dans les Pays Les Moins Avancés
Plaidoyer pour une AMP de qualité économiquement accessible
aux couples infertiles des pays émergents.
L’accès à l’AMP à bas prix est-il possible, où et pour quels risques sanitaires ?
Le développement de l’Assistance Médicale à la Procréation (AMP) dans
les Pays en Voie de Développement est-il une voie de développeme...
Référencé le :
05-07-2016
|
|
5ème Journée Humanitaire sur la Santé des Femmes dans le Monde.
Quelles sont les pistes stratégiques de l'objectif de développement durable pour 2030 - Le rôle du CNGOF par Pr Jacques LANSAC
[Ressource pédagogique]
Editeur(s) :
LANSAC Jacques |
Origine de la fiche :
Canal-u.fr
14h - 17h
L’Assistance Médicale à la Procréation dans les Pays Les Moins Avancés
Plaidoyer pour une AMP de qualité économiquement accessible
aux couples infertiles des pays émergents.
L’accès à l’AMP à bas prix est-il possible, où et pour quels risques sanitaires ?
Le développement de l’Assistance Médicale à la Procréation (AMP) dans
les Pays en Voie de Développement est-il une voie de développeme...
Référencé le :
20-05-2016
|
|
5ème Journée Humanitaire sur la Santé des Femmes dans le Monde - Stratégie de lutte contre la mortalité maternelle -"Modèle GSF en 3 temps" , par Dr. Richard MATIS (Vice-président Exécutif GSF)
[Ressource pédagogique]
Date de publication :
20160311 |
Auteur(s) :
MATIS Richard |
Editeur(s) :
FMSH Production |
Origine de la fiche :
Canal-u.fr
9h - 12h
Mourir en accouchant en 2016
Quelles sont les pistes stratégiques de réduction de la mortalité
maternelle pour atteindre les nouveaux Objectifs de Développement
Durable pour 2030 ?
Le 5ème Objectif du millénaire 1990-2015 de réduction de la mortalité
maternelle n’a pas été complètement atteint, quels enseignements en tirer ?
Quelles sont les axes stratégiques d’actions à développer ?
L’...
Référencé le :
20-05-2016
|
|
5ème Journée Humanitaire sur la Santé des Femmes dans le Monde - , par Dr. Anne-Sophie COUTIN (Médecins Sans Frontière)
[Ressource pédagogique]
Date de publication :
20160311 |
Auteur(s) :
COUTIN Anne-Sophie |
Editeur(s) :
FMSH Production |
Origine de la fiche :
Canal-u.fr
9h - 12h
Mourir en accouchant en 2016
Quelles sont les pistes stratégiques de réduction de la mortalité
maternelle pour atteindre les nouveaux Objectifs de Développement
Durable pour 2030 ?
Le 5ème Objectif du millénaire 1990-2015 de réduction de la mortalité
maternelle n’a pas été complètement atteint, quels enseignements en tirer ?
Quelles sont les axes stratégiques d’actions à développer ?
L’...
Référencé le :
20-05-2016
|
|
5ème Journée Humanitaire sur la Santé des Femmes dans le Monde.
L'accueil en France des étrangers en demande d'assistance médicale à la procréation par Dr. Lise SELLERET (Hôpital TENON)
[Ressource pédagogique]
Date de publication :
20160311 |
Auteur(s) :
SELLERET Lise |
Editeur(s) :
FMSH Production, M.L & H.A-E |
Origine de la fiche :
Canal-u.fr
14h - 17h
L’Assistance Médicale à la Procréation dans les Pays Les Moins Avancés
Plaidoyer pour une AMP de qualité économiquement accessible
aux couples infertiles des pays émergents.
L’accès à l’AMP à bas prix est-il possible, où et pour quels risques sanitaires ?
Le développement de l’Assistance Médicale à la Procréation (AMP) dans
les Pays en Voie de Développement est-il une voie de dévelop...
Référencé le :
19-05-2016
|
|
