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...

According to higher order (HO) theories of consciousness, a mental state is conscious when there HO about it. However, some states do not seem be other existing states. It possible resolve this problem since targetless resemble that misrepresent but the assumption always target at odds with theory are only necessary also sufficient for phenomenal consciousness according theory. Given sufficienc...