Zobrazeno 1 - 10
of 14 884
pro vyhledávání: '"García Pérez, A."'
Autor:
Franchino-Viñas, S. A., García-Pérez, C., Mazzitelli, F. D., Pla, S., Vitagliano, V., Wainstein-Haimovichi, U.
We study the strong-field limit of a theory involving a quantum scalar field coupled to a vector background, which can be either an electromagnetic field or a non-gauge field coupled through the first derivative term. Our approach consists in obtaini
Externí odkaz:
http://arxiv.org/abs/2410.11364
Autor:
Korhonen, Keijo, Vappula, Hetta, Glos, Adam, Cattaneo, Marco, Zimborás, Zoltán, Borrelli, Elsi-Mari, Rossi, Matteo A. C., García-Pérez, Guillermo, Cavalcanti, Daniel
Achieving high-precision measurements on near-term quantum devices is critical for advancing quantum computing applications. In this paper, we explore several practical techniques to enhance measurement accuracy using randomized measurements, focusin
Externí odkaz:
http://arxiv.org/abs/2409.02575
We address the open problem of type safety in Hutchins' pure subtype systems (PSS). PSS (hereafter in the singular) harmoniously mixes terms and types, thus enabling a number of advanced language features that combine dependent types with higher-orde
Externí odkaz:
http://arxiv.org/abs/2407.13882
Autor:
Boitier, William, Del Pozzo, Antonella, García-Pérez, Álvaro, Gazut, Stephane, Jobic, Pierre, Lemaire, Alexis, Mahe, Erwan, Mayoue, Aurelien, Perion, Maxence, Rezende, Tuanir Franca, Singh, Deepika, Tucci-Piergiovanni, Sara
Federated Learning is a decentralized framework that enables multiple clients to collaboratively train a machine learning model under the orchestration of a central server without sharing their local data. The centrality of this framework represents
Externí odkaz:
http://arxiv.org/abs/2406.03608
Autor:
Cepeda, Santiago, Romero, Roberto, Garcia-Perez, Daniel, Blasco, Guillermo, Luppino, Luigi Tommaso, Kuttner, Samuel, Arrese, Ignacio, Solheim, Ole, Eikenes, Live, Karlberg, Anna, Perez-Nunez, Angel, Escudero, Trinidad, Hornero, Roberto, Sarabia, Rosario
Accurately assessing tumor removal is paramount in the management of glioblastoma. We developed a pipeline using MRI scans and neural networks to segment tumor subregions and the surgical cavity in postoperative images. Our model excels in accurately
Externí odkaz:
http://arxiv.org/abs/2404.11725
Error mitigation has elevated quantum computing to the scale of hundreds of qubits and tens of layers; however, yet larger scales (deeper circuits) are needed to fully exploit the potential of quantum computing to solve practical problems otherwise i
Externí odkaz:
http://arxiv.org/abs/2403.13542
The goal in quantum state transfer is to avoid the need to physically transport carriers of quantum information. This is achieved by using a suitably engineered Hamiltonian that induces the transfer of the state of one subsystem to another. A less kn
Externí odkaz:
http://arxiv.org/abs/2403.05623
Autor:
Mangini, Stefano, Cattaneo, Marco, Cavalcanti, Daniel, Filippov, Sergei, Rossi, Matteo A. C., García-Pérez, Guillermo
Publikováno v:
Phys. Rev. Research 6, 033217 (2024)
Characterization of noise in current near-term quantum devices is of paramount importance to fully use their computational power. However, direct quantum process tomography becomes unfeasible for systems composed of tens of qubits. A promising altern
Externí odkaz:
http://arxiv.org/abs/2402.08556
Publikováno v:
J. Log. Algebraic Methods Program. Vol. 92. 2017
We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterminism property. The properties we consider include finite branching, i
Externí odkaz:
http://arxiv.org/abs/2402.02847
Autor:
Aceto, Luca, Fábregas, Ignacio, García-Pérez, Álvaro, Ingólfsdóttir, Anna, Ortega-Mallén, Yolanda
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifi
Externí odkaz:
http://arxiv.org/abs/2402.00982