Instituto de Tecnología del Conocimiento (ITC)

2016

1. A computational approach inspired by simulated annealing to study the stability of protein interaction networks in cancer and neurological disorders

   Data Mining and Knowledge Discovery, Vol. 30, Núm. 1, pp. 226-242

2. A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

   Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012

3. A matlab-based testbed for integration, evaluation and comparison of heterogeneous stereo vision matching algorithms

   Robotics, Vol. 5, Núm. 4

4. Agent-based simulation of crowds in indoor scenarios

   Studies in Computational Intelligence, Vol. 616, pp. 121-130

5. An Automated Defect Prediction Framework using Genetic Algorithms: A Validation of Empirical Studies

   Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, Vol. 19, Núm. 57, pp. 114-137

6. An agent based approach for the implementation of cooperative proactive S-Metaheuristics

   Expert Systems with Applications, Vol. 63, pp. 344-374

7. An architecture of narrative memory

   Biologically Inspired Cognitive Architectures, Vol. 16, pp. 19-33

8. An instance-based learning approach for thresholding in crop images under different outdoor conditions

   Computers and Electronics in Agriculture, Vol. 127, pp. 669-679

9. An instrument to build a gamer clustering framework according to gaming preferences and habits

   Computers in Human Behavior, Vol. 62, pp. 353-363

10. An integrative modelling language for agent-based simulation of traffic

    IEICE Transactions on Information and Systems, Vol. E99D, Núm. 2, pp. 406-414

11. Analysis of Parallel Computing Strategies to Accelerate Ultrasound Imaging Processes

    IEEE Transactions on Parallel and Distributed Systems, Vol. 27, Núm. 12, pp. 3429-3440

12. Análisis de la implementación software de un conformador de señales ultrasónicas para tiempo real

    Revista iberoamericana de automática e informática industrial ( RIAI ), Vol. 13, Núm. 4, pp. 462-471

13. Autonomy for ground-level robotic space exploration: Framework, simulation, architecture, algorithms and experiments

    Robotica, Vol. 34, Núm. 2, pp. 274-305

14. Blockchain technology as a regulatory technology: From code is law to law is code

    First Monday, Vol. 21, Núm. 12

15. Code obfuscation using very long identifiers for FFT motion estimation models in embedded processors

    Journal of Real-Time Image Processing, Vol. 11, Núm. 4, pp. 817-827

16. Computational Drafting of Plot Structures for Russian Folk Tales

    Cognitive Computation, Vol. 8, Núm. 2, pp. 187-203

17. Constrained creation of poetic forms during theme-driven exploration of a domain defined by an N-gram model

    Connection Science, Vol. 28, Núm. 2, pp. 111-130

18. Control of a Chain Pendulum: A fuzzy logic approach

    International Journal of Computational Intelligence Systems, Vol. 9, Núm. 2, pp. 281-295

19. Cost-related interface for software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 85, Núm. 1, pp. 227-244

20. El impacto del diseño de actividades en el plagio de Internet en educación superior

    Comunicar: Revista Científica de Comunicación y Educación, Núm. 48, pp. 39-48