Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Cuartas, J
16  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mut..:

, In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Cuartas, Jaime ; Aranda, Jesus ; Cordy, Maxime... - p. 52-61 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Formal Verification of a Mechanical Ventilator using UPPAAL:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
Cuartas, Jaime ; Cortés, David ; Betancourt, Joan S.... - p. 2-13 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Increase Risk of Drought in the Semiarid Lands of Northeast..:

, In: Climate Change Risks in Brazil,
Marengo, Jose A. ; Cunha, Ana Paula ; Soares, Wagner R.... - p. 181-200 , 2018
Link: https://doi.org/10.1007/..
 
?
4

Regional Temporal Disaggregation on Economic Series with Ma..:

, In: Innovations in Urban and Regional Systems,
Cuartas, Blanca Moreno ; Vázquez, Esteban Fernández ; Hewings, Geoffrey J. D. - p. 243-256 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Assessing the Performance of Open Contracting in Colombia T..:

, In: Communications in Computer and Information Science; Learning Technology for Education Challenges,
Cuartas Castro, Katherine Andrea ; Ting, I-hsien ; Tarazona Bermúdez, Giovanny - p. 68-80 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Chapter 13. Betting on Chance in Colombia: Using Empirical ..:

, In: Money at the Margins,
María Echeverry, Ana ; Herrán Cuartas, Coppelia ; Blumenstock, Joshua E. - p. 287-304 , 2022
Link: https://doi.org/10.1515/..
 
?
7

Identifying the needs in the integration of disciplines in ..:

, In: VII Latin American Congress on Biomedical Engineering CLAIB 2016, Bucaramanga, Santander, Colombia, October 26th -28th, 2016; IFMBE Proceedings,
Madroñal Ortiz, M. ; Galeano Upegui, B. ; Escobar Mora, N... - p. 417-420 , 2017
Link: https://doi.org/10.1007/..
 
?
8

An Approximation to the Construction of Pedestrian Smart Ci..:

, In: 2019 IEEE 4th Colombian Conference on Automatic Control (CCAC),
Betancur, Manuel J. ; Restrepo, Valentin ; Perez, Jairo J.... - p. 1-6 , 2019
Link: https://doi.org/10.1109/..
 
?
9

Strategies for Identification of Interdisciplinary Research..:

, In: Analysis of Science, Technology, and Innovation in Emerging Economies,
Osorio Viana, Wilmar ; Calderón Cuartas, Paola Andrea ; Naranjo Vasco, Javier Mauricio - p. 275-295 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Forward Modelling Complexity Influence in EEG Source Locali..:

, In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications; Lecture Notes in Computer Science,
Morales, Ernesto Cuartas ; Villar, Yohan Ricardo Céspedes ; Acosta, Carlos Daniel. - p. 829-836 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Influence of Realistic Head Modeling on EEG Forward Problem:

, In: Brain Informatics; Lecture Notes in Computer Science,
Morales, Ernesto Cuartas ; Villar, Yohan Ricardo Céspedes ; Cardona, Héctor Fabio Torres.. - p. 32-40 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Minimally Invasive Mitral Valve Surgery:

, In: Cardiac Surgery,
Marin-Cuartas, Mateo ; Davierwala, Piroze M. - p. 429-436 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Aortic Valve-Sparing Root Replacement:

, In: Cardiac Surgery,
Marin-Cuartas, Mateo ; Borger, Michael A. - p. 315-324 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Perspective MICS-CABG:

, In: Operative Techniques in Coronary Artery Bypass Surgery,
Marin-Cuartas, M. ; Davierwala, P. M. - p. 205-234 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Design of an Identification System for Crop Monitoring as F..:

, In: Communications in Computer and Information Science; Knowledge Management in Organizations,
Jimenez, Jose Cruzado ; Castro, Katherine Andrea Cuartas - p. 353-363 , 2019
Link: https://doi.org/10.1007/..
 
1-15