## Search

Now showing items 1-10 of 23

#### Solving large systems of linear equations on GPUs

(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 ...

#### Implementing an active learning platform to support student learning in a numerical analysis course

(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 ...

#### Solving stochastic epidemiological models using computer algebra

(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

(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 ...

#### The Critical Proportion of Immune Individuals needed to Control Hepatitis B

(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 ...

#### Dynamics of an Electrochemical Biosensor for the Detection of Toxic Substances in Water

(SPIE-INT SOC OPTICAL ENGINEERING, 2016-01-01)

A proposed analytical method focuses on electrolyte transport to the
electrode of an electrochemical cell. The recombinant Escherichia coli
whole-cell 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

(SPIE-INT SOC OPTICAL ENGINEERING, 2016-01-01)

Finite Elements Method (FEM) and Finite Differences Method (FDM) in the
Euler implicit approach, were used in order to determine the
bi-dimensional electromagnetic field of an oscillating punctual source
inside a square ...

#### Solving Large Systems of Linear Equations on GPUs

(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 ...

#### Quantum algorithms for virtual Jones polynomials via thistlethwaite theorems

(SPIE-INT SOC OPTICAL ENGINEERING, 2010-01-01)

Recently a quantum algorithm for the Jones polynomial of virtual links was proposed by Kauffman and Dye via the implementation of the virtual braid group in anyonic topological quantum computation when the virtual crossings ...

#### Combining interactive and automatic reasoning in first order theories of functional programs

(SPRINGER, 2012-01-01)

We propose a new approach to the computer-assisted 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 ...