This paper evaluates a new branch-and-cut approach, establishing a computational benchmark for the single-product, assembly system design (SPASD) problem. Our approach, which includes a heuristic, preprocessing, and two cut-generating methods, outperformed OSL in solving a set of 102 instances of the SPASD problem. The approach is robust; test problems show that it can be applied to variations ...

Thermoluminescence is an established method for radiation dosimetry as well as retrospective dosimetry. In spite of its great success, different difficulties are associated with its application. These include anomalous fading, changes in the properties of the sample due to its heating in the readout phase, including a sensitization due to the combined effect of irradiation and heating and non-l...

Traditional logic-based speci cation approaches x the structure and the dynamics of an object system at speci cation time. Information systems are applications with a very long life-time. Therefore, object and speci cation evolution to react on changing requirements is a relevant aspect of describing information systems as object societies. We present a logical speci cation framework for evolvi...

A 22m long sediment core from Lake Yamozero on the Timan Ridge in northern Russia has provided evidence of intriguing climatic shifts during the last glacial cycle. An overall shallowing of the lake is reflected in the lower part of the cores, where pollen indicates a transition from glacial steppe vegetation to interstadial shrub-tundra. These beds are capped by a well-defined layer of compact...

The utility of a biological dosimeter based on the analysis of dicentrics is invaluable in the event of a radiological emergency wherein the estimated absorbed dose of an exposed individual is crucial in the proper medical management of patients. The technique is also used for routine monitoring of occupationally exposed workers to determine radiation exposure. An in vitro irradiation study of ...