E-LIB Suche - Ergebnisse für: Carrillo, Miguel

1

Verification and Simulation of Time-Domain Properties for M..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,

Carrillo, Miguel ; Estivill-Castro, Vladimir ; Rosenblueth, David A. - p. 225-249 , 2021

Link: https://doi.org/10.1007/..

2

Griffin: A Tool for Symbolic Inference of Synchronous Boole..:

Muñoz, Stalin ; Carrillo, Miguel ; Azpeitia, Eugenio.
Frontiers in Genetics. 9 (2018) - p. , 2018

Link: https://doi.org/10.3389/..

3

CTL update of Kripke models through protections:

Carrillo, Miguel ; Rosenblueth, David A.
Artificial Intelligence. 211 (2014) - p. 51-74 , 2014

Link: https://doi.org/10.1016/..

4

An overview of existing modeling tools making use of model ..:

Carrillo, Miguel ; Góngora, Pedro A. ; Rosenblueth, David A.
Frontiers in Plant Science. 3 (2012) - p. , 2012

Link: https://doi.org/10.3389/..

5

"Antelope": a hybrid-logic model checker for branching-time..:

Arellano, Gustavo ; Argil, Julián ; Azpeitia, Eugenio...
BMC Bioinformatics. 12 (2011) 1 - p. , 2011

Link: https://doi.org/10.1186/..

6

Optimizing Didactic Sequences with Artificial Intelligence:..:

, In: Artificial Intelligence for Neuroscience and Emotional Systems; Lecture Notes in Computer Science,

Salcedo-Lagos, Pedro ; Pinacho-Davidson, Pedro ; Pinninghoff J., M. Angélica... - p. 509-517 , 2024

Link: https://doi.org/10.1007/..

7

Elementos críticos de la escuela en territorio mapuche:

Cuevas, Héctor Torres ; Carrillo, Miguel Friz
Educar em Revista. 36 (2020) - p. , 2020

Link: https://doi.org/10.1590/..

8

Chronic interstitial pneumonia with features of organizing ..:

Carrillo, Miguel F. ; Kemper, Deborah ; Woods, Leslie W..
Journal of Veterinary Diagnostic Investigation. 32 (2020) 4 - p. 621-625 , 2020

Link: https://doi.org/10.1177/..

9

Technological Knowledge Framework Towards Organizational Kn..:

López, Valentino Morales ; Carrillo, Miguel Ortega ; Bustamente, Tania Poom
Procedia - Social and Behavioral Sciences. 73 (2013) - p. 556-563 , 2013

Link: https://doi.org/10.1016/..

10

Magnetoelectric layers improve spatial variability in wirel..:

, In: 2024 IEEE Wireless Power Technology Conference and Expo (WPTCE),

Zamudio, Hidelberto Macedo ; Gowda, Hitesh Gowda Bettaswamy ; Carrillo, Miguel Angel Rodriguez.. - p. 670-673 , 2024

Link: https://doi.org/10.1109/..

11

Omental torsion; an unusual case of acute abdomen. Case rep..:

Carrillo, Luis Miguel ; de Jesús Marín-López, José ; Díaz-Barrera, Oscar...
International Journal of Surgery Case Reports. 103 (2023) - p. 107901 , 2023

Link: https://doi.org/10.1016/..

12

Coupling factor analysis for an inductive power transfer sy..:

, In: 2023 IEEE Wireless Power Technology Conference and Expo (WPTCE),

Carrillo, Miguel Angel Rodriguez ; Wallrabe, Ulrike - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

13

Review of the Middle Pleistocene molluscan association from..:

Miller, Jonathan P. ; Cruzado-Caballero, Penélope ; de la Nuez, Julio..
Historical Biology. 35 (2022) 8 - p. 1308-1321 , 2022

Link: https://doi.org/10.1080/..

14

Prevalencia de Linguatulosis Hepática en Bovinos Beneficiad..:

Carrillo Parraguez, Miguel ; Morales Muñoz, Pamela ; Carvallo Chaigneau, Francisco.
Revista de Investigaciones Veterinarias del Perú. 28 (2017) 1 - p. 169 , 2017

Link: https://doi.org/10.15381..

15

Understanding elementary and secondary students' representa..:

Henríquez, Susan V. Sanhueza ; Moltó, M. Cristina Cardona ; Carrillo, Miguel C. Friz
Nordic Psychology. 67 (2015) 1 - p. 65-86 , 2015

Link: https://doi.org/10.1080/..