Zobrazeno 1 - 10
of 7 851
pro vyhledávání: '"A. Bruyère"'
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
This paper addresses complexity problems in rational verification and synthesis for multi-player games played on weighted graphs, where the objective of each player is to minimize the cost of reaching a specific set of target vertices. In these games
Externí odkaz:
http://arxiv.org/abs/2403.00399
Autor:
Tuncer, Daphne, Bruyere, Marc
Several recent initiatives have proposed new directions for research practices and their operations in the computer science community, from updated codes of conduct that clarify the use of AI-assisted tools to the inclusion of ethical statements and
Externí odkaz:
http://arxiv.org/abs/2402.00442
In this paper, we deepen the study of two-player Stackelberg games played on graphs in which Player $0$ announces a strategy and Player $1$, having several objectives, responds rationally by following plays providing him Pareto-optimal payoffs given
Externí odkaz:
http://arxiv.org/abs/2308.09443
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
Autor:
Vana Orfanou, Caroline Bruyère, Andreas G. Karydas, Dragan Jovanović, Filip Franković, Miloš Spasić, Jovan Koledin, Dragan Jacanović, Momir Cerović, Jasmina Davidović, Barry Molloy
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-19 (2024)
Abstract The burial of metals in hoards is a trademark phenomenon of prehistoric Europe that may be counterintuitive to perceptions of value nowadays. For the first time here, we establish detailed biographies of a large corpus of hoarded metal objec
Externí odkaz:
https://doaj.org/article/639f9aa2ebd845798dcab71b773a8df9
Publikováno v:
Journal of Alloys and Compounds, 2023, 936, pp.168258
Dual-phase Zr-based thin films synthesized by magnetron co-sputtering and showing competitive growth between amorphous and crystalline phases have been reported recently. In such films, the amorphous phase grows as columns, while the crystalline phas
Externí odkaz:
http://arxiv.org/abs/2301.08589
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:
Nicolas Branger, Nicolas Doumerc, Thibaut Waeckel, Pierre Bigot, Louis Surlemont, Sophie Knipper, Géraldine Pignot, François Audenet, Frank Bruyère, Alexis Fontenil, Bastien Parier, Cécile Champy, Morgan Rouprêt, Jean-Jacques Patard, François Henon, Gaëlle Fiard, Julien Guillotreau, Jean-Baptiste Beauval, Constance Michel, Simon Bernardeau, Fayek Taha, Richard Mallet, Frederic Panthier, Laurent Guy, Louis Vignot, Zine-Eddine Khene, Jean-Christophe Bernhard
Publikováno v:
European Urology Open Science, Vol 63, Iss , Pp 89-95 (2024)
Background and objective: Data regarding open conversion (OC) during minimally invasive surgery (MIS) for renal tumors are reported from big databases, without precise description of the reason and management of OC. The objective of this study was to
Externí odkaz:
https://doaj.org/article/c797e0521da247119df28759150fded7
Autor:
Finaba Berete, Lydia Gisle, Stefaan Demarest, Rana Charafeddine, Olivier Bruyère, Stephan Van den Broucke, Johan Van der Heyden
Publikováno v:
BMC Public Health, Vol 24, Iss 1, Pp 1-16 (2024)
Abstract Background Health literacy (HL) has been put forward as a potential mediator through which socioeconomic status (SES) affects health. This study explores whether HL mediates the relation between SES and a selection of health or health-relate
Externí odkaz:
https://doaj.org/article/3491e568ecb645ce8e1f1c960a4ba0a8