E-LIB Suche - Ergebnisse für: Lopez-Garcia, Pedro

1

Analysis, Verification and Transformation for Declarative P..

Lecture Notes in Computer Science, 13160

Lopez-Garcia, Pedro ; Gallagher, John P ; Giacobazzi, Roberto - 1st ed. 2023 . , 2023

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

2

Cluster analysis for the selection of potential discriminat..:

López-García, Pedro A. ; Argote, Denisse L.
Journal of Archaeological Science: Reports. 49 (2023) - p. 104022 , 2023

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

3

Compounding process optimization for recycled materials usi..:

Lopez-Garcia, Pedro ; Barrenetxea, Xabier ; García-Arrieta, Sonia...
Procedia CIRP. 105 (2022) - p. 237-242 , 2022

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

4

A hybrid optimizer based on backtracking search and differe..:

Kuyu, Yiğit Çağatay ; Onieva, Enrique ; Lopez-Garcia, Pedro
Journal of Experimental & Theoretical Artificial Intelligence. 34 (2021) 3 - p. 355-385 , 2021

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

5

The obsidian of la ferrería site: Local consumption and lon..:

López-García, Pedro A. ; Vidal-Aldana, Cinthya I. ; Gómez-Ambríz, Emmanuel A..
Journal of Archaeological Science: Reports. 38 (2021) - p. 103081 , 2021

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

6

VeriFly: On-the-fly Assertion Checking via Incrementality:

SANCHEZ-ORDAZ, MIGUEL A. ; GARCIA-CONTRERAS, ISABEL ; PEREZ, VICTOR...
Theory and Practice of Logic Programming. 21 (2021) 6 - p. 768-784 , 2021

Link: https://doi.org/10.1017/..

7

Cinnabar, hematite and gypsum presence in mural paintings i..:

Argote, Denisse L. ; Torres, Gloria ; Hernández-Padrón, Genoveva...
Journal of Archaeological Science: Reports. 32 (2020) - p. 102375 , 2020

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

8

Ensemble classification for imbalanced data based on featur..:

Lopez-Garcia, Pedro ; Masegosa, Antonio D. ; Osaba, Eneko..
Applied Intelligence. 49 (2019) 8 - p. 2807-2822 , 2019

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

9

Chemometric analysis of Mesoamerican obsidian sources:

Lopez-García, Pedro ; Argote, Denisse L. ; Beirnaert, Charlie
Quaternary International. 510 (2019) - p. 100-118 , 2019

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

10

A Discrete and Improved Bat Algorithm for solving a medical..:

Osaba, Eneko ; Yang, Xin-She ; Fister Jr., Iztok...
Swarm and Evolutionary Computation. 44 (2019) - p. 273-286 , 2019

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

11

Portable XRF analysis for the identification of raw materia..:

Juárez-Rodríguez, Octavio ; Argote-Espino, Denisse ; Santos-Ramírez, Marco.
Quaternary International. 483 (2018) - p. 148-159 , 2018

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

12

Statistical processing of compositional data. The case of c..:

López-García, Pedro ; Argote-Espino, Denisse ; Fačevicová, Kamila
Journal of Archaeological Science: Reports. 19 (2018) - p. 100-114 , 2018

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

13

Static Performance Guarantees for Programs with Runtime Che..:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,

Klemen, Maximiliano ; Stulova, Nataliia ; López-García, Pedro.. - p. 1-13 , 2018

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

14

Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, S... Lecture Notes in Computer Science ; 10184;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Lopez-Garcia, Pedro ; Hermenegildo, Manuel V. , 2017

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

15

Comparison between Golden Ball Meta-heuristic, Evolutionary..:

, In: Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion,

Osaba, Eneko ; Carballedo, Roberto ; Lopez-Garcia, Pedro. - p. 1469-1470 , 2016

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