Research on group type theory and its functorial semantic models in category logic. [PDF]
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc +1 more source
Reversal Asymmetry of Reciprocal Metasurface Enables Ultra‐Compact Varifocal Reflective Lens
The possibility of breaking the reversal symmetry of a lens without violating reciprocity is demonstrated. The freedom provided is utilized to realize an ultra‐compact reflective varifocal lens‐doublet based on a flat metasurface lens and a piezoelectric actuated micromirror.
Christopher A. Dirdal +6 more
wiley +1 more source
Geometry and quantum brachistochrone analysis of multiple entangled spin-1/2 particles under all-range Ising interaction. [PDF]
Amghar B +5 more
europepmc +1 more source
ABSTRACT A new model for the simulation of fluid flow through rough cracks is presented. The model combines a probabilistic cut finite element method (PCutFEM) to capture the unfitted boundary condition at the fluid interface, with a stochastic random field generator to represent the crack asperities.
Brubeck Lee Freeman +5 more
wiley +1 more source
The AKSZ Construction in Derived Algebraic Geometry as an Extended Topological Field Theory [PDF]
Damien Calaque +2 more
openalex +1 more source
Fatigue Crack Propagation Properties of Ordinary Plain Concrete Under Three-Point Loading. [PDF]
Chen H, Song J, Li D.
europepmc +1 more source
Numerical Instability in Slope Stability Analysis: A Finite Difference Approach
ABSTRACT In geotechnical engineering, slice methods are the most widely used computational techniques for analyzing slope stability. Notably, the Morgenstern‐Price and Janbu approaches rigorously enforce the equilibrium of forces and moments within these slice methods.
Jean‐Pierre Bardet
wiley +1 more source
Refined Multi-Scale Mechanical Modeling of C/C-SiC Ceramic Matrix Composites. [PDF]
Padan R +3 more
europepmc +1 more source
On the Stability Barrier of Hermite Type Discretizations of Advection Equations
ABSTRACT We establish a stability barrier for a class of high‐order Hermite‐type discretization of 1D advection equations underlying the hybrid‐variable (HV) and active flux (AF) methods. These methods approximate both cell averages and nodal solutions and evolve them in time simultaneously.
Xianyi Zeng
wiley +1 more source
Neural SHAKE: geometric constraints in neural differential equations. [PDF]
Diamond JS, Lill MA.
europepmc +1 more source

