GICOMP: Grupo de investigación en computación

URI permanente para esta comunidad

https://hdl.handle.net/10784/7941

Se dedica a la investigación aplicada en computación, respondiendo a los avances tecnológicos más recientes y anticipando futuras necesidades de la sociedad y la industria. En la actualidad, las tecnologías emergentes han transformado la informática y las telecomunicaciones, generando nuevos desafíos que el grupo aborda a través de cuatro líneas de investigación clave, cada una fundamentada en el estado del arte de sus respectivas disciplinas. Lógica y Computación: El desarrollo de algoritmos basados en fundamentos lógicos y matemáticos sigue siendo un campo de gran relevancia, especialmente en áreas como la verificación formal y el modelado computacional. Los avances recientes incluyen el uso de técnicas de model checking y teoremas automáticos para la verificación de sistemas complejos, garantizando mayor fiabilidad y precisión en aplicaciones críticas como la aviación, la medicina y las finanzas. La lógica computacional, que sigue evolucionando con nuevos enfoques como las lógicas temporales y modales, ha facilitado la creación de algoritmos más robustos para la optimización y resolución de problemas.

Líneas de investigación: Datos e Infraestructura TI, Ingeniería de Software, Inteligencia Artificial, Lógica y Computación.
Código Minciencias: COL0013281.
Categoría 2021: A1.
Escuela: Ciencias Aplicadas e Ingeniería.
Líder: Juan David Martínez Vargas.
Correo electrónico: jdmartinev@eafit.edu.co

Fusión de los grupos: I+D+I en TIC (GIDITIC) y Lógica y Computación (2025)

Noticias

https://www.eafit.edu.co/sistema-ciencia-tecnologia-innovacion/investigacion/grupos-investigacion/gicomp
https://scienti.minciencias.gov.co/gruplac/jsp/visualiza/visualizagr.jsp?nro=00000000008099

Examinar

Mostrando 1 - 20 de 326

