- Escola Politècnica Superior (EPS)

2013

1. A Max-SAT-based approach to constructing optimal covering arrays

   Frontiers in Artificial Intelligence and Applications

2. Analysis of epileptic EEG signals in children by symbolic dynamics

   Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS

3. Blind certificates for secure electronic voting

   Proceedings of the 2013 10th International Conference on Information Technology: New Generations, ITNG 2013

4. C2MS: Dynamic monitoring and management of cloud infrastructures

   Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom

5. Centers in a Quadratic System Obtained from a Scalar Third Order Differential Equation

   Springer Proceedings in Mathematics and Statistics

6. Comparative study of different numerical models of packed bed thermal energy storage systems

   Applied Thermal Engineering

7. Degree sequences of PageRank uniform graphs and digraphs with prime outdegrees

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

8. Emo+Eval: Including emotions in the process of evaluating interactive systems

   ACM International Conference Proceeding Series

9. Evaluación de la calidad interactiva en toolkits de desarrollo de aplicaciones tangibles

   Actas del XIV Congreso Internacional de Interaccion Persona-Ordenador, INTERACCION 2013

10. Evaluation of the color-based image segmentation capabilities of a compact mobile robot agent based on google Android smartphone

    Advances in Intelligent Systems and Computing

11. Experiencias en la especificación colaborativa de métodos de evaluación de usabilidad

    Actas del XIV Congreso Internacional de Interaccion Persona-Ordenador, INTERACCION 2013

12. Experimental demonstration of a tailored-width microchannel heat exchanger configuration for uniform wall temperature

    Journal of Physics: Conference Series

13. Formal linked data visualization model

    ACM International Conference Proceeding Series

14. Grado de afectación de las barreras de accesibilidad web en usuarios con discapacidad intelectual

    Actas del XIV Congreso Internacional de Interaccion Persona-Ordenador, INTERACCION 2013

15. Improving WPM2 for (weighted) partial MaxSAT

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

16. Improving multiple sequence alignment biological accuracy through genetic algorithms

    Journal of Supercomputing

17. Inverse Jacobi multipliers: Recent applications in dynamical systems

    Springer Proceedings in Mathematics and Statistics

18. MIP model scheduling for multi-clusters

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

19. Maximal falsifiability: Definitions, algorithms, and applications

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

20. MinSAT versus MaxSAT for optimization problems

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