School of Engineering and Sciences

Filter
Conference contribution

Search results

  • 2018

    Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

    Durán, F., Rocha, C. & Salaün, G., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 76-97 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Using Software Product Lines to Support Language Rehabilitation Therapies: An Experience Report

    Martínez, J. C., Pabón, M. C., Rincón, L., Gutiérrez, E., Sierra, M., Álvarez, G., Linares, D., Castillo, A., Portilla, A. & Almanza, V., 30 Nov 2018, 2018 ICAI Workshops, ICAIW 2018 - Joint Proceedings of the Workshop on Data Engineering and Analytics, WDEA 2018, Workshop on Smart Sustainable Cities, WSSC 2018, Workshop on Intelligent Transportation Systems, WITS 2018 and Workshop on Empirical Experiences on Software Reuse, WEESR 2018. Institute of Electrical and Electronics Engineers Inc., 8554992. (2018 ICAI Workshops, ICAIW 2018 - Joint Proceedings of the Workshop on Data Engineering and Analytics, WDEA 2018, Workshop on Smart Sustainable Cities, WSSC 2018, Workshop on Intelligent Transportation Systems, WITS 2018 and Workshop on Empirical Experiences on Software Reuse, WEESR 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations
  • 2017

    A case study on monitoring and geolocation of noise in urban environments using the internet of things

    Gomez, J. A., Talavera, J., Tobon, L. E., Culman, M. A., Quiroz, L. A., Aranda, J. M. & Garreta, L. E., 22 Mar 2017, Proceedings of the 2nd International Conference on Internet of Things and Cloud Computing, ICC 2017. Hamdan, H., Boubiche, D. E. & Hidoussi, F. (eds.). Association for Computing Machinery, a177. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Analysis of the alignment angles and flexion angle in women with patellofemoral pain syndrome

    Diaz-Martinez, N. F., Pulgarin-Giraldo, J. D., Vinasco-Isaza, L. E. & Agredo, W., 2017, 7th Latin American Congress on Biomedical Engineering, CLAIB 2016. Bustamante, J., Sierra, D. A. & Torres, I. (eds.). Springer Verlag, p. 666-669 4 p. (IFMBE Proceedings; vol. 60).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Anomalous node detection in networks with communities of different size

    Campos, J. & Finke, J., 29 Jun 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 3218-3223 6 p. 7963443. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Axiomatic set theory à la Dijkstra and Scholten

    Acosta, E., Aldana, B., Bohórquez, J. & Rocha, C., 2017, Advances in Computing - 12th Colombian Conference, CCC 2017, Proceedings. Solano, A. & Ordonez, H. (eds.). Springer Verlag, p. 775-791 17 p. (Communications in Computer and Information Science; vol. 735).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Dynamics of degree distributions of social networks

    Fernandez, I., Passino, K. M. & Finke, J., 28 Jun 2017, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 5044-5049 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Dynamics of group cohesion in homophilic networks

    Guerrero, K. & Finke, J., 28 Jun 2017, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2318-2323 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Extractive SPL adoption applied into a small software company

    Rincon, L., Munoz, E., Martinez, J. C., Pabon, M. C. & Alvarez, G., 25 Jan 2017, Proceedings of the 2016 42nd Latin American Computing Conference, CLEI 2016. Institute of Electrical and Electronics Engineers Inc., 7833388. (Proceedings of the 2016 42nd Latin American Computing Conference, CLEI 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Guarded terms for rewriting modulo SMT

    Bae, K. & Rocha, C., 2017, Formal Aspects of Component Software - 14th International Conference, FACS 2017, Proceedings. Lumpe, M. & Proenca, J. (eds.). Springer Verlag, p. 78-97 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10487 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Image quality assessment to enhance infrared face recognition

    Pulecio, C. G. R., Benitez-Restrepo, H. D. & Bovik, A. C., 02 Jul 2017, 2017 IEEE International Conference on Image Processing, ICIP 2017 - Proceedings. IEEE Computer Society, p. 805-809 5 p. (Proceedings - International Conference on Image Processing, ICIP; vol. 2017-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Intelligent sampling for colombian soundscapes using an artificial neural network

    Quiroz, L., Gómez, J., Agudelo, O. & Tobón, L., 2017, Applied Computer Sciences in Engineering - 4th Workshop on Engineering Applications, WEA 2017, Proceedings. Figueroa-Garcia, J. C., Lopez-Santana, E. R., Ferro-Escobar, R. & Villa-Ramirez, J. L. (eds.). Springer Verlag, p. 179-188 10 p. (Communications in Computer and Information Science; vol. 742).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Mixing art and technology: An interactive radio for a museum exhibition

    Loaiza, D. F., Prakash, E. C., Moreno, I. & Navarro-Newball, A. A., 2017, Advances in Computing - 12th Colombian Conference, CCC 2017, Proceedings. Solano, A. & Ordonez, H. (eds.). Springer Verlag, p. 586-594 9 p. (Communications in Computer and Information Science; vol. 735).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Preferential attachment with power law growth in the number of new edges

    Romero, J., Salazar, A. & Finke, J., 28 Jun 2017, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2680-2685 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Rediseñando los espacios de aprendizaje del futuro, para estudiantes de ingeniería, ciencias de la computación y ciencias naturales, mediante design thinking.

    García-Cifuentes, J. P., 2017, Rediseñando los espacios de aprendizaje del futuro, para estudiantes de ingeniería, ciencias de la computación y ciencias naturales, mediante design thinking..

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reliable control architecture with PLEXIL and ROS for autonomous wheeled robots

    Cadavid, H., Pérez, A. & Rocha, C., 2017, Advances in Computing - 12th Colombian Conference, CCC 2017, Proceedings. Solano, A. & Ordonez, H. (eds.). Springer Verlag, p. 611-626 16 p. (Communications in Computer and Information Science; vol. 735).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Stability of the Jackson-Rogers model

    Ruiz, D. & Finke, J., 28 Jun 2017, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1803-1808 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Statistics of natural fused image distortions

    Moreno-Villamarin, D. E., Benitez-Restrepo, H. D. & Bovik, A. C., 16 Jun 2017, 2017 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1243-1247 5 p. 7952355. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Verification-driven development of ICAROUS based on automatic reachability analysis: A preliminary case study

    Feliú, M. A., Rocha, C. & Balachandran, S., 13 Jul 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Erdogmus, H. & Havelund, K. (eds.). Association for Computing Machinery, Inc, p. 94-97 4 p. (SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2016

    Deriving inverse operators for modal logic

    Guzmán, M., Perchy, S., Rueda, C. & Valencia, F. D., 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer Verlag, p. 214-232 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • MEseum: Personalized experience with narrative visualization for museum visitors

    Arya, A., Gerroir, J., Mike-Ifeta, E., Navarro-Newball, A. A. & Prakash, E., 2016, Human-Computer Interaction: Novel User Experiences - 18th International Conference, HCI International 2016, Proceedings, Part III. Kurosu, M. (ed.). Springer Verlag, p. 179-190 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9733).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • New method for wall cells detection in Arabidopsis thaliana leaves

    Forero, M. G., Perdomo, S. A. & Quimbaya, M. A., 14 Nov 2016, 2016 21st Symposium on Signal Processing, Images and Artificial Vision, STSIVA 2016. Altuve, M. (ed.). Institute of Electrical and Electronics Engineers Inc., 7743348. (2016 21st Symposium on Signal Processing, Images and Artificial Vision, STSIVA 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On the expressiveness of spatial constraint systems

    Guzmán, M. & Valencia, F. D., 01 Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. King, A., Saeedloei, N., De Vos, M. & Linares, M. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (OpenAccess Series in Informatics; vol. 52).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • SMELL - FORGOTTEN YET CRITICAL DIMENSION IN PRODUCT DEVELOPMENT?

    García-Cifuentes, J. P., Steinert, M., Balters, S., Limseth, G. & Cuesta, K., 2016, SMELL - FORGOTTEN YET CRITICAL DIMENSION IN PRODUCT DEVELOPMENT?.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Stability properties of reciprocal networks

    Fernández, I. & Finke, J., 28 Jul 2016, 2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers Inc., p. 776-781 6 p. 7525008. (Proceedings of the American Control Conference; vol. 2016-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2015

    Algorithms with low computational cost for monitoring and analysis of Colombia soundscapes

    Quiroz, L., Tobón, L., Caycedo, P. & Laverde, O., 16 Nov 2015, 2015 20th Symposium on Signal Processing, Images and Computer Vision, STSIVA 2015 - Conference Proceedings. Guarin, P. V. & Posada, L. G. (eds.). Institute of Electrical and Electronics Engineers Inc., 7330413. (2015 20th Symposium on Signal Processing, Images and Computer Vision, STSIVA 2015 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

    Haar, S., Perchy, S., Rueda, C. & Valencia, F., 14 Jul 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 161-172 12 p. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    14 Scopus citations

  • Caso de Aplicación para Crear Tiendas Virtuales Usando Lineas de Productos de Software

    Translated title of the contribution: Creating virtual stores using software product lines: An application caseRincon, L., Rodriguez, G., Martinez, J. C., Alvarez, G. I. & Pabon, M. C., 20 Nov 2015, 2015 10th Colombian Computing Conference, 10CCC 2015. Gonzalez, O. & Sanchez, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 71-78 8 p. 7333414. (2015 10th Colombian Computing Conference, 10CCC 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Marker-less feature and gesture detection for an interactive mixed reality avatar

    Moreno, I., Prakash, E. C., Loaiza, D. F., Lozada, D. A. & Navarro-Newball, A. A., 16 Nov 2015, 2015 20th Symposium on Signal Processing, Images and Computer Vision, STSIVA 2015 - Conference Proceedings. Guarin, P. V. & Posada, L. G. (eds.). Institute of Electrical and Electronics Engineers Inc., 7330433. (2015 20th Symposium on Signal Processing, Images and Computer Vision, STSIVA 2015 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Non-reference quality assessment of infrared images reconstructed by compressive sensing

    Ospina-Borras, J. E. & Benitez-Restrepo, H. D., 2015, Proceedings of SPIE-IS and T Electronic Imaging - Image Quality and System Performance XII. Triantaphillidou, S. & Larabi, M.-C. (eds.). SPIE, 93960V. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9396).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Theoretical aspects of computing - ICTAC 2015: 12th international colloquium cali, Colombia, October 29-31, 2015 proceedings

    Leucker, M., Rueda, C. & Valencia, F. D., 2015, Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Leucker, M., Rueda, C., Valencia, F. D. & Valencia, F. D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9399).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Thermal diffusivity estimation with quantitative pulsed phase thermography

    Ospina-Borras, J. E., Florez-Ospina, J. F., Benitez-Restrepo, H. D. & Maldague, X., 2015, Thermosense: Thermal Infrared Applications XXXVII. Zalameda, J. N. & Hsieh, S.-J. (eds.). SPIE, 948512. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9485).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Towards tantalluc: Interactive mobile augmented reality application for the Museo de América in Madrid

    Perea-Tanaka, C. F., Moreno, I., Prakash, E. C. & Navarro-Newball, A. A., 20 Nov 2015, 2015 10th Colombian Computing Conference, 10CCC 2015. Gonzalez, O. & Sanchez, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 164-171 8 p. 7333427. (2015 10th Colombian Computing Conference, 10CCC 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Transitivity of reciprocal networks

    Fernandez, I. & Finke, J., 08 Feb 2015, 54rd IEEE Conference on Decision and Control,CDC 2015. Institute of Electrical and Electronics Engineers Inc., p. 1625-1630 6 p. 7402443. (Proceedings of the IEEE Conference on Decision and Control; vol. 54rd IEEE Conference on Decision and Control,CDC 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • VariaMos: An extensible tool for engineering (dynamic) product lines

    Mazo, R., Muñoz-Fernández, J. C., Rincón, L., Salinesi, C. & Tamura, G., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, p. 374-379 6 p. (ACM International Conference Proceeding Series; vol. 20-24-July-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Scopus citations
  • 2014

    A numerical solution for Wootters correlation

    Hissami, A., Pretel, A. & Tamura, E., 2014, High Performance Computing - First HPCLATAM - CLCAR - Latin American Joint Conference, CARLA 2014, Proceedings. Hernández, G., Hernández, C. J. B., Díaz, G., Garino, C. G., Nesmachnow, S., Pérez-Acle, T., Storti, M. & Vázquez, M. (eds.). Springer Verlag, p. 221-235 15 p. (Communications in Computer and Information Science; vol. 485).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Characterizing the relationship between degree distributions and community structures

    Moriano, P. & Finke, J., 2014, 2014 American Control Conference, ACC 2014. Institute of Electrical and Electronics Engineers Inc., p. 2383-2388 6 p. 6858882. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • False positive reduction in automatic segmentation system

    Vargas, J., Velasco, J. A., Alvarez, G. I., Linares, D. L. & Bravo, E., 2014, Advances in Computational Biology - Proceedings of the 2nd Colombian Congress on Computational Biology and Bioinformatics CCBCOL 2013. Springer Verlag, p. 103-108 6 p. (Advances in Intelligent Systems and Computing; vol. 232).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Model-based fraud detection in growing networks

    Moriano, P. & Finke, J., 2014, 53rd IEEE Conference on Decision and Control,CDC 2014. February ed. Institute of Electrical and Electronics Engineers Inc., p. 6068-6073 6 p. 7040339. (Proceedings of the IEEE Conference on Decision and Control; vol. 2015-February, no. February).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Multidisciplinary design of suitable assistive technologies for motor disabilities in Colombia

    Chavarriaga, R., Hurtado, M. N., Bolaños, M., Loaiza, J. A., Mayor, J. M., Valencia, M. & Aguilar-Zambrano, J., 01 Dec 2014, Proceedings of the 4th IEEE Global Humanitarian Technology Conference, GHTC 2014. Institute of Electrical and Electronics Engineers Inc., p. 386-391 6 p. 6970310. (Proceedings of the 4th IEEE Global Humanitarian Technology Conference, GHTC 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • On the stability of resource undermatching in human group-choice

    Fernández, I. & Finke, J., 2014, 2014 American Control Conference, ACC 2014. Institute of Electrical and Electronics Engineers Inc., p. 2059-2064 6 p. 6858908. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Spatial-temporal features of thermal images for Carpal Tunnel Syndrome detection

    Estupinan Roldan, K., Ortega Piedrahita, M. A. & Benitez, H. D., 2014, Proceedings of SPIE-IS and T Electronic Imaging - Image Processing: Algorithms and Systems XII. SPIE, 90190E. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The hybrid SETD-FETD method with field variables e and B

    Ren, Q., Tobon, L. E., Sun, Q. & Liu, Q. H., 12 Nov 2014, 2014 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 68 1 p. 6955450. (2014 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • The Hydrological Behaviour of an Eco-Productive Green Roof in Bogota, Colombia

    Torres Abello, A. E., Galarza Molina, S. L., Rengifo, P., Puentes, A. & Cárcamo-Hernández, E., 2014, Proceedings of the 13th International Congress on Urban Drainage, Kuching, Malaysian. 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2013

    A new efficient non-spurious 3D DG-FETD for large and multiscale electromagnetic systems

    Tobon, L. E., Ren, Q. & Liu, Q. H., 2013, 2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2013 - Proceedings. p. 45 1 p. 6715351. (2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A video game prototype for speech rehabilitation

    Loaiza, D., Oviedo, C., Castillo, A., Portilla, A., Alvarez, G., Linares, D. & Navarro, A., 2013, 2013 5th International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2013. 6624218. (2013 5th International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • Cellular neural network computational scheme for efficient implementation of the FDTD method

    Mayor, J., Tobon, L., Nagy, Z. & Tamura, E., 2013, 2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2013 - Proceedings. p. 79 1 p. 6715385. (2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Computing the Camion's multivariate BCH bound

    Bernal, J. J., Bueno-Carreno, D. H. & Simon, J. J., 2013, 2013 IEEE Information Theory Workshop, ITW 2013. 6691285. (2013 IEEE Information Theory Workshop, ITW 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Didactic and interdisciplinary experiences in a software engineering course

    Martinez-Arias, J. C. & Sarria M., G. M., 2013, 2013 Frontiers in Education Conference: Energizing the Future, FIE 2013 - Proceedings. p. 1800-1805 6 p. 6685148. (Proceedings - Frontiers in Education Conference, FIE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Discrete rainfall predictability Using the El Niño/Southern Oscillation interaction

    Ramirez Buelvas, S. M., Alfaro, E., Cid, L. & Enfield, D., 01 Dec 2013, Proceedings of the ASA JSM 2013. Section on Statistics and the Environment.. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review