To generate oregano essential oil, the leaves and flowering tops of Origanum vulgare plant go through process known as steam distillation. This oil is for its antibacterial activity. Bacterial biofilms are microbial communities attached to inert surfaces or tissues encapsulated in complex matrices. Planktonic bacteria reversibly attach surfaces, form microcolonies, polymeric matrices around bio...

We have ∀X.A′ ≺ ∀X.B, so A′ ≺ B. Also, we have Σ ` V X : A′, so the RHS has type B = A. • Case (V : A′ p =⇒ ∀X.B) X 7−→ V : A′ p =⇒ B : We have A′ ≺ ∀X.B, so A′ ≺ B. Thus, the RHS has type B = A. • Case V : ∀X.A′ p =⇒ B 7−→ (V ?) : A′[X:=?] p =⇒ B : We have ∀X.A′ ≺ B, so A′[X:=?] ≺ B by Lemma 1. Thus, the RHS has type B. Definition 3. Well-typed contexts, written Σ B E : B ⇒ A, are defined in t...

We consider the set of Gibbs measures relative to Brownian motion for given potential V . V is assumed to be Kato-decomposable but general otherwise. A Gibbs measure for such a potential is in many cases given by a reversible Itô diffusion μ. We show that if V is growing at infinity faster than quadratically and in a sufficiently regular way, then μ is the only Gibbs measure that exists. For ge...

Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to safety issues. The system can cope with heavily changing conditions but its future behavior is not known a-priori. Therefore, present software solutions to safety like a comprehensive analysis of the specification and its implem...

For a monad S on a categoryK whose Kleisli category is a quantaloid, we introduce the notion of modularity, in such a way that morphisms in the Kleisli category may be regarded as V(bi)modules (= profunctors, distributors), for some quantale V . The assignment S // V is shown to belong to a global adjunction which, in the opposite direction, associates with every (commutative, unital) quantale ...

Choreograph (v.): bodies in time and space Choreograph (v.): act of arranging relations between bodies in time and space Choreography (v.): act of framing relations between bodies ……… 'a way of seeing the world' Choreography (n.): result of any of these actions Choreography (n.): a dynamic constellation of any kind, consciously created or not, self-organising or superimposed. Choreography (n.):...

We classify up to multiplier equivalence optimal (v, 3, 1) binary cyclically permutable constant weight (CPCW) codes with v ≤ 61. There is a one-to-one correspondence between optimal (v, 3, 1) CPCW codes, optimal cyclic binary constant weight codes with weight 3 and minimal distance 4, (v, 3; b(v − 1)/6c) difference packings, and optimal (v, 3, 1) optical orthogonal codes. Therefore the classif...

In this paper, we shall study the packings of v elements into hendecads for those values of v less than 111. The values k = 7 and k 11 are the first values for which a geometry does not exist, and the situation for k = 11 displays considerably more variety than that which' occurred for k = 7 (cf. [15]). First, we recapitulate terminology; we start with v elements, and wish to determine the pack...