Centro
- Escola Politècnica Superior (EPS)
Publicaciones (126) Publicaciones en las que ha participado algún/a investigador/a
2008
-
1-Amino-2-phenylcyclopentane-1-carboxylic acid: A conformationally restricted phenylalanine analogue
Journal of Organic Chemistry, Vol. 73, Núm. 2, pp. 644-651
-
A MAX-SAT algorithm portfolio
Frontiers in Artificial Intelligence and Applications
-
A level-based approach to computing warranted arguments in possibilistic defeasible programming
Frontiers in Artificial Intelligence and Applications
-
A logic programming framework for possibilistic argumentation: Formalization and logical properties
Fuzzy Sets and Systems, Vol. 159, Núm. 10, pp. 1208-1228
-
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
-
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)
-
A polynomial-time approximation to optimal multivariate microaggregation
Computers and Mathematics with Applications, Vol. 55, Núm. 4, pp. 714-732
-
A preprocessor for Max-SAT solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A web ontology for copyright contract management
International Journal of Electronic Commerce, Vol. 12, Núm. 4, pp. 99-114
-
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
-
Adaptive droop control applied to distributed generation inverters connected to the grid
IEEE International Symposium on Industrial Electronics
-
Algorithms for maximum satisfiability using unsatisfiable cores
2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3
-
Algorithms for maximum satisfiability using unsatisfiable cores
Proceedings -Design, Automation and Test in Europe, DATE
-
An anonymity model achievable via microaggregation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An efficient solver for weighted Max-SAT
Journal of Global Optimization, Vol. 41, Núm. 1, pp. 61-73
-
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
-
Basic thermodynamics of thermal energy storage
Heat and cold storage with PCM (SPRINGER-VERLAG BERLIN), pp. 1-10
-
Collaborative explicit plasticity framework: A conceptual scheme for the generation of plastic and group-aware user interfaces
Journal of Universal Computer Science
-
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
-
Computation of critical current in artificially structurated bulk samples from Hall measurements
Journal of Physics: Conference Series, Vol. 97, Núm. 1