Sciweavers

SIAMADS
2010
114views more  SIAMADS 2010»
12 years 11 months ago
The Abelian Hopf H mod K Theorem
We study the symmetries of periodic solutions from Hopf bifurcation in systems with finite abelian symmetries. Our main result, the Abelian Hopf H mod K Theorem, gives necessary a...
Natasha Filipski, Martin Golubitsky
GRAPP
2009
13 years 2 months ago
Symmetry-based Completion
Acquired images often present missing, degraded or occluded parts. Inpainting techniques try to infer lacking information, usually from valid information nearby. This work introduc...
Thiago Pereira, Renato Paes Leme, Luiz Velho, Thom...
ACTA
2000
92views more  ACTA 2000»
13 years 4 months ago
How to Calculate Symmetries of Petri Nets
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...
Karsten Schmidt 0004
TCAD
2008
124views more  TCAD 2008»
13 years 5 months ago
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...
Neil Kettle, Andy King
JCT
2006
129views more  JCT 2006»
13 years 5 months ago
A combinatorial proof of the Rogers-Ramanujan and Schur identities
We give a combinatorial proof of the first Rogers-Ramanujan identity by using two symmetries of a new generalization of Dyson's rank. These symmetries are established by direc...
Cilanne Boulet, Igor Pak
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 5 months ago
Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equation. ...
Evelyne Hubert, Alexandre Sedoglavic
CONSTRAINTS
2006
105views more  CONSTRAINTS 2006»
13 years 5 months ago
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...
Y. Law, J. Lee
CGF
2008
144views more  CGF 2008»
13 years 5 months ago
Global Intrinsic Symmetries of Shapes
Although considerable attention in recent years has been given to the problem of symmetry detection in general shapes, few methods have been developed that aim to detect and quant...
Maks Ovsjanikov, Jian Sun, Leonidas J. Guibas
CAD
2008
Springer
13 years 5 months ago
Detecting approximate symmetries of discrete point subsets
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
Ming Li, Frank C. Langbein, Ralph R. Martin
AIPS
2003
13 years 6 months ago
Symmetry Reduction for SAT Representations of Transition Systems
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
Jussi Rintanen