A SAT encoding for Multi-dimensional Packing Problems

International audienceThe Orthogonal Packing Problem (OPP) consists in determining if a set of items can be packed into a given container. This decision problem is NP-complete. S. P. Fekete et al. modelled the problem in which the overlaps between the objects in each dimension are represented by interval graphs. In this paper we propose a SAT encoding of Fekete et al. characterization. Some results are presented, and the efficiency of this approach is compared with other SAT encodings

The effect of network structure on phase transitions in queuing networks

Recently, De Martino et al have presented a general framework for the study of transportation phenomena on complex networks. One of their most significant achievements was a deeper understanding of the phase transition from the uncongested to the congested phase at a critical traffic load. In this paper, we also study phase transition in transportation networks using a discrete time random walk model. Our aim is to establish a direct connection between the structure of the graph and the value of the critical traffic load. Applying spectral graph theory, we show that the original results of De Martino et al showing that the critical loading depends only on the degree sequence of the graph -- suggesting that different graphs with the same degree sequence have the same critical loading if all other circumstances are fixed -- is valid only if the graph is dense enough. For sparse graphs, higher order corrections, related to the local structure of the network, appear.Comment: 12 pages, 7 figure

On the Entropy of a Family of Random Substitutions

The generalised random Fibonacci chain is a stochastic extension of the classical Fibonacci substitution and is defined as the rule mapping $0\mapsto 1$ and $1 \mapsto 1^i01^{m-i}$ with probability $p_i$, where $p_i\geq 0$ with $\sum_{i=0}^m p_i=1$, and where the random rule is applied each time it acts on a 1. We show that the topological entropy of this object is given by the growth rate of the set of inflated generalised random Fibonacci words.Comment: A more appropriate tile and minor misprints corrected, compared to the previous versio

Researching ‘bogus’ asylum seekers, ‘illegal’ migrants and ‘crimmigrants’

Both immigration and criminal laws are, at their core, systems of inclusion and exclusion. They are designed to determine whether and how to include individuals as members of society or exclude them from it, thereby, creating insiders and outsiders (Stumpf 2006). Both are designed to create distinct categories of people — innocent versus guilty, admitted versus excluded or, as majority would say, ‘legal’ versus ‘illegal’ (Stumpf 2006). Viewed in that light, perhaps it is not surprising that these two areas of law have become inextrica- bly connected in the official discourses. When politicians and policy makers (and also law enforcement authorities and tabloid press) seek to raise the barriers for non-citizens to attain membership in society, it is unremarkable that they turn their attention to an area of the law that similarly func- tions to exclude the ‘other’ — transforming immigrants into ‘crimmigrants’.1 As a criminological researcher one then has to rise up to the challenges of disentangling these so-called officially constructed (pseudo) realities, and breaking free from a continued dominance of authoritative discourses, and developing an alternative understanding of ‘crimmigration’ by connecting the processes of criminal is ation and ‘other ing’ with poverty, xe no-racism and other forms of social exclusion (see Institute of Race Relations 1987; Richmond 1994; Fekete 2001; Bowling and Phillips 2002; Sivanandan 2002; Weber and Bowling 2004)

Faculty Attitudes Toward Students With Intellectual Disabilities In Postsecondary Educational Settings

Research has indicated that participation in some aspect of postsecondary education, either for credit or audit, could improve a disabled individual\u27s changes for success in adult life. Research also has shown that faculty attitudes toward, and perceptions of students with disabilities play an important role in student success. The purpose of this study was to examine faculty attitudes toward the inclusion of students with intellectual disabilities in college classes and willingness by faculty to accommodate the course content to meet individual student needs. An internet survey instrument was developed to gather information concerning students with intellectual disabilities and faculty attitude and perception toward these students in the college environment. The survey was also designed by the researcher to determine if attitudinal differences or trends existed among faculty from three different colleges within the university. The survey was completed by 107 faculty. Overall, statistical significance was observed when analyzing the research questions as they pertained to faculty attitude and perception concerning this unique population. The findings indicated that faculty generally were open to consider the possibility of having students with intellectual disabilities included in their classes. The significance of the study was that it contributed information to a small, but growing, body of research pertaining to the importance of faculty attitudes as a predictor of student success. Future research is needed to expand the study to other post-secondary institutions

