$${\varvec{teaspoon}}$$ : solving the curriculum-based course timetabling problems with answer set programming

Annals of Operations Research - Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving capacities....     

Asymptotic completeness for long-range many-particle systems with Stark effect. II

We prove the existence and the asymptotic completeness of the Dollard-type modified wave operators for many-particle Stark Hamiltonians with long-range potentials.     

Rigorous bounds for critical temperatures of O(N) spin models by transformations of block spin type

We obtain new upper bounds of critical temperatures of N-vector (Heisenberg) models. We apply a transformation of block spin type to random walk representations of the spin models, which was developed by Fröhlich et al. more than a decade ago. Though the transformation is applied just one time, the upper bounds are considerably improved.     

The LHCf experiment at LHC

The LHCf experiment will be installed in 2007 on the LHC collider in the forward direction at ±140m from the ATLAS interaction point. The purpose of LHCf is to precisely measure the pion production cross section near zero degrees through the measurement of the photons produced in neutral pion decay. This measurement is crucial for the simulation of the showers induced in the atmosphere by very high energy cosmic rays; the 14 TeV energy available in the center of mass frame corresponds in fact to an equivalent energy of 10¹⁷ eV in the laboratory system. The paper focus on the proposed experiment and on the physics results that we expect from it.     

Capillary gas chromatography of hydroxylated bile acid stereoisomers of the allo and normal series

Relative retention times and methylene unit (MU) values were determined for 56 bile acids of the allo (5 alpha, A/B-trans) and normal (5 beta, A/B-cis) series, which differ from one another in the number, position and configuration of the hydroxyl groups at positions C-3, C-6, C-7 and/or C-12. The bile acids were derivatized to their methyl ester O-trimethylsilyl ethers (Me-TMS) and methyl ester O-dimethylethylsilyl ethers (Me-DMES), and chromatographed on fused-silica capillary columns, chemically bonded with non-selective OV-1 and selective PEG-20M liquid phases. Of the four possible combinations of derivatives and columns examined, Me-DMES on OV-1 and Me-TMS on PEG-20M were most suitable. The differences in the MU values between the 5 alpha- and 5 beta-series, and between the Me-DMES and Me-TMS ether derivatives, are also summarized. These retention data would be helpful in the identification of closely related bile acid stereoisomers or for estimation of their structures. photolysis.     

Representations of O(N) Spin Models by Self-Avoiding Random Walks

We establish that correlation functions of classical lattice spin models can be represented by series expansions in terms of self-avoiding random walks. Using this, we get new upper bounds of critical temperatures of the O(N) symmetric classical Heisenberg models. Received: 21 March 1996 / Accepted: 26 July 1996     

Fabrication of BDD quantum node switches on embedded GaAs quantum wires grown by selective MBE

In view of applications to hexagonal binary decision diagram (BDD) LSIs, a first attempt is made to form quantum BDD node switches on selectively grown (SG) embedded quantum wires (QWRs) by molecular beam epitaxy (MBE). SG branch switches controlled by a Schottky wrap gate (WPG) were successfully fabricated by MBE growth and subsequent device processing. Gate control characteristics were studied by gate-dependent Shubnikov–de-Haas measurements, and the behavior was found to be similar to that of devices fabricated on wires by etching. The switch exhibited clear conductance quantization at low temperature, and temperature dependence of the voltage slope of conductance jump was clarified. A Y-branch BDD node device using two SG branch switches was successfully fabricated, and realized clear path switching characteristics.