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

Collections in this community

Recent Submissions

  • Métodos numéricos 

    Correa, F. (Fondo Editorial Universidad EAFIT, 2010-01-01)
    La obra aborda de forma agradable un panorama conceptual del tema y propone con riqueza metodológica, posibilidades de aplicación de cada método con argumentos matemáticos y computacionales.Los lectores que desarrollen las ...
  • Lógica Básica Para La Verdad Aristotélica 

    SIERRA, MANUEL HERNANDO (Editorial EAFIT, 2010-01-01)
  • Inferencia Visual Para Lógicas Normales 

    SIERRA, MANUEL HERNANDO (Editorial EAFIT, 2001-01-01)
  • Informática Teórica. Elementos Propedeúticos 

    Sicard, Andrés (Editorial EAFIT, 2001-03-01)
  • Closed-form solutions for drug transport through controlled-release devices in two and three dimensions 

    Ospina, Juan Fernando; Laurent, Simon (Wiley, 2015-04-01)
    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 ...
  • Argumentación deductiva con diagramas y árboles de forzamiento 

    Sierra-Aristizabal, Manuel H. (Fondo Editorial Universidad EAFIT, 2010-01-01)
    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.
  • Inferencia visual para las lógicas normales 

    Sierra-Aristizabal, Manuel H. (Editorial EAFIT, 2011-01-01)
    Este texto propone un método novedoso para el cálculo proposicional clásico, partiendo de un conjunto de reglas muy sencillas, inspiradas en las tablas de verdad tradicionales pero sin lo engorroso de estas.
  • Informática teórica: Elementos propedéuticos 

    Gomez, Raul; Sicard, A (Editorial EAFIT, 2001-01-01)
    La obra que aquí ofrecemos es el producto de un haz de confluencias, realizado a partir de encuentros afortunados que nos han permitido compartir nuestros conocimientos y experimentaciones como profesores de los diversos ...
  • Solving large systems of linear equations on GPUs 

    Llano-Ríos T.F.; Ocampo-García J.D.; Yepes-Ríos J.S.; Correa-Zabala F.J.; Trefftz C. (Springer Verlag, 2018-01-01)
    Graphical Processing Units (GPUs) have become more accessible peripheral devices with great computing capacity. Moreover, GPUs can be used not only to accelerate the graphics produced by a computer but also for general ...
  • Solving Large Systems of Linear Equations on GPUs 

    Ocampo, Juan Diego; Yepes, Johan; Zabala F.J.C.; Trefftz, Christian (Springer, 2018-08-19)
    Graphical Processing Units (GPUs) have become more accessible peripheral devices with great computing capacity. Moreover, GPUs can be used not only to accelerate the graphics produced by a computer but also for general ...
  • Implementing an active learning platform to support student learning in a numerical analysis course 

    Zabala F.J.C.; Parker H.E.; Vieira C. (Institute of Electrical and Electronics Engineers Inc., 2017-01-01)
    Classroom instruction in the 21st century needs to incorporate innovative, research-based pedagogies. The engineering classroom is currently experiencing a shift towards more active learning activities due to both advances ...
  • Possible topological quantum computation via khovanov homology: D-brane topological quantum computer 

    Vélez, M.; Ospina, J. (SPIE-INT SOC OPTICAL ENGINEERING, 2009-01-01)
    A model of a D-Brane Topological Quantum Computer (DBTQC) is presented and sustained. The model isbased on four-dimensional TQFTs of the Donaldson-Witten and Seiber-Witten kinds. It is argued that the DBTQC is able to ...
  • The epidemic threshold theorem with social and contact heterogeneity 

    Palacio, D.H.; Giraldo, J.O.; Arias, R.D.G. (SPIE-INT SOC OPTICAL ENGINEERING, 2008-03-17)
    The threshold theorem of an epidemic SIR model was compared when infectious and susceptible individuals have homogeneous mixing and heterogeneous social status and when individuals of random networks have contact heterogeneity. ...
  • Embedding a logical Theory of Constructions in agda 

    Bove, A.; Dybjer, P.; Sicard-Ra?irez, A. (2009-01-01)
    We propose a new way to reason about general recursive functional in the dependently typed programming language Agda,is based on Martin-Löf's intuitionistic type theory. We show to embed an external programming logic, ...
  • Possible quantum algorithms for the Bollobás-Riordan-Tutte polynomial of a ribbon graph 

    Velez, M.; Ospina, J. (SPIE-INT SOC OPTICAL ENGINEERING, 2008-01-01)
    Three possible quantum algorithms, for the computation of the Bollobás-Riordan-Tutte polynomial of a given ribbon graph, are presented and discussed. The first possible algorithm is based on the spanning quasi-trees expansion ...
  • Solving stochastic epidemiological models using computer algebra 

    Hincapie, D.; Ospina, J. (SPIE-INT SOC OPTICAL ENGINEERING, 2011-01-01)
    Mathematical modeling in Epidemiology is an important tool to understand the ways under which the diseases are transmitted and controlled. The mathematical modeling can be implemented via deterministic or stochastic models. ...
  • Mathematical model for dengue with three states of infection 

    Hincapie, D.; Ospina, J. (SPIE-INT SOC OPTICAL ENGINEERING, 2012-01-01)
    A mathematical model for dengue with three states of infection is proposed and analyzed. The model consists in a system of differential equations. The three states of infection are respectively asymptomatic, partially ...
  • Basic reproductive rate of a spatial epidemic model using computer algebra software 

    Doracelly Hincapié, P.; Juan Ospina, G. (2005-01-01)
    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 ...
  • Two qutrits universal quantum gates from the nine-dimensional unitary solutions of the Yang-Baxter equation 

    Vélez, M.; Ospina, J. (SPIE-INT SOC OPTICAL ENGINEERING, 2007-04-25)
    Using the Kauffman-Lomonaco method, some two-qutrits universal quantum gates are derived from the nine-dimensional unitary solutions of the Yang-Baxter equations associated with algebraic structures like the partial transpose ...
  • The Critical Proportion of Immune Individuals needed to Control Hepatitis B 

    Ospina, J.; Hincapié-Palacio, D. (SPIE-INT SOC OPTICAL ENGINEERING, 2016-05-13)
    We estimate the critical proportion of immunity (Pc) to control hepatitis B in Medellin - Colombia, based on a random population survey of 2077 individuals of 6-64 years of age. The force of infection (Fi) was estimated ...

View more