Folgen
Enrique Matos Alfonso
Enrique Matos Alfonso
Bestätigte E-Mail-Adresse bei image.ece.ntua.gr
Titel
Zitiert von
Zitiert von
Jahr
New CNF Features and Formula Classification.
EM Alfonso, N Manthey
POS@ SAT, 57-71, 2014
152014
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
122009
Riss 4.27 BlackBox
EM Alfonso, N Manthey
SAT Competition, 2014
72014
Rewriting queries with negated atoms
EM Alfonso, G Stamou
Rules and Reasoning: International Joint Conference, RuleML+ RR 2017, London …, 2017
62017
On horn conjunctive queries
E Matos Alfonso, G Stamou
Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018
52018
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
52009
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
32009
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
22012
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
22009
UCQ-Rewritings for disjunctive knowledge and queries with negated atoms
E Matos Alfonso, A Chortaras, G Stamou
Semantic Web 12 (4), 685-709, 2021
12021
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
12009
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18