Dantzig-Wolfe reformulation of a mixed integer program partially convexifies a subset of the constraints, i.e., it implicitly adds all valid inequalities for the associated integer hull. Projecting an optimal basic solution of the reformulation’s LP relaxation to the original space does is in general not yield a basic solution of the original LP relaxation. Cutting planes in the original proble...

The title compound has been prepared starting from phosphorothionic triamide SP(NH2)3 by methylation of the sulfur atom and subsequent ammonolysis reaction in dry acetonitrile and dichloromethane, respectively, both at room temperature. Suitable single crystals are obtained from an acetonitrile solution in a temperature gradient between 70 °C and room temperature. The crystal structure of [P(NH...

In assessments of the seismic adequacy of existing steel bridges, the anchorage of steel truss piers to their foundations often has insufficient strength to resist seismic demands. Many other non-ductile failure locations may also exist along the seismic load path that cannot provide adequate seismic performance. Although strengthening is an option, this approach may only transfer damage to ano...

Aim of this paper is to review and compare different business process modeling techniques, reveal their capabilities and use a combination of their elements to create a model of applicable simulation solution that is easy to understand on the one hand but enables integration of innovative complex dynamics on the other hand. We develop a simulation solution proposal that is based on three layers...

As stated in the first issue, biij as an open access multidisciplinary online journal, “was set up to meet the challenges of biomedical imaging and intervention facing the allied sciences community by providing a new avenue for discussion and exchange of viewpoints.” The Biomedical Imaging and Intervention Journal (biij) was born on July 16th 2005 during the opening ceremony of the ‘Second Inte...

Hospitals, nurses, the media, Congress, and the private sector are increasingly concerned about shortages of registered nurses (RNs) and the impact on safety and quality of patient care. Findings from a growing number of studies provide evidence of a relationship between hospital nurse staffing and adverse outcomes experienced by medical and surgical patients. These findings have policy implica...

This work presents a novel strategy for improving SAT solver performance by using concurrency. Rather than aiming to parallelize search, we use concurrency to aid a conventional CDCL search procedure. More concretely, our work extends a conventional CDCL SAT solver with a second computation thread, which is solely used to strengthen the clauses learned by the solver. This provides a simple and ...

This study develops propositions for a benchmarking exercise involving SME and tourism destination brands. In order to reveal the role of SMEs at destinations and their role in the destination brand, the tourism production process is analysed. It is suggested to view destinations as virtual service firms (VSF) as this highlights the interdependencies between SMEs, but also allows the descriptio...

The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of its potential applications. In this paper we take inspiration from Huet, and describe a library suitable as an underpinning for structured editors. We consider a zipper structure that is suitable for traversing heterogen...