Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu’il exécute. Cette extraordinaire plasticité a permis à l’ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l’incroyable et souvent effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques ? Comment établir qu’un logiciel est digne de confiance ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.

Multidisciplinary --- informatique --- sciences numériques --- mathématiques --- programmation --- langage de programmation --- logiciel

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Maîtriser la création de formes, qu’elles soient inspirées par le réel ou sorties de notre imagination, est un défi tant pour l’artiste que pour le scientifique. Comment mettre la création en 3D à la portée de tous et permettre à chacun de « façonner l’imaginaire » plus facilement qu’avec un papier et un crayon ? De la modélisation géométrique des formes à l’assemblage d’une scène complexe et à son animation, Marie-Paule Cani nous présente une nouvelle méthodologie pour rendre la création numérique 3D plus expressive, en s’appuyant sur des exemples concrets : comment concevoir et animer des vêtements, des chevelures, une prairie arborée ou une cascade ?

Multidisciplinary --- informatique graphique --- création numérique --- mondes virtuels --- animation numérique --- 3D --- modélisation --- informatique --- sciences numériques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Le langage algorithmique est d’une richesse expressive suffisante pour faire face à la haute complexité descriptive du monde vivant. Les circuits cellulaires, les bancs de poissons, les nuées d’oiseaux, la transmission de rumeurs, les mouvements de foule, la polarisation politique sont autant d’exemples de dynamique sociale qui se prêtent à la modélisation par les algorithmes naturels. L’algorithmique est essentielle à la science du XXIe siècle et constitue un des grands enjeux de l’informatique d’aujourd’hui.

Algorithms. --- Algorithms --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Algorism --- Algebra --- Arithmetic --- Foundations --- algorithmique --- systèmes dynamiques --- sciences numériques --- informatique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Managing time and events is central in various fields from IT, circuits and software embedded in objects of all kinds to musical creation, including the simulation of physical phenomena. This subject is however little treated by traditional data processing. This lesson presents models of time and events associated with new programming languages. It deals with the notions of thickness of the instant, of hierarchical and multiform time created by the repetition of events, and of the real time / continuous time relationship.

Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- systèmes embarqués --- programmation informatique --- sciences numériques --- langages informatiques --- langage de programmation --- informatique --- temps --- synchronisation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Leçon inaugurale prononcée le 10 mars 2011 Chaire dInformatique et sciences numériques Aujourdhui, les questions de sécurité informatique sont omniprésentes, non seulement dans le renseignement militaire mais également dans la finance, le commerce, la gestion de données médicales, les réseaux sociaux et bien dautres cadres. À partir dun exemple de la vie courante, le spam, Martin Abadi aborde des aspects variés de linformatique tels que les protocoles cryptographiques, les modèles de ca--

Computer security --- Electronic data processing departments. --- Computer Science --- Security measures. --- Informatics --- Science --- Computer centers --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Protection --- Security measures --- cryptographie --- sciences numériques --- informatique --- spam --- sécurité informatique