ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.     

On the linear relaxation of a one-dimensional bonded fluid model

The linear relaxation of a one-dimensional bonded fluid model is studied in the dynamical mean field approximation at the pair level. The results are compared with simulation data. Relaxation at low temperatures shows a cooperative character that can be understood in terms of a simple diffusion picture.     

Influence of charge distribution on the conformation of neutral polyampholytes

Summary Two polyampholyte copolymers based on sodium-2-acrylamido-2-methylsulfonate (NaAMPS) and methacryloyloxyethyltrimethylammonium chloride (MADQUAT) have been prepared either in homogeneous solution or by an inverse microemulsion polymerization technique. The copolymer microstructure was shown to depend on the method of preparation. The microemulsion polymerization yields copolymers with a monomer sequence distribution not far from random while those obtained by polymerization in solution have a strong tendency to alternation. The aqueous-solution properties of the two samples have been investigated by viscometry. The results show that the charge distribution along the copolymer chain affects considerably its conformation, in good agreement with recent theoretical studies. Paper presented at the I International Conference on Scaling Concepts and Complex Fluids, Copanello, Italy, July 4–8, 1994     

Parametric linear programming techniques for the indefnite quadratic programming problem

In this paper, we discuss a multiparametric technique for findinga global minimum for an indefinite quadratic programming problembased on the spectral decomposition of the matrix of the quadraticform. Special attention is given to the case where this matrixhas only rank 1, where the multiparametric linear program turnsout to be a single-parameter linear program. An extension ofthe traditional linear parametric procedure is introduced whichin general solves this problem efficiently. However, an exampleis presented showing that this technique may take an exponentialnumber of steps.     

Speech of cochlear implant patients: a longitudinal study of vowel production.

Acoustic parameters were measured for vowels spoken in /hVd/ context by four postlingually deafened recipients of multichannel (Ineraid) cochlear implants. Three of the subjects became totally deaf in adulthood after varying periods of partial hearing loss; the fourth became totally deaf at age four. The subjects received different degrees of perceptual benefit from the prosthesis. Recordings were made before, and at intervals following speech processor activation. The measured parameters included F1, F2, F0, SPL, duration, and amplitude difference between the first two harmonic peaks in the log magnitude spectrum (H 1-H2). Numerous changes in parameter values were observed from pre- to post-implant, with differences among subjects. Many changes, but not all, were in the direction of normative data, and most changes were consistent with hypotheses about relations among the parameters. Some of the changes tended to enhance phonemic contrasts; others had the opposite effect. For three subjects, H 1-H2 changed in a direction consistent with measurements of their average air flow when reading; that relation was more complex for the fourth subject. The results are interpreted with respect to: characteristics of the individual subjects, including vowel identification scores; mechanical interactions among glottal and supraglottal articulations; and hypotheses about the role of auditory feedback in the control of speech production. Almost all the observed differences could be attributed to changes in the average settings of speaking rate, F0 and SPL, which presumably can be perceived without the need for spectral place information. Some observed F2 realignment may be attributable to the reception of spectral cues.     

A note about the Gaussian property of the Brownian bridge

The Gaussian property of the Brownian bridge is characterized as an application of Ramachandran's theorem in terms of the independence of the random variables that appear in the Karhunen-Loéve expansion of the process. A reference about the construction of the Brownian bridge by means of functional transformations is also included.     

Optimal repair-cost limit for a consumer following expiry of a warranty

This paper develops a methodology for obtaining the optimalrepair-cost limit for the repair-replace decision that a consumerfaces on the expiry of a product warranty, where the producthas been minimally repaired on failure during the warranty.Three cases are considered; (i) an exponentially distributedtime to failure with an arbitrary repair-cost distribution,(ii) an exponentially distributed time to failure with a uniformrepair-cost distribution, and (iii) a Weibull-distributed timeto failure with a beta-distributed repair cost. Numerical optimizationsare performed for the third case, and conclusions drawn as tothe sensitivity of the optimal repair-cost limit on the parametervalues of the distributions involved.     

Semi-infinite homology and 2D gravity. I

In [33], we studied the constraint problem for two-dimensional quantum gravity in the conformal gauge. In this gauge, we proposed an ansatz for the gravitational sector. Using this ansatz, we established a striking connection between the matrix models and continuum 2D gravity. We also announced several results on semi-infinite homology of the Virasoro algebra with coefficients in a suitable class of positive energy modules. In this article, we will provide details of the proof of the announced results.Supported in part by the Alfred P. Sloan FoundationSupported by NSF Grant DMS-8703581     

RESTRICTION RESPECTUEUSE ET RECONSTRUCTION DES CHAINES ET DES RELATIONS INFINITES

We show a faithful restriction theorem among infinite chains which implies a reconstructibility conjecture of Halin. This incite us to study the reconstructibility in the sense of Fraïssé and to prove it for orders of cardinality infinite or ≥ 3 and for multirelations of cardinality infinite or ≥ 7, what improves the theory obtained by G. Lopez in the finite case. For this work we had to study the infinite classes of difference which have to be a linear order of type ω, ω* or ω* + ω; this complete the theory made by G. Lopez for the finite case ([13]). We show also Ulam-reconstructibility for linear orders which have a fixed point.