Sciweavers

2594 search results - page 334 / 519
» Elements of a Theory of Simulation
Sort
View
DGCI
2009
Springer
15 years 7 months ago
Grey Level Estimation for Discrete Tomography
Abstract. Discrete tomography is a powerful approach for reconstructing images that contain only a few grey levels from their projections. Most theory and reconstruction algorithms...
Kees Joost Batenburg, W. van Aarle, Jan Sijbers
ICFP
2010
ACM
15 years 7 months ago
The gentle art of levitation
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
James Chapman, Pierre-Évariste Dagand, Cono...
AUTOMATICA
2007
93views more  AUTOMATICA 2007»
15 years 6 months ago
Development of omni-directional correlation functions for nonlinear model validation
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
Quan Min Zhu, Li Feng Zhang, Ashley Longden
CORR
2008
Springer
217views Education» more  CORR 2008»
15 years 6 months ago
A Distributed Merge and Split Algorithm for Fair Cooperation in Wireless Networks
Abstract-- This paper introduces a novel concept from coalitional game theory which allows the dynamic formation of coalitions among wireless nodes. A simple and distributed merge ...
Walid Saad, Zhu Han, Mérouane Debbah, Are H...
CPHYSICS
2008
53views more  CPHYSICS 2008»
15 years 6 months ago
Long-time self-diffusion for Brownian Gaussian-core particles
Using extensive Brownian dynamics computer simulations, the long-time self-diffusion coefficient is calculated for Gaussian-core particles as a function of the number density. Bot...
H. H. Wensink, H. Löwen, M. Rex, C. N. Likos,...