Results 191 to 200 of about 31,605 (318)
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Extending the QMM Framework to the Strong and Weak Interactions. [PDF]
Neukart F, Marx E, Vinokur V.
europepmc +1 more source
Unified Theory of Gravity and Electromagnetism: Classical and Quantum Aspects
Avik Dubey
openalex +1 more source
Thermal Control of Vortex Motion in Nanoscale Superconductors
Vortices in superconducting film can be thermally steered by a local heating from a tip. The work shows that the vortex is attracted by the hot spot by a force that emulates an electric field resulting in a fictious Lorentz‐force on the vortex. Abstract Thermally induced motion of vortices in nanoscale superconductors (SCs) is investigated.
Björn Niedzielski, Jamal Berakdar
wiley +1 more source
Analyzing Riemann-Liouville constraints in second-order Lagrangian fractional electrodynamic models. [PDF]
Alawaideh YM, Al-Khamiseh BM, Adu IK.
europepmc +1 more source
This paper reviews the physics of liquid metals in RF devices, including the influence of mechanical strain on resonance as well as fabrication methods and strategies for designing tunable and strain‐tolerant inductors, capacitors, and antennas.
Md Saifur Rahman, William J. Scheideler
wiley +1 more source
In-depth experimental search for a coupling between gravity and electromagnetism with steady fields. [PDF]
Tajmar M, Kößling M, Neunzig O.
europepmc +1 more source
A General and Efficient Framework for the Rapid Design of Miniaturized, Wideband, and High‐Bit RIS
A general and efficient framework is proposed for the rapid design of high‐performance reconfigurable intelligent surfaces (RISs). This framework integrates advanced antenna design techniques and incorporates various load types, quantities, and values to achieve the design of high‐performance RISs.
Jun Wei Zhang +14 more
wiley +1 more source

