Month: October 2017
-
-
MOMI 2018
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
Calendar
April 2018
MMonday
TTuesday
WWednesday
TThursday
FFriday
SSaturday
SSunday
26March 26, 2018
27March 27, 2018
28March 28, 2018
29March 29, 2018
30March 30, 2018
31March 31, 2018
1April 1, 2018
2April 2, 2018
3April 3, 2018
4April 4, 2018
2:00 pm: Perception, Cognition and Interaction: Part II
2:00 pm: Perception, Cognition and Interaction: Part II
April 4, 2018
–
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.
.
5April 5, 2018
6April 6, 2018
7April 7, 2018
8April 8, 2018
9April 9, 2018
10April 10, 2018
11April 11, 2018
12April 12, 2018
13April 13, 2018
14April 14, 2018
15April 15, 2018
16April 16, 2018
2:00 pm: Perception, Cognition and Interaction: Part III
2:00 pm: Perception, Cognition and Interaction: Part III
April 16, 2018
–
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.
17April 17, 2018
18April 18, 2018
19April 19, 2018
20April 20, 2018
21April 21, 2018
22April 22, 2018
23April 23, 2018
2:00 pm: Special Session on Cryptocurrencies
2:00 pm: Special Session on Cryptocurrencies
April 23, 2018
–
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".
24April 24, 2018
25April 25, 2018
26April 26, 2018
27April 27, 2018
28April 28, 2018
29April 29, 2018
30April 30, 2018
1May 1, 2018
2May 2, 2018
3May 3, 2018
4May 4, 2018
5May 5, 2018
6May 6, 2018
MOMI 2018
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 workshopArchives
Calendar
April 2018 MMonday TTuesday WWednesday TThursday FFriday SSaturday SSunday 26March 26, 2018 27March 27, 2018 28March 28, 2018 29March 29, 2018 30March 30, 2018 31March 31, 2018 1April 1, 2018 2April 2, 2018 3April 3, 2018 4April 4, 2018 2:00 pm: Perception, Cognition and Interaction: Part II
2:00 pm: Perception, Cognition and Interaction: Part IIApril 4, 2018 –
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 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.
.
5April 5, 2018 6April 6, 2018 7April 7, 2018 8April 8, 2018 9April 9, 2018 10April 10, 2018 11April 11, 2018 12April 12, 2018 13April 13, 2018 14April 14, 2018 15April 15, 2018 16April 16, 2018 2:00 pm: Perception, Cognition and Interaction: Part III
2:00 pm: Perception, Cognition and Interaction: Part IIIApril 16, 2018 –
Talk 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.
17April 17, 2018 18April 18, 2018 19April 19, 2018 20April 20, 2018 21April 21, 2018 22April 22, 2018 23April 23, 2018 2:00 pm: Special Session on Cryptocurrencies
2:00 pm: Special Session on CryptocurrenciesApril 23, 2018 –
Talk 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".
24April 24, 2018 25April 25, 2018 26April 26, 2018 27April 27, 2018 28April 28, 2018 29April 29, 2018 30April 30, 2018 1May 1, 2018 2May 2, 2018 3May 3, 2018 4May 4, 2018 5May 5, 2018 6May 6, 2018