An unstructured mesh finite volume method for modelling saltwater intrusion into coastal aquifers

In this paper, a two-dimensional finite volume unstructured mesh method (FVUM) based on a triangular background interpolation mesh is developed for analysing the evolution of the saltwater intrusion into single and multiple coastal aquifer systems. The model formulation consists of a ground-water flow equation and a salt transport equation. These coupled and non-linear partial differential equations are transformed by FVUM into a system of differential/algebraic equations, which is solved using backward differentiation formulas of order one through five. Simulation results are compared with previously published solutions where good agreement is observed.     

Sonogashira alkynylation of unprotected 8-brominated adenosines and guanosines: fluorescence properties of compact conjugated acetylenes containing a purine ring

A practical Sonogashira alkynylation protocol for the preparation of 8-alkynylated adenosines and guanosines has been developed. Protection of the sugar hydroxyl substituents is not required; protection hinders the purification of these products. A preliminary fluorescent study is reported, which shows that the presence of a substituent on the phenylene ring influences the fluorescent properties considerably, an outcome that could be utilized in biological applications.     

A parallel method for time discretization of parabolic equations based on Laplace transformation and quadrature

We consider the discretization in time of an inhomogeneous parabolicequation in a Banach space setting, using a representation ofthe solution as an integral along a smooth curve in the complexleft half-plane which, after transformation to a finite interval,is then evaluated to high accuracy by a quadrature rule. Thisreduces the problem to a finite set of elliptic equations withcomplex coefficients, which may be solved in parallel. The paperis a further development of earlier work by the authors, wherewe treated the homogeneous equation in a Hilbert space framework.Special attention is given here to the treatment of the forcingterm. The method is combined with finite-element discretizationin spatial variables.     

Identifying assembly maps in K- and L-theory

In this paper we prove the equivalence of various algebraically or geometrically defined assembly maps used in formulating the main conjectures in K- and L-theory, and C^*-theory.Partially supported by NSERC grant A4000 and NSF grant DMS 9104026. The authors also wish to thank the SFB für Geometrie und Analysis, Münster, and the Max Planck Institut für Mathematik, Bonn, for their hospitality and support.Received: 7 May 2001     

Krylov subspaces and the analytic grade

Typical behaviour of the solution of a linear system of equations obtained iteratively by Krylov methods can be characterized by three stages. Initially the residual diminishes steadily; this is followed by stagnation and finally rapid convergence near the algebraic grade. This study examines this behaviour in terms of the concepts of approximately invariant subspace and what we have called the analytic grade of a Krylov sequence. It is shown how the small Ritz values play a vital role in the convergence and how this knowledge helps in the construction of an effective preconditioner. Copyright © 2004 John Wiley & Sons, Ltd.