Generalized Satisfiability Problems via Operator Assignments

Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of the notion of satisfiability in which the values to variables are linear operators on some Hilbert space. For the case of constraints given by a system of linear equations over the two-element field, this relaxation has received considerable attention in the foundations of quantum mechanics, where such constructions as the Mermin-Peres magic square show that there are systems that have no solutions in the Boolean domain, but have solutions via operator assignments on some finite-dimensional Hilbert space. We obtain a complete characterization of the classes of Boolean relations for which there is a gap between satisfiability in the Boolean domain and the relaxation of satisfiability via operator assignments. To establish our main result, we adapt the notion of primitive-positive definability (pp-definability) to our setting, a notion that has been used extensively in the study of constraint satisfaction problems. Here, we show that pp-definability gives rise to gadget reductions that preserve satisfiability gaps. We also present several additional applications of this method. In particular and perhaps surprisingly, we show that the relaxed notion of pp-definability in which the quantified variables are allowed to range over operator assignments gives no additional expressive power in defining Boolean relations

Unrelated Helpers in a Primitively Eusocial Wasp: Is Helping Tailored Towards Direct Fitness?

The paper wasp Polistes dominulus is unique among the social insects in that nearly one-third of co-foundresses are completely unrelated to the dominant individual whose offspring they help to rear and yet reproductive skew is high. These unrelated subordinates stand to gain direct fitness through nest inheritance, raising the question of whether their behaviour is adaptively tailored towards maximizing inheritance prospects. Unusually, in this species, a wealth of theory and empirical data allows us to predict how unrelated subordinates should behave. Based on these predictions, here we compare helping in subordinates that are unrelated or related to the dominant wasp across an extensive range of field-based behavioural contexts. We find no differences in foraging effort, defense behaviour, aggression or inheritance rank between unrelated helpers and their related counterparts. Our study provides no evidence, across a number of behavioural scenarios, that the behaviour of unrelated subordinates is adaptively modified to promote direct fitness interests

The relativistic Sagnac Effect: two derivations

The phase shift due to the Sagnac Effect, for relativistic matter and electromagnetic beams, counter-propagating in a rotating interferometer, is deduced using two different approaches. From one hand, we show that the relativistic law of velocity addition leads to the well known Sagnac time difference, which is the same independently of the physical nature of the interfering beams, evidencing in this way the universality of the effect. Another derivation is based on a formal analogy with the phase shift induced by the magnetic potential for charged particles travelling in a region where a constant vector potential is present: this is the so called Aharonov-Bohm effect. Both derivations are carried out in a fully relativistic context, using a suitable 1+3 splitting that allows us to recognize and define the space where electromagnetic and matter waves propagate: this is an extended 3-space, which we call "relative space". It is recognized as the only space having an actual physical meaning from an operational point of view, and it is identified as the 'physical space of the rotating platform': the geometry of this space turns out to be non Euclidean, according to Einstein's early intuition.Comment: 49 pages, LaTeX, 3 EPS figures. Revised (final) version, minor corrections; to appear in "Relativity in Rotating Frames", ed. G. Rizzi and M.L. Ruggiero, Kluwer Academic Publishers, Dordrecht, (2003). See also http://digilander.libero.it/solciclo

Evolutionary connectionism: algorithmic principles underlying the evolution of biological organisation in evo-devo, evo-eco and evolutionary transitions

The mechanisms of variation, selection and inheritance, on which evolution by natural selection depends, are not fixed over evolutionary time. Current evolutionary biology is increasingly focussed on understanding how the evolution of developmental organisations modifies the distribution of phenotypic variation, the evolution of ecological relationships modifies the selective environment, and the evolution of reproductive relationships modifies the heritability of the evolutionary unit. The major transitions in evolution, in particular, involve radical changes in developmental, ecological and reproductive organisations that instantiate variation, selection and inheritance at a higher level of biological organisation. However, current evolutionary theory is poorly equipped to describe how these organisations change over evolutionary time and especially how that results in adaptive complexes at successive scales of organisation (the key problem is that evolution is self-referential, i.e. the products of evolution change the parameters of the evolutionary process). Here we first reinterpret the central open questions in these domains from a perspective that emphasises the common underlying themes. We then synthesise the findings from a developing body of work that is building a new theoretical approach to these questions by converting well-understood theory and results from models of cognitive learning. Specifically, connectionist models of memory and learning demonstrate how simple incremental mechanisms, adjusting the relationships between individually-simple components, can produce organisations that exhibit complex system-level behaviours and improve the adaptive capabilities of the system. We use the term “evolutionary connectionism” to recognise that, by functionally equivalent processes, natural selection acting on the relationships within and between evolutionary entities can result in organisations that produce complex system-level behaviours in evolutionary systems and modify the adaptive capabilities of natural selection over time. We review the evidence supporting the functional equivalences between the domains of learning and of evolution, and discuss the potential for this to resolve conceptual problems in our understanding of the evolution of developmental, ecological and reproductive organisations and, in particular, the major evolutionary transitions

