- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)

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. Analysing knowledge building: Usages, achievements and limits of forums at university

   International Journal of Innovation and Learning

4. Analysis and generation of pseudo-industrial MaxSAT instances

   Frontiers in Artificial Intelligence and Applications

5. 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

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

   Proceedings of The International Symposium on Multiple-Valued Logic

7. 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

8. 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

9. Developing technological and pedagogical affordances to support collaborative inquiry science processes

   IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2012

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

    Journal of Multiple-Valued Logic and Soft Computing

11. 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

12. 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

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

    CEUR Workshop Proceedings

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

    Energy Procedia

15. Improving SAT-based weighted MaxSAT solvers

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

16. Improving thermal performance of freezers using phase change materials

    International Journal of Refrigeration

17. Iterative SAT solving for minimum satisfiability

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

18. MIP model scheduling for BSP parallel applications on multi-cluster environments

    Proceedings - 2012 7th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2012

19. Methodology for identifying and solving accessibility related issues in web content management system environments

    W4A 2012 - International Cross-Disciplinary Conference on Web Accessibility

20. NeuroGame project: Multimodal videogame neuro-evaluation

    ACM International Conference Proceeding Series