Informática

2013

1. A Programming Language That Combines the Benefits of Static and Dynamic Typing

   Communications in Computer and Information Science (Springer Berlin, Heidelberg), pp. 72-87

2. Automated diagnosis through ontologies and logical descriptions: The ADONIS approach

   Engineering Effective Decision Support Technologies: New Models and Applications (IGI Global), pp. 117-134

3. Automatic speech recognition to enhance learning for disabled students

   Assistive Technologies: Concepts, Methodologies, Tools, and Applications (IGI Global), pp. 478-493

4. Competencias del profesor de Matemáticas: innovación, creación y uso de las nuevas tecnologías

   Las competencias básicas: competencias profesionales del docente (Ediciones de la Universidad de Castilla-La Mancha), pp. 213-220

5. El hogar digital

   Tecnologías de la información para la gestión energética: Smart Home Energy : estado de la técnica (Ediciones de la Universidad de Oviedo), pp. 23-38

6. Electrodomésticos inteligentes

   Tecnologías de la información para la gestión energética: Smart Home Energy : estado de la técnica (Ediciones de la Universidad de Oviedo), pp. 49-54

7. Enabling the matchmaking of organizations and public procurement notices by means of linked open data

   Cases on Open-Linked Data and Semantic Web Applications (IGI Global), pp. 105-131

8. Enhancing the access to public procurement notices by promoting product scheme classifications to the linked open data initiative

   Cases on Open-Linked Data and Semantic Web Applications (IGI Global), pp. 1-27

9. Euroalert.net: Aggregating public procurement data to deliver commercial services to SMEs

   Small and Medium Enterprises: Concepts, Methodologies, Tools, and Applications (IGI Global), pp. 915-931

10. Evaluación de las tecnologías encontradas

    Tecnologías de la información para la gestión energética: Smart Home Energy : estado de la técnica (Ediciones de la Universidad de Oviedo), pp. 179-182

11. ICTs for orientation and mobility for blind people: A state of the art

    Handbook of Research on ICTs for Human-Centered Healthcare and Social Care Services (IGI Global), pp. 646-669

12. Improving cognitive load on students with disabilities through software aids

    Assistive Technologies: Concepts, Methodologies, Tools, and Applications (IGI Global), pp. 1255-1268

13. Métodos de conectividad

    Tecnologías de la información para la gestión energética: Smart Home Energy : estado de la técnica (Ediciones de la Universidad de Oviedo), pp. 109-160

14. Nuevas metodologías para la evaluación del aprendizaje en campus virtuales

    Innovación educativa en la educación superior: fundamentos, evaluación e instrucción (Editorial Académica Española Letonia), pp. 77-96

15. Parameterized transformation schema for a non-functional properties model in the context of MDE

    Advances and Applications in Model-Driven Engineering (IGI Global), pp. 268-288

16. Plataformas de gestión energética

    Tecnologías de la información para la gestión energética: Smart Home Energy : estado de la técnica (Ediciones de la Universidad de Oviedo), pp. 55-66

17. Publishing statistical data following the linked open data principles: The web index project

    Cases on Open-Linked Data and Semantic Web Applications (IGI Global), pp. 199-226

18. Robótica de servicios en el hogar

    Tecnologías de la información para la gestión energética: Smart Home Energy : estado de la técnica (Ediciones de la Universidad de Oviedo), pp. 39-48

19. Sistemas inteligentes de eficiencia energética: productos existentes y "Smart Grids"

    Tecnologías de la información para la gestión energética: Smart Home Energy : estado de la técnica (Ediciones de la Universidad de Oviedo), pp. 67-108

20. Synchronous e-learning tools

    E-Learning: New Technology, Applications and Future Trends (Nova Science Publishers, Inc.), pp. 117-132