Zobrazeno 1 - 10
of 963
pro vyhledávání: '"Meseguer José"'
Autor:
Meseguer, Jose
An inductive inference system for proving validity of formulas in the initial algebra $T_{\mathcal{E}}$ of an order-sorted equational theory $\mathcal{E}$ is presented. It has 20 inference rules, but only 9 of them require user interaction; the remai
Externí odkaz:
http://arxiv.org/abs/2405.02420
Publikováno v:
J. Logic. Algebr. Program 134 (2023) article 100887
Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represente
Externí odkaz:
http://arxiv.org/abs/2402.00275
Publikováno v:
Biological Procedures Online, Vol 6, Iss 1, Pp 129-136 (2004)
The gilthead seabream is a protandrous seasonal breeding teleost that is an excellent model for studying the testicular regression process which occurs in both seasonal testicular involution and sex reversion. Little is known about the cell types and
Externí odkaz:
https://doaj.org/article/590634ff83f24672902197905374ea06
Publikováno v:
In Developmental and Comparative Immunology January 2025 162
Autor:
Aparicio-Sánchez, Damián, Escobar, Santiago, Meadows, Catherine, Meseguer, Jose, Sapiña, Julia
We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information available to processes, and a transition semantics that takes account o
Externí odkaz:
http://arxiv.org/abs/2010.13707
This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP) in reachability logic. It shows how these properties can be deductivel
Externí odkaz:
http://arxiv.org/abs/2005.12232
Autor:
Reinhardt Richard, Terzoglou Vasso, Novoa Beatriz, Figueras Antonio, Meseguer José, Mulero Victoriano, Poisa-Beiro Laura, Sepulcre Pilar, Sarropoulou Elena, Magoulas Antonios, Kotoulas Georgios
Publikováno v:
BMC Genomics, Vol 10, Iss 1, p 157 (2009)
Abstract Background The European seabass (Dicentrarchus labrax), one of the most extensively cultured species in European aquaculture productions, is, along with the gilthead sea bream (Sparus aurata), a prospective model species for the Perciformes
Externí odkaz:
https://doaj.org/article/b505ea7539ee4408a5d1ca02bf75f99f
Autor:
Meseguer José, Mulero Victoriano, García-Alcazar Alicia, Chaves-Pozo Elena, Liarte Sergio, García-Ayala Alfonsa
Publikováno v:
Reproductive Biology and Endocrinology, Vol 5, Iss 1, p 20 (2007)
Abstract Background Leukocytes are found within the testis of most, if not all, mammals and are involved in immunological surveillance, physiological regulation and tissue remodelling. The testis of seasonal breeding fish undergoes a regression proce
Externí odkaz:
https://doaj.org/article/1a756e6399e34c83a9bb237e6b58f4f0