Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

More compact invariant manifolds appearing in the non-linear coupling of oscillators

Near partially elliptic rest points of generic families of vector fields or transformations, many types of normally hyperbolic invariant compact manifolds can appear, diffeomorphic to intersections of quadrics. To cite this article: M. Chaperon et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Effect of Finite Spectral Width on the Modulational Instability of Langmuir Waves described by a Nonlinear Schrödinger Equation

By using the two-point space correlation function an equation for the power spectral density for a random Langmuir field has been derived. The dispersion relation for a monochromatic wave is regained for a delta spectrum. For a Gaussian spectrum, the maximum growth rate is less than that for a monochromatic wave. For a “meander spectrum”, the growth rate is increased with the width of the spectrum in the first stage then decreased for further increase of the width.     

The complexification and degree of a semi-algebraic set

The complexification of a semi-algebraic set is the smallest complex algebraic set containing S. Let S be defined by s polynomials of degrees less than d. We prove that the geometric degree of the complexification is less than . Received: 9 January 1997; in final form: 11 August 2000 / Published online: 17 May 2001     

Relational Control Structures

In this paper, we outline the use of relational control structures (Regel-Relative) to describe continuous-time linear systems and show how well known time-invariance from control theory can be defined by these algebraic structures. Furthermore, such important system properties as controllability and reachability are introduced to arbitrary (nonlinear, non-smooth, discontinuous) dynamical systems.     

Considerations on modelling the market for softwood lumber in the United States

The analysis in this paper looks at two important elements in modelling the market for timber in the United States. First, the issue of directional causality between price and quantity and its implications in a modelling effort is investigated. Second, the extent of the geographic market for timber is discussed and a method of detecting it is suggested. The method for detecting the extent of the geographical market is tractable and can be applied in a straightforward way. Both considerations are applied to the softwood lumber market in the United States.     

Nonlocal Effects in Two-Dimensional Conductivity

The paper deals with the asymptotic behaviour as ε → 0 of a two-dimensional conduction problem whose matrix-valued conductivity a _ε is ε-periodic and not uniformly bounded with respect to ε. We prove that only under the assumptions of equi-coerciveness and L ¹-boundedness of the sequence a _ε , the limit problem is a conduction problem of same nature. This new result points out a fundamental difference between the two-dimensional conductivity and the three-dimensional one. Indeed, under the same assumptions of periodicity, equi-coerciveness and L ¹-boundedness, it is known that the high-conductivity regions can induce nonlocal effects in three (or greater) dimensions.     

Nonlinear multiple objective optimization: An algorithm and some theory

This paper presents an algorithm and the supporting theory for solving a class of nonlinear multiple criteria optimization problems using Zionts—Wallenius type of interaction. The Zionts—Wallenius method, as extended in this paper, can be used for solving multiple criteria problems with concave objective and (implicit) value functions and convex feasible regions. Modifications of the method to handle nonconvex feasible regions and general nonlinear objective functions are also discussed.This research was supported, in part, by a Faculty Research Development Award and by a Council of 100 Research Grant from Arizona State University (Roy), and by a grant from Y. Jahnsson Foundation, Finland (Wallenius). The research was performed while the second author was a Visiting Professor at Arizona State University.     

Study of a fiber-optic LAN with a distributed controller

In this paper the performance of a fiber-optic LAN with spread spectrum multiplexing is discussed from the viewpoint of transmission parameters. Two architectures are considered. The first concerns a structure with cascade-connected Y-type fiber-optic couplers. The second concerns an architecture with cascade-connected active optoelectronic repeater-coupler (ORCA) devices.     

SpecTool: a knowledge-based hypermedia system for interpreting molecular spectra

Summary A hypermedia environment was designed to set up a collection of reference data, reference spectra and computational tools. The system may serve as an aid for the combined interpretation of molecular spectra. This paper describes the context dependent presentation of the pieces of information.