Instituto de Tecnología del Conocimiento (ITC)

2022

1. A Max-SMT Superoptimizer for EVM handling Memory and Storage

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. A tool to certify dynamic benchmarks

   Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

3. Adopting an immersive virtual reality system to enhance Pre-service teachers' communicative competence

   2022 INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT 2022)

4. Approaching Epistemic and Aleatoric uncertainty with Evolutionary Optimization: Examples and Challenges

   GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference

5. Aprendizaje a partir del análisis de las acciones y representaciones en la creación artística sobre cuerpo e identidad

   CUICIID 2022: congreso Internacional sobre Comunicación, Innovación, Investigación y Docencia. Libro de actas

6. Arquitectura Hardware Asequible para Implementar Controles de Pitch en una Turbina Offshore

   Irakaskuntzaren berrikuntza kontrol ingeniaritzan itsas energian

7. Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities

   2022 IEEE Congress on Evolutionary Computation, CEC 2022 - Conference Proceedings

8. Combination of Neural Networks and Reinforcement Learning for Wind Turbine Pitch Control

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

9. Combining the Properties of Random Forest with Grammatical Evolution to Construct Ensemble Models

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

10. Communication Library to Implement Digital Twins Based on Matlab and IEC61131

    Lecture Notes in Electrical Engineering

11. Comparing Different Decodings for Posit Arithmetic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

12. Conceptual Modelling of Explanation Experiences Through the iSeeOnto Ontology

    CEUR Workshop Proceedings

13. Control Borroso Inteligente Optimizado para la Extracción de Energía en Grandes Turbinas de Viento

    Irakaskuntzaren berrikuntza kontrol ingeniaritzan itsas energian

14. Control de un laboratorio de control de temperatura mediante redes neuronales recurrentes

    XLIII Jornadas de Automática: libro de actas: 7, 8 y 9 de septiembre de 2022, Logroño (La Rioja)

15. Customizing the CVA6 RISC-V Core to Integrate Posit and Quire Instructions

    2022 37th Conference on Design of Circuits and Integrated Circuits (DCIS)

16. DAO-Analyzer: Exploring Activity and Participation in Blockchain Organizations

    Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW

17. Distilling Constraints in Zero-Knowledge Protocols

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

18. Early Detection of Abandonment Signs in Interactive Novels with a Randomized Forest Classifier

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

19. Efficient deployment of remote laboratories with TwinCAT-PLCs and EjsS Plugins

    IFAC-PapersOnLine

20. EfficientNet Architecture Family Analysis on Railway Track Defects

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)