As the second year of the PhD seminars comes to an end, we propose the following questionnaire so that the quality of the PhD seminars continues to improve. The questionnaire is anonymous. We greatly appreciate your participation and hope that you will write as much details as possible. After all, the PhD seminars are “par les doctorants, pour les doctorants”.
-
Calendar
May 2019 Monday Tuesday Wednesday Thursday Friday Saturday Sunday April 29, 2019 2:00 pm: PhD Seminars Special Edition
2:00 pm: PhD Seminars Special EditionApril 29, 2019 –
Talk 1
SpeakerYves Bertot (Marelle)
Title
Practical aspects of the Coq system: why is it considered a major advance in Computer Science
Abstract
In 2014, The ACM (Association for Computing Machinery) gave the "Software System Award" to the Coq system. In this talk, we shall explain why this professional access considers that this system is a major advance for the future of computer technology. In practice, we shall show that programs can be described in mathematical and logical terms, that theorems can be stated about programs, and that the proof of these theorems can be verified by computers.
Talk 2
Speaker
Andrea Castagnetti (Elicie Healthy)
Title
The Ellcie Healthy smart glasses: 23 grams of technology made in France
Abstract
Ellcie Healthy smart connected glasses (eyewear) have been designed to look after people and prevent risks like drowsiness at the wheel. Fifteen sensors embedded in the frame continuously measure physical, physiological and environmental data that are processed by Ellcie Healthy’s Artificial Intelligence to raise an alert when needed. The first part of the talk will cover the company history and the development of our first commercial product. In the second part of the talk we will present the research and development projects that we are conducting in collaboration with research laboratories to develop new concepts and technologies like sensory substitution devices ("Artefact" project: LEAT, UCA) and fall prevention applications for elderly people (Lamhess, UFR Staps and CHU Nice).
April 30, 2019 May 1, 2019 May 2, 2019 May 3, 2019 May 4, 2019 May 5, 2019 May 6, 2019 May 7, 2019 May 8, 2019 May 9, 2019 May 10, 2019 May 11, 2019 May 12, 2019 May 13, 2019 May 14, 2019 May 15, 2019 May 16, 2019 May 17, 2019 May 18, 2019 May 19, 2019 May 20, 2019 May 21, 2019 May 22, 2019 May 23, 2019 May 24, 2019 May 25, 2019 May 26, 2019 May 27, 2019 2:00 pm: PhD Seminars X
2:00 pm: PhD Seminars XMay 27, 2019 –
Talk 1
SpeakerJenny Kartsaki (BIOVISION)
Title
Probing retinal function with a multi-layered simulator
Abstract
Our brain can recreate images from interpreting a stream of information emitted by one million parallel channels in the retina. This ability is partly due to the astonishing functional and anatomical diversity of the retinal ganglion cells (RGCs), each interpreting a different feature of the visual scene. In addition, RGCs “speak” to each other during complex tasks (especially motion handling), via amacrine cells (ACs - lateral connectivity). To decipher their role, we study an experimental setting that allows us to switch on or off RGCs and/or ACs using the drug CNO. This may not only impact the RGCs individual response but also their concerted activity to different stimuli, thus allowing us to understand how they contribute to the encoding of complex visual scenes. However, it is difficult to distinguish on pure experimental grounds the effect of CNO when both cell types are excited or inhibited, as these cells “antagonise” each other. Contrarily, numerical simulation can afford it. Here, we propose a novel simulation platform that can reflect normal and impaired retinal function (from single-cell to large-scale level). It is able to handle different visual processing circuits and allows us to visualise responses to visual scenes (movies). In addition, the platform allows simulation of retinal responses where we can silence or excite cell subclasses with CNO.
Talk 2
Speaker
Selma Souihel (BIOVISION)Title
Anticipation in the retina and the primary visual cortex : towards an integrated retino-cortical model for motion processingAbstract
The retina is able to perform complex tasks and general feature extraction, allowing the visual cortex to process visual stimuli with more efficiency. With regards to motion processing, an interesting and useful task performed by the retina is anticipation and trajectory extrapolation. The first contribution of our work lies in the development of a generalized 2D model of the retina with three layers of ganglion cells : Fast OFF cells with gain control accounting for anticipation, direction selective cells connected via gap junctions, and Y-cells connected through amacrine cells, accounting for motion extrapolation. The second contribution is the use of the output of our retina model as an input to a mean field model of the primary visual cortex to reproduce motion anticipation as observed in VSDI recordings of V1 . We present results of the integrated retino-cortical model for motion processing, and study how anticipation and extrapolation depend on stimuli parameters such as speed, shape and trajectory. Through the integrated retina-cortical model we emphasize the mechanisms defining motion anticipation, due to the cooperation of gain control and lateral connectivity at the level of the retina and lateral connectivity in the cortex.
May 28, 2019 May 29, 2019 May 30, 2019 May 31, 2019 June 1, 2019 June 2, 2019
