217 citations
- Institut national de recherche en sciences et technologies du numériqueFR18 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Université de RennesFR3 papers
- Aalborg UniversityDK2 papers
- Université Paris-SudFR2 papers
- Centre de Recherches sur la Cognition AnimaleFR1 paper
- Centre Inria de l'Université Grenoble AlpesFR1 paper
- Centrum Wiskunde & InformaticaNL1 paper
- DYLISS: Dynamics, Logics and Inference for biological Systems and SequencesFR1 paper
- East China Normal UniversityCN1 paper
- École Centrale de NantesFR1 paper
6 papers · 1 filter
Echo State Queueing Network: a new reservoir computing learning tool
Sebastián Basterrech, Gerardo Rubino
In the last decade, a new computational paradigm was introduced in the field of Machine Learning, under the name of Reservoir Computing (RC). RC models are neural networks which a…
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
Gwenaël Delaval, Alain Girault, Marc Pouzet
We address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, our f…
Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming
Santiago Videla, Carito Guziolowski, Federica Eduati +4
A fundamental question in systems biology is the construction and training to data of mathematical models. Logic formalisms have become very popular to model signaling networks bec…
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen +4
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how…
Combining Brain-Computer Interfaces and Haptics: Detecting Mental Workload to Adapt Haptic Assistance
Laurent George, Maud Marchal, Loeïz Glondu +1
In this paper we introduce the combined use of Brain-Computer Interfaces (BCI) and Haptic interfaces. We propose to adapt haptic guides based on the mental activity measured by a B…
Traffic Instabilities in Self-Organized Pedestrian Crowds
Mehdi Moussaid, Elsa G. Guillot, Mathieu Moreau +7
In human crowds as well as in many animal societies, local interactions among individuals often give rise to self-organized collective organizations that offer functional benefits…