203 résultats : calcul

Recherche en cours

Par mots-clef = calcul

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

203 résultats

page 5 sur 21

résultats 41 à 50

Matériaux et structures composites : ressources pour l'enseignement

Description : Ensemble de ressources permettant à un enseignant la mise en place de séquences pédagogiques concernant les matériaux et structures composites (Cours, TP, TD) en adéquation avec les pratiques actuelles dans l’industrie et la communauté scientifique.

Mots clés : matériau composite, composite bio-sourcé, fibre, composites thermostructuraux, procédé d'infusion, gel coat, imprégnation, procédés par voie liquide, autoclave, modélisation des composites, calcul de structures, théories des plaques stratifiées, micromécanique, mécanique de la rupture

Date : 08-09-2016

Droits : Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'École normale supérieure Paris-Saclay. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL (http://www.cecill.info/licences/Licence_CeCILL-V2_VF.pdf)

Matériaux et structures composites : ressources pour l'enseignement

Ajouter à mon panier

Accéder au document

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/

TP maple -Roulement sans glissement

Ajouter à mon panier

Accéder au document

Zététique : erreur et ordinateurs

Description : Cours de zététique visant à montrer sur des exemples simples que l'ordinateur peut calculer (partiellement) "faux". Introduction aux notions d'analyse numérique et de "méfiance" dans un ordinateur. Réflexion sur la toute-puissance de la science. Enseignement de Jérôme Bastien à l'INSA de Lyon.

Mots clés : zététique, analyse numérique, MATLAB, algorithme de calcul, résolution de systèmes linéaires, erreur de calcul machine, erreur de méthode, erreurs sur les données, représentation des réels, calcul numérique de dérivées, calcul complexe

Date : 01-12-2009

Droits : Cette ressource libre d'accès est la propriété de son auteur Jérôme Bastien

Zététique : erreur et ordinateurs

Ajouter à mon panier

Accéder au document

Claude Pair : un mathématicien qui rêvait de programmation

Description : Précurseur français de la recherche en informatique, Claude Pair a toujours eu une vision très pragmatique de cette discipline, qu’il concevait pour soulager le travail, affranchir des contraintes spatiales et temporelles.

Mots clés : recherche en informatique, calculateur, Algol 60, compilateur, pénétration des TIC, fuscia

Date : 10-05-2007

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

Claude Pair : un mathématicien qui rêvait de programmation

Ajouter à mon panier

Accéder au document

Louis Bolliet, passionné d’informatique

Description : Nous vous proposons une rencontre avec Louis Bolliet. Il retrace les débuts de la recherche en informatique à Grenoble tels qu’il les a vécus et livre son sentiment sur l’évolution de ce domaine toujours en mouvement.

Mots clés : recherche en informatique, mathématiques appliquées, formation des ingénieurs, calcul numérique, fuscia

Date : 01-08-2006

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

Louis Bolliet, passionné d’informatique

Ajouter à mon panier

Accéder au document

Machine de Turing

Description : Dans les années 30, Alan Turing a inventé une machine abstraite et expliquer la notion de « procédure mécanique » : on parle d'algorithme. Cette machine est la plus élémentaire possible destinée à faire agir des mécanismes de calcul, numériques ou symboliques, comme le font notamment les ordinat ...

Mots clés : machine de Turing, algorithme, calcul binaire, procédure mécanique, programme, mémoire mécanique, applet

Date : 29-01-2009

Droits : Ce document est publié sous licence Creative Commons Paternité - Pas d'Utilisation Commerciale - Pas de Modification 2.0 http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Quand des erreurs se produisent dans les supercalculateurs

Description : La France vient de se doter du supercalculateur baptisé Jean Zay, l'un des plus puissants d'Europe, offrant des capacités de calculs inimaginables jusqu'à présent pour la recherche française. Mais saviez-vous que des pannes peuvent se produire chaque jour dans ces machines surpuissantes ? Anne Benoit ...

Mots clés : supercalculateur, calcul haute performance, tolérance aux pannes, modélisation, optimisation, fréquence optimale de sauvegarde

Date : 10-02-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

Quand des erreurs se produisent dans les supercalculateurs

Ajouter à mon panier

Accéder au document

Les jeux dynamiques, du combat aérien à l’écologie comportementale

Description : La théorie des jeux : un vaste domaine de recherche à la frontière de l’économie et des mathématiques, qui n’a rien à voir avec les jeux vidéos. De quels jeux s’agit-il ici ?

Mots clés : mathématiques appliquées, théorie des jeux, calcul des variations, programmation dynamique, recherche opérationnelle, fuscia

Date : 30-05-2006

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 jeux dynamiques, du combat aérien à l’écologie comportementale

Ajouter à mon panier

Accéder au document

Quand les bactéries se mêlent du calcul des ordinateurs

Description : La modélisation des cellules permettra-t-elle de trouver des solutions aux problèmes que nos ordinateurs ne savent pas résoudre ? Pour le chercheur Hugues Berry, c’est une piste à explorer...

Mots clés : podcast, bio-inspiration, puissance de calcul, technologie multicoeurs, modélisation multi-échelles, loi de Moore, fuscia

Date : 26-09-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 les bactéries se mêlent du calcul des ordinateurs

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

Rebondir