Sistemas Informáticos y Computación

2023

1. A REST API Based on Machine Learning to Predict Survival Using Categorical Features

   Proceedings of the International Conference on Information Visualisation

2. Development of a Categorized Alert Management Tool for the City of Madrid

   Lecture Notes in Electrical Engineering

3. Development of a Tourist Information Service Through Geolocation

   Lecture Notes in Networks and Systems

4. Fault Diagnosis and Prognosis Modeling Methods in Predictive Maintenance: A Systematic Review

   2023 26th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

5. Formally Verified EVM Block-Optimizations

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

6. Geodetic Analyses at the National Geographic Institute of Spain

   International Association of Geodesy Symposia

7. Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments

   Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023

8. Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks

   Communications in Computer and Information Science

9. Inferring Needless Write Memory Accesses on Ethereum Bytecode

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

10. InsectDSOT: A Neural Network for Insect Detection in Olive Trees

    International Conference on Agents and Artificial Intelligence

11. Integrating Geospatial Tools for Air Pollution Prediction: A Synthetic City Generator Framework for Efficient Modeling and Visualization

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

12. Prediction in Smart Environments and Administration: Systematic Literature Review

    Lecture Notes in Networks and Systems

13. QMaude: Quantitative Specification and Verification in Rewriting Logic

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

14. Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis

    CEUR Workshop Proceedings

15. Symbolic AI (LFIT) for XAI to handle biases Extending LFIT to numerical domains for explaining Biases in ML

    CEUR Workshop Proceedings

16. Systematic Literature Review of Social Media interactions

    International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2023

17. Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics

    SIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education

18. UnitJudge: a novel online automatic correction system for long programming practices by means of unit tests

    10th International and the 16th National Conference on E-Learning and E-Teaching, ICeLeT 2023