Documentos de conferencia
Recent Submissions

Implementing an active learning platform to support student learning in a numerical analysis course
(Institute of Electrical and Electronics Engineers Inc., 20170101)Classroom instruction in the 21st century needs to incorporate innovative, researchbased pedagogies. The engineering classroom is currently experiencing a shift towards more active learning activities due to both advances ... 
Solving Large Systems of Linear Equations on GPUs
(Springer, 20180819)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
(Springer Verlag, 20180101)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 stochastic epidemiological models using computer algebra
(SPIEINT SOC OPTICAL ENGINEERING, 20110101)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
(SPIEINT SOC OPTICAL ENGINEERING, 20120101)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
(20050101)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 ... 
The Critical Proportion of Immune Individuals needed to Control Hepatitis B
(SPIEINT SOC OPTICAL ENGINEERING, 20160513)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 664 years of age. The force of infection (Fi) was estimated ... 
Symbolic solution for generalized quantum cylindrical wells using computer algebra
(20080101)This paper present how to solve the problem of cylindrical quantum wells with potential energy different from zero and with singularity of the energy on the axis of the cylinder. The solution to the problem was obtained ... 
Dynamics of an Electrochemical Biosensor for the Detection of Toxic Substances in Water
(SPIEINT SOC OPTICAL ENGINEERING, 20160101)A proposed analytical method focuses on electrolyte transport to the electrode of an electrochemical cell. The recombinant Escherichia coli wholecell biosensor detects toxicity in water based on a set of biochemical ... 
Solution of the wave equation for an oscillating punctual source by means of the finite elements method
(SPIEINT SOC OPTICAL ENGINEERING, 20160101)Finite Elements Method (FEM) and Finite Differences Method (FDM) in the Euler implicit approach, were used in order to determine the bidimensional electromagnetic field of an oscillating punctual source inside a square ... 
Possible topological quantum computation via khovanov homology: Dbrane topological quantum computer
(SPIEINT SOC OPTICAL ENGINEERING, 20090101)A model of a DBrane Topological Quantum Computer (DBTQC) is presented and sustained. The model isbased on fourdimensional TQFTs of the DonaldsonWitten and SeiberWitten kinds. It is argued that the DBTQC is able to ... 
The epidemic threshold theorem with social and contact heterogeneity
(SPIEINT SOC OPTICAL ENGINEERING, 20080317)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
(20090101)We propose a new way to reason about general recursive functional in the dependently typed programming language Agda,is based on MartinLöf's intuitionistic type theory. We show to embed an external programming logic, ... 
Two qutrits universal quantum gates from the ninedimensional unitary solutions of the YangBaxter equation
(SPIEINT SOC OPTICAL ENGINEERING, 20070425)Using the KauffmanLomonaco method, some twoqutrits universal quantum gates are derived from the ninedimensional unitary solutions of the YangBaxter equations associated with algebraic structures like the partial transpose ... 
Possible quantum algorithms for the BollobásRiordanTutte polynomial of a ribbon graph
(SPIEINT SOC OPTICAL ENGINEERING, 20080101)Three possible quantum algorithms, for the computation of the BollobásRiordanTutte polynomial of a given ribbon graph, are presented and discussed. The first possible algorithm is based on the spanning quasitrees expansion ... 
Epidemic thresholds in SIR and SIIR models applying an algorithmic method
(SPRINGER, 20080101)Epidemic thresholds were deduced and simulated from SIR models of Susceptible  Infected  Recovered individuals, through local stability analysis of the disease free and endemic equilibrium, with an algorithmic method. ... 
Combining interactive and automatic reasoning in first order theories of functional programs
(SPRINGER, 20120101)We propose a new approach to the computerassisted verification of functional programs. We work in first order theories of functional programs which are obtained by extending Aczel's first order theory of combinatory formal ... 
Topological and geometrical quantum computation in cohesive Khovanov homotopy type theory
(SPIEINT SOC OPTICAL ENGINEERING, 20150521)The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a ... 
Mathematical modeling of Chikungunya fever control
(SPIEINT SOC OPTICAL ENGINEERING, 20150101)Chikungunya fever is a global concern due to the occurrence of large outbreaks, the presence of persistent arthropathy and its rapid expansion throughout various continents. Globalization and climate change have contributed ... 
Dynamic analysis and performance evaluation of the BIAcore surface plasmon resonance biosensor
(SPIEINT SOC OPTICAL ENGINEERING, 20150101)Solution procedures were proposed to analyze nonlinear mass transport through an optical biosensor. A generalized collocation technique was applied to predict the dynamic behavior of an analyte along the flow chamber as a ...