Sciweavers

2594 search results - page 42 / 519
» Elements of a Theory of Simulation
Sort
View
MKM
2007
Springer
15 years 8 months ago
Biform Theories in Chiron
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
William M. Farmer
CPHYSICS
2007
84views more  CPHYSICS 2007»
15 years 1 months ago
Materials simulations using VASP - a quantum perspective to materials science
The fundamental aspects of ab-initio simulations of materials properties and of processes in materials based on density-functional theory, and their implementation at various leve...
Jürgen Hafner
SMA
2008
ACM
119views Solid Modeling» more  SMA 2008»
15 years 1 months ago
Converting a tetrahedral mesh to a prism-tetrahedral hybrid mesh for FEM accuracy and efficiency
This paper presents a computational method for converting a tetrahedral mesh to a prism-tetrahedral hybrid mesh for improved solution accuracy and computational efficiency of fini...
Soji Yamakawa, Kenji Shimada
CIE
2008
Springer
15 years 4 months ago
Perfect Local Computability and Computable Simulations
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
Russell Miller, Dustin Mulcahey
DFMA
2005
IEEE
152views Multimedia» more  DFMA 2005»
15 years 7 months ago
An Agent Based Meta-Model For Urban Mobility Modeling
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
Nicolas Marilleau