Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Source URL: qav.comlab.ox.ac.uk

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–692) MIRROR SYMMETRY AND CLUSTER ALGEBRAS Paul Hacking and Sean Keel

Source URL: eta.impa.br

• Geometry
• Theoretical physics
• Algebraic geometry
• Mathematics
• String theory
• Complex manifolds
• Differential geometry
• Mathematical physics
• CalabiYau manifold
• Toric variety
• Homological mirror symmetry
• Khler manifold

Construction of time-projection chambers to probe the symmetry energy at high density R. Shane, for the SAMURAI-TPC collaboration Constraints on the Nuclear Symmetry Energy

Source URL: www.nucl.phys.tohoku.ac.jp

Comparing Different Microscopic Approaches to Neutron-rich Matter F. Sammarruca, University of Idaho Third International Symposium on Symmetry Energy

Source URL: www.nucl.phys.tohoku.ac.jp

Soft terms from theories with a gauged R-symmetry in N = 1 supergravity. Rob Knoops K.U.Leuven and CERN Erice, Wednesday July 1st, 2015

Source URL: www.ccsem.infn.it

Emergent Su(2) symmetry : the missing link to the pseudo-gap puzzle C. Pépin, X. Montiel, T. Kloss (IPhT, CEA), Y. Sidis, P. Bourges, L. Mangin-Thro (LLB, CEA), V. Balédent (LPS, CNRS). The concept of symmetries govern

Source URL: www.labex-palm.fr

20 The Locality of Distributed Symmetry Breaking LEONID BARENBOIM and MICHAEL ELKIN, Ben-Gurion University SETH PETTIE, University of Michigan ¨

Source URL: web.eecs.umich.edu

The vibrational spectrum of Buckminsterfullerene An application of symmetry reduction and computer algebra Joris Mooij Master’s Thesis in Mathematics

Source URL: www.math.ru.nl

Symmetry Aware Evaluation of 3D Object Detection and Pose Estimation in Scenes of Many Parts in Bulk Romain Br´egier1,2 , Fr´ed´eric Devernay2 , Laetitia Leyrit1 , James L. Crowley2 1 2

Source URL: openaccess.thecvf.com

2. PROPERTIES OF STRUCTURE The main structural properties are connected with regularity and positions (symmetry) of structure. Structural properties are read out from basic binary signs in the structure model SM.

Source URL: www.graphs.ee