Zobrazeno 1 - 10
of 8 173
pro vyhledávání: '"Murano, A."'
In the last two decades, Alternating-time Temporal Logic (ATL) has been proved to be very useful in modeling strategic reasoning for Multi-Agent Systems (MAS). However, this logic struggles to capture the bounded rationality inherent in human decisio
Externí odkaz:
http://arxiv.org/abs/2410.14374
Autor:
Murano, Santiago, Perez-Rubio, Carmen, Gualda, David, Alvarez, Fernando J., Aguilera, Teodoro, de Marziani, Carlos
Publikováno v:
IEEE Transactions on Instrumentation and Measurement, vol. 69, no. 8, pp. 5356-5368, Aug. 2020
The task of determining the physical coordinates of a target in indoor environments is still a key factor for many applications including people and robot navigation, user tracking, location-based advertising, augmented reality, gaming, emergency res
Externí odkaz:
http://arxiv.org/abs/2402.02400
Autor:
Rubio, Ana Conde, Rodriguez, Arantxa Fraile, Espinha, Andre, Mihi, Agustin, Perez-Murano, Francesc, Batlle, Xavier, Labarta, Amilcar
Publikováno v:
Scientific Reports 9 (2019) 3529
Inspired by geometrically frustrated magnetic systems, we present the optical response of three cases of hexagonal lattices of plasmonic nanoelements. All of them were designed using a metal-insulator-metal configuration to enhance absorption of ligh
Externí odkaz:
http://arxiv.org/abs/2401.13395
Autor:
Alvarez, Javier Rodriguez, Labarta, Amilcar, Idrobo, Juan Carlos, Anna, Rossana Dell, Cian, Alessandro, Giubertoni, Damiano, Borrise, Xavier, Guerrero, Albert, Murano, Francesc Perez, Rodriguez, Arantxa Fraile, Batlle, Xavier
Publikováno v:
ACS Nano 17 (2023) 8123
Plasmonic lattice nanostructures are of technological interest because of their capacity to manipulate light below the diffraction limit. Here, we present a detailed study of dark and bright modes in the visible and near-infrared energy regime of an
Externí odkaz:
http://arxiv.org/abs/2401.12702
Strategies synthesized using formal methods can be complex and often require infinite memory, which does not correspond to the expected behavior when trying to model Multi-Agent Systems (MAS). To capture such behaviors, natural strategies are a recen
Externí odkaz:
http://arxiv.org/abs/2401.12170
In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and agents play uni
Externí odkaz:
http://arxiv.org/abs/2310.17240
Autor:
Belardinelli, Francesco, Ferrando, Angelo, Jamroga, Wojciech, Malvone, Vadim, Murano, Aniello
The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle this issue but at the expense of expressiveness. In this paper, we pro
Externí odkaz:
http://arxiv.org/abs/2310.17219
Publikováno v:
EPTCS 391, 2023, pp. 42-48
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics can be interesting for formal verification purposes. Subsequently, we d
Externí odkaz:
http://arxiv.org/abs/2310.02355
Autor:
F. Capone, O. Muntada, J. C. Ramírez, M. J. Esplandiu, R. Dedryvère, A. Grimaud, B. Lassalle-Kaiser, D. Céolin, F. Pérez-Murano, J.-P. Rueff, Jordi Fraxedas
Publikováno v:
Journal of Synchrotron Radiation, Vol 31, Iss 6, Pp 1505-1513 (2024)
We present first hard X-ray photoelectron spectroscopy (HAXPES) results of aqueous salt solutions and dispersions of gold nanoparticles in liquid cells equipped with specially designed microfabricated thin silicon nitride membranes, with thickness in
Externí odkaz:
https://doaj.org/article/4bb782009a8247a3b9793385c52fdc32
Autor:
Lucia Campese, Luca Russo, Maria Abagnale, Adriana Alberti, Giancarlo Bachi, Cecilia Balestra, Daniele Bellardini, Angela Buondonno, Ulisse Cardini, Ylenia Carotenuto, Giovanni Checcucci, Maria Luisa Chiusano, Isabella D’Ambra, Giuliana d’Ippolito, Iole Di Capua, Vincenzo Donnarumma, Angelo Fontana, Marta Furia, Denisse Galarza-Verkovitch, Roberto Gallia, Karine Labadie, Serena Leone, Priscilla Licandro, Antonio Longo, Maira Maselli, Louise Merquiol, Carola Murano, Pedro H. Oliveira, Augusto Passarelli, Isabella Percopo, Aude Perdereau, Roberta Piredda, Francesca Raffini, Vittoria Roncalli, Hans-Joachim Ruscheweyh, Ennio Russo, Maria Saggiomo, Chiara Santinelli, Diana Sarno, Shinichi Sunagawa, Ferdinando Tramontano, Anna Chiara Trano, Marco Uttieri, Patrick Wincker, Gianpaolo Zampicinini, Raffaella Casotti, Fabio Conversano, Domenico D’Alelio, Daniele Iudicone, Francesca Margiotta, Marina Montresor
Publikováno v:
Scientific Data, Vol 11, Iss 1, Pp 1-12 (2024)
Abstract The NEREA (Naples Ecological REsearch for Augmented observatories) initiative aims to establish an augmented observatory in the Gulf of Naples (GoN), designed to advance the understanding of marine ecosystems through a holistic approach. Ins
Externí odkaz:
https://doaj.org/article/7abdab57c62e4272bbe53d16570cbe60