Publicaciones

2018 (9)
  • Diego Ruiz, Jorge Finke (Aug 2018) Lyapunov-Based Anomaly Detection in Highly-Clustered Networks. Journal of Statistical Physics 172 (4) pp. 1127–1146. doi web
  • J-C. Martínez, Mar '{i}a-C Pabón, L Rincón, E Gutiérrez, M Sierra, G Alvarez, D Linares, A Castillo, A Portilla, V Almanza (2018) Using Software Product Lines to Support Language Rehabilitation Therapies: An Experience Report. In 2018 ICAI Workshops (ICAIW). pp. 1-6. IEEE. doi
  • Luisa Rincón, Juan-C. Martínez, Mar '{i}a-C Pabón, Javier Mogollón, Alejandro Caballero (2018) Creating a Software Product Line of Mini-Games to Support Language Therapy. In Advances in Computing. Springer International Publishing. doi
  • Raúl Mazo, Juan Carlos Martínez, José Ignacio López (2018) Proceso de configuración como un proceso de ingeniería de requisitos. En Guía para la adopción industrial de líneas de productos de software. pp. 397-431. Eafit.
  • P.A Correa, J.P. Mejia, A.M. Lenis, C.A. Camargo, A.A. Navarro-Newball (2018) Building Alternative Methods for Aiding Language Skills Learning for the Hearing Impaired. Communications In Computer And Information Science 1 (1) pp. 192-200. web
  • C. Camargo, A. Lenis, Jaramillo C., A. Guerrero, A. Navarro-Newball, S. Riocampo, D. Loaiza, D. Gherman, F. Alexandre, J. Wood, S. Aboud, W. Khan, E. Edmond, K. Hoji, E. Prakash (2018) Research and Development Challenges in Computer Games and Allied Technologies (CGAT): Virtual Reality and Digital Environments. 11th Annual International Conference on Computer Games Multimedia and Allied Technology (CGAT 2018) 1 (1) pp. 113-123. web
  • Isidro Moreno, A.A. Navarro-Newball (2018) Las bases de datos narrativas y la accesibilidad universal al conocimiento. Estudio de caso: Patrimonio artístico durante la Guerra Civil y la posguerra. In Patrimonio cultural, guerra civil y posguerra . pp. 511–525. Editorial Fragua.
  • Andr{é}s Adolfo Navarro-Newball, Borja Barinaga L{ó}pez, Isidro Moreno S{á}nchez (2018) Hypermedia Narrative as a Tool for Serious Games. In Encyclopedia of Computer Graphics and Games. pp. 1–3. Springer International Publishing. Cham. doi web
  • Andr{é}s A. Navarro-Newball, Luis S. Osorio, Paredes Franco D., Juan C. Ar{é}valo, Santiago Juri, Edgar M. Am{é}zquita, Victoria E. Contreras, Isidro Moreno S{á}nchez, Borja Barinaga L{ó}pez, Diego F. Loaiza (2018) Developing a narrative database for spanish art starting from the end. In Obras colectivas en Ciencias de la Computaci{ó}n. pp. 523 – 532. universidad Aut{ó}noma de Occidente. Cali.
