152 search results - page 4 / 31 » symmetry 2010 |
JSCIC
2010
13 years 4 months ago
2010
ENTCS
2007
13 years 9 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
SIAMADS
2010
13 years 4 months ago
2010
Abstract. The continuous and discrete symmetries of the Kuramoto
BIOSYSTEMS
2010
13 years 10 months ago
2010
A spontaneous symmetry breaking argument is applied to the problem of protein form, via a Rate Distortion analysis of the relation between genome coding and the final condensation...
SYMMETRY
2010
13 years 4 months ago
2010
Abstract: The vertices of regular four-dimensional polytopes are used to generate sets of uniformly distributed three-dimensional rotations, which are provided as tables of Euler a...