Browsing Documentos de conferencia by Issue Date
Now showing items 120 of 43

Declarative debugging of functional logic programs
(Elsevier BV, 20010101)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 ... 
A debugging scheme for functional logic programs
(Elsevier BV, 20020101)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 ... 
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 ... 
A possible hypercomputational quantum algorithm
(SPIEINT SOC OPTICAL ENGINEERING, 20050101)The term `hypermachine' denotes any data processing device (theoretical or that can be implemented) capable of carrying out tasks that cannot be performed by a Turing machine. We present a possible quantum algorithm for ... 
Numerical simulations of a possible hypercomputational quantum algorithm
(SPRINGERVERLAG WIEN, 20050101)The hypercomputers compute functions or numbers, or more generally solve problems or carry out tasks, that cannot be computed or solved by a Turing machine. Several numerical simulations of a possible hypercomputational ... 
Mackendrick: A Maple Package oriented to symbolic computational epidemiology
(SPRINGER, 20060101)A Maple Package named Mackendrick is presented. Such package is oriented to symbolic computational epidemiology. © SpringerVerlag Berlin Heidelberg 2006. 
Using computer algebra for YangBaxterization applied to quantum computing
(SPIEINT SOC OPTICAL ENGINEERING, 20060512)Using Computer Algebra Software (Mathematica and Maple), the recently introduced topic of YangBaxterization applied to quantum computing, is explored from the mathematical and computational views. Some algorithms of ... 
Analytical solution for transient flow of a generalized bingham fluid with memory in a movable tube using computer algebra
(SPRINGER, 20070101)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 ... 
Gravitational topological quantum computation
(SPRINGER, 20070101)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 ... 
Spatial epidemic patterns recognition using computer algebra
(SPRINGER, 20070101)An exploration in Symbolic Computational biosurveillance is showed. The main obtained results are that the geometry of the habitat determines the critical parameters via the zeroes of the Bessel functions and the explicit ... 
Universal quantum gates Via Yangbaxterization of dihedral quantum double
(SPRINGER, 20070101)The recently discovered YangBaxterization process for the quantum double of the dihedral group algebra, is presented keeping on mind the quantum computation. The products resultant from YangBaxterization process are ... 
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 ... 
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 ... 
Tutte polynomials and topological quantum algorithms in social network analysis for epidemiology, biosurveillance and biosecurity
(SPRINGER, 20080101)The Tutte polynomial and the AharonovArabEbalLandau algorithm are applied to Social Network Analysis (SNA) for Epidemiology, Biosurveillance and Biosecurity. We use the methods of Algebraic Computational SNA and of ... 
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. ... 
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 ... 
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. ... 
Dynamic analysis of heat transfer through a fin of constant crosssectional area: Specified fin tip temperature
(20090101)A dynamic analysis is performed for heat transfer through a fin with constant crosssectional area and with a specified fin tip temperature. The process starts with a dynamic energy balance around the fin. Laplace transforms ... 
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 ... 
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, ...