Characterising Probabilistic Processes Logically

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae.Comment: 18 page

In search of green political economy: steering markets, innovation and the case of the zero carbon homes agenda in England

Advocates of a democratic ‘Green state’ challenge Hayekian free-market environmentalist proposals for a minimal state and the emphasis of ecological modernisation discourses on technological innovation as the primary route towards ecological sustainability. However, these more strongly pro-market traditions raise important questions and provide useful insights concerning the challenges of translating the political ideology of ‘ecologism’ into practical proposals for democratic governance. Hayekian thought raises vital questions concerning the capacity of political processes to address complex challenges of coordinating the formulation and delivery of the sustainability objectives of ecologism. Scholarship on ecological modernisation and the ‘new regulation’ offer important insights into how shifting interrelationships between the state and private sector in the policy process might enable this challenge to be more effectively addressed. These areas for further developing proposals for a Green state are illustrated here through a case study of the zero carbon homes policy agenda in England

Quality standards in respiratory real-life effectiveness research: the REal Life EVidence AssessmeNt Tool (RELEVANT): report from the Respiratory Effectiveness Group—European Academy of Allergy and Clinical Immunology Task Force

A Task Force was commissioned jointly by the European Academy of Allergy and Clinical Immunology (EAACI) and the Respiratory Effectiveness Group (REG) to develop a quality assessment tool for real-life observational research to identify high-quality real-life asthma studies that could be considered within future guideline development. The resulting REal Life EVidence AssessmeNt Tool (RELEVANT) was achieved through an extensive analysis of existing initiatives in this area. The first version was piloted among 9 raters across 6 articles; the revised, interim, version underwent extensive testing by 22 reviewers from the EAACI membership and REG collaborator group, leading to further revisions and tool finalisation. RELEVANT was validated through an analysis of real-life effectiveness studies identified via systematic review of Medline and Embase databases and relating to topics for which real-life studies may offer valuable evidence complementary to that from randomised controlled trials. The topics were selected through a vote among Task Force members and related to the influence of adherence, smoking, inhaler device and particle size on asthma treatment effectiveness. Although highlighting a general lack of high-quality real-life effectiveness observational research on these clinically important topics, the analysis provided insights into how identified observational studies might inform asthma guidelines developers and clinicians. Overall, RELEVANT appeared reliable and easy to use by expert reviewers. Using such quality appraisal tools is mandatory to assess whether specific observational real-life effectiveness studies can be used to inform guideline development and/or decision-making in clinical practice

Metacognitive scaffolding boosts cognitive and neural benefits following executive attention training in children

Version of Record online: 25 October 2018Interventions including social scaffolding and metacognitive strategies have been used in educational settings to promote cognition. In addition, increasing evidence shows that computerized process-based training enhances cognitive skills. However, no prior studies have examined the effect of combining these two training strategies. The goal of this study was to test the combined effect of metacognitive scaffolding and computer-based training of executive attention in a sample of typically developing preschoolers at the cognitive and brain levels. Compared to children in the regular training protocol and an untrained active control group, children in the metacognitive group showed larger gains on intelligence and significant increases on an electrophysiological index associated with conflict processing. Moreover, changes in the conflict-related brain activity predicted gains in intelligence in the metacognitive scaffolding group. These results suggest that metacognitive scaffolding boosts the influence of process-based training on cognitive efficiency and brain plasticity related to executive attention.Secretaría de Estado de Investigación, Desarrollo e Innovación, Grant/Award Number: PSI2014-55833-

Recruitment of lateral rostral prefrontal cortex in spontaneous and task-related thoughts

Behavioural and neuroimaging studies suggest that spontaneous and task-related thought processes share common cognitive mechanisms and neural bases. Lateral rostral prefrontal cortex (RPFC) is a brain region that has been implicated both in spontaneous thought and in high-level cognitive control processes, such as goal/subgoal integration and the manipulation of self-generated thoughts. We therefore propose that the recruitment of lateral RPFC may follow a U-shaped function of cognitive demand: relatively high in low-demand situations conducive to the emergence of spontaneous thought, and in high-demand situations depending on processes supported by this brain region. We used functional magnetic resonance imaging to investigate brain activity while healthy participants performed two tasks, each with three levels of cognitive demands, in a block design. The frequency of task-unrelated thoughts, measured by questionnaire, was highest in the low cognitive demand condition. Low and high cognitive demand conditions were each compared to the intermediate level. Lateral RPFC and superior parietal cortex were recruited in both comparisons, with additional activations specific to each contrast. These results suggest that RPFC is involved both when (a) task demands are low, and the mind wanders, and (b) the task requires goal/subgoal integration and manipulation of self-generated thoughts

Emergence of qualia from brain activity or from an interaction of proto-consciousness with the brain: which one is the weirder? Available evidence and a research agenda

This contribution to the science of consciousness aims at comparing how two different theories can explain the emergence of different qualia experiences, meta-awareness, meta-cognition, the placebo effect, out-of-body experiences, cognitive therapy and meditation-induced brain changes, etc. The first theory postulates that qualia experiences derive from specific neural patterns, the second one, that qualia experiences derive from the interaction of a proto-consciousness with the brain\u2019s neural activity. From this comparison it will be possible to judge which one seems to better explain the different qualia experiences and to offer a more promising research agenda

The domain of organizational cognitive neuroscience:theoretical and empirical challenges

In this editorial, the authors respond to the 2011 article in the Journal of Management by Becker, Cropanzano, and Sanfey, titled “Organizational Neuroscience: Taking Organizational Theory Inside the Neural Black Box.” More specifically, the authors build on the ideas of Becker et al. first to clarify and extend their work and then to explore the critical philosophical issues involved in drawing inferences from neuroscientific research. They argue that these problems are yet to be solved and that organizational researchers who wish to incorporate neuroscientific advances into their work need to engage with them

Lateral Prefrontal Cortex Subregions Make Dissociable Contributions during Fluid Reasoning

Reasoning is a key component of adaptable “executive” behavior and is known to depend on a network of frontal and parietal brain regions. However, the mechanisms by which this network supports reasoning and adaptable behavior remain poorly defined. Here, we examine the relationship between reasoning, executive control, and frontoparietal function in a series of nonverbal reasoning experiments. Our results demonstrate that, in accordance with previous studies, a network of frontal and parietal brain regions is recruited during reasoning. Our results also reveal that this network can be fractionated according to how different subregions respond when distinct reasoning demands are manipulated. While increased rule complexity modulates activity within a right lateralized network including the middle frontal gyrus and the superior parietal cortex, analogical reasoning demand—or the requirement to remap rules on to novel features—recruits the left inferior rostrolateral prefrontal cortex and the lateral occipital complex. In contrast, the posterior extent of the inferior frontal gyrus, associated with simpler executive demands, is not differentially sensitive to rule complexity or analogical demand. These findings accord well with the hypothesis that different reasoning demands are supported by different frontal and parietal subregions