Publicaciones (81) Publicaciones en las que ha participado algún/a investigador/a

2007

  1. A complete resolution calculus for signed max-SAT

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. A hybrid approach for modelling early prototype evaluation under user-centred design through association rules

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

  3. A new task graph model for mapping message passing applications

    IEEE Transactions on Parallel and Distributed Systems, Vol. 18, Núm. 12, pp. 1740-1753

  4. A unified model for inflation and dark energy

    Journal of Physics A: Mathematical and Theoretical, Vol. 40, Núm. 25, pp. 7081-7085

  5. A unified model for inflation and dark matter

    Journal of Physics A: Mathematical and Theoretical, Vol. 40, Núm. 19, pp. 5219-5230

  6. A web ontologies framework for digital rights management

    Artificial Intelligence and Law, Vol. 15, Núm. 2, pp. 137-154

  7. APPLICATION OF PCM FOR HEATING AND COOLING IN BUILDINGS

    THERMAL ENERGY STORAGE FOR SUSTAINABLE ENERGY CONSUMPTION: FUNDAMENTALS, CASE STUDIES AND DESIGN (SPRINGER), pp. 323-348

  8. Acercando la Web Semántica a los usuarios

    Actas de las II Jornadas sobre Ontologías Web y Semántica

  9. Actas del VIII Congreso Internacional de Interacción Persona Ordenador (INTERACCIÓN 2007)

    Madrid : Thomson, [2007]

  10. Advances in smart cards

    Computer Networks, Vol. 51, Núm. 9, pp. 2219-2222

  11. Algorithms and cryptographic protocols using elliptic curves

    Contributions to Science, Vol. 3, Núm. 4, pp. 481-491

  12. An incentive-based system for information providers over peer-to-peer mobile ad-hoc networks

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

  13. Analysis of respiratory mechanomyographic signals by means of the empirical mode decomposition

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

  14. Application of the empirical mode decomposition method to the analysis of respiratory mechanomyographic signals

    Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings

  15. Assessing usability problems in Latin-American academic webpages with cognitive walkthroughs and datamining techniques

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

  16. Automatic classification of subjects with and without Sleep Apnea through snoring analysis

    Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings

  17. Automatic classification of subjects with and without sleep apnea through snoring analysis.

    Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference, pp. 6094-6097

  18. CISNE-P: a global scheduling oriented to now environments

    Journal of Computer Science and Technology, Vol. 7, Núm. 1, pp. 72-78

  19. Comparison of stratification in a water tank and a PCM-water tank

    Proceedings of the Energy Sustainability Conference 2007

  20. Computing the characteristic numbers of the variety of nodal plane cubics in P3

    Journal of Symbolic Computation, Vol. 42, Núm. 1-2, pp. 192-202