Zobrazeno 1 - 10
of 561
pro vyhledávání: '"Burattin A"'
Large language models (LLMs) hold promise for generating plans for complex tasks, but their effectiveness is limited by sequential execution, lack of control flow models, and difficulties in skill retrieval. Addressing these issues is crucial for imp
Externí odkaz:
http://arxiv.org/abs/2410.12870
Large Language Models (LLMs) have shown significant promise in plan generation. Yet, existing datasets often lack the complexity needed for advanced tool use scenarios - such as handling paraphrased query statements, supporting multiple languages, an
Externí odkaz:
http://arxiv.org/abs/2409.09191
This paper explores the problem of determining which classes of Petri nets can be encoded into behaviourally-equivalent CCS processes. Most of the existing related literature focuses on the inverse problem (i.e., encoding process calculi belonging to
Externí odkaz:
http://arxiv.org/abs/2404.14385
Attack Trees are a graphical model of security used to study threat scenarios. While visually appealing and supported by solid theories and effective tools, one of their main drawbacks remains the amount of effort required by security experts to desi
Externí odkaz:
http://arxiv.org/abs/2402.12040
Autor:
Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Lafuente, Alberto Lluch, Vandin, Andrea
We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on the feature-oriented language QFLan in the PL engineering domain, allowi
Externí odkaz:
http://arxiv.org/abs/2401.13019
Process discovery is a family of techniques that helps to comprehend processes from their data footprints. Yet, as processes change over time so should their corresponding models, and failure to do so will lead to models that under- or over-approxima
Externí odkaz:
http://arxiv.org/abs/2208.05364
Autor:
Burattin, Andrea
Within process mining, a relevant activity is conformance checking. Such activity consists of establishing the extent to which actual executions of a process conform the expected behavior of a reference model. Current techniques focus on prescriptive
Externí odkaz:
http://arxiv.org/abs/2201.09222
Autor:
Sébastien Baekelandt, Antoine Bouchat, Nathalie Leroux, Jean-Baptiste Robert, Laura Burattin, Emmanuel Cishibanji, Jérôme Lambert, Céline Gérard, Céline Delierneux, Patrick Kestemont
Publikováno v:
Environment International, Vol 187, Iss , Pp 108702- (2024)
Combined oral contraceptives, comprising of both an oestrogen and a progestin component, are released in aquatic environments and potentially pose a risk to aquatic wildlife by their capacity to disrupt physiological mechanisms.In this study, the end
Externí odkaz:
https://doaj.org/article/d5d4730b5a234f1aa683c56e7f2bd25d
Autor:
Baekelandt, Sébastien, Leroux, Nathalie, Lambert, Jérôme, Bernay, Benoît, Robert, Jean-Baptiste, Burattin, Laura, Gérard, Céline, Delierneux, Céline, Cornet, Valérie, Kestemont, Patrick
Publikováno v:
In Aquatic Toxicology June 2024 271
Autor:
Baekelandt, Sébastien, Bouchat, Antoine, Leroux, Nathalie, Robert, Jean-Baptiste, Burattin, Laura, Cishibanji, Emmanuel, Lambert, Jérôme, Gérard, Céline, Delierneux, Céline, Kestemont, Patrick
Publikováno v:
In Environment International May 2024 187