Aportaciones congreso (50) Publicaciones en las que ha participado algún/a investigador/a

2008

  1. A MAX-SAT algorithm portfolio

    Frontiers in Artificial Intelligence and Applications

  2. A level-based approach to computing warranted arguments in possibilistic defeasible programming

    Frontiers in Artificial Intelligence and Applications

  3. A platform for object-action semantic web interaction

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

  4. A preprocessor for Max-SAT solvers

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

  5. Adaptive droop control applied to distributed generation inverters connected to the grid

    IEEE International Symposium on Industrial Electronics

  6. Algorithms for maximum satisfiability using unsatisfiable cores

    2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3

  7. Algorithms for maximum satisfiability using unsatisfiable cores

    Proceedings -Design, Automation and Test in Europe, DATE

  8. An anonymity model achievable via microaggregation

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

  9. Collaborative explicit plasticity framework: A conceptual scheme for the generation of plastic and group-aware user interfaces

    Journal of Universal Computer Science

  10. Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT

    JFPC 2008 - Actes des quatriemes Journees Francophones de Programmation par Contraintes

  11. Continuous oxygen consumption estimation method for animal cell bioreactors based on a low-cost control of the medium dissolved oxygen concentration

    IFMBE Proceedings

  12. Copyright management for the LUISA semantic learning content management system

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

  13. Detection of transcription factor binding sites using renyi entropy

    8th IEEE International Conference on BioInformatics and BioEngineering, BIBE 2008

  14. Difficulties on tree volume measurement from a ground laser scanner

    Conference Record - IEEE Instrumentation and Measurement Technology Conference

  15. Diseño metodológico de la asignatura Energías Alternativas del Programa Sénior de la Universidad de Lleida

    Formación universitaria de personas mayores y promoción de la autonomía personal. Políticas socioeducativas, metodologías e innovaciones: X Encuentro Nacional de Programas Universitarios para Personas Mayores. Burgos, 5-7 de mayo de 2008

  16. Diseño y monitorización de varios cubículos con materiales de construcción tradicionales (aislantes) y novedosos (PCMs, cubiertas y fachadas verdes) en la Universidad de Lleida

    Construyendo el futuro sostenible: libro de actas del XIV Congreso Ibérico y IX Congreso Iberoamericano de Energía Solar, 17-21 junio, 2008 Vigo, Galicia, España

  17. Economic Viability of a Molten Carbonate Fuel Cell Working with Biogas

    ASME 2008 6th International Conference on Fuel Cell Science, Engineering and Technology, FUELCELL 2008

  18. Economic viability of a molten carbonate fuel cell working with biogas

    Proceedings of the 6th International Conference on Fuel Cell Science, Engineering, and Technology

  19. Edge matching puzzles as hard SAT/CSP benchmarks

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

  20. Efficient remote data possession checking in critical information infrastructures

    IEEE Transactions on Knowledge and Data Engineering