Zobrazeno 1 - 10
of 5 725
pro vyhledávání: '"A. Bruyere"'
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
Publikováno v:
Trials, Vol 25, Iss 1, Pp 1-11 (2024)
Abstract Background Lithiasis is a common and recurrent disease. Flexible ureteroscopy (fURS) is the cornerstone of laser treatment of kidney stones. Kidney stones destruction requires its laser pulverization into small fragments in order to remove t
Externí odkaz:
https://doaj.org/article/19e535e4dcbc4168a9b906e1e44ff97d
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:
Alice Pitout, Pierre Lecoanet, Charles Mazeaud, Victor Gaillard, Baptiste Poussot, Thibault Tricard, Christian Saussine, Thibaut Brierre, Xavier Game, Florian Beraud, Xavier Biardeau, Franck Bruyere, Damien Robin, Mehdi El-Akri, Daniel Chevallier, Tiffany Cousin, Grégoire Capon, Jean-Nicolas Cornu, Hugo Dupuis, Hervé Monsaint, Nicolas Hermieu, Jean-François Hermieu, Priscilla Léon, Benoit Peyronnet, Imad Bentellis
Publikováno v:
International Neurourology Journal, Vol 28, Iss 2, Pp 147-155 (2024)
Purpose This study was performed to assess the risk factors for artificial urinary sphincter (AUS) explantation in a large multicenter cohort. Methods We retrospectively reviewed the medical records for all 1,233 implantations of the AMS-800 AUS devi
Externí odkaz:
https://doaj.org/article/c52b86d4e02c4f659307749b7d9ce715
Autor:
Raphael Fleury, Théophile Bertail, Karim Bensalah, Jean-Christophe Bernhard, Francois Audenet, Thibaut Waeckel, Bastien Parier, Cécile Champy, Jonathan Olivier, Nicolas Doumerc, Thibault Tricard, Nicolas Branger, Franck Bruyere, Paul Neuville, Louis Surlemont, Jean Alexandre Long, Alexis Fontenil, Maxime Vallee, Morgan Roupret, Romain Boissier, Jean Jacques Patard, Mathieu Durand, Idir Ouzaid, Benjamin Rouget, Xavier Durand, Charlotte Joncour, Olivier Belas, Florie Denise Gomez, Pierre Bigot, Zine-Eddine Khene
Publikováno v:
European Urology Open Science, Vol 62, Iss , Pp 123-130 (2024)
Background: There is no definitive evidence of the prognosis impact of histological variants (HVs) in patients who undergo surgical resection of a nonmetastatic renal cell carcinoma (nm-RCC) with venous tumor thrombus (TT). Objective: To investigate
Externí odkaz:
https://doaj.org/article/6fe27b07c35546afa3d934ea8deb4097