New CNF Features and Formula Classification. EM Alfonso, N Manthey POS@ SAT, 57-71, 2014 | 15 | 2014 |
Identification of the Nonlinear Model proposed by the MIT for Power Transformer applying Genetic Algorithms RJP Barrios, E Matos, SJF Garcia IEEE Latin America Transactions 7 (6), 636-642, 2009 | 12 | 2009 |
Riss 4.27 BlackBox EM Alfonso, N Manthey SAT Competition, 2014 | 7 | 2014 |
Rewriting queries with negated atoms EM Alfonso, G Stamou Rules and Reasoning: International Joint Conference, RuleML+ RR 2017, London …, 2017 | 6 | 2017 |
On horn conjunctive queries E Matos Alfonso, G Stamou Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018 | 5 | 2018 |
Procesamiento de Datos Mediante Wavelet para la Modelación Térmica de Grandes Transformadores R Pérez, Y Fernández, E Matos, S Fernández Articulo actualmente arbitrado para su publicación en la Revista Técnica de …, 2009 | 5 | 2009 |
Parameter estimation and validation of power transformers top oil temperature model by applying genetic algorithms R Perez, S FERNÁNDEZ Revista Técnica de la Facultad de Ingeniería de la Universidad del Zulia.[en …, 2009 | 3 | 2009 |
Procesamiento de datos mediante Wavelet para la modelación térmica de transformadores de potencia R Pérez, E Matos, C Vásquez, S Fernández Ingeniería Energética 33 (1), 16-26, 2012 | 2 | 2012 |
Estimación de parámetros y validación del modelo de la temperatura del aceite superior en transformadores de potencia aplicando algoritmos genéticos RJ Pérez, E Matos Alfonso, SJ Fernández Revista Técnica de la Facultad de Ingeniería Universidad del Zulia 32 (3 …, 2009 | 2 | 2009 |
UCQ-Rewritings for disjunctive knowledge and queries with negated atoms E Matos Alfonso, A Chortaras, G Stamou Semantic Web 12 (4), 685-709, 2021 | 1 | 2021 |
Identificación y validación del modelo no lineal de la temperatura del aceite superior de transformadores de potencia aplicando algoritmos genéticos R Pérez, E Matos, S Fernández Universidad, Ciencia y Tecnología 13 (53), 277-286, 2009 | 1 | 2009 |
Connected Components and Disjunctive Existential Rules EM Alfonso, G Stamou arXiv preprint arXiv:2310.12884, 2023 | | 2023 |
Connected Components and Disjunctive Existential Rules E Matos Alfonso, G Stamou arXiv e-prints, arXiv: 2310.12884, 2023 | | 2023 |
Increasing the Robustness of SAT Solving with Machine Learning Techniques EM Alfonso | | 2014 |
Identification and validation of power transformers top oil temperature no lineal model by applying genetic algorithms R Pérez, E Matos, S Fernández Universidad, Ciencia y Tecnología 13 (53), 277-286, 2009 | | 2009 |
Identificación y validación del modelo no lineal de la temperatura del aceite superior de transformadores de potencia aplicando algoritmos genéticos. uct [online]. 2009, vol … R PEREZ, E MATOS, S FERNANDEZ ISSN, 0 | | |
and Queries with Negated Atoms EM Alfonso, A Chortaras, G Stamou | | |
Rules and Conjunctive Queries with Negated Atoms EM Alfonso, A Chortaras, G Stamou | | |