Events in April 2018
-
Perception, Cognition and Interaction: Part II Perception, Cognition and Interaction: Part II
–
April 4, 2018Talk 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 GraphicsAbstract
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.
.
-
Perception, Cognition and Interaction: Part III Perception, Cognition and Interaction: Part III
–
April 16, 2018Talk 1
Speaker
Mauricio Alejandro Cano (University of Groningen - Visiting Inria and I3S - INDES team)
Title
Multiparty Reactive SessionsAbstract
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 ExperienceAbstract
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.
-
Special Session on Cryptocurrencies Special Session on Cryptocurrencies
–
April 23, 2018Talk 1
Speaker
Guillermo GALLARDO (Team ATHENA)
Title
Introduction to the blockchain technology and cryptocurrenciesAbstract
TBA.
Talk 2
Speaker
Michael Fell (Team WIMMICS)Title
Value and Price of Crypto CurrenciesAbstract
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".