Syntactic characterization of closure under connected limits

Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform.     

Constraint Programming and Operations Research: Comments from an Operations Researcher

This paper relates the author's personal experience with constraint programming and gives a personal assessment of the relationships between constraint programming and operations research.     

Pion correlations and resonance effects in \bar{p}p annihilation to 4\pi^0 at rest

We study correlations in the exclusive reaction at rest with complete reconstruction of the kinematics for each event. The inclusive distribution is fairly flat at small invariant mass of the pion pair while a small enhancement in the double differential distribution is observed for small invariant masses of both pion pairs. Dynamical models with resonances in the final state are shown to be consistent with the data while the stochastic HBT mechanism is not supported by the present findings. Received: 26 February 2002 / Revised version: 22 July 2002 / Published online: 30 August 2002     

Dependence of the kinetics of the anionic polymerization of methyl methacrylate on the concentration in active centers

Studies on the anionic polymerization of methyl methacrylate in tetrahydrofuran and in the presence of sparteine have revealed a beneficial effect due to this additive, resulting in a decrease in the extent of termination. Better control of the definition of the polymers formed can thus be achieved in the presence of this additive. On the other hand, macromolecular engineering requires a range of active species concentrations lower than 10^?3 mol L^?1 and particularly the synthesis of polymers of high molar masses. For a better understanding of the mechanism of chain growth under such concentration conditions, the kinetics of polymerization have been investigated with a technique based on adiabatic calorimetry. Sparteine has been found to lack sufficient cation‐binding power to prevent the propagating enolate ion pairs from aggregating. The rate constant of propagation of nonaggregated species has been estimated, as well as the aggregation constant of equilibrium. For very low initiator concentrations, termination reactions have been shown to profoundly alter the control of the polymerization and to prevent a quantitative monomer conversion. Theoretical maximal conversions have been calculated from kinetic data and compare well with the experimental values. © 2004 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 42: 4964–4975, 2004     

A modular integer GCD algorithm

This paper describes the first algorithm to compute the greatest common divisor (GCD) of two n-bit integers using a modular representation for intermediate values U, V and also for the result. It is based on a reduction step, similar to one used in the accelerated algorithm [T. Jebelean, A generalization of the binary GCD algorithm, in: ISSAC '93: International Symposium on Symbolic and Algebraic Computation, Kiev, Ukraine, 1993, pp. 111–116; K. Weber, The accelerated integer GCD algorithm, ACM Trans. Math. Softw. 21 (1995) 111–122] when U and V are close to the same size, that replaces U by (U−bV)/p, where p is one of the prime moduli and b is the unique integer in the interval (−p/2,p/2) such that . When the algorithm is executed on a bit common CRCW PRAM with O(nlognlogloglogn) processors, it takes O(n) time in the worst case. A heuristic model of the average case yields O(n/logn) time on the same number of processors.     

Elektrische Charakterisierung von Hochfrequenz-Niederdruck-Gasentladungen

In recent years there has emerged significant interest in low pressure radio frequency (rf) glow discharges which are used widely particulary in IC fabrication. Various parameters of the rf glow discharge have been found to be useful for its electrical characterization; however, there is no uniformity and agreement. Extensive experimental investigations on various discharge systems have shown, that the self-bias on the rf driven electrode, the complex conductivity and the breakdown characteristic are preferable parameters of rf discharges. Advantageously the self-bias and the complex conductivity should be presented in dependence on the pressure and the applied rf voltage. The discharge current cannot be measured quite accurately due to currents via leaky capacitors and the deviations from a sinusoidal form of the current due to nonlinearities.     

On Lattices of Uniformities

We study lattice theoretical properties of lattices of uniformities such as modularity, distributive laws and the existence of (relative) complements. For this the concepts of permutable uniformities (see Definition 3.1) and independent uniformities (see Definition 4.1) are important. Moreover, we show that e.g. the lattice of all lattice uniformities on a lattice L is a closed sublattice of the lattice of all uniformities on L.     

Romanovski polynomials in selected physics problems

We briefly review the five possible real polynomial solutions of hypergeometric differential equations. Three of them are the well known classical orthogonal polynomials, but the other two are different with respect to their orthogonality properties. We then focus on the family of polynomials which exhibits a finite orthogonality. This family, to be referred to as the Romanovski polynomials, is required in exact solutions of several physics problems ranging from quantum mechanics and quark physics to random matrix theory. It appears timely to draw attention to it by the present study. Our survey also includes several new observations on the orthogonality properties of the Romanovski polynomials and new developments from their Rodrigues formula.     

Some examples of application of the metric entropy method

We show how the metric entropy method can be substituted for the dyadic chaining, to prove in a unified setting several classical results. Among them are Stechkin's theorem, Gál--Koksma theorems and quantitative Borel--Cantelli lemmas. We give simpler proofs and improve some of these results. Two classes of examples are given: firstly stationary Gaussian sequences with applications to upper and lower classes and the law of the iterated logarithm for subsequences, and secondly in Diophantine approximation relatively to Gál and Schmidt's theorems.     

Investigation of the stability of metal species with respect to liquid chromatographic separations

Summary For accurate speciation analyses it is important to know the stability of the respective species, especially in the case of metal complexes. Factors affecting the chromatographic stability of such metal species are investigated. By using thermodynamic models for complex formation and chromatographic retention equilibria the influence of species concentration, stoichiometry and excess of ligand is calculated and compared with experimental results for iron complexes (lactate, gluconate and citrate species). Iron citrate is the only species, that is chromatographed as 1:2 complex (metal: ligand), while iron lactate and gluconate are transformed to 1:1 species. Problems resulting from the coelution of different species are discussed.Dedicated to Professor Dr. Wilhelm Fresenius on the occasion of his 80th birthday