On the polynomial-space completeness of intuitionistic propositional logic

We present an alternative, purely semantical and relatively simple, proof of the Statman's result that both intuitionistic propositional logic and its implicational fragment are PSPACE-complete.This paper was supported by grant 401/01/0218 of the Grant Agency of the Czech Republic. % Mathematics Subject Classification (2000):     

The Problem of Aliasing in Identifying Finite Parameter Continuous Time Stochastic Models

This note exposits the problem of aliasing in identifying finite parameter continuous time stochastic models, including econometric models, on the basis of discrete data. The identification problem for continuous time vector autoregressive models is characterised as an inverse problem involving a certain block triangular matrix, facilitating the derivation of an improved sufficient condition for the restrictions the parameters must satisfy in order that they be identified on the basis of equispaced discrete data. Sufficient conditions already exist in the literature but these conditions are not sharp and rule out plausible time series behaviour.     

Optimal Operations Management and Network Planning of a District Heating System with a Combined Heat and Power Plant

District heating plants are becoming more common in European cities. These systems make it possible to furnish users with warm water while locating the production plants in the outskirts having the double benefit of lowering the impact of pollution on the center of the city and achieving better conversion performances. In order to amortize the costs throughout the year, the system often includes a combined heat and power (CHP) plant, to exploit the energy during the summer as well, when the demand for warm water decreases. A linear programming model for the optimal resource management of such a plant is presented and some results for a real case are reported. A distribution network design problem is also addressed and solved by means of mixed integer linear programming.     

Contractibility of Efficient Frontier of Simply Shaded Sets

In finite dimensional Euclidean space, we prove the contractibility of the efficient frontier of simply shaded sets. This work extends the result of Peleg [7], which confirms the contractibility of the efficient frontier in the convex case.     

Non-compact generalized variational inequalities for quasi-monotone and hemi-continuous operators with applications

Some results are obtained for non-compact cases in topological vector spaces for the existence problem of solutions for some set-valued variational inequalities with quasi-monotone and lower hemi-continuous operators, and with quasi-semi-monotone and upper hemi-continuous operators. Some applications are given in non-reflexive Banach spaces for these existence problems of solutions and for perturbation problems for these set-valued variational inequalities with quasi-monotone and quasi-semi-monotone operators. This revised version was published online in June 2006 with corrections to the Cover Date.     

ON THE EQUATION □φ = |vφ|2 IN FOUR SPACE DIMENSIONS

This paper considers the following Cauchy problem for semilinear wave equations in n spacedimensions□φ = F( φ),φ(0, x) = f(x), tφ(0, x) = g(x),The minimal value of s is determined such that the above Cauchy problem is locally well-posed in Hs. It turns out that for the general equation s must satisfyThis is due to Ponce and Sideris (when n = 3) and Tataru (when n ≥ 5). The purpose of thispaper is to supplement with a proof in the case n = 2, 4.     

Hypothesis testing for the generalized multivariate modified Bessel model

In this paper, we consider hypothesis testing problems in which the involved samples are drawn from generalized multivariate modified Bessel populations. This is a much more general distribution that includes both the multivariate normal and multivariate-t distributions as special cases. We derive the distribution of the Hotelling's T²-statistic for both the one- and two-sample problems, as well as the distribution of the Scheffe's T²-statistic for the Behrens–Fisher problem. In all cases, the non-null distribution of the corresponding F-statistic follows a new distribution which we introduce as the non-central F-Bessel distribution. Some statistical properties of this distribution are studied. Furthermore, this distribution was utilized to perform some power calculations for tests of means for different models which are special cases of the generalized multivariate modified Bessel distribution, and the results compared with those obtained under the multivariate normal case. Under the null hypothesis, however, the non-central F-Bessel distribution reduces to the central F-distribution obtained under the classical normal model.     

Capacity Constrained Transit Assignment with Common Lines

This paper proposes the use of absorbing Markov chains to solve the capacity constrained transit network loading problem taking common lines into account. The approach handles congested transit networks, where some passengers will not be able to board because of the absence of sufficient space. The model also handles the common lines problem, where choice of route depends on frequency of arrivals. The mathematical formulation of the problem is presented together with a numerical example. This revised version was published online in July 2006 with corrections to the Cover Date.     

On Solvability of Functional Equations Relating to Dynamical Systems with Two Generators

In this paper, some solvability problems for functional equations of the form