Results 101 to 110 of about 70,277 (313)
Symmetry Reduced Model Checking for B [PDF]
, 2007 Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states.
Edd Turner +7 more
core +1 more source
symmetry broken supersolid in spin–orbit-coupled Bose–Einstein condensates
New Journal of PhysicsSupersolid is an exotic state of matter characterized by both superfluid properties and periodic particle density modulation, due to spontaneous breaking of U (1) gauge symmetry and spatial translation symmetry, respectively. For conventional supersolids,
Ze-Hong Guo, Qizhong Zhu
doaj +1 more source
European Physical Journal C: Particles and Fields, 2022 We have studied quasi-periodic oscillations frequencies in a rotating black hole with Lorentz symmetry breaking parameter in Einstein-bumblebee gravity by relativistic precession model.
Zejun Wang, Songbai Chen, Jiliang Jing
doaj +1 more source
Symmetry breaking at enhanced symmetry points [PDF]
Nuclear Physics B, 1996 32 pages, LaTeX, 2 figures in uuencoded ...
Green, Michael B., Gutperle, Michael
openaire +2 more sources
Advanced Functional Materials, EarlyView.Shellac, a centuries‐old natural resin, is reimagined as a green material for flexible electronics. When combined with silver nanowires, shellac films deliver transparency, conductivity, and stability against humidity. These results position shellac as a sustainable alternative to synthetic polymers for transparent conductors in next‐generation ...
Rahaf Nafez Hussein +4 more
wiley +1 more source
Gauge-mediated supersymmetry breaking with generalized messenger sector at LHC
, 2010 We consider the generalized gauge mediated supersymmetry breaking (GMSB) models with the messenger fields which do not form the complete multiplets of SU(5) GUT symmetry.
core +1 more source
Symmetry-breaking in a rate model for a biped locomotion central pattern generator [PDF]
, 2014 The timing patterns of animal gaits are produced by a network of spinal neurons called a Central Pattern Generator (CPG). Pinto and Golubitsky studied a four-node CPG for biped dynamics in which each leg is associated with one flexor node and one ...
Ian Stewart, Stewart, Ian
core +1 more source
Symmetry Breaking and Defects [PDF]
, 2003 Lectures at NATO ASI "Patterns of symmetry breaking", Cracow, Sept.
openaire +2 more sources
Magnetic Control of Chiral Hybridized Phonon Magnetic Moments in Ferrimagnets Fe2‐xZnxMo3O8
Advanced Functional Materials, EarlyView.Helicity‐resolved magneto‐Raman spectroscopy reveals magnetic control of chiral phonon magnetic moments in polar ferrimagnet (ZnxFe2−xMo3O₈). Large spontaneous zero‐field phonon splittings, selective phonon–magnon coupling, and asymmetric Zeeman responses demonstrate that phonon chirality is governed by magnon‐phonon coupling and magnetization.
Youngsu Choi +8 more
wiley +1 more source
Ferroelectricity in Antiferromagnetic Wurtzite Nitrides
Advanced Functional Materials, EarlyView.We establish MnSiN2${\rm MnSiN}_2$ and MnGeN2${\rm MnGeN}_2$ as aristotypes of a new multiferroic wurtzite family that simultaneously exhibits ferroelectricity and antiferromagnetism with altermagnetic spin splitting. By strategically substituting alkaline‐earth metals, we predict new materials with coexisting switchable polarization, spin texture, and
Steven M. Baksa +3 more
wiley +1 more source