We review the basic field-theoretic and phenomenological features of the recently introduced Minimal Nonminimal Supersymmetric Standard Model (MNSSM). The introduced model is the simplest and most economic version among the proposed nonminimal supersymmetric models, in which the so-called μ-problem can be successfully addressed. As opposed to the MSSM and the frequently-discussed NMSSM, the MNS...

We present a detailed and complete calculation of the loop corrections to the mass difference ∆m B 0 d /m B 0 d. We include charginos and scalar up quarks as well as gluinos and scalar down quarks on the relevant loop diagrams. We include the mixings of the charginos and of the scalar partners of the left and right handed quarks. We find that the gluino contribution to this quantity is importan...

Multi-level modeling of health information systems helps to separate the tasks of application developers from those of the domain experts. In the technical side, developers use the small and generic models and specifications to be implemented in systems. At runtime, information systems are driven by the knowledge models called archetypes created by domain experts using high-level tools. Such sy...

Most of the phenomenological studies of supersymmetry have been carried out using the so-called minimal supergravity scenario, where one assumes a universal scalar mass, gaugino mass, and trilinear coupling at MGUT . Even though this is a useful simplifying assumption for phenomenological analyses, it is rather too restrictive to accommodate a large variety of phenomenological possibilities. It...

– The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms. – The logical diff problem: given a signature Σ and two versions T0 and T1 of a terminology, check whether T0 and T1 are logically different in the sense that they do not imply the same dependencies be...

The problem of rewriting a concept given a terminology can informally be stated as follows: given a terminology T (i.e., a set of concept deenitions) and a concept description C that does not contain concept names deened in T , can this description be rewritten into a \related better" description E by using (some of) the names deened in T ? In this paper, we rst introduce a general framework fo...