Sciweavers

5510 search results - page 440 / 1102
» Mathematics
Sort
View
ANOR
2011
175views more  ANOR 2011»
15 years 2 months ago
Integrated exact, hybrid and metaheuristic learning methods for confidentiality protection
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...
Fred Glover, Lawrence H. Cox, Rahul Patil, James P...
BMCBI
2011
15 years 2 months ago
An Agent-Based Model to study the epidemiological and evolutionary dynamics of Influenza viruses
Background: Influenza A viruses exhibit complex epidemiological patterns in a number of mammalian and avian hosts. Understanding transmission of these viruses necessitates taking ...
Benjamin Roche, John M. Drake, Pejman Rohani
TPHOL
1997
IEEE
15 years 12 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
507
Voted

Book
9855views
17 years 8 months ago
Div, Grad, Curl, and All That: An Informal Text on Vector Calculus
When I started reading about level set methods, I realized that I must have strong mathematical background in several math areas such as differential geometry, vector calculus, par...
H. M. Schey

Publication
269views
17 years 5 months ago
Models of Transportation and Land Use Change:  A Guide to the Territory
Modern urban regions are highly complex entities. Despite the difficulty of modeling every relevant aspect of an urban region, researchers have produced a rich variety of models de...
Michael Iacono, David Levinson, Ahmed El-Geneidy