Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Sanchez, Damián"'
Autor:
García-Mendoza, Pedro J., Pérez-Almeida, Iris B., Prieto-Rosales, Gino Paul, Medina- Castro, Darío Emiliano, Manayay-Sánchez, Damián, Marín-Rodríguez, Carlos A., Ortecho-Llanos, Ronald, Taramona-Ruíz, Luis A.
Publikováno v:
In Journal of the Saudi Society of Agricultural Sciences February 2024 23(2):168-176
Autor:
Rodríguez-Lago, Iago, Herrera-deGuise, Claudia, Boscá-Watts, Maia, Rodríguez, Cristina, Leo-Carnerero, Eduardo, Íñiguez, María Calvo, Cañete, Fiorella, Chacón, Silvia, Cuarán, Camila, Elorza, Ainara, Guerra-del-Río, Elena, Iglesias, Eva, Sánchez, Damián, Barreiro-de Acosta, Manuel, Ginard, Daniel, Cabriada, José Luis
Publikováno v:
In Gastroenterologia y Hepatologia March 2024
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
Publikováno v:
EPTCS 325, 2020, pp. 38-51
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equational unification algorithm relying on the concept of the variants of
Externí odkaz:
http://arxiv.org/abs/2009.11070
Publikováno v:
In Environmental Technology & Innovation November 2023 32
Publikováno v:
In Journal of Environmental Management 1 November 2022 321
Autor:
Hartmann, Andreas, Jasechko, Scott, Gleeson, Tom, Wada, Yoshihide, Andreo, Bartolomé, Barberá, Juan Antonio, Brielmann, Heike, Bouchaou, Lhoussaine, Charlier, Jean-Baptiste, Darling, W. George, Filippini, Maria, Garvelmann, Jakob, Goldscheider, Nico, Kralik, Martin, Kunstmann, Harald, Ladouche, Bernard, Lange, Jens, Lucianetti, Giorgia, Martín, José Francisco, Mudarra, Matías, Sánchez, Damián, Stumpp, Christine, Zagana, Eleni, Wagener, Thorsten
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2021 May . 118(20), 1-7.
Externí odkaz:
https://www.jstor.org/stable/27040400
Autor:
López-Ortega, Eugenio, Canales-Sanchez, Damian, Bautista-Godinez, Tomás, Macias-Herrera, Santiago
Publikováno v:
In Technovation January 2016 47:59-69
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.