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

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

List of Contributors:

, In: Snow Leopards,

Abdiev, Bakhtiyar ; Agvaantseren, Bayarjargal ; Ale, Som... - p. xvii-xxii , 2016

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

6

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..

7

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..

8

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..

9

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..

10

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/..

11

Rescue, rehabilitation, translocation, reintroduction, and ..:

, In: Snow Leopards,

Miquelle, Dale G. ; Jiménez, Ignacio ; López, Guillermo... - p. 359-376 , 2024

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

12

Analysis of Parkinson's disease based on mobile application:

, In: Artificial Intelligence and Big Data Analytics for Smart Healthcare,

Torres-Ruiz, Miguel ; Guzmán, Giovanni ; Moreno-Ibarra, Marco. - p. 97-119 , 2021

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

13

List of contributors:

, In: Artificial Intelligence and Big Data Analytics for Smart Healthcare,

Abuzenada, Maha ; Acosta-Arenas, Ana ; Ahmad, Usman... - p. xiii-xv , 2021

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

14

Developing services in a service oriented architecture for ..:

, In: Proceedings of the 15th annual conference companion on Genetic and evolutionary computation,

García-Sánchez, Pablo ; García Arenas, María Isabel ; Mora, Antonio Miguel... - p. 1341-1348 , 2013

Link: https://dl.acm.org/doi/1..