[EN] Maude-NPA is an analysis tool for cryptographic security protocols that takes into account the algebraic properties of the cryptosystem. Maude-NPA can reason about a wide range of cryptographic properties. However, ...

We present a systematic analysis of the integral operators of potential theory that arise when solving the Helmholtz or Maxwell equations in the exterior (or interior) of a sphere in the frequency domain. After obtaining ...

[EN] With the purpose of better analyzing the result of artificial intelligence (AI) benchmarks, we present two indicators on the side of the AI problems, difficulty and discrimination, and two indicators on the side of ...

[EN] In this paper we perform a complete probabilistic study of a finite dimensional linear control system with uncertainty. The controllability condition with random initial data and final target is analysed. To conduct ...

[EN] We address the novel question of determining which kind of machine learning model is behind the predictions when we interact with a black-box model. This may allow us to identify families of techniques whose models ...

[ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literatura, ...

In the electromagnetics literature, significant attention has been paid to the problem of low-frequency breakdown in the electric field integral equation. By contrast, the magnetic field integral equation is well-conditioned ...

[EN] The current analysis in the AI safety literature usually combines a risk or safety issue (e.g., interruptibility) with a particular paradigm for an AI agent (e.g., reinforcement learning). However, there is currently ...

[EN] We present a new formulation for the problem of electromagnetic scattering from perfect electric conductors. While our representation for the electric and magnetic fields is based on the standard vector and scalar ...

[EN] Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equational unification algorithm relying ...