Zobrazeno 1 - 10
of 2 040
pro vyhledávání: '"Jorge A. Pérez"'
Autor:
José R. Pérez-Calderón, Jorge A. Pérez-León, Nuno Simões, Marisela Aguirre-Ramírez, Roxana E. Malpica-Calderón, Alejandro Botello
Publikováno v:
Nauplius, Vol 31 (2023)
Abstract The presence of a long-wavelength sensitive (LWS) opsin gene was demonstrated in the stygobitic crustacean Creaseria morleyi (Creaser, 1936) by PCR readings from genomic DNA. In order to find the expression of this gene in extraocular tissue
Externí odkaz:
https://doaj.org/article/ce2a318fe2db4d74888ac8f3cfa226b0
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail, a new non-deterministic calculus in which intersection types control r
Externí odkaz:
https://doaj.org/article/0117e6998a2f401aa9443b06066087df
Autor:
Jorge A. Pérez-Hernández, Luis Benet
Publikováno v:
Communications Earth & Environment, Vol 3, Iss 1, Pp 1-5 (2022)
The Yarkovsky acceleration acting on near-Earth asteroid (99942) Apophis is large enough to require consideration when evaluating the object’s course and future close passes of Earth, according to an analysis of astrometry data collected including
Externí odkaz:
https://doaj.org/article/8a9e63ec4600445c992772ac7be84293
Publikováno v:
Frontiers in Immunology, Vol 12 (2021)
Primary aldosteronism (PA) is the most common cause of secondary hypertension and reaches a prevalence of 6-10%. PA is an endocrine disorder, currently identified as a broad-spectrum phenotype, spanning from normotension to hypertension. In this rega
Externí odkaz:
https://doaj.org/article/9cbcd30183054dba939ab3730414e4e5
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 4 (2021)
In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work,
Externí odkaz:
https://doaj.org/article/89a7c7f5dcf14789af5fb509029036b6
Autor:
Claudio A. Mezzina, Jorge A. Pérez
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 56-64 (2016)
Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way
Externí odkaz:
https://doaj.org/article/b409962ca84749188aea943f47a6e322
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 73-84 (2016)
Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties, but the authorization to access a resource may be dynamically granted/
Externí odkaz:
https://doaj.org/article/60baa00eaa0e4cac90d46325f8b3ee9b
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 190, Iss Proc. EXPRESS/SOS 2015, Pp 16-30 (2015)
We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communicating systems. Compensations and updates are intuitively similar: both
Externí odkaz:
https://doaj.org/article/75048930317e4d86ab4db6927ac2d1fe
Autor:
Ornela Dardha, Jorge A. Pérez
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 190, Iss Proc. EXPRESS/SOS 2015, Pp 1-15 (2015)
Besides respecting prescribed protocols, communication-centric systems should never "get stuck". This requirement has been expressed by liveness properties such as progress or (dead)lock freedom. Several typing disciplines that ensure these propertie
Externí odkaz:
https://doaj.org/article/7bb869ad5fcf4c679449d2f88be97fe4
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 162, Iss Proc. BEAT 2014, Pp 9-18 (2014)
We present initial results on a comprehensive model of structured communications, in which self- adaptation and security concerns are jointly addressed. More specifically, we propose a model of self-adaptive, multiparty communications with secure inf
Externí odkaz:
https://doaj.org/article/d20a9450f9d9417c866dc382b8f1b7ab