Publicaciones

2018

  • [DOI] D. Ruiz and J. Finke, “Lyapunov-Based Anomaly Detection in Highly-Clustered Networks,” Journal of Statistical Physics, vol. 172, iss. 4, pp. 1127-1146, 2018.
    [Bibtex]
    @Article{Ruiz2018,
    author={Ruiz, Diego and Finke, Jorge},
    title={Lyapunov-Based Anomaly Detection in Highly-Clustered Networks},
    journal={Journal of Statistical Physics},
    year={2018},
    month={Aug},
    day={01},
    volume={172},
    number={4},
    pages={1127--1146},
    abstract={Network formation models explain the dynamics of the structure of connections using mechanisms that operate under different principles for establishing and removing edges. The Jackson--Rogers model is a generic framework that applies the principle of triadic closure to networks that grow by the addition of new nodes and new edges over time. Past work describes the limit distribution of the in-degree of the nodes based on a continuous-time approximation. Here, we introduce a discrete-time approach of the dynamics of the in- and out-degree distributions of a variation of the model. Furthermore, we characterize the limit distributions and the expected value of the average degree as equilibria, and prove that the equilibria are asymptotically stable. Finally, we use the stability properties of the model to propose a detection criterion for anomalies in the edge formation process.},
    issn={1572-9613},
    doi={10.1007/s10955-018-2089-7},
    url={https://doi.org/10.1007/s10955-018-2089-7}
    }
  • I. Moreno and A. A. Navarro-Newball, “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 , A. Colorado Castellary, Ed., Editorial Fragua, 2018, pp. 511-525.
    [Bibtex]
    @Inbook{Navarro20181,
    author={Moreno, Isidro and Navarro-Newball, A.A.},
    editor={Colorado Castellary, A.},
    title={Las bases de datos narrativas y la accesibilidad universal al conocimiento. Estudio de caso: Patrimonio artístico durante la Guerra Civil y la posguerra},
    bookTitle={Patrimonio cultural, guerra civil y posguerra },
    year={2018},
    publisher={Editorial Fragua},
    pages={511--525},
    abstract={Se aborda la narratividad de las bases de datos y su transformación en museos virtuales que interaccionen con los museos in situ facilitando la profundización. El objetivo primordial es presentar un modelo tecnonarrativo aplicable al patrimonio material.},
    isbn={978-84-7074-812-7},
    }
  • [DOI] A. A. Navarro-Newball, B. B. López, and I. M. Sánchez, “Hypermedia Narrative as a Tool for Serious Games,” in Encyclopedia of Computer Graphics and Games, N. Lee, Ed., Cham: Springer International Publishing, 2018, pp. 1-3.
    [Bibtex]
    @Inbook{Navarro-Newball2018,
    
    author="Navarro-Newball, 
    Andr{\'e}s Adolfo 
    and L{\'o}pez, 
    Borja Barinaga 
    and S{\'a}nchez, 
    Isidro Moreno",
    editor="Lee, Newton",
    title="Hypermedia Narrative as a Tool for Serious Games",
    bookTitle="Encyclopedia of Computer Graphics and Games",
    year="2018",
    publisher="Springer International Publishing",
    address="Cham",
    pages="1--3",
    isbn="978-3-319-08234-9",
    doi="10.1007/978-3-319-08234-9_202-1",
    url="https://doi.org/10.1007/978-3-319-08234-9_202-1"
    }
  • A. A. Navarro-Newball, L. S. Osorio, Paredes Franco D., J. C. Arévalo, S. Juri, E. M. Amézquita, V. E. Contreras, I. M. Sánchez, B. B. López, and D. F. Loaiza, “Developing a narrative database for spanish art starting from the end,” in Obras colectivas en Ciencias de la Computación, V. M. Peñeñori and L. Peña, Eds., Cali: universidad Autónoma de Occidente, 2018, pp. 523-532.
    [Bibtex]
    @Inbook{Navarro-Newball12ccc,
    
    author="Navarro-Newball, 
    Andr{\'e}s A. and Osorio, Luis S. and Paredes, Franco D., and Ar{\'e}valo, Juan C. and Juri, Santiago and Am{\'e}zquita, Edgar M. and Contreras, Victoria E. 
    and S{\'a}nchez, 
    Isidro Moreno 
    and L{\'o}pez, 
    Borja Barinaga and Loaiza, Diego F.",
    editor="Pe{\~n}e{\~n}ori, V.M. and Pe{\~n}a, Lyda",
    title="Developing a narrative database for spanish art starting from the end",
    bookTitle="Obras colectivas en Ciencias de la Computaci{\'o}n",
    year="2018",
    publisher="universidad Aut{\'o}noma de Occidente",
    address="Cali",
    pages="523 -- 532",
    isbn="978-958-5415-19-5"
    }
  • 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, and E. Prakash, “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), vol. 1, iss. 1, pp. 113-123, 2018.
    [Bibtex]
    @article{anavarro2018cgat,
    author = {Camargo, C. and Lenis, A. and Jaramillo, C., and Guerrero, A. and Navarro-Newball, A. and Riocampo, S. and Loaiza, D. and Gherman, D. and Alexandre, F. and Wood, J. and Aboud, S. and Khan, W. and Edmond, E. and Hoji, K. and Prakash, E. },
    title = {Research and Development Challenges in Computer Games and Allied Technologies (CGAT): Virtual Reality and Digital Environments},
    journal = {11th Annual International Conference on Computer Games Multimedia and Allied Technology (CGAT 2018)},
    volume = {1},
    number = {1},
    year = {2018},
    pages={113-123},
    keywords = {Virtual Reality, Augmented and Mixed Reality},
    abstract = {This paper captures a snapshot of creative technologies research and development in the context of virtual environments. It also addresses security and the lack of it. The work presented in this paper brings together teams and work that has been developed in a range of institutions. The lessons learnt have been presented that we believe will spur new research in related directions in the future.},
    issn = {2251-1679}, 
    url =  {10.5176/2251-1679_CGAT18.125}
    }
  • P. A. Correa, J. P. Mejia, A. M. Lenis, C. A. Camargo, and A. A. Navarro-Newball, “Building Alternative Methods for Aiding Language Skills Learning for the Hearing Impaired,” Communications In Computer And Information Science, vol. 1, iss. 1, pp. 192-200, 2018.
    [Bibtex]
    @article{anavarro2018ccc,
    author = {Correa, P.A and Mejia, J.P. and Lenis, A.M. and Camargo, C.A. and Navarro-Newball, A.A.},
    title = {Building Alternative Methods for Aiding Language Skills Learning for the Hearing Impaired},
    journal = {Communications In Computer And Information Science},
    volume = {1},
    number = {1},
    year = {2018},
    pages={192-200},
    keywords = {Virtual Reality, Augmented and Mixed Reality},
    abstract = {Rehabilitation therapy favour language development and cognitive processes in deaf children who are learning language skills. After some therapy, children should acquire narrative capabilities which are relevant in human communication and understanding. However, it is frequent that language practice takes place during therapy sessions only. Moreover, some kinds of therapy such as the ones related to language mechanisation, even though useful, become hard for children. In previous work, we demonstrated how videogames favour the repetitive approach required for language therapy. Nevertheless, technology o?ers other possibilities. In this work we propose two alternatives to video games to support language learning. First, we describe a colouring mobile application aimed at exploring the impact of art in language learning processes. Then, we describe two web applications based on mixed realities and tangible user interfaces. The idea is that these developments could be used not only during therapy sessions, but also for continuous practice at home with support of the parents. Requirements identi?cation with language therapists and preliminary heuristic evaluation favour potential success and usablility for the proposed systems.
    },
    issn = {1865-0929}, 
    url = {https://doi.org/10.1007/978-3-319-98998-3_15}
    }

2017

  • [DOI] C. Rocha, J. Meseguer, and C. Muñoz, “Rewriting modulo SMT and open system analysis,” Journal of Logical and Algebraic Methods in Programming, vol. 86, iss. 1, pp. 269-297, 2017.
    [Bibtex]
    @article{Rocha2017269,
    title = {Rewriting modulo SMT and open system analysis},
    journal = {Journal of Logical and Algebraic Methods in Programming},
    volume = {86},
    number = {1},
    pages = {269 - 297},
    year = {2017},
    issn = {2352-2208},
    doi = {10.1016/j.jlamp.2016.10.001},
    url = {//www.sciencedirect.com/science/article/pii/S2352220816301195},
    author = {Camilo Rocha and José Meseguer and César Muñoz},
    abstract = {Abstract This paper proposes rewriting modulo SMT, a new technique that combines the power of \{SMT\} solving, rewriting modulo theories, and model checking. Rewriting modulo \{SMT\} is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e., systems that interact with a nondeterministic environment. Such systems exhibit both internal nondeterminism, which is proper to the system, and external nondeterminism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo \{SMT\} can be reduced to standard rewriting. Hence, rewriting modulo \{SMT\} naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. Furthermore, a single state expression with symbolic constraints can now denote an infinite set of concrete states. The proposed technique is illustrated with the formal analysis of: (i) a real-time system that is beyond the scope of timed-automata methods and (ii) automatic detection of reachability violations in a synchronous language developed to support autonomous spacecraft operations. }
    }
  • B. B. López, I. Moreno Sánchez, and A. Navarro Newball, “La narrativa hipermedia en el museo. El presente del futuro,” Obra Digital, iss. 12, pp. 101-121, 2017.
    [Bibtex]
    @article{anavarro2017Obra,
    author = {López, Borja Barinaga and Moreno Sánchez, Isidro and Navarro Newball, Andrés},
    title = {La narrativa hipermedia en el museo. El presente del futuro},
    journal = {Obra Digital},
    volume = {},
    number = {12},
    year = {2017},
    pages={101-121},
    keywords = {Hipermedia móvil, interacción, interactividad, museografía hipermedia, narrativa hipermedia, narrativa transmedia},
    abstract = {La narrativa hipermedia aleja el museo del templo de las musas y contribuye a acercarlo a todas las personas. Gracias a esta narrativa,
    el museo in situ se hace virtual y ubicuo, y, por medio de los dispositivos móviles, nos acompaña
    siempre. Pero el museo no utiliza adecuadamente la distintas estructuras que cobijan
    la narrativa hipermedia, ya que privilegia, casi exclusivamente, la informativa. Por otra parte,
    no potencia la interactividad con interacción orientada a la participación y la cooperación de
    todas las personas. Esta investigación plantea el presente de la narrativa hipermedia en el
    museo y apunta algunas claves para su necesaria evolución.},
    issn = {2014-5039}, 
    url = {http://revistesdigitals.uvic.cat/index.php/obradigital/article/view/119/112}
    }
  • A. A. Navarro-Newball, I. Moreno-Sánchez, A. Arya, E. C. Prakash, E. Mike-Ifeta, and J. D. Mejia Mena, “AN INTERACTIVE MODELLING ARCHITECTURE FOR EDUCATION AND ENTERTAINMENT AT MUSEUMS,” Dyna, vol. 92, iss. 3, pp. 269-273, 2017.
    [Bibtex]
    @article{anavarro2017dyna,
    author = {Navarro-Newball, Andrés A.  and Moreno-Sánchez, Isidro and Arya, Ali and Prakash, Edmond C. and Mike-Ifeta, Efetobore  and Mejia Mena, Juan D.},
    title = {AN INTERACTIVE MODELLING ARCHITECTURE FOR EDUCATION AND ENTERTAINMENT AT MUSEUMS},
    journal = {Dyna},
    volume = {92},
    number = {3},
    year = {2017},
    pages={269-273},
    keywords = {Edutainment, Museum, Augmented Reality, Modelling, 3D, Interaction.},
    abstract = {A museum is a complex system and bringing education and entertainment is often difficult. The social role of museums has changed dramatically in the last decade while communication and design rationales are still catching up. Museums no longer fit the early modernist model of the nineteenth century museum, with its authoritative narratives; many now offer interactive and open-ended experiences. Technology elevates interest, but it has to be used with care. Our Interactive Model for Museums (MOMU) aims to support complex cultural contents in museums using tools that favour learning and users' entertainment. We propose an architecture for edutainment content generation at museums where our main advances include: (1) affordable Interaction; (2) modelling tools and; (3) a content management system. First, we are focusing on enhancing our interaction technologies; our data structures and our modelling tools},
    issn = {0012-7361}, 
    url = {DOI: http://dx.doi.org/10.6036/8058}
    }
  • [DOI] C. A. Alvarez-Restrepo, H. D. Benitez-Restrepo, and L. E. Tobón, “Characterization of Defects of Pulsed Thermography Inspections by Orthogonal Polynomial Decomposition,” NDT & E International, vol. 91, pp. 9-21, 2017.
    [Bibtex]
    @article{AlvarezRestrepo20179,
    title = {Characterization of Defects of Pulsed Thermography Inspections by Orthogonal Polynomial Decomposition},
    journal = {NDT & E International},
    volume = {91},
    pages = {9-21},
    year = {2017},
    issn = {0963-8695},
    doi = {https://doi.org/10.1016/j.ndteint.2017.05.003},
    url = {http://www.sciencedirect.com/science/article/pii/S0963869516301086},
    author = {C.A. Alvarez-Restrepo and H.D. Benitez-Restrepo and L.E. Tobón},
    keywords = {Defect depth},
    keywords = {Inverse problems},
    keywords = {Time-resolved methods},
    keywords = {Pulsed thermography},
    keywords = {Orthogonal decomposition},
    abstract = {Methods in infrared nondestructive testing such as normalized thermal contrast (NTC) and thermal signal reconstruction (TSR) are based on a pixel-by-pixel time domain analysis that ignores spatial correlation. Other techniques in the frequency domain such as pulsed phase thermography (PPT) present the same disadvantage. In this paper, we propose a method to evaluate defects in composite specimens based on image decomposition into a 2D orthogonal space. We compare NTC, TSR, PPT, and principal component thermography (PCT) with the new approach by inspecting three samples of composite anisotropic materials. Without defining a sound area our method estimates the depths of defects up to 1.2 mm in carbon and glass reinforced plastic specimens. An implementation of the proposed method in Matlab is available at https://github.com/charlielito/2DOrthogonal_Polynomial_Decomposition.}
    }
  • [DOI] S. Haar, S. Perchy, and F. Valencia, “D-SPACES: Implementing Declarative Semantics for Spatially Structured Information,” in 11th International Conference on Semantic Computing (ICSC), San Diego, California, United States, 2017, pp. 227-233.
    [Bibtex]
    @INPROCEEDINGS{7889532, 
    author={Haar, Stefan and Perchy, Salim and Valencia, Frank}, 
    booktitle={11th International Conference on Semantic Computing (ICSC)}, 
    title={D-SPACES: Implementing Declarative Semantics for Spatially Structured Information}, 
    year={2017}, 
    pages={227-233}, 
    ADDRESS = {San Diego, California, United States},
    publisher = {IEEE},
    SERIES = {IEEE ICSC 2017},
    VOLUME = {11},
    ISBN    = {978-1-5090-4284-5},
    abstract={We introduce in this paper D-SPACES, an implementation of constraint systems with space and extrusion operators. Constraint systems are algebraic models that allow for a semantic language-like representation of information in systems where the concept of space is a primary structural feature. We give this information mainly an epistemic interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++11 library providing implementations for constraint systems, space functions and extrusion functions. The interfaces to access each implementation are minimal and thoroughly documented. D-SPACES also provides property-checking methods as well as an implementation of a specific type of constraint systems (a boolean algebra). This last implementation serves as an entry point for quick access and proof of concept when using these models. Furthermore, we offer an illustrative example in the form of a small social network where users post their beliefs and utter their opinions.}, 
    keywords={C++ language;social networking (online);C++11 library;D-SPACES;constraint systems;declarative semantics;property-checking methods;semantic language-like representation;social network;Boolean algebra;Electronic mail;Integrated circuits;Lattices;Manuals;Semantics;Social network services;epistemic logic;semantic interpretation;social networks;utterance}, 
    doi={10.1109/ICSC.2017.34}, 
    month={Jan},}
  • [DOI] M. Guzman, S. Haar, S. Perchy, C. Rueda, and F. D. Valencia, “Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion ,” Journal of Logical and Algebraic Methods in Programming , vol. 86, iss. 1, pp. 107-133, 2017.
    [Bibtex]
    @article{Guzman2017107,
    title = "Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion ",
    journal = "Journal of Logical and Algebraic Methods in Programming ",
    volume = "86",
    number = "1",
    pages = "107-133",
    year = "2017",
    issn = "2352-2208",
    doi = "https://doi.org/10.1016/j.jlamp.2016.09.001",
    url = "http://www.sciencedirect.com/science/article/pii/S2352220816301080",
    author = "Michell Guzman and Stefan Haar and Salim Perchy and Camilo Rueda and Frank D. Valencia",
    keywords = "Algebraic structures",
    keywords = "Modal logic",
    keywords = "Epistemic logic",
    keywords = "Concurrency theory",
    keywords = "Mobility",
    keywords = "Lies ",
    abstract = "The notion of constraint system (cs) is central to declarative formalisms from concurrency theory such as process calculi for concurrent constraint programming (ccp). Constraint systems are often represented as lattices: their elements, called constraints, represent partial information and their order corresponds to entailment. Recently a notion of n-agent spatial cs was introduced to represent information in concurrent constraint programs for spatially distributed multi-agent systems. From a computational point of view a spatial constraint system can be used to specify partial information holding in a given agent's space (local information). From an epistemic point of view a spatial cs can be used to specify information that a given agent considers true (beliefs). Spatial constraint systems, however, do not provide a mechanism for specifying the mobility of information/processes from one space to another. Information mobility is a fundamental aspect of concurrent systems. In this article we develop the theory of spatial constraint systems with operators to specify information and processes moving from a space to another. We shall investigate the properties of this new family of constraint systems and illustrate their applications. From a computational point of view the new operators provide for process/information extrusion, a central concept in formalisms for mobile communication. From an epistemic point of view extrusion corresponds to a notion we shall call utterance; a piece of information that an agent communicates to others but that may be inconsistent with the agent's beliefs. Utterances can then be used to express instances of epistemic notions such as hoaxes or intentional lies. Spatial constraint system can express the epistemic notion of belief by means of space functions that specify local information. We shall show that spatial constraint can also express the epistemic notion of knowledge by means of a derived spatial operator that specifies global information. "
    }
  • [DOI] D. E. Moreno-Villamarín, H. D. Benítez-Restrepo, and A. C. Bovik, “Predicting the Quality of Fused Long Wave Infrared and Visible Light Images,” IEEE Transactions on Image Processing, vol. 26, iss. 7, pp. 3479-3491, 2017.
    [Bibtex]
    @ARTICLE{7904687, 
    author={D. E. Moreno-Villamarín and H. D. Benítez-Restrepo and A. C. Bovik}, 
    journal={IEEE Transactions on Image Processing}, 
    title={Predicting the Quality of Fused Long Wave Infrared and Visible Light Images}, 
    year={2017}, 
    volume={26}, 
    publisher={IEEE},
    number={7}, 
    pages={3479-3491}, 
    abstract={The capability to automatically evaluate the quality of long wave infrared (LWIR) and visible light images has the potential to play an important role in determining and controlling the quality of a resulting fused LWIR-visible light image. Extensive work has been conducted on studying the statistics of natural LWIR and visible images. Nonetheless, there has been little work done on analyzing the statistics of fused LWIR and visible images and associated distortions. In this paper, we analyze five multi-resolution-based image fusion methods in regards to several common distortions, including blur, white noise, JPEG compression, and non-uniformity. We study the natural scene statistics of fused images and how they are affected by these kinds of distortions. Furthermore, we conducted a human study on the subjective quality of pristine and degraded fused LWIR-visible images. We used this new database to create an automatic opinion-distortion-unaware fused image quality model and analyzer algorithm. In the human study, 27 subjects evaluated 750 images over five sessions each. We also propose an opinion-aware fused image quality analyzer, whose relative predictions with respect to other state-of-the-art models correlate better with human perceptual evaluations than competing methods. An implementation of the proposed fused image quality measures can be found at https://github.com/ujemd/NSS-of-LWIR-and-Vissible-Images. Also, the new database can be found at http://bit.ly/2noZlbQ.}, 
    keywords={AWGN;Databases;Distortion;Histograms;Image fusion;Sensors;Transform coding;LWIR;NSS;fusion performance;multi-resolution image fusion}, 
    doi={10.1109/TIP.2017.2695898}, 
    ISSN={1057-7149}, 
    month={July},}
  • [DOI] M. J. Basallo-Triana, J. A. Rodríguez-Sarasty, and H. D. Benitez-Restrepo, “Analogue-based demand forecasting of short life-cycle products: a regression approach and a comprehensive assessment,” International Journal of Production Research, vol. 55, iss. 8, pp. 2336-2350, 2017.
    [Bibtex]
    @article{doi:10.1080/00207543.2016.1241443,
    author={Mario José Basallo-Triana and Jesús Andrés Rodríguez-Sarasty and Hernán Darío Benitez-Restrepo},
    title={Analogue-based demand forecasting of short life-cycle products: a regression approach and a comprehensive assessment},
    journal={International Journal of Production Research},
    volume={55},
    number={8},
    ISSN={0020-7543},
    pages={2336-2350},
    year={2017},
    doi={10.1080/00207543.2016.1241443},
    URL={http://dx.doi.org/10.1080/00207543.2016.1241443},
    eprint={http://dx.doi.org/10.1080/00207543.2016.1241443},
    abstract={In several industries, global competition, increasing customer expectations and technological innovations tend to accelerate product life-cycles. In this changing environment, traditional forecasting methods tend to be ineffective as a consequence of the transient and highly uncertain demand of short life-cycle products (SLCP), and the scarcity of sales data. To address this challenge, we present a methodology to forecast SLCP demand using time series of similar products referred to as analogies. Linear regression and clustering techniques are used for the selection and weighting of suitable analogies. The proposed methodology is tested against seven analogue-based forecasting methods, including two implementations of non-linear regression methods. In different sets of time series, our methodology attained more accurate forecasts with short processing times compared with state-of-the-art methods. Such results reveal promising applications of combined regression and clustering techniques as simple and effective forecasting tools for supporting replenishment decisions for SLCP.}
    }
  • [DOI] D. F. Loaiza, E. C. Prakash, I. Moreno, and A. A. Navarro-Newball, “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, A. Solano and H. Ordoñez, Eds., Cham: Springer International Publishing, 2017, pp. 586-594.
    [Bibtex]
    @Inbook{Loaiza2017,
    author={Loaiza, Diego F. and Prakash, Edmond C. and Isidro Moreno and Navarro-Newball, Andr{\'e}s A.},
    editor={Solano, Andr{\'e}s and Ordo{\~{n}}ez, Hugo},
    title={Mixing Art and Technology: An Interactive Radio for a Museum Exhibition},
    bookTitle={Advances in Computing: 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings},
    year={2017},
    publisher={Springer International Publishing},
    address={Cham},
    pages={586--594},
    abstract={Technology can inspire art. Art explores the context of technology. Combined, they empower artists to create innovative ways to captivate their audiences. Technology can enhance the ability of artists to express themselves. Such enhancement was required for one temporary art exhibit, where a recording had to be played when there was a visitor close to an interactive radio. To support it, we implemented motion sensing of exhibit visitors to allow contextual sound playback based on the visitor's location. This allowed the artist to add an audible dialogue experience to the art exhibit. We interacted with a local artist and understood the artist vision to define and agree on technical requirements. A preliminary validation at the exhibit showed general acceptance of the system, positive feedback on the experience and areas for future improvement. In general, we believe that more research is required in terms of the artist-visitor relationship mediated by technology.},
    isbn={978-3-319-66562-7},
    doi={10.1007/978-3-319-66562-7_42},
    url={https://doi.org/10.1007/978-3-319-66562-7_42}
    }
  • [DOI] M. A. Feliú, C. Rocha, and S. Balachandran, “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, New York, NY, USA, 2017, pp. 94-97.
    [Bibtex]
    @inproceedings{Feliu:2017:VDI:3092282.3120995,
     author = {Feli\'{u}, Marco A. and Rocha, Camilo and Balachandran, Swee},
     title = {Verification-driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study},
     booktitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software},
     series = {SPIN 2017},
     year = {2017},
     isbn = {978-1-4503-5077-8},
     location = {Santa Barbara, CA, USA},
     pages = {94--97},
     numpages = {4},
     url = {http://doi.acm.org/10.1145/3092282.3120995},
     doi = {10.1145/3092282.3120995},
     acmid = {3120995},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {ICAROUS, Maude, Model Checking, Reachability Analysis, Software Reliability, UAS},
     abstract={The Integrated and Configurable Algorithms for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture being developed for the robust integration of mission-specific software modules and highly assured core software modules. This paper reports on the use of automatic reachability analysis during the development of ICAROUS, as a first step towards a broader formal verification effort of the software architecture. It explains how simulation based on state-space exploration and LTL model checking has been performed on a formal executable specification of the system in rewriting logic. Overall, this effort has unveiled issues such as deadlocks and undesired behavior, and has helped improve the ICAROUS design and source code.},
    }
  • [DOI] M. A. Culman, J. A. Gomez, J. Talavera, L. A. Quiroz, L. E. Tobon, J. M. Aranda, L. E. Garreta, and C. J. Bayona, “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), 2017, pp. 169-172.
    [Bibtex]
    @INPROCEEDINGS{7944891, 
    author={M. A. Culman and J. A. Gomez and J. Talavera and L. A. Quiroz and L. E. Tobon and J. M. Aranda and L. E. Garreta and C. J. Bayona}, 
    booktitle={2017 5th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (MobileCloud)}, 
    title={A Novel Application for Identification of Nutrient Deficiencies in Oil Palm Using the Internet of Things}, 
    year={2017}, 
    pages={169-172}, 
    abstract={This paper presents a novel approach to identify and geolocate nutrient deficiencies in oil-palm plantations using a mobile application. The process starts when the user captures an image of an oil-palm leaf with the integrated camera of an Android smart device. Then, the application processes and classifies the image into four categories corresponding to: a healthy palm, or a specimen with a deficit of Potassium (K), Magnesium (Mg), or Nitrogen (N). Finally, the application shows the corresponding predictions on the screen and it includes the current timestamp and GPS coordinate. However, if the smart device has an internet connection, the application also sends the processed data to Microsoft Azure for long-term storage and it enables the visualization of historic predictions through a web report built with Microsoft Power BI. The developed application allows producers to obtain in situ diagnosis of plant deficiencies in their crops, helping nutrient management plans and crop management policies. The proposed solution can be easily scaled to hundreds of devices for field deployments because each mobile application is configured as an Internet-of-Things device in the Azure Cloud.}, 
    keywords={Internet of Things;cloud computing;crops;data visualisation;image classification;mobile computing;Android smart device;Internet-of-Things device;Microsoft Azure cloud;Microsoft Power BI;Web report;crop management policies;historic predictions visualization;image classification;mobile application;nutrient deficiencies identification;nutrient management plans;oil-palm plantations;Cloud computing;Digital images;Diseases;Mobile applications;Mobile communication;Oils;Smart devices;Automatic optical inspection;Internet of things;computer vision;mobile applications;mobile computing;oil palm}, 
    doi={10.1109/MobileCloud.2017.32}, 
    month={April},
    ISBN = {978-1-5090-6325-3},
    publisher = {IEEE},
    }
  • [DOI] H. Cadavid, A. Pérez, and C. Rocha, “Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots,” in Advances in Computing: 12th Colombian Conference, CCC 2017, A. Solano and H. Ordoñez, Eds., Cham: Springer International Publishing, 2017, pp. 611-626.
    [Bibtex]
    @Inbook{Cadavid2017,
    author={Cadavid, H{\'e}ctor and P{\'e}rez, Alexander and Rocha, Camilo},
    editor={Solano, Andr{\'e}s and Ordo{\~{n}}ez, Hugo},
    title={Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots},
    bookTitle={Advances in Computing: 12th Colombian Conference, CCC 2017},
    year={2017},
    publisher={Springer International Publishing},
    address={Cham},
    pages={611-626},
    abstract={Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous robots becomes more challenging to guarantee. This paper presents a hybrid control architecture, based on the Plan Execution Interchange Language (PLEXIL), for autonomy of wheeled robots running the Robot Operating System (ROS). PLEXIL is a synchronous reactive language developed by NASA for mission critical robotic systems, while ROS is one of the most popular frameworks for robotic middle-ware development. Given the safety-critical nature of spacecraft operations, PLEXIL operational semantics has been mathematically defined, and formal techniques and tools have been developed to automatically analyze plans written in this language. The hybrid control architecture proposed in this paper is showcased in a path tracking scenario using the Husky robot platform via a Gazebo simulation. Thanks to the architecture presented in this paper, all formal analysis techniques and tools currently available to PLEXIL are now available to build reliable plans for ROS-enabled wheeled robots.},
    isbn={978-3-319-66562-7},
    doi={10.1007/978-3-319-66562-7_44},
    url={https://doi.org/10.1007/978-3-319-66562-7_44}
    }
  • [DOI] E. Acosta, B. Aldana, J. Bohórquez, and C. Rocha, “Axiomatic Set Theory à la Dijkstra and Scholten,” in Advances in Computing: 12th Colombian Conference, CCC 2017, A. Solano and H. Ordoñez, Eds., Cham: Springer International Publishing, 2017, pp. 775-791.
    [Bibtex]
    @Inbook{Acosta2017,
    author={Acosta, Ernesto and Aldana, Bernarda and Boh{\'o}rquez, Jaime and Rocha, Camilo},
    editor={Solano, Andr{\'e}s and Ordo{\~{n}}ez, Hugo},
    title={Axiomatic Set Theory {\`a} la Dijkstra and Scholten},
    bookTitle={Advances in Computing: 12th Colombian Conference, CCC 2017},
    year={2017},
    publisher={Springer International Publishing},
    address={Cham},
    pages={775-791},
    abstract={The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This paper presents Set, a first-order logic axiomatization for set theory using the approach of Dijkstra and Scholten. What is novel about the approach presented in this paper is that symbolic manipulation of formulas is an effective tool for teaching an axiomatic set theory course to sophomore-year undergraduate students in mathematics. This paper contains many examples on how argumentative proofs can be easily expressed in Set and points out how the rigorous approach of Set can enrich the learning experience of students. The results presented in this paper are part of a larger effort to formally study and mechanize topics in mathematics and computer science with the algebraic approach of Dijkstra and Scholten.},
    isbn={978-3-319-66562-7},
    doi={10.1007/978-3-319-66562-7_55},
    url={https://doi.org/10.1007/978-3-319-66562-7_55}
    }
  • [DOI] K. Bae and C. Rocha, “Guarded Terms for Rewriting Modulo SMT,” in Formal Aspects of Component Software: 14th International Conference, FACS 2017, J. Proencca and M. Lumpe, Eds., Cham: Springer International Publishing, 2017, pp. 78-97.
    [Bibtex]
    @Inbook{Bae2017,
    author={Bae, Kyungmin and Rocha, Camilo},
    editor={Proen{\c{c}}a, Jos{\'e} and Lumpe, Markus},
    title={Guarded Terms for Rewriting Modulo SMT},
    bookTitle={Formal Aspects of Component Software: 14th International Conference, FACS 2017},
    year={2017},
    publisher={Springer International Publishing},
    address={Cham},
    pages={78-97},
    abstract={Rewriting modulo SMT is a novel symbolic technique to model and analyze infinite-state systems that interact with a nondeterministic environment. It seamlessly combines rewriting modulo equational theories, SMT solving, and model checking. One of the main challenges of this technique is to cope with the symbolic state-space explosion problem. This paper presents guarded terms, an approach to deal with this problem for rewriting modulo SMT. Guarded terms can encode many symbolic states into one by using SMT constraints as part of the term structure. This approach enables the reduction of the symbolic state space by limiting branching due to concurrent computation, and the complexity and size of constraints by distributing them in the term structure. A case study of an unbounded and symbolic priority queue illustrates the approach.},
    isbn={978-3-319-68034-7},
    doi={10.1007/978-3-319-68034-7_5},
    url={https://doi.org/10.1007/978-3-319-68034-7_5}
    }
  • [DOI] J. M. Talavera, L. E. Tobón, J. A. Gómez, M. A. Culman, J. M. Aranda, D. T. Parra, L. A. Quiroz, A. Hoyos, and L. E. Garreta, “Review of IoT applications in agro-industrial and environmental fields,” Computers and Electronics in Agriculture, vol. 142, iss. Part A, pp. 283-297, 2017.
    [Bibtex]
    @article{TALAVERA2017283,
    title={Review of IoT applications in agro-industrial and environmental fields},
    journal={Computers and Electronics in Agriculture},
    volume={142},
    number={Part A},
    pages={283-297},
    year={2017},
    issn={0168-1699},
    doi={10.1016/j.compag.2017.09.015},
    url={http://www.sciencedirect.com/science/article/pii/S0168169917304155},
    author={Jesús Martín Talavera and Luis Eduardo Tobón and Jairo Alejandro Gómez and María Alejandra Culman and Juan Manuel Aranda and Diana Teresa Parra and Luis Alfredo Quiroz and Adolfo Hoyos and Luis Ernesto Garreta},
    keywords={Internet of things},
    keywords={IoT},
    keywords={Agro-industry},
    keywords={Environmental monitoring},
    keywords={Systematic literature review},
    abstract={Abstract This paper reviews agro-industrial and environmental applications that are using Internet of Things (IoT). It is motivated by the need to identify application areas, trends, architectures and open challenges in these two fields. The underlying survey was developed following a systematic literature review using academic documents written in English and published in peer-reviewed venues from 2006 to 2016. Selected references were clustered into four application domains corresponding to: monitoring, control, logistics, and prediction. Implementation-specific details from each selected reference were compiled to create usage distributions of sensors, actuators, power sources, edge computing modules, communication technologies, storage solutions, and visualization strategies. Finally, the results from the review were compiled into an IoT architecture that represents a wide range of current solutions in agro-industrial and environmental fields.}
    }
  • [DOI] J. Campos and J. Finke, “Anomalous node detection in networks with communities of different size,” in 2017 American Control Conference (ACC), 2017, pp. 3218-3223.
    [Bibtex]
    @INPROCEEDINGS{7963443, 
    author={J. Campos and J. Finke}, 
    booktitle={2017 American Control Conference (ACC)}, 
    title={Anomalous node detection in networks with communities of different size}, 
    year={2017}, 
    pages={3218-3223}, 
    abstract={Based on two simple mechanisms for establishing and removing links, this paper defines an event-driven model for the anomalous node detection problem. This includes a representation for (i) the tendency of regular nodes to connect with similar others (i.e., establish homophilic relationships); and (ii) the tendency of anomalous nodes to connect to random targets (i.e., establish random connections across the network). Our approach is motivated by the desire to design scalable strategies for detecting signatures of anomalous behavior, using a formal representation to take into account the evolution of network properties. In particular, we assume that regular nodes are distributed across two communities (of different size), and propose an algorithm that identifies anomalous nodes based on both geometric and spectral measures. Our focus is on defining the anomalous detection problem in a mathematical framework and to highlight key challenges when certain topological properties dominate the problem (i.e., in terms of the strength of communities and their size).}, 
    keywords={digital signatures;graph theory;network theory (graphs);anomalous node detection problem;event-driven model;geometric measures;mathematical framework;regular nodes;signature detection;spectral measures;topological properties;Algorithm design and analysis;Atmospheric measurements;Detection algorithms;Eigenvalues and eigenfunctions;Indexes;Particle measurements;Size measurement}, 
    doi={10.23919/ACC.2017.7963443}, 
    ISSN={2378-5861},
    ISBN={978-1-5090-5994-2}, 
    month={May},}
  • I. Fernandez, K. M. Passino, and J. Finke, “A dynamic system analysis of the network degree of preferential attachment models,” , vol. 4, iss. 5, p. 4039, 2017.
    [Bibtex]
    @ARTICLE{78335, 
    author={Isabel Fernandez and  Kevin M. Passino and  Jorge Finke}, 
    journal={}, 
    title={A dynamic system analysis of the network degree of preferential attachment models}, 
    year={2017}, 
    volume={4}, 
    publisher={World Academy of Science, Engineering and Technology},
    number={5}, 
    pages={4039}, 
    abstract={Preferential attachment models explain the formation of power law degree distributions based on two key assumptions: the set of nodes continuously grows through the addition of new nodes and highly connected nodes tend to receive more connections from new nodes. A widely used preferential attachment model is the Barabasi-Albert model, which characterizes the evolution of the number of new nodes and the number of new edges as linear growth processes (i.e., a new node establishes a fixed number of new edges every time step). A recent extension to the model considers a more realistic scenario where the growth of the set of edges follows a distribution with time-varying nonlinear parameters. This work shows that the complementary cumulative degree distribution for the linear and nonlinear growth of edges can be approximated by infinite dimensional time-varying linear systems. For the linear case, the invariance of the convergent set of the degree distribution is proved, and stability properties of the average degree are derived. Finally, simulations illustrate the theoretical results.}, 
    keywords={degree distribution, network dynamics, network modeling, preferential attachment}, 
    url={http://waset.org/abstracts/Humanities-and-Social-Sciences}, 
    ISSN={2010-3778}, 
    month={},}
  • L. Rincón, J. Villay, J. Martínez, A. D. Castillo, A. Y. Portilla, and A. Navarro, “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, vol. 1, iss. 1, pp. 597-605, 2017.
    [Bibtex]
    @article{anavarro2017dyna,
    author = {Rincón, Luisa and Villay, Jorge and Martínez, Juan-C. and Castillo, Andrés D. and Portilla, Anita Y.  and Navarro, Andrés},
    title = {Un videojuego para apoyar la terapia del lenguaje: el caso de la descripción estática},
    journal = {Congreso Iberoamericano de Tecnologías de Apoyo a la Discapcidad},
    volume = {1},
    number = {1},
    year = {2017},
    pages={597-605},
    keywords = {Ludificación, procesos cognitivos, terapias del lenguaje, videojuegos},
    abstract = {Al realizar procesos de (re)habilitación de niños con pérdida auditiva oralizados, es importante ofrecer una intervención terapéutica que favorezca tanto al desarrollo del lenguaje como los procesos cognitivos, y a la vez, ofrecer a las familias las herramientas necesarias para llevar a buen término dichos procesos. Aplicar técnicas de ludificación en actividades del proceso de terapia, puede motivar a los niños y permitir que se desempeñen de una forma más adecuada. Estas actividades podrían plantearse de forma que cumplan con las dinámicas utilizadas en los videojuegos y permitan cumplir los objetivos planteados para cada actividad dentro del proceso de intervención terapéutica. El proceso de selección de las actividades adecuadas para trabajar la habilidad de observación requerida para desarrollar la descripción estática, y su transformación en actividades lúdicas en las que es posible controlar sus objetivos, interacción con los usuarios y dificultad, permite crear una herramienta lúdica que apoya el proceso de terapia del lenguaje realizada por los fonoaudiólogos. Este proyecto es una propuesta de trabajo interdisciplinar de diseño y desarrollo de un videojuego con actividades para ejercitar habilidades de observación requeridas en la descripción estática, en el proceso de desarrollo de la narrativa en el niño con pérdida auditiva oralizado.},
    issn = {2619-6433}, 
    url = {https://www.escuelaing.edu.co/escuela/iberdiscap2017/pdf/Memorias-Iberdiscap2017-ISSN.pdf}
    }
  • [DOI] I. Fernández, K. M. Passino, and J. Finke, “Dynamics of degree distributions of social networks,” in 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, pp. 5044-5049.
    [Bibtex]
    @INPROCEEDINGS{8264406,
    author={I. Fernández and K. M. Passino and J. Finke},
    booktitle={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
    title={Dynamics of degree distributions of social networks},
    year={2017},
    pages={5044-5049},
    abstract={Social network models aim to capture the complex structure of social connections. They are a framework for the design of control algorithms that take into account relationships, interactions, and communications between social actors. Based on three formation mechanisms - random attachment, triad formation, and network response - our work characterizes the dynamics of the degree distributions of social networks. In particular, we show that the complementary cumulative in- and out-degree distributions of highly clustered, reciprocal networks can be approximated by infinite dimensional time-varying linear systems. Furthermore, we determine the invariance of both limit distributions and the stability properties of the average degree.},
    keywords={social network models;complex structure;social connections;control algorithms;social actors;formation mechanisms;triad formation;network response;highly clustered networks;reciprocal networks;limit distributions;average degree;complementary cumulative in-and-out-degree distributions;infinite dimensional time-varying linear systems;stability properties;Social network services;Asymptotic stability;Linear systems;Time-varying systems;Stability analysis;Algorithm design and analysis;Analytical models},
    doi={10.1109/CDC.2017.8264406},
    ISSN={0743-1546},
    month={Dec},}
  • [DOI] J. Romero, A. Salazar, and J. Finke, “Preferential attachment with power law growth in the number of new edges,” in 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, pp. 2680-2685.
    [Bibtex]
    @INPROCEEDINGS{8264048,
    author={J. Romero and A. Salazar and J. Finke},
    booktitle={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
    title={Preferential attachment with power law growth in the number of new edges},
    year={2017},
    pages={2680-2685},
    abstract={The Barabasi-Albert model is used to explain the formation of power laws in the degree distributions of networks. The model assumes that the principle of preferential attachment underlies the growth of networks, that is, new nodes connects to a fixed number of nodes with a probability that is proportional to their degrees. Yet, for empirical networks the number of new edges is often not constant, but varies as more nodes become part of the network. This paper considers an extension to the original Barabasi-Albert model, in which the number of edges established by a new node follows a power law distribution with support in the total number of nodes. While most new nodes connect to a few nodes, some new nodes connect to a larger number. We first characterize the dynamics of growth of the degree of the nodes. Second, we identify sufficient conditions under which the expected value of the average degree of the network is asymptotically stable. Finally, we show how the dynamics of the model resemble the evolution of protein interaction networks, Twitter, and Facebook.},
    keywords={power law growth;fixed number;empirical networks;power law distribution;protein interaction networks;Barabasi-Albert model;preferential attachment;probability;Proteins;Twitter;Facebook;Harmonic analysis;Mathematical model;Asymptotic stability;Stability analysis;Preferential attachment;Harmonic number;Riemann Zeta function;Lyapunov stability},
    doi={10.1109/CDC.2017.8264048},
    ISSN={0743-1546},
    month={Dec},}
  • [DOI] D. Ruiz and J. Finke, “Stability of the Jackson-Rogers model,” in 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, pp. 1803-1808.
    [Bibtex]
    @INPROCEEDINGS{8263909,
    author={D. Ruiz and J. Finke},
    booktitle={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
    title={Stability of the Jackson-Rogers model},
    year={2017},
    pages={1803-1808},
    abstract={Network formation models explain the dynamics of the structure of connections using mechanisms that operate under different principles for establishing and removing edges. The Jackson-Rogers model is a generic framework that applies the principle of triadic closure to growing networks. Past work describes the asymptotic behavior of the degree distribution based on a continuous-time approximation. Here, we introduce a discrete-time approach that provides a more accurate fit of the dynamics of the in-degree distribution of the Jackson-Rogers model. Furthermore, we characterize the limit distribution and the expected value of the average degree as equilibria, and prove that both equilibria are asymptotically stable.},
    keywords={growing networks;network formation models;Jackson-Rogers model stability;connection structure dynamics;generic framework;triadic closure principle;discrete-time approach;in-degree distribution dynamics;limit distribution;asymptotically stable;Asymptotic stability;Random variables;Computational modeling;Mathematical model;Stability criteria},
    doi={10.1109/CDC.2017.8263909},
    ISSN={0743-1546},
    month={Dec},}
  • [DOI] K. Guerrero and J. Finke, “Dynamics of group cohesion in homophilic networks,” in 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, pp. 2318-2323.
    [Bibtex]
    @INPROCEEDINGS{8263988,
    author={K. Guerrero and J. Finke},
    booktitle={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
    title={Dynamics of group cohesion in homophilic networks},
    year={2017},
    pages={2318-2323},
    abstract={Understanding cohesion and homophily in empirical networks allows us build better personalization and recommendation systems. This paper proposes a network model that explains the emergence of cohesion and homophily as an aggregate outcome at the group- and network-level. We introduce two simple mechanisms that capture the underlying tendencies of nodes to connect with similar and different others. Our main theoretical result presents conditions on the network under which it reaches high degrees of cohesion and homophily.},
    keywords={homophilic networks;empirical networks;recommendation systems;network model;network-level;group cohesion dynamics;personalization systems;Indexes;Aggregates;Stochastic processes;Computational modeling;Decision making;Conferences;Australia},
    doi={10.1109/CDC.2017.8263988},
    ISSN={0743-1546},
    month={Dec},}
  • B. Rodríguez, R. G. de Piñérez, and G. M. Sarria M., “Using Probabilistic Parsers to Support Salsa Music Composition,” in Mathematics and Computation in Music, Cham, 2017, pp. 361-372.
    [Bibtex]
    @InProceedings{10.1007/978-3-319-71827-9_28,
    author="Rodr{\'i}guez, Brayan
    and de Pi{\~{n}}{\'e}rez, Ra{\'u}l Guti{\'e}rrez
    and Sarria M., Gerardo M.",
    editor="Agust{\'i}n-Aquino, Octavio A.
    and Lluis-Puebla, Emilio
    and Montiel, Mariana",
    title="Using Probabilistic Parsers to Support Salsa Music Composition",
    booktitle="Mathematics and Computation in Music",
    year="2017",
    publisher="Springer International Publishing",
    address="Cham",
    pages="361--372",
    abstract="Salsa is a long-established music genre. It has been used as a way to define, identify and express social beliefs. Due to the limited computational study of this genre, we consider relevant to identify and analyze the musical features of this music genre. Thus, we train a corpus with Grupo Niche songs for generating the production rules for an induced probabilistic context-free grammar through a probabilistic parser. In addition, we implement a web-based tool to support musical composition and generate automatic Salsa songs. In this work, we also compare three automatic songs using cross-validation on the corpus. We show the stability of the grammar because the precision of the generated songs compared to corpus' songs is close to those that are not in the corpus.",
    isbn="978-3-319-71827-9"
    }
  • [DOI] D. E. Moreno-Villamarín, H. D. Benítez-Restrepo, and A. C. Bovik, “Statistics of natural fused image distortions,” in 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2017, pp. 1243-1247.
    [Bibtex]
    @INPROCEEDINGS{7952355,
    author={D. E. Moreno-Villamarín and H. D. Benítez-Restrepo and A. C. Bovik},
    booktitle={2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)},
    title={Statistics of natural fused image distortions},
    year={2017},
    volume={},
    number={},
    pages={1243-1247},
    abstract={The capability to automatically evaluate the quality of long wave infrared (LWIR) and visible light images has the potential to play an important role in determining and controlling the quality of a resulting fused LWIR-visible image. Extensive work has been conducted on studying the statistics of natural LWIR and visible light images. Nonetheless, there has been little work done on analyzing the statistics of fused images and associated distortions. In this paper, we study the natural scene statistics (NSS) of fused images and how they are affected by several common types of distortions, including blur, white noise, JPEG compression, and non-uniformity (NU). Based on the results of a separate subjective study on the quality of pristine and degraded fused images, we propose an opinion-aware (OA) fused image quality analyzer, whose relative predictions with respect to other state-of-the-art metrics correlate better with human perceptual evaluations.},
    keywords={image fusion;relative predictions;OA fused image quality analyzer;opinion-aware fused image quality analyzer;NU;nonuniformity;JPEG compression;white noise;natural scene statistics;associated distortions;LWIR-visible image fusion;quality control;visible light image;LWIR image;long wave infrared image;natural fused image distortions;Distortion;Computational modeling;Standards;Image fusion;AWGN;Predictive models;Transform coding;NSS;LWIR;multi-resolution image fusion;fusion performance;image quality},
    doi={10.1109/ICASSP.2017.7952355},
    ISSN={2379-190X},
    month={March},}
  • [DOI] J. E. Ospina-Borras, H. D. Benitez-Restrepo, and J. F. Florez-Ospina, “Non-Destructive Infrared Evaluation of Thermo-Physical Parameters in Bamboo Specimens,” Applied Sciences, vol. 7, iss. 12, 2017.
    [Bibtex]
    @Article{app7121253,
    AUTHOR = {Ospina-Borras, Juan Esteban and Benitez-Restrepo, Hernán Darío and Florez-Ospina, Juan Felipe},
    TITLE = {Non-Destructive Infrared Evaluation of Thermo-Physical Parameters in Bamboo Specimens},
    JOURNAL = {Applied Sciences},
    VOLUME = {7},
    YEAR = {2017},
    NUMBER = {12},
    URL = {http://www.mdpi.com/2076-3417/7/12/1253},
    ISSN = {2076-3417},
    ABSTRACT = {The estimation of heat conduction properties has considerable importance in the characterization of bamboo with respect to its potential use as an alternative construction material. Even though traditional methods such as hot plates have successfully measured thermal parameters, like thermal diffusivity and conductivity in bamboo samples, it is still necessary to transform the cylindrical bamboo specimen into a piece with special geometry and size. This requirement makes this method impractical in applications where several bamboo specimens need to be measured in their original cylindrical shape. This paper presents the estimation of thermo-physical parameters k and     ρ  c p      in Guadua angustifolia kunth (Guadua a.k.) bamboo through nonlinear least square optimization and infrared thermography. A sensitivity analysis was carried out to determine how the temperature on the bamboo surface is affected by changes in the convection coefficient h, thermal conductivity k, and volumetric heat capacity     ρ  c p     . In spite of the nonlinearity and high correlation in the parameters of the inverse heat conduction problem (IHCP), the estimation of such parameters is robust and consistent with those reported in the literature.},
    DOI = {10.3390/app7121253}
    }

2016

  • I. Fernandez and J. Finke, “Stability Properties of Reciprocal Networks,” in Proceeding of the American Control Conference, Boston, MA, 2016, pp. 1-8.
    [Bibtex]
    @inproceedings{finke0012015,
    author={Fernandez, Isabel and Finke, Jorge},
    booktitle={Proceeding of the American Control Conference},
    title={Stability Properties of Reciprocal Networks},
    year={2016},
    pages={1-8},
    abstract={Models of network formation explain key features of a wide class of empirical networks based on simple mechanisms for establishing and removing links. Such mechanisms include random attachment (a generic abstraction of how a new incoming node connects to a network), triad formation (how the new node establishes transitive relationships), and network response (how the network reacts to new attachments). Our work analyses the combined effect of these three mechanisms on various local and global connectivity properties. In particular, we derive an expression for the asymptotic behavior of the local reciprocity coefficient and show that the evolution of the global reciprocity and the global clustering coefficients satisfy the dynamics of a time-varying linear system. Furthermore, we identify conditions under which the equilibrium of the system is globally asymptotically stable. Finally, we calibrate the proposed model to capture the evolution of a network composed of e-mail messages sent between members of an online community of students from the University of California, Irvine.},
    ISSN={0743-1619},
    address = {Boston, MA}}
  • [DOI] D. G. Bermúdez, A. A. Navarro-Newball, J. Aguilar-Zambrano, and S. Ochoa-Angrino, “Preservando Ando: videojuego diseñado como escenario educativo con impacto social,” in Extendiendo el espectro temático del diseño, Qartuppi, Ed., Qartuppi, 2016, pp. 155-176.
    [Bibtex]
    @incollection{anavarro2016a,
    year={2016},
    isbn={978-607-96359-5-4},
    booktitle={Extendiendo el espectro temático del diseño},
    editor={Qartuppi},
    title={Preservando Ando: videojuego diseñado como escenario educativo con impacto social},
    publisher={Qartuppi},
    keywords={videojuego, educativo, social},
    author={D.G. Bermúdez and A.A. Navarro-Newball and  J. Aguilar-Zambrano and S. Ochoa-Angrino},
    pages={155-176},
    doi={10.13140/RG.2.1.3494.5688},
    url={http://www.qartuppi.com/2016/espectro.pdf},
    abstract={El proyecto MOMU, Modelos Interactivos para Museos, es una propuesta académica de carácter investigativo que busca promover el prendizaje, la diversión y la sensibilización sobre temas ambientales y culturales en los usuarios de los museos, por lo que se ha enfocado en desarrollar ambientes de aprendizaje en donde el visitante es el centro. Estos ambientes están siendo siseñados de manera que integren innovación tecnológica, ejemplo de ellos son los videojuegos interactivos como Preservando Ando, objeto de estudio de este capítulo. },
    }
  • A. A. Navarro-Newball, “Jav-Atar: A Video Game Contest to Promote Computer Science,” in The ICT Age, E. P. Anton Ravindran, Ed., Cambridge Scholars Publishing, 2016, pp. 125-140.
    [Bibtex]
    @incollection{anavarro2016b,
    year={2016},
    isbn={978-1-4438-8714-4},
    booktitle={The ICT Age},
    editor={Anton Ravindran, Edmond Prakash},
    title={Jav-Atar: A Video Game Contest to Promote Computer Science},
    publisher={Cambridge Scholars Publishing},
    keywords={Video Game, Computer Science},
    author={A.A. Navarro-Newball},
    pages={125-140},
    abstract={In this ICT age, advances in technology are making our lives easier, but a huge amount of technological progress is still needed. Paradoxically, in an era when computing has pervaded every aspect of our lives, Computer Science is not seen as a desirable career. Additionally, the number of students, women and minorities studying Computer Science is not enough for societyís needs. We explore the causes of the decrease in interest in Computer Science and describe previous experiences that attempt to encourage young people to study this subject. Then, we describe an experience of our own promotional Computer Science event and its impact in one of our universities. We finish with a discussion of our results in relation to this ICT age.},
    }
  • [DOI] C. Olarte and C. Rueda, “Session Types for Communicating Systems in event-B,” in Proceedings of the 31st Annual ACM Symposium on Applied Computing, New York, NY, USA, 2016, pp. 1686-1693.
    [Bibtex]
    @inproceedings{Olarte:2016:STC:2851613.2851836,
     author = {Olarte, Carlos and Rueda, Camilo},
     title = {Session Types for Communicating Systems in event-B},
     booktitle = {Proceedings of the 31st Annual ACM Symposium on Applied Computing},
     series = {SAC '16},
     year = {2016},
     isbn = {978-1-4503-3739-7},
     location = {Pisa, Italy},
     pages = {1686-1693},
     numpages = {8},
     url = {http://doi.acm.org/10.1145/2851613.2851836},
     doi = {10.1145/2851613.2851836},
     acmid = {2851836},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {Event-B, concurrent systems, session types},
     abstract={Emergent systems are inherently communication-centered. Hence, a modeling strategy for those systems must provide the right abstractions for: (1) giving a general view of the communication patterns; (2) abstracting away from the interleaving and synchronization details; and (3) proving correct the communication schema. We propose a modeling strategy that integrates multiparty sessions types (MST) and Event-B (refinement calculus). We show how a global type, specifying the choreography that the agents must follow, can be translated into an Event-B machine describing the abstract behavior of the system (1 above). A refinement of the system leads to a model of the local types, describing declaratively the behavior of the agents involved (2 above). Relying on the type discipline and Rodin's (Event-B) theorem provers, we can prove the system correct (3 above). Our method does not require to reason about the system traces, thus easing the modeling task. We have also developed a tool that automatizes the process of generating the Event-B model from the MST specification. We illustrate our framework with three compelling distributed protocols.},
    }
  • M. Guzman, S. Haar, S. Perchy, C. Rueda, and F. Valencia, “Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion,” Journal of Logical and Algebraic Methods in Programming, 2016.
    [Bibtex]
    @article{guzman:hal-01257113,
    Title = {Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion},        
    Author = {Guzman, Michell and Haar, Stefan and Perchy, Salim and Rueda, Camilo and Valencia, Frank},    
    Journal = {Journal of Logical and Algebraic Methods in Programming},    
    Publisher = {Elsevier},
    ISSN = {2352-2208},   
    Year = {2016},
    Note = {To Appear},    
    URL = {https://hal.inria.fr/hal-01257113},  
    Abstract = {The notion of constraint system (cs) is central to declarative formalisms from concurrency theory such as process calculi for concurrent constraint programming (ccp). Constraint systems are often represented as lattices: their elements, called constraints, represent partial information and their order corresponds to entailment. Recently a notion of n-agent spatial cs was introduced to represent information in concurrent constraint programs for spatially distributed multiagent systems. From a computational point of view a spatial constraint system can be used to specify partial information holding in a given agent's space (local information). From an epistemic point of view a spatial cs can be used to specify information that a given agent considers true (beliefs). Spatial constraint systems, however, do not provide a mechanism for specifying the mobility of information/processes from one space to another. Information mobility is a fundamental aspect of concurrent systems. 
    
    In this article we develop the theory of spatial constraint systems with operators to specify information and processes moving from a space to another. We shall investigate the properties of this new family of constraint systems and illustrate their applications. From a computational point of view the new operators provide for process/information extrusion, a central concept in formalisms for  mobile communication. From an epistemic point of view extrusion corresponds to a notion we shall call utterance; a piece of information that an agent communicates to others but that may be inconsistent with the agent's beliefs. Utterances can then be used to express instances of epistemic notions such as hoaxes or intentional lies. 
    Spatial constraint system can express the epistemic notion of belief by means of space functions that specify local information. We shall show that spatial constraint can also express the epistemic notion of knowledge by means of a derived spatial operator that specifies global information.},}
  • M. Guzman, S. Perchy, C. Rueda, and F. Valencia, “Deriving Inverse Operators for Modal Logic,” in ICTAC 2016, 2016.
    [Bibtex]
    @inproceedings{guzman:hal-01328188,
    Author = {Guzman, Michell and Perchy, Salim and Rueda, Camilo and Valencia, Frank},    
    Title     = {Deriving Inverse Operators for Modal Logic},        
    series    = {LNCS},
    Booktitle = {ICTAC 2016},
    Publisher = {Springer},
    Year = {2016},
    Note = {To Appear},
    URL = {https://hal.inria.fr/hal-01328188},  
    Abstract = {Spatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems. We shall use spatial constraint systems to give an abstract characterization of the notion of normality in modal logic and to derive right inverse/reverse operators for modal languages. In particular, we shall identify the weakest condition for the existence of right inverses and show that the abstract notion of normality corresponds to the preservation of finite suprema. We shall apply our results to existing modal languages such as the weakest normal modal logic, Hennessy-Milner logic, and linear-time temporal logic. We shall discuss our results in the context of modal concepts such as bisimilarity and inconsistency invariance.}}
  • [DOI] A. Arya, J. Gerroir, E. Mike-Ifeta, A. A. Navarro-Newball, and E. Prakash, “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, M. Kurosu, Ed., Cham: Springer International Publishing, 2016, pp. 179-190.
    [Bibtex]
    @Inbook{Arya2016,
    author={Arya, Ali and Gerroir, Jesse and Mike-Ifeta, Efetobore and Navarro-Newball, Andres Adolfo and Prakash, Edmund},
    editor={Kurosu, Masaaki},
    title={MEseum: Personalized Experience with Narrative Visualization for Museum Visitors},
    bookTitle={Human-Computer Interaction. Novel User Experiences: 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III},
    year={2016},
    publisher={Springer International Publishing},
    address={Cham},
    pages={179--190},
    isbn={978-3-319-39513-5},
    doi={10.1007/978-3-319-39513-5_17},
    url={http://dx.doi.org/10.1007/978-3-319-39513-5_17},
    keywords={Museum, Navigation, Interactive, Personalized, Narrative,  Visualization},
    abstract={The technological enrichment of museums serves as a prime area for research on the changing role of mobile and interactive technologies, and the visualization of personal data. While previous research projects have focused on using mobile technology to act as an electronic guide, or as a means for a user to view additional information about the museum exhibits, in contrast this project takes a different approach. It seeks to develop new methods to create a personalized experience and visualize the data collected from a user’s visit as a personal narrative. MEseum, our proposed system, allows the user to plan a visit, follow that plan, and construct a presentation that they can use to reflect, communicate, and share their experiences with others. To this end, a museum guidance system and four visual narrative styles were designed, developed, and successfully tested.}
    }
  • I. Moreno-Sánchez and A. Navarro-Newball, ” Mobile hypermedia as new media and its role in transmedia creation,” Revista KEPES, vol. 13, iss. 13, pp. 145-170, 2016.
    [Bibtex]
    @article{anavarro2016kempes,
    author = {Isidro Moreno-Sánchez and Andrés Navarro-Newball },
    title = { Mobile hypermedia as new media and its role in transmedia creation},
    journal = {Revista KEPES},
    volume = {13},
    number = {13},
    year = {2016},
    pages={145-170},
    keywords = {Accessibility, mobile hypermedia, interaction, interactivity, transmedia},
    abstract = {Mobile First is not just a concept resulting from marketing since even UNESCO invites to explore the educational possibilities of the mobile phone inside and outside the classroom. Mobile Internet, internet of things, geolocation and mobile sensors configure a new convergence of media characterized by the mobility of people and machines. This mobility, besides making possible interactivities (relations with technological intermediation) characteristic of static systems, generates analogue relationships because of interactions (physical and personal relationships) with the user, with others and within the space-time binomial. This mobility is also the protagonist in the processes of transmedia design and creation.  Designers, creators and content and software developers have to think first of this device (Mobile First) and have to consider if its creations fit other screens (“Responsive Web Design). The hypothesis is that mobile hypermedia is emerging as a new media that is usually the main protagonist in transmedia creation.  This raises a taxonomic, narrative, creative and ludic-educative-communicative approach that tries to demonstrate it. Hypermedia mobile communication possibilities are analyzed and their roles in transmedia communication. Prospective is used to point out the shortcomings of the moment and to make a note of future possibilities that are born from unmet needs. Marketing is responsible for enhancing the technological glare. A rigorous look from the academy focused on design, contents and accessibility is required so that it helps to go from a dazzling technology  to a technology that enlightens knowledge.},
    issn = {2462-8115}, 
    url = {DOI: 10.17151/kepes.2016.13.13.8}
    }
  • [DOI] Q. Ren, Q. Sun, L. Tobón, Q. Zhan, and Q. H. Liu, “EB Scheme-Based Hybrid SE-FE DGTD Method for Multiscale EM Simulations,” IEEE Transactions on Antennas and Propagation, vol. 64, iss. 9, pp. 4088-4091, 2016.
    [Bibtex]
    @ARTICLE{7487042, 
    author={Q. Ren and Q. Sun and L. Tobón and Q. Zhan and Q. H. Liu}, 
    journal={IEEE Transactions on Antennas and Propagation}, 
    title={EB Scheme-Based Hybrid SE-FE DGTD Method for Multiscale EM Simulations}, 
    year={2016}, 
    volume={64}, 
    number={9}, 
    pages={4088-4091}, 
    abstract={This communication presents an EB scheme subdomainlevel discontinuous Galerkin time domain (DGTD) method for multiscale simulations. It is an extension of the previous subdomain-level DGTD research by combining the degree of freedom efficiency of spectral element time domain method and the mesh flexibility of the finite element time domain method. Thus, the multiscale problems can be solved efficiently by separating the geometrically fine and coarse parts and meshing them with hexahedrons and tetrahedrons, respectively, via a nonconformal mesh. The implicit–explicit Runge-Kutta method is applied to the EB scheme DGTD method to obtain an efficient time integration approach.}, 
    keywords={Antennas;Face;Finite difference methods;Ground penetrating radar;Metals;Soil;Time-domain analysis;Discontinuous Galerkin time domain (DGTD) method;EB scheme;Maxwell’s equations;Riemann solver;multiscale;nonconformal mesh}, 
    doi={10.1109/TAP.2016.2578308}, 
    ISSN={0018-926X}, 
    month={Sept},}
  • [DOI] J. E. Ospina-Borras and H. D. B. Restrepo, “Non-reference assessment of sharpness in blur/noise degraded images ,” Journal of Visual Communication and Image Representation , vol. 39, pp. 142-151, 2016.
    [Bibtex]
    @article{OspinaBorras2016142,
    title = "Non-reference assessment of sharpness in blur/noise degraded images ",
    journal = "Journal of Visual Communication and Image Representation ",
    volume = "39",
    number = "",
    pages = "142 - 151",
    year = "2016",
    note = "",
    issn = "1047-3203",
    doi = "http://dx.doi.org/10.1016/j.jvcir.2016.05.015",
    url = "http://www.sciencedirect.com/science/article/pii/S1047320316300827",
    author = "J.E. Ospina-Borras and Hernan Darío Benítez Restrepo",
    keywords = "Singular value decomposition",
    keywords = "Gradient",
    keywords = "Image sharpness",
    keywords = "Image quality assessment ",
    abstract = "Abstract Image sharpness perception is not only affected by blur but also by noise. Noise effect on perceived image sharpness is a puzzling problem since image sharpness may increase, up to a certain amount of noise, on even regions when noise is added to an image. In this paper, we propose a \{NR\} perceived sharpness metric \{GSVD\} (Gradient Singular Value Decomposition), that shows to be effective in correlating with subjective quality evaluation of images affected by either blur or noise. This metric (i) requires no training on human image quality ratings, (ii) provides comparable performance with full reference (FR) peak signal to noise ratio (PSNR) and multiscale structural similarity (MSSIM), and (iii) performs better than most of the state-of-the-art \{NR\} sharpness metrics when assessing quality in blurry image sets and noisy image sets jointly. "
    }
  • L. Rincón, E. Muñoz, J-C. Martínez, M-C. Pabón, and G. Álvarez, “Extractive SPL Adoption Applied Into a Small Software Company,” in Proceedings of the XLII Latin American Computing Conference (CLEI), Valparaíso, Chile, 2016, pp. 740-747.
    [Bibtex]
    @inproceedings{juancarlos20161,
    author={L. Rincón and E. Muñoz and J-C. Martínez and M-C. Pabón and G. Álvarez},
    title={Extractive SPL Adoption Applied Into a Small Software Company},
    bookTitle={Proceedings of the XLII Latin American Computing Conference (CLEI)},
    year={2016},
    address={Valparaíso, Chile},
    pages={740-747},
    isbn={978-1-5090-1632-7},
    keywords={Software Product Lines, Domain Engineering, Feature Models, Core Assets, Industrial Case, Reusable artifacts, Extractive adoption.},
    abstract={Acople Tecnológico SAS is a Colombian enterprise specializing in software development whose products use devices for biometric facial and fingerprint recognition. The functional overlap of such products provides an opportunity for systematic reuse, which reduces software development and maintenance costs. In this paper we report our experiences, lessons learned and future work from applying concepts of software product line engineering to evolve three of its different software applications into a software product line. Based on our experience, we explain how we have tailored existing concepts of product line engineering, specifically how we have followed the process thus far, which includes the variability analysis that refers to the study of commonalities and variabilities among a set of software applications, the development of reusable software assets, and the derivation of individual products from the product line.}
    }
  • G. Sarria, M. Mora, and C. Arce, “Salsa dataset: primera base de conocimiento de música salsa,” Revista Ricercare, iss. 5, pp. 64-72, 2016.
    [Bibtex]
    @article{gerardo20161,
    author = {Gerardo Sarria and Mario Mora and Carlos Arce},
    title = {Salsa dataset: primera base de conocimiento de música salsa},
    journal = {Revista Ricercare},
    number = {5},
    pages = {64-72},
    year = {2016},
    ISSN = {2346-4747},
    keywords={Género Musical Salsa; Dataset; Recuperación de Información Musical},
    abstract = {Un género musical muy conocido en nuestra región y que hace parte de nuestra identidad cultural caleña es la salsa. Su origen se remonta a los años 30 del siglo pasado y desde entonces este género ha sido modificado por diferentes artistas en diversas regiones del mundo, cada uno con una visión diferente de él, con experiencias culturales y con aporte de nuevos instrumentos y nueva tecnología. Esto hace que la salsa sea un género intrínsecamente complejo y difícil de definir en términos cualitativos. A pesar de la creciente popularidad del género en el mundo, la salsa no ha sido analizada desde el punto de vista computacional para derivar cuáles son los componentes acústicos que la definen y diferencian de los demás géneros musicales. En este documento abordaremos los resultados del proceso de creación de una base de conocimiento de música salsa que está disponible en forma gratuita para la comunidad científica y que recopila la información acústica de más de 20.000 canciones de dicho género musical. Con esta información, que caracteriza la señal acústica, se pretende modelar diferentes características del género mediante técnicas de inteligencia artificial. Además de hacer accesible esta información a investigadores interesados en la música salsa, otro aporte importante de este proyecto es proporcionar herramientas para que la base de conocimiento crezca con la ayuda de la comunidad científica. Para ello se desarrolló un software que extrae la información acústica pertinente de canciones que tienen los usuarios para ser enviada y adicionada a la base de conocimiento.}
    }
  • J. P. G. Cifuentes, “Design thinking para innovar, desde la interdisciplinariedad e interculturalidad, en ingeniería,” in Encuentro Internacional de Educación en Ingeniería ACOFI, Cartagena, Colombia, 2016, pp. 1-10.
    [Bibtex]
    @inproceedings{juanpablo20161,
    author={Juan Pablo García Cifuentes},
    title={Design thinking para innovar, desde la interdisciplinariedad e interculturalidad, en ingeniería},
    bookTitle={Encuentro Internacional de Educación en Ingeniería ACOFI},
    year={2016},
    address={Cartagena, Colombia},
    pages={1-10},
    isbn={978-958-680-079-2},
    keywords={design thinking; innovación; diseño de ingeniería},
    abstract={Para diseñar y desarrollar nuevos productos o servicios innovadores se requiere gestión y de la generación de nuevas ideas mediante el seguimiento de metodologías que permitan lograr verdaderas soluciones innovadoras y que satisfagan las necesidades de losusuarios y clientes objetivo.
    
    Gracias a la alianza existente desde el año 2007 entre la Pontificia Universidad Javeriana, seccional Cali, y la
    Universidad Stanford, la Facultad de Ingeniería de la Javeriana en Cali trabaja en colaboración con la d.School
    de Stanford y la red SUGAR (Stanford University Global Alliance for Redesign) en el diseño y desarrollo de nuevos
    productos o servicios innovadores en el marco del curso global ME310 Design Innovation with Corporate Partners
    de Stanford siguiendo la metodología design thinking.
    
    El curso global de innovación por diseño ME310 con aliados corporativos ha sido reconocido por el Consejo
    Nacional de Acreditación (CNA) como una de las mejores prácticas de internacionalización en las Instituciones
    de Educación Superior Colombianas. Para la ejecución de cada proyectose conforma un equipo interdisciplinar e
    intercultural compuesto por 3 o 4 estudiantes de la Javeriana y 3 o 4 estudiantes de la Universidad Stanford o
    cualquiera de las universidades pertenecientes a la red SUGAR. En Javeriana, después de un cuidadoso proceso,
    se seleccionan 3 o 4 de los mejores estudiantes de pregrado de quinto año de la Facultad de Ingeniería o de la
    carrera de Diseño.
    
    Durante los 9 meses de duración de cada proyecto, el equipo de innovación conformado se enfrenta a diferentes
    etapas de divergencia y convergencia siguiendo la metodología design thinking y mediante el diseño y desarrollo de múltiples prototipos se llega, finalmente, a un prototipo funcional final que satisfaga las necesidades de los
    usuarios objetivo y resuelva el problema propuesto por la empresa. 
    
    Durante 9 años, 30 nuevos productos y servicios se han desarrollado para empresas internacionales como
    Autodesk, Kodak, Panasonic, Tupperware, Telefónica, Yanmar, Valeo, Berg, Mustela y Lapeyre, y para empresas
    Colombianas como Belcorp, Banco de Occidente, Carvajal, El País, Forsa, Totto y Grupo SURA. }
    }
  • M. Sacanamboy, L. Quesada, F. Bolanos, A. Bernal, and B. O’Sullivan, “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), 2016, pp. 938-945.
    [Bibtex]
    @inproceedings{maribel20161,
    author={Maribell Sacanamboy and Luis Quesada and Freddy Bolanos and Alvaro Bernal and Barry O'Sullivan},
    title={A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip.},
    bookTitle={2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)},
    year={2016},
    pages={938-945},
    isbn={978-1-5090-4459-7},
    keywords={Complexity theory;Electronic mail;Mathematical model;Open area test sites;Optimization;Scheduling;Wireless communication;Constraint Optimisation Problem;Evolutionary algorithms;Network on Chip},
    abstract={Network on Chip (NoC) is a well known approach that aims at improving the performance of many-core systems. The design of such systems involves the optimal mapping of tasks to nodes, and the corresponding scheduling of the tasks at every node, which results in a challenging optimisation problem considering the constraints that need to be respected. In this paper, after formalising the problem and elaborating on its complexity, we present an AI approach to solve the problem and evaluate it against a MIP approach. Our empirical evaluation shows that the AI approach is able to obtain solutions of good quality very quickly.}
    }
  • A. Martínez, D. Palacio, and A. Vergara, “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, 2016.
    [Bibtex]
    @inproceedings{alexandermartinez20161,
    author={Alexánder Martínez and Daniel Palacio and Alejandro Vergara},
    title={Aterrizaje Autónomo de un Vehículo Aéreo no Tripulado, Usando Información Visual},
    bookTitle={Tercer Congreso Internacional sobre Tecnologías Avanzadas de Mecatrónica, Diseño y Manufactura},
    year={2016}
    }
  • A. Martínez, D. Contreras, J. Nieto, A. Oviedo, and S. Vásquez, “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, 2016.
    [Bibtex]
    @inproceedings{alexandermartinez20162,
    author={Alexander Martínez and Diana Contreras and Jorge Nieto and Andrés Oviedo and Sergio Vásquez},
    title={Plataforma Experimental para Evaluación del Desempeño de Sistemas Multi-Robot},
    bookTitle={Tercer Congreso Internacional sobre Tecnologías Avanzadas de Mecatrónica, Diseño y Manufactura},
    year={2016}
    }
  • [DOI] C. Pinzón and C. Rocha, “Double-spend Attack Models with Time Advantange for Bitcoin,” Electronic Notes in Theoretical Computer Science, vol. 329, pp. 79-103, 2016.
    [Bibtex]
    @article{Pinzón201679,
    title = {Double-spend Attack Models with Time Advantange for Bitcoin},
    journal = {Electronic Notes in Theoretical Computer Science},
    volume = {329},
    pages = {79 - 103},
    year = {2016},
    note = {\{CLEI\} 2016 - The Latin American Computing Conference},
    issn = {1571-0661},
    doi = {10.1016/j.entcs.2016.12.006},
    url = {//www.sciencedirect.com/science/article/pii/S157106611630113X},
    author = {Carlos Pinzón and Camilo Rocha},
    keywords = {Bitcoin},
    keywords = {double-spend attack},
    keywords = {mathematical model},
    keywords = {time-based model},
    keywords = {attacker advantage},
    abstract = {Abstract Bitcoin is a digital currency in which the need for a trusted third party is avoided. Instead, this digital currency is based on the concept of ‘proof of work’ allowing users to execute payments by digitally signing their transactions. Since electronic files can be duplicated, fraudulent transactions in the form of double-spend attacks – where users spend the same money at least twice – can happen. This paper is about attack models that can assign possible time advantage to attacker agents in the Bitcoin network. In particular, this paper presents: (i) two attack models in which partial advancement towards block production can be influenced by time and not only by the hashpower used to produce blocks of hashes, and (ii) algorithmic experimentation comparing these models against existing well-known hashrate-based attack models that do not consider time advantage. As a conclusion, this paper presents evidence on the fact that advantages are not negligible for cases in which an attacker has had enough time for secretly mining fraudulent blocks or significant control over the network. Also, the models presented in this paper help in supporting previous claims in the literature about how to correctly model and detect double-spend attacks in the Bitcoin network.}
    }
  • I. Moreno Sánchez and A. Navarro, “El museo múltiple. Accesibilidad y transmedialidad,” Revista TRP21, iss. 4, pp. 1-18, 2016.
    [Bibtex]
    @article{anavarro2016trp,
    author = {Moreno Sánchez, Isidro and Navarro, Andrés},
    title = {El museo múltiple. Accesibilidad y transmedialidad},
    journal = {Revista TRP21},
    number = {4},
    year = {2016},
    pages={1-18},
    keywords = {Museo, Accesibilidad, Web},
    abstract = {El museo es múltiple y se extiende más allá del edificio físico y de las obras materiales. El museo virtual reclama
    una sede web, no una página web, pues no es un simple folleto digital. Museo virtual que se hace móvil y acompaña a
    las personas a cualquier lugar. Museo que busca romper el espejo para no ser un simple reflejo digital de su par in
    situ. Museo que conecta cualquier espacio, que hace suya la calle y el espacio natural, y que utiliza el espectro que va
    de la realidad a la realidad virtual (virtualidad aumentada, realidad aumentada y realidad mixta) para hacer que las
    piedras hablen},
    issn = {2451-6112}, 
    url = {http://www.trp21.com.ar}
    }
  • A. Paz Parra, J. L. Oslinger Gutierrez, and J. Olaya Ochoa, “Online Electric Current Based Diagnosis of Stator Faults on Squirrel Cage Induction Motors,” International Journal of Electrical, Computer, Energetic, Electronic and Communication Engineering, vol. 10, iss. 12, pp. 1-9, 2016.
    [Bibtex]
    @article{alejandropaz20161,
    title = {Online Electric Current Based Diagnosis of Stator Faults on Squirrel Cage Induction Motors},
    journal = {International Journal of Electrical, Computer, Energetic, Electronic and Communication Engineering},
    volume = {10},
    number = {12},
    pages = {1-9},
    year = {2016},
    keywords = {Motor fault diagnosis, induction motor, MCSA, ESA, Extended Park´s vector approach, multiparameter analysis.},
    issn = {1000-5952},
    url = {http://waset.org/publications/10005952/online-electric-current-based-diagnosis-of-stator-faults-on-squirrel-cage-induction-motors },
    author = {Paz Parra, Alejandro and Oslinger Gutierrez, Jose Luis and Olaya Ochoa, Javier},
    abstract = {In the present paper, five electric current based methods to analyze electric faults on the stator of induction motors (IM) are used and compared. The analysis tries to extend the application of the multiple reference frames diagnosis technique. An eccentricity indicator is presented to improve the application of the Park’s Vector Approach technique. Most of the fault indicators are validated and some others revised, agree with the technical literatures and published results. A tri-phase 3hp squirrel cage IM, especially modified to establish different fault levels, is used for validation purposes.}
    }
  • M. Valencia, A. Paz, L. N. Quintero, and J. Palacios, “Summary of Technical Approaches to Improve Energy Efficiency in Electric Motor Drive Systems,” World Academy of Science, Engineering and Technology, vol. 3, iss. 12, pp. 1961-1964, 2016.
    [Bibtex]
    @article{alejandropaz20162,
    title = {Summary of Technical Approaches to Improve Energy Efficiency in Electric Motor Drive Systems},
    journal = {World Academy of Science, Engineering and Technology},
    conference = {ICEEPE 2016: International Conference on Electrical, Electronics and Power Engineering, Barcelona, Spain, (Dec 12-13,  2016)},
    volume = {3},
    number = {12},
    pages = {1961-1964},
    year = {2016},
    keywords = {energy saving, EMDS, induction motor, energy efficiency, sustainability},
    issn = {2010-3778},
    url = {http://waset.org/abstracts/Energy-and-Power-Engineering},
    author = {Manuel Valencia and Alejandro Paz and  Luz Nidia Quintero and Jairo Palacios},
    abstract = {In present paper a set of technical approaches to improve the energy efficiency in processes controlled by electric motor drive systems EMDS are listed and analyzed. Energy saving becomes fundamental to improve the sustainability and competitiveness of organizations all around the world; increasing costs of electricity had impulse the use of different strategies to reduce the electric power condition. A summary of these techniques is presented and evaluated in the potential for energy saving policies.}
    }
  • [DOI] M. Guzmán and F. D. Valencia, “On the Expressiveness of Spatial Constraint Systems,” in Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016), Dagstuhl, Germany, 2016, pp. 1-12.
    [Bibtex]
    @InProceedings{guzmn_et_al:OASIcs:2016:6746,
      author = {Michell Guzm{\'a}n and Frank D. Valencia},
      title = {On the Expressiveness of Spatial Constraint Systems},
      booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
      pages = {1-12},
      series = {OpenAccess Series in Informatics (OASIcs)},
      ISBN = {978-3-95977-007-1},
      ISSN = {2190-6807},
      year = {2016},
      volume = {52},
      editor = {Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos},
      publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
      address = {Dagstuhl, Germany},
      URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6746},
      URN = {urn:nbn:de:0030-drops-67469},
      doi = {10.4230/OASIcs.ICLP.2016.16},
      annote = {Keywords: Epistemic logic, Modal logic, Constraint systems, Concurrent constraint programming},
      ABSTRACT = {In this paper we shall report on our progress using spatial constraint system as an abstract representation of modal and epistemic behaviour. First we shall give an introduction as well as the background to our work. Then, we present our preliminary results on the representation of modal behaviour by using spatial constraint systems. Then, we present our ongoing work on the characterization of the epistemic notion of knowledge. Finally, we discuss about the future work of our research.}
    }

2015

  • [DOI] L. E. Tobón, Q. Ren, and Q. H. Liu, “A New Efficient 3D Discontinuous Galerkin Time Domain (DGTD) Method for Large and Multiscale Electromagnetic Simulations,” Journal of Computational Physics, vol. 283, pp. 374-387, 2015.
    [Bibtex]
    @article{Tobon2015374,
    title = {A New Efficient 3D Discontinuous Galerkin Time Domain (DGTD) Method for Large and Multiscale Electromagnetic Simulations},
    journal = {Journal of Computational Physics},
    volume = {283},
    number = {0},
    pages = {374-387},
    year = {2015},
    issn = {0021-9991},
    doi = {http://dx.doi.org/10.1016/j.jcp.2014.12.008},
    url = {http://www.sciencedirect.com/science/article/pii/S002199911400816X},
    author = {Luis E. Tobón and Qiang Ren and Qing Huo Liu},
    keywords = {Discontinuous Galerkin Time Domain method},
    keywords = {Maxwell's equations},
    keywords = {Multiscale electromagnetic simulations},
    abstract = {Abstract A new Discontinuous Galerkin Time Domain (DGTD) method for solving the 3D time dependent Maxwell's equations via the electric field intensity E and magnetic flux density B fields is proposed for the first time. It uses curl-conforming and divergence-conforming basis functions for E and B, respectively, with the same order of interpolation. In this way, higher accuracy is achieved at lower memory consumption than the conventional approach based on the field variables E and H. The centered flux and Riemann solver are both used to treat interfaces with non-conforming meshes, and both explicit Runge–Kutta method and implicit Crank–Nicholson method are implemented for time integration. Numerical examples for realistic cases will be presented to verify that the proposed method is a non-spurious and efficient \{DGTD\} scheme. }
    }
  • [DOI] N. Liu, L. Tobón, Y. Tang, and Q. H. Liu, “Mixed Spectral Element Method for 2D Maxwell’s Eigenvalue Problem,” Communications in Computational Physics, vol. 17, pp. 458-486, 2015.
    [Bibtex]
    @article{CPH:9530192,
    author = {Liu,Na and Tobón,Luis and Tang,Yifa and Liu,Qing Huo},
    title = {Mixed Spectral Element Method for 2D Maxwell's Eigenvalue Problem},
    journal = {Communications in Computational Physics},
    volume = {17},
    issue = {02},
    month = {2},
    year = {2015},
    issn = {1991-7120},
    pages = {458-486},
    numpages = {29},
    doi = {10.4208/cicp.230113.140814a},
    URL = {http://journals.cambridge.org/article_S1815240615000067},
    abstract = {It is well known that conventional edge elements in solving vector Maxwell's eigenvalue equations by the finite element method will lead to the presence of spurious zero eigenvalues. This problem has been addressed for the first order edge element by Kikuchi by the mixed element method. Inspired by this approach, this paper describes a higher order mixed spectral element method (mixed SEM) for the computation of two-dimensional vector eigenvalue problem of Maxwell's equations. It utilizes Gauss-Lobatto-Legendre (GLL) polynomials as the basis functions in the finite-element framework with a weak divergence condition. It is shown that this method can suppress all spurious zero and nonzero modes and has spectral accuracy. A rigorous analysis of the convergence of the mixed SEM is presented, based on the higher order edge element interpolation error estimates, which fully confirms the robustness of our method. Numerical results are given for homogeneous, inhomogeneous, L-shape, coaxial and dual-inner-conductor cavities to verify the merits of the proposed method. }
    }
  • [DOI] N. Liu, L. E. Tobon, Y. Zhao, Y. Tang, and Q. H. Liu, “Mixed Spectral-Element Method for 3-D Maxwell’s Eigenvalue Problem,” Microwave Theory and Techniques, IEEE Transactions on, vol. 63, iss. 2, pp. 317-325, 2015.
    [Bibtex]
    @article{7014303,
    author={Liu, N. and Tobon, L.E. and Zhao, Y. and Tang, Y. and Liu, Q.H.},
    journal={Microwave Theory and Techniques, IEEE Transactions on},
    title={Mixed Spectral-Element Method for 3-D Maxwell's Eigenvalue Problem},
    year={2015},
    month={Feb},
    volume={63},
    number={2},
    pages={317-325},
    keywords={Accuracy;Cavity resonators;Eigenvalues and eigenfunctions;Equations;Media;Numerical analysis;Vectors;Anisotropic cavity;Maxwell eigenvalues;divergence-free condition;spectral-element method (SEM);spurious modes},
    doi={10.1109/TMTT.2014.2387839},
    ISSN={0018-9480},
    abstract={A high-order 3-D mixed spectral-element method (SEM) based on Gauss–Lobatto–Legendre polynomials in the mixed finite-element framework is proposed to remove the spurious eigenmodes in the numerical solution of the vector Maxwell eigenvalue problem with inhomogeneous, lossy isotropic, and anisotropic media. In order to suppress all zero and nonzero spurious modes that exist in the conventional finite-element and higher order SEMs, the proposed method not only employs the mixed-order curl-conforming vector basis functions for the electric field intensity, but also includes the divergence-free condition given by Gauss' law in a weak form. Several numerical examples are given to verify that the mixed SEM is free of any spurious eigenmodes and has spectral accuracy with analytic eigenvectors.}
    }
  • L. E. Tobon, Q. Ren, Q. Sun, J. Chen, and Q. H. Liu, “New Efficient Implicit Time Integration Method for DGTD Appliedto Sequential Multidomain and Multiscale Problems,” PIER – Progress In Electromagnetics Research, vol. 151, pp. 1-8, 2015.
    [Bibtex]
    @article{tobon20154,
    author={Luis E. Tobon and Qiang Ren and Qingtao Sun and Jiefu Chen and Qing Huo Liu},
    journal={PIER - Progress In Electromagnetics Research},
    title={New Efficient Implicit Time Integration Method for DGTD Appliedto Sequential Multidomain and Multiscale Problems},
    year={2015},
    volume={151},
    pages={1-8},
    url={http://www.jpier.org/PIER/pier.php?paper=14112201},
    issn={1070-4698},
    abstract={The discontinuous Galerkin's (DG) method is an efficient technique for packaging problems. It divides an original computational region into several subdomains, i.e., splits a large linear system into several smaller and balanced matrices. Once the spatial discretization is solved, an optimal time integration method is necessary. For explicit time stepping schemes, the smallest edge length in the entire discretized domain determines the maximal time step interval allowed by the stability criterion, thus they require a large number of time steps for packaging problems. Implicit time stepping schemes are unconditionally stable, thus domains with small structures can use a large time step interval. However, this approach requires inversion of matrices which are generally not positive definite as in explicit shemes for the first-order Maxwell's equations and thus becomes costly to solve for large problems. This work presents an algorithm that exploits the sequential way in which the subdomains are usually placed for layered structures in packaging problems. Specifically, a reordering of interface and volume unknowns combined with a block LDU (Lower-Diagonal-Upper) decomposition allows improvements in terms of memory cost and time of execution, with respect to previous DGTD implementations.}
    }
  • [DOI] J. F. Florez-Ospina and H. D. Benitez-Restrepo, “Toward Automatic Evaluation of Defect Detectability in Infrared Images of Composites and Honeycomb Structures ,” Infrared Physics & Technology, vol. 71, pp. 99-112, 2015.
    [Bibtex]
    @article{hernanbenitez20151,
    title = {Toward Automatic Evaluation of Defect Detectability in Infrared Images of Composites and Honeycomb Structures },
    journal = {Infrared Physics & Technology},
    volume = {71},
    number = {0},
    pages = {99-112},
    year = {2015},
    issn = {1350-4495},
    doi = {10.1016/j.infrared.2015.01.029},
    url = {http://www.sciencedirect.com/science/article/pii/S1350449515000456},
    author = {J.F. Florez-Ospina and H.D. Benitez-Restrepo},
    keywords = {Infrared inspection},
    keywords = {"Infrared image processing},
    keywords = {Defect detectability},
    keywords = {Signal to noise ratio},
    keywords = {Mean shift segmentation},
    abstract = {Non-destructive testing (NDT) refers to inspection methods employed to assess a material specimen without impairing its future usefulness. An important type of these methods is infrared (IR) for \{NDT\} (IRNDT), which employs the heat emitted by bodies/objects to rapidly and noninvasively inspect wide surfaces and to find specific defects such as delaminations, cracks, voids, and discontinuities in materials. Current advancements in sensor technology for \{IRNDT\} generate great amounts of image sequences. These data require further processing to determine the integrity of objects. Processing techniques for \{IRNDT\} data implicitly looks for defect visibility enhancement. Commonly, \{IRNDT\} community employs signal to noise ratio (SNR) to measure defect visibility. Nonetheless, current applications of \{SNR\} are local, thereby overseeing spatial information, and depend on a-priori knowledge of defect’s location. In this paper, we present a general framework to assess defect detectability based on \{SNR\} maps derived from processed \{IR\} images. The joint use of image segmentation procedures along with algorithms for filling regions of interest (ROI) estimates a reference background to compute \{SNR\} maps. Our main contributions are: (i) a method to compute \{SNR\} maps that takes into account spatial variation and are independent of a-priori knowledge of defect location in the sample, (ii) spatial background analysis in processed images, and (iii) semi-automatic calculation of segmentation algorithm parameters. We test our approach in carbon fiber and honeycomb samples with complex geometries and defects with different sizes and depths. }
    }
  • [DOI] J. E. Ospina-Borras and H. D. Benitez-Restrepo, “Non-reference Quality Assessment of Infrared Images Reconstructed by Compressive Sensing,” in Proc. SPIE 9396, Image Quality and System Performance XII, 93960V, 2015, pp. 1-9.
    [Bibtex]
    @inproceedings{hernanbenitez20152,
    author={J.E Ospina-Borras and H.D Benitez-Restrepo},
    booktitle={Proc. SPIE 9396, Image Quality and System Performance XII, 93960V},
    title={Non-reference Quality Assessment of Infrared Images Reconstructed by Compressive Sensing},
    year={2015},
    month={February},
    pages={1-9},
    isbn={9781628414868},
    editor={Mohamed-Chaker Larabi; Sophie Triantaphillidou},
    volume={9396},
    doi={10.1117/12.2079569},
    keywords={Compressed sensing ; Quality measurement ; Image quality ; Signal to noise ratio ; Visible radiation},
    abstract={Infrared (IR) images are representations of the world and have natural features like images in the visible spectrum. As such, natural features from infrared images support image quality assessment (IQA).1 In this work, we compare the quality of a set of indoor and outdoor IR images reconstructed from measurement functions formed by linear combination of their pixels. The reconstruction methods are: linear discrete cosine transform (DCT) acquisition, DCT augmented with total variation minimization, and compressive sensing scheme. Peak Signal to Noise Ratio (PSNR), three full-reference (FR), and four no-reference (NR) IQA measures compute the qualities of each reconstruction: multi-scale structural similarity (MSSIM), visual information fidelity (VIF), information fidelity criterion (IFC), sharpness identification based on local phase coherence (LPC-SI), blind/referenceless image spatial quality evaluator (BRISQUE), naturalness image quality evaluator (NIQE) and gradient singular value decomposition (GSVD), respectively. Each measure is compared to human scores that were obtained by differential mean opinion score (DMOS) test. We observe that GSVD has the highest correlation coefficients of all NR measures, but all FR have better performance. We use MSSIM to compare the reconstruction methods and we find that CS scheme produces a good-quality IR image, using only 30000 random sub-samples and 1000 DCT coefficients (2%). In contrast, linear DCT provides higher correlation coefficients than CS scheme by using all the pixels of the image and 31000 DCT (47%) coefficients. © (2015) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.},
    }
  • [DOI] V. Rivera, N. Cataño, T. Wahls, and C. Rueda, “Code Generation for Event-B,” International Journal on Software Tools for Technology Transfer, pp. 1-22, 2015.
    [Bibtex]
    @article{camilorueda20151,
    title = {Code Generation for Event-B},
    journal = {International Journal on Software Tools for Technology Transfer},
    pages = {1-22},
    year = {2015},
    issn = {1433-2779},
    doi = {10.1007/s10009-015-0381-2},
    author = {Víctor Rivera  and Néstor Cataño and Tim Wahls and Camilo Rueda},
    keywords = {Android; Code generation; Event-B; Formal methods; Java; JML; EventB2Java; Rodin; Tokeneer},
    abstract = {Event-B is a modelling language and a formal methods approach for correct construction of software. This paper presents our work on code generation for Event-B, including the definition of a syntactic translation from Event-B to JML-annotated Java programs, the implementation of the translation as the EventB2Java tool, and two case studies on the use of EventB2Java. The first case study is on implementing an Android application with the aid of the EventB2Java tool, and the second on testing an Event-B specification of the Tokeneer security-critical system. Additionally, we have benchmarked our EventB2Java tool against two other Java code generators for Event-B.}
    }
  • [DOI] Q. Ren, L. E. Tobon, Q. Sun, and Q. H. Liu, “A New 3-D Nonspurious Discontinuous Galerkin Spectral Element Time-Domain (DG-SETD) Method for Maxwell’s Equations,” Antennas and Propagation, IEEE Transactions on, vol. 63, iss. 6, pp. 2585-2594, 2015.
    [Bibtex]
    @ARTICLE{7073618,
    author={Ren, Q. and Tobon, L.E. and Sun, Q. and Liu, Q.H.},
    journal={Antennas and Propagation, IEEE Transactions on},
    title={A New 3-D Nonspurious Discontinuous Galerkin Spectral Element Time-Domain (DG-SETD) Method for Maxwell’s Equations},
    year={2015},
    month={June},
    volume={63},
    number={6},
    pages={2585-2594},
    abstract={A new discontinuous Galerkin spectral element time-domain (DG-SETD) method for Maxwell’s equations based on the field variables E and B is proposed to analyze three-dimensional (3-D) transient electromagnetic phenomena. Compared to the previous SETD method based on the field variables E and H (the EH scheme), in which different orders of interpolation polynomials for electric and magnetic field intensities are required, the newly proposed method can eliminate spurious modes using basis functions with the same order interpolation for electric field intensity and magnetic flux density (the EB scheme). Consequently, it can
    reduce the number of unknowns and computation load. Domain decomposition for the EB scheme SETD method is completed via the DG method. In addition, the EB scheme SETD method is extended to the well-posed time-domain perfectly matched layer (PML) to truncate the computation domain when solving open-region problems. The effectiveness and advantages of the new DG-SETD method are validated by eigenvalue analysis and numerical results.},
    doi={10.1109/TAP.2015.2417891},
    ISSN={0018-926X},}
  • [DOI] A. A. Navarro-Newball, I. Moreno, E. Prakash, A. Arya, V. E. Contreras, V. A. Quiceno, S. Lozano, J. D. Mejìa, and D. F. Loaiza, “Gesture Based Human Motion and Game Principles to Aid Understanding of Science and Cultural Practices,” Multimedia Tools and Applications, pp. 1-24, 2015.
    [Bibtex]
    @article{andresnavarro20151,
    year={2015},
    issn={1380-7501},
    journal={Multimedia Tools and Applications},
    doi={10.1007/s11042-015-2667-5},
    title={Gesture Based Human Motion and Game Principles to Aid Understanding of Science and Cultural Practices},
    url={http://dx.doi.org/10.1007/s11042-015-2667-5},
    publisher={Springer US},
    keywords={Gesture; Human motion; Gamification; Museum},
    author={Navarro-Newball, Andres Adolfo and Moreno, Isidro and Prakash, Edmond and Arya, Ali and Contreras, Victoria E. and Quiceno, Victor A. and Lozano, Santiago and Mejìa, Juan David and Loaiza, Diego Fernando},
    pages={1-24},
    abstract={We present a novel approach for recreating life-like experiences through an easy and natural gesture-based interaction. By focusing on the locations and transforming the role of the user, we are able to significantly maximise the understanding of an ancient cultural practice, behaviour or event over traditional approaches. Technology-based virtual environments that display object reconstructions, old landscapes, cultural artefacts, and scientific phenomena are coming into vogue. In traditional approaches the user is a visitor navigating through these virtual environments observing and picking objects. However, cultural practices and certain behaviours from nature are not normally made explicit and their dynamics still need to be understood. Thus, our research idea is to bring such practices to life by allowing the user to enact them. This means that user may re-live a step-by-step process to understand a practice, behaviour or event. Our solution is to enable the user to enact using gesture-based interaction with sensor-based technologies such as the versatile Kinect. This allows easier and natural ways to interact in multidimensional spaces such as museum exhibits. We use heuristic approaches and semantic models to interpret human gestures that are captured from the user’s skeletal representation. We present and evaluate three applications. For each of the three applications, we integrate these interaction metaphors with gaming elements, thereby achieving a gesture-set to enact a cultural practice, behaviour or event. User evaluation experiments revealed that our approach achieved easy and natural interaction with an overall enhanced learning experience.}
    }
  • [DOI] J. Arias, M. Desainte-Catherine, C. Olarte, and C. Rueda, “Foundations for Reliable and Flexible Interactive Multimedia Scores,” in Mathematics and Computation in Music, T. Collins, D. Meredith, and A. Volk, Eds., Springer International Publishing, 2015, vol. 9110, pp. 29-41.
    [Bibtex]
    @incollection{camilorueda20152,
    year={2015},
    isbn={978-3-319-20602-8},
    booktitle={Mathematics and Computation in Music},
    volume={9110},
    series={Lecture Notes in Computer Science},
    editor={Collins, Tom and Meredith, David and Volk, Anja},
    doi={10.1007/978-3-319-20603-5_3},
    title={Foundations for Reliable and Flexible Interactive Multimedia Scores},
    url={http://dx.doi.org/10.1007/978-3-319-20603-5_3},
    publisher={Springer International Publishing},
    author={Arias, Jaime and Desainte-Catherine, Myriam and Olarte, Carlos and Rueda, Camilo},
    pages={29-41},
    language={English},
    abstract={Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scores with several applications in video games, live performance installations, and virtual museums. The composer defines the temporal organization of the score by asserting temporal relations (TRs) between temporal objects (TOs). At execution time, the performer may modify the start/stop times of the TOs by triggering interaction points and the system guarantees that all the TRs are satisfied. Implementations of IS and formal models of their behavior have already been proposed, but these do not provide usable means to reason about their properties. In this paper we introduce ReactiveIS, a programming language that fully captures the temporal structure of IS during both composition and execution. For that, we propose a semantics based on tree-like structures representing the execution state of the score at each point in time. The semantics captures the hierarchical aspects of IS and provides an intuitive representation of their execution. We also endow ReactiveIS with a logical semantics based on linear logic, thus widening the reasoning techniques available for IS. We show that ReactiveIS is general enough to capture the full behavior of IS and it also provides declarative ways to increase the expressivity of IS with, for instance, conditional statements and loops.}
    }
  • [DOI] M. Cano, C. Rueda, H. A. López, and J. A. Pérez, “Declarative Interpretations of Session-based Concurrency,” in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, New York, NY, USA, 2015, pp. 67-78.
    [Bibtex]
    @inproceedings{camilorueda20153,
     author = {Cano, Mauricio and Rueda, Camilo and L\'{o}pez, Hugo A. and P{\'e}rez, Jorge A.},
     title = {Declarative Interpretations of Session-based Concurrency},
     booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming},
     series = {PPDP '15},
     year = {2015},
     isbn = {978-1-4503-3516-4},
     location = {Siena, Italy},
     pages = {67--78},
     numpages = {12},
     url = {http://doi.acm.org/10.1145/2790449.2790513},
     doi = {10.1145/2790449.2790513},
     acmid = {2790513},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {\π-calculus, concurrency, concurrent constraint programming, expressiveness, session types},
     abstract={Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or declarative style: the former defines how interactions are structured; the latter defines governing conditions. In this paper, we investigate the relationship between operational and declarative models of session-based concurrency. We propose two interpretations of session π-calculus processes as declarative processes in linear concurrent constraint programming (lcc). They offer a basis on which both operational and declarative requirements can be specified and reasoned about. By coupling our interpretations with a type system for lcc, we obtain robust declarative encodings of π-calculus mobility.}
    }
  • [DOI] S. Haar, S. Perchy, C. Rueda, and F. Valencia, “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, New York, NY, USA, 2015, pp. 161-172.
    [Bibtex]
    @inproceedings{camilorueda20154,
     author = {Haar, Stefan and Perchy, Salim and Rueda, Camilo and Valencia, Frank},
     title = {An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic},
     booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming},
     series = {PPDP '15},
     year = {2015},
     isbn = {978-1-4503-3516-4},
     location = {Siena, Italy},
     pages = {161--172},
     numpages = {12},
     url = {http://doi.acm.org/10.1145/2790449.2790520},
     doi = {10.1145/2790449.2790520},
     acmid = {2790520},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {extrusion, lies, mobility, social networks, space, utterance},
     abstract={We enrich spatial constraint systems with operators to specify information and processes moving from a space to another. We shall refer to these news structures as spatial constraint systems with extrusion. We shall investigate the properties of this new family of constraint systems and illustrate their applications. From a computational point of view the new operators provide for process/information extrusion, a central concept in formalisms for mobile communication. From an epistemic point of view extrusion corresponds to a notion we shall call utterance; a piece of information that an agent communicates to others but that may be inconsistent with the agent's beliefs. Utterances can then be used to express instances of epistemic notions, which are common place in social media, such as hoaxes or intentional lies. Spatial constraint systems with extrusion can be seen as complete Heyting algebras equipped with maps to account for spatial and epistemic specifications.}
    }
  • [DOI] J. Arias, M. Desainte-Catherine, and C. Rueda, “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, 2015, pp. 140-151.
    [Bibtex]
    @inproceedings{camilorueda20155,
      author    = {Jaime Arias and
                   Myriam Desainte{-}Catherine and
                   Camilo Rueda},
      title     = {A Framework for Composition, Verification and Real-Time Performance
                   of Multimedia Interactive Scenarios},
      booktitle = {15th International Conference on Application of Concurrency to System
                   Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
      series={ACSD'15},
      year      = {2015},
      isbn      = {978-1-4673-7882-6},
      location={Brussels, Belgium},
      pages  = {140--151},
      numpages = {12},
      url   = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2015.8},
      doi  = {10.1109/ACSD.2015.8},
      publisher = {{IEEE} Computer Society},
      keywords={formal semantics, formal verification,  fpgas, interactive multimedia scenarios, timed automata, uppaal},
    abstract={Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scenarios. In IS, the composer defines temporal relations (TRs) between temporal objects (TOs) in order to specify the temporal organization of the scenario. During execution, the performer may trigger interaction points to modify the star/stop times of TOs, while the system guarantees that all the TRs are satisfied. IS is implemented in the tool I-SCORE and its semantics is formally defined as a Hierarchical Time Stream Petri Net (HTSPN). However, this model is not able to represent branching behaviors that are necessary to properly deal with applications such as video games and museum installations. Moreover, HTSPN does not provide tools for the automatic verification of critical properties of scenarios. In this work we define a semantics for IS based on Timed Automata (TA) and we show that such model yields to a complete framework to compose, verify and execute interactive scenarios. More precisely, we show that: 1) our model is able to deal with conditional statements in IS; 2) efficient verification techniques can be now used to reason about the written scenarios; and 3) our model allows for a directly implementation on a reconfigurable device, thus guaranteeing a real-time performance}
    }
  • [DOI] Editors, M. Leucker, C. Rueda, and F. D. Valencia, Theoretical Aspects of Computing – ICTAC 2015 – 12th International Colloquium Cali, Colombia, October 29-31, 2015, ProceedingsSpringer, 2015.
    [Bibtex]
    @proceedings{camilorueda20156,
      author    = {Editors and Martin Leucker and
                   Camilo Rueda and
                   Frank D. Valencia},
      title     = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
                   Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {9399},
      publisher = {Springer},
      year      = {2015},
      url       = {http://dx.doi.org/10.1007/978-3-319-25150-9},
      doi       = {10.1007/978-3-319-25150-9},
      isbn      = {978-3-319-25149-3},
      timestamp = {Thu, 08 Oct 2015 11:26:32 +0200},
      biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/2015},
      bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] L. Rincón, G. Giraldo, R. Mazo, C. Salinesi, and D. Diaz, “Method to Identify Corrections of Defects on Product Line Models ,” Electronic Notes in Theoretical Computer Science , vol. 314, pp. 61-81, 2015.
    [Bibtex]
    @article{rincon201561,
    title={Method to Identify Corrections of Defects on Product Line Models },
    journal={Electronic Notes in Theoretical Computer Science },
    volume={314},
    number={},
    pages={61-81},
    year={2015},
    note={\{CLEI\} 2014, the \{XL\} Latin American Conference in Informatic },
    issn={1571-0661},
    doi={http://dx.doi.org/10.1016/j.entcs.2015.05.005},
    url={http://www.sciencedirect.com/science/article/pii/S1571066115000286},
    author={L. Rincón and G. Giraldo and R. Mazo and C. Salinesi and D. Diaz},
    keywords={Software product lines},
    keywords={Features Models},
    keywords={Corrections},
    keywords={Defects},
    keywords={Software Engineering },
    abstract={Software product line engineering is a promising paradigm for developing software intensive systems. Among their proven benefits are reduced time to market, better asset reuse and improved software quality. To achieve this, the collection of products of the product line are specified by means of product line models. Feature Models (FMs) are a common notation to represent product lines that express the set of feature combinations that software products can have. Experience shows that these models can have defects. Defects in \{FMs\} be inherited to the products configured from these models. Consequently, defects must be early identified and corrected. Several works reported in scientific literature, deal with identification of defects in FMs. However, only few of these proposals are able to explain how to fix defects, and only some corrections are suggested. This paper proposes a new method to detect all possible corrections from a defective product line model. The originality of the contribution is that corrections can be found when the method systematically eliminates dependencies from the FMs. The proposed method was applied on 78 distinct \{FMs\} with sizes up to 120 dependencies. Evaluation indicates that the method proposed in this paper scale up, is accurate, and sometimes useful in real scenarios}
    }
  • [DOI] A. A. Navarro-Newball, D. G. Bermúdez, S. Ochoa-Angrino, J. Aguilar-Zambrano, V. E. Contreras, and I. Moreno-Sánchez, “Gamification in Informal Education Environments: A Case Study,” in Transforming Learning and IT Management through Gamification, E. C. Prakash and M. Rao, Eds., Springer International Publishing, 2015, pp. 73-97.
    [Bibtex]
    @incollection{anavarro2015c,
    year={2015},
    isbn={978-3-319-18699-3},
    booktitle={Transforming Learning and IT Management through Gamification},
    editor={Prakash, Edmond C. and Rao, Madhusudan},
    title={Gamification in Informal Education Environments: A Case Study},
    publisher={Springer International Publishing},
    keywords={Gamification, Museum},
    author={A.A. Navarro-Newball and D.G. Bermúdez and S. Ochoa-Angrino and J. Aguilar-Zambrano and V.E. Contreras and I. Moreno-Sánchez},
    pages={73-97},
    doi = {10.1007/978-3-319-18699-3},
    url={http://dx.doi.org/10.1007/978-3-319-18699-3_5},
    abstract={The chapter explains the process and considerations for building gamified informal education environemts. }
    }
  • I. Moreno-Sánchez and A. Navarro-Newball, “La ciudad escondida. Toledo, laboratorio de comunicación transmedia,” Opción, vol. Año 31, iss. Especial 1, pp. 806-827, 2015.
    [Bibtex]
    @article{anavarro2015d,
    author = {Isidro Moreno-Sánchez and Andrés Navarro-Newball},
    title = {La ciudad escondida. Toledo, laboratorio de comunicación transmedia},
    journal = {Opción},
    volume = {Año 31},
    number = {Especial 1},
    year = {2015},
    pages = {806-827},
    keywords = {Comunicación, Gamificación, Locative media, Narrativa Hipermedia, Organizaciones Culturales, Patrimonio Cultural Inmaterial, TIC, Transmedia.},
    abstract = {Las ciudades basan su estrategia de comunicación en transmitir su patrimonio material y muy poco el inmaterial, el escondido y el desaparecido; pero estos patrimonios son aún más importantes que el material, ya que reflejan los imaginarios sociales que han dado y continúan dando sentido a la sociedad que los configura. Se utiliza el análisis de contenido para crear un modelo de los distintos tipos de patrimonio inmaterial, desaparecido y escondido y de sus posibilidades de comunicación transmedia. Se toma como laboratorio de experimentación la ciudad de Toledo, España, declarada por la UNESCO Patrimonio de la Humanidad. },
    issn = {1012-1587}, 
    url = {http://www.fec.luz.edu.ve/opc/index.html}
    }
  • A. Navarro-Newball and I. Moreno-Sánchez, “Redefinición de las TIC en el museo: del discurso invasivo al inclusivo,” Complutum, vol. 26, iss. 2, pp. 219-228, 2015.
    [Bibtex]
    @article{anavarro2015e,
    author = {Andrés Navarro-Newball and Isidro Moreno-Sánchez},
    title = {Redefinición de las TIC en el museo: del discurso invasivo al inclusivo},
    journal = {Complutum},
    volume = {26},
    number = {2},
    year = {2015},
    pages={219-228},
    keywords = {Accesibilidad, Museografía hipermedia, Bases de datos narrativas, TIC.},
    abstract = {Las TIC son inseparables de la museografía in situ e imprescindibles en la museografía en red fija y móvil. En demasiados casos se han instalado prótesis tecnológicas para barnizar de modernidad el espacio cultural, olvidando que la tecnología debe estar al servicio de los contenidos de manera que resulte invisible y perfectamente imbricada con la museografía tradicional. Las interfaces móviles pueden fusionar museo in situ y en red y acompañar a las personas más allá del espacio físico. Esa fusión debe partir de una base de datos narrativa y abierta a obras materiales e inmateriales de otros museos de manera que no se trasladen las limitaciones del museo físico al virtual. En el museo in situ tienen sentido las instalaciones hipermedia inmersivas que faciliten experiencias culturales innovadoras. La interactividad (relaciones virtuales) debe convivir con la interacción (relaciones físicas y personales) y estar al servicio de todas las personas, partiendo de que todas, todos tenemos limitaciones. Trabajar interdisciplinarmente ayuda a comprender mejor el museo para ponerlo al servicio de las personas.},
    issn = {1131-6993}, 
    url = {http://dx.doi.org/10.5209/rev_CMPL.2015.v26.n2.50432}
    }
  • [DOI] R. Mazo, J. C. Muñoz-Fernández, L. Rincón, C. Salinesi, and G. Tamura, “VariaMos: An Extensible Tool for Engineering (Dynamic) Product Lines,” in Proceedings of the 19th International Conference on Software Product Line, New York, NY, USA, 2015, pp. 374-379.
    [Bibtex]
    @inproceedings{lfrincon2015b,
     author = {Mazo, Raúl and Muñoz-Fernández, Juan C. and Rincón, Luisa and Salinesi, Camille and Tamura, Gabriel},
     title = {VariaMos: An Extensible Tool for Engineering (Dynamic) Product Lines},
     booktitle = {Proceedings of the 19th International Conference on Software Product Line},
     series = {SPLC '15},
     year = {2015},
     isbn = {978-1-4503-3613-0},
     location = {Nashville, Tennessee},
     pages = {374-379},
     numpages = {6},
     url = {http://doi.acm.org/10.1145/2791060.2791103},
     doi = {10.1145/2791060.2791103},
     acmid = {2791103},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {constraints, dynamic product line models, product line engineering, simulation, tool, variability},
     abstract = {This paper presents the new release of VariaMos, a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models. In particular, we describe the characteristics of this new version regarding its first release: (1) the capability to create languages for modeling systems with variability, even with different views; (2) the capability to use the created language to model (dynamic) product lines; (3) the capability to analyze and configure these models according to the changing context and requirements; and (4) the capability to execute them over several simulation scenarios. Finally, we show how to use VariaMos with an example, and we compare it with other tools found in the literature.}
    }
  • E. M. J. Riascos and L. Rincón, “Modelo de características de una línea de productos de software para aplicaciones que usan dispositivos de Reconocimiento Biométrico,” in REVASOFT, 2015, pp. 68-72.
    [Bibtex]
    @inproceedings{lfrincon2015c,
    title={Modelo de características de una línea de productos de software para aplicaciones que usan dispositivos de Reconocimiento Biométrico},
    author={Edwin J. Muñoz Riascos and Luisa Rincón},
    booktitle={REVASOFT},
    pages={68-72},
    year={2015},
    editor={Reutilización, Variabilidad y Arquitectura en la Industria de Software },
    isbn = {978-958-46-5857-9}, 
    keywords = {Líneas de productos de software, modelo de características, biometría},
    abstract = {Las líneas de productos de software ofrecen beneficios como mejorar los tiempos de desarrollo y aumentar la calidad del producto final. La empresa Acople Tecnológico ha empezado a adoptar este paradigma y utiliza el enfoque extractivo para la definición de una línea de productos de software para las aplicaciones que usan dispositivos de reconocimiento biométrico que ha desarrollado. En este artículo se presenta y analiza el modelo de características que se ha extraído de las aplicaciones ya desarrolladas por la empresa y se discuten las líneas de trabajo futuras.}
    }
  • M. C. Pabón and C. A. Collazos, “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, 2015, pp. 410-419.
    [Bibtex]
    @inproceedings{mcpabon2015a,
     author = {María Constanza Pabón and César A. Collazos},
     title = {Lenguaje Visual de Consulta sobre Grafos de Datos: Un enfoque desde el Diseño Centrado en el Usuario},
     booktitle = {ACM Proceedings Congreso Colombiano de Computación},
     year = {2015},
     isbn = {978-1-4503-3463-1},
     pages = {410-419},
     numpages = {10},
     editor = {ACM Press},
     keywords = {Lenguajes visuales de consulta, Lenguajes de consulta sobre grafos, Diseño centrado en el usuario.},
     abstract = {Ofrecer a los usuarios finales, expertos en un dominio, la posibilidad de explorar y consultar datos almacenados en los sistemas de información con los que trabajan puede generar grandes beneficios para las organizaciones y la sociedad. Con frecuencia, formular preguntas ad hoc usando un lenguaje de consulta resulta una tarea compleja para un usuario final. Aun, en aquellos casos en los que se usan lenguajes visuales e interfaces gráficas. Generalmente las interfaces gráficas de consulta usan conceptos y elementos de los lenguajes que son poco intuitivos para el usuario final. En este artículo se presenta, desde la perspectiva del Diseño Centrado en el Usuario (DCU), el proceso de diseño de GraphTQL, un lenguaje visual de consulta sobre grafos de datos. El objetivo de GraphTQL es facilitarles a los usuarios finales la formulación de consultas de mediana complejidad. El caso de aplicación de este trabajo es el dominio médico, en particular las consultas sobre datos clínicos. Se presentan los resultados de las entrevistas y pruebas de usabilidad con profesionales de la salud que, desde las primeras etapas del proyecto, se llevaron a cabo como parte de este enfoque de diseño. Y se describe cómo estos resultados, y el enfoque de diseño, influenciaron y enriquecieron las decisiones de diseño de GraphTQL.}
    }
  • [DOI] I. Moreno, E. C. Prakash, D. F. Loaiza, D. A. Lozada, and A. A. Navarro-Newball, “Marker-less feature and gesture detection for an interactive mixed reality avatar,” in 20th Symposium on Signal Processing, Images and Computer Vision (STSIVA), 2015, pp. 129-135.
    [Bibtex]
    @INPROCEEDINGS{anavarro2015f, 
    author={Moreno, Isidro and Prakash, Edmond C. and Loaiza, Diego F. and Lozada, Diego A. and Navarro-Newball, Andres A.}, 
    booktitle={20th Symposium on Signal Processing, Images and Computer Vision (STSIVA)}, 
    title={Marker-less feature and gesture detection for an interactive mixed reality avatar}, 
    year={2015}, 
    pages={129-135},
    keywords={Avatars;Cameras;Detectors;Feature extraction;Games;Image color analysis;Lighting}, 
    doi={10.1109/STSIVA.2015.7330433}, 
    month={September},
    editor={Lorena García Posada and Pedro Vizcaya Guarín},
    isbn = {978-1-4673-9460-4},
    abstract={Subject-object interaction in a museum exhibit requires capture of the rigid museum objects, gestures and tasks performed by visitors as well as the subject-object interactions. Our interactive system takes a real object belonging to the avatar of a Tlingit warrior. The chosen object is a Tlingit war helmet replica which had to be detected by a RGB camera without the help of fiducial markers and used to display information on the screen. Our contribution is to integrate cascade classifiers, normally used to detect faces, to detect the helmet and to inform the mixed reality application flow. Classifiers adapted better to the museums ambient conditions. Additionally, we used skeletal data to detect when the user puts the helmet on and to allow an avatar on screen to be controlled by the user.}
    }
  • [DOI] C. F. Perea-Tanaka, I. Moreno, E. C. Prakash, and A. A. Navarro-Newball, “Towards tantalluc: Interactive mobile augmented reality application for the Museo de Am #x00E9;rica in Madrid,” in Computing Colombian Conference (10CCC), 2015 10th, 2015, pp. 164-171.
    [Bibtex]
    @INPROCEEDINGS{anavarro2015g, 
    author={Perea-Tanaka, Carlos F. and Moreno, Isidro and Prakash, Edmond C. and Navarro-Newball, Andres A.}, 
    booktitle={Computing Colombian Conference (10CCC), 2015 10th}, 
    title={Towards tantalluc: Interactive mobile augmented reality application for the Museo de Am #x00E9;rica in Madrid}, 
    year={2015}, 
    pages={164-171},
    isbn = {978-1-4673-9463-5},
    publisher = {IEEE},
    doi={10.1109/ColumbianCC.2015.7333427}, 
    month={September},
    abstract={Augmented reality focuses on providing the user with information about objects in the real world in a virtual context. The development of mobile applications using augmented reality and computer graphics technologies has been limited to restricted and constrained interactions. However, advances in video game engines and augmented reality development kits suggest the possibility, need and desire to explore better interactions in mobile augmented reality environments. This project strives to identify the strengths and unify the basic concepts of technologies including, augmented reality, video games, human-computer interaction, hypermedia narrative and mobile technologies as its foundation and at the same time identifies and overcomes the constraints and limitations of these technologies. An interactive mobile application has been developed for the Museo de América in Madrid, Spain. The mobile application is capable of recognising three images of Chimú objects exhibited at the Museo de América so that the behaviour of each of these objects can be simulated in an interactive manner. To achieve this, we used advance computer graphics and game artificial intelligence in order to create a serious game environment about the Chimú culture which encourages museum exploration through the narrative without the need of geolocation, favours interaction and ends up inviting to participate in an on-site immersive experience.}
    }
  • L. E. Tobón and C. A. Posada, “DESCOMPOSICIÓN DE SEÑALES BIOACÚSTICAS USANDO FAMILIAS DE POLINOMIOS ORTOGONALES,” Revista de Investigaciones de la Universidad del Quindío, vol. 27, pp. 39-45, 2015.
    [Bibtex]
    @ARTICLE{tobon2015descomposicion,
    author = {Tob{\'o}n, Luis Eduardo and Posada, Carlos Andr{\'e}s},
    title = {DESCOMPOSICI{\'O}N DE SE{\~N}ALES BIOAC{\'U}STICAS USANDO FAMILIAS DE POLINOMIOS ORTOGONALES},
    journal = {Revista de Investigaciones de la Universidad del Quindío},
    year = {2015},
    volume = {27},
    pages = {39-45},
    issn = {1794-631x},
    keywords={Polinomios Ortogonales, Descomposición de Señale, Señales bioacústicas, Calidad de la reconstrucción},
    abstract = {Este trabajo presenta una técnica de descomposición de señales bioacústicas empleando como funciones base dos familias de polinomios ortogonales. Esta técnica está orientada a implementarse en dispositivos de bajas capacidades de cómputo, como redes de sensores inalámbricos, por lo tanto debe ser rápida y efi ciente, además de permitir una alta compresión de la información y una buena calidad en la reconstrucción. En este artículo se explica el fundamento de la descomposición usando familias de polinomios ortogonales, se muestran el procedimiento empleado para alcanzar la resolución adecuada, que permite una mayor
    compresión de la información y una mejor calidad en la reconstrucción de la señal. Por último, se muestran los resultados obtenidos al aplicar el método a funciones generadas artifi cialmente y a registros
    sonoros del páramo de Chingaza (Cundinamarca) suministrados por el instituto Alexander von Humboldt, cuyos resultados se comparan con la transformada de Fourier tradicional.}
    }
  • L. Quiroz, L. Tobon, P. Caycedo, and O. Laverde, “Algorithms with low computational cost for monitoring and analysis of Colombia soundscapes,” in 20th Symposium on Signal Processing, Images and Computer Vision (STSIVA), 2015, pp. 1-11.
    [Bibtex]
    @INPROCEEDINGS{quiroz2015algorithms,
    author = {Quiroz, Luis and Tobon, Luis and Caycedo, Paula and Laverde, Oscar},
    title = {Algorithms with low computational cost for monitoring and analysis of Colombia soundscapes},
    booktitle = {20th Symposium on Signal Processing, Images and Computer Vision (STSIVA)},
    year = {2015},
    pages = {1-11},
    organization = {IEEE},
    isbn = {978-1-4673-9460-4},
    keywords={Soundscape analysis, Short Time Fourier transform, Wavelet transform, Orthogonal Polynomials Expansion},
    abstract = {Studies focused on soundscape are important on biological conservation, because natural sounds are permanent and with dynamic properties, they have been linked to the welfare of the environment and the structure of the landscape. These studies usually analyze the sound in time and frequency domains, with computationally heavy and centralized algorithms. However, new technologies for real time analysis requires
    distributed algorithms with low computational cost. Hence, the present work evaluates the computational cost of alternative methods with potential applicability in analysis of time-varying signals. The analyzed methods are short time Fourier transform, harmonic expansion, wavelet transform (analytical and non-analytical Morlet, Mexican hat, and Paul) and orthogonal polynomial expansion (Legendre, Chebyshev, and Hermite). A comparison between these methods is presented, in which processing time, memory consumption, quality of reconstruction and grouping index are some of the features selected, resulting in a useful computational cost ranking. The methods are applied to several signals generated with different procedures, such as artificial modulated signals and natural recorded sounds (provided by The Alexander von Humboldt Institute). In conclusion, Harmonic expansion, Chebyshev expansion, Legendre expansion and Short Time Fourier Transform are
    the best methods with excellent performance in all features.}
    }
  • A. Prados, L. Rivera, and G. Sarria, “Competences that facilitate the achievement of the objectives of an introductory programming course,” in World Engineering Education Forum (WEEF2015), Florence, Italy, 2015, pp. 1007-1012.
    [Bibtex]
    @InProceedings{prados15competences,
    title={Competences that facilitate the achievement of the objectives of an introductory programming course},
    author={Ana-Victoria Prados and Luis-Roberto Rivera and Gerardo Sarria},
    booktitle={World Engineering Education Forum (WEEF2015)},
    pages={1007--1012},
    publisher={IEEE},
    isbn={978-1-4799-8707-8},
    address={Florence, Italy},
    year={2015},
    abstract={This project determines what skills and knowledge a student must have to face successfully an introductory programming course. This is an exploratory and qualitative study based on analysis of the current proposals for programming courses, and on interviews and focus groups with students and professors of this courses. The analysis is performed using AtlasTi. Colombia is defined as the context for the research. The competencies identified are related with reading comprehension skills, especially the ability to perform text analysis. According to the information found, this skill reflects the ability of students to understand a problem. This greatly facilitates the possibility of writing a solution algorithm. A second ability has to do with to logical thinking. This second ability is justified because allows break a problem into simpler ones. Other abilities and knowledge are highlighted in the final results.},
    }
  • G. Sarria, C. Arce-Lopera, and M. Mora, “Salsa DataSet: Primer Base de Conocimiento de Música Salsa,” in Congress on Music Research: Models of Musical Research, Cali, Colombia, 2015, pp. 1-8.
    [Bibtex]
    @InProceedings{sarria15salsa,
    title={Salsa DataSet: Primer Base de Conocimiento de M\'{u}sica Salsa},
    author={Gerardo Sarria and Carlos Arce-Lopera and Mario Mora},
    booktitle={Congress on Music Research: Models of Musical Research},
    address={Cali, Colombia},
    year={2015},
    pages={1-8},
    abstract={Un g\'{e}nero musical muy conocido en nuestra regi\'{o}n y que hace parte de nuestra identidad cultural Cale\~{n}a es la Salsa. Su origen se remonta a los a\~{n}os 30 del siglo pasado, y desde entonces este g\'{e}nero ha sido modificado por diferentes artistas en diferentes regiones del mundo, cada uno teniendo una visi\'{o}n diferente de \'{e}l, experimentando culturalmente, y aport\'{a}ndole nuevos instrumentos y nueva tecnolog\'{\i}a. Esto hace que la Salsa sea un g\'{e}nero intr\'{\i}nsecamente complejo y dif\'{\i}cil de definir cualitativamente. A pesar de la creciente popularidad de este g\'{e}nero en el mundo, la Salsa no ha sido analizada computacionalmente para derivar cu\'{a}les son los componentes ac\'{u}sticos que la definen y diferencian de los dem\'{a}s g\'{e}neros musicales. En esta ponencia abordaremos los resultados del proceso de creaci\'{o}n de una base de conocimiento de m\'{u}sica Salsa, que est\'{a} disponible gratuitamente a la comunidad cient\'{\i}fica y que recopila la informaci\'{o}n ac\'{u}stica de m\'{a}s de 20000 canciones de este g\'{e}nero musical. Con esta informaci\'{o}n, que caracteriza la se\~{n}al ac\'{u}stica, se pretende modelar diferentes caracter\'{\i}sticas del g\'{e}nero usando t\'{e}cnicas de inteligencia artificial. Adem\'{a}s de hacer accesible esta informaci\'{o}n a investigadores interesados en la m\'{u}sica Salsa, otro aporte importante de este proyecto es proporcionar herramientas para que la base de conocimiento crezca con la ayuda de la comunidad cient\'{\i}fica. Para esto, se desarroll\'{o} un software que extrae la informaci\'{o}n ac\'{u}stica pertinente de canciones que tienen los usuarios para ser enviada y adicionada a la base de conocimiento. },
    }
  • C. Arévalo, G. Sarria, M. Mora, and C. Arce-Lopera, “Towards an Efficient Algorithm to Get the Chorus of a Salsa Song,” in IEEE International Symposium on Multimedia (ISM2015), Miami, FL, USA, 2015, pp. 258-261.
    [Bibtex]
    @InProceedings{arevalo15chorus,
    title={Towards an Efficient Algorithm to Get the Chorus of a Salsa Song},
    author={Camilo Ar\'{e}valo and Gerardo Sarria and Mario Mora and Carlos Arce-Lopera},
    booktitle={IEEE International Symposium on Multimedia (ISM2015)},
    address={Miami, FL, USA},
    year={2015},
    isbn={978-1-5090-0379-2},
    pages={258-261},
    abstract={A well-known musical genre and part of Latin-American cultural identity is Salsa. To be able to perform a scientific analysis of this genre, the first step to take is to analyze the structure of Salsa songs. Furthermore, the most representative part of Salsa is the chorus. In this paper we detail the design and implementation of an algorithm developed for getting the chorus of any Salsa song.},
    }
  • S. Perchy and F. Valencia, “Opinions and Beliefs as constraint system operators,” in Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, 2015, p. 1.
    [Bibtex]
    @inproceedings{perchy:hal-01257098,
      TITLE = {{Opinions and Beliefs as constraint system operators}},
      AUTHOR = {Perchy, Salim and Valencia, Frank},
      URL = {https://hal.inria.fr/hal-01257098},
      NOTE = {Appears at Abstract Paper at the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015).},
      BOOKTITLE = {{ Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)}},
      ADDRESS = {Cork, Ireland},
      EDITOR = {Marina De Vos and Thomas Eiter and Yuliya Lierler and Francesca Toni},
      SERIES = {Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)},
      VOLUME = {1},
      PAGES = {1},
      YEAR = {2015},
      MONTH = {Aug},
      KEYWORDS = {Epistemic Logics ; Constraint Systems ; Order Theory},
      HAL_ID = {hal-01257098},
      HAL_VERSION = {v1},
     abstract = {The growing presence of digital distributed systems in social life is exemplified by many particular instances, including opinion forums, social networks, dating sites and photo sharing portals. The increased usage in the last decade of these systems brings various risks and behaviors, inherent from the social interaction therein. An epistemic aspect is singled out as a common feature shared between these systems and the behaviors carried within them. Designing, constructing and verifying formalisms to represent information that is epistemic in nature can help develop a sound theory to analyze the scenarios mentioned before and at the same time bridge the concepts involved to a logical and mathematical domain. Regarding this, a specific concept of declarative and logic programming, that of a constraint system, deals with information represented by constraints (a constraint c could be a logical proposition partially describing a bigger system, e.g. temperature > 20). Constraint systems capable of incorporating the concept of spatiality such as user-spaces or message walls already exist (i.e. [c]_i , could read as " data/belief/constraint c belongs to agent i "). However, the movement of information between spaces is still not designed nor included in said constraint systems. Some process algebras do possess a concept of space mobility, notwithstanding, it is from an operational point of view, specifying only its behavior. Therefore it remains to mathematically define it along with all its properties. The proposed project intends to provide constraint systems with an algebraic operator that correspond to moving information in-between spaces as to mimic the mobility of data of distributed systems such as posting opinions/lies to other spaces or publicly disclosing data (i.e. ↑_i c reads as " extruding data/belief/constraint c from the space of agent i). Also, this extrusion operator should have a direct relationship with the spatiality operator, meaning that it should be modeled in constraint systems that also posses the concept of space (i.e. [c u ↑_i d] i = [c]_i u d reads " information d is extruded from the space of agent i " , it can be alternatively interpreted as agent i posting an opinion d). The authors developed a constraint system implementing the concepts of space and extrusion. The interaction between these conceptos account for mobility with no side effects , it is modeled as extrusion being the right inverse of space (i.e. [↑_i c]_i = c for any agent i). Additionally, given an already defined concept of space in a constraint system, the authors described different constructive ways of defining its extrusion and their mathematical properties. As a practical example, by means of a constraint system with space and extrusion, the authors gave semantic meaning to a logic with modalities of belief Bi and utterance Ui where BiUiφ ⇔ φ for any formula φ of the logic.},
    }
  • [DOI] Q. Sun, L. E. Tobon, Q. Ren, Y. Hu, and Q. H. Liu, “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, vol. 5, iss. 12, pp. 1839-1849, 2015.
    [Bibtex]
    @ARTICLE{Sun2015SequentialIEEE, 
    author={Sun, Q. and Tobon, L.E. and Ren, Q. and Hu, Y. and Liu, Q.H.}, 
    journal={Components, Packaging and Manufacturing Technology, IEEE Transactions on}, 
    title={Efficient Noniterative Implicit Time-Stepping Scheme Based on E and B Fields for Sequential DG-FETD Systems}, 
    year={2015}, 
    volume={5}, 
    number={12}, 
    pages={1839-1849}, 
    abstract={The discontinuous Galerkin finite-element time-domain (DG-FETD) method with implicit time integration has an advantage in modeling electrically fine-scale electromagnetic problems. Based on domain decomposition methods, it avoids the direct inversion of a large system matrix as in the conventional FETD method; by employing implicit time integration, it obviates an extremely small time-step interval to maintain stability as in explicit schemes. Based on curl-conforming basis functions for the electric field intensity E field and divergence-conforming basis functions for the magnetic flux density B field, a new noniterative implicit time-stepping scheme is proposed to efficiently solve sequentially ordered systems for electrically fine-scale problems. Compared with the previous EH-based scheme, the new scheme introduces fewer unknowns and, thereby, results in a smaller matrix system. Based on the Crank–Nicholson algorithm for time integration, the matrix system is in a block tridiagonal form. Then, through separating the surface unknowns from the volume unknowns, a block lower-diagonal-upper (LDU) decomposition is implemented, reducing the computational complexity of the original system. The adaptivity of parallel computing in subdomain level during preprocessing further helps shorten the computation time. Numerical results confirm that the proposed LDU scheme presents improved efficiency in terms of memory and CPU time while retaining the same accuracy, compared with the previous implicit block-Thomas method. With respect to the explicit Runge–Kutta method and the standard FDTD, it also shows an advantage in CPU time. The proposed scheme will help improve the performance of DG-FETD in modeling electrically fine-scale problems.}, 
    keywords={Linear systems;Matrix decomposition;Method of moments;Numerical models;Parallel processing;Time-domain analysis;Basis functions;curl-conforming elements;discontinuous Galerkin finite-element time domain (DG-FETD);divergence-conforming elements;electrically fine-scale problems;implicit time stepping;lower-diagonal-upper (LDU) decomposition;sequential order;sequential order.}, 
    doi={10.1109/TCPMT.2015.2496192}, 
    ISSN={2156-3950}, 
    month={Dec},}
  • [DOI] J. F. Vargas, J. A. Velasco, G. I. Alvarez, D. L. Linares, and E. Bravo, “Automatic Segmentation of Potyviridae Family Polyproteins,” Int. J. Bioinformatics Research and Applications, vol. 11, iss. 6, pp. 525-539, 2015.
    [Bibtex]
    @article{Vargas:2015:ASP:2851233.2851237,
     author = {Vargas, Jheyson Faride and Velasco, Jairo Andr{\'e}s and Alvarez, Gloria In{\'e}s and Linares, Diego Luis and Bravo, Enrique},
     title = {Automatic Segmentation of Potyviridae Family Polyproteins},
     journal = {Int. J. Bioinformatics Research and Applications},
     issue_date = {November 2015},
     volume = {11},
     number = {6},
     month = {nov},
     year = {2015},
     issn = {1744-5485},
     pages = {525 - 539},
     numpages = {15},
     url = {http://dx.doi.org/10.1504/IJBRA.2015.073238},
     doi = {10.1504/IJBRA.2015.073238},
     acmid = {2851237},
     publisher = {Inderscience Publishers},
     address = {Inderscience Publishers, Geneva, SWITZERLAND},
     abstract={We describe an automatic segmentation method for polyproteins of the viruses belonging to the Potyviridae family. It uses machine learning techniques in order to predict the cleavage site which define the segments in which said polyproteins are cut in their process of functional maturation. The segmentation application is publicly available for use on a website and it can be accessed through the web service interface too. The prediction models have an average sensitivity of 0.79 and a Matthews correlation coefficient average of 0.23. This method is capable of predicting correctly coinciding with previously published segmentation the segmentation of sequences which come from Potyvirus and Rymovirus, genera. However accurate prediction capabilities are affected when faced with either atypical sequences or viruses belonging to less common genera in the Potyviridae family. Future work will focus on establishing greater flexibility in this sense.},
    }
  • I. Fernandez and J. Finke, “Transitivity of Reciprocal Networks,” in Proceeding of the Conference on Decision and Control, Osaka, Japan, 2015, pp. 1625-1630.
    [Bibtex]
    @inproceedings{finke0022015,
    author={Fernandez, Isabel and Finke, Jorge},
    booktitle={Proceeding of the Conference on Decision and Control},
    title={Transitivity of Reciprocal Networks},
    year={2015},
    abstract={Network models are a useful tool to describe and predict dynamic relationships in large collections of data. Characterizing these relationships allows us to explain the emergence of underlying structures and estimate the expected degrees of uncertainty in connectivity patterns. This paper introduces an event-driven model that captures the effects of three simple network formation mechanisms: random attachment (a generic abstraction of how an incoming node connects to a network), triad formation (its impact on new neighbors), and network response (i.e., the way the overall network reacts to new attachments). Our work focuses on the impact of network response on the in- and out-degree distributions and the local clustering coefficients. In particular, we prove that under the proposed mechanisms any initial network reaches a stationary degree distribution with stationary clustering properties. Simulation results suggest that the response mechanism amplifies the scaling behavior of the degree distribution, originally induced by random attachment and triad formation.},
    ISSN={0743-1546},
    pages = {1625-1630},
    address = {Osaka, Japan}}
  • [DOI] R. Chavarriaga, M. Valencia, M. Hurtado, M. Bolaños, and J. Aguilar-Zambrano, “Technologies for Development: What is Essential?,” , S. Hostettler, E. Hazboun, and J. Bolay, Eds., Cham: Springer International Publishing, 2015, pp. 129-136.
    [Bibtex]
    @Inbook{mvalencia2015a1,
    author="Chavarriaga, Ricardo and Valencia, Manuel and Hurtado, Maria and Bola{\~{n}}os, Marcela and Aguilar-Zambrano, Jaime",
    editor="Hostettler, Silvia and Hazboun, Eileen and Bolay, Jean-Claude",
    chapter="Designing Suitable Assistive Technology for the Population with Motor Disabilities in Colombia",
    title="Technologies for Development: What is Essential?",
    year="2015",
    publisher="Springer International Publishing",
    address="Cham",
    pages="129-136",
    isbn="978-3-319-16247-8",
    doi="10.1007/978-3-319-16247-8_13",
    url="http://dx.doi.org/10.1007/978-3-319-16247-8_13",
    abstract={Assistive technology promotes a greater level of autonomy and favors social inclusion in people with motor disabilities. Product design of assistive technology should take into account the sociocultural aspects of potential users to provide effective solutions according to context requirements. The authors established a research line on the development of technology-based assistive solutions using an Expanded Model of Axiomatic Design. It is based on an interdisciplinary approach that puts the user at the center of the design process so as to effectively identify the needs of the users in context of Colombia, where violence is the main cause of motor disability. The authors designed a wheelchair for mobility and a rehabilitation station facility for supporting neural therapy. This research was the result of collaboration between Swiss and Colombian institutions, allowing the authors to develop and apply state-of-the-art technology tailored to the specific needs of the community. It also allowed the authors to strengthen the research capabilities of local institutions and establish a valuable test bed for transnational research in this field.},
    }
  • L. Rincón, G. Rodríguez, J-C. Martínez, G. Álvarez, and M-C. Pabón, “Caso de Aplicación para Crear Tiendas Virtuales Usando Líneas de Productos de Software,” in 10th Computing Colombian Conference (10CCC), Bogotá, Colombia, 2015, pp. 71-78.
    [Bibtex]
    @inproceedings{juancarlos20151,
    author={L. Rincón and G. Rodríguez and J-C. Martínez and G. Álvarez and M-C. Pabón},
    title={Caso de Aplicación para Crear Tiendas Virtuales Usando Líneas de Productos de Software},
    bookTitle={10th Computing Colombian Conference (10CCC)},
    year={2015},
    pages={71-78},
    address={Bogotá, Colombia},
    keywords={Líneas de productos de software, tiendas virtuales, ingeniería de software, comercio electrónico.},
    abstract={La ingeniería de líneas de productos de software es un paradigma que propone la reutilización planificada, para aprovechar elementos comunes y variables que tienen productos de software que pertenecen a un mismo dominio. Por otra parte, una tienda virtual es un sistema de comercio electrónico en el que consumidores y empresas pueden hacer negocios usando internet. El paradigma de las líneas de productos de software puede ser aplicado al contexto de las tiendas virtuales, pues existen elementos que podrían ser capitalizados para elaborar una familia de tiendas virtuales en lugar de crear solo una. Basados en los elementos anteriormente mencionados, este artículo presenta dos principales contribuciones: un caso de aplicación de líneas de productos de software al dominio de las tiendas virtuales y un generador que facilita configurar y derivar automática de tiendas a partir de la línea de productos. Usando este Generador Automático de Tiendas virtuales (GAT), es posible crear tiendas parcialmente completas que requieren solo ajustes finales de desarrollo.}
    }

2014

  • M. Toro, M. Desainte-Catherine, and C. Rueda, “Formal Semantics for Interactive Music Scores: a Framework to Design, Specify Properties and Execute Interactive Scenarios,” Journal of Mathematics and Music, vol. 7, pp. 1-20, 2014.
    [Bibtex]
    @article{crueda20141,
      author={Maurico Toro and Myriam Desainte-Catherine and Camilo Rueda},
      title={Formal Semantics for Interactive Music Scores: a Framework to Design, Specify Properties and Execute Interactive Scenarios},
      journal={Journal of Mathematics and Music},
      volume={7},
      month={February},
      pages={1-20},
      issn={1745-9737},
      year={2014},
      abstract={Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe executions of interactive multimedia scenarios. Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios. We propose new semantics for is based on timed event structures (TES). With such a semantics, we can specify more properties of the system, in particular, properties about execution traces, which are difficult to specify as constraints. We also present an operational semantics of is based on the non-deterministic timed concurrent constraint calculus and we relate such a semantics to the TES semantics. With the operational semantics, we can describe the behaviour of scores whose timed object durations can be arbitrary integer intervals.}
    }
  • [DOI] J. F. Florez-Ospina and H. D. Benitez, “From Local to Global Analysis of Defect Detectability in Infrared Non-Destructive Testing,” Infrared Physics & Technology , vol. 63, pp. 211-221, 2014.
    [Bibtex]
    @article{FlorezOspina2014211,
      author="J.F. Florez-Ospina and H.D. Benitez",
      title="From Local to Global Analysis of Defect Detectability in Infrared Non-Destructive Testing",
      journal="Infrared Physics & Technology ",
      volume="63",
      number="0",
      pages="211-221",
      year="2014",
      issn="1350-4495",
      doi="10.1016/j.infrared.2013.12.017",
      url="http://www.sciencedirect.com/science/article/pii/S1350449513002430",
      keywords="Infrared inspection",
      keywords="Infrared image processing",
      keywords="Defect detectability",
      keywords="Signal to noise ratio ",
      abstract={Several image processing techniques are employed in Infrared Non-Destructive Testing (IRNDT) to enhance defect detectability. To date, there is no adequate global measurement that objectively assesses defect visibility in processed frames. In this work, a Global Signal to Noise Ratio (GSNR) that comprehensively evaluates defect detectability in processed infrared (IR) images is proposed, as well as a defect visibility measure named Infrared Image Quality Index (IRIQI) that compares the structural information of defective and sound areas. In addition, GSNR and IRIQI are validated by using the area under ROC curve (AUC). AUC quantitatively assesses defect visibility by comparing the outcomes of processing techniques to human judgements. The remarkable benefit of this global approach is that it allows one to determine the frame at which processing techniques reveals the majority of the defects by evaluating the times at which AUC curves reach their maxima. The test pieces were a Carbon-Fiber Reinforced Plastic (CFRP) sample containing delaminations and a honeycomb specimen with delaminations, skin unbonds, excessive adhesive, and crushed core.}
    }
  • [DOI] K. E. Roldan, M. O. A. P., and H. B. D. Restrepo, “Spatial – Temporal Features of Thermal Images for Carpal Tunnel Syndrome Detection,” in Image Processing: Algorithms and Systems XII, 2014, p. 90190E-1 – 90190E-15.
    [Bibtex]
    @InProceedings{hbenitez20142,
     author={Kevin Estupiñan Roldan and Marco A. Ortega P. and Hernan D. Benitez Restrepo},
     title={Spatial - Temporal Features of Thermal Images for Carpal Tunnel Syndrome Detection},
     booktitle={Image Processing: Algorithms and Systems XII},
     month={February},
     year={2014},
     pages={90190E-1 - 90190E-15},
     issn="0277786X",
     doi="10.1117/12.2042575",
     abstract={Disorders associated with repeated trauma account for about 60% of all occupational illnesses, Carpal Tunnel Syndrome (CTS) being the most consulted today. Infrared Thermography (IT) has come to play an important role in the field of medicine. IT is non-invasive and detects diseases based on measuring temperature variations. IT represents a possible alternative to prevalent methods for diagnosis of CTS (i.e. nerve conduction studies and electromiography). This work presents a set of spatial-temporal features extracted from thermal images taken in healthy and ill patients. Support Vector Machine (SVM) classifiers test this feature space with Leave One Out (LOO) validation error. The results of the proposed approach show linear separability and lower validation errors when compared to features used in previous works that do not account for temperature spatial variability.}
    }
  • [DOI] M. Pabón, C. Roncancio, and M. Millán, “Graph Management to Improve Querying of Health and Social Data,” in International Conference on Health Informatics (HEALTHINF 2014), France, 2014, pp. 343-350.
    [Bibtex]
    @InProceedings{PabonM14,
     author={Pabón, Maria and Roncancio, Claudia and Millán, Martha},
     title={Graph Management to Improve Querying of Health and Social Data},
     booktitle={International Conference on Health Informatics (HEALTHINF 2014)},
     month={March},
     address={France},
     year={2014},
     pages={343-350},
     isbn="978-989-758-010-9",
     doi="10.5220/0004805403430350",
     keywords = {Graph Querying, Data Integration, Data Exploration},
     abstract={Large amount of data related to health care are stored in heterogeneous data sources. Independently, social media provides information about people's environment and activities, such as family relationships or patient's habits and social interaction. This information could be used to complement patients medical profiles to improve patient's care. Providing expert users with mechanisms to integrate and query such sources becomes crucial to retrieve information allowing to improve the analysis of patient's situations. This work contributes to facilitating visualization and querying of data coming from such sources. We adopt a graph data model at the conceptual level as it facilitates the integration of structured and semi-structured data. Our purpose is to go a step forward by providing a conceptual query language intended to allow end users, medical domain experts, to retrieve data from heterogeneous data sources by ad hoc queries. In this paper we introduce a set of operators to query data by transforming a graph and we analyze how they fulfill some design features of the conceptual language. These operators allow successive graph transformation to generate subgraphs with filtered data and to derive new relations representing information that is implicit or that is sparse in the data.}
    }
  • [DOI] J. Vargas, J. A. Velasco, G. I. Alvarez, D. L. Linares, and E. Bravo, “False Positive Reduction in Automatic Segmentation System,” in Advances in Computational Biology, L. F. Castillo, M. Cristancho, G. Isaza, A. Pinzón, and J. M. C. Rodríguez, Eds., Springer International Publishing, 2014, vol. 232, pp. 103-108.
    [Bibtex]
    @incollection{Gloria14-1,
      year={2014},
      isbn={978-3-319-01567-5},
      issn={2194-5357},
      booktitle={Advances in Computational Biology},
      volume={232},
      series={Advances in Intelligent Systems and Computing},
      editor={Castillo, Luis F. and Cristancho, Marco and Isaza, Gustavo and Pinzón, Andrés and Rodríguez, Juan Manuel Corchado},
      doi={10.1007/978-3-319-01568-2_15},
      title={False Positive Reduction in Automatic Segmentation System},
      url={http://dx.doi.org/10.1007/978-3-319-01568-2_15},
      publisher={Springer International Publishing},
      author={Jheyson Vargas and Jairo Andres Velasco and Gloria Ines Alvarez and Diego Luis Linares and Enrique Bravo},
      pages={103-108},
      abstract = {An application has been developed for automatic segmentation of Potyvirus polyproteins through stochastic models of Pattern Recognition. These models usually find the correct location of the cleavage site but also suggest other possible locations called false positives. For reducing the number of false positives, we evaluated three methods. The first is to shrink the search range skipping portions of polyprotein with low probability of containing the cleavage site. In the second and third approach, we use a measure to rank candidate locations in order to maximize the ranking of the correct cleavage site. Here we evaluate probability emitted by Hidden Markov Models (HMM) and Minimum Editing Distance (MED) as measure alternatives. Our results indicate that HMM probability is a better quality measure of a candidate location than MED. This probability is useful to eliminate most of false positive. Besides, it allows to quantify the quality of an automatic segmentation.}
    }
  • C. C. Ventes, A. A. Navarro-Newball, D. A. Velasco, and E. C. Prakash., “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), Singapore, 2014, pp. 25-33.
    [Bibtex]
    @InProceedings{CGAT2014,
     author = {Christian C. Ventes and Andrés A. Navarro-Newball and Deivy A. Velasco and Edmond C. Prakash.},
     title = {VirtuaOM: Tangible Human-Computer Interface for Collaborative Applications},
     booktitle = {Proceedings of the 7th Anual International Conference on Computer Games, Multimedia and Allied Technologies
    (CGAT 214)},
     month = {March},
     year = {2014},
     pages = {25-33},
     issn={2251-1679},
     address = {Singapore},
     keywords = {HCI, multimodal, interfaces, tangible user interface, computer vision, collaborative interface, augmented reality},
     abstract = {We present VirtuaOM, a library inspired in the Sensetable device developed by James Patten that permits programmers to create applications where the system can track users and tangible wireless objects in a tabletop surface emulated in the floor.}
    }
  • [DOI] L. E. TOBÓN, Q. REN, and Q. H. LIU, “Spectral-Prism Element for Multi-Scale Layered Package-Chip Co-Simulations Using the Discontinuous Galerkin Time-Domain Method,” Electromagnetics, vol. 34, pp. 270-285, 2014.
    [Bibtex]
    @article{ltobon2014,
      author = {LUIS E. TOBÓN and QIANG REN and QING HUO LIU},
      title = {Spectral-Prism Element for Multi-Scale Layered Package-Chip Co-Simulations Using the Discontinuous Galerkin Time-Domain Method},
      journal = {Electromagnetics},
      volume = {34},
      publisher = {Taylor & Francis Group},
      year = {2014},
      pages={270-285},
      issn = {0272-6343}, 
      doi = {10.1080/02726343.2014.877766},
      keywords = {discontinuous Galerkin, finite-element time-domain method, multi-scale problems, multi-layer structure, spectral-prism element},
      abstract = {A new kind of prism element with a triangular base is presented for discretization of multi-scale layered structures within the discontinuous Galerkin time-domain framework. Mixed-order curl-conforming vector basis functions are used in the triangular bases of the prismatic element. The height of the prism adopts spectral basis functions based on Gauss–Lobatto–Legendre polynomials, with an arbitrary order of interpolation. This method combines the flexibility of triangles with the accuracy of spectral elements for layered structures. Eigenvalues obtained show better results than traditional finite elements using tetrahedrons and hexahedrons. For transient analysis, the implicit Crank–Nicholson method is implemented for sequential sub-domains. This kind of arrangement of sub-domains produces a block tridiagonal linear system, thus allowing a block Thomas algorithm to solve the system efficiently. A package-to-chip example shows the efficacy of this method.}
    }
  • A. Paz, J. L. Oslinger, and J. A. Palacios, “Stator Failure Diagnosis for Squirrel Cage Induction Motors through the Negative Sequence Current,” Ingenieria y Universidad, vol. 18, pp. 141-158, 2014.
    [Bibtex]
    @article{apaz2014a,
      author = {Alejandro Paz and José Luis Oslinger and Jairo Arcesio Palacios},
      title = {Stator Failure Diagnosis for Squirrel Cage Induction Motors through the Negative Sequence Current},
      journal = {Ingenieria y Universidad},
      volume = {18},
      publisher = {Pontificia Universidad Javeriana},
      year = {2014},
      pages={141-158},
      issn = {0123-2126}, 
      keywords = {Induction motor, diagnosis, Inter-turn stator fault, unbalanced voltage factor, Short circuit.},
      abstract = {This paper presents a mathematical model to obtain a failure indicator of stator faults based on the negative sequence component of the electric current. The model can be used in online diagnosis systems to separate the effects of voltage unbalance factor and the constructive asymmetries of the machine. Results of the application of the model were validated trough laboratory tests made into a specially modified motor and results were applied to success diagnosis of two motors of higher electrical power.
      As a main result of the work, a low computational model was obtained to diagnose a quick evolution failure that can evolve quickly to a thermal collapse of the stator winding with consequent repair costs.}
    }
  • N. Cataño, V. Rivera, C. Rueda, and T. Wahls, “Translating B and Event-B Machines to Java and JML,” in Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method, J. Boulanger, Ed., Wiley, USA July 2014, 2014, pp. 211-249.
    [Bibtex]
    @incollection{camilo14-1,
      year={2014},
      isbn={978-1-84821-709-6},
      booktitle={Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method},
      editor={Jean-Louis Boulanger},
      title={Translating B and Event-B Machines to Java and JML},
      publisher={Wiley, USA July 2014},
      author={Nestor Cataño and Víctor Rivera and Camilo Rueda and Timothy Wahls},
      pages={211-249},
      abstract = {We believe that refinement calculus based approaches are best used in the earliest stages of software development – when the system is first being modeled at an abstract level and when properties of the model are being verified. As development proceeds and models become more implementation- oriented, the ability to make effective use of features and APIs provided by the implementation language becomes increasingly important. The refinement calculus approach of producing models that are programming language neutral up until the final refinement (into programming language code) requires these concrete models to use only features that are common to all target languages (i.e. arrays). A refinement calculus model could be translated into a design-by- contract notation by hand, but this process would be tedious and error prone, and any mistake in the translation would invalidate the entire sequence of (otherwise) correctness preserving refinement steps. These observations are the motivations for the two tools described in this chapter: B2Jml[19], which translates B machines to JML specifications, and EventB2Java [32], which translates Event-B machines and associated contexts to JML annotated Java implementations. Automating these translations eliminates the tedium just mentioned, and reduces the likelihood of translation errors. Even better, such errors can be entirely eliminated by proving the soundness of an automated translation, as we have done for EventB2Java [15]. As a final motivation for our approach, we note that software developers with the mathematical sophistication needed for developing, verifying and refining refinement calculus models are likely to be in short supply. Transitioning to a design-by-contract approach such as JML (which requires less mathematical expertise to use) allows developers with less mathematical sophistication to make meaningful contributions much earlier in the development process.}
    }
  • [DOI] I. Fernandez and J. Finke, “On the Stability of Resource Undermatching in Human Group-Choice,” in American Control Conference (ACC), 2014, 2014, pp. 2059-2064.
    [Bibtex]
    @INPROCEEDINGS{6858908, 
      author={Fernandez, Isabel and Finke, Jorge}, 
      booktitle={American Control Conference (ACC), 2014}, 
      title={On the Stability of Resource Undermatching in Human Group-Choice}, 
      year={2014}, 
      month={June}, 
      pages={2059-2064}, 
      doi={10.1109/ACC.2014.6858908}, 
      issn={0743-1619},
      publisher={IEEE},
      isbn={978-1-4799-3272-6},
      abstract={The analysis of patterns of social interaction plays an important role in providing services on online platforms (e.g., in designing algorithms for the allocation of information resources). The proposed model takes into account human factors underlying the concept of the Ideal Free Distribution (IFD), which captures empirical patterns of the aggregate group-level behavior of individuals competing for resources. The model explains the phenomenon of resource undermatching as a natural IFD-based outcome resulting from boundedly rational decision-making (i.e., individuals perceive only some of the available resources). We show that undermatching can be described as a globally balanced state in which the perceived cost of the best forgone alternatives is approximately the same for all individuals. Furthermore, we identify conditions that guarantee stability. From this analysis, we infer that the matching of the aggregate of individual choices to resources is independent of their initial distribution. Finally, we quantify the effect of resource scarcity on the degree of matching.}, 
      keywords={Aggregates;Algorithm design and analysis;Decision making;Nickel;Noise measurement;Resource management;Stability analysis;Discrete event systems;Modeling and simulation}, 
      }
  • [DOI] P. Moriano and J. Finke, “Characterizing the Relationship Between Degree Distributions and Community Structures,” in American Control Conference (ACC), 2014, 2014, pp. 2383-2388.
    [Bibtex]
    @INPROCEEDINGS{6858882, 
    author={Moriano, Pablo and Finke, Jorge}, 
    booktitle={American Control Conference (ACC), 2014}, 
    title={Characterizing the Relationship Between Degree Distributions and Community Structures}, 
    year={2014}, 
    month={June}, 
    pages={2383-2388}, 
    doi={10.1109/ACC.2014.6858882}, 
    issn={0743-1619},
    publisher={IEEE},
    isbn={978-1-4799-3272-6},
    abstract={Extended power laws and inhomogeneous connections are structural patterns often found in empirical networks. Mechanisms based on the formation of triads are able to explain the power law behavior of the degree distribution of such networks. The proposed model introduces a two-step mechanism of attachment and triad formation that illustrates how preferential linkage plays an important role in shaping the inhomogeneity of connections and the division of the network into groups of nodes (i.e., the growth of community structures). In particular, we identify conditions under which the scaling exponent of the power law correlates to a widely-used modularity measure of non-overlapping communities. Our analytical results characterize the asymptotic behavior of both the scaling exponent and the modularity, as a function of the strength with which nodes with similar characteristics tend to link to each other.}, 
    keywords={Communities;Correlation;Educational institutions;Indexes;Mathematical model;Nonhomogeneous media;Q measurement;Control of networks;Modeling and simulation;Stochastic systems},
    }
  • P. Moriano and J. Finke, “Model-based Fraud Detection in Growing Networks,” in Proceeding of the Conference on Decision and Control, 2014, p. 6.
    [Bibtex]
    @InProceedings{jfinke-pmoriano,
     author={Moriano, Pablo and Finke, Jorge},
     title={Model-based Fraud Detection in Growing Networks},
     booktitle={Proceeding of the Conference on Decision and Control},
     year={2014},
     pages={6},
     issn={0743-1546},
     publisher={IEEE},
     abstract={People share opinions, exchange information, and trade services on large, interconnected platforms. Because of the size of these platforms, they are common targets for fraudsters who try to deceive randomly selected users. To monitor such behavior, the proposed algorithm evaluates anomalies in the network structure that results from local interactions between users. In particular, the algorithm evaluates the degree of membership to well-defined communities of users and the formation of close-knit groups in their neighborhoods. We identify a set of suspects using a first order approximation of the evolution of the eigenpairs associated to the network; and within the set of suspects, we locate fraudsters based on deviations from the expected local clustering coefficients. Simulations illustrate how incorporating structural properties (their asymptotic behavior) into the design of the algorithm allows us to differentiate between the aggregate dynamics of fraudsters and regular users.}
    }
  • [DOI] J. Arias, M. Desainte-Catherine, and C. Rueda, “Modelling Data Processing for Interactive Scores Using Coloured Petri Nets,” in 14th International Conference on Application of Concurrency to System Design, 2014.
    [Bibtex]
    @INPROCEEDINGS{camilorueda22014, 
    author={Jaime Arias and Myriam Desainte-Catherine and Camilo Rueda}, 
    booktitle={14th International Conference on Application of Concurrency to System Design}, 
    title={Modelling Data Processing for Interactive Scores Using Coloured Petri Nets}, 
    year={2014}, 
    month={June}, 
    volume={8489},
    series={Lecture Notes in Computer Science}, 
    publisher={Gianfranco Ciardo, Ekkart Kindler},
    issn={0302-9743},
    isbn={978-3-319-07733-8},
    doi={10.1007/978-3-319-07734-5},
    abstract={I-score is a system for the composition and execution of interactive multimedia scores. It uses Hierarchical Time Stream Petri Nets (HTSPN) to build an execution model of the scores. Nowadays, composers have  increasingly needs to represent and manipulate complex data in their multimedia scenarios. However, HTSPN formalism does not allow to handle data. In this work, we propose a model to execute interactive multimedia scores based on Coloured Petri Nets (CPN). Our work extends the current execution model of i-score with the capability to handle complex data. Our approach consists in developing CPN modules for reading, appending and reversing audio files. We use CPN Tools for prototyping, simulating and verifying our model and discuss how to represent fundamental signal processing functions, conditionals or loops.},
    }
  • [DOI] M. Falaschi, C. Olarte, and C. Palamidessi, “Abstract Interpretation of Temporal Concurrent Constraint Programs,” Theory and Practice of Logic Programming, vol. FirstView, pp. 1-46, 2014.
    [Bibtex]
    @article{9167694,
      author={Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi},
      title={Abstract Interpretation of Temporal Concurrent Constraint Programs},
      journal={Theory and Practice of Logic Programming},
      volume={FirstView},
      pages={1-46},
      year={2014},
      issn={1475-3081},
      doi={10.1017/S1471068413000641},
      url={http://journals.cambridge.org/article_S1471068413000641},
      keywords={timed concurrent constraint programming, process calculi, abstract interpretation, denotational semantics, reactive systems},
      abstract={Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e., systems that continuously interact with the environment. The universal tcc formalism (utcc) is an extension of tcc with the ability to express mobility. Here mobility is understood as communication of private names as typically done for mobile systems and security protocols. In this paper we consider the denotational semantics for tcc, and extend it to a “collecting” semantics for utcc based on closure operators over sequences of constraints. Relying on this semantics, we formalize a general framework for data flow analyses of tcc and utcc programs by abstract interpretation techniques. The concrete and abstract semantics that we propose are compositional, thus allowing us to reduce the complexity of data flow analyses. We show that our method is sound and parametric with respect to the abstract domain. Thus, different analyses can be performed by instantiating the framework. We illustrate how it is possible to reuse abstract domains previously defined for logic programming to perform, for instance, a groundness analysis for tcc programs. We show the applicability of this analysis in the context of reactive systems. Furthermore, we also make use of the abstract semantics to exhibit a secrecy flaw in a security protocol. We also show how it is possible to make an analysis which may show that tcc programs are suspension-free. This can be useful for several purposes, such as for optimizing compilation or for debugging.}
    }
  • [DOI] C. Olarte, V. Nigam, and E. Pimentel, “Dynamic Spaces in Concurrent Constraint Programming,” Electronic Notes in Theoretical Computer Science, vol. 305, pp. 103-121, 2014.
    [Bibtex]
    @article{Olarte2014103,
    title={Dynamic Spaces in Concurrent Constraint Programming},
    journal={Electronic Notes in Theoretical Computer Science},
    volume={305},
    pages={103-121},
    year={2014},
    note={Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA)},
    issn={1571-0661},
    doi={http://dx.doi.org/10.1016/j.entcs.2014.06.008},
    url={http://www.sciencedirect.com/science/article/pii/S1571066114000541},
    author={Carlos Olarte and Vivek Nigam and Elaine Pimentel},
    keywords={Concurrent Constraint Programming},
    keywords={Linear Logic},
    keywords={Subexponentials},
    keywords={Mobility},
    keywords={Distributed Spaces},
    abstract={Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact with each other by posting (telling) and asking constraints (formulas in logic) in a shared store of partial information. With the advent of emergent applications as security protocols, social networks and cloud computing, the \{CCP\} model has been extended in different directions to faithfully model such systems as follows: (1) It has been shown that a name-passing discipline, where agents can communicate local names, can be described through the interplay of local (∃) processes along with universally (∀) quantified asks. This strategy has been used, for instance, to model the generation and communication of fresh values (nonces) in mobile reactive systems as security protocols; and (2) the underlying constraint system in \{CCP\} has been enhanced with local stores for the specification of distributed spaces. Then, agents are allowed to share some information with others but keep some facts for themselves. Recently, we have shown that local stores can be neatly represented in \{CCP\} by considering a constraint system where constraints are built from a fragment of linear logic with subexponentials ( \{SELL\} ⋒ ). In this paper, we explore the use of existential (⋓) and universal (⋒) quantification over subexponentials in \{SELL\} ⋒ in order to endow \{CCP\} with the ability to communicate location (space) names. The resulting \{CCP\} language that we obtain is a model of distributed computation where it is possible to dynamically establish new shared spaces for communication. We thus extend the sort of mobility achieved in (1) –for variables – to dynamically change the shared spaces among agents – (2) above. Finally, we argue that the new \{CCP\} language can be used in the specification of service oriented computing systems.}
    }
  • [DOI] E. Pimentel, C. Olarte, and V. Nigam, “A Proof Theoretic Study of Soft Concurrent Constraint Programming,” Theory and Practice of Logic Programming, vol. 14, iss. 4-5, pp. 649-663, 2014.
    [Bibtex]
    @article{9303136,
      author={Elaine Pimentel and Carlos Olarte and Vivek Nigam},
      title={A Proof Theoretic Study of Soft Concurrent Constraint Programming},
      journal={Theory and Practice of Logic Programming},
      volume={14},
      number={4-5},
      pages={649-663},
      year={2014},
      issn={1475-3081},
      doi={10.1017/S147106841400026X},
      url={http://journals.cambridge.org/article_S147106841400026X},
      keywords={Concurrent Constraint Programming, },
      abstract={Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their inception, CCP-languages have been designed for having a strong connection to logic. In fact, the underlying constraint system can be built from a suitable fragment of intuitionistic (linear) logic -ILL- and processes can be interpreted as formulas in ILL. Constraints as ILL formulas fail to represent accurately situations where “preferences” (called soft constraints) such as probabilities, uncertainty or fuzziness are present. In order to circumvent this problem, c-semirings have been proposed as algebraic structures for defining constraint systems where agents are allowed to tell and ask soft constraints. Nevertheless, in this case, the tight connection to logic and proof theory is lost. In this work, we give a proof theoretical meaning to soft constraints: they can be defined as formulas in a suitable fragment of ILL with subexponentials (SELL) where subexponentials, ordered in a c-semiring structure, are interpreted as preferences. We hence achieve two goals: (1) obtain a CCP language where agents can tell and ask soft constraints and (2) prove that the language in (1) has a strong connection with logic. Hence we keep a declarative reading of processes as formulas while providing a logical framework for soft-CCP based systems. An interesting side effect of (1) is that one is also able to handle probabilities (and other modalities) in SELL, by restricting the use of the promotion rule for non-idempotent c-semirings.This finer way of controlling subexponentials allows for considering more interesting spaces and restrictions, and it opens the possibility of specifying more challenging computational systems.}
    }
  • [DOI] M. C. Pabón, C. Roncancio, and M. Millán, “Graph Data Transformations and Querying,” in C3S2E ’14 – International C* Conference on Computer Science & Software Engineering, 2014, pp. 1-6.
    [Bibtex]
    @InProceedings{mariaconstanza20142,
     author={María Constanza Pabón and Claudia Roncancio and Martha Millán},
     title={Graph Data Transformations and Querying},
     booktitle={C3S2E '14 - International C* Conference on Computer Science \& Software Engineering},
     month={August},
     year={2014},
     doi={10.1145/2641483.2641521},
     pages={1-6},
     isbn={978-1-4503-2712-1},
     keywords = {Graph data models, graph query languages, graph query operators},
     abstract={Many application domains require data stored in heterogeneous SQL and NoSQL data sources. Improving applications and end-user access to such heterogeneous data is now more important than ever. Our work contributes to this objective by facilitating complex data exploration. We adopt a graph data model to depict, in an integrated view, the data available in the sources and to represent a conceptual schema of that data. Our purpose is to provide a conceptual query language to facilitate end-users (e.g. medical domain experts), retrieving data from those sources through ad hoc queries. As part of this study, in this paper we propose a set of high-level operators to query data by transforming graphs. These operators allow successive graph transformations to facilitate generation of graphs with filtered data, and with new relationships deriving information that is implicit or that is sparse from the data.}
    }
  • Q. H. Liu, Q. Ren, Q. Sun, and L. Tobon, “Some Recent Progress on the Discontinuous Galerkin Time Domain Method for Multiscale Electormagnetics,” in PIERS 2014 Guangzhou, Progress In Electromagnetics Research Symposium, 2014, p. 708.
    [Bibtex]
    @InProceedings{luistobon20142,
     author={Qing Huo Liu and Qiang Ren and Qingtao Sun and Luis Tobon},
     title={Some Recent Progress on the Discontinuous Galerkin Time Domain Method for Multiscale Electormagnetics},
     booktitle={PIERS 2014 Guangzhou, Progress In Electromagnetics Research Symposium},
     month={08},
     year={2014},
     url={http://piers.org/piersproceedings},
     pages={708},
     issn={1559-9450},
     isbn={978-1-934142-28-8},
     abstract={Multiscale electromagnetic problems are becoming commonplace in engineering applications. In this talk, we discuss some recent progress on the discontinuous Galerkin time domain (DGTD) method in computational electromagnetics. In the past few years, both discon- tinuous Galerkin finite element time domain (DG-FETD) and discontinuous Galerkin spectral element time domain (DG-SETD) methods have received considerable attention. Moreover, they have been combined together to improve their capabilities to simulate large scale and multiscale electromagnetic  problems [1]. These methods usually use both the electric (E) and magnetic (H) field intensity vectors as the unknown field variables in the discontinuous Galerkin scheme to make use of the flux conditions at the interface between subdomains. However, unfortunately, it has been discovered that E and H must have different orders of basis functions to avoid spurious modes. This makes the number of degrees of freedom significantly larger than the traditional FETD method in a single domain. This problem is recently resolved by a new discontinuous Galerkin time domain method based on the E field and B (magnetic flux density) field having the same order of basis functions [2]. This method can significantly reduce the number of un- knowns and computation load. Here we will discuss some recent progress in this new DGTD method for multiscale electromagnetics problems.}
    }
  • Y. Lozano, J. Olaya, A. Paz, and K. Sanchez, “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, 2014, pp. 1-6.
    [Bibtex]
    @InProceedings{alejandropaz20142,
     author={Yandre Lozano and Javier Olaya and Alejandro Paz and Katherine Sanchez},
     title={Análisis de Confiabilidad de Motores de Inducción Trifásicos Tipo Jaula de Ardilla en Presencia de Riesgos Competitivos},
     booktitle={XXIV Simposio Internacional de Estadística},
     month={Julio},
     year={2014},
     pages={1-6},
     issn={1900-365x},
     abstract={Los motores de inducción trifásicos tipo jaula de ardilla son los motores eléctricos por excelencia. Estos motores se utilizan extensivamente en la industria pero, tal vez por su versatilidad, no están sujetos a planes de mantenimiento preventivo que minimicen el riesgo de llegar al punto del paro de la producción por esta causa. Estos motores pueden fallar por problemas en el circuito de alimentación, en el estator, en el rotor y en el sistema de rodamientos, entre otras causas. Dado que estudios previos revelan que no existe un estándar mundial del comportamiento de las fallas de este tipo de motores, porque los resultados varían de acuerdo con aspectos locales o tipos de industrias y esfuerzos, así como prácticas de mantenimiento, se requiere conducir estudios locales con un entorno específico y una ventana de observación determinada. En este trabajo se estudia la probabilidad de falla de motores de inducción trifásicos tipo jaula de ardilla, además de analizar si existen variables que influyan en la falla a través del tiempo, en un conjunto de motores de este tipo instalados hasta el año 2013 en una industria local del Valle del Cauca, Colombia. Las fallas en los motores se presentan por diversas causas que se pueden agrupar en tres tipos de falla, por lo que se estudian las curvas de incidencia acumulada para evaluar el comportamiento de los eventos de interés. El modelo ajustado es de buena calidad, a pesar de la alta censura. Finalmente se usa el modelo de Cox para evaluar el impacto de posibles covariables sobre las fallas.}
    }
  • [DOI] A. Hissami, A. Pretel, and E. Tamura, “A Numerical Solution for Wootters Correlation,” in High Performance Computing, G. Hernández, C. Barrios Hernández, G. Díaz, C. García Garino, S. Nesmachnow, T. Pérez-Acle, M. Storti, and M. Vázquez, Eds., Springer Berlin Heidelberg, 2014, vol. 485, pp. 221-235.
    [Bibtex]
    @incollection{etamura20141,
    year={2014},
    isbn={978-3-662-45482-4},
    issn={1865-0929},
    booktitle={High Performance Computing},
    volume={485},
    series={Communications in Computer and Information Science},
    editor={Hernández, Gonzalo and Barrios Hernández, CarlosJaime and Díaz, Gilberto and García Garino, Carlos and Nesmachnow, Sergio and Pérez-Acle, Tomás and Storti, Mario and Vázquez, Mariano},
    doi={10.1007/978-3-662-45483-1_16},
    title={A Numerical Solution for Wootters Correlation},
    url={http://dx.doi.org/10.1007/978-3-662-45483-1_16},
    publisher={Springer Berlin Heidelberg},
    keywords={Quantum Computing; Wootters Correlation; Density Matrix; Parallel Algorithms; Parallel Models; Cluster Computing},
    author={Hissami, Abdul and Pretel, Alberto and Tamura, Eugenio},
    pages={221-235},
    language={English},
    abstract={This paper describes QDsim, a parallel application designed to compute the quantum concurrence by calculating the Wootters correlation of a quantum system. The system is based on a two-level two quantum dots inside a resonant cavity. A Beowulf-like cluster was used for running QDsim. The application was developed using open, portable and scalable software and can be controlled via a GUI client from a remote terminal over either the Internet or a local network. A serial version and three parallel models (shared memory, distributed memory and hybrid –distributed/shared memory) using two different partitioning schemes were implemented to assess their performance. Results showed that the hybrid model approach using domain decomposition achieves the highest performance (12.2X speedup in front of the sequential version) followed by the distributed memory model (6.6X speedup). In both cases, the numerical error is within 1×10− 4, which is accurate enough for estimating the correlation trend.}
    }
  • C. A. Lozano, A. Paz, and M. Valencia, “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), vol. 1, pp. 121-123, 2014.
    [Bibtex]
    @article{apaz20143,
      author={Carlos Alberto Lozano and Alejandro Paz and Manuel Valencia},
      title={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={Journal of Multidisciplinary Engineering Science and Technology (JMEST)},
      volume={1},
      pages={121-123},
      year={2014},
      issn={3159-0040},
      keywords={Dc to dc converter; buck- boost; small signal analysis},
      abstract={This paper shows a dc and small- signal circuit model for the PWM buck- boost converter with the equivalent series resistance of the inductor. The dc voltage transfer function and the efficiency of the converter are derived from the dc model. Small- signal open- loop characteristics are derived from the small- signal model based on a state variable model. A design example proves the performance of the circuit and verification of the model.}
    }
  • [DOI] A. Navarro, D. Loaiza, C. Oviedo, A. Castillo, A. Portilla, D. Linares, and G. Álvarez, “Talking to Teo: Video Game Supported Speech Therapy,” Entertainment Computing, 2014.
    [Bibtex]
    @article{navarronewball20142,
      author={A. Navarro and D. Loaiza and C. Oviedo and A. Castillo and A. Portilla and D. Linares and G. Álvarez},
      title={Talking to Teo: Video Game Supported Speech Therapy},
      journal={Entertainment Computing},
      year={2014},
      issn={1875-9521},
      doi={dx.doi.org/10.1016/j.entcom.2014.10.005},
      keywords={Speech therapy; Educational games; Voice; User interfaces},
      abstract={Children with hearing loss diagnosed before they are 2 years old are capable of developing abilities that range from elementary production such as single sounds, or vowels, to those which are more complex, such as spontaneous production of meaningful words and phrases, assuming that they have been treated correctly and opportunely. Speech production skills depend on language and auditory input, and therapy is usually guided by a therapist in personalised sessions. Some children find mechanisation sessions boring  or stressful, while others cannot afford such sessions. In contrast, video games have been shown to motivate youngsters. We introduce Talking to Teo, a video game developed and based on verbal therapy and educational objectives, aimed at the rehabilitation of children with early diagnosed hearing disability, and who use aids such as cochlear implants. The software integrates speech recognition for user interaction and benefits from visual feedback. We performed a set of tests with therapists and patients where video game entertainment has evidenced favouring the repetitive approach required during speech mechanisation sessions.}
    }
  • C. C. Ventes, J. A. Cifuentes, and A. A. Navarro, “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, I. M. S. (. Vinicius Andrade Pereira Arturo Colorado Castellary, Ed., Madrid: Universidad Complutense de Madrid, 2014, pp. 124-130.
    [Bibtex]
    @incollection{navarronewball20143,
    year={2014},
    isbn={978-84-697-1450-8},
    issn={},
    booktitle={ArTecnologia. Conocimiento aumentado y accesibilidad. Augmented Knowledge and Accessibility},
    editor={Vinicius Andrade Pereira, Arturo Colorado Castellary, Isidro Moreno Sánchez (Eds.)},
    title={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},
    publisher={Universidad Complutense de Madrid},
    address={Madrid},
    keywords={Media tangible, interacción humano ordenador, interfaz},
    author={C.C. Ventes and J.A. Cifuentes and A.A. Navarro},
    pages={124-130},
    abstract={Pensando en escenarios como exhibiciones de museos, donde se espera que la tecnología en vez de reemplazar el contenido existente se convierta en una herramienta de apoyo que permita a los visitantes apropiarse del conocimiento mostrado por este contenido de manera interactiva, exploramos el concepto de Media Tangible, donde se intenta aprovechar las capacidades del ser humano para tener interacciones de tipo háptica para darle una representación física a la información digital creando interfaces físicas que representan la forma física del objeto y las interacciones que realiza el usuario con él para realizar una tarea en un sistema de cómputo. Al traer estas representaciones digitales al mundo real se presume que el usuario puede lograr una asociación más rápida con el sistema haciéndolo más intuitivo. De igual modo se puede pensar que para este caso aquellos elementos tangibles pueden ser parte del mismo contenido o elementos de guía dentro de la exhibición.
    Aplicando el concepto de media tangible, siguiendo una metodología que trata de combinar métodos tradicionales de desarrollo de software con métodos de diseño orientados a la experiencia de usuario desarrollamos VirtuaOM. Esta librería facilita a los programadores diseñar e implementar interfaces donde el sistema es capaz de reconocer y rastrear usuarios interactuando con objetos tangibles dentro de un área ubicada en el suelo de una habitación. Se pretende que esta área de interacción este localizada en el suelo para permitir un área lo suficientemente grande para que varios usuarios puedan moverse libremente dentro de ella, de ese modo no solo se permite la interacción entre un usuario y un elemento tangible, sino la interacción entre varios usuarios para resolver tareas de manera colaborativa.}
    }
  • A. A. Navarro, J. D. Mejía, D. F. Loaiza, C. F. Perea, and D. Lozada, “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, I. M. S. (. Vinicius Andrade Pereira Arturo Colorado Castellary, Ed., Madrid: Universidad Complutense de Madrid, 2014, pp. 189-195.
    [Bibtex]
    @incollection{navarronewball20144,
    year={2014},
    isbn={978-84-697-1450-8},
    issn={},
    booktitle={ArTecnologia. Conocimiento aumentado y accesibilidad. Augmented Knowledge and Accessibility},
    editor={Vinicius Andrade Pereira, Arturo Colorado Castellary, Isidro Moreno Sánchez (Eds.)},
    title={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},
    publisher={Universidad Complutense de Madrid},
    address={Madrid},
    keywords={Conocimiento aumentado, cultura digital, museografía hipermedia, transmedia, videojuegos},
    author={A.A. Navarro and J.D. Mejía and D.F. Loaiza and C.F. Perea and D. Lozada},
    pages={189-195},
    abstract={El continuo virtual es una línea que va desde los ambientes reales hasta los ambientes virtuales. Los ambientes reales están conformados únicamente por objetos reales. Los ambientes virtuales sumergen completamente a un usuario dentro de un ambiente digital sintético. En medio del continuo virtual está la realidad mezclada, en donde el mundo real y los objetos virtuales interactúan y se visualizan de manera combinada. Dentro de esta, se encuentran la virtualidad aumentada, que incorpora visualizaciones de objetos reales a un ambiente virtual y la realidad aumentada, que enriquece la información presentada por la realidad, con contenido virtual. En la virtualidad aumentada la proporción de visualización de elementos virtuales es mayor que la de elementos reales. Los ambientes descritos tienen el potencial de aumentar el conocimiento y hacerlo accesible. Sin embargo, para aumentar y personalizar este conocimiento, la tecnología debe ser invisible, de manera que no introduzca ruido en el proceso de comunicación interactiva. Este proyecto involucra dos desarrollos que unifican los sistemas interactivos y el discurso en torno a la cultura Chimú y a la cultura Tlingit. Estos desarrollos explotan el conocimiento aumentado in situ, el conocimiento aumentado en red y conocimiento aumentado móvil. Se proponen formas novedosas de narrativa en museos y se espera superar retos como: limitaciones en el uso de la realidad aumentada como un simple mecanismo de selección y observación; desarrollo de mecanismos complejos de interacción con objetos y sistemas virtuales y los usuarios; el uso de una base datos como elemento integrador; la incorporación de expresiones automáticas a personajes digitales.}
    }
  • V. E. Contreras, A. A. Navarro, and I. Moreno, “ESTUDIO COMPARATIVO DE MUSEOS EN CALI – COLOMBIA Y MADRID – ESPAÑA,” in ArTecnologia. Conocimiento aumentado y accesibilidad. Augmented Knowledge and Accessibility, I. M. S. (. Vinicius Andrade Pereira Arturo Colorado Castellary, Ed., Madrid: Universidad Complutense de Madrid, 2014, pp. 229-240.
    [Bibtex]
    @incollection{navarronewball20145,
    year={2014},
    isbn={978-84-697-1450-8},
    issn={},
    booktitle={ArTecnologia. Conocimiento aumentado y accesibilidad. Augmented Knowledge and Accessibility},
    editor={Vinicius Andrade Pereira, Arturo Colorado Castellary, Isidro Moreno Sánchez (Eds.)},
    title={ESTUDIO COMPARATIVO DE MUSEOS EN CALI - COLOMBIA Y MADRID - ESPAÑA},
    publisher={Universidad Complutense de Madrid},
    address={Madrid},
    keywords={Museo, estudio comparativo, tecnología, museografía},
    author={V.E. Contreras and A.A. Navarro and I. Moreno},
    pages={229-240},
    abstract={A través de visitas a diferentes museos se realizó un estudio comparativo del contexto español y colombiano, para enriquecer los conceptos y las prácticas relacionadas con ambientes interactivos. Se empleó el modelo de análisis de las sedes real y virtual en el museo del Museum i+D+C, cuyas investigaciones se distinguen por la utilización de tecnologías avanzadas y por lograr una auténtica inmersión interactiva en los contenidos, para analizar cómo pueden converger los elementos tradicionales del museo con las Tecnologías de la Información y la Comunicación. También se empleó la metodología del proyecto Modelo Interactivo Para Museos - MOMU de la Pontificia Universidad Javeriana de Cali para el registro de comportamiento de aprendizaje. Ambos modelos fueron aplicados en el estudio comparativo. Se aprendieron pautas para hacer que las tecnologías cumplan su objetivo sin opacar la finalidad del museo y sus exhibiciones. Se Interactuó con los distintos especialistas del grupo Museum I+D+C en las áreas de realidad aumentada, imagen sintética en 3D, comunicación audiovisual e hipermedia, estudio de públicos en museos, así como en museología y museografía. Se visitaron los museos más significativos de Madrid y Cali, observando así el uso de la museografía en diversos medios tradicionales y tecnológicos. También se profundizo en el análisis de los mismos basándose en el modelo investigador del grupo Museum I+D+C. Finalmente, se efectúo un estudio de asimilación en los museos de Historia Natural de Madrid y Cali. Al realizar un extenso intercambio de conocimiento se aprendió de los aciertos y errores tanto del contexto español como del colombiano, los cuales evidencian como la tecnología muchas veces cumple su función de entretenimiento, no así su función educativa. Por otro lado, si es aprovechada sagazmente, puede influir a que los museos evolucionen y pasen de ser solo contemplativos a ser también comunicativos, didácticos e interactivos. Este estudió se logró gracias al apoyo de la Organización de Estados Iberoamericanos - OEI.}
    }
  • K. López and J. C. Martínez, “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, 2014, pp. 1-13.
    [Bibtex]
    @InProceedings{juancarlos20141,
     author={López, Karen and Martínez, Juan Carlos},
     title={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.},
     booktitle={V Encuentro Internacional y IV Nacional de Lectura Y Escritura en la Educación Superior},
     month={Agosto},
     year={2014},
     pages={1-13},
     isbn={978-958-58564-0-0},
     keywords={Escritura académica, aprendizaje, enseñanza, guías, rúbricas de evaluación, trabajo colaborativo, ingeniería. },
     abstract={Esta ponencia tiene como propósito analizar la orientación y la evaluación de la escritura en  una asignatura denominada Procesos de Ingeniería de Software y su incidencia  en el aprendizaje de los contenidos por parte de los estudiantes. La investigación se apoya teóricamente en los fundamentos de la perspectiva de Alfabetización Académica y de la Escritura a través del Currículo. El diseño de las tareas de escritura corresponde a un trabajo colaborativo entre el docente de la asignatura, perteneciente al programa de Ingeniería de Sistemas y Computación, y una docente de escritura académica. Se realizó un estudio de caso. La información se recolectó a partir de distintas fuentes: encuestas a estudiantes al inicio y al final del semestre, grupo de discusión con estudiantes; entrevista a profundidad con el docente; registro en bitácoras de los encuentros entre profesores; revisión documental de las consignas y rúbricas de evaluación construidas por los profesores y de los borradores y versiones finales de los trabajos escritos entregados por los estudiantes. En los resultados se destacan como elementos  influyentes en el proceso de aprendizaje las orientaciones del profesor y las rúbricas de evaluación de los trabajos escritos, las realimentaciones y asesorías del docente del curso, la asignación de tareas de escritura con propósitos específicos y con situaciones comunicativas particulares, así como la  posibilidad de hacer planeaciones y reescritura de los textos. El trabajo colaborativo entre  profesores aparece como una posibilidad de potenciar la función epistémica de la escritura  en las asignaturas. Este tipo de trabajo favorece, además del aprendizaje de contenidos  disciplinares, el desarrollo de las competencias escriturales de los estudiantes y cambios en las prácticas pedagógicas de los mismos docentes.}
    }
  • [DOI] C. A. Lozano, “State Variable Model for Considering the Parasitic Inductor Resistance on the Open Loop Performance of DC to DC Converters,” Journal of Computer and Communications, vol. 2, iss. 13, pp. 41-48, 2014.
    [Bibtex]
    @article{carlosalberto2014,
      author={Carlos Alberto Lozano},
      title={State Variable Model for Considering the Parasitic Inductor Resistance on the Open Loop Performance of DC to DC Converters},
      journal={Journal of Computer and Communications},
      volume={2},
      number={13},
      pages={41-48},
      year={2014},
      issn={2327-5219},
      doi={dx.doi.org/10.4236/jcc.2014.213006},
      keywords={ DC to DC Converter, Parasitic Resistance of Inductor, Small Signal Analysis, Buck Converter, Boost Converter, Buck-Boost Converter},
      abstract={This paper shows DC and small-signal circuit models for the PWM DC to DC buck, boost and back/ boost converters with the equivalent series resistance of the inductor. The DC voltage transfer function and the efficiency of the converter are derived from the DC model. Small-signal open-loop characteristics are derived from the small-signal model based on a state variable model. A design example proves the performance of the circuit and verification of the model.}
    }
  • [DOI] C. C. Ventes, A. A. Navarro-Newball, D. A. Velasco, and E. C. Prakash., “A Programming Library for Creating Tangible User Interfaces,” GSTF Journal on Computing (JoC), vol. 4, iss. 1, pp. 23-32, 2014.
    [Bibtex]
    @article{navarronewball20146,
    author={Christian C. Ventes and Andrés A. Navarro-Newball and Deivy A. Velasco and Edmond C. Prakash.},
    journal={GSTF Journal on Computing (JoC)},
    title={A Programming Library for Creating Tangible User Interfaces},
    year={2014},
    month={Dec},
    volume={4},
    number={1},
    pages={23-32},
    keywords={Human Computer Interaction},
    doi={10.5176/2251-3043_4.1.304},
    ISSN={2251-3043},
    abstract={Tangible User Interfaces (TUI) bring digital interfaces to the real world by using specific devices to achieve a task. They can be more intuitive, allowing the user to take advantage of a computer tool which is associated to the real world. One problem is that creating a TUI for each piece of software is expensive. For instance, devices such as the mouse, keyboard or touchscreen have become more popular. Indeed, it is cheaper to adapt the users to the interface than creating an adequate interface for each program. We present VirtuaOM, a library which allows creating low cost interfaces where the users can communicate with an application in a tangible manner. Additionally, an application using this library can allow several users to communicate collaboratively among them and with the system within the interaction space. In order to build our library, we combined the Design Thinking and Software Engineering methodologies. We tested VirtuaOM creating an interaction space inspired in the Sensetable device developed by Patten [9] that permits programmers to create applications where the system can track users and tangible wireless objects in a tabletop surface, but we moved the interaction area from a table to the floor to increase it and to give users the freedom to move through it. This made it easier for multiple users to interact with each other and with the system collaboratively.}
    }
  • [DOI] Q. Ren, L. E. Tobon, Q. Sun, and Q. H. Liu, “The Hybrid SETD-FETD Method with Field Variables E and B,” in Radio Science Meeting (Joint with AP-S Symposium), 2014 USNC-URSI, 2014, pp. 68-68.
    [Bibtex]
    @inproceedings{6955450,
    author={Qiang Ren and Tobon, L.E. and Qingtao Sun and Qing Huo Liu},
    booktitle={Radio Science Meeting (Joint with AP-S Symposium), 2014 USNC-URSI},
    title={The Hybrid SETD-FETD Method with Field Variables E and B},
    year={2014},
    month={July},
    pages={68-68},
    isbn={978-1-4799-3746-2},
    abstract={The discontinuous Galerkin Time Domain (DGTD) methods, such as DG-SETD and DG-FETD, are shown to be effective in the simulation of multiscale, transient problems. It can solve large problems by dividing the computational domain into several subdomains, thus the large system matrix is transformed into a few moderate-sized matrices. The computation resource required for solving these matrices is much less than solving the original large one. The numerical fluxes are employed to fulfill the energy communication between adjacent subdomains.In the traditional DGTD methods for Maxwell's Equations, the variables E and H are used, as the curl-conforming basis functions are naturally suitable for the numerical fluxes which use the tangential components of the fields on the interface. A new scheme of DG-FETD method is developed, which use the field variables E and B. Compared to the traditional method that requires different orders of interpolation for E and H, this new method can suppress the spurious modes with the same order interpolation polynomials for both E and B. Thus, this new method is shown to be advantageous in both memory consumption and CPU time. In this work, the DG-SETD and the DG-FETD based on the variables E and B are combined to solve multiscale problems. This new hybrid DG-SETD/FETD method maintains the capability of mesh flexibility from the previous hybrid SETD/FETD method when dealing with the multiscale problems. The advantages of less DoFs to suppress the spurious modes from the introduction of EB scheme guarantee the newly proposed method faster and less expensive in computation load. Numerical results show that it is more advantageous over the traditional EH scheme in almost all aspects, and thus can replace the latter for multiscale problems.},
    keywords={Galerkin method;Maxwell equations;interpolation;matrix algebra;polynomials;time-domain analysis;transient analysis;CPU time;DGTD method;DoF;EB scheme;EH scheme;Maxwell equation;computational domain division;curl-conforming basis function;degrees of freedom;discontinuous Galerkin time domain method;energy communication;field variable;hybrid DG-SETD-FETD method;hybrid SETD-FETD method;memory consumption;mesh flexibility;moderate-sized matrix;multiscale problem;multiscale transient problem;numerical flux;order interpolation polynomial;spurious mode suppression;system matrix;tangential component;Computer science;Educational institutions;Finite element analysis;Interpolation;Method of moments;Sun;Time-domain analysis},
    doi={10.1109/USNC-URSI.2014.6955450},
    }
  • [DOI] R. Chavarriaga, M. N. Hurtado, M. Bolaños, J. A. Loaiza, J. M. Mayor, M. Valencia, and J. Aguilar-Zambrano, “Multidisciplinary Design of Suitable Assistive Technologies for Motor Disabilities in Colombia,” in Global Humanitarian Technology Conference (GHTC), 2014 IEEE, 2014, pp. 386-391.
    [Bibtex]
    @inproceedings{6970310,
    author={Ricardo Chavarriaga and Maria N. Hurtado and Marcela Bolaños and José A. Loaiza and Juan M. Mayor and Manuel Valencia and Jaime Aguilar-Zambrano},
    booktitle={Global Humanitarian Technology Conference (GHTC), 2014 IEEE},
    title={Multidisciplinary Design of Suitable Assistive Technologies for Motor Disabilities in Colombia},
    year={2014},
    month={Oct},
    pages={386-391},
    isbn={978-1-4799-7193-0},
    abstract={Traumatic or pathological brain lesions often result in motor disabilities that have strong personal and social effects. Assistive technologies can support this population, potentially improving their autonomy and promoting their participation in society. However, most existing research does not explicitly consider socio-cultural aspects, which differ between developing and developed countries. In this paper, we describe a multidisciplinary research line on technology-based assistive solutions for motor disabilities involving institutions in Colombia and Switzerland. The key aspect of our approach is the involvement of engineers, therapists, designers and end-users from early stages of the design process. This allowed us to characterize the local population with motor disabilities, highlighting a large incidence of violence- related injuries, reduced accessibility to assistive technologies and a perception of social exclusion. In the quest for context- suited solutions, we have developed a mechanical wheelchair and a sensorized facility for motor rehabilitation. The prototypes of these devices will be tested in the upcoming months. Importantly, we established a training program that uniquely covers both clinical and technical aspects of motor rehabilitation; providing experts from different domains with a common knowledge that facilitates the multidisciplinary work, enabling us to initiate experiments on clinical research; thus strengthening the links between academic, clinical and rehabilitation institutions.},
    keywords={Motor rehabilitation, Assistive technologies, Multidisciplinary teams, Education, User-centered design, Body-sensor networks},
    doi={10.1109/GHTC.2014.6970310},
    }
  • [DOI] M. Sacanamboy, F. Bolanos, and R. Nieto, “A Primer for Mapping Techniques on NoC Systems,” Journal of Communication and Computer, vol. 11, iss. 4, pp. 333-338, 2014.
    [Bibtex]
    @article{msacanamboy20141,
    title={A Primer for Mapping Techniques on NoC Systems},
    journal={Journal of Communication and Computer},
    volume={11},
    number={4},
    pages={333-338},
    year={2014},
    issn={1548-7709},
    doi={10.17265/1548-7709/2014.04 001},
    url={http://www.academia.edu/12501611/Journal_of_Communication_and_Computer_Issue_4_2014_},
    author={Maribell Sacanamboy and Freddy Bolanos and Ruben Nieto},
    keywords={NoC, task mapping, embedded systems},
    abstract={This paper is aimed to present a detailed description of the main factors which must be considered for task mapping onto NoC (network on chip) systems. A survey of the most representative and outstanding reported works is presented, along with conclusions and future work regarding such a review.}
    }
  • G. Sarria and M. Mora, Introducción a la Programación, Lulu Press, 2014.
    [Bibtex]
    @book{sarria14introprog,
    title={Introducci\'{o}n a la Programaci\'{o}n},
    author={Gerardo Sarria and Mario Mora},
    publisher={Lulu Press},
    year={2014},
    }

2013

  • [DOI] C. Olarte, C. Rueda, and F. D. Valencia, “Models and emerging trends of concurrent constraint programming,” Constraints, vol. 18, iss. 4, pp. 535-578, 2013.
    [Bibtex]
    @article{ORV2013,
      title = {Models and emerging trends of concurrent constraint programming},
      author = {Olarte, Carlos and Rueda, Camilo and Valencia, Frank D.},
      year = {2013},
      issn = {1383-7133},
      journal = {Constraints},
      volume = {18},
      number = {4},
      doi = {10.1007/s10601-013-9145-3},
      url = {http://dx.doi.org/10.1007/s10601-013-9145-3},
      publisher = {Springer US},
      keywords = {Concurrent constraint programming; Concurrency; Specification; Verification},
      pages = {535-578},
      language = {English},
      abstract = {{Concurrent Constraint Programming (CCP) has been used
                      over the last two decades as an elegant and
                      expressive model for concurrent systems. It models
                      systems of agents com- municating by posting and
                      querying partial information, represented as
                      constraints over the variables of the system. This
                      covers a vast variety of systems as those arising in
                      biological phenomena, reactive systems, net-centric
                      computing and the advent of social networks and
                      cloud computing. In this paper we survey the main
                      applications, developments and current trends of
                      CCP.}}
    }
  • [DOI] D. Chiarugi, M. Falaschi, D. Hermith, M. Guzman, and C. Olarte, “Simulating Signalling Pathways With BioWayS ,” Electronic Notes in Theoretical Computer Science , vol. 293, pp. 17-34, 2013.
    [Bibtex]
    @article{Chiarugi201317,
      author = "Davide Chiarugi and Moreno Falaschi and Diana Hermith and Michell Guzman and Carlos Olarte",
      title = "Simulating Signalling Pathways With BioWayS ",
      journal = "Electronic Notes in Theoretical Computer Science ",
      volume = "293",
      number = "0",
      pages = "17 - 34",
      year = "2013",
      note = "<ce:title>Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)</ce:title> ",
      issn = "1571-0661",
      doi = "http://dx.doi.org/10.1016/j.entcs.2013.02.016",
      url = "http://www.sciencedirect.com/science/article/pii/S1571066113000182",
      keywords = "Signaling pathways",
      keywords = "Concurrent Constraint Programming",
      keywords = "biological systems ",
      abstract = "We report on a technique for modelling biological
                      systems based on the ntcc calculus, a model of
                      concurrency where systems are specified by means of
                      constraints (i.e., formulae in logic). We show that
                      the ability of ntcc to express partial information,
                      concurrency, non-determinism and timed behaviour
                      makes it well-suited model and simulate biochemical
                      reactions networks. Based on this technique, we
                      introduce BioWayS (BIOchemical pathWAY Simulator), a
                      software tool for the quantitative modelling and
                      analysis of biological systems. We show the
                      applicability of BioWayS in the context of two
                      well-studied biological systems: the glycogen
                      breakdown pathway and the life cycle of the human
                      immunodeficiency virus. "
    }
  • D. Ruiz and J. Finke, “Invalidation of Dynamic Network Models,” in Proceeding of the American Control Conference, 2013.
    [Bibtex]
    @InProceedings{RF2013-1,
      author =       {Ruiz, Diego and Finke, Jorge},
      title =        {Invalidation of Dynamic Network Models},
      booktitle =    {Proceeding of the American Control Conference},
      issn=   {0743-1619},
      year =         {2013},
      organization = {IEEE Control Systems Society & American Automatic Control Council},
      OPTeditor =    {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTpages =     {},
      OPTmonth =     {},
      OPTpublisher = {},
      abstract =     {{Models of discrete event systems combine ideas from
                      control theory and computer science to represent the
                      evolution of distributed processes. We formalize a
                      notion of the invalidation of models presumed to
                      describe dynamics on networks, and introduce an
                      algorithm to evaluate a wide class of event-driven
                      processes that evolve close to an invariant and
                      stable state. The algorithm returns the value true,
                      if according to the proposed notion of invalidation,
                      the evolution of empirical observations is
                      inconsistent with the stability properties of the
                      model. To illustrate the approach, we represent a
                      generic decision-making process in which the
                      marginal utility of allocating agents to particular
                      nodes rests on the well-known concept in economy
                      theory of the law of diminishing returns.}}
    }
  • J. M. Nogales and J. Finke, “Optimal Distribution of Heterogeneous Agents under Delays,” in Proceeding of the American Control Conference, 2013.
    [Bibtex]
    @InProceedings{NF2013-1,
      author =       {Nogales, Juan M. and Finke, Jorge},
      title =        {Optimal Distribution of Heterogeneous Agents under Delays},
      booktitle =    {Proceeding of the American Control Conference},
      issn=   {0743-1619},
      year =         {2013},
      organization = {IEEE Control Systems Society & American Automatic Control Council},
      OPTeditor =    {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTpages =     {3212 - 3217},
      OPTmonth =     {},
      OPTpublisher = {},
      abstract =     {{An analytical framework for the study of a generic
                      distribution problem is introduced in which a group
                      of agents with different capabilities intend to
                      maximize total utility by dividing themselves into
                      various subgroups without any form of global
                      information-sharing or centralized decision-making.
                      The marginal utility of belonging to a particular
                      subgroup rests on the well-known concept in economic
                      theory of the law of diminishing returns. For a
                      class of discrete event systems, we identify a set
                      of conditions that define local information and
                      cooperation requirements, and prove that if the
                      proposed conditions are satisfied a stable agent
                      distribution representing a Pareto optimum is
                      achieved even under random but bounded decision and
                      transition delays.}}
    }
  • I. Fernández, J. Finke, and D. Ruiz, “Ideal Free Distributions in Human Decision-Making,” in Proceeding of the American Control Conference, 2013.
    [Bibtex]
    @InProceedings{FFR2013-1,
      author =       {Fernández, Isabel and Finke, Jorge and Ruiz, Diego},
      title =        {Ideal Free Distributions in Human Decision-Making},
      booktitle =    {Proceeding of the American Control Conference},
      issn=   {0743-1619},
      year =         {2013},
      organization = {IEEE Control Systems Society & American Automatic Control Council},
      OPTeditor =    {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTpages =     {917 - 922},
      OPTmonth =     {June},
      OPTpublisher = {},
      abstract =     {{Integrating human factors into the design of large-
                      scale distributed applications requires capturing
                      broad patterns of decision-making over time. The
                      proposed theoretical frame- work introduces a
                      dynamic model that resembles empirical dispersal
                      patterns between the quality of an option and the
                      number of individuals choosing that option. We use
                      the notion of the Ideal Free Distribution (IFD) to
                      estimate the resulting population-dependent
                      equilibrium point and reduce uncertainty about how
                      groups of individuals choose between available op-
                      tions. Our contribution is twofold. First, we
                      identify conditions that lead to the IFD under
                      constrained choice. Second, we illustrate how biases
                      in decision-making can lead to systemic deviations
                      from the IFD.}}
    }
  • P. Moriano and J. Finke, “Structure of Growing Networks with no Preferential Attachment,” in Proceeding of the American Control Conference, 2013.
    [Bibtex]
    @InProceedings{MF2013-1,
      author =       {Moriano, Pablo and Finke, Jorge},
      title =        {Structure of Growing Networks with no Preferential Attachment},
      booktitle =    {Proceeding of the American Control Conference},
      issn=   {0743-1619},
      year =         {2013},
      organization = {IEEE Control Systems Society & American Automatic Control Council},
      OPTeditor =    {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTpages =     {1088 - 1093},
      OPTmonth =     {},
      OPTpublisher = {},
      abstract =     {{Based on the formation of triad junctions, the
                      proposed mechanism generates growing networks that
                      exhibit extended power law behavior and strong
                      neighborhood cluster- ing. The asymptotic behavior
                      of both properties is of interest in the study of
                      networks in which (i) the formation of links cannot
                      be described according to the principle of
                      preferential attachment; (ii) the in-degree
                      distribution fits a power law for nodes with a high
                      degree and an exponential form otherwise; and (iii)
                      the degree of clustering depends on both the number
                      of links that newly added nodes establish and the
                      probability of forming triads.}},
    }
  • P. Moriano and J. Finke, “On the formation of structure in growing networks,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2013, iss. 06, p. P06010, 2013.
    [Bibtex]
    @article{1742-5468-2013-06-P06010,
      author={Moriano, Pablo and Finke, Jorge},
      title={On the formation of structure in growing networks},
      journal={Journal of Statistical Mechanics: Theory and Experiment},
      volume={2013},
      number={06},
      pages={P06010},
      issn={1742-5468},
      url={http://stacks.iop.org/1742-5468/2013/i=06/a=P06010},
      year={2013},
      abstract={Based on the formation of triad junctions, the mechanism
                      proposed in this paper generates networks that
                      exhibit extended rather than single power law
                      behavior. Triad formation guarantees strong
                      neighborhood clustering and community-level
                      characteristics as the network size grows to
                      infinity. The asymptotic behavior is of interest in
                      the study of directed networks in which (i) the
                      formation of links cannot be described according to
                      the principle of preferential attachment, (ii) the
                      in-degree distribution fits a power law for nodes
                      with a high degree and an exponential form
                      otherwise, (iii) clustering properties emerge at
                      multiple scales and depend on both the number of
                      links that newly added nodes establish and the
                      probability of forming triads, and (iv) groups of
                      nodes form modules that feature fewer links to the
                      rest of the nodes.}
    }
  • [DOI] V. Nigam, C. Olarte, and E. Pimentel, “A General Proof System for Modalities in Concurrent Constraint Programming,” in CONCUR 2013 – Concurrency Theory, P. D’Argenio and H. Melgratti, Eds., Springer Berlin Heidelberg, 2013, vol. 8052, pp. 410-424.
    [Bibtex]
    @incollection{NOP2013:concur,
      author={Nigam, Vivek and Olarte, Carlos and Pimentel, Elaine},
      title={A General Proof System for Modalities in Concurrent Constraint Programming},
      year={2013},
      isbn={978-3-642-40183-1},
      booktitle={CONCUR 2013 - Concurrency Theory},
      volume={8052},
      series={Lecture Notes in Computer Science},
      editor={D’Argenio, PedroR. and Melgratti, Hernán},
      doi={10.1007/978-3-642-40184-8_29},
      url={http://dx.doi.org/10.1007/978-3-642-40184-8_29},
      publisher={Springer Berlin Heidelberg},
      pages={410-424},
      abstract = {{The combination of timed, spatial, and epistemic
                      information is often needed in the specification of
                      modern concurrent systems. We propose the proof
                      system SELL , which extends linear logic with
                      subexponentials with quantifiers over
                      subexponentials, therefore allowing for an arbitrary
                      number of modalities.  We then show how a proper
                      structure of the subexponential signature in SELL
                      allows for the specification of concurrent systems
                      with timed, spatial, and epis- temic modalities. In
                      the context of Concurrent Constraint Programming
                      (CCP), a declarative model of concurrency, we
                      illustrate how the view of subexponentials as
                      specific modalities is general enough to modularly
                      encode into SELL variants of CCP with these three
                      modalities, thus providing a proof-theoretic
                      foundations for those calculi.}}
    }
  • S. Perchy and G. Sarria, “Building Models of Musical Compositions using Process Algebras,” in 39th Latinamerican Conference on Informatics (CLEI2013), Naiguatá, Venezuela, 2013.
    [Bibtex]
    @InProceedings{perchy13models,
      author =       {Salim Perchy and Gerardo Sarria},
      title =        {Building Models of Musical Compositions using Process Algebras},
      booktitle =    {39th Latinamerican Conference on Informatics (CLEI2013)},
      year =         {2013},
      month =     {October},
      address = {Naiguat\'{a}, Venezuela},
      abstract =     {{Interactivity in multimedia systems has become increasingly important. For example, nowadays musicians need computer programs that effectively adapt its behavior according to signals and techniques provided by the musician. In order to be coherent with the musical composition, those computer programs should be the result of building a computational model. This model makes possible to express the patterns, properties, constraints, and in general, information about the musical composition. In this short work we propose a way to model music compositions by using process algebras, in particular by using ntcc, a concurrent constraint programming language. As an example, we build a model of the Fr\'{e}d\'{e}ric Chopin?s much recognised piece Prelude in C minor and delve into the very open musical definition of tonal ambiguity.}}
    }
  • J. Martinez-Arias and G. Sarria, “Didactic and Interdisciplinary Experiences in a Software Engineering Course,” in Proceedings of the 43rd IEEE international conference on Frontiers in education conference, Oklahoma City, Oklahoma, USA, 2013.
    [Bibtex]
    @InProceedings{martinez13ingesoft,
     author = {Martinez-Arias, Juan-Carlos and Sarria, Gerardo},
     title = {Didactic and Interdisciplinary Experiences in a Software Engineering Course},
     booktitle = {Proceedings of the 43rd IEEE international conference on Frontiers in education conference},
     series = {FIE'13},
     month = {October},
     year = {2013},
     address = {Oklahoma City, Oklahoma, USA},
     publisher = {IEEE Press},
     keywords = {Software Engineering, Didactic Experiences, Learning Activities, Interdisciplinary},
     abstract = {{Didactic experiences are very important in a Software Engineering course. We think they help to achieve at least six objectives of the course: to identify fundamental concepts of software engineering, to recognise software life cycles, models and methodologies of software development, to perform analysis of software products requirements, to design and develop a software product, to use the methodical processes of a real-world project, and to implement solutions following specific methodologies. In this paper we will show our didactic experiences in the Software Engineering Processes course. We developed a sequence of learning activities and their application (extracted from real requirements of clients and users) in different contexts such as environmental, medical and social, which results in higher levels of learning, interdisciplinary exercises and practices close to what students will face in their professional lives.}}
    }
  • [DOI] V. Chulvi, M. González-Cruz, E. Mulet, and J. Aguilar-Zambrano, “Influence of the type of idea-generation method on the creativity of solutions,” Research in Engineering Design, vol. 24, iss. 1, pp. 33-41, 2013.
    [Bibtex]
    @article{citeulike:10721817,
        author = {Chulvi, Vicente and Gonz\'{a}lez-Cruz, Mar\'{\i}aCarmen and Mulet, Elena and Aguilar-Zambrano, Jaime},
        booktitle = {Research in Engineering Design},
        citeulike-article-id = {10721817},
        citeulike-linkout-0 = {http://dx.doi.org/10.1007/s00163-012-0134-0},
        citeulike-linkout-1 = {http://www.springerlink.com/content/511318j2352l3j05},
        citeulike-linkout-2 = {http://link.springer.com/article/10.1007/s00163-012-0134-0},
        day = {25},
        doi = {10.1007/s00163-012-0134-0},
        issn = {0934-9839},
        journal = {Research in Engineering Design},
        keywords = {cognition, creativity},
        month = may,
        number = {1},
        pages = {33--41},
        posted-at = {2013-01-21 02:54:26},
        priority = {2},
        publisher = {Springer-Verlag},
        title = {{Influence of the type of idea-generation method on the creativity of solutions}},
        url = {http://dx.doi.org/10.1007/s00163-012-0134-0},
        volume = {24},
        year = {2013},
        abstract = {This paper studies the influence of the type of method, intuitive or logical, used for idea-generation on the final creative results. An experiment was developed in which 16 design teams were asked to solve a design problem using different creative methodologies. Seven of the teams used the SCAMPER intuitive method and another seven teams used the TRIZ logical method. Two groups acted as control. One of these control groups used brainstorming, and other group used no method. The creativity of the results, considered as the combination of novelty and utility, was evaluated using the Analytical Hierarchy Process. Results show the differences in these parameters in the different methods used in the experiment.},
    }
  • [DOI] L. Tobón, J. Chen, J. Lee, M. Yuan, B. Zhao, and Q. H. Liu, “Progress in multiscale computational electromagnetics in time domain,” in Pulsed Electromagnetic Fields: Their Potentialities, Computation and Evaluation, 2013, pp. 55-64.
    [Bibtex]
    @InProceedings{TChLYZL2013,
      author =       {Tobón, L. and Chen, J. and Lee, J. and Yuan, M. and Zhao, B. and Liu, Q.H.},
      title =        {Progress in multiscale computational electromagnetics in time domain},
      booktitle =    {Pulsed Electromagnetic Fields: Their Potentialities, Computation and Evaluation},
      year =         {2013},
      editor =       {Ioan Ernest Lager and Li Jun Jiang},
      pages =        {55-64},
      month =        {March},
      publisher = {IOS Press under the imprint Delft University Press},
      doi =          {10.3233/978-1-61499-230-1-55},
      isbn =    {9781614992301},
      abstract = {Many system-level electromagnetic design problems are multiscale and very challenging to solve. They remain a significant barrier to system design optimization for a foreseeable future. Such multiscale problems often contain three electrical scales, i.e., the fine scale (geometrical feature size much smaller than a wavelength), the coarse scale (geometrical feature size greater than a wavelength), and the intermediate scale between the two extremes. Existing computational tools are based on single methodologies (such as finite element method or finite-difference time-domain method), and are unable to solve large multiscale problems. We will present our recent progress in solving realistic multiscale system-level EM design simulation problems in time domain. The discontinuous Galerkin time domain method is used as the fundamental framework for interfacing multiple scales with finite-element method, spectral element method, and finite difference method. Numerical results demonstrate significant advantages of our multiscale method. A more detail discussion of the method is given in [1].}
    }
  • [DOI] A. Paz Parra, M. C. Amaya Enciso, J. Olaya Ochoa, and J. A. Palacios Penaranda, “Stator fault diagnosis on squirrel cage induction motors by ESA and EPVA,” in Power Electronics and Power Quality Applications (PEPQA), 2013 Workshop on, 2013, pp. 1-6.
    [Bibtex]
    @InProceedings{6614937, 
      author =       {Paz Parra, Alejandro and Amaya Enciso, Martha Cecilia and Olaya Ochoa, Javier and Palacios Penaranda, Jairo Arcesio}, 
      booktitle =    {Power Electronics and Power Quality Applications (PEPQA), 2013 Workshop on}, 
      title =        {Stator fault diagnosis on squirrel cage induction motors by ESA and EPVA}, 
      year =         {2013}, 
      month =        {July},
      pages =        {1-6}, 
      keywords =     {AC machines;Fault diagnosis;Stators}, 
      doi =          {10.1109/PEPQA.2013.6614937},
      abstract =     {In present paper the short-circuit fault inter-turn on the stator of an induction motor is analyzed by two online diagnosis methods. The analysis trends to extend the application of the recently proposed diagnosis technique of multiple reference frames. An eccentricity indicator is proposed to improve the application of the Park's Vector Approach and a comparison between fault indicators obtained by each one of the techniques is done. A tri-phase 3hp squirrel cage induction motor especially modified to establish different fault levels is used for validation purposes.}
    }
  • J. A. Zambrano, A. L. Díaz, and A. Valencia, “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, vol. 17, iss. 1, pp. 225-241, 2013.
    [Bibtex]
    @article{0123-2126,
      author={Jaime Aguilar Zambrano and Andrés León Díaz and Andrés Valencia},
      title={An Interdisciplinary Method for the Analysis of Support
            Products for Disabled People with the Synergic Use of Quality
            Function Deployment and Analytical Hierarchy Process},
      journal={Ingeniería y universidad},
      volume={17},
      number={1},
      pages={225-241},
      issn={0123-2126},
      year={2013},
      abstract={This paper proposes a method invol-
                      ving interdisciplinary participation
                      with the purpose of identifying users’
                      needs and analyzing the commercial
                      competition for support products for
                      disabled people. This method joins
                      together quality function deployment
                      (QFD) and Analytical Hierarchy
                      Process technique (AHP). The me-
                      thod was applied to the evaluation
                      of products in support of mobility
                      (ISO9999: 2007) for people with
                      lower limb disability, in order to favor
                      their social inclusion in the city of Cali,
                      Colombia. The users’ opinions were
                      collected through a poll that followed
                      the principles of the International
                      Classification of Functioning, Disa-
                      bility and Health. It was concluded
                      that the use of QFD and AHP with
                      interdisciplinary teams is more re-
                      liable when considering users’ needs
                      than the use of the simple weighing
                      method proposed by QFD and some
                      of its variations. The application of
                      QFD from the perspective of users
                      favors radical innovation and not just
                      a specific product.}
    }
  • D. Loaiza, C. Oviedo, A. Castillo, A. Portilla, G. Álvarez, D. Linares, and A. Navarro, “A Videogame Prototype for Speech Rehabilitation,” in 2013 5th International Conference on Games and Virtual Worlds for Serious Applications, Bournemouth, Dorset UK, 2013, pp. 117-120.
    [Bibtex]
    @InProceedings{06624233,
     author = {Diego Loaiza and Claudia Oviedo and Andrés Castillo and Anita Portilla and Gloria Álvarez and Diego Linares and Andrés Navarro},
     title = {A Videogame Prototype for Speech Rehabilitation},
     booktitle = {2013 5th International Conference on Games and Virtual Worlds for Serious  Applications},
     month = {September},
     year = {2013},
     pages = {117-120},
     isbn={978-1-4799-0965-0},
     address = {Bournemouth, Dorset UK},
     keywords = {Speech Rehabilitation, Educational Games, Voice User Interfaces},
     abstract = {Speech rehabilitation software is usually aimed at
                      people with hearing impairment that implies the need to exercise
                      some speech abilities. Such abilities depend on the language and
                      the context of the disability. In the case of children with hearing
                      loss diagnosed at an early age (before 2 years), and who have been
                      treated correctly and in an opportune manner (with a cochlear
                      implant, for example), the abilities that need to be developed
                      vary from the very basic (elementary productions, such as
                      single sounds, or vowels), to more complex, such as spontaneous
                      productions of meaningful words and phrases. Such rehabilitation
                      therapy is accomplished with the help of a therapist, but software
                      that allows the autonomous exercising of these abilities would help
                      children with difficulties in affording such sessions.
                      We introduce a video game prototype for speech rehabilitation of
                      children with an early diagnosed hearing disability and who are
                      using some kind of aid, such as a cochlear implant. The applica-
                      tion relies on the auditory-verbal therapy theory and educational
                      objectives such as the accurate assessment and reinforcement of
                      voice production. It also relies on verbal interaction with the
                      children through the intensive use of speech recognition technol-
                      ogy and on visual feedback. An initial prototype was implemented
                      which offers challenges in the field of voice interaction such as the
                      latency of the speech recognition module, and feedback consistent
                      with the recognition rates it provides.}
    }
  • D. Chiarugi, M. Falaschi, D. Hermith, C. Olarte, and O. Marangoni, “Stochastic modelling of non-Markovian Dynamics in Biochemical Reactions,” in International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO), Granada, 2013, pp. 537-544.
    [Bibtex]
    @InProceedings{ChiarugiFHMO13,
     author = {Davide Chiarugi and Moreno Falaschi and Diana Hermith and Carlos Olarte and Oberto Marangoni},
     title = {Stochastic modelling of non-Markovian Dynamics in Biochemical
                   Reactions},
     booktitle = {International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO)},
     month = {March},
     year = {2013},
     pages = {537-544},
     isbn={84-15814-13-9},
     address = {Granada},
     abstract = {Biochemical reactions are often modelled as discrete-state continuous-
                      time stochastic processes evolving as memoryless Markov processes. However, in
                      some cases, biochemical systems exhibit non-Markovian dynamics. We propose
                      a methodology for building stochastic simulation algorithms which model accu-
                      rately non-Markovian processes in some specific situations. Our methodology is
                      based on and implemented in Concurrent Constraint Programming (CCP). Our
                      technique allows us to randomly sample waiting times from probability density
                      functions (PDFs) not necessarily distributed according to a negative exponen-
                      tial function. In this context, we discuss an important case-study in which the
                      PDF for waiting times is inferred from single-molecule experiments. We show
                      that, by relying on our methodology, it is possible to obtain accurate models of
                      enzymatic reactions that, in specific cases, fit experimental data better than the
                      corresponding markovian models.}
    }
  • H. D. Benítez, J. F. Flórez, D. P. Duque, A. Benavides, O. L. Baquero, and J. Quintero, “Spatial pattern recognition of seismic events in South West Colombia,” Computers & Geosciences, vol. 59, pp. 60-77, 2013.
    [Bibtex]
    @article{hbenitez2013a,
      author={Hernán D. Benítez and Juan F. Flórez and Diana P. Duque and Alberto Benavides and Olga Lucía Baquero and Jiber Quintero},
      title={Spatial pattern recognition of seismic events in South West Colombia},
      journal={Computers & Geosciences},
      volume={59},
      number={0},
      pages={60-77},
      issn={0098-3004},
      url={http://www.sciencedirect.com/science/article/pii/S0098300413001544},
      year={2013},
      abstract={Recognition of seismogenic zones in geographical regions supports seismic hazard studies. This recognition is usually based on visual, qualitative and subjective analysis of data. Spatial pattern recognition provides a well founded means to obtain relevant information from large amounts of data. The purpose of this work is to identify and classify spatial patterns in instrumental data of the South West Colombian seismic database. In this research, clustering tendency analysis validates whether seismic database possesses a clustering structure. A non-supervised fuzzy clustering algorithm creates groups of seismic events. Given the sensitivity of fuzzy clustering algorithms to centroid initial positions, we proposed a methodology to initialize centroids that generates stable partitions with respect to centroid initialization. As a result of this work, a public software tool provides the user with the routines developed for clustering methodology. The analysis of the seismogenic zones obtained reveals meaningful spatial patterns in South-West Colombia. The clustering analysis provides a quantitative location and dispersion of seismogenic zones that facilitates seismological interpretations of seismic activities in South West Colombia.}
    }
  • K. Estupiñan, M. A. Ortega, and H. D. Benítez, “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), Bogota, Colombia, 2013, pp. 1-7.
    [Bibtex]
    @InProceedings{hbenitez2013b,
     author = {Kevin Estupiñan and Marco A. Ortega and Hernán D. Benítez},
     title = {Design and implementation of a protocol for acquisition and processing of infrared images obtained from hands},
     booktitle = {2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA)},
     month = {September},
     year = {2013},
     pages = {1-7},
     isbn={978-1-4799-1120-2},
     address = {Bogota, Colombia},
     publisher = {IEEE Xplore},
     abstract = {Disorders associated with repeated trauma account for about 60% of all occupational illnesses, being Carpal Tunnel Syndrome (CTS), the most consulted today. Infrared Thermography (IT) has come to play an important role in the field of medicine, where diseases are detected by temperature variations. In this paper we present the extraction of temperature variations in space and time from hands of healthy and ill subjects with CTS. These features are expected to give support to the analysis of CTS using IT. The paper presents a theoretical framework of CTS, a protocol to acquire infrared images and create a standardized collection. The techniques used for image registration and feature extraction are included. Finally, the results obtained with representative features in images of healthy subjects are presented and compared against features extracted from patientss with CTS.}
    }
  • T. J. Ramírez-Rozo, H. D. Benítez-Restrepo, J. C. García-́Álvarez, and G. Castellanos-Domínguez, “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, 2013, pp. 121-130.
    [Bibtex]
    @InProceedings{hbenitez2013d,
     author = {Thomas J. Ramírez-Rozo and Hernán D. Benítez-Restrepo and Julio C. García-́Álvarez and German Castellanos-Domínguez},
     title = {Non–referenced Quality Assessment of Image Processing Methods in Infrared Non-destructive Testing},
     booktitle = {Lecture Notes in Computer Science, Image Analysis and Processing – ICIAP 2013},
     month = {September},
     year = {2013},
     pages = {121-130},
     isbn={978-3-642-41183-0},
     publisher = {Springer Berlin Heidelberg},
     abstract = {Infrared Non–Destructive Testing (IRNDT) uses several image processing techniques to enhance visual contrast and visibility of defects in inspected materials. The benchmarking of these techniques is often too qualitative due to a lack of quantitative criteria allowing to assess the qualities of the compared methods. In this work, we compare image processing techniques in IRNDT with a non–referenced (NR) image quality assessment (IQA) algorithm. Furthermore, we validate the NR IQA approach through a human–based quality evaluation and analyze statistical properties of IRNDT images. The results show a high correlation between NR IQA measure quality predictions and subjective evaluation. Moreover, the analysis evidenced a relationship of perceived image quality with 1) the spatial power spectral density, and 2) marginal and joint distributions of wavelet coefficients. This analysis provides a quantitative alternative when comparing image processing methods in IRNDT and can be used to develop specific IQA measure for IRNDT.}
    }
  • Q. Ren, L. E. Tobón, and Q. H. Liu, “A NEW 2D NON-SPURIOUS DISCONTINUOUS GALERKIN FINITE ELEMENT TIME DOMAIN (DG-FETD) METHOD FOR MAXWELL’S EQUATIONS,” Progress In Electromagnetics Research, vol. 143, pp. 385-404, 2013.
    [Bibtex]
    @article{letobon2013b,
      author={Qiang Ren and Luis E. Tobón and Qing Huo Liu},
      title={A NEW 2D NON-SPURIOUS DISCONTINUOUS GALERKIN FINITE ELEMENT TIME DOMAIN (DG-FETD) METHOD FOR MAXWELL'S EQUATIONS},
      journal={Progress In Electromagnetics Research},
      volume={143},
      number={},
      pages={385-404},
      issn={1070-4698},
      year={2013},
      abstract={A new discontinuous Galerkin Finite Element Time Domain (DG-FETD) method for Maxwell's equations is developed. It can suppress spurious modes using basis functions based on polynomials with the same order of interpolation for electric field intensity E and magnetic flux density B. Compared to FETD based on EH scheme, which reqires different orders of interpolation polynomials for electric and magnetic field intensities, this method uses fewer unknowns and reduces the computation load. The discontinuous Galerkin method is employed to implement domain decomposition for the EB scheme based FETD. In addition, a well-posed time-domain perfectly matched layer (PML) is extended to the EB scheme to simulate the unbounded problem. Leap frog method is utilized for explicit time stepping. Numerical results demonstrate that the above proposed methods are effective and efficient for 2D time domain TMz multi-domain problems.}
    }
  • G. Sarria, “A Survey of Computational Calculi used in Musical Applications,” Ingeniería y Competitividad, vol. 15, iss. 2, pp. 103-114, 2013.
    [Bibtex]
    @article{sarria13survey,
      author={Gerardo Sarria},
      title={A Survey of Computational Calculi used in Musical Applications},
      journal={Ingeniería y Competitividad},
      volume={15},
      number={2},
      month = {December},
      pages={103-114},
      numpages = {12},
      publisher = {Universidad del Valle},
      issn={0123-3033},
      year={2013},
      abstract={During the last decades, several formal models have been proposed to formalize musical applications, to solve musical and improvisation problems, and to prove properties in music. In this paper we briefly describe some of those formal models (computational calculi). We provide a description of some applications of these formalisms, and discuss some considerations about each calculus mentioned here remarking strengths and weaknesses.}
    }
  • C. A. Neira and H. D. Benítez, “Image Quality Assessment in Infrared Nondestructive Testing (IRNDT),” in 2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA), Bogota, Colombia, 2013, pp. 1-5.
    [Bibtex]
    @InProceedings{hbenitez2013c,
     author = {Camilo Alejandro Neira and Hernán Darío Benítez},
     title = {Image Quality Assessment in Infrared Nondestructive Testing (IRNDT)},
     booktitle = {2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA)},
     month = {September},
     year = {2013},
     pages = {1-5},
     isbn={978-1-4799-1120-2},
     address = {Bogota, Colombia},
     publisher = {IEEE Xplore},
     abstract = {Infrared Nondestructive Testing (IRNDT) is a material evaluation technique, in which the surface of a sample is thermically stimulated to produce a temperature difference between non-defective and sound areas. An infrared camera registers these temperature changes; then different image processing techniques detect and/or characterize defects in the sample. There are different issues when comparing different image processing techniques in IRNDT. Experts visually compare the results from different techniques and determine  for which technique, giving some parameters, works better by counting the number of visible defects in a particular image. However, a quantitative method for the comparison is the SNR (Signal to Noise Ratio) that is based on the average intensity of two regions: a defective region and a reference region. SNR although it is simple, well defined with clear physical meaning and widely accepted, it can be a poor predict of perceived visual quality specially when the noise is not additive. In this paper we propose Local Infrared Image Quality Index (LIRIQI) that accounts for local structural information in the image to asses image processing techniques in IRNDT such as Thermographic Signal Reconstruction (TSR), Normalized Contrast and Pulsed Phase Thermography (PPT).}
    }
  • J. E. Ospina, H. D. Benítez, and C. Ramirez, “Visual Quality Assessment of Infrared Images Reconstructed by Compressive Sensing,” in 2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA), Bogota, Colombia, 2013, pp. 1-6.
    [Bibtex]
    @InProceedings{hbenitez2013e,
     author = {Juan Esteban Ospina and Hernán Darío Benítez and Carlos Ramirez},
     title = {Visual Quality Assessment of Infrared Images Reconstructed by Compressive Sensing},
     booktitle = {2013 XVIII Symposium of Image, Signal Processing, and Artificial Vision (STSIVA)},
     month = {September},
     year = {2013},
     pages = {1-6},
     isbn={978-1-4799-1120-2},
     address = {Bogota, Colombia},
     publisher = {IEEE Xplore},
     abstract = {Unlike the traditional Nyquist-Shannon sampling theorem, the compressive sensing (CS) theory enables to reconstruct sparse or compressible images from fewer measurements. In General, metrics such as the peak signal-to-noise ratio (PSNR) or mean square error (MSE) assess these reconstructed images. However, image quality assessment (IQA) metrics perform better than PSNR or MSE, because they involve  characteristics of the human visual system (HVS). In this work, it is considered the discrete cosine transform (DCT), the DCT augmented with total variation minimization (DCT+TV), the conjugate gradient augmented with total variation minimization (CG), and the fixed point least square with preconditioned conjugate gradient (FPLS_PCG) methods to reconsturct nineteen infrared (IR) images taken from the collection described in [1], using DCT and noislets coefficients to satisfy the CS scheme. Each  set of reconstructed images is evaluated with IQA metrics and differential mean opinion score (DMOS) tests to verify the correlation between each metric with human quality judgments. These tests were applied to a group of university students at Javeriana University. The experimental results are presented to show the correlation of each metric with human quality judgments, and the advantage of compressive sensing over traditional methods.}
    }
  • G. Gutiérrez, A. F. Barco, M. A. Villanueva, A. Cardona, D. Montenegro, S. Miller, J. F. Díaz, C. Rueda, and V. P. Roy, “The Mozart Constraint Subsystem System Presentation,” in TRICS2013 : Techniques for Implementing Constraints Systems, en CP2013, Uppsala, Suecia, 2013, pp. 1-12.
    [Bibtex]
    @InProceedings{crueda20132,
           author = {G. Gutiérrez and A. F. Barco and M. A. Villanueva and A. Cardona and D. Montenegro and S. Miller and J. F. Díaz and C. Rueda and P. Van Roy},
           title = {The Mozart Constraint Subsystem System Presentation},
           booktitle = {TRICS2013 : Techniques for Implementing Constraints Systems, en CP2013},
           month = {September},
           year = {2013},
           pages = {1-12},
           address = {Uppsala, Suecia},
           abstract = {We present the current state of a new implementation of the constraint engine for the Mozart programming system. Our implementation integrates the Gecode constraint library into the core of Mozart version 2.0. Doing so, we allow users to take advantage of the efficiency of Gecode propagators transparently by maintaining the existing language constraints abstractions. Future Mozart systems can thus benefit from the rapid pace of constraint solving optimizations that are included in each new Gecode version. We use two well-known puzzles to illustrate the system and present all available abstractions.}
    }
  • I. M. Sánchez and A. A. N. Newball, “Comunicación cultural y TIC: La representación accesible de la cultura Chimú,” Historia y Comunicación Social, vol. 18, pp. 541-554, 2013.
    [Bibtex]
    @article{HICS43987,
      author = {Isidro Moreno Sánchez and Andrés Adolfo Navarro Newball},
      title = {Comunicación cultural y TIC: La representación accesible de la cultura Chimú},
      journal = {Historia y Comunicación Social},
      volume = {18},
      number = {0},
      year = {2013},
      pages={541-554},
      keywords = {conocimiento aumentado; cultura digital; museografía hypermedia; realidad mezclada; videojuegos},
      abstract = {La investigación aborda cómo aumentar el conocimiento y hacerlo accesible a todas las personas apoyándose en las Tecnologías de la Información y la Comunicación. La investigación básica se aplica a la cultura Chimú contenida en el Museo de América de Madrid. Museo in situ y museo en red se toman como un todo que interactúa, se completa y complementa a través de una base de datos narrativa que integra y comparte medios y soportes distribuyéndolos en todo tipo de interfaces. La especificidad in situ viene marcada por instalaciones inmersivas, sistemas interactivos singulares, sistemas interactivos para dispositivos móviles y aplicaciones ludo-educativas.},
      issn = {1988-3056}, 
      url = {http://revistas.ucm.es/index.php/HICS/article/view/43987}
    }
  • S. Ochoa Angrino, J. A. Aguilar Zambrano, A. Navarro Newball, A. Jaramillo Ramírez, and L. Henao Romero, “Diseño de un escenario educativo para museos con el uso de TRIZ y ACT.,” Pensamiento Psicológico, vol. 11, iss. 2, p. 71-88 , 2013.
    [Bibtex]
    @article{HICS-43987,
      author = {Ochoa Angrino, S. and Aguilar Zambrano, J. A. and Navarro Newball, A. and Jaramillo Ramírez, A. and Henao Romero, L.},
      title = {Diseño de un escenario educativo para museos con el uso de TRIZ y ACT.},
      journal = {Pensamiento Psicológico},
      volume = {11},
      number = {2},
      year = {2013},
      keywords = {museos interactivos, TRIZ, análisis cognitivo de tareas, investigación},
      abstract = {Objetivo. Se realizó un trabajo interdisciplinario que utilizó la Teoría de solución de problemas inventivos (TRIZ) y el Análisis cognitivo de tareas (ACT) para orientar el diseño de un escenario de aprendizaje para un museo de ciencias naturales. Método. Participaron 23 personas: seis ingenieros de sistemas, un ingeniero industrial, un ingeniero eléctrico, dos psicólogas, un biólogo, una bioquímica, un físico, un técnico museológico, un historiador, un guía de museo, un diseñador gráfico, y seis estudiantes de ingeniería. El proceso de análisis fue realizado en dos fases. En la primera, se analizó el componente técnico del problema utilizando TRIZ, en la segunda, se analizó el componente educativo utilizando el ACT. Resultados. La aplicación de TRIZ permitió identificar que el escenario de aprendizaje debía ser divertido, durable, de fácil uso e integración del uso de nuevas tecnologías con fines educativos, y que debía implicar poca asistencia de los guías del museo. El ACT posibilitó entender que la función principal del escenario de aprendizaje era promover la comprensión de conceptos involucrados en la relación entre personas, humedales y aves migratorias. Para ello, se diseñó la estructura de un videojuego educativo. Conclusión. El diseño de este videojuego prioriza los componentes educativos, que promueven la conservación ambiental, sin descuidar el componente de entretenimiento, equilibrio que parece difícil de lograr en diseños de aplicaciones de interacción humano-computador, en los cuales se privilegia la diversión, el uso de recursos tecnológicos sofisticados y el sentido estético.},
      issn = {1657-8961},  
      pages ={71-88 },
      url = {http://revistas.javerianacali.edu.co/index.php/pensamientopsicologico/article/view/616}
    }
  • [DOI] M. C. Pabon, G. A. Montoya, and M. Millan, “Mediation and Graph Data Models for Medical Data Integration.,” in Computing Conference (CLEI), 2013 XXXIX Latin American, Naiguata, Venezuela, 2013, pp. 1-9.
    [Bibtex]
    @inproceedings{PabonMM13,
      author = {Pabon, Maria Constanza and Montoya, Guillermo Andres and Millan, Martha},
      biburl = {http://www.bibsonomy.org/bibtex/2fbe9754c088e1cbf62bfbd4e48c21eb3/dblp},
      booktitle = {Computing Conference (CLEI), 2013 XXXIX Latin American},
      doi = {10.1109/CLEI.2013.6670647},
      isbn = {978-1-4799-2957-3},
      keywords = {dblp},
      pages = {1-9},
      publisher = {IEEE},
      title = {Mediation and Graph Data Models for Medical Data Integration.},
      url = {http://dblp.uni-trier.de/db/conf/clei/clei2013.html#PabonMM13},
      address = {Naiguata, Venezuela},
      month = {October},
      year = {2013},
      abstract = {Data integration aims to provide users with a unified, integrated and global view of the data stored in diverse, heterogeneous and autonomous sources. In the medical domain it is common to have information scattered in different sources such as medical images medical images, diagnostic reports and medical records. The integration of this information is important to support processes of diagnosis, treatment planning and monitoring, education and research. In this paper an integration architecture based on mediation is presented. The mediator uses a graph model to represent the structure of data contained in the sources. This is a conceptual model of the application domain and is formed by a set of subgraphs. Each subgraph represents the data of each data source. The sources have a metadata repository associated with data annotations, which are also used to access the data.},
    }
  • [DOI] G. Alvarez, E. Bravo, D. Linares, J. Vargas, and J. Velasco, “Machine Learning Techniques Applied to the Cleavage Site Prediction Problem,” in Advances in Artificial Intelligence and Its Applications, F. Castro, A. Gelbukh, and M. González, Eds., Springer Berlin Heidelberg, 2013, vol. 8265, pp. 497-507.
    [Bibtex]
    @incollection{Gloria13-1,
      year={2013},
      isbn={978-3-642-45113-3},
      issn={0302-9743},
      booktitle={Advances in Artificial Intelligence and Its Applications},
      volume={8265},
      series={Lecture Notes in Computer Science},
      editor={Castro, Félix and Gelbukh, Alexander and González, Miguel},
      doi={10.1007/978-3-642-45114-0_39},
      title={Machine Learning Techniques Applied to the Cleavage Site Prediction Problem},
      url={http://dx.doi.org/10.1007/978-3-642-45114-0_39},
      publisher={Springer Berlin Heidelberg},
      author={Alvarez, Gloria and Bravo, Enrique and Linares, Diego and Vargas, Jheyson and Velasco, Jairo},
      pages={497-507},
      abstract = {The Genome of the Potyviridae virus family is usually expressed as a polyprotein which can be divided into ten proteins through the action of enzymes or proteases which cut the chain in specific places called cleavage sites. Three different techniques were employed to model each cleavage site: Hidden Markov Models (HMM), grammatical inference OIL algorithm (OIL), and Artificial Neural Networks (ANN).
      Based on experimentation, the Hidden Markov Model has the best classification performance as well as a high robustness in relation to class imbalance. However, the Order Independent Language (OIL) algorithm is found to exhibit the ability to improve when models are trained using a greater number of samples without regard to their huge imbalance.}
    }
  • J. Aguilar-Zambrano, M. V. Valencia, J. A. Loaiza, J. M. Mayor, A. M. Bolaños, M. N. Hurtado, and R. Chavarriaga, “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), 2013, pp. 267-273.
    [Bibtex]
    @InProceedings{jaimeaguilar2013,
     author={Jaime Aguilar-Zambrano and Manuel Vicente Valencia and Jose Angel Loaiza and Juan Manuel Mayor and Ana Marcela Bolaños and Maria Nora Hurtado and Ricardo Chavarriaga},
     title={Estudio Exploratorio Acerca de la Realimentación Visual con Respuesta Motora en Pacientes con ECV},
     booktitle={VII Congreso Iberoamericano de Tecnologías de Apoyo a la Discapacidad (Iberdiscap 2013)},
     month={Noviembre},
     year={2013},
     pages={267-273},
     isbn="978-9945-00-959-9",
     keywords = {Estudio Exploratorio, EEG ,ECV,FES,Realimentación Visual},
     abstract={El siguiente artículo comprende la metodología y los principales detalles técnicos con los cuales se evaluaron las posibles herramientas tecnológicas de apoyo (i.e Amplificador de señales EEG, Electroestimulador FES) a la discapacidad. Se realizó un estudio exploratorio de personas con ECV (Enfermedad Cerebro Vascular) en la ciudad de Cali, Colombia. Las herramientas de apoyo sirvieron para evaluar el potencial inicial de las mismas en los procesos de rehabilitación de las personas con hemiparesia. Las pruebas realizadas contemplaron un análisis de nuevos clasificadores del procesamiento de la señal, a fin de empezar a mejorar la interfaz visual y realimentación de estas herramientas de apoyo y hacer más eficiente la incidencia neuromotora sobre la tarea de rehabilitación.}
    }
  • J. Chen, L. Tobon, and Q. Huo Liu, “Locally Implicit Discontinuous Galerkin Finite Element Method for Transient Analysis of 3D Layered Structures with Electrically Small Details,” Microwave and Optical Technology Letters, vol. 55, iss. 8, pp. 1912-1916, 2013.
    [Bibtex]
    @article{chen2013locally,
      title={Locally Implicit Discontinuous Galerkin Finite Element Method for Transient Analysis of 3D Layered Structures with Electrically Small Details},
      author={Chen,  Jiefu and Tobon,  Luis and Huo Liu, Qing},
      journal={Microwave and Optical Technology Letters},
      volume={55},
      number={8},
      pages={1912-1916},
      year={2013},
      publisher={Wiley Online Library},
      abstract={An efficient locally implicit discontinuous Galerkin finite element method is proposed for time domain analysis of 3D layered problems. The vector mixed finite elements with discontinuous Galerkin method are employed for spatial discretization, and the singly diagonally implicit Runge–Kutta scheme is used for time stepping. The block Thomas algorithm is utilized during time integration to eliminate the subdomain-based iteration. Numerical examples demonstrate the proposed method is efficient in simulating 3D layered structures containing electrically small components.}
    }
  • N. Liu, Y. Tang, X. Zhu, L. Tobon, and Q. Liu, “Higher-order Mixed Spectral Element Method for Maxwell Eigenvalue Problem,” in Antennas and Propagation Society International Symposium (APSURSI), 2013, pp. 1646-1647.
    [Bibtex]
    @InProceedings{luistobon20134,
     author={Liu, N and Tang, Y and Zhu, X and Tobon, L and Liu, Q},
     title={Higher-order Mixed Spectral Element Method for Maxwell Eigenvalue Problem},
     booktitle={Antennas and Propagation Society International Symposium (APSURSI)},
     month={08},
     year={2013},
     pages={1646-1647},
     issn={1522-3965},
     isbn={978-1-4673-5315-1 },
     abstract={Conventional edge elements in solving vector Maxwell’s equations by the finite element method will lead to the presence of spurious zero
      eigenvalues. Here we describes a higher order mixed spectral element method (mixed SEM) for the computation of two-dimensional TEz eigenvalue problem of Maxwell’s equations. It utilizes Gauss-Lobatto-Legendre (GLL) polynomials as the basis functions in the finite-element framework with the weak divergence condition. It is shown that this method can suppress all spurious zero and nonzero modes and has spectral accuracy with analytic eigenvalues. Numerical results are given on homogeneous and doubly connected cavities to verify its merits.}
    }
  • N. A. A. Newball and M. I. Sánchez, “CONOCIMIENTO AUMENTADO Y ACCESIBILIDAD EN LA CULTURA DIGITAL,” in Investigaciones de vanguardia en la universidad de hoy, V. libros, Ed., Madrid: Visión libros, 2013, pp. 397-420.
    [Bibtex]
    @incollection{CUICIID,
    year={2013},
    isbn={978-84-15965-85-5},
    issn={},
    booktitle={Investigaciones de vanguardia en la universidad de hoy},
    editor={Visión libros},
    title={CONOCIMIENTO AUMENTADO Y ACCESIBILIDAD EN LA CULTURA DIGITAL},
    publisher={Visión libros},
    address={Madrid},
    author={A.A. Navarro Newball and I. Moreno Sánchez},
    pages={397-420},
    abstract={Las tecnologías de la información y de la comunicación (TIC) constituyen una herramienta fundamental para aumentar el conocimiento de procesos científicos, culturales y artísticos, así como de todo tipo de piezas relacionadas con estos procesos. Las modas, espoleadas por la mercadotecnia, tienden a ensalzar la tecnología por encima de los contenidos. Se trata de vender todo tipo de dispositivos, por supuesto con una obsolescencia programada clara, de manera que las personas sientan que si no tienen el último modelo están fuera de onda. 
    Con la investigación I+D+i: Conocimiento aumentado y accesibilidad. La representación museográfica de contenidos culturales complejos, buscamos, precisamente lo contrario; que la tecnología sea transparente hasta convertirse en invisible, que esté al servicio de los contenidos y que estos sean accesibles a todas las personas independientemente de sus limitaciones.  
    Todo}
    }

2012

  • [DOI] N. Cataño, T. Wahls, C. Rueda, V. Rivera, and D. Yu, “Translating B Machines to JML Specifications,” in Proceedings of the 27th Annual ACM Symposium on Applied Computing, New York, NY, USA, 2012, pp. 1271-1277.
    [Bibtex]
    @inproceedings{Catano:2012:TBM:2245276.2231978,
     author = {Cataño, Néstor and Wahls, Tim and Rueda, Camilo and Rivera, Víctor and Yu, Danni},
     title = {Translating B Machines to JML Specifications},
     booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing},
     series = {SAC '12},
     year = {2012},
     isbn = {978-1-4503-0857-1},
     location = {Trento, Italy},
     pages = {1271--1277},
     numpages = {7},
     url = {http://doi.acm.org/10.1145/2245276.2231978},
     doi = {10.1145/2245276.2231978},
     acmid = {2231978},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {B, JML, automated translation, combined formal methods},
     abstract = {{In this work, we present a translation from B machines to JML specifications. Our work allows developers to use different formal methods techniques and tools at different software development phases. A developer can use B's strong support for model verification during early stages of software development to produce a fully verified model of the application, and then transition to JML to simplify the task of producing a Java implementation and to take advantage of JML (semi-) automatic tools such as runtime assertion checkers. We have validated our implementation of the translation by applying it to a moderately complex B model of a social networking site, and then by executing the resulting JML specifications against a suite of test cases developed for a hand-translation of the B model. We have implemented the translation as the B2Jml tool, which has been integrated to the ABTools suite.}}
    }
  • [DOI] D. Díaz Sánchez, M. C. Amaya Enciso, and A. Paz Parra, “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, 2012, pp. 1757-1763.
    [Bibtex]
    @InProceedings{6350119,
      author = {Díaz Sánchez, Dário and Amaya Enciso, Martha Cecilia and Paz Parra, Alejandro},
      booktitle = {Electrical Machines (ICEM), 2012 XXth International Conference on},
      title = {Inter-turn short-circuit analysis in an induction machine by finite elements method and field tests},
      year = {2012},
      pages = {1757-1763},
      keywords = {fault diagnosis;finite element analysis;induction motors;maintenance engineering;short-circuit currents;stators;3HP induction machine;FEM computer simulations;electric motors;extended park vector approach;failure symptoms;fault condition;fault detection measurement;field tests;finite element method;induction machine;interturn short-circuit analysis;negative sequence parameters analysis;predictive maintenance techniques;stator phase winding;Circuit faults;Finite element methods;Impedance;Induction motors;Stator windings;Torque;Finite elements method;Induction machine;Inter-turn short-circuit;Inverse sequence impedance;Park's Vector approach},
      doi={10.1109/ICElMach.2012.6350119},
      abstract = {Modern industry requires reliability in the continuous
                      operation of the electric motors which requires the
                      use of predictive maintenance techniques. Present
                      commonly used techniques consist in offline test
                      that involves stopping the electrical motor and
                      taking measurements to detect faults [1] [2]
                      [3]. The fault detection methods are based on
                      symptoms generated from the fault condition, and
                      these symptoms are evaluated by testing offline or
                      through signals obtained from the machine [3]
                      [4]. The finite element method FEM has proved to be
                      a valuable tool in determining the presence of
                      failure symptoms and the establishment of its
                      severity levels, obviating the need for laboratory
                      tests that are often harmful for the same machine
                      [5][6]. The negative sequence parameters analysis
                      and the Extended Park Vector Approach, with the
                      evolution of short-circuit turns of the stator phase
                      winding in a 3HP induction machine was done in this
                      paper by using field tests and FEM computer
                      simulations.},
    }
  • G. Sarria, “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, 2012.
    [Bibtex]
    @InProceedings{sarria12interpreter,
      author =       {Gerardo Sarria},
      title =        {An Interpreter for the rtcc Calculus},
      booktitle =    {7th Colombian Computing Congress (7CCC). Held as Part of the 38th Latinamerican Conference on Informatics (CLEI2012)},
      year =         {2012},
      month =        {October},
      address =      {Medellín, Colombia},
      abstract =     {{The purpose of a computational model is to create a non-physical representation of a system in order to prove properties of the system and to run simulations. The rtcc calculus is a formalism developed for modelling real-time and reactive systems. This paper presents the design and implementation details of an interpreter for this calculus. This interpreter was created to better visualise the behavior of systems, to make possible the viewing of the results of rtcc models in real-time, and to allow proving properties in those models.}}
    }
  • P. Moriano and J. Finke, “Power-law weighted networks from local attachments,” EPL (Europhysics Letters), vol. 99, iss. 1, p. 18002, 2012.
    [Bibtex]
    @article{0295-5075-99-1-18002,
      author={P. Moriano and J. Finke},
      title={Power-law weighted networks from local attachments},
      journal={EPL (Europhysics Letters)},
      volume={99},
      number={1},
      pages={18002},
      issn={0295-5075},
      url={http://stacks.iop.org/0295-5075/99/i=1/a=18002},
      year={2012},
      abstract={This letter introduces a mechanism for constructing, through a process of distributed decision-making, substrates for the study of collective dynamics on extended power-law weighted networks with both a desired scaling exponent and a fixed clustering coefficient. The analytical results show that the connectivity distribution converges to the scaling behavior often found in social and engineering systems. To illustrate the approach of the proposed framework we generate network substrates that resemble steady state properties of the empirical citation distributions of i) publications indexed by the Institute for Scientific Information from 1981 to 1997; ii) patents granted by the U.S. Patent and Trademark Office from 1975 to 1999; and iii) opinions written by the Supreme Court and the cases they cite from 1754 to 2002.}
    }
  • K. Guerrero and J. Finke, “On the formation of community structures from homophilic relationships,” in American Control Conference (ACC), 2012, 2012, pp. 5318-5323.
    [Bibtex]
    @inproceedings{6315325, 
    author={Guerrero, K. and Finke, J.}, 
    booktitle={American Control Conference (ACC), 2012}, 
    title={On the formation of community structures from homophilic relationships}, 
    year={2012}, 
    pages={5318-5323}, 
    abstract={Many real-world networks consist of numerous interconnected groups which, as communities, display distinctive collective behavior. The division of a network into communities-groups of nodes with a high density of ties within but a low density of ties between groups- underlies the structure of social and technological networks. In human communities, for instance, individuals may group together according to special interest, occupation, intent, or belief, with tendency to establish stronger ties with individuals who are similar to themselves. Here, we introduce a formal framework for the formation of community structures from homophilic relationships between individuals. Stochastic modeling of local relationships allows us to identify a wide class of agent interactions which lead to the formation of communities and quantify the extent to which group size affects the resulting structure.}, 
    keywords={group theory;network theory (graphs);stochastic processes;agent interactions;community structure formation;homophilic relationships;human communities;interconnected groups;real-world networks;social network structure;technological network structure;Communities;Decision making;Indexes;Joining processes;Markov processes;Transient analysis}, 
    ISSN={0743-1619},}
  • E. Motato and C. Giraldo, “Modular Assembly of Port-Based Hybrid Models,” in 2012 ASME Dynamic Systems and Control Conference & 11-th Motion and Vibration Conference, Fort Lauderdale, Florida, 2012, pp. 383-391.
    [Bibtex]
    @InProceedings{cgiraldo2012a,
     author = {Eliot Motato and Carlos Giraldo},
     title = {Modular Assembly of Port-Based Hybrid Models},
     booktitle = {2012 ASME Dynamic Systems and Control Conference & 11-th Motion and Vibration Conference},
     month = {October},
     year = {2012},
     pages = {383-391},
     isbn={978-0-7918-4529-5},
     address = {Fort Lauderdale, Florida},
     abstract = {A procedure to modularly and recursively assemble port-based hybrid models is introduced. This work extends the conventional Modular Assembly Method for linear and affine models. Hybrid models offer a unifying framework to characterize and predict processes or phenomena that exhibit both continuous and discrete dynamic behavior. The main features of the proposed method are portability and protection of content. The connection of a three-gear transmission model on an electric motor model illustrates the assembly, condensation and simulation of a hybrid model without revealing the connection topology of the modeling components.}
    }

2011

  • [PDF] M. Toro, C. Rueda, F. Valencia, G. Sarria, and C. Olarte, “Concurrent constraints models of music interaction,” in Constraint Programming in Music, Wiley, 2011, p. 133.
    [Bibtex]
    @incollection{toro:hal-00662257,
        title = {{Concurrent constraints models of music interaction}},
        author = {Toro, Mauricio and Rueda, Camilo and Valencia, Frank and Sarria, Gerardo and Olarte, Carlos},
        language = {Anglais},
        affiliation = {Laboratoire Bordelais de Recherche en Informatique - LaBRI , Department of Science and Engineering Computing , Sciences et Technologies de la Musique et du Son - STMS , Ambientes VISuales de Progamaci{\'o}n Aplicativa - AVISPA Resarch Group , COMETE - INRIA Saclay - Ile de France , Laboratoire d'informatique de l'{\'e}cole polytechnique - LIX},
        booktitle = {Constraint Programming in Music},
        publisher = {Wiley},
        pages = {133},
        audience = {internationale },
        year = {2011},
        hal_id = {hal-00662257},
        url = {http://hal.archives-ouvertes.fr/hal-00662257},
        pdf = {http://hal.archives-ouvertes.fr/hal-00662257/PDF/constraints-music.pdf},
        abstract = {{In this chapter we follow this "economy of means" way to present several varieties of CCP calculi, starting from a very basic one and building from it by adding new features. A fundamental one for music applications is the ability to represent temporal behavior. This can be introduced within the context of determinate (tcc, utcc) or non-determinate (ntcc) computation. For the determinate case, we show how the addition of a process abstraction feature (utcc) allows to model dynamic musical structures in a very simple way. In particular, we model a dynamic version of interactive scores ([ALL 07]). For the nondeterminate case, we use the possibility of defining many alternative computational paths to model an agent following different rhythmic patterns constructed from a given basic one. We then go on to consider a more "metrical" notion of time (rtcc) based on uniform ticks used by processes to define their time of execution in a more fine-grained way, or to cause preemption of other processes at more precisely defined points in time. We use these new "real-time" features to describe a simple model of a basic form of musical dissonances.}},
    }
  • G. Sarria, “Real-Time Concurrent Constraint Calculus – The Complete Operational Semantics,” Engineering Letters, vol. 19, iss. 1, pp. 38-45, 2011.
    [Bibtex]
    @article{sarria11complete,
      author    = {Gerardo Sarria},
      title     = {Real-Time Concurrent Constraint Calculus - The Complete Operational Semantics},
      journal   = {Engineering Letters},
      volume    = {19},
      number = {1},
      pages = {38--45},
      year      = {2011},
      publisher = {IAENG},
      abstract  = {{The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-time behaviour. In this paper we provide the complete operational semantics of this calculus.}}
    }
  • G. Sarria, “Application of the Real-Time Concurrent Constraint Calculus,” in Intelligent Automation and Systems Engineering, Springer, 2011, vol. 103.
    [Bibtex]
    @incollection{sarria11application,
        title = {{Application of the Real-Time Concurrent Constraint Calculus}},
        author = {Gerardo Sarria},
        booktitle = {Intelligent Automation and Systems Engineering},
        publisher = {Springer},
        volume = {103},
        series = {Lecture Notes in Electrical Engineering},
        year = {2011},
        abstract = {{The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-time behaviour. In this paper we briefly describe the operational semantics of this calculus and provide examples of its application.}},
    }
  • J. Finke and K.M.~Passino, “Local Agent Sensing, Coordination, and Motion Requirements for Stable Emergent Agent Group Distributions,” IEEE Transactions on Automatic Control, vol. 56, pp. 1426-1431, 2011.
    [Bibtex]
    @article{JFKPTAC11,
        Author = {J. Finke and K.M.~Passino},
        Journal = {IEEE Transactions on Automatic Control},
        Pages = {1426-1431},
        Title = {Local Agent Sensing, Coordination, and Motion Requirements for Stable Emergent Agent Group Distributions},
        Volume = {56},
        Issue = {6},
        Year = {2011},
        abstract ={{This paper introduces a mathematical model of the behavior of a group of agents and their interactions in a shared environment. We represent environmental spatial constraints that allow us to model range-limited sensing, motion, and communication capabilities of the agents. We derive general sensing, coordination, and motion conditions on the agents that guarantee that a desired distribution of the group of agents will emerge across the environment. We show the impact of group size on the distribution of agents, and consider the emergent distribution for different classes of environments. For more restrictive sensing and motion conditions we then characterize the rate at which the desired distribution is achieved. Finally, we show how this theory is useful in solving a multi-vehicle cooperative surveillance problem and discuss how our theory might be useful in understanding animal distributions in nature.}}
        }
  • [DOI] J. M. Nogales and J. Finke, “Local requirements for optimal distribution of heterogeneous agents,” in Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on, 2011, pp. 3596-3601.
    [Bibtex]
    @inproceedings{6161376, 
    author={Nogales, J.M. and Finke, J.}, 
    booktitle={Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on}, 
    title={Local requirements for optimal distribution of heterogeneous agents}, 
    year={2011}, 
    pages={3596-3601}, 
    abstract={This paper introduces an analytical framework for the study of a generic distribution problem where a group of heterogeneous agents intend to divide themselves into various subgroups without any form of global information-sharing or centralized decision-making. Subgroups are associated to mathematical functions that capture the marginal utilities of performing tasks, each satisfying the law of diminishing returns. We prove that under generic local requirements a stable agent distribution representing a Nash equilibrium can be achieved, and show via Monte Carlo simulations how the proposed set of rules performs under varying constraints on information flow and degrees of cooperation.}, 
    doi={10.1109/CDC.2011.6161376}, 
    ISSN={0743-1546},}
  • [DOI] P. Moriano and J. Finke, “Heavy-tailed weighted networks from local attachment strategies,” in Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on, 2011, pp. 5211-5216.
    [Bibtex]
    @inproceedings{6161494, 
    author={Moriano, P. and Finke, J.}, 
    booktitle={Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on}, 
    title={Heavy-tailed weighted networks from local attachment strategies}, 
    year={2011}, 
    pages={5211-5216}, 
    abstract={Large networks arise by the gradual addition of nodes attaching to an existing and evolving network component. There are a wide class of attachment strategies which lead to distinct structural features in growing networks. This paper introduces a mechanism for constructing, through a process of distributed decision-making, substrates for the study of collective dynamics on power-law weighted networks with both a desired scaling exponent and a desired clustering coefficient. The analytical results show that the connectivity distribution converges to the scaling behavior often found in social and engineering systems. To illustrate the approach of the proposed framework we generate network substrates that resemble the empirical citation distributions of (i) patents granted by the U.S. Patent and Trademark Office from 1975 to 1999; and (ii) opinions written by the Supreme Court and the cases they cite from 1754 to 2002.}, 
    keywords={citation analysis;decision making;information networks;network theory (graphs);clustering coefficient;connectivity distribution;distributed decision making;empirical citation distribution;engineering system;heavy-tailed weighted network component;local attachment strategy;power law weighted network substrate;scaling behavior;social system;Asymptotic stability;Complex networks;Conferences;Mathematical model;Patents;Probability distribution;Trajectory}, 
    doi={10.1109/CDC.2011.6161494}, 
    ISSN={0743-1546},}
  • J. Chen, L. E. Tobon, M. Chai, J. A. Mix, and Q. H. Liu, “Efficient Implicit–Explicit Time Stepping Scheme With Domain Decomposition for Multiscale Modeling of Layered Structures,” Components, Packaging and Manufacturing Technology, IEEE Transactions on, vol. 1, iss. 9, pp. 1438-1446, 2011.
    [Bibtex]
    @article{chen2011efficient,
      title={Efficient Implicit--Explicit Time Stepping Scheme With Domain Decomposition for Multiscale Modeling of Layered Structures},
      author={Chen, Jiefu and Tobon, Luis Eduardo and Chai, Mei and Mix, Jason A and Liu, Qing Huo},
      journal={Components, Packaging and Manufacturing Technology, IEEE Transactions on},
      volume={1},
      number={9},
      pages={1438-1446},
      year={2011},
      publisher={IEEE},
      abstract={An efficient time-domain technique is proposed for multiscale electromagnetic simulations of layered structures. Each layer of a layered structure is independently discretized by finite elements, and the discontinuous Galerkin method is employed to stitch all discretized subdomains together. The hybrid implicit–explicit Runge–Kutta scheme combined with subdomain-based Gauss–Seidel iteration is employed for time stepping. The block Thomas algorithm is utilized to accelerate time stepping for block tri-diagonal systems, which are frequently encountered in discretized layered structures. Numerical examples demonstrate that the proposed method is efficient in simulating multiscale layered structures.}
    }
  • L. Tobon, J. Chen, and Q. H. Liu, “Spurious solutions in mixed finite element method for Maxwell’s equations: dispersion analysis and new basis functions,” Journal of Computational Physics, vol. 230, iss. 19, pp. 7300-7310, 2011.
    [Bibtex]
    @article{tobon2011spurious,
      title={Spurious solutions in mixed finite element method for Maxwell’s equations: dispersion analysis and new basis functions},
      author={Tobon, Luis and Chen, Jiefu and Liu, Qing Huo},
      journal={Journal of Computational Physics},
      volume={230},
      number={19},
      pages={7300-7310},
      year={2011},
      publisher={Elsevier},
      abstract={The finite element method is a well known computational technique used to obtain numerical solutions to boundary-value problems including Maxwell’s equations. This paper first presents a brief description of the mathematical structure, based on the De Rham diagram, to discretize Maxwell’s equations. Then it uses a numerical dispersion analysis of the mixed finite element method with both electric and magnetic fields as unknowns to evaluate the presence of spurious solutions for different basis functions. These unwanted spurious solutions appear when the same order of element is used for electric and magnetic fields, while the system is free of spurious modes when different orders of elements are employed for electric and magnetic fields. In this work, finite elements in both frequency and time domain are studied, and the effects of these spurious solutions in both domains are analyzed in one- and three-dimensional cases.}
    }
  • L. Tobon, J. Chen, and Q. H. Liu, “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, 2011, pp. 2972-2975.
    [Bibtex]
    @inproceedings{tobon2011multilayer,
      title={Multilayer microwave filter design using a locally implicit discontinuous Galerkin finite-element time-domain (DG-FETD) method},
      author={Tobon, Luis and Chen, Jiefu and Liu, Qing H},
      booktitle={Antennas and Propagation (APSURSI), 2011 IEEE International Symposium on},
      pages={2972-2975},
      year={2011},
      organization={IEEE},
      abstract={A design of a multilayer microwave filter with electrical small parts is presented in this paper using an efficient implementation of locally implicit discontinuous Galerkin finite element time domain method (LIDG-FETD). Discontinuous Galerkin’s method allows the division of the model in several domains, with a reduction of the total number of unknowns by using unstructured meshes. Furthermore, in order to get
    an unconditionally stable (arbitraryt) and efficient time stepping algorithm, the implicit Crank-Nicolson method with block successive over relaxation (CN-BSOR) was implemented. Accurate and fast results were obtained respect to commercial software.}
    }

2010

  • G. Sarria, “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, San Francisco, California, USA, 2010, pp. 9-14.
    [Bibtex]
    @InProceedings{sarria10delay,
      author =    {Gerardo Sarria},
      title =    {Improving the Real-Time Concurrent Constraint Calculus with a Delay Declaration},
      booktitle =    {Lecture Notes in Engineering and Computer Science: Proceedings of the World Congress on Engineering and Computer Science 2010, WCECS 2010},
      year =    {2010},
      pages =  {9--14},
      address =    {San Francisco, California, USA},
      month =    {20-22 October},
      abstract = {{The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-time behaviour. In this paper we enhance this calculus by extending the concept of time as a discrete sequence of minimal units that we will call ticks. We also add a new construct to rtcc to be able of delaying the execution of a process for an amount of ticks. The operational semantics were adapted to support these new features. We argue that this extension makes the calculus temporally homogeneous and allows modelling real-time systems (such as an improvisation system where time is an inflexible notion) in a more precise way.}}
    }

2009

  • S. Perchy and G. Sarria, “Dissonances: Brief Description and its Computational Representation in the RTCC Calculus,” in 6th Sound and Music Computing Conference (SMC2009), Porto, Portugal, 2009.
    [Bibtex]
    @InProceedings{perchy09dissonances,
      author =    {Salim Perchy and Gerardo Sarria},
      title =    {Dissonances: Brief Description and its Computational Representation in the RTCC Calculus},
      booktitle =    {6th Sound and Music Computing Conference (SMC2009)},
      year =    {2009},
      address =    {Porto, Portugal},
      month =    {July},
      abstract = {{Dissonances in music have had a long evolution history dating back to days of strictly prohibition to times of enricheness of musical motives and forms. Nowadays, dissonances account for most of the musical expressiveness and contain a full application theory supporting their use making them a frequently adopted resource of composition. This work partially describes their theoretical background as well as their evolution in music and finally proposing a new model for their computational use.}}
    }
  • G. Sarria, “Introduction to programming for engineers following the parachute paradigm,” in Proceedings of the 39th IEEE international conference on Frontiers in education conference, San Antonio, Texas, USA, 2009, pp. 35-38.
    [Bibtex]
    @InProceedings{sarria09introprog,
     author = {Sarria, Gerardo},
     title = {Introduction to programming for engineers following the parachute paradigm},
     booktitle = {Proceedings of the 39th IEEE international conference on Frontiers in education conference},
     series = {FIE'09},
     year = {2009},
     isbn = {978-1-4244-4715-2},
     address = {San Antonio, Texas, USA},
     pages = {35--38},
     numpages = {4},
     url = {http://dl.acm.org/citation.cfm?id=1733663.1733679},
     acmid = {1733679},
     publisher = {IEEE Press},
     keywords = {introduction to programming, notions of programming, parachute paradigm, teaching/learning},
     abstract = {{Each generation of students poses a great challenge to teaching/learning methodologies. The current generation of students always tries to avoid the abstract things; they need concrete things in order to understand the world. In this paper we propose a new approach of how and what to teach in the introduction to programming course for engineers. We believe the classic approach of teaching programming by teaching a programming language is no longer appropriate for the new generations of students. We use the idea of the parachute paradigm used in specification of models to gradually introduce the notions of programming instead of the syntax and semantics of a programming language.}}
    }
  • S. Perchy and G. Sarria, “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, 2009.
    [Bibtex]
    @InProceedings{perchy09stochastic,
      author =    {Salim Perchy and Gerardo Sarria},
      title =    {Musical Composition with Stochastic Context-Free Grammars},
      booktitle =    {1st Workshop on Computer Vision and Pattern Recognition (WCVPR2009). Held as Part of the 8th Mexican International Conference on Artificial Intelligence (MICAI2009).},
      year =    {2009},
      address =    {Guanajuato, Mexico},
      month =    {November},
      abstract = {{In this paper we discuss the design of a generator of musical sequences for the purpose of aiding musicians in their compositional work. A series of steps were abstracted to reflect composition as a sequential flow of data refination; also each step involved in this process was modelled to gain each one of their functions. Specically, in the case of the main structure of the suggestion a stochastic context-free grammar was developed to generate harmonic progressions, in the case of rhythms a probabilistic model based on accents was also developed, and finally, to state individual notes of the suggestion another probabilistic model based in the dissonance of intervals was used. Each one of these models were structured upon J.S. Bach's rules of homophonic composition as this was the target musical genre of the work.}}
    }
  • [DOI] B.J.~Moore J. Finke and K.M.~Passino, “Optimal Allocation of Heterogenous Resources in Cooperative Control Scenarios,” Automatica, vol. 45, pp. 711-715, 2009.
    [Bibtex]
    @article{BMJFKPAUT09,
        Author = {B.J.~Moore, J. Finke, and K.M.~Passino},
        Journal = {Automatica},
        Pages = {711--715},
        Title = {Optimal Allocation of Heterogenous Resources in Cooperative Control Scenarios},
        Volume = {45},
        Issue = {3},
        Year = {2009},
        issn = {0005-1098},
        doi = {http://dx.doi.org/10.1016/j.automatica.2008.09.007},
        abstract={{This paper introduces a mathematical framework for the study of resource allocation problems involving the deployment of heterogeneous agents to different teams. In this context, the term heterogeneous is used to describe classes of agents that differ in the basic functions they can perform (e.g., one type of agent searches for targets while another type engages those targets). The problem is addressed in terms of optimization using concepts from economic theory and the proposed algorithm was designed to ensure asymptotic stability of the optimal solution.}}
        }

2008

  • G. Sarria and C. Rueda, “Real-Time Concurrent Constraint Programming,” in 34th Latinamerican Conference on Informatics (CLEI2008), Santa Fe, Argentina, 2008.
    [Bibtex]
    @InProceedings{sarria08rtcc,
      author =    {Gerardo Sarria and Camilo Rueda},
      title =    {Real-Time Concurrent Constraint Programming},
      booktitle =    {34th Latinamerican Conference on Informatics (CLEI2008)},
      year =    {2008},
      address =    {Santa Fe, Argentina},
      month =    {September},
      abstract = {{The ntcc calculus is a model of temporal concurrent constraint programming with the capability of expressing asynchronous and non-deterministic timed behaviour. We propose a model of real-time concurrent constraint programming, which adds to ntcc the means for specifying and modelling real-time behaviour. We provide a new construct for strong preemption, an operational semantics supporting resources and limited time and a denotational semantics based on CHU spaces. We argue that the resultant calculus has a natural application in various fields such as multimedia interaction.}}
    }
  • J. Finke N Quijano and K.M.~Passino, “Emergence of Scale Free Networks from Ideal Free Distributions,” Europhysics Letters, vol. 82, 2008.
    [Bibtex]
    @article{JFKP07JDMC,
        Author = {J. Finke, N Quijano, and K.M.~Passino},
        Journal = {Europhysics Letters},
        Title = {Emergence of Scale Free Networks from Ideal Free Distributions},
        Volume = {82},
        Issue = {2},
        Year = {2008},
        issn={0295-5075},
        abstract={{This letter presents a class of network optimization processes that account for the emergence of scale-free network structures. We introduce a mathematical framework that captures the connectivity and growth dynamics of a network with an arbitrary initial topology. We show how selection via differential node fitness affects the proportion of connections a node makes to other nodes, and how a heavy-tailed connectivity behavior manifests itself from consecutive achievements of ideal free distributions (IFDs). Finally, we present simulation results that show how this class of networks may emerge even when consecutive IFDs are not perfectly reached.}}
        }