We examine various strategies for exact approaches to the 2dimensional strip packing problem (2SP) with and without rotations of 90 degrees. We first develop a branch-and-bound algorithm based on the sequence pair representation. Next, we focus on the perfect packing problem (PP), which is a special case of 2SP where all given rectangles are required to be packed without wasted space, and desig...

18 than classical testing, and requires only minimal eeort from the programmer. The increased conndence balances out the unavoidable overhead incurred by run-time checking. We believe that this cost can be accepted since computers become more and more powerful. It is desirable to follow Lieberman's advice 16 and use some of this power for increasing our conndence in the correctness of produced ...

This paper presents the application of Two-Stage Programming (2sp) for developing error-free paral-lel/distributed applications through automatic verii-cation of computed results with respect to a given speciication. The presentation focuses the case study of the parallel block-striped partitioning variant of Prim's algorithm for nding a minimum spanning tree of a dense graph. We show that the ...

In this study, we have considered zone-based registration (ZBR), which is the most widely adopted type in mobile communication networks. Based on a performance comparison between one-zone-based (1ZR) and two-zone-based (2ZR), 2ZR known to be superior 1ZR cases. However, existing studies of critical problem: The basic assumption that entire zone paged simultaneously when call arrives, whereas, 2...

To determine that susceptibility of AMPLICOR Chlamydia trachomatis PCR to inhibitory factors possibly present in cervical specimens, we obtained cervical specimens from 200 gynecology patients attending our outpatient clinic. The prevalence of C. trachomatis infection was 4.1%, as determined by cell culture. All AMPLICOR specimens were tested in one procedure as described by the manufacturer, a...

In this study, we analyzed the complexity of the Time-Dependent Shortest Paths Problem (TD-2SP) and its variants, and developed model and algorithm to solve this problem as well as more general versions of it in which the pair of paths is required to be only partially disjoint with respect to certain key arcs in the network.

We compared the survival of a laboratory strain of Chlamydia trachomatis serovar L-2 in different media and at different temperatures (room temperature, 4 degrees C, and -70 degrees C). At these temperatures the best storage medium was 2SP (0.2 mol/l sucrose in 0.02 mol/l phosphate buffer supplemented with 10% fetal calf serum). We used material obtained from patients to study the sensitivity o...

Nicolas Villain,1 Béatrice Desgranges,1 Fausto Viader,1,2 Vincent de la Sayette,1,2 Florence Mézenge,1 Brigitte Landeau,1 Jean-Claude Baron,3 Francis Eustache,1 and Gaël Chételat1 1Institut National de la Santé et de la Recherche Médicale–Ecole Pratique des Hautes Etudes–Université de Caen/Basse-Normandie, Unité U923, Groupement d’Intérêt Public Cyceron, Centre Hospitalier Universitaire (CHU) C...