Publicacions (126) Publicacions en què ha participat algun/a investigador/a

2008

  1. 1-Amino-2-phenylcyclopentane-1-carboxylic acid: A conformationally restricted phenylalanine analogue

    Journal of Organic Chemistry, Vol. 73, Núm. 2, pp. 644-651

  2. A MAX-SAT algorithm portfolio

    Frontiers in Artificial Intelligence and Applications

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

    Frontiers in Artificial Intelligence and Applications

  4. A logic programming framework for possibilistic argumentation: Formalization and logical properties

    Fuzzy Sets and Systems, Vol. 159, Núm. 10, pp. 1208-1228

  5. A methodology for developing Distributed Generation scenarios in urban areas using geographical information systems

    International Journal of Energy Technology and Policy, Vol. 6, Núm. 4, pp. 413-434

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

  7. A polynomial-time approximation to optimal multivariate microaggregation

    Computers and Mathematics with Applications, Vol. 55, Núm. 4, pp. 714-732

  8. A preprocessor for Max-SAT solvers

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

  9. A web ontology for copyright contract management

    International Journal of Electronic Commerce, Vol. 12, Núm. 4, pp. 99-114

  10. Ab initio calculations on π-stacked thiophene dimer, trimer, and tetramer: Structure, interaction energy, cooperative effects, and intermolecular electronic parameters

    Journal of Computational Chemistry, Vol. 29, Núm. 1, pp. 69-78

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

    IEEE International Symposium on Industrial Electronics

  12. Algorithms for maximum satisfiability using unsatisfiable cores

    Proceedings -Design, Automation and Test in Europe, DATE

  13. Algorithms for maximum satisfiability using unsatisfiable cores

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

  14. An anonymity model achievable via microaggregation

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

  15. An efficient solver for weighted Max-SAT

    Journal of Global Optimization, Vol. 41, Núm. 1, pp. 61-73

  16. Application of 1-aminocyclohexane carboxylic acid to protein nanostructure computer design

    Journal of Chemical Information and Modeling, Vol. 48, Núm. 2, pp. 333-343

  17. Basic thermodynamics of thermal energy storage

    Heat and cold storage with PCM (SPRINGER-VERLAG BERLIN), pp. 1-10

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

    Journal of Universal Computer Science

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

  20. Computation of critical current in artificially structurated bulk samples from Hall measurements

    Journal of Physics: Conference Series, Vol. 97, Núm. 1