In this paper we propose a formal language for writing electronic contracts, based on the deontic notions of obligation, permission, and prohibition. We take an ought-to-do approach, where deontic operators are applied to actions instead of state-of-a airs. We propose an extension of the μ-calculus in order to capture the intuitive meaning of the deontic notions and to express concurrent action...

In generalizing constructions of N.V. Veli£ko, the paper starts from two generalized topologies μ and μ′ on a set X and introduces two more generalized topologies δ(μ, μ′) and θ(μ, μ′) with the examination of their properties.

We prove that if μ+ → [μ+]2 μ+ holds for a singular cardinal μ, then any collection of fewer than cf(μ) stationary subsets of μ+ must reflect simultaneously.

A single bootstrap test is to be based on a statistic τ in asymptotic P value form. Rejection by an asymptotic test at level α is thus the event τ < α. Rejection by the bootstrap test is the event τ < Q(α, μ∗), where μ∗ is the bootstrap DGP, and Q(α, μ∗) is the (random) α--quantile of the distribution of the statistic τ as generated by μ∗. We define two random variables that are deterministic f...

ion-side and Display-side behaviours. Interactors can be ‘observed’ from the abstraction or the display sides. The abstraction-side behaviour of the interactor is observed by interaction at gates Notation Meaning r q n   →  μ μ .. 1 r q q q q q q n n n →  → → →  →  ∃ − μ μ μ 1 2 1 1 ... | ... 2 1 r q ε ⇒ r q n r q n →  ≥ ∃ ∨ ≡ τ | 1 r q μ ⇒ r q q q q q ε μ ε ⇒ →  ⇒ ∃ 2 1 2 1 | , r ...

Multiple aromatic CH activations by a dirhenium complex have provided meta-related dimetallated arene rings in the complexes Re2(CO)8(μ-H)(μ-η2-1,2-μ-η2-3,4-C14H8)Re2(CO)8(μ-H), 3 and Re2(CO)8(μ-H)(μ-η1-1,μ-η1-3-C6H4)Re2(CO)8(μ-H), 4. Both products were characterized structurally by single crystal X-ray diffraction and DFT molecular orbital analyses.

In this paper we consider two functionals of the Fekete–Szegö type: Φ f (μ)=a 2 a 4 -μa 3 and Θ for analytic functions f(z)=z+a z +a +..., z∈Δ, (Δ={z∈ℂ:|z|<1}) real numbers μ. For which is univalent convex in direction imaginary axis, find sharp bounds (μ) (μ). It possible to transfer results onto class