Zobrazeno 1 - 10
of 6 067
pro vyhledávání: '"Briand, P."'
Autor:
Briand, Emmanuel, Esquivias-Quintero, Luis, Gutiérrez, Álvaro, Lillo, Adrián, Rosas, Mercedes
We present the first combinatorial proof of the Graham-Pollak Formula for the determinant of the distance matrix of a tree, via sign-reversing involutions and the Lindstr\"om-Gessel-Viennot Lemma. Our approach provides a cohesive and unified framewor
Externí odkaz:
http://arxiv.org/abs/2407.01227
In safety-critical systems (e.g., autonomous vehicles and robots), Deep Neural Networks (DNNs) are becoming a key component for computer vision tasks, particularly semantic segmentation. Further, since the DNN behavior cannot be assessed through code
Externí odkaz:
http://arxiv.org/abs/2406.13359
Log-based anomaly detection has been widely studied in the literature as a way to increase the dependability of software-intensive systems. In reality, logs can be unstable due to changes made to the software during its evolution. This, in turn, degr
Externí odkaz:
http://arxiv.org/abs/2406.07467
Mutation testing consists of generating test cases that detect faults injected into software (generating mutants) which its original test suite could not. By running such an augmented set of test cases, it may discover actual faults that may have gon
Externí odkaz:
http://arxiv.org/abs/2406.02398
In learning-enabled autonomous systems, safety monitoring of learned components is crucial to ensure their outputs do not lead to system safety violations, given the operational context of the system. However, developing a safety monitor for practica
Externí odkaz:
http://arxiv.org/abs/2405.13254
Publikováno v:
Open Journal of Astrophysics, Volume 7, 2024
Solar radio spikes are short lived, narrow bandwidth features in low frequency solar radio observations. The timing of their occurrence and the number of spikes in a given observation is often unpredictable. The high temporal and frequency of resolut
Externí odkaz:
http://arxiv.org/abs/2403.08546
Although the security testing of Web systems can be automated by generating crafted inputs, solutions to automate the test oracle, i.e., distinguishing correct from incorrect outputs, remain preliminary. Specifically, previous work has demonstrated t
Externí odkaz:
http://arxiv.org/abs/2402.10773
We explore the AI2050 "hard problems" that block the promise of AI and cause AI risks: (1) developing general capabilities of the systems; (2) assuring the performance of AI systems and their training processes; (3) aligning system goals with human g
Externí odkaz:
http://arxiv.org/abs/2402.04464
Ensuring the quality of software systems through testing is essential, yet maintaining test cases poses significant challenges and costs. The need for frequent updates to align with the evolving system under test often entails high complexity and cos
Externí odkaz:
http://arxiv.org/abs/2401.06765
Solar radio bursts are some of the brightest emissions at radio frequencies in the solar system. The emission mechanisms that generate these bursts offer a remote insight into physical processes in solar coronal plasma, while fine spectral features h
Externí odkaz:
http://arxiv.org/abs/2401.04469