2017 (24)
  • D. Ruiz, J. Finke (Dec 2017) Stability of the Jackson-Rogers model. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC). pp. 1803-1808. doi
  • J. Romero, A. Salazar, J. Finke (Dec 2017) Preferential attachment with power law growth in the number of new edges. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC). pp. 2680-2685. doi
  • I. Fernández, K. M. Passino, J. Finke (Dec 2017) Dynamics of degree distributions of social networks. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC). pp. 5044-5049. doi
  • K. Guerrero, J. Finke (Dec 2017) Dynamics of group cohesion in homophilic networks. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC). pp. 2318-2323. doi
  • D. E. Moreno-Villamarín, H. D. Benítez-Restrepo, A. C. Bovik (July 2017) Predicting the Quality of Fused Long Wave Infrared and Visible Light Images. IEEE Transactions on Image Processing 26 (7) pp. 3479-3491. IEEE. doi
  • J. Campos, J. Finke (May 2017) Anomalous node detection in networks with communities of different size. In 2017 American Control Conference (ACC). pp. 3218-3223. doi
  • M. A. Culman, J. A. Gomez, J. Talavera, L. A. Quiroz, L. E. Tobon, J. M. Aranda, L. E. Garreta, C. J. Bayona (April 2017) A Novel Application for Identification of Nutrient Deficiencies in Oil Palm Using the Internet of Things. In 2017 5th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (MobileCloud). pp. 169-172. IEEE. doi
  • D. E. Moreno-Villamarín, H. D. Benítez-Restrepo, A. C. Bovik (March 2017) Statistics of natural fused image distortions. In 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). pp. 1243-1247. doi
  • Stefan Haar, Salim Perchy, Frank Valencia (Jan 2017) D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. In 11th International Conference on Semantic Computing (ICSC). pp. 227-233. IEEE. San Diego, California, United States. doi
  • Jesús Martín Talavera, Luis Eduardo Tobón, Jairo Alejandro Gómez, María Alejandra Culman, Juan Manuel Aranda, Diana Teresa Parra, Luis Alfredo Quiroz, Adolfo Hoyos, Luis Ernesto Garreta (2017) Review of IoT applications in agro-industrial and environmental fields. Computers and Electronics in Agriculture 142 (Part A) pp. 283-297. doi web
  • Isabel Fernandez, Kevin M. Passino, Jorge Finke (2017) A dynamic system analysis of the network degree of preferential attachment models. pp. 4039. World Academy of Science, Engineering and Technology. web
  • Brayan Rodr{í}guez, Ra{ú}l Guti{é}rrez de Pi{  {n}}{é}rez, Gerardo M. Sarria M. (2017) Using Probabilistic Parsers to Support Salsa Music Composition. In Mathematics and Computation in Music. pp. 361–372. Springer International Publishing. Cham.
  • Juan Esteban Ospina-Borras, Hernán Darío Benitez-Restrepo, Juan Felipe Florez-Ospina (2017) Non-Destructive Infrared Evaluation of Thermo-Physical Parameters in Bamboo Specimens. Applied Sciences 7 (12) doi web
  • H{é}ctor Cadavid, Alexander P{é}rez, Camilo Rocha (2017) Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots. In Advances in Computing: 12th Colombian Conference, CCC 2017. pp. 611-626. Springer International Publishing. Cham. doi web
  • Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia (2017) Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion . Journal of Logical and Algebraic Methods in Programming 86 (1) pp. 107-133. doi web
  • C.A. Alvarez-Restrepo, H.D. Benitez-Restrepo, L.E. Tobón (2017) Characterization of Defects of Pulsed Thermography Inspections by Orthogonal Polynomial Decomposition. NDT & E International 91 pp. 9-21. doi web
  • Luisa Rincón, Jorge Villay, Juan-C. Martínez, Andrés D. Castillo, Anita Y. Portilla, Andrés Navarro (2017) Un videojuego para apoyar la terapia del lenguaje: el caso de la descripción estática. Congreso Iberoamericano de Tecnologías de Apoyo a la Discapcidad 1 (1) pp. 597-605. web
  • Borja Barinaga López, Isidro Moreno Sánchez, Andrés Navarro Newball (2017) La narrativa hipermedia en el museo. El presente del futuro. Obra Digital pp. 101-121. web
  • Mario José Basallo-Triana, Jesús Andrés Rodríguez-Sarasty, Hernán Darío Benitez-Restrepo (2017) Analogue-based demand forecasting of short life-cycle products: a regression approach and a comprehensive assessment. International Journal of Production Research 55 (8) pp. 2336-2350. doi web
  • Diego F. Loaiza, Edmond C. Prakash, Isidro Moreno, Andr{é}s A. Navarro-Newball (2017) Mixing Art and Technology: An Interactive Radio for a Museum Exhibition. In Advances in Computing: 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings. pp. 586–594. Springer International Publishing. Cham. doi web
  • Ernesto Acosta, Bernarda Aldana, Jaime Boh{ó}rquez, Camilo Rocha (2017) Axiomatic Set Theory {à} la Dijkstra and Scholten. In Advances in Computing: 12th Colombian Conference, CCC 2017. pp. 775-791. Springer International Publishing. Cham. doi web
  • Camilo Rocha, José Meseguer, César Muñoz (2017) Rewriting modulo SMT and open system analysis. Journal of Logical and Algebraic Methods in Programming 86 (1) pp. 269 - 297. doi web
  • Marco A. Feli '{u}, Camilo Rocha, Swee Balachandran (2017) Verification-driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study. In Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. pp. 94–97. ACM. New York, NY, USA. doi web
  • Kyungmin Bae, Camilo Rocha (2017) Guarded Terms for Rewriting Modulo SMT. In Formal Aspects of Component Software: 14th International Conference, FACS 2017. pp. 78-97. Springer International Publishing. Cham. doi web
2016 (21)
  • Q. Ren, Q. Sun, L. Tobón, Q. Zhan, Q. H. Liu (Sept 2016) EB Scheme-Based Hybrid SE-FE DGTD Method for Multiscale EM Simulations. IEEE Transactions on Antennas and Propagation 64 (9) pp. 4088-4091. doi
  • Alexánder Martínez, Daniel Palacio, Alejandro Vergara (2016) Aterrizaje Autónomo de un Vehículo Aéreo no Tripulado, Usando Información Visual. In Tercer Congreso Internacional sobre Tecnologías Avanzadas de Mecatrónica, Diseño y Manufactura.
  • Maribell Sacanamboy, Luis Quesada, Freddy Bolanos, Alvaro Bernal, Barry O'Sullivan (2016) A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip.. In 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI). pp. 938-945.
  • Juan Pablo García Cifuentes (2016) Design thinking para innovar, desde la interdisciplinariedad e interculturalidad, en ingeniería. In Encuentro Internacional de Educación en Ingeniería ACOFI. pp. 1-10. Cartagena, Colombia.
  • Alexander Martínez, Diana Contreras, Jorge Nieto, Andrés Oviedo, Sergio Vásquez (2016) Plataforma Experimental para Evaluación del Desempeño de Sistemas Multi-Robot. In Tercer Congreso Internacional sobre Tecnologías Avanzadas de Mecatrónica, Diseño y Manufactura.
  • Carlos Pinzón, Camilo Rocha (2016) Double-spend Attack Models with Time Advantange for Bitcoin. Electronic Notes in Theoretical Computer Science 329 pp. 79 - 103. doi web
  • Michell Guzm{á}n, Frank D. Valencia (2016) On the Expressiveness of Spatial Constraint Systems. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). pp. 1-12. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. Dagstuhl, Germany. doi web
  • Manuel Valencia, Alejandro Paz, Luz Nidia Quintero, Jairo Palacios (2016) Summary of Technical Approaches to Improve Energy Efficiency in Electric Motor Drive Systems. World Academy of Science, Engineering and Technology 3 (12) pp. 1961-1964. web
  • Alejandro Paz Parra, Jose Luis Oslinger Gutierrez, Javier Olaya Ochoa (2016) Online Electric Current Based Diagnosis of Stator Faults on Squirrel Cage Induction Motors. International Journal of Electrical, Computer, Energetic, Electronic and Communication Engineering 10 (12) pp. 1-9. web
  • Isidro Moreno Sánchez, Andrés Navarro (2016) El museo múltiple. Accesibilidad y transmedialidad. Revista TRP21 pp. 1-18. web
  • Gerardo Sarria, Mario Mora, Carlos Arce (2016) Salsa dataset: primera base de conocimiento de música salsa. Revista Ricercare pp. 64-72.
  • L. Rincón, E. Muñoz, J-C. Martínez, M-C. Pabón, G. Álvarez (2016) Extractive SPL Adoption Applied Into a Small Software Company. In Proceedings of the XLII Latin American Computing Conference (CLEI). pp. 740-747. Valparaíso, Chile.
  • Carlos Olarte, Camilo Rueda (2016) Session Types for Communicating Systems in event-B. In Proceedings of the 31st Annual ACM Symposium on Applied Computing. pp. 1686-1693. ACM. New York, NY, USA. doi web
  • A.A. Navarro-Newball (2016) Jav-Atar: A Video Game Contest to Promote Computer Science. In The ICT Age. pp. 125-140. Cambridge Scholars Publishing.
  • D.G. Bermúdez, A.A. Navarro-Newball, J. Aguilar-Zambrano, S. Ochoa-Angrino (2016) Preservando Ando: videojuego diseñado como escenario educativo con impacto social. In Extendiendo el espectro temático del diseño. pp. 155-176. Qartuppi. doi web
  • Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia (2016) Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion. Journal of Logical and Algebraic Methods in Programming Elsevier. web
  • Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia (2016) Deriving Inverse Operators for Modal Logic. In ICTAC 2016. Springer. web
  • J.E. Ospina-Borras, Hernan Darío Benítez Restrepo (2016) Non-reference assessment of sharpness in blur/noise degraded images . Journal of Visual Communication and Image Representation 39 pp. 142 - 151. doi web
  • Isidro Moreno-Sánchez, Andrés Navarro-Newball (2016) Mobile hypermedia as new media and its role in transmedia creation. Revista KEPES 13 (13) pp. 145-170. web
  • Ali Arya, Jesse Gerroir, Efetobore Mike-Ifeta, Andres Adolfo Navarro-Newball, Edmund Prakash (2016) MEseum: Personalized Experience with Narrative Visualization for Museum Visitors. In Human-Computer Interaction. Novel User Experiences: 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III. pp. 179–190. Springer International Publishing. Cham. doi web
  • Isabel Fernandez, Jorge Finke (2016) Stability Properties of Reciprocal Networks. In Proceeding of the American Control Conference. pp. 1-8. Boston, MA.
