Abst ract The functional approach to scientiic computing is illustrated using various random walk models and the Mathematica programming language.

We provide a simple behavioral definition of ‘subjective mixture’ of acts for a large class of (not necessarily expected-utility) preferences. Subjective mixtures enjoy the same algebraic properties as the ‘objective mixtures’ used to great advantage in the decision setting introduced by Anscombe and Aumann (1963). This makes it possible to formulate mixture-space axioms in a fully subjective s...

Problem Frames and i* are two broadly used approaches that require a good background from the requirements engineering. Both approaches have typical traits that fit in equivalent. On the other hand, there are features that do not fit. Thereby, there are some points which need improvements on both of them. This work analyzes the five basic problem frames, defined by Michael Jackson, in the i* co...

We give an enumeration of possible problem frames, based on domain characteristics, and comment on the usefulness of the obtained frames. In particular, we investigate problem domains and their characteristics in detail. This leads to fine-grained criteria for describing problem domains. As a result, we identify a new type of problem domain and come up with integrity conditions for problem fram...

In this paper, a variable-precision dominance-based rough set approach (VP-DRSA) is proposed together with several VP-DRSA-based approaches to attribute reduction. The properties of VP-DRSA are shown in comparison to previous dominance-based rough set approaches. An advantage of VP-DRSA over variable-consistency dominance-based rough set approach in decision rule induction is emphasized. Some r...

We establish new upper bounds on the complexity of multidimensional 3earching. Our results include, in particular, linear-size data structures for range and rectangle counting in two dimensions with logarithmic query time. More generally, we give improved data structures for rectangle problems in any dimension, in a static as well as a dynamic setting. Several of the algorithms we give are simp...

A functional approach to the description of speech in terms of phonemic units is exposed. It is based on a structural analysis of phonetically transcribed and syllabified texts, which tak:es into account the word stress and the syllabic structure of the language. As a consequence, the defined units utilize syllabic microprosodic cues and are present in a limited number of contexts. The method i...

Ivan A. Larkin†and L. S. Levitov‡ †Department of Physics and Astronomy, University of Sheffield, Sheffield S3 7RH, UK ‡Center for Materials Science & Engineering, Physics Department, MIT, Cambridge, MA-02139 Abstract The incompressible Quantum Hall strip is sensitive to charging of localized states in the cyclotron gap. We study the effect of localized states by a density functional approach an...

Density functional theory is applied to ion-induced nucleation of dipolar molecules. The predicted reversible work shows a sign preference, resulting in a difference in the nucleation rate by a factor of 10–10, for realistic values of model parameters. The sign effect is found to decrease systematically as the supersaturation is increased. The asymmetry of a molecule is shown to be directly res...

This paper investigates the controller synthesis of uncertain linear time-delay systems. Stabilizability criteria are derived based on a discretized Lyapunov functional approach. A new controller design method is developed. Numerical examples show that the results using the proposed method are less conservative than some existing ones.