Identifying factors relevant in the assessment of return-to-work efforts in employees on long-term sickness absence due to chronic low back pain: a focus group study

ABSTRACT: BACKGROUND: Efforts undertaken during the return to work (RTW) process need to be sufficient to prevent unnecessary applications for disability benefits. The purpose of this study was to identify factors relevant to RTW Effort Sufficiency (RTW-ES) in cases of sick-listed employees with chronic low back pain (CLBP). METHODS: Using focus groups consisting of Labor Experts (LE's) working at the Dutch Social Insurance Institute, arguments and underlying grounds relevant to the assessment of RTW-ES were investigated. Factors were collected and categorized using the International Classification of Functioning, Disability and Health (ICF model). RESULTS: Two focus groups yielded 19 factors, of which 12 are categorized in the ICF model under activities (e.g. functional capacity) and in the personal (e.g. age, tenure) and environmental domain (e.g. employer-employee relationship). The remaining 7 factors are categorized under intervention, job accommodation and measures. CONCLUSIONS: This focus group study shows that 19 factors may be relevant to RTW-ES in sick-listed employees with CLBP. Providing these results to professionals assessing RTW-ES might contribute to a more transparent and systematic approach. Considering the importance of the quality of the RTW process, optimizing the RTW-ES assessment is essential

Microscopy of bacterial translocation during small bowel obstruction and ischemia in vivo – a new animal model

BACKGROUND: Existing animal models provide only indirect information about the pathogenesis of infections caused by indigenous gastrointestinal microflora and the kinetics of bacterial translocation. The aim of this study was to develop a novel animal model to assess bacterial translocation and intestinal barrier function in vivo. METHODS: In anaesthetized male Wistar rats, 0.5 ml of a suspension of green fluorescent protein-transfected E. coli was administered by intraluminal injection in a model of small bowel obstruction. Animals were randomly subjected to non-ischemic or ischemic bowel obstruction. Ischemia was induced by selective clamping of the terminal mesenteric vessels feeding the obstructed bowel loop. Time intervals necessary for translocation of E. coli into the submucosal stroma and the muscularis propria was assessed using intravital microscopy. RESULTS: Bacterial translocation into the submucosa and muscularis propria took a mean of 36 ± 8 min and 80 ± 10 min, respectively, in small bowel obstruction. Intestinal ischemia significantly accelerated bacterial translocation into the submucosa (11 ± 5 min, p < 0.0001) and muscularis (66 ± 7 min; p = 0.004). Green fluorescent protein-transfected E. coli were visible in frozen sections of small bowel, mesentery, liver and spleen taken two hours after E. coli administration. CONCLUSIONS: Intravital microscopy of fluorescent bacteria is a novel approach to study bacterial translocation in vivo. We have applied this technique to define minimal bacterial transit time as a functional parameter of intestinal barrier function

Air–liquid interface cultures enhance the oxygen supply and trigger the structural and functional differentiation of intestinal porcine epithelial cells (IPEC)

The specific function of the epithelium as critical barrier between the intestinal lumen and the organism’s internal microenvironment is reflected by permanent maintenance of intercellular junctions and cellular polarity. The intestinal epithelial cells are responsible for absorption of nutritional components, facing mechanical stress and a changing oxygen supplementation via blood stream. Oxygen itself can regulate the barrier and the absorptive function of the epithelium. Therefore, we compared the dish cell culture, the transwell-like membrane culture and the oxygen enriched air–liquid interface (ALI) culture. We demonstrated strong influence of the different culture conditions on morphology and function of intestinal porcine epithelial cell lines in vitro. ALI culture resulted in a significant increase in cell number, epithelial cell layer thickness and expression as well as apical localisation of the microvilli-associated protein villin. Remarkable similarities regarding the morphological parameters were observed between ALI cultures and intestinal epithelial cells in vivo. Furthermore, the functional analysis of protein uptake and degradation by the epithelial cells demonstrated the necessity of sufficient oxygen supply as achieved in ALI cultures. Our study is the first report providing marked evidence that optimised oxygen supply using ALI cultures directly affects the morphological differentiation and functional properties of intestinal epithelial cells in vitro

Influence of Birth Preparedness, Decision-Making on Location of Birth and Assistance by Skilled Birth Attendants among Women in South-Western Uganda

Introduction: Assistance by skilled birth attendants (SBAs) during childbirth is one of the strategies aimed at reducing maternal morbidity and mortality in low-income countries. However, the relationship between birth preparedness and decision-making on location of birth and assistance by skilled birth attendants in this context is not well studied. The aim of this study was to assess the influence of birth preparedness practices and decision-making and assistance by SBAs among women in south-western Uganda

Clustering patterns of physical activity, sedentary and dietary behavior among European adolescents: The HELENA study

<p>Abstract</p> <p>Background</p> <p>Evidence suggests possible synergetic effects of multiple lifestyle behaviors on health risks like obesity and other health outcomes. A better insight in the clustering of those behaviors, could help to identify groups who are at risk in developing chronic diseases. This study examines the prevalence and clustering of physical activity, sedentary and dietary patterns among European adolescents and investigates if the identified clusters could be characterized by socio-demographic factors.</p> <p>Methods</p> <p>The study comprised a total of 2084 adolescents (45.6% male), from eight European cities participating in the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) study. Physical activity and sedentary behavior were measured using self-reported questionnaires and diet quality was assessed based on dietary recall. Based on the results of those three indices, cluster analyses were performed. To identify gender differences and associations with socio-demographic variables, chi-square tests were executed.</p> <p>Results</p> <p>Five stable and meaningful clusters were found. Only 18% of the adolescents showed healthy and 21% unhealthy scores on all three included indices. Males were highly presented in the cluster with high levels of moderate to vigorous physical activity (MVPA) and low quality diets. The clusters with low levels of MVPA and high quality diets comprised more female adolescents. Adolescents with low educated parents had diets of lower quality and spent more time in sedentary activities. In addition, the clusters with high levels of MVPA comprised more adolescents of the younger age category.</p> <p>Conclusion</p> <p>In order to develop effective primary prevention strategies, it would be important to consider multiple health indices when identifying high risk groups.</p