2015 (34)
  • Q. Sun, L.E. Tobon, Q. Ren, Y. Hu, Q.H. Liu (Dec 2015) Efficient Noniterative Implicit Time-Stepping Scheme Based on E and B Fields for Sequential DG-FETD Systems. Components, Packaging and Manufacturing Technology, IEEE Transactions on 5 (12) pp. 1839-1849. doi
  • Jheyson Faride Vargas, Jairo Andr{é}s Velasco, Gloria In{é}s Alvarez, Diego Luis Linares, Enrique Bravo (nov 2015) Automatic Segmentation of Potyviridae Family Polyproteins. Int. J. Bioinformatics Research and Applications 11 (6) pp. 525 - 539. Inderscience Publishers. Inderscience Publishers, Geneva, SWITZERLAND. doi web
  • Carlos F. Perea-Tanaka, Isidro Moreno, Edmond C. Prakash, Andres A. Navarro-Newball (September 2015) Towards tantalluc: Interactive mobile augmented reality application for the Museo de Am #x00E9;rica in Madrid. In Computing Colombian Conference (10CCC), 2015 10th. pp. 164-171. IEEE. doi
  • Isidro Moreno, Edmond C. Prakash, Diego F. Loaiza, Diego A. Lozada, Andres A. Navarro-Newball (September 2015) Marker-less feature and gesture detection for an interactive mixed reality avatar. In 20th Symposium on Signal Processing, Images and Computer Vision (STSIVA). pp. 129-135. doi
  • Salim Perchy, Frank Valencia (Aug 2015) Opinions and Beliefs as constraint system operators. In Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). pp. 1. Cork, Ireland. web
  • Q. Ren, L.E. Tobon, Q. Sun, Q.H. Liu (June 2015) A New 3-D Nonspurious Discontinuous Galerkin Spectral Element Time-Domain (DG-SETD) Method for Maxwell’s Equations. Antennas and Propagation, IEEE Transactions on 63 (6) pp. 2585-2594. doi
  • J.E Ospina-Borras, H.D Benitez-Restrepo (February 2015) Non-reference Quality Assessment of Infrared Images Reconstructed by Compressive Sensing. In Proc. SPIE 9396, Image Quality and System Performance XII, 93960V. pp. 1-9. doi
  • N. Liu, L.E. Tobon, Y. Zhao, Y. Tang, Q.H. Liu (Feb 2015) Mixed Spectral-Element Method for 3-D Maxwell's Eigenvalue Problem. Microwave Theory and Techniques, IEEE Transactions on 63 (2) pp. 317-325. doi
  • María Constanza Pabón, César A. Collazos (2015) Lenguaje Visual de Consulta sobre Grafos de Datos: Un enfoque desde el Diseño Centrado en el Usuario. In ACM Proceedings Congreso Colombiano de Computación. pp. 410-419.
  • Luis Eduardo Tob{ó}n, Carlos Andr{é}s Posada (2015) DESCOMPOSICI{Ó}N DE SE{Ñ}ALES BIOAC{Ú}STICAS USANDO FAMILIAS DE POLINOMIOS ORTOGONALES. Revista de Investigaciones de la Universidad del Quindío 27 pp. 39-45.
  • Ricardo Chavarriaga, Manuel Valencia, Maria Hurtado, Marcela Bola{  {n}}os, Jaime Aguilar-Zambrano (2015) Technologies for Development: What is Essential?. pp. 129-136. Springer International Publishing. Cham. doi web
  • Luis Quiroz, Luis Tobon, Paula Caycedo, Oscar Laverde (2015) Algorithms with low computational cost for monitoring and analysis of Colombia soundscapes. In 20th Symposium on Signal Processing, Images and Computer Vision (STSIVA). pp. 1-11.
  • Gerardo Sarria, Carlos Arce-Lopera, Mario Mora (2015) Salsa DataSet: Primer Base de Conocimiento de M '{u}sica Salsa. In Congress on Music Research: Models of Musical Research. pp. 1-8. Cali, Colombia.
  • Isabel Fernandez, Jorge Finke (2015) Transitivity of Reciprocal Networks. In Proceeding of the Conference on Decision and Control. pp. 1625-1630. Osaka, Japan.
  • Edwin J. Muñoz Riascos, Luisa Rincón (2015) Modelo de características de una línea de productos de software para aplicaciones que usan dispositivos de Reconocimiento Biométrico. In REVASOFT. pp. 68-72.
  • L. Rincón, G. Rodríguez, J-C. Martínez, G. Álvarez, M-C. Pabón (2015) Caso de Aplicación para Crear Tiendas Virtuales Usando Líneas de Productos de Software. In 10th Computing Colombian Conference (10CCC). pp. 71-78. Bogotá, Colombia.
  • Camilo Ar '{e}valo, Gerardo Sarria, Mario Mora, Carlos Arce-Lopera (2015) Towards an Efficient Algorithm to Get the Chorus of a Salsa Song. In IEEE International Symposium on Multimedia (ISM2015). pp. 258-261. Miami, FL, USA.
  • Ana-Victoria Prados, Luis-Roberto Rivera, Gerardo Sarria (2015) Competences that facilitate the achievement of the objectives of an introductory programming course. In World Engineering Education Forum (WEEF2015). pp. 1007–1012. IEEE. Florence, Italy.
  • Isidro Moreno-Sánchez, Andrés Navarro-Newball (2015) La ciudad escondida. Toledo, laboratorio de comunicación transmedia. Opción Año 31 (Especial 1) pp. 806-827. web
  • Andres Adolfo Navarro-Newball, Isidro Moreno, Edmond Prakash, Ali Arya, Victoria E. Contreras, Victor A. Quiceno, Santiago Lozano, Juan David Mejìa, Diego Fernando Loaiza (2015) Gesture Based Human Motion and Game Principles to Aid Understanding of Science and Cultural Practices. Multimedia Tools and Applications pp. 1-24. Springer US. doi web
  • Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda (2015) Foundations for Reliable and Flexible Interactive Multimedia Scores. In Mathematics and Computation in Music. pp. 29-41. Springer International Publishing. doi web
  • Víctor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda (2015) Code Generation for Event-B. International Journal on Software Tools for Technology Transfer pp. 1-22. doi
  • J.F. Florez-Ospina, H.D. Benitez-Restrepo (2015) Toward Automatic Evaluation of Defect Detectability in Infrared Images of Composites and Honeycomb Structures . Infrared Physics & Technology 71 pp. 99-112. doi web
  • Na Liu, Luis Tobón, Yifa Tang, Qing Huo Liu (2 2015) Mixed Spectral Element Method for 2D Maxwell's Eigenvalue Problem. Communications in Computational Physics 17 pp. 458-486. doi web
  • Luis E. Tobon, Qiang Ren, Qingtao Sun, Jiefu Chen, Qing Huo Liu (2015) New Efficient Implicit Time Integration Method for DGTD Appliedto Sequential Multidomain and Multiscale Problems. PIER - Progress In Electromagnetics Research 151 pp. 1-8. web
  • Mauricio Cano, Camilo Rueda, Hugo A. L '{o}pez, Jorge A. P{é}rez (2015) Declarative Interpretations of Session-based Concurrency. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. pp. 67–78. ACM. New York, NY, USA. doi web
  • Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia (2015) An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. pp. 161–172. ACM. New York, NY, USA. doi web
  • Luis E. Tobón, Qiang Ren, Qing Huo Liu (2015) A New Efficient 3D Discontinuous Galerkin Time Domain (DGTD) Method for Large and Multiscale Electromagnetic Simulations. Journal of Computational Physics 283 pp. 374-387. doi web
  • Andrés Navarro-Newball, Isidro Moreno-Sánchez (2015) Redefinición de las TIC en el museo: del discurso invasivo al inclusivo. Complutum 26 (2) pp. 219-228. web
  • A.A. Navarro-Newball, D.G. Bermúdez, S. Ochoa-Angrino, J. Aguilar-Zambrano, V.E. Contreras, I. Moreno-Sánchez (2015) Gamification in Informal Education Environments: A Case Study. In Transforming Learning and IT Management through Gamification. pp. 73-97. Springer International Publishing. doi web
  • L. Rincón, G. Giraldo, R. Mazo, C. Salinesi, D. Diaz (2015) Method to Identify Corrections of Defects on Product Line Models . Electronic Notes in Theoretical Computer Science 314 pp. 61-81. doi web
  • Jaime Arias, Myriam Desainte{-}Catherine, Camilo Rueda (2015) A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. In 15th International Conference on Application of Concurrency to System Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015. pp. 140–151. {IEEE} Computer Society. doi web
  • Editors, Martin Leucker, Camilo Rueda, Frank D. Valencia (2015) Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Springer. doi web
  • Raúl Mazo, Juan C. Muñoz-Fernández, Luisa Rincón, Camille Salinesi, Gabriel Tamura (2015) VariaMos: An Extensible Tool for Engineering (Dynamic) Product Lines. In Proceedings of the 19th International Conference on Software Product Line. pp. 374-379. ACM. New York, NY, USA. doi web
