Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
C
calculable
Déposer une
ressource
203
résultats :
calculable
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
calculable
Affiner ma recherche
OK
1
2
3
4
5
6
7
8
9
10
1
2
3
4
5
6
7
8
9
10
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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)
En savoir plus
Description complète
Matériaux et structures composites : ressources pour l'enseignement
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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/
En savoir plus
Description complète
TP maple -Roulement sans glissement
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Zététique : erreur et ordinateurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Claude Pair : un mathématicien qui rêvait de programmation
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Louis Bolliet, passionné d’informatique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Machine de Turing
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
En savoir plus
Description complète
Quand des erreurs se produisent dans les supercalculateurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Les jeux dynamiques, du combat aérien à l’écologie comportementale
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Quand les bactéries se mêlent du calcul des ordinateurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Preuves de programmes en coq
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1
2
3
4
5
6
7
8
9
10
Rebondir