Publikationen (149) Publikationen, an denen Forscher/innen teilgenommen haben

2014

  1. Averaging and orthogonal operators on variable exponent spaces L p({dot operator}) (Ω)

    Journal of Mathematical Analysis and Applications, Vol. 413, Núm. 1, pp. 139-153

  2. A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions

    IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894

  3. A Multilevel thresholding algorithm using electromagnetism optimization

    Neurocomputing, Vol. 139, pp. 357-381

  4. A Survey-based Approach for Selecting the Stations and Links for a Rapid Transit Network

    International Journal of Computational Intelligence Systems, Vol. 7, Núm. 3, pp. 565-581

  5. A Transformation-based implementation for CLP with qualification and proximity

    Theory and Practice of Logic Programming, Vol. 14, Núm. 1, pp. 1-63

  6. A fault tolerant implementation of the Goertzel algorithm

    Microelectronics Reliability, Vol. 54, Núm. 1, pp. 335-337

  7. A formal framework to analyze cost and performance in Map-Reduce based applications

    Journal of Computational Science, Vol. 5, Núm. 2, pp. 106-118

  8. A framework for building hypercubes using MapReduce

    Computer Physics Communications, Vol. 185, Núm. 5, pp. 1429-1438

  9. A layered trust information security architecture

    Sensors (Switzerland), Vol. 14, Núm. 12, pp. 22754-22772

  10. A mapping-scheduling algorithm for hardware acceleration on reconfigurable platforms

    ACM Transactions on Reconfigurable Technology and Systems, Vol. 7, Núm. 2

  11. A method to design SEC-DED-DAEC codes with optimized decoding

    IEEE Transactions on Device and Materials Reliability, Vol. 14, Núm. 3, pp. 884-889

  12. A method to extend orthogonal latin square codes

    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 22, Núm. 7, pp. 1635-1639

  13. A methodology to automatically optimize dynamic memory managers applying grammatical evolution

    Journal of Systems and Software, Vol. 91, Núm. 1, pp. 109-123

  14. A model of quantum-von neumann hybrid cellular automata: Principles and simulation of quantum coherent superposition and decoherence in cytoskeletal microtubules

    Quantum Information and Computation, Vol. 15, Núm. 1-2, pp. 22-36

  15. A multi-capacity queuing mechanism in multi-dimensional resource scheduling

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8907, pp. 9-25

  16. A novel energy-driven computing paradigm for e-health scenarios

    Future Generation Computer Systems, Vol. 34, pp. 138-154

  17. A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation

    Information and Computation, Vol. 235, pp. 3-35

  18. A semantically enriched context-aware OER recommendation strategy and its application to a computer science OER repository

    IEEE Transactions on Education, Vol. 57, Núm. 4, pp. 255-260

  19. A zone-based media independent information service for IEEE 802.21 networks

    International Journal of Distributed Sensor Networks, Vol. 2014

  20. Acción tecnológica, acción personal y acción de Dios

    Diálogo filosófico, Núm. 90, pp. 419-432