Data type. Set of values and operations on those values.

Man agem en t by

This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc. Security brings in concerns for confidentiality, in addition to availability and integrity. Basic

;General Schema", whichgeneral39I theusual recursor definitions fornatural numbers and simil9 "basic inductive types". This combined lmbined was shown to bestrongl normalIk39f The purpose of this paper is toreformul33 and extend theGeneral Schema in order to make it easil extensibl3 to capture a

types of therapeutically induced tumour regression. It is implicated in both physiological involution and atrophy of various tissues and organs. It can also be triggered by noxious agents, both in the embryo and adult animal. IN recent years it has become widely recognized that spontaneous loss of cells

Summary. We consider two basic types of coarse-graining: the Ehrenfests ’ coarse-graining and its extension to a general principle of non-equilibrium thermodynamics, and the coarse-graining based on uncertainty of dynamical models and ε-motions (orbits). Non-technical discussion of basic notions

We construct the covariant κ-symmetric superstring action for type IIB superstring on plane wave space supported by Ramond-Ramond background. The action is defined as a 2d sigma-model on the coset superspace. We fix the fermionic and bosonic light-cone gauges in the covariant Green

Term Rewriting Systems play an important role in various areas, such as abstract data type specifications, implementations of functional programming languages and automated deduction. In this chapter we introduce several of the basic comcepts and facts for TRS's. Specifically, we discuss

We list the so-called Askey-scheme of hypergeometric orthogonal polynomials and we give a q-analogue of this scheme containing basic hypergeometric orthogonal polynomials. In chapter 1 we give the definition, the orthogonality relation, the three term recurrence relation, the second order

The astonishing increase in computer performance over the past two decades has made it possible for economists to base many statistical inferences on simulated, or bootstrap, distributions rather than on distributions obtained from asymptotic theory. In this paper, I review some of the basic ideas