Now showing items 1-10 of 20
Basic reproductive rate of a spatial epidemic model using computer algebra software
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 ...
Symbolic solution for generalized quantum cylindrical wells using computer algebra
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 ...
Tutte polynomials and topological quantum algorithms in social network analysis for epidemiology, bio-surveillance and bio-security
The Tutte polynomial and the Aharonov-Arab-Ebal-Landau algorithm are applied to Social Network Analysis (SNA) for Epidemiology, Biosurveillance and Biosecurity. We use the methods of Algebraic Computational SNA and of ...
A debugging scheme for functional logic programs
(Elsevier BV, 2002-01-01)
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 ...
Declarative debugging of functional logic programs
(Elsevier BV, 2001-01-01)
We present a general framework for the declarative debugging of functional logic programs, which is valid both for eager as well as lazy programs. We associate to our programs a semantics based on a (continuous) immediate ...
Analytical solution for transient flow of a generalized bingham fluid with memory in a movable tube using computer algebra
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 ...
Using computer algebra for Yang-Baxterization applied to quantum computing
(SPIE-INT SOC OPTICAL ENGINEERING, 2006-05-12)
Using Computer Algebra Software (Mathematica and Maple), the recently introduced topic of Yang-Baxterization applied to quantum computing, is explored from the mathematical and computational views. Some algorithms of ...
Gravitational topological quantum computation
A new model in topological quantum computing, named Gravitational Topological Quantum Computing (GTQC), is introduced as an alternative respect to the Anyonic Topological Quantum Computing and DNA Computing. In the new ...
Epidemic thresholds in SIR and SIIR models applying an algorithmic method
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. ...
Mackendrick: A Maple Package oriented to symbolic computational epidemiology
A Maple Package named Mackendrick is presented. Such package is oriented to symbolic computational epidemiology. © Springer-Verlag Berlin Heidelberg 2006.