Zobrazeno 1 - 10
of 3 662
pro vyhledávání: '"García, Pedro A."'
Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such properties include modes, determinacy
Externí odkaz:
http://arxiv.org/abs/2408.09848
Recurrence equations have played a central role in static cost analysis, where they can be viewed as abstractions of programs and used to infer resource usage information without actually running the programs with concrete data. Such information is t
Externí odkaz:
http://arxiv.org/abs/2406.18260
Autor:
Feijóo-García, Pedro Guillermo, Wrenn, Chase, de Siqueira, Alexandre Gomes, Ghosh, Rashi, Stuart, Jacob, Yao, Heng, Lok, Benjamin
Virtual humans (i.e., embodied conversational agents) have the potential to support college students' mental health, particularly in Science, Technology, Engineering, and Mathematics (STEM) fields where students are at a heightened risk of mental dis
Externí odkaz:
http://arxiv.org/abs/2405.07418
Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions of input data sizes. Most of the analysis tools for logic programs (an
Externí odkaz:
http://arxiv.org/abs/2405.06972
Autor:
García, Pedro-José Cazorla
Publikováno v:
Mathematics 2024, 12(11), 1642
Perfect error correcting codes allow for an optimal transmission of information while guaranteeing error correction. For this reason, proving their existence has been a classical problem in both pure mathematics and information theory. Indeed, the cl
Externí odkaz:
http://arxiv.org/abs/2405.03347
Autor:
García, Pedro-José Cazorla
Publikováno v:
Mathematika, Volume 70, Issue 4, October 2024
In this paper, we study the integer solutions of a family of Fermat-type equations of signature $(2, 2n, n)$, $Cx^2 + q^ky^{2n} = z^n$. We provide an algorithmically testable set of conditions which, if satisfied, imply the existence of a constant $B
Externí odkaz:
http://arxiv.org/abs/2404.14098
Autor:
García, Pedro-José Cazorla
Given a prime number $q$ and a squarefree integer $C_1$, we develop a method to explicitly determine the tuples $(y, n, \alpha)$ for which the difference $y^n-q^\alpha$ has squarefree part equal to $C_1$. Our techniques include the combination of the
Externí odkaz:
http://arxiv.org/abs/2312.09985
Publikováno v:
A&A, 673 (2023) A128
Context. Most stars from in groups which with time disperse, building the field population of their host galaxy. In the Milky Way, open clusters have been continuously forming in the disk up to the present time, providing it with stars spanning a bro
Externí odkaz:
http://arxiv.org/abs/2309.03396
Publikováno v:
EPTCS 385, 2023, pp. 155-168
Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions of input data sizes. Most of the analysis tools for logic programs (an
Externí odkaz:
http://arxiv.org/abs/2309.07259
In this paper we obtain a family of analytic solutions to the nonlinear partial differential equations that describe the dynamics of the bosonic part of the mass operator of a M2-brane compactified on $M_9\times T^2$ in the LCG with worldvolume fluxe
Externí odkaz:
http://arxiv.org/abs/2302.12373