This paper develops a least-squares approach to the solution of the incompressible Navier-Stokes equations in primitive variables. As with our earlier work on Stokes equations, we recast the Navier-Stokes equations as a first-order system by introducing a velocity flux variable and associated curl and trace equations. We show that the resulting system is well-posed, and that an associated least...

the main aim of this article is to study (v,k,λ)-symmetric designs admitting a flag-transitive and point-primitive automorphism group g whose socle is psl(3,q). we indeed show that the only possible design satisfying these conditions is a desarguesian projective plane pg(2,q) and g > psl(3,q).

Generalizations of the series exp and log to noncommutative non-associative and other types of algebras were regarded by M. Lazard, and recently by V. Drensky and L. Gerritzen. There is a unique power series exp(x) in one non-associative variable x such that exp(x) exp(x) = exp(2x), exp ′ (0) = 1. We call the unique series H = H(x, y) in two non-associative variables satisfying exp(H) = exp(x) ...

Despite the increasing use of cytokines to circumvent the acute dose-limiting myelotoxicity of cancer treatment, little is known about the combined effects of cytotoxic agents and cytokines on the primitive stem cells responsible for long-term hematopoiesis. In an experimental model, we administered cytotoxic agents that have variable effects on primitive stem cells in C57BL/6 (B6)-mice. Mice r...

Clocked Cubical Type Theory is a new type theory combining the power of guarded recursion with univalence and higher inductive types (HITs). This can be used as metalanguage for synthetic domain in which one solve recursive equations, also negative variable occurrences, use these to construct models reasoning about programming languages. Combining this HITs allows constructors familiar from set...