The language LRTp is a non-deterministic language for exact real number computation. It has been shown that all computable first order relations in the sense of Brattka are definable in the language. If we restrict the language to single-valued total relations (e.g. functions), all polynomials are definable in the language. This paper is an expanded version of [12] in which we show that the non...

This paper proposes pure significance tests for the absence of nonlinearity in cointegrating relationships. No assumption of the functional form of the nonlinearity is made. It is envisaged that the application of such tests could form the first step towards specifying a nonlinear cointegrating relationship for empirical modelling. The asymptotic and small sample properties of our tests are inv...

The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

The apparent failure of individual probabilistic expressions to distinguish uncertainty about truths from uncertainty about probabilistic assessments have prompted researchers to seek formalisms where the two types of uncertainties are given notational distinction. This paper demonstrates that the desired distinction is already a built-in feature of classical probabilistic models, thus, special...

This paper uses a ßexible approach to characterize the nonlinear relation between oil price changes and GDP growth. The paper reports clear evidence of nonlinearity, consistent with earlier claims in the literature— oil price increases are much more important than oil price decreases, and increases have signiÞcantly less predictive content if they simply correct earlier decreases. An alternativ...

Financial data are as a rule asymmetric, although most econometric models are symmetric. This applies also to continuous-time models for high-frequency and irregularly spaced data. We discuss some asymmetric versions of the continuous-time GARCH model, concentrating then on the GJR-COGARCH. We calculate higher order moments and extend the first jump approximation. These results are prerequisite...

This paper introduces heterogeneous expectations into a New Keynesian model. Our primary theoretical contribution is to provide an aggregation result for a model with nominal rigidities and heterogeneous bounded rationality. We incorporate bounded rationality at the individual agent level and determine restrictions on expectations operators sufficient to imply aggregate IS and AS relations of t...

There are two models based on Semiotic Engineering aimed to assist designers in modeling the interface: Manas and MoLIC. This work shows the result of the application of these models in two collaborative systems and contrasts the results between models and within each model, assessing which aspects were represented by each model and in what level of abstraction, as well as the possibility of a ...