Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.     

The G/M/1 queue revisited

The G/M/1 queue is one of the classical models of queueing theory. The goal of this paper is two-fold: (a) To introduce new derivations of some well-known results, and (b) to present some new results for the G/M/1 queue and its variants. In particular, we pay attention to the G/M/1 queue with a set-up time at the start of each busy period, and the G/M/1 queue with exceptional first service. Dedicated to Arie Hordijk on his 65th birthday, in friendship and admiration.     

Principles and recent developments in ultrasound contrast agents

The behaviour of gas bubbles and gas encapsulated spheres as echographic contrast agents is reviewed. Compared with rigid spheres, gas bubbles are superior scattering agents and they offer a number of useful properties which can be exploited in a variety of ways. The analysis of their velocity of sound, back-scatter intensity, second harmonic emission and resonant frequency opens up new perspectives in the development of contrast agents for echocardiographic research with potential clinical applications.     

Local solution for the Kadomtsev-Petviashvili equation with periodic conditions

In this article we prove a local existence and uniqueness theorem for the Kadomtsev-Petviashvili Equation (u _t +u _xxx +uu _x ) _x −u _yy =0) in the Sobolev spaces of orders≥3, with initial values in the same spaces, and periodic boundary conditions. This theorem improves previous results based upon the application of singular perturbation techniques.     

Hyperfine investigations of the magnetic state in ordered Pt3−xFe1+x

Mössbauer effect studies of Pt_3−xFe_1+x fcc ordered alloys in the range 4.2 K <T<300 K, in zero and in external magnetic field, for samples with x = 0.16 to 0.28, are reported. The low-temperature spectra show several satellite lines which are related to different excess-Fe nearest-neighbor configurations. Experiments in external fields give information on the different local spin structure at different concentrations.     

Comparison of Several Calibration Procedures for Glass Electrodes in Proton Concentration

Several reported procedures for calibrating glass electrodes in proton concentration are compared. Some recommendations for non-experts are also given. The examined procedures can be classified into two broad categories, namely: those based on direct potential difference measurements of solutions of known proton concentration and those that use one or several pH standards to calibrate the electrode and subsequently measure the pH of solutions containing known proton concentrations. With a single buffer, the two types of procedures lead to equivalent results. However, if two pH buffers are used, the slope of the calibration graph in proton concentration will differ from the real electrode slope to an extent proportional to the difference between the liquid junction potentials of the two buffers. Therefore, any other method is preferable under these circumstances.