Zobrazeno 1 - 10
of 37 607
pro vyhledávání: '"A, FERRANDO"'
Publikováno v:
EPTCS 411, 2024, pp. 191-200
In the realm of autonomous driving, the development and integration of highly complex and heterogeneous systems are standard practice. Modern vehicles are not monolithic systems; instead, they are composed of diverse hardware components, each running
Externí odkaz:
http://arxiv.org/abs/2411.14520
Publikováno v:
EPTCS 411, 2024, pp. 73-90
Chatbots have become integral to various application domains, including those with safety-critical considerations. As a result, there is a pressing need for methods that ensure chatbots consistently adhere to expected, safe behaviours. In this paper,
Externí odkaz:
http://arxiv.org/abs/2411.14368
Publikováno v:
EPTCS 411, 2024, pp. 38-55
Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of ROSMonitoring designed to facilitate the monitoring of both topics and s
Externí odkaz:
http://arxiv.org/abs/2411.14367
Hallucinations in large language models are a widespread problem, yet the mechanisms behind whether models will hallucinate are poorly understood, limiting our ability to solve this problem. Using sparse autoencoders as an interpretability tool, we d
Externí odkaz:
http://arxiv.org/abs/2411.14257
Several algorithms implemented by language models have recently been successfully reversed-engineered. However, these findings have been concentrated on specific tasks and models, leaving it unclear how universal circuits are across different setting
Externí odkaz:
http://arxiv.org/abs/2410.06496
Left-Right Models (LRMs) are one of the most relevant extensions of the Standard Model (SM) of particle physics. They introduce an extended gauge sector and can restore parity (P) or charge conjugation (C) symmetries at high enough energies. These th
Externí odkaz:
http://arxiv.org/abs/2409.18552
Publikováno v:
Class. Quantum Grav. 41 (2024) 205013
The necessary and sufficient conditions for a perfect fluid solution to define a spatially-homogeneous cosmology are achieved. These conditions are Intrinsic, Deductive, Explicit and ALgorithmic, and they offer an IDEAL labeling of these geometries.
Externí odkaz:
http://arxiv.org/abs/2409.15854
Publikováno v:
Phys. Rev. D 110, 044012 (2024)
The thermodynamic interpretation of the Stephani Universes is studied in detail. The general expression of the speed of sound and of the thermodynamic schemes associated with a thermodynamic solution is obtained. The constraints imposed on the soluti
Externí odkaz:
http://arxiv.org/abs/2409.01852
Stacking defects in noble metal nanoparticles significantly impact their optical, catalytic, and electrical properties. While some mechanisms behind their formation have been studied, the ability to deliberately manipulate nanoparticle bulk morpholog
Externí odkaz:
http://arxiv.org/abs/2409.01254
Autor:
Ferrando, Angelo, Malvone, Vadim
Trusting software systems, particularly autonomous ones, is challenging. To address this, formal verification techniques can ensure these systems behave as expected. Runtime Verification (RV) is a leading, lightweight method for verifying system beha
Externí odkaz:
http://arxiv.org/abs/2408.11627