2014 (32)
  • Christian C. Ventes, Andrés A. Navarro-Newball, Deivy A. Velasco, Edmond C. Prakash. (Dec 2014) A Programming Library for Creating Tangible User Interfaces. GSTF Journal on Computing (JoC) 4 (1) pp. 23-32. doi
  • Ricardo Chavarriaga, Maria N. Hurtado, Marcela Bolaños, José A. Loaiza, Juan M. Mayor, Manuel Valencia, Jaime Aguilar-Zambrano (Oct 2014) Multidisciplinary Design of Suitable Assistive Technologies for Motor Disabilities in Colombia. In Global Humanitarian Technology Conference (GHTC), 2014 IEEE. pp. 386-391. doi
  • María Constanza Pabón, Claudia Roncancio, Martha Millán (August 2014) Graph Data Transformations and Querying. In C3S2E '14 - International C* Conference on Computer Science & Software Engineering. pp. 1-6. doi
  • Karen López, Juan Carlos Martínez (Agosto 2014) Escribir para Aprender y Comunicar en la Asignatura Procesos de Ingeniería de Software. Trabajo Colaborativo Entre Docentes de Lengua y Docentes de las Disciplinas.. In V Encuentro Internacional y IV Nacional de Lectura Y Escritura en la Educación Superior. pp. 1-13.
  • Qing Huo Liu, Qiang Ren, Qingtao Sun, Luis Tobon (08 2014) Some Recent Progress on the Discontinuous Galerkin Time Domain Method for Multiscale Electormagnetics. In PIERS 2014 Guangzhou, Progress In Electromagnetics Research Symposium. pp. 708. web
  • Yandre Lozano, Javier Olaya, Alejandro Paz, Katherine Sanchez (Julio 2014) Análisis de Confiabilidad de Motores de Inducción Trifásicos Tipo Jaula de Ardilla en Presencia de Riesgos Competitivos. In XXIV Simposio Internacional de Estadística. pp. 1-6.
  • Qiang Ren, L.E. Tobon, Qingtao Sun, Qing Huo Liu (July 2014) The Hybrid SETD-FETD Method with Field Variables E and B. In Radio Science Meeting (Joint with AP-S Symposium), 2014 USNC-URSI. pp. 68-68. doi
  • Isabel Fernandez, Jorge Finke (June 2014) On the Stability of Resource Undermatching in Human Group-Choice. In American Control Conference (ACC), 2014. pp. 2059-2064. IEEE. doi
  • Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda (June 2014) Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. In 14th International Conference on Application of Concurrency to System Design. Gianfranco Ciardo, Ekkart Kindler. doi
  • Pablo Moriano, Jorge Finke (June 2014) Characterizing the Relationship Between Degree Distributions and Community Structures. In American Control Conference (ACC), 2014. pp. 2383-2388. IEEE. doi
  • Maria Pabón, Claudia Roncancio, Martha Millán (March 2014) Graph Management to Improve Querying of Health and Social Data. In International Conference on Health Informatics (HEALTHINF 2014). pp. 343-350. France. doi
  • Christian C. Ventes, Andrés A. Navarro-Newball, Deivy A. Velasco, Edmond C. Prakash. (March 2014) VirtuaOM: Tangible Human-Computer Interface for Collaborative Applications. In Proceedings of the 7th Anual International Conference on Computer Games, Multimedia and Allied Technologies (CGAT 214). pp. 25-33. Singapore.
  • Kevin Estupiñan Roldan, Marco A. Ortega P., Hernan D. Benitez Restrepo (February 2014) Spatial - Temporal Features of Thermal Images for Carpal Tunnel Syndrome Detection. In Image Processing: Algorithms and Systems XII. pp. 90190E-1 - 90190E-15. doi
  • Maurico Toro, Myriam Desainte-Catherine, Camilo Rueda (February 2014) Formal Semantics for Interactive Music Scores: a Framework to Design, Specify Properties and Execute Interactive Scenarios. Journal of Mathematics and Music 7 pp. 1-20.
  • A.A. Navarro, J.D. Mejía, D.F. Loaiza, C.F. Perea, D. Lozada (2014) EXPLORACIÓN E IMPLEMENTACIÓN DE TECNOLOGÍAS DE COMPUTACIÓN GRÁFICA PARA LA CREACIÓN DE ENTORNOS INTERACTIVOS EN EL MUSEO DE AMÉRICA. In ArTecnologia. Conocimiento aumentado y accesibilidad. Augmented Knowledge and Accessibility. pp. 189-195. Universidad Complutense de Madrid. Madrid.
  • C.C. Ventes, J.A. Cifuentes, A.A. Navarro (2014) VIRTUAOM: INTERFAZ TANGIBLE PARA INTERACCIÓN HUMANO – ORDENADOR COLABORATIVA. CONSIDERACIONES EN LA CONSTRUCCIÓN DE SISTEMAS DE MEDIA TANGIBLE APLICADOS A SISTEMAS INTERACTIVOS EN MUSEOS. In ArTecnologia. Conocimiento aumentado y accesibilidad. Augmented Knowledge and Accessibility. pp. 124-130. Universidad Complutense de Madrid. Madrid.
  • Gerardo Sarria, Mario Mora (2014) Introducci '{o}n a la Programaci '{o}n. Lulu Press.
  • Carlos Alberto Lozano (2014) State Variable Model for Considering the Parasitic Inductor Resistance on the Open Loop Performance of DC to DC Converters. Journal of Computer and Communications 2 (13) pp. 41-48. doi
  • A. Navarro, D. Loaiza, C. Oviedo, A. Castillo, A. Portilla, D. Linares, G. Álvarez (2014) Talking to Teo: Video Game Supported Speech Therapy. Entertainment Computing doi
  • Maribell Sacanamboy, Freddy Bolanos, Ruben Nieto (2014) A Primer for Mapping Techniques on NoC Systems. Journal of Communication and Computer 11 (4) pp. 333-338. doi web
  • V.E. Contreras, A.A. Navarro, I. Moreno (2014) ESTUDIO COMPARATIVO DE MUSEOS EN CALI - COLOMBIA Y MADRID - ESPAÑA. In ArTecnologia. Conocimiento aumentado y accesibilidad. Augmented Knowledge and Accessibility. pp. 229-240. Universidad Complutense de Madrid. Madrid.
  • Elaine Pimentel, Carlos Olarte, Vivek Nigam (2014) A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory and Practice of Logic Programming 14 (4-5) pp. 649-663. doi web
  • Alejandro Paz, José Luis Oslinger, Jairo Arcesio Palacios (2014) Stator Failure Diagnosis for Squirrel Cage Induction Motors through the Negative Sequence Current. Ingenieria y Universidad 18 pp. 141-158. Pontificia Universidad Javeriana.
  • LUIS E. TOBÓN, QIANG REN, QING HUO LIU (2014) Spectral-Prism Element for Multi-Scale Layered Package-Chip Co-Simulations Using the Discontinuous Galerkin Time-Domain Method. Electromagnetics 34 pp. 270-285. Taylor & Francis Group. doi
  • Jheyson Vargas, Jairo Andres Velasco, Gloria Ines Alvarez, Diego Luis Linares, Enrique Bravo (2014) False Positive Reduction in Automatic Segmentation System. In Advances in Computational Biology. pp. 103-108. Springer International Publishing. doi web
  • J.F. Florez-Ospina, H.D. Benitez (2014) From Local to Global Analysis of Defect Detectability in Infrared Non-Destructive Testing. Infrared Physics & Technology 63 pp. 211-221. doi web
  • Nestor Cataño, Víctor Rivera, Camilo Rueda, Timothy Wahls (2014) Translating B and Event-B Machines to Java and JML. In Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method. pp. 211-249. Wiley, USA July 2014.
  • Pablo Moriano, Jorge Finke (2014) Model-based Fraud Detection in Growing Networks. In Proceeding of the Conference on Decision and Control. pp. 6. IEEE.
  • Abdul Hissami, Alberto Pretel, Eugenio Tamura (2014) A Numerical Solution for Wootters Correlation. In High Performance Computing. pp. 221-235. Springer Berlin Heidelberg. doi web
  • Carlos Olarte, Vivek Nigam, Elaine Pimentel (2014) Dynamic Spaces in Concurrent Constraint Programming. Electronic Notes in Theoretical Computer Science 305 pp. 103-121. doi web
  • Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi (2014) Abstract Interpretation of Temporal Concurrent Constraint Programs. Theory and Practice of Logic Programming FirstView pp. 1-46. doi web
  • Carlos Alberto Lozano, Alejandro Paz, Manuel Valencia (2014) A State Variable Model for Considering the Power Inductor DC Resistance on the Open Loop Performance of a Buck- Boost DC to DC Converter. Journal of Multidisciplinary Engineering Science and Technology (JMEST) 1 pp. 121-123.
