8,189 research outputs found

    Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

    Get PDF
    In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parametrisations with respect to the central decision problems. The model checking problem (MC) of PDL is NP-complete. The subject of this research is to identify a list of parametrisations (formula-size, treewidth, treedepth, team-size, number of variables) under which MC becomes fixed-parameter tractable. Furthermore, we show that the number of disjunctions or the arity of dependence atoms (dep-arity) as a parameter both yield a paraNP-completeness result. Then, we consider the satisfiability problem (SAT) showing a different picture: under team-size, or dep-arity SAT is paraNP-complete whereas under all other mentioned parameters the problem is in FPT. Finally, we introduce a variant of the satisfiability problem, asking for teams of a given size, and show for this problem an almost complete picture.Comment: Update includes refined result

    Reachability for dynamic parametric processes

    Full text link
    In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent. We show that reachability for dynamic parametric processes is decidable under mild assumptions. These assumptions are e.g. met if individual processes are realized by pushdown systems, or even higher-order pushdown systems. We also provide algorithms for subclasses of pushdown dynamic parametric processes, with complexity ranging between NP and DEXPTIME.Comment: 31 page

    Scald risk in social housing can be reduced through thermostatic control system without increasing Legionella risk: a cluster randomised trial.

    Get PDF
    OBJECTIVE: To quantify the effects of a thermostatic control system in social (public) housing on the prevalence of dangerous (>60°C) water temperatures and on fuel consumption. DESIGN: Pair-matched double-blind cluster randomised controlled trial. SETTING: Social housing in a deprived inner-London borough. PARTICIPANTS: 150 households recruited as clusters from 22 social housing estates. Four small estates were combined into two clusters (resulting in a total of 10 pairs of clusters). INTERVENTION: Social housing estate boiler houses were randomised to a thermostatic control sterilisation programme (heating water to 65°C during 00:00-06:00 h and to 50°C from 06:00 to 00:00 h daily) or to standard control (constant temperature 65°C). MAIN OUTCOME MEASURES: Water temperature over 60°C ('dangerous') after running taps for 1 min and daily fuel consumption (cubic feet of gas). RESULTS: 10 clusters (80 households) were allocated to the sterilisation programme and 10 clusters (70 households) to control, of which 73 and 67 households, respectively, were analysed. Prevalence of dangerous (>60°C) hot water temperatures at 1 min was significantly reduced with the sterilisation programme (mean of cluster prevalence 1% in sterilisation programme group vs 34% in control group; absolute difference 33%, 95% CI 12% to 54%; p=0.006). Prevalence of high (>55°C) hot water temperatures at 1 min was significantly reduced (31% sterilisation vs 59% control; absolute difference 28%, 95% CI 9% to 47%; p=0.009). Gas consumption per day reduced more in the control group than in the sterilisation programme group, although not statistically significantly (p=0.125). CONCLUSIONS: The thermostatic control with daily sterilisation was effective in capping hot water temperatures and therefore reduced scald risk. Although expected to save energy, fuel consumption was increased relative to the control group. Trial registration ClinicalTrials.gov ID: NCT00874692

    The Scattering Approach to the Casimir Force

    Full text link
    We present the scattering approach which is nowadays the best tool for describing the Casimir force in realistic experimental configurations. After reminders on the simple geometries of 1d space and specular scatterers in 3d space, we discuss the case of stationary arbitrarily shaped mirrors in electromagnetic vacuum. We then review specific calculations based on the scattering approach, dealing for example with the forces or torques between nanostructured surfaces and with the force between a plane and a sphere. In these various cases, we account for the material dependence of the forces, and show that the geometry dependence goes beyond the trivial {\it Proximity Force Approximation} often used for discussing experiments.Comment: Proceedings of the QFEXT'09 conference (Oklahoma, 2009

    The use of bioassays to assess the toxicity of sediment in an acid mine drainage impacted river in Gauteng (South Africa)

    Get PDF
    Abstract: Sediment contamination may occur from various anthropogenic activities, such as mining-, agricultural- and industrial practices. Many of the contaminants arising from these activities enter the aquatic system and precipitate from the surrounding water, becoming bound to sediment particles. These bound contaminants may reach concentrations higher than in the overlying water. Although water quality may be acceptable, an aquatic system may still be at risk if the contaminated sediment were to be disturbed through flooding, bioturbation or changes in the water chemistry. These contaminants may then desorb into the water column and prove detrimental to life forms in contact and dependent on that water source. Sediment quality monitoring has been a widespread international initiative and has led to the development of sediment toxicity assessment methods. This study focused on sediment bioassays, namely, Phytotoxkit, Ostracodtoxkit F and the Diptera bioassay, in assessing sediment quality of the Tweelopiespruit-Rietspruit-Bloubankspruit river system in Gauteng, South Africa. This river is known to have been impacted by acid mine drainage (AMD) since late August, 2002. Exposure of river sediment from 7 sampling sites to these bioassays provided an eco-toxicological estimation of the acute toxicity and chronic toxicity emanating from the contaminated sediments. Physico-chemical analyses revealed higher levels of sediment contamination closer to the mine. The bioassays displayed a similar trend with greater sensitivities to sediments closer to the mine and lower sensitivities to the less contaminated sites further downstream. AMD was therefore the main driver for sediment contamination. Whilst not all contaminants were bioavailable, statistical analysis showed that there were significant correlations between the elevated contaminant concentrations closer to the mine and bioassay responses

    Organizational Adaptation

    Get PDF
    Organizational adaptation is equivocal. On the one hand, the concept is ubiquitous in management research and acts as the glue binding together the central issues of organizational change, performance, and survival. On the other hand, it lurks around in various guises (e.g., “fit,” “alignment,” “congruence,” and “strategic change”) studied from multiple theoretical streams (e.g., behavioral, resource based, and institutional) and at different levels of analysis (e.g., organization and industry levels). In a novel approach to reviewing 443 adaptation articles that leverages both computational and hand-coded analysis, we produce an interactive visual of the themes most studied by adaptation scholars. We inductively draw out a definition of adaptation as intentional decision making undertaken by organizational members, leading to observable actions that aim to reduce the distance between an organization and its economic and institutional environments. We then review the literature across three main areas of inquiry and six theoretical perspectives that surfaced from our analysis and identify 11 difficulties that have hampered adaptation research in the past 50 years. Our review suggests ways to address these difficulties to enable future research to develop and cumulate
    • …
    corecore