Upcoming session: May 21st, 2013
Mathieu Leconte (DYOGEN)
Warith Harchaoui (WILLOW)
Just another seminar?
The Junior Seminar (« séminaire des doctorants ») allows Inria PhD students / interns / post-docs to present their work. The talks are meant to be easily understandable, so that anyone can attend.
The Junior Seminar is a good occasion to discover what the other teams are up to: if you ever wondered what's happening in other buildings, this seminar is made for you.
Where? When?
The seminar is usually scheduled every third Tuesday of the month, with a break during the summer. The seminar takes place at Rocquencourt, usually in Amphi Turing. Watch out for the posters in your building and in the cafeteria.
Format
The seminar is held in English to make sure everyone can attend. There are two 25-minute talks + two 5-minute sessions for questions after each talk. Coffee is provided, as well as snacks.
I want to speak! I have a student who should speak!
Send us an email at semdoc@inria.fr, and we'll make sure you can give a talk :).
Who are we?
Currently in charge of the seminar:
Elisa Schenone +
Emanuele Leoncini
+ Jonathan Protzenko.
Formerly in charge of the seminar: Mathieu
Feuillet initially got motivated enough to restart this seminar.
We're always looking for help, so if you want to help us find new victims and organize rehearsals, do contact us!
Here are the archives of the Junior Seminar.
April 23rd, 2013
Senanayak Karri (SIERRA)
Submodular functions are a useful class of discrete set functions in various areas such as economics, computer vision, machine learning, computer networks, operations research etc. Optimization of submodular functions is a problem that lies on the boundary of efficiently computable(P) and not efficiently computable(NP) class of problems. Sesh gave an overview of different algorithms proposed to perform optimization efficiently.
Joshué Perez (IMARA)
(no slides ☹)
In the last years, mass-produced vehicle implementations have been done in the field of intelligent Transportation System (ITS). The Advanced Driver Assistance Systems (ADAS), intelligent infrastructures and autonomous driving maneuvers have significantly contributed to the implementation of intelligent systems on the road and in urban areas. Thanks to research done by many groups and projects is possible to find safer and more comfortable vehicles. Some examples are: Antilock Brake System (ABS), Cruise control (CC), Automatic parking and Electronic Stability Control (ESC), among others. At this time, it is not a utopia to think that, in a close future, autonomous vehicle will coexist with other conventional vehicles, interacting with them. In this work, different control systems for autonomous vehicles have been developed, both individual and cooperative maneuvers in different urban and highway scenarios. Using previous works in the lateral and longitudinal controller, different experiments have validated the modular control architecture, independent of the vehicle and the scenario used, described in this paper. To realize these experiments, different platforms have been used. Electric and gasoline-propelled vehicles for urban environment, that is: straight and curve segments, blocked roads, overtakings, commucations between infrastructure and vehicles and high speed experiments have been used. Furthermore, this control system is easy to tune, based on fuzzy logic techniques and human knowledge, and it has been extended to different maneuvers.
March 26th, 2013
François Durand (GANG)
François gave an introduction to voting systems. Voting systems are useful not only for elections, but also in computer systems such as routing, where entities have to make choices for the best route possible. After trying to understand what is a "good" voting system, and whether such a good voting system exists, we saw how we can try to manipulate the results of an election, and what we can do about it.
David Benoît (MICMAC)
David told us about the mathematical analysis of models for a non-Newtonian fluid. Numerous problems, especially in civil and environmental engineering (rivers, avalanches, mudslides) require simulations of non-Newtonian fluids. Compared to Newtonian fluids, which can be modeled with the Navier-Stokes equations, the non-Newtonian nature brings new nonlinearities that complicate the modeling and numerical simulation of such fluids.
February 26th, 2013
Cédric Pasteur (PARKAS)
Cédric gave us an introduction to time and concurrency in programming languages, more specifically, synchronous functional programming languages, such as ReactiveML. The talk featured several amazing demos, including one with a famous plumber from a well-known video game.
Nick Jagiella (BANG)
(no slides ☹)
Nick, after successfully defending his PhD, summed it up for us: we learned how cancer works, in particular, what kind of mechanisms come into play when modeling cancerous cell growth. Nick connected together both a macroscopic point of view and a microscopic perspective, and showed how successful modeling can help give better predictions for patients.
January 15th, 2013
Gregory Arbia (REO)
Congenital heart defects are the leading cause of birth defects, affecting 1% of in live births. For many of them, several surgeries are needed. Modeling of blood flow becomes a tool for understanding a disease, or to simulate different surgical options. The magnetic resonance imaging can construct a three-dimensional geometry and flow measurements. On the other hand, using a catheter, blood pressure measurements are done. Then it is to simulate the flow of blood in the discretized field and to model the effect of the structure downstream. At this end a coupling between the partial differential equations of Navier-Stokes equations and ordinary differential equation is performed at each output of three-dimensional domain. Issues of this study are numerical and clinical. On the one hand it is necessary to deal with problems related to coupling instabilities, and on the other hand clinicians want a reliable representation of the flow of blood in the area of interest. The results are presented for five patients who underwent a so called Norwood procedure, connecting the systemic network to the arterial network close to the heart.
Jaime Gaspar (PI.R2)
Proof interpretations are tools in mathematical logic with many applications: for example, consistency results, unprovability results, and extraction of computational content from proofs, to name a few. In this talk we are going to introduce proof interpretations and to present examples of their applications. We keep the talk short, simple and sweet.
December 14th, 2012
Francesco Santini (Contraintes)
Semiring-based Soft Constraints provide a mean to associate a score to the satisfaction of classical crisp constraints. In this way, it becomes possible to represent users' preferences, to solve over-constrained problems, and to optimize weighted problems in general. In this talk, Francesco introduced the general formal framework, and an application to Abstract Argumentation Frameworks.
Benjamin Aymard (Sisyphe)
An ovarian follicle is a spherical shelter for oocyte, in the ovaries. The selection process ends by ovulation, in the best case, bust most of the time by atresia (degeneration). We study the problem of the selection process of the ovarian follicles. At micro scale, the model is a 2D hyperbolic system of conservation laws of size 20 times 20 with discontinuous fluxes on interfaces. At macro scale, we have a closed loop control. The coupling between micro and macro is done by the moments of the solution. In order to obtain numerical simulations of such a model we use parallelization and high order finite volume schemes. The strategy in the computations is to use an analogy with the biology.
November 20th, 2012
Thibaut Balabonski (Gallium)
Thibaut explained to us how to save time in a computation by cheating the system in order to build simple optimal evaluation strategies in any programming language.
Saverio Smaldone (REO)
Saverio told us how to split the complexity the cardiovascular system by coupling the blood flow in the different cardiovascular compartments.
October 16th, 2012
Steven Gay (Contraintes)
Steven told us how he uses contraints programming to efficiently solve problems on graphs that model biological reactions.
Anne-Céline Boulanger (BANG)
Anne-Céline explained to us how to optimize microalgae growth, a complex problem with many parameters -- algae could serve as a potential source of biofuel in the future.
September 18th, 2012
Gabriel Scherer (Gallium)
Gabriel gave a very engaged talk about how real-world languages are poorly designed, and how the programming language community can help prevent design mistakes. This talk bashed various languages such as Python, Javascript, PHP...
Cécile Mailler (LMV)
Cécile introduced us to the topic she worked on during her master's internship, namely, random boolean binary trees. She gave a very accessible introduction to the main result about these trees, and gave proof sketches using two different techniques.
June 26th, 2012
Filippo Visco Comandini (SISYPHE)
Filippo gave us an introduction to electrical networks, and how to detect faults in them. Like many other research topics, this is motivated by industrial concerns, especially in airplanes, where diagnosing faulty components in crucial.
Aliénor Burel (Poems)
The slides
— also available in an
alternate format
Aliénor told us about wave propagation in soft materials. Modeling such phenomena involves complex mathematical equations, and a lot of numerical analysis.
May 15th, 2012
Mathieu Feuillet (RAP)
Mathieu works on network modeling. He uses probabilities and queuing networks; there are various applications, and the one he chose to present is the study of congestion in the Internet network. His worrying talk was entitled « Is the Internet doomed to collapse? ».
Estelle Mbinky (GAMMA)
Estelle works on mesh generation algorithms. Problems include mesh refinement, and applications include various modeling situations, such as planes. She told us about error control for anisotropic physics problems.
April 10th, 2012
Jérémie Lumbroso (Algorithms)
Jérémie gave us an introduction to probabilistic algorithms. In particular, he showed us how probabilistic counting algorithms allow one to watch a flow of data, and count items in real-time, while using less bits than required and still giving an accurate estimate. Applications include sequence counting in DNA, filtering out duplicates in search results...
Alexandre Imperiale (MACS)
Alexandre works on heart modeling. He told us about his favorite pig, and how he modeled his heart, then made a barbecue out of it. There are various problems involved with heart modeling: one of them is data assimilation, that is, finding parameters so that the simulation matches observations as close as possible.
March 20th, 2012
Luna Dimitrio (BANG)
Luna works on p53, a super-powerful protein. When the cell is shocked, p53 is able to suspend the cellular division while the cell heals; if the cell is damaged beyond repair, p53 will kill the cell. Luna explained the different feedback mechanisms, and how, introducing a spatial aspect in her differential equations, she was able to accurately modify the oscillations in the concentration of p53.
Pawan Goyal (Sanskrit)
Pawan works on text analysis: he told us how, using various techniques, he was able to improve the quality of information retrieval in various documents, and improve text summarization as well. He described the various challenges in extracting relevant extracts from documents.
February 14th, 2012
Amel Bennaceur (ARLES)
Amel's work is about making different, apparently incompatible systems talk together. This is particularly useful in emergency response situations, where you have to make different entities work together. By reasoning formally on what different systems expect, she is able to dynamically generate glue that ties these different systems together.
Jannis Uhlendorf (Contraintes)
Jannis' work is about proteins, and how to engineer them so that they behave differently. By using a control-command system, he is able to control the development of these proteins.
January 17th, 2012
Karim Drifi (CLIME)
Karim works in climate modeling; he tries to predict the velocity of fluids, such as the sea, using imagery data, e.g. temperature measurements obtained from a satellite. These models require tremendous computing power, and his job is to invent new techniques so that the modeling becomes tractable.
Yanli Guo (SMIS)
Yanli works with embedded databases in smart cards. The very specific constraints of such chips require sophisticated algorithms to provide cryptographic guarantees while still coping with the limited capabilities of the chips, and this is what Yanli's works are about.
December 20th, 2011
Émilie Coupechoux (TREC)
Émilie told us how she uses graphs to model epidemics propagation; how the presence of clusters, or communities, in graphs, allows one to better understand how epidemics propagate; and how this relates to real-life situations.
Cristóbal Bertoglio (REO)
Cristóbal introduced us to fluid-structure interactions, and how we can use them to measure artery stifness: this has many application, especially in diagnosing and measuring congenital heart diseases.
November 15th, 2011
Christina Boura (Secret)
Christina introduced the audience to cryptographic hash functions, their properties, and what makes a hash function a good one.
William Weens (BANG)
The slides
— also available in an
alternate format
Wiliam Weens talked about liver cancer, and how to use an agent-based model to reason about cell interactions, which may lead to a better understand of the various cancer types.
October 18th, 2011
Thierry Martinez (Contraintes)
Thierry Martinez discussed constraint logic programming, and illustrated his talk with the Sudoku game as an example.
Daniele Trimarchi (Macs)
(no slides ☹)
Daniele Trimarchi gave a talk about to model difficult physical phenoma such as wind in yacht sails, using advanced modelisation techniques.
September 20th, 2011
Marc Mezzarobba (Algorithms)
Marc gave a talk on computer-assisted symbolic computations on mathematical functions.
Alexandre Pilkiewicz (GALLIUM)
Alexandre gave a talk about formally verifying the compilation process using the CompCert verified compiler, and why certified compilation is important in life.