2013 (32)
  • Gerardo Sarria (December 2013) A Survey of Computational Calculi used in Musical Applications. Ingeniería y Competitividad 15 (2) pp. 103-114. Universidad del Valle.
  • Jaime Aguilar-Zambrano, Manuel Vicente Valencia, Jose Angel Loaiza, Juan Manuel Mayor, Ana Marcela Bolaños, Maria Nora Hurtado, Ricardo Chavarriaga (Noviembre 2013) Estudio Exploratorio Acerca de la Realimentación Visual con Respuesta Motora en Pacientes con ECV. In VII Congreso Iberoamericano de Tecnologías de Apoyo a la Discapacidad (Iberdiscap 2013). pp. 267-273.
  • Salim Perchy, Gerardo Sarria (October 2013) Building Models of Musical Compositions using Process Algebras. In 39th Latinamerican Conference on Informatics (CLEI2013). Naiguat '{a}, Venezuela.
  • Juan-Carlos Martinez-Arias, Gerardo Sarria (October 2013) Didactic and Interdisciplinary Experiences in a Software Engineering Course. In Proceedings of the 43rd IEEE international conference on Frontiers in education conference. IEEE Press. Oklahoma City, Oklahoma, USA.
  • Maria Constanza Pabon, Guillermo Andres Montoya, Martha Millan (October 2013) Mediation and Graph Data Models for Medical Data Integration.. In Computing Conference (CLEI), 2013 XXXIX Latin American. pp. 1-9. IEEE. Naiguata, Venezuela. doi web
  • Kevin Estupiñan, Marco A. Ortega, Hernán D. Benítez (September 2013) Design and implementation of a protocol for acquisition and processing of infrared images obtained from hands. In 2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA). pp. 1-7. IEEE Xplore. Bogota, Colombia.
  • Thomas J. Ramírez-Rozo, Hernán D. Benítez-Restrepo, Julio C. García-́Álvarez, German Castellanos-Domínguez (September 2013) Non–referenced Quality Assessment of Image Processing Methods in Infrared Non-destructive Testing. In Lecture Notes in Computer Science, Image Analysis and Processing – ICIAP 2013. pp. 121-130. Springer Berlin Heidelberg.
  • Camilo Alejandro Neira, Hernán Darío Benítez (September 2013) Image Quality Assessment in Infrared Nondestructive Testing (IRNDT). In 2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA). pp. 1-5. IEEE Xplore. Bogota, Colombia.
  • G. Gutiérrez, A. F. Barco, M. A. Villanueva, A. Cardona, D. Montenegro, S. Miller, J. F. Díaz, C. Rueda, P. Van Roy (September 2013) The Mozart Constraint Subsystem System Presentation. In TRICS2013 : Techniques for Implementing Constraints Systems, en CP2013. pp. 1-12. Uppsala, Suecia.
  • Diego Loaiza, Claudia Oviedo, Andrés Castillo, Anita Portilla, Gloria Álvarez, Diego Linares, Andrés Navarro (September 2013) A Videogame Prototype for Speech Rehabilitation. In 2013 5th International Conference on Games and Virtual Worlds for Serious Applications. pp. 117-120. Bournemouth, Dorset UK.
  • Juan Esteban Ospina, Hernán Darío Benítez, Carlos Ramirez (September 2013) Visual Quality Assessment of Infrared Images Reconstructed by Compressive Sensing. In 2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA). pp. 1-6. IEEE Xplore. Bogota, Colombia.
  • N Liu, Y Tang, X Zhu, L Tobon, Q Liu (08 2013) Higher-order Mixed Spectral Element Method for Maxwell Eigenvalue Problem. In Antennas and Propagation Society International Symposium (APSURSI). pp. 1646-1647.
  • Alejandro Paz Parra, Martha Cecilia Amaya Enciso, Javier Olaya Ochoa, Jairo Arcesio Palacios Penaranda (July 2013) Stator fault diagnosis on squirrel cage induction motors by ESA and EPVA. In Power Electronics and Power Quality Applications (PEPQA), 2013 Workshop on. pp. 1-6. doi
  • Vicente Chulvi, Mar '{ i}aCarmen Gonz '{a}lez-Cruz, Elena Mulet, Jaime Aguilar-Zambrano (may 2013) Influence of the type of idea-generation method on the creativity of solutions. In Research in Engineering Design. Research in Engineering Design 24 (1) pp. 33–41. Springer-Verlag. doi web
  • Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Oberto Marangoni (March 2013) Stochastic modelling of non-Markovian Dynamics in Biochemical Reactions. In International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO). pp. 537-544. Granada.
  • L. Tobón, J. Chen, J. Lee, M. Yuan, B. Zhao, Q.H. Liu (March 2013) Progress in multiscale computational electromagnetics in time domain. In Pulsed Electromagnetic Fields: Their Potentialities, Computation and Evaluation. pp. 55-64. IOS Press under the imprint Delft University Press. doi
  • Gloria Alvarez, Enrique Bravo, Diego Linares, Jheyson Vargas, Jairo Velasco (2013) Machine Learning Techniques Applied to the Cleavage Site Prediction Problem. In Advances in Artificial Intelligence and Its Applications. pp. 497-507. Springer Berlin Heidelberg. doi web
  • Juan M. Nogales, Jorge Finke (2013) Optimal Distribution of Heterogeneous Agents under Delays. In Proceeding of the American Control Conference.
  • S. Ochoa Angrino, J. A. Aguilar Zambrano, A. Navarro Newball, A. Jaramillo Ramírez, L. Henao Romero (2013) Diseño de un escenario educativo para museos con el uso de TRIZ y ACT.. Pensamiento Psicológico 11 (2) pp. 71-88 . web
  • Diego Ruiz, Jorge Finke (2013) Invalidation of Dynamic Network Models. In Proceeding of the American Control Conference.
  • Jiefu Chen, Luis Tobon, Qing Huo Liu (2013) Locally Implicit Discontinuous Galerkin Finite Element Method for Transient Analysis of 3D Layered Structures with Electrically Small Details. Microwave and Optical Technology Letters 55 (8) pp. 1912-1916. Wiley Online Library.
  • A.A. Navarro Newball, I. Moreno Sánchez (2013) CONOCIMIENTO AUMENTADO Y ACCESIBILIDAD EN LA CULTURA DIGITAL. In Investigaciones de vanguardia en la universidad de hoy. pp. 397-420. Visión libros. Madrid.
  • Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzman, Carlos Olarte (2013) Simulating Signalling Pathways With BioWayS . Electronic Notes in Theoretical Computer Science 293 pp. 17 - 34. doi web
  • Isidro Moreno Sánchez, Andrés Adolfo Navarro Newball (2013) Comunicación cultural y TIC: La representación accesible de la cultura Chimú. Historia y Comunicación Social 18 pp. 541-554. web
  • Isabel Fernández, Jorge Finke, Diego Ruiz (2013) Ideal Free Distributions in Human Decision-Making. In Proceeding of the American Control Conference.
  • Jaime Aguilar Zambrano, Andrés León Díaz, Andrés Valencia (2013) An Interdisciplinary Method for the Analysis of Support Products for Disabled People with the Synergic Use of Quality Function Deployment and Analytical Hierarchy Process. Ingeniería y universidad 17 (1) pp. 225-241.
  • Hernán D. Benítez, Juan F. Flórez, Diana P. Duque, Alberto Benavides, Olga Lucía Baquero, Jiber Quintero (2013) Spatial pattern recognition of seismic events in South West Colombia. Computers & Geosciences 59 pp. 60-77. web
  • Qiang Ren, Luis E. Tobón, Qing Huo Liu (2013) A NEW 2D NON-SPURIOUS DISCONTINUOUS GALERKIN FINITE ELEMENT TIME DOMAIN (DG-FETD) METHOD FOR MAXWELL'S EQUATIONS. Progress In Electromagnetics Research 143 pp. 385-404.
  • Vivek Nigam, Carlos Olarte, Elaine Pimentel (2013) A General Proof System for Modalities in Concurrent Constraint Programming. In CONCUR 2013 - Concurrency Theory. pp. 410-424. Springer Berlin Heidelberg. doi web
  • Pablo Moriano, Jorge Finke (2013) Structure of Growing Networks with no Preferential Attachment. In Proceeding of the American Control Conference.
  • Pablo Moriano, Jorge Finke (2013) On the formation of structure in growing networks. Journal of Statistical Mechanics: Theory and Experiment 2013 (06) pp. P06010. web
  • Carlos Olarte, Camilo Rueda, Frank D. Valencia (2013) Models and emerging trends of concurrent constraint programming. Constraints 18 (4) pp. 535-578. Springer US. doi web
