Search Sciweavers | Sciweavers

54

SIAMDM
2010

64views more SIAMDM 2010»

Mixed Statistics on 01-Fillings of Moon Polyominoes

14 years 4 months ago

We establish a stronger symmetry between the numbers of northeast and southeast chains in the context of 01-fillings of moon polyominoes. Let M be a moon polyomino with n rows and...

William Y. C. Chen, Andrew Y. Z. Wang, Catherine H...

claim paper

Read More »

49

click to vote

ICMS
2010

60views Software Engineering» more ICMS 2010»

Traversing Symmetric Polyhedral Fans

14 years 8 months ago

Download www.uni-math.gwdg.de

We propose an algorithm for computing the facets of a pure connected polyhedral fan up to symmetry. The fan is represented by an oracle. With suitable implementations of the oracle...

Anders Nedergaard Jensen

claim paper

Read More »

65

click to vote

PROCEDIA
2010

71views more PROCEDIA 2010»

Compatible, energy and symmetry preserving 2D lagrangian hydrodynamics in rz - cylindrical coordinates

14 years 7 months ago

Download cnls.lanl.gov

We present a new discretization for 2D Lagrangian hydrodynamics in rz geometry (cylindrical coordinates), which is total energy conserving and symmetry preserving.

A. Barlow, D. Burton, M. Shashkov

claim paper

Read More »

84

click to vote

ASM
2010
ASM

265views Computational Biology» more ASM 2010»

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

15 years 22 days ago

Download eprints.ecs.soton.ac.uk

Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...

Edd Turner, Michael J. Butler, Michael Leuschel

claim paper

Read More »

80

click to vote

COLOGNETWENTE
2010

134views Optimization» more COLOGNETWENTE 2010»

Static Symmetry Breaking in Circle Packing

14 years 8 months ago

Download www.lix.polytechnique.fr

Alberto Costa, Pierre Hansen, Leo Liberti

claim paper