43 résultats : fonctionnelle

Recherche en cours

Par mots-clef = fonctionnelle

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

43 résultats

page 1 sur 5

résultats 1 à 10

Quand l’informatique vient en aide aux handicapés moteurs

Description : Améliorer le quotidien de certains handicapés moteurs en restaurant le mouvement de leurs membres paralysés, tel est l’objectif de la stimulation électrique fonctionnelle. Explications de Christine Azevedo.

Mots clés : podcast, stimulation électrique fonctionnelle, handicap moteur, mouvement, modélisation, fuscia

Date : 17-04-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

Quand l’informatique vient en aide aux handicapés moteurs

Ajouter à mon panier

Accéder au document

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

Sensivity analysis to morphological changes of the shoulder joint: application to percussion gestures during Oldowan debitage / Alicia Blasi-Toccacceli

Description : Sensivity analysis to morphological changes of the shoulder joint: application to percussion gestures during Oldowan debitage / Alicia Blasi-Toccacceli, in colloque "1st Virtual Conference for Women Archaeologists and Paleontologists. Nouveaux apports à l’étude des populations et environ ...

Mots clés : hominidés fossiles, industrie lithique, paléoanthropologie, adaptation (biologie), anatomie fonctionnelle

Date : 08-03-2021

Sensivity analysis to morphological changes of the shoulder joint: application to percussion gestures during Oldowan debitage / Alicia Blasi-Toccacceli

Ajouter à mon panier

Accéder aux documents

Biochimie agroalimentaire : ensemble des cours

Description : La Biochimie Alimentaire se situe au carrefour des Sciences de la Vie et du Génie des Procédés et plus particulièrement du Génie Industriel Alimentaire. L'approche des relations Structure-Fonction qui sont importantes tant du point de vue nutritionnel que fonctionnel permettra d'expliquer les in ...

Mots clés : biochimie alimentaire, glucide, polysaccharide alimentaire, épaississant, gélifiant, stabilisant, acide aminé, protéine alimentaire, structure-conformation, dénaturation, texturation, propriété fonctionnelle, brunissement enzymatique, réaction de Maillard, acide gras, lipide, propriété nutritionnelle, ...

Date : 19-03-2008

Droits : Ces ressources sont la propriété conjointe de l'Université des Sciences et Technologies de Lille et d' UNIT. Leur utilisation est libre dans les limites fixées par la licence CeCILL : http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html

Biochimie agroalimentaire : ensemble des cours

Ajouter à mon panier

Accéder au document

Protéines alimentaires (Biochimie Agroalimentaire)

Description : En industries agroalimentaires, les protéines occupent une place de choix tant par leur valeur nutritionnelle que par leurs propriétés techno-fonctionnelles. Avant d'aborder successivement les protéines d'origine végétale puis celles d'origine animale on abordera dans un premier temps les propriétés ...

Mots clés : biochimie alimentaire, industrie agroalimentaire, protéine alimentaire, propriétés fonctionnelles des protéines, protéine végétale, protéine animale, hydrolyse des protéines, enzyme, propriété d'hydratation, propriété de texturation, propriété de surface

Date : 19-03-2008

Protéines alimentaires (Biochimie Agroalimentaire)

Ajouter à mon panier

Accéder au document

Biochimie agroalimentaire : ensemble des cours

Date : 19-03-2008

Biochimie agroalimentaire : ensemble des cours

Ajouter à mon panier

Accéder au document

Protéines alimentaires (Biochimie Agroalimentaire)

Date : 19-03-2008

Protéines alimentaires (Biochimie Agroalimentaire)

Ajouter à mon panier

Accéder au document

Les calculateurs analogiques

Description : Dans les années 1950 et 1960, il existait un type de calculateur qu’aucun moins de quarante ans n’a probablement jamais manipulé : les calculateurs analogiques. Comment ces étranges machines fonctionnent-elles ?

Mots clés : équation différentielle, schéma fonctionnel, système dynamique, simulation, ordinateur, histoire de l'informatique, fuscia

Date : 14-01-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

Les calculateurs analogiques

Ajouter à mon panier

Accéder au document

Comprendre l’impact des anesthésiques sur le cerveau

Description : Si les risques liés à l’anesthésie générale sont mieux contrôlés, on ne maîtrise pas ses effets sur le cerveau. Laure Buhry en parle dans cet épisode du podcast audio.

Mots clés : cerveau, anesthésie générale, relations fonctionnelles, approche mathématique, approche informatique, neurones, fuscia

Date : 23-05-2014

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

Comprendre l’impact des anesthésiques sur le cerveau