7.7k citations
- Centre National de la Recherche ScientifiqueFR351 papers
- Institut Élie Cartan de LorraineFR325 papers
- Institut Jean LamourFR113 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR67 papers
- CRANFR40 papers
- Institut national de recherche en sciences et technologies du numériqueFR39 papers
- Sorbonne UniversitéFR36 papers
- Université Paris-SaclayFR28 papers
- Institut Universitaire de FranceFR26 papers
- Laboratoire de Physique et Chimie ThéoriquesFR26 papers
- École PolytechniqueFR22 papers
- Université Paris CitéFR22 papers
41 papers · 1 filter
Efficient Convex Zone Merging in Parametric Timed Automata
Étienne André, Dylan Marinho, Laure Petrucci +1
Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a signifi…
An Overview of Indian Spoken Language Recognition from Machine Learning Perspective
Spandan Dey, Md Sahidullah, Goutam Saha
Automatic spoken language identification (LID) is a very important research field in the era of multilingual voice-command-based human-computer interaction (HCI). A front-end LID m…
Optimal bounds for Neumann eigenvalues in terms of the diameter
Antoine Henrot, Marco Michetti
In this paper, we obtain optimal upper bounds for all the Neumann eigenvalues in two situations (that are closely related). First we consider a one-dimensional Sturm-Liouville eige…
Analysis of constant-Q filterbank based representations for speech emotion recognition
Premjeet Singh, Shefali Waldekar, Md Sahidullah +1
This work analyzes the constant-Q filterbank-based time-frequency representations for speech emotion recognition (SER). Constant-Q filterbank provides non-linear spectro-temporal r…
strategFTO: Untimed control for timed opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux +1
We introduce a prototype tool strategFTO addressing the verification of a security property in critical software. We consider a recent definition of timed opacity where an attacker…
Experimental and Theoretical Investigations of a Ground Source Heat Pump System for Water and Space Heating Applications in Kazakhstan
Yelnar Yerdesh, Tangnur Amanzholov, Abdurashid Aliuly +8
The ground source heat pump heating system is considered as one of the best solutions for the transition towards green heating under the continental climate conditions like Kazakhs…