Publicaciones (126) Publicaciones en las que ha participado algún/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

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

  13. Algorithms for maximum satisfiability using unsatisfiable cores

    Proceedings -Design, Automation and Test in Europe, DATE

  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