Zobrazeno 1 - 10
of 396
pro vyhledávání: '"Pérez, Àlvaro"'
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
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
Autor:
Nogueira, Pablo, García-Pérez, Álvaro
We study the equivalence between eval-readback and eval-apply big-step evaluators in the general setting of the pure lambda calculus. We study `one-step' equivalence (same strategy) and also discuss `big-step' equivalence (same final result). One-ste
Externí odkaz:
http://arxiv.org/abs/2212.02494
The aim of this paper is to obtain new inequalities for a large family of generalizations of the Wiener Index and to characterize the set of extremal graphs with respect to them. Our main results provide upper and lower bounds for these topological i
Externí odkaz:
http://arxiv.org/abs/2201.05539
Autor:
Ramos Perez, Alvaro, Lind, Terttaliisa, Petrov, Victor, Manera, Annalisa, Prasser, Horst-Michael
Publikováno v:
In International Journal of Heat and Mass Transfer 1 December 2024 234
Autor:
Wu, Gang, Martínez-Delgado, David, Henkel, Christian, Kroupa, Pavel, Walter, Fabian, Krieger, Nico, Bolatto, Alberto D., Robishaw, Timothy, Simon, Joshua D., Pérez, Álvaro Ibáñez, Menten, Karl M., Esimbek, Jarken
Publikováno v:
A&A 658, A25 (2022)
A fully-sampled and hitherto highest resolution and sensitivity observation of neutral hydrogen (HI) in the Leo Triplet (NGC 3628, M 65/NGC 3623, and M 66/NGC 3627) reveals six HI structures beyond the three galaxies. We present detailed results of t
Externí odkaz:
http://arxiv.org/abs/2110.13015
Autor:
Ramos Perez, Alvaro, Lind, Terttaliisa, Petrov, Victor, Manera, Annalisa, Prasser, Horst-Michael
Publikováno v:
In Journal of Aerosol Science May 2024 178
In this paper we consider some results obtained for graphs using minimal vertex separators and generalized chordality and translate them to the context of Geometric Group Theory. Using these new tools, we are able to give two new characterizations fo
Externí odkaz:
http://arxiv.org/abs/2106.07331