Measuring the local gravitational field using survival resonances in a dissipatively driven atom-optics system

We do a proof-of-principle demonstration of an atomic gravimeter based on survival resonances of dissipatively driven atoms. Exposing laser-cooled atoms to a sequence of near-resonant standing-wave light pulses reveals survival resonances when the standing-wave interference pattern accelerates. The resonant accelerations determine the local gravitational acceleration and we achieve a precision of 5 ppm with a drop distance less than 1 mm. The incisiveness of the resonances scales with the square of the drop time. Present results indicate that an appropriately designed atomic gravimeter based on survival resonances might be able to reach a precision of 1μGal with a 10-cm-high fountain. The relatively simple experimental construction of this technique may be of interest for a compact absolute atomic gravimeter

Maximizing Maximal Angles for Plane Straight-Line Graphs

Let $G=(S, E)$ be a plane straight-line graph on a finite point set $S\subset\R^2$ in general position. The incident angles of a vertex $p \in S$ of $G$ are the angles between any two edges of $G$ that appear consecutively in the circular order of the edges incident to $p$. A plane straight-line graph is called $\phi$-open if each vertex has an incident angle of size at least $\phi$. In this paper we study the following type of question: What is the maximum angle $\phi$ such that for any finite set $S\subset\R^2$ of points in general position we can find a graph from a certain class of graphs on $S$ that is $\phi$-open? In particular, we consider the classes of triangulations, spanning trees, and paths on $S$ and give tight bounds in most cases.Comment: 15 pages, 14 figures. Apart of minor corrections, some proofs that were omitted in the previous version are now include

Paradoxien der Geschichte. Anmerkungen zu den Fotografien von Gerhard Gäbler

PURPOSE: Surgical treatment of early-onset scoliosis (EOS) requires a balance between maintained curve correction and the capacity for spinal and thoracic growth. Spinal fusion creates irreversible conditions that prevent the implementation of further treatment methods. Our hypothesis was that non-fused anchors in growth guidance show a comparable outcome as the technique described in the literature, which involves spondylodesis of the anchoring segments. METHODS: This retrospective study analysed 148 surgeries in 22 EOS patients (11 female, 11 male) over a 15-year period. Patients underwent surgery with non-fused anchors and growth guidance techniques. Scoliosis, kyphosis, growth and anchoring segments were measured. For the latter, a new measuring technique was developed. Complications were recorded and classified. RESULTS: The mean Cobb angle reduced from 73.5 ± 24.4° to 28.4 ± 16.2° (60.2 ± 22.9%, p < 0.001) at the last follow-up. Spinal growth T1-S1 and T1-T12 were 41.1 ± 23.3 mm and 24.9 ± 16.6 mm (p < 0.001), respectively. Growth at the cranial and caudal anchoring segment was 1.5 mm/segment/year and 1.9 mm/segment/year, respectively. A total of 63 complications were documented in 20 patients, with 40 requiring unplanned revision surgery. Definitive spondylodesis was performed in three patients. CONCLUSION: Patients demonstrated a significant spinal growth including the anchoring segments. A comparable correction in Cobb angle and the type of complications was noted, although the rate of device-related complications was higher. No permanent impairment was reported. The rate of device-related complications is acceptable and outweighed by the significant degree of growth preservation and more flexible and individualised treatment strategy for patients with EOS. These slides can be retrieved under Electronic Supplementary Material

Multiboost: a multi-purpose boosting package

http://jmlr.csail.mit.edu/papers/v13/benbouzid12a.htmlThe MultiBoost package provides a fast C++ implementation of multi-class/multi-label/multi-task boosting algorithms. It is based on AdaBoost.MH but it also implements popular cascade classifiers and FilterBoost. The package contains common multi-class base learners (stumps, trees, products, Haar filters). Further base learners and strong learners following the boosting paradigm can be easily implemented in a flexible framework