Arti cial neural networks can solve complex problems such as time series prediction, handwritten pattern recognition or speech processing. Though software simulations are essential when one sets about to study a new algorithm, they cannot always ful ll real-time criteria required by some practical applications. Consequently, hardware implementations are of crucial import. The appearance of fast...

Two basic aggregation methods of reals are idempotent ones (min, max, arithmetic mean) and Archimedean ones (sum, bounded sum). Under some additional requirements, these methods can be shown to be the only possible up to isomorphic transformation and composition of operators (e. g. ordinal sum), see for example Isemigroups of Mostert and Shields [15], compare also [9], or quasi-arithmetic means...

Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning about them. We present algorithms for ordinal arithmetic on an exponentially more compact representation than the one used by ACL2. The algorithms have been implemented and numerous properties of the arithmetic opera...

1. A. Borel and Harish-Chandra, Arithmetic subgroups of algebraic groups, Bull. Amer. Math. Soc. 67 (1961), 579-583. 2. , Arithmetic subgroups of algebraic groups, Ann. of Math. (2) 75 (1962), 485-535. 3. Harish-Chandra, On the characters of a semisimple Lie group, Bull. Amer. Math. Soc. 61 (1955), 389-396. 4. , Differential operators on a semisimple Lie algebra, Amer. J. Math. 79 (1957), 87-12...

Abs t r ac t . Artificial neural networks can solve complex problems such as time series prediction, handwritten pattern recognition or speech processing. Though software simulations are essential when one sets about to study a new algorithm, they cannot always fulfill real-time criteria required by some practical applications. Consequently, hardware implementations are of crucial import. The a...

We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisations of complexity classes C by showing that a language belongs to C if and only if it is definable in either arithmetic or the free monoid by a formula of a certain logic. We investigate in which cases the bounds of fi...

This study characterized the exposure of crude oil process operators to benzene and related aromatics during ordinary activity and investigated whether the operators take up benzene at this level of exposure. We performed the study on a fixed, integrated oil and gas production facility on Norway's continental shelf. The study population included 12 operators and 9 referents. We measured persona...

The costs of designing, building, launching and maintaining satellites make satellite operators extremely motivated to protect their on-orbit assets. Unfortunately, privacy concerns present a serious barrier to coordination between different operators. One obstacle to improving safety arises because operators view the trajectories of their satellites as private, and refuse to share this private...