2012 (6)
  • Eliot Motato, Carlos Giraldo (October 2012) Modular Assembly of Port-Based Hybrid Models. In 2012 ASME Dynamic Systems and Control Conference & 11-th Motion and Vibration Conference. pp. 383-391. Fort Lauderdale, Florida.
  • Gerardo Sarria (October 2012) An Interpreter for the rtcc Calculus. In 7th Colombian Computing Congress (7CCC). Held as Part of the 38th Latinamerican Conference on Informatics (CLEI2012). Medellín, Colombia.
  • Dário Díaz Sánchez, Martha Cecilia Amaya Enciso, Alejandro Paz Parra (2012) Inter-turn short-circuit analysis in an induction machine by finite elements method and field tests. In Electrical Machines (ICEM), 2012 XXth International Conference on. pp. 1757-1763. doi
  • K. Guerrero, J. Finke (2012) On the formation of community structures from homophilic relationships. In American Control Conference (ACC), 2012. pp. 5318-5323.
  • P. Moriano, J. Finke (2012) Power-law weighted networks from local attachments. EPL (Europhysics Letters) 99 (1) pp. 18002. web
  • Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu (2012) Translating B Machines to JML Specifications. In Proceedings of the 27th Annual ACM Symposium on Applied Computing. pp. 1271–1277. ACM. New York, NY, USA. doi web
