Sciweavers

8196 search results - page 253 / 1640
» Computational Modeling and Complexity Science
Sort
View
ICALP
2004
Springer
15 years 12 months ago
An Analog Characterization of Elementarily Computable Functions over the Real Numbers
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
Olivier Bournez, Emmanuel Hainry
ESANN
2008
15 years 8 months ago
Neural networks for computational neuroscience
Computational neuroscience is an appealing interdisciplinary domain, at the interface between biology and computer science. It aims at understanding the experimental data obtained...
David Meunier, Hélène Paugam-Moisy
SI3D
2003
ACM
15 years 11 months ago
Interactive visibility culling in complex environments using occlusion-switches
: We present occlusion-switches for interactive visibility culling in complex 3D environments. An occlusionswitch consists of two GPUs (graphics processing units) and each GPU is u...
Naga K. Govindaraju, Avneesh Sud, Sung-Eui Yoon, D...
ICALP
2005
Springer
16 years 2 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
ERSHOV
2006
Springer
15 years 10 months ago
A Formal Model of Data Privacy
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
Phiniki Stouppa, Thomas Studer