Search
Now showing items 1-10 of 185
Tutte polynomials and topological quantum algorithms in social network analysis for epidemiology, bio-surveillance and bio-security
(SPRINGER, 2008-01-01)
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 ...
Topological and geometrical quantum computation in cohesive Khovanov homotopy type theory
(SPIE-INT SOC OPTICAL ENGINEERING, 2015-05-21)
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 ...
Possible universal quantum algorithms for generalized Khovanov homology and the Rasmussen's invariant
(SPIE-INT SOC OPTICAL ENGINEERING, 2012-01-01)
Possible quantum algorithms for generalized Khovanov homology and the Rasmussen's invariant are proposed. Such algorithms are resulting from adaptations of the recently proposed Kauffmans` algorithm for the standard Khovanov ...
The epidemic threshold theorem with social and contact heterogeneity
(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. ...
Topological quantum computation of the Dold-Thom functor
(SPIE-INT SOC OPTICAL ENGINEERING, 2014-05-22)
A possible topological quantum computation of the Dold-Thom functor is presented. The method that will be used is the following: a) Certain 1+1-topological quantum field theories valued in symmetric bimonoidal categories ...
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 ...
Embedding a logical Theory of Constructions in agda
(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, ...
Epidemic thresholds in SIR and SIIR models applying an algorithmic method
(SPRINGER, 2008-01-01)
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. ...
Spatial epidemic patterns recognition using computer algebra
(SPRINGER, 2007-01-01)
An exploration in Symbolic Computational bio-surveillance 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 ...
Predicción de las magnitudes de retroceso de algunos sectores acantilados de Antioquia en condiciones de ascenso del nivel del mar – Resultados para el sector de Arboletes
(Sociedad Colombiana de Ingeniería, 2012-08-08)
Sea-level rise related impacts are required for coastal management, especially within littoral fringes with active tectonics and presence of strategic ecosystems likewise Colombian southern Caribbean. “Worst” scenarios ...