General theorems and fundamental solutions in the dynamical theory of mixtures

This paper is concerned with the dynamic theory of a binary mixture consisting of a gas and an elastic solid. First, we derive general theorems (reciprocal theorem, uniqueness theorem, minimum principle). The, we establish a Galerkin representation and the fundamental solutions in the case of steady vibrations.Work performed under the auspices of G.N.F.M. of the Italian Research Council (C.N.R.), with the grant 60% M.U.R.S.T. (ITALY).     

Integer linear programming models for 2-staged two-dimensional Knapsack problems

 We are given a unique rectangular piece of stock material S, with height H and width W, and a list of m rectangular shapes to be cut from S. Each shape's type i (i = 1, ..., m) is characterized by a height , a width , a profit , and an upper bound ub _i indicating the maximum number of items of type i which can be cut. We refer to the Two-Dimensional Knapsack (TDK) as the problem of determining a cutting pattern of S maximizing the sum of the profits of the cut items. In particular, we consider the classical variant of TDK in which the maximum number of cuts allowed to obtain each item is fixed to 2, and we refer to this problem as 2-staged TDK (2TDK). For the 2TDK problem we present two new Integer Linear Programming models, we discuss their properties, and we compare them with other formulations in terms of the LP bound they provide. Finally, both models are computationally tested within a standard branch-and-bound framework on a large set of instances from the literature by reinforcing them with the addition of linear inequalities to eliminate symmetries. Received: October 17, 2000 / Accepted: December 19, 2001 Published online: September 27, 2002 Key words. packing – cutting – integer linear programming     

Simplified and complex modeling of self-sustained discharge-pumped,Ne-buffered XeCl laser kinetics

Two simple kinetic models of a Ne-buffered XeCl laser discharge are presented based on different simplifications of the chemical kinetics of a complex model that recently appeared in the literature. When applied to the study of a small-volume XeCl laser, the results of both simple and complex models are in satisfactory agreement with the experiments. Shifting to a larger-volume laser, both models show problems due to loss of stability of the discharge. A one-dimensional modelling is performed, and it is found that different assumptions on the kinetics of the NeXe⁺ ion in the discharge lead to completely different results as regards the effect of a preionization-triggered instability.     

The unsatisfiability threshold revisited

The problem of determining the unsatisfiability threshold for random 3-SAT formulas consists in determining the clause to variable ratio that marks the experimentally observed abrupt change from almost surely satisfiable formulas to almost surely unsatisfiable. Up to now, there have been rigorously established increasingly better lower and upper bounds to the actual threshold value. In this paper, we consider the problem of bounding the threshold value from above using methods that, we believe, are of interest on their own right. More specifically, we show how the method of local maximum satisfying truth assignments can be combined with results for the occupancy problem in schemes of random allocation of balls into bins in order to achieve an upper bound for the unsatisfiability threshold less than 4.571. In order to obtain this value, we establish a bound on the q-binomial coefficients (a generalization of the binomial coefficients). No such bound was previously known, despite the extensive literature on q-binomial coefficients. Finally, to prove our result we had to establish certain relations among the conditional probabilities of an event in various probabilistic models for random formulas. It turned out that these relations were considerably harder to prove than the corresponding ones for unconditional probabilities, which were previously known.     

Scattering of Magnetic Edge States

We consider a charged particle following the boundary of a two dimensional domain because a homogeneous magnetic field is applied. We develop the basic scattering theory for the corresponding quantum mechanical edge states. The scattering operator attains a limit for large magnetic fields which preserves Landau bands. We interpret the corresponding scattering phases in terms of classical trajectories. Communicated by Yosi Avron submitted 23/02/05, accepted 3/05/05     

New pi-extended water-soluble squaraines as singlet oxygen generators

[graph: see text] Condensation of squaric acid with a number of differently substituted 2-pyrrolyl derivatives afforded three new classes of squaraines. Their sharp and intense absorption bands in the biological window (700-900 nm), inherent singlet oxygen generation capabilities, together with proper functionalization allowing good water solubility make them suitable candidates as new non-porphyrinic singlet oxygen photosensitizers for photodynamic therapy (PDT).     

Determination of enrofloxacin and its metabolite ciprofloxacin in goat milk by high-performance liquid chromatography with diode-array detection. Optimization and validation

A high-performance liquid chromatography-diode array detection method (HPLC-DAD) combined with liquid chromatography-mass spectrometry was developed for the determination of enrofloxacin and its metabolite ciprofloxacin in goat milk. The HPLC-DAD method validation was compliant with the "DG SANCO 1805/2000" European regulation. The residues were extracted from milk with phosphate buffer, purified on a C18 Speedisk cartridge SPE (Baker) and then analysed using HPLC-DAD set at 277 nm. The decision limit (CCa) calculated by spiking samples at 100 microg/kg with both analytes, taking into account the maximum residue limit (MRL) of 100 microg/kg established by the European Union for the sum of enrofloxacin and its metabolite ciprofloxacin in milk, was 105.3 microg/kg for enrofloxacin and 105.5 microg/kg for ciprofloxacin. The detection capability (CCbeta) was 110.7 and 110.9 microg/kg for enrofloxacin and ciprofloxacin, respectively. The mean recoveries of the method, calculated by spiking samples at 50, 100 and 150 microg/kg were 84% for enrofloxacin and 88% for ciprofloxacin. The limit of quantification was 20 microg/kg for both analytes. The HPLC-DAD validated method was successfully applied for the first time in goats milk, and proved to be suitable for the sensitive and accurate quantification and confirmation analysis of enrofloxacin and ciprofloxacin for regulatory purposes.