1074 search results - page 187 / 215 » Space of Mechanisms |
MAGS
2008
14 years 9 months ago
2008
This paper is about business modelling and negotiation protocol design in distributed scheduling, where individual agents have individual (potentially conflicting) interests. It i...
91
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
WSDM
2009
ACM
15 years 4 months ago
2009
ACM
A lot of the world’s knowledge is stored in books, which, as a result of recent mass-digitisation efforts, are increasingly available online. Search engines, such as Google Book...
BMCBI
2006
14 years 9 months ago
2006
Background: Common fragile sites (cfs) are specific regions in the human genome that are particularly prone to genomic instability under conditions of replicative stress. Several ...
101
click to vote
SAB
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Neurobiological studies showed the important role of Centeral Pattern Generators for spinal cord in the control and sensory feedback of animals' locomotion. In this ...