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)     

Polynomial-time computation of the degree of a dominant morphism in zero characteristic. II

Consider a projective algebraic variety W which is an irreducible component of the set of all common zeros of a family of homogeneous polynomials of degrees less than d in n + 1 variables over a field of zero characteristic. Consider a dominant rational morphism from W to W′ given by homogeneous polynomials of degree d′. We suggest algorithms for constructing objects in general position related to this morphism. They generalize some algorithms from the first part of the paper to the case dim W > dim W′. These algorithms are deterministic and polynomial in (dd′)n and the size of the input. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 325, 2005, pp. 181–224.     

Effect of Alkali Metal Cation on Copolymerization of Acrylamide with Salts of 2-Acrylamido-2-methylpropanesulfonic Acid in Aqueous Solutions

The kinetics of radical copolymerization of acrylamide with lithium, sodium, and potassium 2-acrylamido-2-methylpropanesulfonates in concentrated aqueous solutions in the presence of potassium persulfate as initiating agent at pH 9 and 50°C was studied by dilatometry.     

The application of a vehicle routing model to a waste-collection problem: two case studies

In this paper we suggest a unique model for estimating the operating cost of each of three waste-collection systems. Under the traditional system, which is widely used, waste is typically collected in plastic bags and a three-man crew is needed on each vehicle. The other two systems require a one-man crew for vehicle collecting street containers. The side-loader system with fixed body automatically empties street containers into the vehicle body and empties the load at the disposal site. The side-loader system with demountable body allows the separation of the waste collection phase from transport to the disposal site, since the vehicle body can be demounted. We also present two case studies and show how the estimation of operating costs is a critical issue in decisions regarding the type of system to be used for waste collection.     

Possibilities of Production and Use of Rubber-Bitumen Compounds

Procedures are discussed for production of rubber-bitumen compounds based on spent rubber items. A possibility of using these binders for paving is studied experimentally.     

The Markov power moment problem in problems of controllability and frequency extinguishing for the wave equation on a half-axis

In this paper necessary and sufficient conditions of null-controllability and approximate null-controllability are obtained for the wave equation on a half-axis. Controls solving these problems are found explicitly. Moreover, bang-bang controls solving the approximate null-controllability problem are constructed with the aid of solutions of a frequency extinguishing problem in the restricted band (−a,a) for this equation and the Markov power moment problem.     

Non-linear Stability of Modulated Fronts¶for the Swift–Hohenberg Equation

We consider front solutions of the Swift–Hohenberg equation ∂ _t u= -(1+ ∂ _x ²)² u + ɛ² u -u ³. These are traveling waves which leave in their wake a periodic pattern in the laboratory frame. Using renormalization techniques and a decomposition into Bloch waves, we show the non-linear stability of these solutions. It turns out that this problem is closely related to the question of stability of the trivial solution for the model problem ∂ _t u(x,t) = ∂ _x ² u (x,t)+(1+tanh(x-ct))u(x,t)+u(x,t) ^p with p>3. In particular, we show that the instability of the perturbation ahead of the front is entirely compensated by a diffusive stabilization which sets in once the perturbation has hit the bulk behind the front. Received: 23 February 2001 / Accepted: 27 August 2001     

On c‐Bhaskar Rao designs with block size 4

Several new families of c‐Bhaskar Rao designs with block size 4 are constructed. The necessary conditions for the existence of a c‐BRD (υ,4,λ) are that: (1)λ_min=?λ/3 ≤ c ≤ λ and (2a) c≡λ (mod 2), if υ > 4 or (2b) c≡ λ (mod 4), if υ = 4 or (2c) c≠ λ ? 2, if υ = 5. It is proved that these conditions are necessary, and are sufficient for most pairs of c and λ; in particular, they are sufficient whenever λ?c ≠ 2 for c > 0 and whenever c ? λ_min≠ 2 for c < 0. For c < 0, the necessary conditions are sufficient for υ> 101; for the classic Bhaskar Rao designs, i.e., c = 0, we show the necessary conditions are sufficient with the possible exception of 0‐BRD (υ,4,2)'s for υ≡ 4 (mod 6). © 2002 Wiley Periodicals, Inc. J Combin Designs 10: 361–386, 2002; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10009     

Raman spectroscopy of topotecan, an inhibitor of DNA topoisomerase I

Topotecan (TPT), a water-soluble derivative of camptothecin (inhibitor of human DNA topoiomerase I), has found wide application in cancer chemotherapy. The central problem in using topotecan is the presence of lactone rings in its molecules, which undergo hydrolysis at a physiological pH yielding an inactive and even toxic form of the drug. The analysis of Raman spectra of TPT in H₂O and D₂O solutions made it possible to assign the spectral bands to the vibrations of particular molecular groups. Spectral features indicative of the opening of the lactone rings of the TPT molecules, deprotonation of the hydroxyl groups in their quinoline fragments, and of possible participation of the hydroxyl and carbonyl groups in H bonding are found. The data obtained are necessary to study the molecular mechanisms of TPT-DNA interaction and the formation of ternary complexes between TPT, DNA, and DNA topoisomerase I.