Results 1  10
of
989
Better Verification Through Symmetry
, 1996
"... A fundamental difficulty in automatic formal verification of finitestate systems is the state explosion problem  even relatively simple systems can produce very large state spaces, causing great difficulties for methods that rely on explicit state enumeration. We address the problem by exploiting ..."
Abstract

Cited by 223 (8 self)
 Add to MetaCart
A fundamental difficulty in automatic formal verification of finitestate systems is the state explosion problem  even relatively simple systems can produce very large state spaces, causing great difficulties for methods that rely on explicit state enumeration. We address the problem
Symmetry and Model Checking
, 1994
"... We show how to exploit symmetry in model checking for concurrent systems containing many identical or isomorphic components. We focus in particular on those composed of many isomorphic processes. In many cases we are able to obtain significant, even exponential, savings in the complexity of model ch ..."
Abstract

Cited by 208 (15 self)
 Add to MetaCart
checking. 1 Introduction In this paper, we show how to exploit symmetry in model checking. We focus on systems composed of many identical (isomorphic) processes. The global state transition graph M of such a system exhibits a great deal of symmetry, characterized by the group of graph automorphisms of M
Radiative Corrections as the Origin of Spontaneous Symmetry Breaking, Phys. Rev. D7
 A. Linde, Phase Transitions in Gauge Theories
, 1973
"... Using a functional formalism, we investigate the effect of radiative corrections on the possibility of spontaneous symmetry breaking. We find that in some models, in particular, massless gauge theories with scalar mesons, the radiative corrections can induce spontaneous symmetry breaking, even thoug ..."
Abstract

Cited by 182 (0 self)
 Add to MetaCart
Using a functional formalism, we investigate the effect of radiative corrections on the possibility of spontaneous symmetry breaking. We find that in some models, in particular, massless gauge theories with scalar mesons, the radiative corrections can induce spontaneous symmetry breaking, even
Symmetry Breaking in Constraint Programming
 Proceedings of ECAI2000
, 2000
"... We describe a method for symmetry breaking during search (SBDS) in constraint programming. It has the great advantage of not interfering with heuristic choices. It guarantees to return a unique solution from each set of symmetrically equivalent ones, which is the one found first by the variable and ..."
Abstract

Cited by 89 (11 self)
 Add to MetaCart
We describe a method for symmetry breaking during search (SBDS) in constraint programming. It has the great advantage of not interfering with heuristic choices. It guarantees to return a unique solution from each set of symmetrically equivalent ones, which is the one found first by the variable
Printed in Great Britain Testing for symmetry
"... We introduce the characteristic symmetry function, based on the characteristic function of the underlying distribution, whose behaviour is indicative of symmetry or its absence. A statistic is proposed for testing symmetry about an unspecified centre, derived from the empirical characteristic symmet ..."
Abstract
 Add to MetaCart
We introduce the characteristic symmetry function, based on the characteristic function of the underlying distribution, whose behaviour is indicative of symmetry or its absence. A statistic is proposed for testing symmetry about an unspecified centre, derived from the empirical characteristic
The symmetries of solitons
 Bull. Amer. Math. Soc
, 1997
"... Abstract. In this article we will retrace one of the great mathematical adventures of this century—the discovery of the soliton and the gradual explanation of its remarkable properties in terms of hidden symmetries. We will take an historical approach, starting with a famous numerical experiment car ..."
Abstract

Cited by 37 (1 self)
 Add to MetaCart
Abstract. In this article we will retrace one of the great mathematical adventures of this century—the discovery of the soliton and the gradual explanation of its remarkable properties in terms of hidden symmetries. We will take an historical approach, starting with a famous numerical experiment
Printed in Great Britain Plots and tests for symmetry
"... We consider plots which can be used to check whether a distribution is symmetric about some point and which give information about possible deviations from symmetry. Simultaneous confidence bands for checking the accuracy of the plots are derived and compared. Tests that are related to the plots and ..."
Abstract
 Add to MetaCart
We consider plots which can be used to check whether a distribution is symmetric about some point and which give information about possible deviations from symmetry. Simultaneous confidence bands for checking the accuracy of the plots are derived and compared. Tests that are related to the plots
Symmetry in chemistry
"... Symmetry and chemistry have been in a fruitful interplay, initially in spectroscopy and crystallography, lately in more traditional domains of chemistry, such as reactivity and conformational analysis. A simple phenomenological approach suffices to get an idea about the symmetries of molecules where ..."
Abstract
 Add to MetaCart
whereas group theoretical approach greatly facilitates the understanding of molecular vibrations, electronic structure, and the mechanism of chemical reactions. In our discussion, the multilevel relationship between symmetry and chemistry is demonstrated by a sampler of examples, including the variations
Partial Symmetry Breaking
 In Proceedings of CP02, LNCS 2470
, 2002
"... In this paper we de ne partial symmetry breaking, a concept that has been used in many previous papers without being the main topic of any research. This paper is the rst systematic study of partial symmetry breaking in constraint programming. We show experimentally that performing symmetry br ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
breaking with only a subset of all symmetries can result in greatly reduced runtimes. We also look at the consequences of using partial symmetry breaking in terms of variable and value ordering heuristics. Finally, dierent methods of selecting symmetries are considered before presenting a general
Symmetry Breaking During Search in Constraint Programming
 Proceedings ECAI'2000
, 1999
"... We introduce a method for symmetry breaking during search (SBDS) in constraint programming. It has the great advantage of not interfering with heuristic choices. It guarantees to return a unique solution from each set of symmetrically equivalent ones, which is the one found first by the variable ..."
Abstract

Cited by 55 (14 self)
 Add to MetaCart
We introduce a method for symmetry breaking during search (SBDS) in constraint programming. It has the great advantage of not interfering with heuristic choices. It guarantees to return a unique solution from each set of symmetrically equivalent ones, which is the one found first
Results 1  10
of
989