Calendar

Events in April 2018

  • Perception, Cognition and Interaction: Part II

    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.

    .

     

     

  • Perception, Cognition and Interaction: Part III

    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.

     

     

  • Special Session on Cryptocurrencies

    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".

Comments are closed.