Ressources
Votre recherche
1294 résultats
Physique des semiconducteurs : Fondamentaux. (Optique Pour l'Ingénieur : Capteurs à semi-conducteurs et applications)
Dans la première partie de ce cours, des modèles simples de semi-conducteurs intrinsèques et extrinsèques de type N et P sont exposés. Ces modèles basés sur l'évolution des populations électroniques p...
Intégrer la dimension éthique et le respect de la déontologie (référentiel C2i : module A2)
Dans la mesure où nul n'est censé ignorer la loi, toute personne utilisant un ordinateur se doit de connaître les grands principes du droit de l'informatique, de la même manière que tout usager de la ...
Modèles globaux ou régionaux : comment zoomer le climat ?
Comment représenter les processus de petite échelle, comme les précipitations ou les orages, dans la modélisation climatique d'une région ? Une technique de guidage le permet...
Simulation numérique des mouvements de chevelure
Synthétiser le mouvement d’une chevelure suscite un intérêt croissant chez les développeurs de jeux vidéos ou de films d’animation mais aussi les industriels en cosmétique.
Comment désigner le vainqueur d’une élection ?
Étant donnés un ensemble de candidats et un ensemble de votants, déterminer un candidat préféré collectivement n’est pas aussi trivial que nos habitudes pourraient nous le laisser penser.
Modéliser les communautés bactériennes pour mieux comprendre leur fonctionnement
De l’intestin aux racines des plantes en passant par l’océan, le rôle des micro-organismes dans les écosystèmes est prépondérant. C’est en décodant leurs séquences génétiques que l’on peut prédire leu...
La naissance du génie logiciel
À la fin des années 1960 éclate la « crise du logiciel », prise de conscience des difficultés que rencontre le développement des grands projets informatiques. De ce constat va naître une nouvelle disc...
La mémoire virtuelle, une abstraction féconde
La mémoire virtuelle est présente dans la majorité des ordinateurs, que l'ordinateur cible soit fixe ou portable, que le système soit celui d'une tablette, d'un téléphone portable ou d'un objet connec...
Formal verification
The Tezos blockchain has several advantages over its concurrents. One of them is the formal verification of smart contract. This module shows a brief overview of how Tezos smart contracts can be forma...
Situated interaction and co-adaptive systems: creating a partnership between people and intelligent systems
Computer Science developed as a field at a time when computers were expensive, isolated machines run by teams of highly trained engineers. Not surprisingly, the primary focus of Computer Science has b...