To measure economic profits generated by an insurance policy during its life time, we compare the terminal assets of the policy account with certain breakeven value. Policies with mutil-year loss payments and income tax payments are studied. The breakeven value of terminal assets is given in closed form, and shown to be an increasing function of the claims risk and the asset investment risk. Pr...

There are very few known examples of manifolds with positive sectional curvature. Apart from the compact rank one symmetric spaces, they exist only in dimensions 24 and below and are all obtained as quotients of a compact Lie group equipped with a biinvariant metric under an isometric group action. They consist of certain homogeneous spaces in dimensions 6, 7, 12, 13 and 24 due to Berger [Be], ...

A recently suggested general anti-windup (AW) compensation scheme is applied to the nonlinear simulation model of the 1 16 scaled BAe Hawk aircraft model used for wind tunnel experiments. The Hawk is modelled as a nonlinear affine system subject to input constraints and has a primary control system consisting of an inner-loop nonlinear dynamic inversion controller and an outer-loop linear PID c...

The contact binary AW UMa has an extreme mass ratio, with the more massive component close to the main sequence, while the low mass star at q ≈ 0.1 has a much larger radius than a main sequence star of a comparable mass. We propose that the secondary has almost exhausted hydrogen in its center and is much more advanced in its evolution, as suggested by Stȩpień. Presumably the secondary lost mos...

We prove that a general miraculous cancellation formula, the divisibility of certain characteristic numbers, and some other topological results related to the generalized Rochlin invariant, the η-invariant and the holonomies of certain determinant line bundles, are consequences of the modular invariance of elliptic operators on loop space. 1. Motivations In [AW], a gravitational anomaly cancell...

In this note we shall prove that every locally compact group can be embedded as a closed subgroup in a unimodular group. If the original group is locally Euclidean, the enlarged group will be also, hence the fifth problem of Hilbert is reduced to the unimodular case. We shall use certain results concerning Haar measure whose proof may be found in A. Weil, U integration dans les groupes topologi...

This eZp&iment is a repeat of an earlier experiment,’ but with more sensitive appaTatus and in a location with a higher incidence of thunderstorm activity. The experiment of Ref. (1) was undertaken by Ashby and Whitehead (AW) to investigate the theory that ball lightning might be associa.ted with the annihilation of small amounts of antimatter, and it yielded some very int.eresting but inconclu...

Resolution of singularities is one of the central areas of research in Algebraic Geometry. It is a basic prerequisite for the classification of algebraic varieties up to birational equivalence, since it allows to consider only regular varieties. Hironaka’s monumental work [Hi1] gave a non-constructive, existence proof of resolution of singularities over fields of characteristic zero. Constructi...

BACKGROUND Neurally adjusted ventilatory assist (NAVA) is a pneumatically-independent mode of mechanical ventilation controlled by diaphragm electrical activity (EAdi), and has not yet been implemented in very small species. OBJECTIVES The aims of the study were to evaluate the feasibility of applying NAVA in very small species and to compare this to pressure support ventilation (PSV) in term...