Results 211 to 220 of about 32,356 (302)

Crowd psychology and the politics of co-production: Social control, democratic order and the consequences of theory. [PDF]

Br J Soc Psychol
Stott C.
europepmc   +1 more source

Formalizing Implicational Axiomatics for Classical First-Order Logic with Functions in Isabelle/HOL

We present a concise formalization in the proof assistant Isabelle/HOL of classical first-order logic with functions. Our standalone formalization is based on entries in the Isabelle Archive of Formal Proofs and has recently been used for teaching logic ...
Pettinau, Roberto, Villadsen, Jørgen
core  

Squeezed‐Vacuum Bosonic Codes

Advanced Physics Research, EarlyView.
ABSTRACT We introduce a family of bosonic quantum error‐correcting codes built as a rotation‐symmetric superposition of squeezed vacuum states, which promise protection against both loss and dephasing noise channels. The robustness of these “squeezed‐vacuum codes” arises from being arranged at evenly spaced angles in phase‐space, and simultaneously in ...
Nir Gutman, Eliya Blumenthal, Shay Hacohen‐Gourgy, Ariel Orda, Ido Kaminer   +4 more
wiley   +1 more source

Reprogrammable metamaterial robot with embodied versatile computation and mechanical intelligence. [PDF]

Nat Commun
Zhou W, Wang YZ.
europepmc   +1 more source

Impedance Spectroscopy of Bifurcation Oscillations in S‐Type Self‐Oscillatory Devices

Advanced Physics Research, EarlyView.
Impedance spectroscopy (IS) reveals stability regimes and bifurcation dynamics in S‐type self‐oscillatory devices. By linking nonlinear control theory with frequency‐domain measurements, experimental signatures of oscillations, entrainment, and phase locking are directly identified.
Gonzalo Rivera‐Sierra, Roberto Fenollosa, Jenifer Rubio‐Magnieto, Nripan Mathews, Si En Ng, Juan Bisquert   +5 more
wiley   +1 more source

A Neuro-Symbolic Bioinformatics Framework for Unlocking Chordate Physiological Dark Data and Validating Allometric Scaling. [PDF]

Biology (Basel)
Duan Z, Zhao G, Li C, Liu B.
europepmc   +1 more source

Guiding and Manipulating Light Fields in Microstructured Liquid Crystals

Advanced Physics Research, EarlyView.
This review summarizes recent advances in guided‐wave optics enabled by microstructured liquid crystal (LC) devices, covering their fundamental material properties, key degree of freedom for dynamic light field manipulations. The advances of linear guided‐wave optics, nonlinear‐optics with spatial optical solitons, and microlasers in LC‐based devices ...
Shan‐shan Chang, Yong‐shuai Li, Jin‐hui Chen   +2 more
wiley   +1 more source

Duckworth-Lewis-Stern modeling with fuzzy logic and contextual indices for target revision in cricket. [PDF]

Sci Rep
Samanta S, Allahviranloo T, Mrsic L, Kalampakas A.   +3 more
europepmc   +1 more source

Legal and ethical considerations around the use of existing illustrations to generate new illustrations in the anatomical sciences

Anatomical Sciences Education, Volume 18, Issue 3, Page 289-300, March 2025.
Abstract It is likely existing anatomical illustrations are often used as the basis for new illustrative works, given not all illustrators have access to human tissues, bodies, or prosections on which to base their illustrations. Potential issues arise with this practice in the realms of copyright infringement and plagiarism when authors are seeking to
Jon Cornwall, Richard White, Patrick Pennefather, Sabine Hildebrandt, Jill Gregory, Heather F. Smith, Jason Organ, Claudia Krebs   +7 more
wiley   +1 more source