Zobrazeno 1 - 10
of 4 454
pro vyhledávání: '"Pérez, Jorge A."'
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong correctness properties for processes. This problem is constrained by the
Externí odkaz:
http://arxiv.org/abs/2411.07714
Traditional machine translation methods typically involve training models directly on large parallel corpora, with limited emphasis on specialized terminology. However, In specialized fields such as patent, finance, or biomedical domains, terminology
Externí odkaz:
http://arxiv.org/abs/2410.15690
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
Autor:
Ana Isabel González-Contreras, David Pérez-Jorge, José Luis Ramos-Sánchez, José Vadillo-Gómez
Publikováno v:
Humanities & Social Sciences Communications, Vol 11, Iss 1, Pp 1-10 (2024)
Abstract This study validates the CFD-14 questionnaire, designed for families to detect early risk of literacy difficulties and dyslexia in compulsory schooling. The sample included families of 1385 students from preschool (5 years old) and 1st to 6t
Externí odkaz:
https://doaj.org/article/12957810d769490c83d34e422afe397f
