2 options au choix

Acquisition des techniques d'analyse statique utiles pour le débuggage, la preuve, le test, la compréhension, la maintenance des programmes.

Modélisation des problèmes d'optimisation combinatoire et résolution pratique en utilisant un solveur adéquat. Une approche complète sera présentée aux étudiants en partant de la formulation d'un problème jusqu' à sa solution concrète en passant par sa modélisation. Sensibilisation sur les limites de temps de résolution.

Le cours présente les modèles informatiques et les algorithmes nécessaires à la modélisation et à la visualisation de scènes 3D.

• Le cours est constitué de 2 parties :
• Modélisations 2D (quadtree,…) et 3D  (principaux modeleurs géométriques)
• Visualisation - algorithmes de rendu
  • Elimination des parties cachées
  • Modèles d'éclairage tel que Phong
  • Radiosité, …

La biologie intégrative n'est pas une discipline nouvelle. La complexité de la biologie et la quantité énorme d'informations exige l'interprétation « intégrative » des résultats. Pour réussir ce processus d'intégration, pour passer de l'information à la connaissance, il faut mettre en œuvre des disciplines multiples (biologie cellulaire, moléculaire, développementale, évidemment informatique, mais aussi mathématiques, physique, chimie, modélisation, …).

• La cellule comme un ensemble de réseaux
  • Notion de réseau. Stationnarité et transitoires. Stabilité.
  • Théorie de la rétroaction. Circuits négatifs et positifs. Homéostasie et bascules dans le génome.
  • Réseaux intracellulaires : transcriptome, protéome, interactome.
  • Notions sur les réseaux booléens. Le modèle NK de S. Kauffman. Percolation.
  • Réseaux catalytiques et auto-catalytiques, adaptation et auto- structuration (application au cycle cellulaire).
  • Supracriticalité et le Prion. Chimie combinatoire, espace de formes.
• Dynamique des systèmes complexes vivants
  • Structures spatio-temporelles et auto- organisation
  • Structures dépendant de leur fonctionnement
  • Niveaux d'organisation du vivant. Importance et rôle des structures.
  • Hyperstructures (application à la mitochondrie).
  • Rythmes et oscillations complexes. Couplages d'oscillateurs.
  • Dynamique du calcium chez les prokaryotes