A notion of a coring extension is defined and it is shown to be equivalent to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable functors is illustrated by functors between categories of descent data. A category in which objects are corings and morphisms are coring extensions...

This study aimed to determine whether absolute sex hormone concentrations predict the magnitude of knee joint laxity changes across the menstrual cycle. Twenty-two females (18-30 years, body mass index <or=30), who reported normal menstrual cycles for the previous 6 months were tested daily across one complete menstrual cycle for serum levels of estradiol (E=pg/mL), progesterone (P=ng/mL), and ...

We present a noncommutative generalization of Lax formalism of U(N) principal chiral model in terms of a one-parameter family of flat connections. The Lax formalism is further used to derive a set of parametric noncommutative Bäcklund transformation and an infinite set of conserved quantities. From the Lax pair, we derive a noncommutative version of the Darboux transformation of the model. PACS...

We give the Lax representations for for the elliptic, hyperbolic and homogeneous second order Monge-Ampère equations. The connection between these equations and the equations of hydrodynamical type give us a scalar dispersionless Lax representation. A matrix dispersive Lax representation follows from the correspondence between sigma models, a two parameter equation for minimal surfaces and Mong...

We find a Lax pair for the geometrically exact discrete Hamiltonian equations for the discrete elastic rod. This is paper III in a series. III. Lax Pair for Discrete Dynamics of Discrete Elastic DNA Shi, McClain, and Hearst

In this paper, we focus on the intuitionistic propositional logic extended with a local operator [22] (also called nucleus [21]); such is commonly named lax after [9]. We prove that unification finitary in and supply algorithms for computing basis of unifiers recognizing admissibility inference rules, following analogous known results logic.

Goal of this thesis is to study four problems. In chapters 3-5, we consider scalar conservation law in one space dimension with strictly convex flux. First problem is to know the profile of the entropy solution. In spite of the fact that, this was studied extensively in last several decades, the complete profile of the entropy solution is not well understood. Second problem is the exact control...