A comparison of specialist rehabilitation and care assistant support with specialist rehabilitation alone and usual care for people with Parkinson's living in the community: study protocol for a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>Parkinson's Disease is a degenerative neurological condition that causes movement problems and other distressing symptoms. People with Parkinson's disease gradually lose their independence and strain is placed on family members. A multidisciplinary approach to rehabilitation for people with Parkinson's is recommended but has not been widely researched. Studies are needed that investigate cost-effective community-based service delivery models to reduce disability and dependency and admission to long term care, and improve quality of life.</p> <p>Methods</p> <p>A pragmatic three parallel group randomised controlled trial involving people with Parkinson's Disease and live-in carers (family friends or paid carers), and comparing: management by a specialist multidisciplinary team for six weeks, according to a care plan agreed between the professionals and the patient and carer (Group A); multidisciplinary team management and additional support for four months from a trained care assistant (Group B); usual care, no coordinated team care planning or ongoing support (Group C). Follow up will be for six months to determine the impact and relative cost-effectiveness of the two interventions, compared to usual care. The primary outcomes are disability (patients) and strain (carers). Secondary outcomes include patient mobility, falls, speech, pain, self efficacy, health and social care use; carer general health; patient and carer social functioning, psychological wellbeing, health related quality of life. Semi structured interviews will be undertaken with providers (team members, care assistants), service commissioners, and patients and carers in groups A and B, to gain feedback about the acceptability of the interventions. A cost - effectiveness evaluation is embedded in the trial.</p> <p>Discussion</p> <p>The trial investigates components of recent national policy recommendations for people with long term conditions, and Parkinson's Disease in particular, and will provide guidance to inform local service planning and commissioning.</p> <p>Trial registration</p> <p>ISRCTN: <a href="http://www.controlled-trials.com/ISRCTN44577970">ISRCTN44577970</a></p