Zobrazeno 1 - 10
of 527
pro vyhledávání: '"NENZI, P."'
Integrating symbolic knowledge and data-driven learning algorithms is a longstanding challenge in Artificial Intelligence. Despite the recognized importance of this task, a notable gap exists due to the discreteness of symbolic representations and th
Externí odkaz:
http://arxiv.org/abs/2405.14389
Deep learning methods for time series have already reached excellent performances in both prediction and classification tasks, including anomaly detection. However, the complexity inherent in Cyber Physical Systems (CPS) creates a challenge when it c
Externí odkaz:
http://arxiv.org/abs/2405.10608
Kniha
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.
Autor:
Uhrmacher, Adelinde, Frazier, Peter, Hähnle, Reiner, Klügl, Franziska, Lorig, Fabian, Ludäscher, Bertram, Nenzi, Laura, Ruiz-Martin, Cristina, Rumpe, Bernhard, Szabo, Claudia, Wainer, Gabriel A., Wilsdorf, Pia
Simulation has become, in many application areas, a sine-qua-non. Most recently, COVID-19 has underlined the importance of simulation studies and limitations in current practices and methods. We identify four goals of methodological work for addressi
Externí odkaz:
http://arxiv.org/abs/2310.05649
Autor:
Nichelatti, E., Piccinini, M., Ampollini, A., Astorino, M. D., Bazzano, G., Nenzi, P., Surrenti, V., Trinca, E., Ronsivalle, C.
Publikováno v:
Journal of Applied Physics; 12/28/2024, Vol. 136 Issue 24, p1-12, 12p
We introduce a similarity function on formulae of signal temporal logic (STL). It comes in the form of a kernel function, well known in machine learning as a conceptually and computationally efficient tool. The corresponding kernel trick allows us to
Externí odkaz:
http://arxiv.org/abs/2201.09928
We propose an interdisciplinary framework that combines Bayesian predictive inference, a well-established tool in Machine Learning, with Formal Methods rooted in the computer science community. Bayesian predictive inference allows for coherently inco
Externí odkaz:
http://arxiv.org/abs/2110.01360
From biological systems to cyber-physical systems, monitoring the behavior of such dynamical systems often requires to reason about complex spatio-temporal properties of physical and/or computational entities that are dynamically interconnected and a
Externí odkaz:
http://arxiv.org/abs/2109.08081
The Internet-of-Things, complex sensor networks, multi-agent cyber-physical systems are all examples of spatially distributed systems that continuously evolve in time. Such systems generate huge amounts of spatio-temporal data, and system designers a
Externí odkaz:
http://arxiv.org/abs/2106.08548
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (January 7, 2022) lmcs:7505
Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked at every scale and can communicate with each other and with humans. N
Externí odkaz:
http://arxiv.org/abs/2105.11400