October 2017 – PhD Seminars

Month: October 2017

Networks, Systems and Services, Distributed Computing: Part I

Networks, Systems and Services, Distributed Computing: Part I

MOMI 2018

Archives

Calendar

2:00 pm: Perception, Cognition and Interaction: Part II

2:00 pm: Perception, Cognition and Interaction: Part III

2:00 pm: Special Session on Cryptocurrencies

MOMI 2018

Subjects of interest

Archives

Calendar

2:00 pm: Perception, Cognition and Interaction: Part II

2:00 pm: Perception, Cognition and Interaction: Part III

2:00 pm: Special Session on Cryptocurrencies

Talk 1

Talk 2

Talk 1

Talk 2

Talk 1

Talk 2

Talk 1

Talk 2

Talk 1

Talk 2

Talk 1

Talk 2

Nathalie GAYRAUD 2017/10/09 2017/10/13Seminars 0

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…

Search for:
MOMI 2018

Program

Speakers

Poster Session

Venue
Subjects of interest
applied mathematics asteroid exploration biological systems cafe adstic combinatorial optimization communication conductivity estimation dynamics EEG fixed point loops fluid dynamics functional emmbeddings fusion plasmas Galerkin time domain methods git health-biology infection spread invariant manifolds marketing mesh microscopy modeling nanophotonics networks-systems-distributed-computing neuronal cells neurons numerical simulations optimal transport optimisation optimization pattern recognition PDE protein function radar applications regularization retina routing applications scientific dissemination sed shape matching source localization stochastic gradient algorithm synaptic plasticity variability workshop
Archives

4 2:00 pm: Perception, Cognition and Interaction: Part II April 4, 2018 2:00 pm – 4:00 pm Talk 1 Speaker Ines SARRAY (STARS) Title Design of activity recognition systems : An Application to the measurement of human factors. Abstract Activity recognition aims at recognizing and understanding the movements, actions, and objectives of mobile objects. These objects can be humans, animals, or simple artefacts. Many important and critical applications such as surveillance or healthcare require some form of (human) activity recognition. Existing languages can be used to describe models of activities, but they are difficult to master by non computer scientists (ex: doctors). We present a new language dedicated to end users, to describe their activities. We call it ADeL (Activity Description Language) and we provide it with two formats: textual and graphical. This language is intended to be part of a complete recognition system. Such a system has to be real time, reactive, correct, and dependable. We choose the synchronous approach because it respects these characteristics, it ensures determinism and safe parallel composition, and it allows verification of systems using model-checking. Relying on the synchronous approach, we supply our language with two complementary formal semantics: First a behavioral semantics gives a reference definition of program behavior using rewriting rules. Second, an equational semantics describes the behavior in a constructive way and can be directly implemented. Talk 2 Speaker Valentin Deschaintre (GRAPHDECO) Title Materials in Computer Graphics Abstract In this talk I will give a broad picture of materials representation in Computer Graphics. Convincing material appearance is crucial for realism of a computer generated scene. Material appearance in the real world is the result of complex light interactions. Simulating this physical phenomena is a challenging task. Many material models -empirical or physically-based- were proposed, but a unified representation has yet to be defined. Designing a material is a complex artistic process; it can be greatly simplified through the acquisition of real object's appearance. I will discuss limitations of current material models, state-of-the-art in material acquisition from real objects and describe how our recent works eases this process. . More

16 2:00 pm: Perception, Cognition and Interaction: Part III April 16, 2018 2:00 pm – 4:00 pm Talk 1 Speaker Mauricio Alejandro Cano (University of Groningen - Visiting Inria and I3S - INDES team) Title Multiparty Reactive Sessions Abstract This talk concerns formal models for the analysis of communication-centric software systems with declarative and reactive behaviors. We focus on session-based concurrency, the interaction model induced by session types, which uses (variants of) the pi-calculus as specification languages. While well-established, such process models are not expressive enough to specify declarative and reactive behaviors common in emerging communication-centric software systems. Here we propose the synchronous reactive programming paradigm (SRP) as a uniform foundation for session-based concurrency. We present correct encodings of session-based calculi into ReactiveML, a synchronous reactive programming language. Talk 2 Speaker Thierry Speterbroot (Team DIANA) Title ACQUA - Forecasting Quality of Experience Abstract ACQUA (Application for prediCting QUality of Experience at Internet Access) is an Android application that measures your mobile connection performance and estimates how your favourite applications will be affected by your connection. An application in ACQUA is a function, or a model, that links the network-level and device-level measurements to the expected quality of experience (QoE). Supervised machine learning techniques are used to establish such link between network measurements and estimations of the Quality of Experience. Moreover a lightweight measurement plane allows us to perform measurement continously. With this approach we can provide insights over time on network performance as well as user-friendly QoE values that summarise the state of the network. More

23 2:00 pm: Special Session on Cryptocurrencies April 23, 2018 2:00 pm – 4:00 pm Talk 1 Speaker Guillermo GALLARDO (Team ATHENA) Title Introduction to the blockchain technology and cryptocurrencies Abstract TBA. Talk 2 Speaker Michael Fell (Team WIMMICS) Title Value and Price of Crypto Currencies Abstract In this talk we will see why Bitcoin is worth something and not nothing. We then show applications where crypto currencies have value beyond "money transfer". We will investigate how the price of a crypto currency is actually derived. Finally, we will have an outlook on the future of "internet money". More