Zobrazeno 1 - 10
of 15 834
pro vyhledávání: '"Ugo, P"'
Autor:
Ginzburg, Matias, Marzolino, Ugo
We analyze the performance of the Harrow-Hassidim-Lloyd algorithm (HHL algorithm) for solving linear problems and of a variant of this algorithm (HHL variant) commonly encountered in literature. This variant relieves the algorithm of preparing an ent
Externí odkaz:
http://arxiv.org/abs/2410.18736
Autor:
Hutcheson, Anthony L., Feroci, Marco, Argan, Andrea, Antonelli, Matias, Barbera, Marco, Bayer, Jorg, Bellutti, Pierluigi, Bertuccio, Giuseppe, Bonvicini, Valter, Cadoux, Franck, Campana, Riccardo, Vignali, Matteo Centis, Ceraudo, Francesco, Christophersen, Marc, Cirrincione, Daniela, D'Anca, Fabio, De Angelis, Nicolas, De Rosa, Alessandra, Della Casa, Giovanni, Del Monte, Ettore, Dilillo, Giuseppe, Evangelista, Yuri, Favre, Yannick, Ficorella, Francesco, Fiorini, Mauro, Ford, Jeremy J., Grassi, Marco, Grove, J. Eric, Guzman, Alejandro, Heddermann, Paul, Kole, Merlin R., Cicero, Ugo Lo, Lombardi, Giovanni, Malcovati, Piero, Michalska, Malgorzata, Meuris, Aline, Minervini, Gabriele, Nowosielski, Witold, Nuti, Alessio, Pacciani, Luigi, Pepponi, Giancarlo, Persyn, Steven C., Picciotto, Antonino, Pliego, Samuel, Rachevski, Alexander, Rashevskaya, Irina, Ray, Paul S., Samusenko, Alina, Santangelo, Andrea, Schanne, Stephane, Schwendeman, Carl L., Sleator, Clio, Smith, Jacob R., Sveda, Libor, Svoboda, Jiri, Tenzer, Christoph, Todaro, Michela, Trois, Alessio, Vacchi, Andrea, Xiong, Hao, Wang, Xianqi, Wu, Xin, Wulf, Eric A., Zampa, Gianluigi, Zampa, Nicola, Zdziarski, Andrzej, Zorzi, Nicola
The High Energy Modular Array (HEMA) is one of three instruments that compose the STROBE-X mission concept. The HEMA is a large-area, high-throughput non-imaging pointed instrument based on the Large Area Detector developed as part of the LOFT missio
Externí odkaz:
http://arxiv.org/abs/2410.08346
Autor:
Salvi, Davide, Leonzio, Daniele Ugo, Giganti, Antonio, Eutizi, Claudio, Mandelli, Sara, Bestagini, Paolo, Tubaro, Stefano
When dealing with multimedia data, source attribution is a key challenge from a forensic perspective. This task aims to determine how a given content was captured, providing valuable insights for various applications, including legal proceedings and
Externí odkaz:
http://arxiv.org/abs/2410.06221
Publikováno v:
EPTCS 408, 2024, pp. 1-20
Formal verification methods for concurrent systems cannot always be scaled-down or tailored in order to be applied on specific subsystems. We address such an issue in a MultiParty Session Types setting by devising a partial type assignment system for
Externí odkaz:
http://arxiv.org/abs/2410.00537
Autor:
Zhou, Yihao, Mukherjee, Diptajyoti, Chen, Nianyi, Di Matteo, Tiziana, Johansson, Peter H., Rantala, Antti, Partmann, Christian, Carlo, Ugo NiccolDi, Bird, Simeon, Ni, Yueying
MBH seed mergers are expected to be among the loudest sources of gravitational waves detected by the Laser Interferometer Space Antenna (LISA), providing a unique window into the birth and early growth of SMBH. We present the MAGICS-II simulation sui
Externí odkaz:
http://arxiv.org/abs/2409.19914
Merger rate predictions of Massive Black Hole (MBH) seeds from large-scale cosmological simulations differ widely, with recent studies highlighting the challenge of low-mass MBH seeds failing to reach the galactic center, a phenomenon known as the se
Externí odkaz:
http://arxiv.org/abs/2409.19095
Since their appearance in the 1950s, computational models capable of performing probabilistic choices have received wide attention and are nowadays pervasive in almost every areas of computer science. Their development was also inextricably linked wi
Externí odkaz:
http://arxiv.org/abs/2409.11999
Autor:
Zhang, Chuxuan, Burkanova, Bermet, Kim, Lawrence H., Yip, Lauren, Cupcic, Ugo, Lallée, Stéphane, Lim, Angelica
How do people use their faces and bodies to test the interactive abilities of a robot? Making lively, believable agents is often seen as a goal for robots and virtual agents but believability can easily break down. In this Wizard-of-Oz (WoZ) study, w
Externí odkaz:
http://arxiv.org/abs/2409.11602
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom. In this paper, we extend a minimal MPST system with quantum data and operations,
Externí odkaz:
http://arxiv.org/abs/2409.11133
Autor:
Prodan, George P., Pasquato, Mario, Iorio, Giuliano, Ballone, Alessandro, Torniamenti, Stefano, Di Carlo, Ugo Niccolò, Mapelli, Michela
Context. Computational astronomy has reached the stage where running a gravitational N-body simulation of a stellar system, such as a Milky Way star cluster, is computationally feasible, but a major limiting factor that remains is the ability to set
Externí odkaz:
http://arxiv.org/abs/2409.10627