Evaluation of autologous fat injection as a minimally invasive technique for rectocele repair: a prospective pilot study. [PDF]
Tech ColoproctolShafik IA +4 more
europepmc +1 more source
Lyapunov-odes-lean: Formal Proofs of Lyapunov Stability Theorems for Autonomous ODEs in Lean 4
`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
Chemical Diversity and Antitumor Metabolites from Soft Coral-Derived Fungus <i>Aspergillus sclerotiorum</i> SCSIO 41031 via OSMAC Strategy. [PDF]
Mar DrugsGao J +5 more
europepmc +1 more source
Laparoscopic Resection Rectopexy with Transanal Specimen Extraction for Complete Rectal Prolapse: Retrospective Cohort Study of Functional Outcomes. [PDF]
J Clin MedAtes M +5 more
europepmc +1 more source
Osmotic demyelination syndrome diagnosed by Magnetic Resonance Imaging in a child with tetraplegia: Case report. [PDF]
Radiol Case RepDomruk ÖF +3 more
europepmc +1 more source
The Nanoparticle Stability and Microstructural Evolution of 9Cr-ODS Steel Under Fe Ion Irradiation at Elevated Temperatures. [PDF]
Materials (Basel)Wei Y +8 more
europepmc +1 more source
Minimally invasive resection rectopexy as a treatment method for obstructive defecation (ODS): functional outcome in ODS; constipation and fecal incontinence. [PDF]
BMC SurgDriouch J +4 more
europepmc +1 more source
Osmotic Demyelination Syndrome in a Patient With Schizophrenia: A Case Report. [PDF]
Neuropsychopharmacol RepLai YC, Lan CC.
europepmc +1 more source