Zobrazeno 1 - 10
of 690
pro vyhledávání: '"Castro Perez A"'
Autor:
Adolfo Eduard Barragán-Curiel, Carlos Murillo-Zepeda, Karla Fernanda Castro-Perez, Francisco Omar Alcalá-Aguirre, Lilian Sabinne Díaz-Montoya, Omar Alfonso Ruiz-Félix, José Antonio Acevedo-Delgado, Moyra Velasco-Preciado
Publikováno v:
Case Reports in Oncology, Vol 16, Iss 1, Pp 1066-1072 (2023)
Mature cystic teratomas, also called dermoid cysts, are the most common germ-cell ovarian neoplasms in children. On average, ovarian dermoid cysts are slow-growing neoplasms with a mean size between 6.4 and 7.0 cm that enlarge at a rate of 1.8 mm/yea
Externí odkaz:
https://doaj.org/article/b9fcc90b985e48d3b6eb22f00bae9a1a
We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous multiparty session types (the first of its kind). Zooid provides a full
Externí odkaz:
http://arxiv.org/abs/2103.10269
Autor:
Castro-Perez, David, Yoshida, Nobuko
This paper presents CAMP, a new static performance analysis framework for message-passing concurrent and distributed systems, based on the theory of multiparty session types (MPST). Understanding the run-time performance of concurrent and distributed
Externí odkaz:
http://arxiv.org/abs/2010.04449
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gutiérrez López, Raquel, Ares Castro-Conde, Beatriz, López Reboiro, Manuel Lorenzo, Sardiña González, Cristina, López Mouriño, Victor Manuel, Pereyra Barrionuevo, Marco, Castro Pérez, Asel, Martínez Pillado, Modesto, López Castro, José
Publikováno v:
In Revista Espanola de Geriatria y Gerontologia September-October 2023 58(5)
Autor:
Berto-Inga, Julissa, Santander-Rengifo, Flor, Ladera-Castañeda, Marysela, López-Gurreonero, Carlos, Castro Pérez-Vargas, Antonieta, Cornejo-Pinto, Alberto, Cervantes-Ganoza, Luis, Cayo-Rojas, César
Publikováno v:
In International Dental Journal August 2023 73(4):489-495
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.