Results 141 to 150 of about 61,713 (231)

Od redakcji XIV(4)2018

open access: yesZbliżenia Cywilizacyjne, 2019
openaire   +1 more source

Lyapunov-odes-lean: Formal Proofs of Lyapunov Stability Theorems for Autonomous ODEs in Lean 4

open access: yes
`lyapunov-odes-lean` is a Lean 4 / Mathlib library formalising core Lyapunov stability theorems for autonomous ordinary differential equations. The library defines solutions of `x' = f(x)` using `HasDerivAt`, states Lyapunov stability and asymptotic stability at the origin, proves a Lyapunov stability theorem, proves an asymptotic-stability theorem ...
openaire   +1 more source

Quantitative PCR-Based Analysis of Bacterial Profiles in Periapical Lesions and Maxillary Sinus in Odontogenic Sinusitis. [PDF]

open access: yesInt J Mol Sci
Kwiatkowska MA   +5 more
europepmc   +1 more source

Extensive Osmotic Demyelination Syndrome With a Concomitant Cytotoxic Lesion of the Corpus Callosum in Hyperemesis Gravidarum: A Case Report. [PDF]

open access: yesCureus
Abouchiba S   +9 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy