Results 71 to 80 of about 191,170 (252)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.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
Results in Physics, 2023 This work deals with the distributed-order time fractional nonlinear diffusion-wave equations. These equations are generated by replacing the first- and second-order time derivative terms with the distributed-order fractional derivative terms.
M.H. Heydari, S. Rashid, Yu-Ming Chu
doaj +1 more source
A New Algebraic Structure of Finite Quantum Systems and the Modified Bessel Functions
, 2007 In this paper we present a new algebraic structure (a super hyperbolic system in our terminology) for finite quantum systems, which is a generalization of the usual one in the two-level system.
KAZUYUKI FUJII, Whittaker E. T.
core +1 more source
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
, 2000 To provide tools, especially L-operators, for use in studies of rational Yang-Baxter algebras and quantum integrable models when the Lie algebras so(N) (b_n, d_n) or sp(2n) (c_n) are the invariance algebras of their R matrices, this paper develops a ...
A. J. MACFARLANE +7 more
core +1 more source
Advanced Science, EarlyView.Computational Photochemistry has made great strides in recent decades, but the investigation of larger molecules remains a challenge due to the inherent dilemma between the increasing computational accuracy required as the molecule size increases and the inevitable explosion in computational effort.
Andreas Dreuw
wiley +1 more source
Criteria for the $L^{p}$-dissipativity of systems of second order differential equations
, 2006 We give complete algebraic characterizations of the $L^{p}$-dissipativity of the Dirichlet problem for some systems of partial differential operators of the form $\partial_{h}({\mathscr A}^{hk}(x)\partial_{k})$, were ${\mathscr A}^{hk}(x)$ are $m\times m$
Cialdea, Alberto, Maz'ya, Vladimir
core +1 more source
Advanced Science, EarlyView.This study investigates how CTCs survive varying shear stress during hematogenous metastasis. We uncover a self‐protection mechanism, by which non‐adherent CTCs adapt to high shearing milieu through accumulated cytoplasmic myosin‐mediated disruption of myosin‐actin binding, attenuating force transmission into chromatin to protect CTCs from shear ...
Cunyu Zhang +10 more
wiley +1 more source
Questions of existence and uniqueness of the solution of one class of an infinite system of nonlinear two-dimensional equations [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. ИнформатикаThe paper is devoted to the study of one class of infinite systems of nonlinear two-dimensional equations with convex and monotone nonlinearity. The studied class of nonlinear systems of algebraic equations has both theoretical and practical ...
Petrosyan, Haykanush S. +2 more
doaj +1 more source
Rank Of bicomplex matrices and system of algebraic equations
In this paper, we study the rank of matrices of bicomplex numbers. The relationship between rank, idempotent column rank and idempotent row rank is examined. Then, the solution of a system of equations in bicomplex space is presented using a new technique.
Amita, Amita +3 more
openaire +2 more sources