Recovering Beam Search: Enhancing the Beam Search Approach for Combinatorial Optimization Problems

A hybrid heuristic method for combinatorial optimization problems is proposed that combines different classical techniques such as tree search procedures, bounding schemes and local search. The proposed method enhances the classic beam search approach by applying to each partial solution corresponding to a node selected by the beam, a further test that checks whether the current partial solution is dominated by another partial solution at the same level of the search tree. If this is the case, the latter solution becomes the new current partial solution. This step allows to partially recover from previous wrong decisions of the beam search procedure and can be seen as a local search step on the partial solution. We present here the application to two well known combinatorial optimization problems: the two-machine total completion time flow shop scheduling problem and the uncapacitated p-median location problem. In both cases the method strongly improves the performances with respect to the basic beam search approach and is competitive with the state of the art heuristics.     

Combining Swaps and Node Weights in an Adaptive Greedy Approach for the Maximum Clique Problem

In this work, the NP-hard maximum clique problem on graphs is considered. Starting from basic greedy heuristics, modifications and improvements are proposed and combined in a two-phase heuristic procedure. In the first phase an improved greedy procedure is applied starting from each node of the graph; on the basis of the results of this phase a reduced subset of nodes is selected and an adaptive greedy algorithm is repeatedly started to build cliques around such nodes. In each restart the selection of nodes is biased by the maximal clique generated in the previous execution. Computational results are reported on the DIMACS benchmarks suite. Remarkably, the two-phase procedure successfully solves the difficult Brockington-Culberson instances, and is generally competitive with state-of-the-art much more complex heuristics.     

Biomagnetic measurements utilising a superparamagnetic marker: a feasibility study

Summary A preliminary study is here reported on a new potential marker for biomagnetic measurements. The marker consists of superparamagnetic polymer microspheres which were detected in the presence of external steady magnetic fields by means of an r.f.-SQUID magnetometer. The particles were prepared in samples differing in the concentration value and immersed in a homogeneous magnetic field of variable intensity. A simple model was taken into account for the distribution of the microspheres in the samples, so that the theoretical values were compared to the marker field values measured by the biomagnetic sensor. The overall sensitivity of the experimental apparatus and the minimum concentration value of the marker were then estimated.     

Induction and foundation in the theory of hereditarily finite sets

The paper contains an axiomatic treatment of the intuitionistic theory of hereditarily finite sets, based on an induction axiom-schema and a finite set of single axioms. The main feature of the principle of induction used (due to Givant and Tarski) is that it incorporates Foundation. On the analogy of what is done in Arithmetic, in the axiomatic system selected the transitive closure of the membership relation is taken as a primitive notion, so as to permit an immediate adaptation of the theory to cases of restricted induction (in particular primitive recursive induction). At the end of the paper several different forms of induction, which play an important role in the development of the theory, are compared. An alternative axiomatization of the theory, which is of intrinsic interest, is also discussed.     

Weighted approximation of functions on the real line by Bernstein polynomials

The authors give error estimates, a Voronovskaya-type relation, strong converse results and saturation for the weighted approximation of functions on the real line with Freud weights by Bernstein-type operators.     

R.F. (280 MHz) EPR imaging of extended samples: Apparatus and preliminary results

This paper presents the preliminary results obtained using an Electron Paramagnetic Resonance imaging apparatus operating at 280 MHz. The acquisition technique and the procedure used to obtain the spin density spatial localization are presented and specimen images of extended samples are given. The accuracy of the images and the spatial resolution are also discussed.     

Determination of thickness, dielectric constant of thiol films, and kinetics of adsorption using surface plasmon resonance

This paper describes the formation of a self-assembled monolayer of 11-mercaptoundecanoic acid (MUA) under different concentrations on a gold sensor disk, monitoring in situ and in real time using surface plasmon resonance spectroscopy (SPR). The film thickness and dielectric constant were determined for a fully formed monolayer using one-color approach SPR. The kinetic studies of the film formation in ethanol solution indicated that the self-assembled monolayer is formed in a two-step adsorption process. In this sense, this unpublished route was applied on the basis of a model where many molecules are adsorbed at an initial step and then can be desorbed and/or rearranged to form a perfect monolayer.