Talk 1 Title: How to use Hop and HipHop technologies for the scene: The Massively Interactive Music track. Speaker: Bertrand PETIT and Manuel SERANO – INDES Abstract: In a concert the common way of performing music is largely asymmetric. Most of the time, we have the musicians on one side…
| Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday |
|---|---|---|---|---|---|---|
April 29, 20192:00 pm: PhD Seminars Special Edition2:00 pm: PhD Seminars Special EditionApril 29, 2019 – Talk 1
Yves 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, 20192:00 pm: PhD Seminars X2:00 pm: PhD Seminars XMay 27, 2019 – Talk 1
Jenny 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
|
May 28, 2019 | May 29, 2019 | May 30, 2019 | May 31, 2019 | June 1, 2019 | June 2, 2019 |
