23 citations
- Université de Bretagne OccidentaleFR15 papers
- Laboratoire des Sciences et Techniques de l’Information de la Communication et de la ConnaissanceFR14 papers
- Centre National de la Recherche ScientifiqueFR12 papers
- Democritus University of ThraceGR4 papers
- Ghent UniversityBE4 papers
- IMT AtlantiqueFR4 papers
- Institut de Recherche en Informatique de ToulouseFR4 papers
- Donetsk National Technical UniversityUA2 papers
- Flinders UniversityAU2 papers
- Institut Polytechnique de BordeauxFR2 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
- Norwegian University of Science and TechnologyNO2 papers
Showing 2017Show all
3 papers · 1 filter
eess.SY2017★ 2 cited
Un résultat intrigant en commande sans modèle
Cédric Join, Emmanuel Delaleau, Michel Fliess +1
An elementary mathematical example proves, thanks to the Routh-Hurwitz criterion, a result that is intriguing with respect to today's practical understanding of model-free control,…
math.LO2017★ 7 cited
A Decidable Intuitionistic Temporal Logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque
We introduce the logic , an intuitionistic temporal logic based on structures , where is used to interpret intuitionistic implication…
cs.DB2017★ 2 cited
Inline Co-Evolution between Users and Information Presentation for Data Exploration
Landy Rajaonarivo, Matthieu Courgeon, Eric Maisel +1
This paper presents an intelligent user interface model dedicated to the exploration of complex databases. This model is implemented on a 3D metaphor : a virtual museum. In this me…