Sciweavers

20441 search results - page 3763 / 4089
» Locally Computable Structures
Sort
View
PPL
2008
101views more  PPL 2008»
15 years 4 months ago
Skeletal Parallel Programming with OCamlP3l 2.0
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pie...
SIAMAM
2008
78views more  SIAMAM 2008»
15 years 4 months ago
Fingering from Ionization Fronts in Plasmas
Abstract. In this paper we describe the formation of fingers from ionization fronts for a hydrodynamic plasma model. The fingers result from a balance between the destabilizing eff...
Manuel Arrayás, Santiago Betelú, Mar...
IJAR
2007
69views more  IJAR 2007»
15 years 4 months ago
Racing algorithms for conditional independence inference
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
Remco R. Bouckaert, Milan Studený
SIMULATION
2008
139views more  SIMULATION 2008»
15 years 3 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
ALIFE
2005
15 years 3 months ago
Levels of Description: A Novel Approach to Dynamical Hierarchies
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
Simon McGregor, Chrisantha Fernando
« Prev « First page 3763 / 4089 Last » Next »