- Escola Politècnica Superior (EPS)

2012

1. A SAT-based approach to MinSAT

   Frontiers in Artificial Intelligence and Applications

2. A design process for exhibiting design choices and trade-offs in (potentially) conflicting user interface guidelines

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

3. A field study with primary school children on perception of social presence and interactive behavior with a pet robot

   Proceedings - IEEE International Workshop on Robot and Human Interactive Communication

4. A new encoding from MinSAT into MaxSAT

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

5. Analysis and generation of pseudo-industrial MaxSAT instances

   Frontiers in Artificial Intelligence and Applications

6. Automatic system for electroporation of adherent cells growing in standard multi-well plates

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

7. Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers

   Proceedings of The International Symposium on Multiple-Valued Logic

8. Caracterización de subproductos sólidos industriales como materiales de almacenamiento térmico sensible

   Re-construyendo el futuro sostenible: libro de actas del XV Congreso Ibérico y X Congreso Iberoamericano de Energía Solar. Vigo, Galicia, España, 19-22, junio, 2012

9. Cubierlas verdes extensivas como sistema pasivo de ahorro de energía en edificios: uso de granza de caucho reciclado en la capa drenante

   Re-construyendo el futuro sostenible: libro de actas del XV Congreso Ibérico y X Congreso Iberoamericano de Energía Solar. Vigo, Galicia, España, 19-22, junio, 2012

10. Current distribution in wide YBCO tapes

    Physics Procedia

11. Data mining and query answer techniques applied to a bio-nutritional trials focused expert system

    Frontiers in Artificial Intelligence and Applications

12. Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT

    Journal of Multiple-Valued Logic and Soft Computing

13. Enhancing the scalability of consistency-based progressive multiple sequences alignment applications

    Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012

14. Evaluation and adaptive attenuation of the cardiac vibration interference in mechanomyographic signals

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

15. Facets and pivoting for flexible and usable linked data exploration

    CEUR Workshop Proceedings

16. Green roofs as passive system for energy savings when using rubber crumbs as drainage layer

    Energy Procedia

17. Improving SAT-based weighted MaxSAT solvers

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

18. Improving thermal performance of freezers using phase change materials

    International Journal of Refrigeration

19. Intelligent building energy management through holistic knowledge based approach

    Frontiers in Artificial Intelligence and Applications

20. Iterative SAT solving for minimum satisfiability

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI