Lógica y Computación

URI permanente para esta comunidad

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

Realiza actividades enfocadas en la construcción de modelos de computabilidad y a establecer sus relaciones con algunos modelos ya existentes; además de instaurar las diferentes posibilidades que ofrece la física cuántica, y en general la física moderna, para la construcción de nuevos modelos de computación y programación.

Líneas de investigación:Computabilidad; Lógicas no Clásicas; Lógicas, Lenguajes y Algoritmos; Mecánica Cuántica y Computación.
Código Minciencias: COL0013352.
Categoría 2019: B.
Escuela: Ciencias.
Departamento académico: Ciencias Matemáticas.
Coordinador: Andrés Sicard Ramírez.
Correo electrónico: asr@eafit.edu.co

Examinar

Mostrando 1 - 20 de 126

A Set Theory Formalization
(2017) Calle-Saldarriaga, Alejandro; acalles@eafit.edu.co
AIR-MODELLING: A tool for gesture-based solid modelling in context during early design stages in AR environments
(ELSEVIER SCIENCE BV, 2015-01-01) Arroyave-Tobon, Santiago; Osorio-Gomez, Gilberto; Cardona-McCormick, Juan F.; Arroyave-Tobon, Santiago; Osorio-Gomez, Gilberto; Cardona-McCormick, Juan F.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Augmented reality (AR) technologies are just being used as interface in CAD tools allowing the user to perceive 3D models over a real environment. The influence of the use of AR in the conceptualization of products whose configuration, shape and dimensions depend mainly on the context remains unexplored. We aimed to prove that modelling in AR environments allows to use the context in real-time as an information input for making the iterative design process more efficient. In order to prove that, we developed a tool called AIR-MODELLING in which the designer is able to create virtual conceptual products by hand gestures meanwhile he/she is interacting directly with the real scenario. We conducted a test for comparing designers' performance using AIR-MODELLING and a traditional CAD system. We obtained an average reduction of 44% on the modeling time in 76% of the cases. We found that modelling in AR environments using the hands as interface allows the designer to quickly and efficiently conceptualize potential solutions using the spatial restrictions of the context as an information input in real-time. Additionally, modelling in a natural scale, directly over the real scene, prevents the designer from drawing his/her attention on dimensional details and allows him/her to focus on the product itself and its relation with the environment. © 2014 Elsevier B.V. All rights reserved.
Algebraic analysis of social networks for bio-surveillance: the cases of SARS-Beijing-2003 and AH1N1 influenza-Mexico-2009.
(SPRINGER-VERLAG BERLIN, 2011-01-01) Hincapié D; Ospina J; Hincapié D; Ospina J; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Algebraic analysis of social networks exhibited by SARS-Beijing-2003 and AH1N1 flu-Mexico-2009 was realized. The main tools were the Tutte polynomials and Maple package Graph-Theory. The topological structures like graphs and networks were represented by invariant polynomials. The evolution of a given social network was represented like an evolution of the algebraic complexity of the corresponding Tutte polynomial. The reduction of a given social network was described like an involution of the algebraic complexity of the associated Tutte polynomial. The outbreaks of SARS and AH1N1 Flu were considered like represented by a reduction of previously existing contact networks via the control measures executed by health authorities. From Tutte polynomials were derived numerical indicators about efficiency of control measures.
Ambientes de Aprendizaje en el Siglo XXI
(2008-11-01) Correa, Francisco Jose; CORREA, FRANCISCO JOSE; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Analysis of a generalized model for influenza including differential susceptibility due to immunosuppression
(SPIE-INT SOC OPTICAL ENGINEERING, 2014-01-01) Hincapié, D.; Ospina, J.; Hincapié, D.; Ospina, J.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Recently, a mathematical model of pandemic influenza was proposed including typical control strategies such as antivirals, vaccination and school closure; and considering explicitly the effects of immunity acquired from the early outbreaks on the ulterior outbreaks of the disease. In such model the algebraic expression for the basic reproduction number (without control strategies) and the effective reproduction number (with control strategies) were derived and numerically estimated. A drawback of this model of pandemic influenza is that it ignores the effects of the differential susceptibility due to immunosuppression and the effects of the complexity of the actual contact networks between individuals. We have developed a generalized model which includes such effects of heterogeneity. Specifically we consider the influence of the air network connectivity in the spread of pandemic influenza and the influence of the immunosuppresion when the population is divided in two immune classes. We use an algebraic expression, namely the Tutte polynomial, to characterize the complexity of the contact network. Until now, The influence of the air network connectivity in the spread of pandemic influenza has been studied numerically, but not algebraic expressions have been used to summarize the level of network complexity. The generalized model proposed here includes the typical control strategies previously mentioned (antivirals, vaccination and school closure) combined with restrictions on travel. For the generalized model the corresponding reproduction numbers will be algebraically computed and the effect of the contact network will be established in terms of the Tutte polynomial of the network. © 2014 Copyright SPIE.
Analysis of the boundary conditions for pyramidal spine fins in extended surface heat transfer
(WITPress, 2014-01-01) Carranza, R.G.; Ospina, J.; Carranza, R.G.; Ospina, J.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Many studies are conducted for pyramidal spine fins relating to temperature profiles and fin efficiencies. However, it is found that a deeper look into the boundary conditions is required. The conditions at the base are simple enough, but the conditions at the tip are more complicated. Despite what condition is applied to the tip, the value at the tip actually has a specific value that is a function of the square root of the Biot number. This result is proven using basic principles from calculus, like the Limit and L’Hospital’s rule. © 2014 WIT Press.
Analytical solution for transient flow of a generalized bingham fluid with memory in a movable tube using computer algebra
(SPRINGER, 2007-01-01) Ospina, Juan; Velez, Mario; Ospina, Juan; Velez, Mario; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
A rheological linear model for a certain generalized Bingham fluid with rheological memory, which flows in a movable tube is proposed and analytically solved. The model is a system of two linear and coupled partial differential equations with integral memory. We apply the Laplace transform method making the inverse transform by means of the Bromwich integral and the theorem of residues and the analytical solution are obtained using computer algebra. We deduce the explicit forms of the velocity and stress profiles for the generalized Bingham fluid in terms of Bessel and Struve functions. Various limit cases are obtained and the standard Hagen-Poiseuille and Buckingham-Reiner equations are recovered from more general equations. This works shows the powerful of Maple to solve complex rheological problems in an analytical form as it is presented here by the first time. © Springer-Verlag Berlin Heidelberg 2007.
Appendix: Subroutines and M-functions
(2004-01-01) Sicard, Andrés
Approximated analytical solution to an Ebola optimal control problem
(Board Members, 2016-01-01) Hincapié-Palacio, D.; Ospina, J.; Torres, D.F.M.; Hincapié-Palacio, D.; Ospina, J.; Torres, D.F.M.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
An analytical expression for the optimal control of an Ebola problem is obtained. The analytical solution is found as a first-order approximation to the Pontryagin Maximum Principle via the Euler-Lagrange equation. An implementation of the method is given using the computer algebra system Maple. Our analytical solutions confirm the results recently reported in the literature using numerical methods.
Arboles de forzamiento semantico
(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
(2006-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Arboles de forzamiento semántico para operaciones entre conjuntos
(2017-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Argumentación deductiva con diagramas y árboles de forzamiento
(Fondo Editorial Universidad EAFIT, 2010-01-01) Sierra-Aristizabal, Manuel H.; Sierra-Aristizabal, Manuel H.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Este libro se encuentra orientado hacia la argumentación deductiva con énfasis en la presentación visual con diagramas, con los cuales se busca mostrar de manera precisa y detallada la forma como se articula un razonamient.
Bases para la modelación de epidemias: El caso del síndrome respiratorio agudo severo en Canadá
(Universidad Nacional de Colombia, 2007-01-01) Hincapié, D.; Ospina, J.; Hincapié, D.; Ospina, J.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Objective: Severe acute respiratory syndrome propagation in Canada during 2003 is analysed by means of simple models, comparing the influence of isolation measures on two epidemic waves. Methods: Deterministic susceptible-infected and susceptible-infected-removed models were used for both epidemic waves, using official published information. NLREG 6.2 was used for estimating deterministic parameters and analytical solutions were obtained with Maple 9 software. Dynamical indicators were obtained for the epidemic. Results: Suitable adjustment of the data was observed with both models, but smaller adjustment was observed during the second wave with the non- removed model. The highest rate of infectiousness was shown (35 new cases per 10 000 susceptible people) during the second wave (with R0 near to one), in spite of presenting greater incidence (8.8 cases per day), compensated for by a high rate of removal (11,5 cases per day) which lasted less than the epidemic (11,1 days), and a lower rate of attack (1 case per each 100 susceptible people). Conclusions: The susceptible-infected model can be useful during an epidemic's initial phase (prior to removal); however, closer monitoring of an epidemic's development is required for modelling the strength of removal and deriving useful information for decision-making.
Basic reproductive rate of a spatial epidemic model using computer algebra software
(2005-01-01) Doracelly Hincapié, P.; Juan Ospina, G.; Doracelly Hincapié, P.; Juan Ospina, G.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Using computer algebra software we obtain the basic reproductive rate corresponding to the propagation of a directly transmitted disease in a circular habitat when the disease is endemic at the boundary. The method used is the Laplace Transform Technique and calculus of residues. The results that were obtained include both the explicit form of the R0 for the boundary condition that was considered, as the explicit symbolic solution of the model equation. The method that was used can be extended to other more complex problems such as indirectly transmitted diseases with one or more intermediary hosts or effects of genetic, immunological, geographical or social heterogeneity in the human population. This application indicates that the computer algebra software for symbolic computation has a very promissory future in mathematical epidemiology.
Biomedical computer vision using computer algebra: Analysis of a case of rhinocerebral mucormycosis in a diabetic boy
(Springer Science + Business Media, 2010-01-01) Vélez, M.; Ospina, J.; Vélez, M.; Ospina, J.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Computer algebra is applied to biomedical computer vision. Specifically certain biomedical images resulting from a case of rhinocerebral mucormysocis in a diabetic boy are analyzed using techniques in computational geometry and in algebraic-geometric topology. We apply convolution and deblurring via diffusion equation from the side of computational geometry and knot theory, graph theory and singular homology form the side of algebraic-geometric topology. Our strategy consists in to represent the biomedical images using algebraic structures in such way that the peculiarities of the images are represented using algebraic complexities. With our strategy we obtain an automatic procedure for the analysis and the diagnostic based on biomedical images. © 2010 Springer-Verlag Berlin Heidelberg.
Biomedical Computer Vision Using Computer Algebra: Analysis of a Case of Rhinocerebral Mucormycosis in a Diabetic Boy
(Springer Berlin Heidelberg, 2010-01-01) Mario C. Vélez-Gallego; Giraldo JO
Computer algebra is applied to biomedical computer vision. Specifically certain biomedical images resulting from a case of rhinocerebral mucormysocis in a diabetic boy are analyzed using techniques in computational geometry and in algebraic-geometric
Caracterización deductiva de los árboles de forzamiento semántico
(Fondo Editorial Universidad EAFIT, 2006-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Caracterización semántica de la jerarquía SCR-n
(2007-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Closed-form solutions for drug transport through controlled-release devices in two and three dimensions
(Wiley, 2015-04-01) Ospina, Juan Fernando; Laurent, Simon; Ospina, Juan Fernando; Laurent, Simon; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
Provides solutions for two- and three-dimensional linear models of controlled-release systems Real-world applications are taken from used to help illustrate the methods in Cartesian, cylindrical and spherical coordinate systems Covers the modeling of drug-delivery systems and provides mathematical tools to evaluate and build controlled-release devices Includes classical and analytical techniques to solve boundary-value problems involving two- and three-dimensional partial differential equations Provides detailed examples, case studies and step-by-step analytical solutions to relevant problems using popular computational software. © 2016 by John Wiley & Sons, Inc. All rights reserved.

Examinar

Examinando Lógica y Computación por Título

Resultados por página

Opciones de ordenación