Results 161 to 170 of about 6,556,269 (259)

An infinite dimensional Saddle Point Theorem and application. [PDF]

Bound Value Probl
Colin F, Songo A.
europepmc   +1 more source

Electric-Current-Assisted Nucleation of Zero-Field Hopfion Rings. [PDF]

Adv Mater
Chen X, Song D, Rybakov FN, Kiselev NS, Li L, Shi W, Wu R, Fu X, Eriksson O, Blügel S, Dunin-Borkowski RE, Du H, Zheng F.   +12 more
europepmc   +1 more source

Peristaltic flow of sutterby nanofluid in a stenosed artery with ciliated endothelium and wall roughness under hall and ion slip effects. [PDF]

Sci Rep
Mostapha DR, Eldabe Nabil TM, Abbas W.
europepmc   +1 more source

Spaces and sequences in the hippocampus: a homological perspective. [PDF]

J Comput Neurosci
Babichev A, Vashin V, Dabaghian Y.
europepmc   +1 more source

A homotopy estimation based temporal-spatial spectrum prediction for UAV communications with arbitrary flight paths. [PDF]

Sci Rep
Luo S, Zhou W, Wu L, Zhang Q, Lin R, Yan Y, Li H, Xie S.   +7 more
europepmc   +1 more source

Impact of cilia length and variable fluid properties on electroosmotic nanofluid flow in an inclined converging microchannel. [PDF]

Sci Rep
Sadalagi P, Choudhari R, Vaidya H, Gudekote M, Prasad KV.   +4 more
europepmc   +1 more source

Synthetic Homotopy Theory

The goal of this dissertation is to present results from synthetic homotopy theory based on homotopy type theory (HoTT). After an introduction to Martin-Löf\u27s dependent type theory and homotopy type theory, key results include a synthetic construction
Wei, Yuhang
core  

Stability and control mechanism of nonlinear horizontal vibration for rolling system with gyroscope precession effect. [PDF]

Sci Rep
Sun C, Zhao W, Liu W, Han G, Chen Y, Duan J.   +5 more
europepmc   +1 more source

Classicality of derived Emerton-Gee stack. [PDF]

Math Ann
Min Y.
europepmc   +1 more source

A comparative framework for convergence analysis of perturbation series techniques in nonlinear fractional quadratic differential equations. [PDF]

PLoS One
Hashim DJ.
europepmc   +1 more source