1419 search results - page 57 / 284 » group 2010 |
INFFUS
2010
14 years 10 months ago
2010
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
ATVA
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
EJC
2010
14 years 12 months ago
2010
We use group theory to construct infinite families of maps on surfaces which are invariant under Wilson's map operations of order 3 but not under the operations of order 2, s...
100
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Genome-Wide Association (GWA) analysis is a powerful method for identifying loci associated with complex traits and drug response. Parts of GWA analyses, especially th...
COMBINATORICA
2010
14 years 6 months ago
2010
We show that the topological cycle space of a locally finite graph is a canonical quotient of the first singular homology group of its Freudenthal compactification, and we charact...