Baker＇s Yeast Mediated Reduction of Optically Active Diketone

Baker‘s yeast mediated reduction of optically active diketone is described. The two keto groups are efficiently differentiated and the ee value of the recovered material is considerably raised. It affords highly optically active key intermediates efficiently for the synthesis of natural polyhydroxylated agarofuran products.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Galerkin method for optimal control of second‐order evolution equations

This paper presents the Galerkin approximation of the optimization problem of a system governed by non‐linear second‐order evolution equation where a non‐linear operator depends on derivative of the state of the system. The control is acting on a non‐linear equation. After giving some results on the existence of optimal control we shall prove the existence of the weak and strong condensation points of a set of solutions of the approximate optimization problems. Each of these points is a solution of the initial optimization problem. Finally we shall give a simple example using the obtained results. Copyright © 2004 John Wiley & Sons, Ltd.     

Modelling of an underground waste disposal site by upscaling

In this paper, we study the global behaviour of an underground waste disposal in order to have an accurate upscaled model suitable for the computations involved in safety assessment processes. We start from a detailed model describing the transport of pollutant leaking from a high number of units. Using the method of homogenization, going to the limit, we obtain first a macroscopic model where the sources are now appearing globally. Then we compute a first‐order matched asymptotic expansion and we give the error estimates for this approximation. Copyright © 2004 John Wiley & Sons, Ltd.     

Dynamic boundary stabilization of a Reissner–Mindlin plate with Timoshenko beam

This paper is concerned with well‐posedness results for a mathematical model for the transversal vibrations of a two‐dimensional hybrid elastic structure consisting of a rectangular Reissner–Mindlin plate with a Timoshenko beam attached to its free edge. The model incorporates linear dynamic feedback controls along the interface between the plate and the beam. Classical semigroup methods are employed to show the unique solvability of the coupled initial‐boundary‐value problem. We also show that the energy associated with the system exhibits the property of strong stability. Copyright © 2004 John Wiley & Sons, Ltd.     

Artificial boundary conditions for Petrovsky systems of second order in exterior domains and in other domains of conical type

The approximation of solutions to boundary value problems on unbounded domains by those on bounded domains is one of the main applications for artificial boundary conditions. Based on asymptotic analysis, here a new method is presented to construct local artificial boundary conditions for a very general class of elliptic problems where the main asymptotic term is not known explicitly. Existence and uniqueness of approximating solutions are proved together with asymptotically precise error estimates. One class of important examples includes boundary value problems for anisotropic elasticity and piezoelectricity. Copyright © 2004 John Wiley & Sons, Ltd.     

Mean curvature flows and isotopy of maps between spheres

Let f be a smooth map between unit spheres of possibly different dimensions. We prove the global existence and convergence of the mean curvature flow of the graph of f under various conditions. A corollary is that any area‐decreasing map between unit spheres (of possibly different dimensions) is isotopic to a constant map. © 2004 Wiley Periodicals, Inc.     

Nowhere zero 4‐flow in regular matroids

Jensen and Toft 8 conjectured that every 2‐edge‐connected graph without a K₅‐minor has a nowhere zero 4‐flow. Walton and Welsh 19 proved that if a coloopless regular matroid M does not have a minor in {M(K_3,3), M*(K₅)}, then M admits a nowhere zero 4‐flow. In this note, we prove that if a coloopless regular matroid M does not have a minor in {M(K₅), M*(K₅)}, then M admits a nowhere zero 4‐flow. Our result implies the Jensen and Toft conjecture. © 2005 Wiley Periodicals, Inc. J Graph Theory