Results 141 to 150 of about 17,772 (305)
Theorem-proving with resolution and superposition
Journal of Symbolic Computation, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Nonlinear permuted Granger causality
Canadian Journal of Statistics, EarlyView.Abstract Granger causality is an established, contentious method that seeks causal temporal connections via association and precedence. While not true causal inference, it assists in mapping networks of information flow that may warrant further study.
Noah D. Gade, Jordan Rodu
wiley +1 more source
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT The leading‐order asymptotic behavior of the solution of the Cauchy initial‐value problem for the Benjamin–Ono equation in L2(R)$L^2(\mathbb {R})$ is obtained explicitly for generic rational initial data u0$u_0$. An explicit asymptotic wave profile uZD(t,x;ε)$u^\mathrm{ZD}(t,x;\epsilon)$ is given, in terms of the branches of the multivalued ...
Elliot Blackstone +3 more
wiley +1 more source
Stability of Viscous Three‐Dimensional Stratified Couette Flow via Dispersion and Mixing
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT This article explores the stability of stratified Couette flow in the viscous 3d$3d$ Boussinesq equations. In this system, mixing effects arise from the shearing background, and gravity acts as a restoring force leading to dispersive internal gravity waves.
Michele Coti Zelati +2 more
wiley +1 more source
Verification by Theorem Proving
, 1999 ion Verification of Generic Circuits Conclusions References 1999 S. Tahar, E. Cerny, 1997X. Song1996 E. Cerny, X. Song10/31/99 5.2 (of 42) Introduction Theorem Proving Prove that an implementation satisfies a specification by mathematical reasoning ...
X. Song, E. Cerny, S. Tahar
core
Front Propagation Through a Perforated Wall
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT We consider a bistable reaction– diffusion equation ut=Δu+f(u)$u_t=\Delta u +f(u)$ on RN${\mathbb {R}}^N$ in the presence of an obstacle K$K$, which is a wall of infinite span with many holes. More precisely, K$K$ is a closed subset of RN${\mathbb {R}}^N$ with smooth boundary such that its projection onto the x1$x_1$‐axis is bounded and that ...
Henri Berestycki +2 more
wiley +1 more source
Technical Report Number 601 Combining model checking and
, 2004 ISSN 1476-2986 We implement a model checker for the modal mu-calculus as a derived rule in a fully expansive mechanical theorem prover, without causing an unacceptable performance penalty.
Theorem Proving +2 more
core
Clinical Pharmacology &Therapeutics, EarlyView.Traditional dosing strategies often rely on a “one‐size‐fits‐all” paradigm, assuming an “average” patient with typical demographic and pharmacological characteristics. In reality, this often overlooks existing between‐patient variability and can lead to suboptimal drug exposure or toxicity. This issue is especially pronounced in pediatric patients, who
Zachary L. Taylor +12 more
wiley +1 more source
Automated Theorem Proving: A Review
, 2002 Review of Automated Theorem Proving: Theory and Practice, by Monty Newborn, Berlin, Springer-Verlag, 231 pp., $54.95.
Sutcliffe, Geoff
core +1 more source