Zobrazeno 1 - 10
of 431
pro vyhledávání: '"P Staquet"'
Autor:
Bruyère, Véronique, Garhewal, Bharat, Pérez, Guillermo A., Staquet, Gaëtan, Vaandrager, Frits W.
We present the first algorithm for query learning of a class of Mealy machines with timers in a black-box context. Our algorithm is an extension of the L# algorithm of Vaandrager et al. to a timed setting. We rely on symbolic queries which empower us
Externí odkaz:
http://arxiv.org/abs/2403.02019
Autor:
A. Staquet, C. Proisy, L. Granjon, T. Maury, P.-E. Augusseau, A. Gardel, A. Attali, G. Brunier, C. Leroy, A. Mury, F. Facundes, V. F. Santos, E. Anthony
Publikováno v:
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol XLVIII-3-2024, Pp 527-532 (2024)
Understanding how mangroves respond to sea level rise is critical for coastal management and conservation. This study investigates the feasibility of two remote sensing techniques, Light Detection and Ranging (LiDAR) and Structure-from-Motion (SfM) p
Externí odkaz:
https://doaj.org/article/7fb782d599fd44d8b330f1e929a71184
Publikováno v:
Formal Modeling and Analysis of Timed Systems (FORMATS) 2023 pp. 33-49
In this work, we study properties of deterministic finite-state automata with timers, a subclass of timed automata proposed by Vaandrager et al. as a candidate for an efficiently learnable timed model. We first study the complexity of the configurati
Externí odkaz:
http://arxiv.org/abs/2305.07451
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2023, pp. 271-289
We present a new streaming algorithm to validate JSON documents against a set of constraints given as a JSON schema. Among the possible values a JSON document can hold, objects are unordered collections of key-value pairs while arrays are ordered col
Externí odkaz:
http://arxiv.org/abs/2211.08891
Autor:
Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Then, we introduce new benchmark classes that have been added to the SYN
Externí odkaz:
http://arxiv.org/abs/2206.00251
Publikováno v:
Weather and Climate Dynamics, Vol 5, Pp 211-229 (2024)
When anticyclonic conditions persist over mountainous regions in winter, cold-air pools (i.e. thermal inversions) develop in valleys and persist from a few days to a few weeks. During these persistent cold-air pool (PCAP) episodes the atmosphere insi
Externí odkaz:
https://doaj.org/article/f4e356ad4fb2439f8597de21154b9507
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2022 pp. 271-289
We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value queries and partial equivalence queries. In a partial equivalence quer
Externí odkaz:
http://arxiv.org/abs/2110.09434
Autor:
Othmane Safy, Floriane Rousseaux, Marie-Elisabeth Faymonville, Dominique Libbrecht, Robert Fontaine, Melissa Raaf, Cécile Staquet, Hadrien Tasset, Vincent Bonhomme, Audrey Vanhaudenhuyse, Aminata Bicego
Publikováno v:
Frontiers in Psychology, Vol 15 (2024)
BackgroundThe management of chronic pain may involve an array of tools, including radiofrequency thermocoagulation (Rf-Tc) of sensory nerve terminals. Like many other invasive procedures, Rf-Tc can generate anxiety in a lot of patients, either during
Externí odkaz:
https://doaj.org/article/4c182bd0464c458593af10064faa693e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Developments in the Built Environment, Vol 16, Iss , Pp 100275- (2023)
This study investigates the development of elastic and creep properties of sodium hydroxide-activated blast furnace slag mortar, utilizing three different molarities of the activator solution and two solution-to-binder ratio and a reference OPC-based
Externí odkaz:
https://doaj.org/article/38929e1d781f4009aaf97e64a8ef6fa5