Mathematical Explorations of Brain’s Activity The last century has been a fascinating period during which important experimental work have brought to light a vast body of findings characterizing brain’s activity in response of stimuli and their neuronal and molecular bases. These studies have revealed how millions of neurons interact together in order to process sensory information, analyze it and produce a rapid and adapted response. Recently, mathematics and computer science have taken an important role in advancing our knowledge of how the brain functions. The talk will (briefly) present some basic mechanisms at play in the brain, a few mathematical models representing brain’s activity at different scales, as well as a few new mathematical issues raised by their mathematical analysis. In particular, I will present a fascinating and somewhat mysterious synchronization phenomenon arising when the network heterogeneity or the randomness in each neurons’ activity increases. Explorations Mathématiques de l'activité du cerveau Le siècle dernier a été une période fascinante durant laquelle les recherches expérimentales ont fait des avancées majeures sur la caractérisation de l’activité du cerveau en réponse à des stimuli et leurs bases neuronales et moléculaires. Ces études ont révélé comment de gigantesques réseaux de millions de neurones s’activent afin de traiter des informations sensorielles, de l’analyser et d’y répondre de façon rapide et adaptée. Depuis peu, les mathématiques et l’informatique ont pris un rôle important dans les avancées sur la compréhension du fonctionnement du cerveau. L’exposé présentera (brièvement) les mécanismes de base du fonctionnement du cerveau, leurs modélisations mathématiques, ainsi que certains nouveaux problèmes mathématiques posés par l’analyse de ces équations. En particulier, nous présenterons un phénomène fascinant et encore mystérieux de synchronisation des neurones quand leur niveau de désordre ou l’aléas dans leur réponse augmente.
Mot(s) clés libre(s) : cerveau, modélisation mathématique, synchronisation des neurones

La complexité grandissante des circuits intégrés modernes a donné lieu à  de nouveaux types de circuits, qu'on appelle "systèmes sur puces". Il n'est aujourd'hui plus possible d'attendre les premiers prototypes physiques pour valider la bonne intégration de leurs composants et développer le logiciel embarqué, souvent de taille considérable. Il est donc nécessaire d'utiliser des prototypes virtuels des cirtuits tôt dans le flot de conception du système global. Dans cet exposé bicéphale, nous présenterons les techniques de prototypage virtuel basées sur l'environnement de programmation standard du domaine : SystèmC/TLM. La première partie présentera les techniques établies et leur utilisation dans le contexte industriel de STMicroelectronics. Nous présenterons les différentes plates-formes industrielles utilisées pour l'anticipation du développement logiciel embarqué et la vérification fonctionnelle de son fonctionnement sur plates-formes, et décrirons leurs catactéristiques et leurs limitations. Nous étudierons la représentativités des modèles ainsi construits, y compris pour les nouveaux besoins liés à la validation de propriétés extra-fonctionnelles devenues essentielles comme la consommation d'énergie. La seconde partie présentera des techniques de programmation et d'implémentation développées recemment pour répondre aux besoins précités et aussi pour exploiter efficacement le parallélisme des machines hôtes de la simulation. Séminaire associé au 3e cours à l'extérieur de Gérard Berry pour le collège de France intitulé "Urgences scientifiques posées par l'industrie".
Mot(s) clés libre(s) : synchronisation

Le GPS, une conférence de Jean-Pierre Lièvre. Principe de fonctionnement du Global Positioning System (GPS) et difficultés de mise en oeuvre.
Mot(s) clés libre(s) : GPS, localisation, satellite, satellites, lois de Képler, doppler fizeau, Galiléo, relativité restreinte, synchronisation, horloges atomiques, horloge atomique

Le numérus clausus augmente , les établissements fusionnent, ce qui pause des problèmes d'organisation de groupe. Il a fallu synchroniser 4 salles pour accueillir plus de 1000 étudiants en présentiel. On laisse aussi aux étudiants la possibilité de s'organiser et de suivre le cours sur Internet au moment désiré. 1000 accès simultanés sont possibles. Des cours en video sont stockés sur une plate-forme et visionnables en différé. Les étudiants disposent aussi d'un forum pour poser des questions. SCD médecine nancy 1 mpa
Mot(s) clés libre(s) : enseignement, IPM 2007, pédagogie numérique, présentiel, synchronisation, TICE

