The generalized divided differences are introduced. They are applied to investigate some properties characterizing generalized higher-order convexity. Among others some support-type property is proved.

In semilocal theories, the vacuum manifold is fibered in a non-trivial way by the action of the gauge group. Here we generalize the original semilocal theory (which was based on the Hopf bundle S3 S → S2) to realize the next Hopf bundle S7 S → S4, and its extensions S2n+1 S → HP. The semilocal defects in this class of theories are classified by π3(S 3), and are interpreted as constrained instan...

Gamma is a programming model where computation is seen as chemical reactions between data represented as molecules floating in a chemical solution. Formally, this model is represented by the rewriting of a multiset where rewrite rules model the chemical reactions. Recently, we have proposed the γ-calculus, a higher-order extension, where the rewrite rules are first-class citizen. The work prese...

To prevent hemophilic arthropathy, prophylactic treatment of children with severe hemophilia should be started before joint damage has occurred. However, treatment is expensive, and the burden of regular venipunctures in young children is high. With the aim of providing information on starting prophylaxis on the basis of individual patient characteristics, the effect of postponing prophylaxis o...

We propose a generalized formulation of stellar speckle interferometry (SSI) and related techniques in terms of joint spatial/spatial-frequency energy representations. We show how, within this formulation, techniques such as that of Knox-Thompson, or even standard SSI, appear to be particular implementations of a more general method. This generalized SSI is derived in a straightforward manner f...

Generalized models of joint surface shapes are the foundation for mechanism studies on the mechanical effects of rock joint surface shapes. Based on extensive field investigations of rock joint surface shapes, generalized models for three level shapes named macroscopic outline, surface undulating shape, and microcosmic roughness were established through statistical analyses of 20,078 rock joint...