Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24048 results Filters Content type Content type (-) Lessons (24021) News (1750) People (1389) Editions (362) Chair (360) Page (228) (-) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Research Event Gérard Berry Model-checking Lecture Documents and media Download support Abstract This lecture concludes the general presentation of formal verification methods with model-checking . This method is quite different from the previous ones, in that it is primarily concerned with finite-state … 25 Mar 2015 16:00 to 17:30 Event Pierre Monsan From metabolic engineering to synthetic biology and industrial biotechnologies Seminar 25 Mar 2015 11:00 to 12:00 Event Marc Fontecave From metabolic engineering to synthetic biology Lecture For the production of molecules of interest, laboratories have long had at their disposal chemical synthesis and - much more recently - the tools of metabolic engineering and synthetic biology. A precise definition of these different fields is given in … 25 Mar 2015 10:00 to 11:00 Event Alain de Libera The invention of the modern subject (continued) : will and action (9) Lecture The first hour of the lecture on March 24 was devoted to the Hobbes-Bramhall controversy as seen by Leibniz, in "Réflexions sur l'ouvrage que M. Hobbes a publié en Anglois de la liberté, de la nécessité et du hazard". In this monograph, Leibniz argues the … 24 Mar 2015 16:30 to 17:30 Event Jean-Noël Robert The jousting of languages : The Collection of Chinese and Japanese poems worthy of recitation (Wa-kan rôei shû) (11th century) (12) Lecture 24 Mar 2015 10:30 to 11:30 Event Jean-Noël Robert Reading of Sino-Japanese poems related to the course topic (8) Seminar A good knowledge of classical Japanese is required for the seminar … 24 Mar 2015 11:45 to 13:15 Event Sanjay Subrahmanyam Connected history of court societies (2) Lecture 23 Mar 2015 10:00 to 11:00 Series Confucian values and practices in Han China Anne Cheng, chair Chinese Intellectual History Guest lecturer 10 Feb 2011 Event Claude Cohen-Tannoudji Black states. From quantum optics to cooling atoms and molecules Seminar 24 Mar 2015 11:00 to 12:00 Event Serge Haroche Ultra-cold quantum gases: Bose-Einstein condensates and degenerate Fermion gases Lecture Documents and media Download support Abstract The third lesson focused on the physics of quantum gases, Bose Einstein condensates (BECs) and degenerate fermion gases (DGFs). The properties of a BEC are reminiscent of those of a laser beam in which photons … 24 Mar 2015 09:30 to 10:30 Event Nicolas Grimal Calamus and stone (11) Lecture 23 Mar 2015 14:00 to 15:00 Event Nicolas Grimal The annals of Thutmosis III (continued) (11) Seminar 23 Mar 2015 15:00 to 16:00 Event François Charles Recent advances in arithmetic surface geometry (3) Guest lecturer 15 Jan 2015 10:00 to 11:00 Series Deductive Proofs-Are They Objective? Anne Fagot-Largeault, chair Philosophy of biological and medical sciences Guest lecturer 07 Apr 2009 Series The Evolution of Stories Stanislas Dehaene, chair Experimental Cognitive Psychology Guest lecturer 08 Feb 2011 → 15 Feb 2011 Event Tamy Boubekeur Processing, analysis and editing of digitized 3D shapes Seminar A digitized 3D model takes the form of a set of surface samples that require intensive processing before they can be used. However, even the most advanced processing provides only a low-level representation, lacking the high-level structuring required for … 20 Mar 2015 11:30 to 12:30 Event Marie-Paule Cani Reuse and transfer of 3D models Lecture Regardless of how it was created, building a new geometric model is a difficult and time-consuming task. Various approaches have therefore been developed to enable models to be reused in a different context, automating the necessary modifications wherever … 20 Mar 2015 10:30 to 11:30 Event Hugo Duminil-Copin Geometric representations of spin models on low-dimensional networks (1) Guest lecturer 13 Jan 2015 10:00 to 11:00 Event Frantz Grenet The urban phenomenon in pre-Islamic Central Asia : diachronic and synchronic approaches (continued) (4) Lecture The "Kangju" period (Minardi: "Antique 2"), 3rd c. - 1st c. b.c. Why "Kangju"? It's a nomadic political entity mentioned from the 2nd century onwards in Chinese sources; the name, which is unfortunate in the case of Khorezm, was chosen by Tolstov to … 19 Mar 2015 15:30 to 16:30 Event Thomas Römer Massa and Meriba, the war with Amalek and the meeting at the mountain of God (Ex 17-18) Lecture Documents and media Download support … 19 Mar 2015 14:00 to 15:00 Event Alain Supiot International social justice (I) (5) Lecture 19 Mar 2015 11:00 to 12:00 Event Gabriele Lolli Trees and logic : objects, instruments, metaphors Seminar 19 Mar 2015 10:00 to 12:00 Event Carlo Ossola Paradigms for a metaphorology I : " The plant is the model for man " (9) Lecture 18 Mar 2015 17:00 to 18:00 Event Christine Petit Modulation of sound perception by attention, learning and emotion : roles and mechanisms Lecture We were interested in the mechanisms underlying the modulation of auditory perception by attention, and particularly in the involvement of cerebral electrical oscillations in this process. The lecture began with a presentation of these oscillations and … 19 Mar 2015 10:00 to 11:30 Pagination First page « First Previous page ‹‹ … Page 619 Page 620 Page 621 Page 622 Page 623 Page 624 Page 625 Page 626 Page 627 … Next page ›› Last page Last »
Event Gérard Berry Model-checking Lecture Documents and media Download support Abstract This lecture concludes the general presentation of formal verification methods with model-checking . This method is quite different from the previous ones, in that it is primarily concerned with finite-state … 25 Mar 2015 16:00 to 17:30
Event Pierre Monsan From metabolic engineering to synthetic biology and industrial biotechnologies Seminar 25 Mar 2015 11:00 to 12:00
Event Marc Fontecave From metabolic engineering to synthetic biology Lecture For the production of molecules of interest, laboratories have long had at their disposal chemical synthesis and - much more recently - the tools of metabolic engineering and synthetic biology. A precise definition of these different fields is given in … 25 Mar 2015 10:00 to 11:00
Event Alain de Libera The invention of the modern subject (continued) : will and action (9) Lecture The first hour of the lecture on March 24 was devoted to the Hobbes-Bramhall controversy as seen by Leibniz, in "Réflexions sur l'ouvrage que M. Hobbes a publié en Anglois de la liberté, de la nécessité et du hazard". In this monograph, Leibniz argues the … 24 Mar 2015 16:30 to 17:30
Event Jean-Noël Robert The jousting of languages : The Collection of Chinese and Japanese poems worthy of recitation (Wa-kan rôei shû) (11th century) (12) Lecture 24 Mar 2015 10:30 to 11:30
Event Jean-Noël Robert Reading of Sino-Japanese poems related to the course topic (8) Seminar A good knowledge of classical Japanese is required for the seminar … 24 Mar 2015 11:45 to 13:15
Event Sanjay Subrahmanyam Connected history of court societies (2) Lecture 23 Mar 2015 10:00 to 11:00
Series Confucian values and practices in Han China Anne Cheng, chair Chinese Intellectual History Guest lecturer 10 Feb 2011
Event Claude Cohen-Tannoudji Black states. From quantum optics to cooling atoms and molecules Seminar 24 Mar 2015 11:00 to 12:00
Event Serge Haroche Ultra-cold quantum gases: Bose-Einstein condensates and degenerate Fermion gases Lecture Documents and media Download support Abstract The third lesson focused on the physics of quantum gases, Bose Einstein condensates (BECs) and degenerate fermion gases (DGFs). The properties of a BEC are reminiscent of those of a laser beam in which photons … 24 Mar 2015 09:30 to 10:30
Event François Charles Recent advances in arithmetic surface geometry (3) Guest lecturer 15 Jan 2015 10:00 to 11:00
Series Deductive Proofs-Are They Objective? Anne Fagot-Largeault, chair Philosophy of biological and medical sciences Guest lecturer 07 Apr 2009
Series The Evolution of Stories Stanislas Dehaene, chair Experimental Cognitive Psychology Guest lecturer 08 Feb 2011 → 15 Feb 2011
Event Tamy Boubekeur Processing, analysis and editing of digitized 3D shapes Seminar A digitized 3D model takes the form of a set of surface samples that require intensive processing before they can be used. However, even the most advanced processing provides only a low-level representation, lacking the high-level structuring required for … 20 Mar 2015 11:30 to 12:30
Event Marie-Paule Cani Reuse and transfer of 3D models Lecture Regardless of how it was created, building a new geometric model is a difficult and time-consuming task. Various approaches have therefore been developed to enable models to be reused in a different context, automating the necessary modifications wherever … 20 Mar 2015 10:30 to 11:30
Event Hugo Duminil-Copin Geometric representations of spin models on low-dimensional networks (1) Guest lecturer 13 Jan 2015 10:00 to 11:00
Event Frantz Grenet The urban phenomenon in pre-Islamic Central Asia : diachronic and synchronic approaches (continued) (4) Lecture The "Kangju" period (Minardi: "Antique 2"), 3rd c. - 1st c. b.c. Why "Kangju"? It's a nomadic political entity mentioned from the 2nd century onwards in Chinese sources; the name, which is unfortunate in the case of Khorezm, was chosen by Tolstov to … 19 Mar 2015 15:30 to 16:30
Event Thomas Römer Massa and Meriba, the war with Amalek and the meeting at the mountain of God (Ex 17-18) Lecture Documents and media Download support … 19 Mar 2015 14:00 to 15:00
Event Gabriele Lolli Trees and logic : objects, instruments, metaphors Seminar 19 Mar 2015 10:00 to 12:00
Event Carlo Ossola Paradigms for a metaphorology I : " The plant is the model for man " (9) Lecture 18 Mar 2015 17:00 to 18:00
Event Christine Petit Modulation of sound perception by attention, learning and emotion : roles and mechanisms Lecture We were interested in the mechanisms underlying the modulation of auditory perception by attention, and particularly in the involvement of cerebral electrical oscillations in this process. The lecture began with a presentation of these oscillations and … 19 Mar 2015 10:00 to 11:30