8,189 research outputs found
Recommended from our members
Cocaine Addiction as a Homeostatic Reinforcement Learning Disorder
Drug addiction implicates both reward learning and homeostatic regulation mechanisms of the brain. This has stimulated 2 partially successful theoretical perspectives on addiction. Many important aspects of addiction, however, remain to be explained within a single, unified framework that integrates the 2 mechanisms. Building upon a recently developed homeostatic reinforcement learning theory, the authors focus on a key transition stage of addiction that is well modeled in animals, escalation of drug use, and propose a computational theory of cocaine addiction where cocaine reinforces behavior due to its rapid homeostatic corrective effect, whereas its chronic use induces slow and long-lasting changes in homeostatic setpoint. Simulations show that our new theory accounts for key behavioral and neurobiological features of addiction, most notably, escalation of cocaine use, drug-primed craving and relapse, individual differences underlying dose-response curves, and dopamine D2-receptor downregulation in addicts. The theory also generates unique predictions about cocaine self-administration behavior in rats that are confirmed by new experimental results. Viewing addiction as a homeostatic reinforcement learning disorder coherently explains many behavioral and neurobiological aspects of the transition to cocaine addiction, and suggests a new perspective toward understanding addiction
Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
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
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.
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
Polymorphism of egg white proteins egg weight and components weight in the Fayoumi hen
International audienc
The Scattering Approach to the Casimir Force
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)
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
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
- …