The computerized modeling tool for DEDSs (that are highly event-driven) is given. Statecharts formalism is used for description of the system's behaviour. The graphics-based tool Stacha contains GUI which enables to draw the Statecharts and to specify the behaviour of the system under development. The described modeling tool further enables to analyse the system properties (such as liveness, re...

We show that if Part(κ, λ) holds for every λ ≥ κ, then κ is strongly compact. Let κ be a regular infinite cardinal, and let λ ≥ κ be a cardinal. Pκ(λ) denotes the set of all subsets of λ of size less than κ. Part(κ, λ) means that for every F : Pκ(λ) × Pκ(λ) → 2, there is a cofinal subset A of (Pκ(λ),⊆) such that F is constant on the set {(a, b) ∈ A × A : a ⊂ b}. This definition is due to Jech [...

This note summarises my understanding to date of two closely-related theories for dealing with “bulk” data types: the Bird-Meertens formalism (henceforth abbreviated to BMF) and its extension in categorical data types (CDT). I've been led to this study for two reasons: as interesting formalisms for program derivation in their own right, and as a possible basis for defining useful operations for...

The work presented in this paper is framed within the context of the BigMed project, a project funded by the Norwegian Research Council. One of the objectives of BigMed is to enhance the phenotype acquisition process in newborns with a monogenetic disorder, one of the four patient groups studied in the project. The use of the Human Phenotype Ontology (HPO) [1] to tag phenotypes and systems like...

This tutorial will describe the use of a factored probabilistic sequence model for parsing speech and text using a bounded store of three to four incomplete constituents over time, in line with recent estimates of human shortterm working memory capacity. This formulation uses a grammar transform to minimize memory usage during parsing. Incremental operations on incomplete constituents in this t...

Bimetric gravity theories describes gravitational interactions in the presence of an extra spin-2 field. The Hassan–Rosen (HR) nonlinear massive minimal bigravity theory is a ghost-free bimetric formulated with respect flat, dynamical reference metric. In this work deformation quantization formalism applied to HR cosmological model minisuperspace. procedure performed explicitly for quantum cosm...

We present a technique to treat systems with very many levels, like molecules, in non–LTE. This method is based on a superlevel formalism coupled with rate operator splitting. Superlevels consist of many individual levels that are assumed to be in LTE relative to each other. The usage of superlevels reduces the dimensionality of the rate equations dramatically and, thereby, makes the problem co...