Zobrazeno 1 - 10
of 4 408
pro vyhledávání: '"Pérez, Jorge A"'
Autor:
Vázquez-Pérez, Jorge, Cardama, F. Javier, Piñeiro, César, Pena, Tomás F., Pichel, Juan C., Gómez, Andrés
The rapid advance of quantum computing has highlighted the need for scalable and efficient software infrastructures to fully exploit its potential. While current quantum processors have significant scalability problems due to the limited number of qu
Externí odkaz:
http://arxiv.org/abs/2408.03712
Curry-Howard correspondences between Linear Logic (LL) and session types provide a firm foundation for concurrent processes. As the correspondences hold for intuitionistic and classic versions of LL (ILL and CLL), we obtain two different families of
Externí odkaz:
http://arxiv.org/abs/2407.06391
Publikováno v:
Best Estimate Plus Uncertainty International Conference (BEPU 2024), May 2024, Lucca, Italy
In order to enhance safety, nuclear reactors in the design phase consider natural circulation as a mean to remove residual power. The simulation of this passive mechanism must be qualified between the validation range and the scope of utilization (re
Externí odkaz:
http://arxiv.org/abs/2405.18108
Autor:
Barral, David, Cardama, F. Javier, Díaz, Guillermo, Faílde, Daniel, Llovo, Iago F., Juane, Mariamo Mussa, Vázquez-Pérez, Jorge, Villasuso, Juan, Piñeiro, César, Costas, Natalia, Pichel, Juan C., Pena, Tomás F., Gómez, Andrés
The emerging field of quantum computing has shown it might change how we process information by using the unique principles of quantum mechanics. As researchers continue to push the boundaries of quantum technologies to unprecedented levels, distribu
Externí odkaz:
http://arxiv.org/abs/2404.01265
Autor:
Heuvel, Bas van den, Pérez, Jorge A.
Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong logical foundations via Curry-Howard correspondences with linear logic,
Externí odkaz:
http://arxiv.org/abs/2401.14763
Tele-operated Driving (ToD) is a challenging use case for mobile network operators. Video captured by the built-in vehicle cameras must be streamed meeting a latency requirement of 5 ms with a 99.999% reliability. Although 5G offers high bandwidth, u
Externí odkaz:
http://arxiv.org/abs/2401.05225
Road safety is the main motivation for Cooperative Intelligent Transport Systems (C-ITS) in general, and vehicular communications (V2X) technology in particular. The V2X-based Vulnerable Road User (VRU) protection is an approach that relies on the pe
Externí odkaz:
http://arxiv.org/abs/2312.14072
The Spanish language is one of the top 5 spoken languages in the world. Nevertheless, finding resources to train or evaluate Spanish language models is not an easy task. In this paper we help bridge this gap by presenting a BERT-based language model
Externí odkaz:
http://arxiv.org/abs/2308.02976
Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in general, and for message-passing programs in particular. A variety of
Externí odkaz:
http://arxiv.org/abs/2308.01165