Saila
Sistemas Informáticos y Computación
Biltzar ekarpenak (18) Ikertzaileren baten partaidetza izan duten argitalpenak
2023
-
A REST API Based on Machine Learning to Predict Survival Using Categorical Features
Proceedings of the International Conference on Information Visualisation
-
Development of a Categorized Alert Management Tool for the City of Madrid
Lecture Notes in Electrical Engineering
-
Development of a Tourist Information Service Through Geolocation
Lecture Notes in Networks and Systems
-
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
-
Formally Verified EVM Block-Optimizations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Geodetic Analyses at the National Geographic Institute of Spain
International Association of Geodesy Symposia
-
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
-
Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks
Communications in Computer and Information Science
-
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)
-
InsectDSOT: A Neural Network for Insect Detection in Olive Trees
International Conference on Agents and Artificial Intelligence
-
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)
-
Prediction in Smart Environments and Administration: Systematic Literature Review
Lecture Notes in Networks and Systems
-
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)
-
Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis
CEUR Workshop Proceedings
-
Symbolic AI (LFIT) for XAI to handle biases Extending LFIT to numerical domains for explaining Biases in ML
CEUR Workshop Proceedings
-
Systematic Literature Review of Social Media interactions
International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2023
-
Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics
SIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education
-
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