Zobrazeno 1 - 10
of 1 469
pro vyhledávání: '"Achilleos, P."'
Publikováno v:
EPTCS 409, 2024
This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 is to bring to
Externí odkaz:
http://arxiv.org/abs/2410.21884
In this paper, we employ a combination of analytical and numerical techniques to investigate the dynamics of lattice envelope vector soliton solutions propagating within a one-dimensional chain of flexible mechanical metamaterial. To model the system
Externí odkaz:
http://arxiv.org/abs/2406.09871
Autor:
Kiorpelidis, Ioannis, Kalozoumis, Panayotis, Theocharis, Georgios, Achilleos, Vassos, Diakonos, Fotios K., Pagneux, Vincent
We investigate the perfect transmission resonances (PTRs) of perturbed 1D finite periodic systems with mirror symmetric cells. The unperturbed scattering region consists of $N$ identical cells and the related transmission spectrum possesses at least
Externí odkaz:
http://arxiv.org/abs/2406.07214
Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence or preorder checking to model checking, and are exactly the formulae in
Externí odkaz:
http://arxiv.org/abs/2405.13697
Autor:
Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Francalanza, Adrian, Gorla, Daniele, Wagemaker, Jana
This paper focuses on the runtime verification of hyperproperties expressed in HypermuHML, an expressive yet simple logic for describing properties of sets of traces. To this end, we first consider a simple language of monitors that can observe sets
Externí odkaz:
http://arxiv.org/abs/2405.12882
Autor:
Manda, Bertin Many, Achilleos, Vassos
In this work, we demonstrate that the synergetic interplay of topology, nonreciprocity and nonlinearity is capable of unprecedented effects. We focus on a nonreciprocal variant of the Su-Shrieffer-Heeger chain with local Kerr nonlinearity. We find a
Externí odkaz:
http://arxiv.org/abs/2405.05441
We study the propagation of both low- and high-amplitude ring-shaped sound waves in a 2D square lattice of acoustic waveguides with Helmholtz resonators. We show that the inclusion of the Helmholtz resonators suppresses the inherent anisotropy of the
Externí odkaz:
http://arxiv.org/abs/2404.18966
Autor:
Sougleridis, I. Ioannou, Anastasiadis, A., Richoux, O., Achilleos, V., Theocharis, G., Pagneux, V., Diakonos, F. K.
We report on a direct mapping of acoustic slender waveguides to the one dimensional trimer Su- Schrieffer-Heeger model, with neither chiral nor mirror symmetry. Importantly, we can choose to perform this mapping for either the acoustic velocity or pr
Externí odkaz:
http://arxiv.org/abs/2401.14264
Non-Hermitian lattices with non-reciprocal couplings under open boundary conditions are known to possess linear modes exponentially localized on one edge of the chain. This phenomenon, dubbed non-Hermitian skin effect, induces all input waves in the
Externí odkaz:
http://arxiv.org/abs/2311.09139
Autor:
Eek, Lumen, Moustaj, Anouar, Röntgen, Malte, Pagneux, Vincent, Achilleos, Vassos, Smith, Cristiane Morais
Publikováno v:
Phys. Rev. B 109, 045122 (2024)
The Hatano-Nelson and the non-Hermitian Su-Schrieffer-Heeger model are paradigmatic examples of non-Hermitian systems that host non-trivial boundary phenomena. In this work, we use recently developed graph-theoretical tools to design systems whose is
Externí odkaz:
http://arxiv.org/abs/2310.11988