152 search results - page 4 / 31 » symmetry 2010 |
163
click to vote
ENTCS
2007
15 years 5 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...
179
click to vote
SIAMADS
2010
15 years 16 days ago
2010
Abstract. The continuous and discrete symmetries of the Kuramoto
159
click to vote
BIOSYSTEMS
2010
15 years 5 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...
140
click to vote
SYMMETRY
2010
15 years 15 days 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...