I agree that this site is using cookies. You can find further informations here.
X
Arenas, Miguel
23  results:
Bookchapter (Online) X
Search for persons X
?
1

Computational Analysis of Recombination in Viral Nucleotide..:

, In: Encyclopedia of Virology,
Arenas, Miguel - p. 108-115 , 2021
Link: https://doi.org/10.1016/..
 
?
2

Applications of the Coalescent for the Evolutionary Analysi..:

, In: Encyclopedia of Bioinformatics and Computational Biology,
Arenas, Miguel - p. 746-758 , 2019
Link: https://doi.org/10.1016/..
 
?
3

Management of Subsistence Hunting of Mammals in Amazonia: A..:

, In: Amazonian Mammals,
Bodmer, Richard E. ; Puertas, Pablo ; Fang, Tula... - p. 275-297 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Desert Truffles (Terfezia spp.) Breeding:

, In: Advances in Plant Breeding Strategies: Vegetable Crops,
Morte, Asunción ; Arenas, Francisco ; Marqués-Gálvez, José E.... - p. 479-504 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Linear and Nonlinear Features for Myocardial Infarction Det..:

, In: 8th European Medical and Biological Engineering Conference; IFMBE Proceedings,
Arenas, Wilson J. ; Zequera, Martha L. ; Altuve, Miguel. - p. 758-766 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Morphological and Temporal ECG Features for Myocardial Infa..:

, In: IFMBE Proceedings; VIII Latin American Conference on Biomedical Engineering and XLII National Conference on Biomedical Engineering,
Arenas, Wilson J. ; Sotelo, Silvia A. ; Zequera, Martha L.. - p. 172-181 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Conditional Generative Adversarial and Convolutional Networ..:

, In: Medical Image Computing and Computer Assisted Intervention – MICCAI 2018; Lecture Notes in Computer Science,
Singh, Vivek Kumar ; Romani, Santiago ; Rashwan, Hatem A.... - p. 833-840 , 2018
Link: https://doi.org/10.1007/..
 
?
8

List of Contributors:

, In: Snow Leopards,
Abdiev, Bakhtiyar ; Agvaantseren, Bayarjargal ; Ale, Som... - p. xvii-xxii , 2016
Link: https://doi.org/10.1016/..
 
?
9

Testing of concurrent and imperative software using CLP:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 1-8 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

aPET: a test case generation tool for concurrent objects:

, In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel. - p. 595-598 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

COSTABS : a cost and termination analyzer for ABS:

, In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation,
Albert, Elvira ; Arenas, Puri ; Genaim, Samir.. - p. 151-154 , 2012
Link: https://dl.acm.org/doi/1..
 
?
12

Symbolic Execution of Concurrent Objects in CLP:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012
Link: https://doi.org/10.1007/..
 
?
13

Symbolic execution of concurrent objects in CLP:

, In: Proceedings of the 14th international conference on Practical Aspects of Declarative Languages,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

List of Contributors:

, In: Neuropathology of Drug Addictions and Substance Misuse,
Abadie-Guedes, Ricardo ; Abi-Dargham, Anissa ; Abulseoud, Osama A.... - p. xxvii-xxxv , 2016
Link: https://doi.org/10.1016/..
 
?
15

The Golden Ratio as a Compositional and Structural Tool in ..:

, In: Springer Series in Design and Innovation; Architectural Graphics,
García Córdoba, Miguel ; García Sánchez, Rafael ; García León, Josefina. - p. 373-383 , 2022
Link: https://doi.org/10.1007/..
 
1-15