2011 (9)
  • Jiefu Chen, Luis Eduardo Tobon, Mei Chai, Jason A Mix, Qing Huo Liu (2011) Efficient Implicit–Explicit Time Stepping Scheme With Domain Decomposition for Multiscale Modeling of Layered Structures. Components, Packaging and Manufacturing Technology, IEEE Transactions on 1 (9) pp. 1438-1446. IEEE.
  • Luis Tobon, Jiefu Chen, Qing Huo Liu (2011) Spurious solutions in mixed finite element method for Maxwell’s equations: dispersion analysis and new basis functions. Journal of Computational Physics 230 (19) pp. 7300-7310. Elsevier.
  • Luis Tobon, Jiefu Chen, Qing H Liu (2011) Multilayer microwave filter design using a locally implicit discontinuous Galerkin finite-element time-domain (DG-FETD) method. In Antennas and Propagation (APSURSI), 2011 IEEE International Symposium on. pp. 2972-2975.
  • P. Moriano, J. Finke (2011) Heavy-tailed weighted networks from local attachment strategies. In Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on. pp. 5211-5216. doi
  • J.M. Nogales, J. Finke (2011) Local requirements for optimal distribution of heterogeneous agents. In Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on. pp. 3596-3601. doi
  • Gerardo Sarria (2011) Real-Time Concurrent Constraint Calculus - The Complete Operational Semantics. Engineering Letters 19 (1) pp. 38–45. IAENG.
  • Gerardo Sarria (2011) Application of the Real-Time Concurrent Constraint Calculus. In Intelligent Automation and Systems Engineering. Springer.
  • J. Finke, K.M. Passino (2011) Local Agent Sensing, Coordination, and Motion Requirements for Stable Emergent Agent Group Distributions. IEEE Transactions on Automatic Control 56 pp. 1426-1431.
  • Mauricio Toro, Camilo Rueda, Frank Valencia, Gerardo Sarria, Carlos Olarte (2011) Concurrent constraints models of music interaction. In Constraint Programming in Music. pp. 133. Wiley. web
