CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Recent studies have shown that the majority of today's internet traffic is related to Peer to Peer (P2P) traffic. The study of bandwidth in P2P networks is very important. Bec...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We propose a model for deterministic distributed function computation by a network of identical and anonymous nodes. In this model, each node has bounded computation and storage c...
COGSCI
2008
13 years 7 months ago
2008
We propose a new model of human concept learning that provides a rational analysis for learning of feature-based concepts. This model is built upon Bayesian inference for a gramma...
CMPB
2008
13 years 7 months ago
2008
A cardiovascular system (CVS) model has previously been validated in simulated cardiac and circulatory disease states. It has also been shown to accurately capture all main hemody...
CONSTRAINTS
2010
13 years 7 months ago
2010
Abstract. We present three constraint models of the problem of finding a graceful labelling of a graph, or proving that the graph is not graceful. An experimental comparison of the...
COGSCI
2010
13 years 7 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
CCE
2008
13 years 7 months ago
2008
Kinematic models for polydisperse suspensions are based on specifying the solid-fluid relative velocity for each solids species as a function of the local solids concentrations. On...
CAD
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
BMCBI
2008
13 years 7 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...