Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Cyclic proofs for the first-order µ-calculus
Afshari, Bahareh, Enqvist, Sebastian, Leigh, Graham E
Published in Logic journal of the IGPL (25.01.2024)
Published in Logic journal of the IGPL (25.01.2024)
Get full text
Journal Article
Loading…
Intelligent model for active power prediction of a small wind turbine
Zayas-Gato, Francisco, Jove, Esteban, Casteleiro-Roca, José-Luis, Quintián, Héctor, Pérez-Castelo, Francisco Javier, Piñón-Pazos, Andrés, Arce, Elena, Calvo-Rolle, José Luis
Published in Logic journal of the IGPL (25.07.2023)
Published in Logic journal of the IGPL (25.07.2023)
Get full text
Journal Article
Loading…
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices
Michelena, Álvaro, García Ordás, María Teresa, Aveleira-Mata, José, Marcos del Blanco, David Yeregui, Timiraos Díaz, Míriam, Zayas-Gato, Francisco, Jove, Esteban, Casteleiro-Roca, José-Luis, Quintián, Héctor, Alaiz-Moretón, Héctor, Luis Calvo-Rolle, José
Published in Logic journal of the IGPL (25.03.2024)
Published in Logic journal of the IGPL (25.03.2024)
Get full text
Journal Article
Loading…
A novel method for anomaly detection using beta Hebbian learning and principal component analysis
Zayas-Gato, Francisco, Michelena, Álvaro, Quintián, Héctor, Jove, Esteban, Casteleiro-Roca, José-Luis, Leitão, Paulo, Luis Calvo-Rolle, José
Published in Logic journal of the IGPL (30.03.2023)
Published in Logic journal of the IGPL (30.03.2023)
Get full text
Journal Article
Loading…
Loading…
Loading…
FCA-based reasoning for privacy
Aranda-Corral, Gonzalo A, Borrego-Díaz, Joaquín, Galán-Páez, Juan
Published in Logic journal of the IGPL (25.03.2024)
Published in Logic journal of the IGPL (25.03.2024)
Get full text
Journal Article
Loading…
Loading…
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots
Fernández-Becerra, Laura, Manuel Guerrero-Higueras, Ángel, Rodríguez-Lera, Francisco Javier, Matellán, Vicente
Published in Logic journal of the IGPL (25.03.2024)
Published in Logic journal of the IGPL (25.03.2024)
Get full text
Journal Article
Loading…
Loading…
A hybrid fuzzy clustering approach for diagnosing primary headache disorder
Simić, Svetlana, Banković, Zorana, Villar, José R, Simić, Dragan, Simić, Svetislav D
Published in Logic journal of the IGPL (01.04.2021)
Published in Logic journal of the IGPL (01.04.2021)
Get full text
Journal Article
Loading…
Data streams classification using deep learning under different speeds and drifts
Lara-Benítez, Pedro, Carranza-García, Manuel, Gutiérrez-Avilés, David, Riquelme, José C
Published in Logic journal of the IGPL (25.07.2023)
Published in Logic journal of the IGPL (25.07.2023)
Get full text
Journal Article
Loading…
Loading…
Loading…
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images
Simić, Svetlana, Simić, Svetislav D, Banković, Zorana, Ivkov-Simić, Milana, Villar, José R, Simić, Dragan
Published in Logic journal of the IGPL (25.07.2022)
Published in Logic journal of the IGPL (25.07.2022)
Get full text
Journal Article
Loading…
Free choice permission, legitimization and relating semantics
Glavaničová, Daniela, Jarmużek, Tomasz, Klonowski, Mateusz, Kulicki, Piotr
Published in Logic journal of the IGPL (25.05.2023)
Published in Logic journal of the IGPL (25.05.2023)
Get full text
Journal Article
Loading…
Loading…
Loading…