Local radial Phragmén-Lindelöf estimates for plurisubharmonic functions on analytic varieties

We give a sufficient condition for a local radial Phragmén-Lindelöf principle on analytic varieties. This condition is expressed in terms of existence of hyperbolic directions.

     

Fast and Accurate Floating Point Summation with Application to Computational Geometry

We present several simple algorithms for accurately computing the sum of n floating point numbers using a wider accumulator. Let f and F be the number of significant bits in the summands and the accumulator, respectively. Then assuming gradual underflow, no overflow, and round-to-nearest arithmetic, up to ?2 ^F?f /(1?2^?f )?+1 numbers can be accurately added by just summing the terms in decreasing order of exponents, yielding a sum correct to within about 1.5 units in the last place. In particular, if the sum is zero, it is computed exactly. We apply this result to the floating point formats in the IEEE floating point standard, and investigate its performance. Our results show that in the absence of massive cancellation (the most common case) the cost of guaranteed accuracy is about 30–40% more than the straightforward summation. If massive cancellation does occur, the cost of computing the accurate sum is about a factor of ten. Finally, we apply our algorithm in computing a robust geometric predicate (used in computational geometry), where our accurate summation algorithm improves the existing algorithm by a factor of two on a nearly coplanar set of points.     

Tandem silylformylation-allyl(crotyl)silylation: a new approach to polyketide synthesis

Tandem intramolecular silylformylation-allyl(crotyl)silylation reactions have been developed that allow the highly efficient synthesis of polyketide fragments. The substrates are subjected to Rh(I)-catalyzed silylformylation to afford β-(diallyl)silyl aldehydes which undergo spontaneous uncatalyzed allylsilylation. This unusual spontaneous allylsilylation reaction is driven by strain release Lewis acidity, which arises from the ∼95° O-Si-C bond angle in the oxasilacyclopentane product of the silylformylation reaction. The methodology has been developed both for alkene and alkyne substrates, may be used to establish as many as three stereocenters, and has been shown to be amenable to use in an iterative fashion.     

Accurate Gain Flattening Filters Manufactured by Optical Compensation Monitoring Method

GFFs with less than 0.4 dB peak-to-peak error functions are routinely fabricated using commercially available coating machines by utilizing the natural error compensation mechanism of wavelength variable turning point optical monitoring method.     

Role of water vapor and CO2 in the paleoclimatic fluctuations along northwestern and southern Syria, and the adjacent Mediterranean Sea

Microscopic petrified grains were collected from a mafic–ultramafic pipe, NE of Dreikeesh, NW Syria. The grains were identified as anthers/gynoecia in herb/grass flowers. Three of the grains showed evidence of magnetism, two slowly dissolved in concentrated HCl, and three microprobed grains showed a montmorillonitic composition. Iron originating from pyroxene was oxidized to magnetite. Released silica formed the mineral suite agate–chalcedony–opal. Warm/cold paleoclimatic fluctuations, occurring during late Pliocene–Holocene, depended on water vapor, CO₂ production, and cinders in the atmosphere. Most of these were associated with changing volcanic/tectonic events. Fluctuations were controlled by heat reflected from the Earth's surface being absorbed by water vapor and CO₂, which both re-reflected the heat back to the surface, thus, raising the temperature. This cycle was repeated several times during late Pliocene–Holocene.     

Difference Sets and Recursion Theory

There is a recursive set of natural numbers which is the difference set of some recursively enumerable set but which is not the difference set of any recursive set.     

The Use of Soft Systems Methodology in Practice

This paper reports the results of a survey intended to discover the extent to which Checkland's Soft Systems Methodology (SSM) is used in practice. Some 300 questionnaires were sent to people who had had some exposure to SSM and, surprisingly, nearly half were returned. The majority described in detail their uses of SSM and most felt that it had been successful. This paper describes the overall quantitative results from the survey as well as presenting a qualitative analysis of the experiences of using SSM.     

Un théorème de type Beurling–Lax dans la boule unitéA Beurling–Lax type theorem in the unit ball

We prove a Beurling–Lax theorem for a family of reproducing kernel Hilbert spaces of functions analytic in an open subset of the unit ball containing the origin. The spaces under consideration are characterized by functions called Schur multipliers. Using the theory of linear relations in Pontryagin spaces we also give coisometric realizations of Schur multipliers. To cite this article: D. Alpay et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 349–354.