Description à venir Voir les autres programmes du jubilé André Calas : a-Jubilé André Calas - présentation b-Jubilé André Calas - Andrée Tixier-Vidal c-Jubilé André Calas - Alain Trembleau d-Jubilé André Calas - Bennis e-Jubilé André Calas - Gérard Alonso f-Jubilé André Calas - Olivier Kah g-Jubilé André Calas - Yves Tillet h-Jubilé André Calas - Olivier Bosler i-Jubilé André Calas - Mikhail Ugrumov j-Jubilé André Calas - Massimiliano Beltrano k-Jubilé André Calas - Marc Landry l-Jubilé André Calas - Brigitte Oteniente m-Jubilé André Calas - André Calas
Mot(s) clés libre(s) : horloge interne, morphologie., neuropeptides hypothalamiques, noyau suprachiasmatique, rythmes circadiens, sérotonine, synchronisation

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 29 janvier nous fera revenir à la science à travers trois problèmes scientifiques durs posés pour Esterel par les utilisateurs industriels et dont la solution était vitale pour eux, ce qui la rendait tout aussi vitale pour Esterel Technologies le traitement de la causalité, difficulté intrinsèque des langages synchrones dont la solution a été trouvée dans une relation surprenante entre logique et électricité, le traitement des circuits multi-horloges maintenant universels en électronique, et enfin le délciat traitement formel des ECO (Engineering Change Order), demandes de corrections de bugs d'un circuit sans toucher à son code source. Ces problèmes sont souvent bien différents de ceux que se posent spontanément les chercheurs, mais tout aussi scientifiques, tout aussi intéressants, et pas moins difficiles. Chaque cours sera suivi d'un séminaire.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 22 janvier 2014 présentera les points de vue du fournisseur et des clients industriels, selon mon expérience personnelle en tant que directeur scientifique de la société Esterel technologies. J'y insisterai sur l'ensemble des rouages nécessaires pour qu'une bonne idée se transforme en produits utilisable pour des développements industriels chez des clients standards, où le pragmatisme technologique l'emporte quasiment toujours sur la vision scientifique. J'illustrerai par l'exemple un des problèmes majeurs, bien exprimé dans le fameux livre "Crossing the Chasm" de Geoffrey A. Moore : les arguments techniques valables pour les industriels visionnaires, et donc promus par les chercheurs, ne le sont en général pas du tout pour les pragmatiques qui forment le gros des troupes. De plus, l'introduction de nouveaux langages et de nouvelles méthodes de programmation est mal perçue par ceux qui n'en voient pas immédiatement les avantages et craignent pour la continuité de leur chaîne d'outils. J'expliquerai pourquoi et comment SCADE a réussi à passer ce fossé pour les logiciels de haute sécurité en avionique, ferroviaire, industrie lourde, etc., en se présentant comme une amélioration sensible des modèles de programmation existants plutôt que comme une façon de faire radicalement nouvelle. De plus, développée dès les débuts industriels de SCADE, la certifiabilité de son compilateur pour les normes avioniques les plus sévères a joué un rôle clef pour son adoption.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le premier cours présentera l'aventure selon le point de vue des laboratoires de recherche, en se focalisant sur Esterel et Lustre / SCADE. J'y illustrerai les développements successifs de la théorie et des réalisations logicielles qui ont permis de passer à travers une succession d'étapes scientifiques des idées initiales aux langages et systèmes finaux. Je montrerai les nombreux avantages apportés par la collaboration industrielle, en particulier par la fourniture d'exemples d'un ordre de grandeur plus grands et plus complexes que ceux qu'imaginent les chercheurs. Mais je discuterai aussi des contraintes associées : la nécessité pour les industriels de disposer d'une chaîne de développement sans maillon faible, ce qui oblige les chercheurs à traiter des points pas toujours excitants pour eux ; la nécessité pour les partenaires et clients industriels d'avoir des produits stables au cours du temps, ce qui les rend méfiants vis-à-vis des avancées scientifiques imprévues en cours de projet.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels