Absence of a dose-rate effect in the transformation of C3H 10T1/2 cells by α-particles

The findings of Hill et al. (1984) on the greatly enhanced transformation frequencies at very low dose rates of fission neutrons induced us to perform an analogous study with -particles at comparable dose rates. Transformation frequencies were determined with γ-rays at high dose rate (0·5 Gy/min), and with -particles at high (0·2 Gy/min) and at low dose rates (0·83-2·5 mGy/min) in the C3H 10T1/2 cell system. α-particles were substantially more effective than γ-rays, both for cell inactivation and for neoplastic transformation at high and low dose rates. The relative biological effectiveness (RBE) for cell inactivation and for neoplastic transformation was of similar magnitude, and ranged from about 3 at an -particle dose of 2 Gy to values of the order of 10 at 0·25 Gy. In contrast to the experiments of Hill et al. (1984) with fission neutrons, no increased transformation frequencies were observed when the -particle dose was protracted over several hours

Studies of the dose-effect relation

Dose-effect relations and, specifically, cell survival curves are surveyed with emphasis on the interplay of the random factors — biological variability, stochastic reaction of the cell, and the statistics of energy deposition —that co-determine their shape. The global parameters mean inactivation dose, , and coefficient of variance, V, represent this interplay better than conventional parameters. Mechanisms such as lesion interaction, misrepair, repair overload, or repair depletion have been invoked to explain sigmoid dose dependencies, but these notions are partly synonymous and are largely undistinguishable on the basis of observed dose dependencies. All dose dependencies reflect, to varying degree, the microdosimetric fluctuations of energy deposition, and these have certain implications, e.g. the linearity of the dose dependence at small doses, that apply regardless of unresolved molecular mechanisms of cellular radiation action

A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

Determining the Role of Abstraction and Executive Control in Process Modeling

Contains fulltext : 103293.pdf (author's version ) (Open Access)5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling (PoEM), Rostock, Germany, November 7-8, 201