10 Challenges for the Specification of Self-Adaptive Software
(IEEE, 2018-01-01) Munoz-Fernandez, JC; Mazo, R; Salinesi, C; Tamura, G; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
The demand for systems that continue on operation by adapting themselves in response to disturbing changes in their environment has increased in the last decades. Those systems, termed self-adaptive software (SAS) systems, should be developed with techniques and methods appropriated for analysing and designing this kind of systems, starting from the requirements phase. Several contributions propose approaches to improve the specification of requirements for those systems. This paper aims to review the most significant challenges still open in the domains of languages for requirements specification and methods for model verification of self-adaptive systems, independently of their particular application areas. More concretely, the main contribution of this paper is a list of ten challenges to achieve a better-defined specification of requirements for SAS systems, and a more effective verification of such specifications. These challenges are well worthy of being addressed in both communities, the requirements engineering (RE) and the SAS one.
2D simulation flue implementing the lattice-boltzmann method
(TRANS TECH PUBLICATIONS LTD, 2014-01-01) Ruiz, D.B.; Mesa, A.A.; Alvis, R.G.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Currently in the process of engineering, but increasingly implemented simulation methods since they are an economical and feasible to predict the behavior of some variable you wish to benefit. The problem of fluid simulation is a broad field of study, traditionally in this area are implemented domain discretization methods, volumes, differences or finite elements (Computational Fluid Dynamics), in this work, a different approach where the discretization is made on the physical properties of fluid and the fluid for reconstruction from its microscopic properties, simulating these, propagating Boltzmann distribution functions for the grid of nodes, this set is comprised of a fluid group of nodes, nodes fluid the border and nodes structure, docked the method to the boundary conditions necessary to simulate Glycerol in a pipe. © (2014) Trans Tech Publications, Switzerland.
2D simulation pipeline implementing the Lattice-Boltzmann method
(TRANS TECH PUBLICATIONS LTD, 2013-09-01) Gomez, Rodrigo Orlando; Gomez, Rodrigo Orlando; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
3D Collaborative Virtual Environment for Real-Time GUI Sketching
(2011-07-01) Trefftz, Helmuth; Trefftz, Helmuth; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
A debugging scheme for functional logic programs
(Elsevier BV, 2002-01-01) Alpuente, M.; Correa, F.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
We present a generic scheme for the declarative debugging of functional logic programs which is valid for eager as well as lazy programs. In particular we show that the framework extends naturally some previous work and applies to the most modern lazy strategies, such as needed narrowing. First we associate to our programs a semantics based on a (continuous) immediate consequence operator, TR, which models computed answers. We show that, given the intended specification of a program R, it is possible to check the correctness of R by a single step of TR. We consider then a more effective methodology which is based on abstract interpretation: by approximating the intended specification of the success set we derive a finitely terminating diagnosis method, which can be used statically and is parametric w.r.t. to the chosen approximation. In order to correct the bugs, we sketch a preliminary deductive approach which uses example-guided unfolding. We specialize the incorrect rules w.r.t. sets of positive and negative examples which are gathered (bottom-up) during the diagnosis process, so that all refutations of negative examples and no refutation of positive examples are excluded. Our debugging framework does not require the user to either provide error symptoms in advance or answer difficult questions concerning program correctness. We extend an implementation of our system to the case of needed narrowing and illustrate it through some examples which demonstrate the practicality of our approach. © 2002 Published by Elsevier Science B.V.
A Debugging Scheme of Functional Logic Programs
(Elsevier BV, 2002-01-01) Correa, Francisco Jose; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
A FIRST-ORDER TIME CONSTANT ESTIMATION FOR NONLINEAR DIFFUSION PROBLEMS
(TAYLOR & FRANCIS INC, 2014-06-03) Simon, Laurent; Ospina, Juan; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
A Laplace transform-based procedure was proposed to calculate the effective time constant for a class of nonlinear diffusion problems. The governing mathematical representation was first estimated with a linear model by omitting the nonlinear term. The solution to this problem was later introduced into the original equation, which was solved with Laplace transforms, resulting in a first-order approximation of the real system's behavior. A time constant was calculated using frequency-domain expressions. Two case studies were considered to illustrate the methodology. As the rate of heat supplied to a rod is raised, the speed at which the temperature reached an equilibrium value decreased. Increasing the maximum velocity in reaction-diffusion transport by a factor of three lowered the time constant by only 1.7%. The applications of this method range from biosensor dynamics to process control. © 2014 Copyright Taylor and Francis Group, LLC.
A possible hypercomputational quantum algorithm
(SPIE-INT SOC OPTICAL ENGINEERING, 2005-01-01) Sicard, A; Velez, M; Ospina, J; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
The term `hypermachine' denotes any data processing device (theoretical or that can be implemented) capable of carrying out tasks that cannot be performed by a Turing machine. We present a possible quantum algorithm for a classically non-computable decision problem, Hilbert's tenth problem; more specifically, we present a possible hypercomputation model based on quantum computation. Our algorithm is inspired by the one proposed by Tien D. Kieu, but we have selected the infinite square well instead of the (one-dimensional) simple harmonic oscillator as the underlying physical system. Our model exploits the quantum adiabatic process and the characteristics of the representation of the dynamical Lie algebra su(1, 1) associated to the infinite square well.
A Set Theory Formalization
(2017) Calle-Saldarriaga, Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; acalles@eafit.edu.co
A three-dimensional semi-analytical solution for predicting drug release through the orifice of a spherical device
(ELSEVIER SCIENCE BV, 2016-07-25) Simon, L.; Ospina, J.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Three-dimensional solute transport was investigated for a spherical device with a release hole. The governing equation was derived using the Fick's second law. A mixed Neumann-Dirichlet condition was imposed at the boundary to represent diffusion through a small region on the surface of the device. The cumulative percentage of drug released was calculated in the Laplace domain and represented by the first term of an infinite series of Legendre and modified Bessel functions of the first kind. Application of the Zakian algorithm yielded the time-domain closed-form expression. The first-order solution closely matched a numerical solution generated by Mathematica (R). The proposed method allowed computation of the characteristic time. A larger surface pore resulted in a smaller effective time constant. The agreement between the numerical solution and the semi-analytical method improved noticeably as the size of the orifice increased. It took four time constants for the device to release approximately ninety-eight of its drug content. © 2016 Elsevier B.V. All rights reserved.
Achieving object persistence in an augmented reality indoor environment
(2003-01-01) Gutiérrez, M.D.; Márquez, A.M.; Trefftz, H.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
In this paper we present a system for achieving object persistence in Augmented Reality Indoors Environments. In AR systems based on the Augmented Reality toolkit without object persistence, virtual objects appear and disappear as the corresponding pattern gets in and out of the user's field of view. Object persistence allows the environment to remember the relative position and orientation of virtual objects, making them appear more stable to the user. We describe object persistence as a series of transformations applied to the objects in a simple indoor environment. We then present the results of a quantitative experiment that shows how interactivity is improved by the use of object persistency.
Adaptive Architecture to Support Context-Aware Collaborative Networked Virtual Surgical Simulators
(Springer international publishing, 2014-01-01) Díaz, Christian; Gomez, H.T.; Quintero, Lucía; Acosta, Diego; Srivastava, Sakti; Díaz, Christian; Gomez, H.T.; Quintero, Lucía; Acosta, Diego; Srivastava, Sakti; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Adaptive architecture to support context-aware Collaborative Networked Virtual Surgical Simulators (CNVSS)
(SPRINGER, 2014-01-01) Diaz, C.; Trefftz, H.; Quintero, L.; Acosta, D.; Srivastava, S.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Stand-alone and networked surgical virtual reality based simulators have been proposed as means to train surgical skills with or without a supervisor nearby the student or trainee. However, surgical skills teaching in medicine schools and hospitals is changing, requiring the development of new tools to focus on: (i) importance of mentors role, (ii) teamwork skills and (iii) remote training support. For these reasons a surgical simulator should not only allow the training involving a student and an instructor that are located remotely, but also the collaborative training session involving a group of several students adopting different medical roles during the training session. Collaborative Networked Virtual Surgical Simulators (CNVSS) allow collaborative training of surgical procedures where remotely located users with different surgical roles can take part in a training session. Several works have addressed the issues related to the development of CNVSS using various strategies. To the best of our knowledge no one has focused on handling heterogeneity in collaborative surgical virtual environments. Handling heterogeneity in this type of collaborative sessions is important because not all remotely located users have homogeneous Internet connections, nor the same interaction devices and displays, nor the same computational resources, among other factors. Additionally, if heterogeneity is not handled properly, it will have an adverse impact on the performance of each user during the collaborative session. In this paper we describe the development of an adaptive architecture with the purpose of implementing a context-aware model for collaborative virtual surgical simulation in order to handle the heterogeneity involved in the collaboration session. © 2014 Springer International Publishing.
Adaptive Architecture to Support Context-Aware Collaborative Networked Virtual Surgical Simulators (CNVSS)
(2014-01-01) Diaz Leon, Christian Andres; Gomez, H.T.; Lucia Quintero M, O.; Acosta Maya, D.A.; Sakti Srivastava; Diaz Leon, Christian Andres; Gomez, H.T.; Lucia Quintero M, O.; Acosta Maya, D.A.; Sakti Srivastava; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Stand-alone and networked surgical virtual reality based simulators have been proposed as means to train surgical skills with or without a supervisor nearby the student or trainee. However, surgical skills teaching in medicine schools and hospitals...
Adaptive LAMDA applied to identify and regulate a process with variable dead time
(Institute of Electrical and Electronics Engineers Inc., 2020-01-01) Morales L.; Pozo D.; Aguilar J.; Rosales A.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
In this paper, an adaptive intelligent controller based on the fuzzy algorithm called LAMDA (Learning Algorithm for Multivariable Data Analysis) is presented in order to identify and regulate a process with variable dead time. The original algorithm has been used for supervised and unsupervised learning, whose main field of application is the identification of functional states of the systems. In this work a modification of LAMDA has been implemented which is capable of online learning using hybrid techniques. The proposal consists of two stages: training stage to learn about the unknown plant in order to establish initial parameters to the controller, and a second phase, called application, in which the control strategy is updated using online learning. The proposed method is tested in the control objective of regulation of a process with variable dead time, to analyze the viability of its utilization in these types of systems in which their dynamics are variable and unknown. © 2020 IEEE.
Adaptive learning objects in the context of eco-connectivist communities using learning analytics
(Elsevier BV, 2019-11-01) Diego, Mosquera; Carlos, Guevara; Jose, Aguilar; Diego, Mosquera; Carlos, Guevara; Jose, Aguilar; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Eco-connectivist communities are groups of individuals with similar characteristics, which emerge in a connectivist learning process within a knowledge ecology. ARMAGAeco-c is a reflexive and autonomic middleware for the management and optimization of eco-connectivist knowledge ecologies using description, prediction and prescription models. Adaptive Learning Objects are autonomic components that seek to personalize Learning Objects according to certain contextual information, such as learning styles of the learner's, technological restrictions, among other aspects. MALO is a system that allows the management of Adaptive Learning Objects. One of the main challenges of the connectivist learning process is the adaptation of the educational context to the student needs. One of them is the learning objects. For this reason, this work has two objectives, specifying a data analytics task to determine the learning style of a student in an eco-connectivist community and, adapting instances of Adaptive Learning Objects using the learning styles of the students in the communities. We use graph theory to identify the referential member of each eco-connectivist community, and a learning paradigm detection algorithm to identify the set of activities, strategies, and tools that Adaptive Learning Objects instances should have, according to the learning style of the referential member. To test our approach, a case study is presented, which demonstrates the validity of our approach.
Adaptive System for the Generation of Emerging Behaviors in Serious Emerging Games
(Instituto Politecnico Nacional, 2020-01-01) Aguilar, Jose; Altamiranda, Junior; Diaz, Francisco; Aguilar, Jose; Altamiranda, Junior; Diaz, Francisco; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
A video game adaptation system (SAV) for serious emergent games (JSE), allows emergent behaviors in the game, such as the appearance of environments, events, narratives and characters, among others, in order to adapt to the context in the one that is developing. In previous articles the architecture of a JSE engine has been proposed. Furthermore, a first subsystem has been proposed that allows the emergence of a JSE according to the objectives of the environment, based on the ant colony optimization algorithm (ACO). In the present work, the second component of said architecture is specified, the SAV, which allows its dynamic adaptation (during the JSE). The SAV is made up of the sub-layers of strategies, sequences and properties, which manage each of these types of possible emergencies in a JSE, with the intention of dynamically adapting it to the context-domain where the game is being played. Furthermore, in this work the behavior of these sublayers is analyzed in a specific case study, showing very encouraging results of SAV in the educational context of an intelligent classroom (SaCI).
Adequation of a Virtual Immersive Environment for a Learning-Teaching Interaction Using the Limem 3d Method.
(2015-01-01) TORRES, DAVID MAURICIO; Gomez, H.T.; TORRES, DAVID MAURICIO; Gomez, H.T.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Over the past thirty years, since the advent of the Web, the potential use of virtual environments for teaching-learning processes has undergone an exponential increase, leading us quickly from the use of web pages to social networks, and fro
Advanced fuzzy-logic-based context-driven control for HVAC management systems in buildings
(Institute of Electrical and Electronics Engineers Inc., 2020-01-01) Morales Escobar L.; Aguilar J.; Garces-Jimenez A.; Gutierrez De Mesa J.A.; Gomez-Pulido J.M.; Morales Escobar L.; Aguilar J.; Garces-Jimenez A.; Gutierrez De Mesa J.A.; Gomez-Pulido J.M.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Control in HVAC (heating, ventilation and air-conditioning) systems of buildings is not trivial, and its design is considered challenging due to the complexity in the analysis of the dynamics of its nonlinear characteristics for the identification of its mathematical model. HVAC systems are complex since they consist of several elements, such as heat pumps, chillers, valves, heating/cooling coils, boilers, air-handling units, fans, liquid/air distribution systems, and thermal storage systems. This article proposes the application of LAMDA (learning algorithm for multivariable data analysis) for advanced control in HVAC systems for buildings. LAMDA addresses the control problem using a fuzzy classification approach without requiring a mathematical model of the plant/system. The method determines the degree of adequacy of a system for every class and subsequently determines its similarity degree, and it is used to identify the functional state or class of the system. Then, based on a novel inference method that has been added to LAMDA, a control action is computed that brings the system to a zero-error state. The LAMDA controller performance is analyzed via evaluation on a regulation problem of an HVAC system of a building, and it is compared with other similar approaches. According to the results, our method performs impressively in these systems, thereby leading to a trustable model for the implementation of improved building management systems. The LAMDA control performs very well for disturbances by proposing control actions that are not abrupt, and it outperforms the compared approaches. © 2013 IEEE.
Agents as tutors in augmented reality
(2003-01-01) Álvarez, N.; Trefftz, H.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
Interaction between virtual entities and human beings should be similar to the normal interaction between human beings. Verbal interaction is the usual way of interaction among humans, but the interfaces that allow verbal communication between a human being and an agent (virtual human) have a limited vocabulary, need a lot of training and are expensive. In this paper we propose an Augmented Reality System with an unidirectional interface between an agent and a person. By using gestures, animations and adequate texts the agent can show a user how to perform a simple task. We hope that the tests to be conducted will show how useful this unidirectional interface is.

Examinar

Examinando GICOMP: Grupo de investigación en computación por Título

Resultados por página

Opciones de ordenación