Browsing Documentos de conferencia by Title
Now showing items 120 of 43

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 ... 
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 ... 
Analysis of a generalized model for influenza including differential susceptibility due to immunosuppression
(SPIEINT SOC OPTICAL ENGINEERING, 20140101)Recently, a mathematical model of pandemic influenza was proposed including typical control strategies such as antivirals, vaccination and school closure; and considering explicitly the effects of immunity acquired from ... 
Analysis of the boundary conditions for pyramidal spine fins in extended surface heat transfer
(WITPress, 20140101)Many studies are conducted for pyramidal spine fins relating to temperature profiles and fin efficiencies. However, it is found that a deeper look into the boundary conditions is required. The conditions at the base are ... 
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 ... 
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 ... 
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 ... 
Computing Tutte polynomials of contact networks in classrooms
(SPIEINT SOC OPTICAL ENGINEERING, 20130101)Objective: The topological complexity of contact networks in classrooms and the potential transmission of an infectious disease were analyzed by sex and age. Methods: The Tutte polynomials, some topological properties and ... 
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 ... 
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 ... 
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 ... 
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 ... 
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, ... 
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. ... 
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 ... 
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 ... 
Leptospirosis risk around a potential source of infection
(SPIEINT SOC OPTICAL ENGINEERING, 20150101)Leptospirosis is a bacterial zoonosis with world distribution and multiform clinical spectrum in men and animals. The etiology of this disease is the pathogenic species of Leptospira, which cause diverse manifestations of ... 
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. 
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 ... 
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 ...