2010 (1)
  • Gerardo Sarria (20-22 October 2010) Improving the Real-Time Concurrent Constraint Calculus with a Delay Declaration. In Lecture Notes in Engineering and Computer Science: Proceedings of the World Congress on Engineering and Computer Science 2010, WCECS 2010. pp. 9–14. San Francisco, California, USA.
2009 (4)
  • Salim Perchy, Gerardo Sarria (November 2009) Musical Composition with Stochastic Context-Free Grammars. In 1st Workshop on Computer Vision and Pattern Recognition (WCVPR2009). Held as Part of the 8th Mexican International Conference on Artificial Intelligence (MICAI2009).. Guanajuato, Mexico.
  • Salim Perchy, Gerardo Sarria (July 2009) Dissonances: Brief Description and its Computational Representation in the RTCC Calculus. In 6th Sound and Music Computing Conference (SMC2009). Porto, Portugal.
  • B.J. Moore J. Finke, K.M. Passino (2009) Optimal Allocation of Heterogenous Resources in Cooperative Control Scenarios. Automatica 45 pp. 711–715. doi
  • Gerardo Sarria (2009) Introduction to programming for engineers following the parachute paradigm. In Proceedings of the 39th IEEE international conference on Frontiers in education conference. pp. 35–38. IEEE Press. San Antonio, Texas, USA. web
2008 (2)
  • Gerardo Sarria, Camilo Rueda (September 2008) Real-Time Concurrent Constraint Programming. In 34th Latinamerican Conference on Informatics (CLEI2008). Santa Fe, Argentina.
  • J. Finke N Quijano, K.M. Passino (2008) Emergence of Scale Free Networks from Ideal Free Distributions. Europhysics Letters 82
 
publicaciones.txt · Última modificación: 2013/08/16 22:21 por abuss
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki