Three New Polyoxygenated Steroids from Two Species of the South China Sea Gorgonian Muricella flexuosa and Menella verrucosa Brundin

Three new polyoxygenated steroids, muricesteroid ( 1 ), and menellsteroids A ( 2 ) and B ( 3 ), were isolated from two species of the South China Sea gorgonian Muricella flexuosa and Menella verrucosa Brundin , respectively. The structures of these new compounds were elucidated on the basis of extensive spectroscopic analysis, chemical methods and comparison with known related compounds.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Indirect Methods For Determination of The Protective Effects of Coating Films on The Surface of Crystals

The extents of the protective effects of coating films on the surface of crystals were determined. Three different samples were made with different quantities of coating fluid (Sepifilm LP 010 in 10% aqueous solution). Since the atomizing rate was constant, the coating time increased in parallel with the volume of coating fluid applied. The direct measurement of film thickness and smoothness is very difficult, and therefore indirect methods were used. Dimenhydrinate was chosen as model drug; this is a heat-sensitive antihistamine with a low melting point. This temperature can be reached during the tableting process. The behaviour of samples on exposure to heat was examined by differential scanning calorimetry. The water uptakes of the samples were determined with an Enslin apparatus. Plasticity was studied with an instrumented tablet machine. These indirect methods (thermal conductivity, water uptake and plasticity measurements) revealed connections between the results of the various experiments. An overlong coating time decreased the protective effect of the coating film. This revised version was published online in August 2006 with corrections to the Cover Date.     

Convexity of Domains of Riemannian Manifolds

In this paper the problem of the geodesic connectedness and convexity ofincomplete Riemannian manifolds is analyzed. To this aim, a detailedstudy of the notion of convexity for the associated Cauchy boundary iscarried out. In particular, under widely discussed hypotheses,we prove the convexity of open domains (whose boundaries may benondifferentiable) of a complete Riemannian manifold. Variationalmethods are mainly used. Examples and applications are provided,including a result for dynamical systems on the existence oftrajectories with fixed energy.     

Remarks on exact controllability for Stokes and Navier–Stokes systems

This Note deals with the controllability of Stokes and Navier–Stokes systems with distributed controls with support in possibly small subdomains. We first present a new global Carleman inequality for the solutions to Stokes-like systems that leads to the null controllability at any time T>0. Then, we present a local result concerning exact controllability to trajectories of the Navier–Stokes system. To cite this article: E. Fernández-Cara et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Unavoidable Traces Of Set Systems

Sauer, Shelah, Vapnik and Chervonenkis proved that if a set system on n vertices contains many sets, then the set system has full trace on a large set. Although the restriction on the size of the groundset cannot be lifted, Frankl and Pach found a trace structure that is guaranteed to occur in uniform set systems even if we do not bound the size of the groundset. In this note we shall give three sequences of structures such that every set system consisting of sufficiently many sets contains at least one of these structures with many sets.