We say that a space X has the separation property provided that if A and B are subsets of X with A countable and B first category, then there is a homeomorphism f : X → X such that f(A) ∩ B = ∅. We prove that a Borel space with this property is Polish. Our main result is that if the homeomorphisms needed in the separation property for the space X come from the homeomorphisms given by an action ...

PURPOSE OF REVIEW The objective of the current contribution is to propose an evidence-based, six-step approach to develop effective programs for prevention of fetal alcohol spectrum disorders. RECENT FINDINGS Despite widespread campaigns aimed to reduce prenatal alcohol exposure, the number of affected children continues to be high. Current strategies to reduce prenatal alcohol exposure may b...

Exergames encourage physical activity, but generally require specialized hardware and prescribed activities; whereas pervasive accumulated context exergames (PACEs) allow players to choose their type of exercise, but have limited depth of play. For mass commercialization of PACEs, facilitating long-term behavioural change, we propose two requirements: that PACEs support large-scale and flexible...

National Federation of Independent Business v. Sebelius may be known, in both the popular and academic commentaries, as the case about the Affordable Care Act’s Individual Mandate provision. History may record it as one of the most significant cases in the jurisprudence of cooperative federalism. In invalidating part of the Medicaid Expansion provision, the Roberts Court became the first to inv...

The traditional rules of voice-leading in Western music are explicated using experimentally established perceptual principles. Six core principles are shown to account for the majority of voice-leading rules given in historical and contemporary music theory tracts. These principles are treated in a manner akin to axioms in a formal system from which the traditional rules of voice-leading are de...

Beyond Model Checking. . . After many years of academic research on model checking, its impact in industry is mostly limited to critical embedded systems, and thus is somewhat disappointing w.r.t. the expectations. Two major reasons are the binary response to properties satisfaction, which is not informative enough, and the insufficient abstraction to cater for tuning and scalability of systems...

Nondegenerate geometry (T-geometry) with nonsymmetric world function is considered. In application to the space-time geometry the asymmetry of world function means that the past and the future are not equivalent geometrically. T-geometry is described in terms of finite point subspaces and world function between pairs of points of these subsets, i.e. in the language which is immanent to geometry...

Information retrieval, IR, the science of extracting information from any potential source, can be viewed in a number of ways: logical, probabilistic and vector space models are some of the most important. In this book, the author, one of the leading researchers in the area, shows how these views can be reforged in the same framework used to formulate the general principles of quantum mechanics...