The Ontology of Intentional Agency in Light of Neurobiological Determinism: Philosophy Meets Folk Psychology

The moot point of the Western philosophical rhetoric about free will consists in examining whether the claim of authorship to intentional, deliberative actions fits into or is undermined by a one-way causal framework of determinism. Philosophers who think that reconciliation between the two is possible are known as metaphysical compatibilists. However, there are philosophers populating the other end of the spectrum, known as the metaphysical libertarians, who maintain that claim to intentional agency cannot be sustained unless it is assumed that indeterministic causal processes pervade the action-implementation apparatus employed by the agent. The metaphysical libertarians differ among themselves on the question of whether the indeterministic causal relation exists between the series of intentional states and processes, both conscious and unconscious, and the action, making claim for what has come to be known as the event-causal view, or between the agent and the action, arguing that a sort of agent causation is at work. In this paper, I have tried to propose that certain features of both event-causal and agent-causal libertarian views need to be combined in order to provide a more defendable compatibilist account accommodating deliberative actions with deterministic causation. The ‘‘agent-executed-eventcausal libertarianism’’, the account of agency I have tried to develop here, integrates certain plausible features of the two competing accounts of libertarianism turning them into a consistent whole. I hope to show in the process that the integration of these two variants of libertarianism does not challenge what some accounts of metaphysical compatibilism propose—that there exists a broader deterministic relation between the web of mental and extra-mental components constituting the agent’s dispositional system—the agent’s beliefs, desires, short-term and long-term goals based on them, the acquired social, cultural and religious beliefs, the general and immediate and situational environment in which the agent is placed, etc. on the one hand and the decisions she makes over her lifetime on the basis of these factors. While in the ‘‘Introduction’’ the philosophically assumed anomaly between deterministic causation and the intentional act of deciding has been briefly surveyed, the second section is devoted to the task of bridging the gap between compatibilism and libertarianism. The next section of the paper turns to an analysis of folk-psychological concepts and intuitions about the effects of neurochemical processes and prior mental events on the freedom of making choices. How philosophical insights can be beneficially informed by taking into consideration folk-psychological intuitions has also been discussed, thus setting up the background for such analysis. It has been suggested in the end that support for the proposed theory of intentional agency can be found in the folk-psychological intuitions, when they are taken in the right perspective

Formal modeling and analysis of cognitive agent behavior

From an external perspective, cognitive agent behavior can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actions (output states) of the agent. From an internal perspective the agent’s dynamics can be characterized by direct (causal) temporal relations between internal and mental states of the agent. The latter type of specifications can be represented in a relatively simple, executable format, which enables different types of analysis of the agent’s behavior. In particular, simulations of the agent’s behavior under different (environmental) circumstances can be explored. Furthermore, by applying verification techniques, automated analysis of the consequences of the agent’s behavior can be carried out. To enable such types of analysis when only given an external behavioral specification, this has to be transformed first into some type of executable format. An automated procedure for such a transformation is proposed in this paper. The application of the transformation procedure is demonstrated for a number of cases, showing examples of the types of analysis as mentioned for different forms of behavior

Human MC4R variants affect endocytosis, trafficking and dimerization revealing multiple cellular mechanisms involved in weight regulation.

The Melanocortin-4 Receptor (MC4R) plays a pivotal role in energy homeostasis. We used human MC4R mutations associated with an increased or decreased risk of obesity to dissect mechanisms that regulate MC4R function. Most obesity-associated mutations impair trafficking to the plasma membrane (PM), whereas obesity-protecting mutations either accelerate recycling to the PM or decrease internalization, resulting in enhanced signaling. MC4R mutations that do not affect canonical Gαs protein-mediated signaling, previously considered to be non-pathogenic, nonetheless disrupt agonist-induced internalization, β-arrestin recruitment, and/or coupling to Gαs, establishing their causal role in severe obesity. Structural mapping reveals ligand-accessible sites by which MC4R couples to effectors and residues involved in the homodimerization of MC4R, which is disrupted by multiple obesity-associated mutations. Human genetic studies reveal that endocytosis, intracellular trafficking, and homodimerization regulate MC4R function to a level that is physiologically relevant, supporting the development of chaperones, agonists, and allosteric modulators of MC4R for weight loss therapy

Human MC4R variants affect endocytosis, trafficking and dimerization revealing multiple cellular mechanisms involved in weight regulation.

The Melanocortin-4 Receptor (MC4R) plays a pivotal role in energy homeostasis. We used human MC4R mutations associated with an increased or decreased risk of obesity to dissect mechanisms that regulate MC4R function. Most obesity-associated mutations impair trafficking to the plasma membrane (PM), whereas obesity-protecting mutations either accelerate recycling to the PM or decrease internalization, resulting in enhanced signaling. MC4R mutations that do not affect canonical Gαs protein-mediated signaling, previously considered to be non-pathogenic, nonetheless disrupt agonist-induced internalization, β-arrestin recruitment, and/or coupling to Gαs, establishing their causal role in severe obesity. Structural mapping reveals ligand-accessible sites by which MC4R couples to effectors and residues involved in the homodimerization of MC4R, which is disrupted by multiple obesity-associated mutations. Human genetic studies reveal that endocytosis, intracellular trafficking, and homodimerization regulate MC4R function to a level that is physiologically relevant, supporting the development of chaperones, agonists, and allosteric modulators of MC4R for weight loss therapy

Recent breast cancer trends among Asian/Pacific Islander, Hispanic, and African-American women in the US: changes by tumor subtype

Abstract available at publisher's website

Cornucopia: Temporal safety for CHERI heaps

Use-after-free violations of temporal memory safety continue to plague software systems, underpinning many high-impact exploits. The CHERI capability system shows great promise in achieving C and C++ language spatial memory safety, preventing out-of-bounds accesses. Enforcing language-level temporal safety on CHERI requires capability revocation, traditionally achieved either via table lookups (avoided for performance in the CHERI design) or by identifying capabilities in memory to revoke them (similar to a garbage-collector sweep). CHERIvoke, a prior feasibility study, suggested that CHERI’s tagged capabilities could make this latter strategy viable, but modeled only architectural limits and did not consider the full implementation or evaluation of the approach. Cornucopia is a lightweight capability revocation system for CHERI that implements non-probabilistic C/C++ temporal memory safety for standard heap allocations. It extends the CheriBSD virtual-memory subsystem to track capability flow through memory and provides a concurrent kernel-resident revocation service that is amenable to multi-processor and hardware acceleration. We demonstrate an average overhead of less than 2% and a worst-case of 8.9% for concurrent revocation on compatible SPEC CPU2006 benchmarks on a multi-core CHERI CPU on FPGA, and we validate Cornucopia against the Juliet test suite’s corpus of temporally unsafe programs. We test its compatibility with a large corpus of C programs by using a revoking allocator as the system allocator while booting multi-user CheriBSD. Cornucopia is a viable strategy for always-on temporal heap memory safety, suitable for production environments.This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (“CTSRD”) and HR0011-18-C-0016 (“ECATS”). We also acknowledge the EPSRC REMS Programme Grant (EP/K008528/1), the ABP Grant (EP/P020011/1), the ERC ELVER Advanced Grant (789108), the Gates Cambridge Trust, Arm Limited, HP Enterprise, and Google, Inc

Cohort study of Western Australia computed tomography utilisation patterns and their policy implications

Background: Computed tomography (CT) scanning is a relatively high radiation dose diagnostic imaging modality with increasing concerns about radiation exposure burden at the population level in scientific literature. This study examined the epidemiology of adult CT utilisation in Western Australia (WA) in both the public hospital and private practice settings, and the policy implications. Methods: Retrospective cohort design using aggregate adult CT data from WA public hospitals and Medical Benefits Schedule (MBS) (mid-2006 to mid-2012). CT scanning trends by sex, age, provider setting and anatomical areas were explored using crude CT scanning rates, age-standardised CT scanning rates and Poisson regression modelling. Results: From mid-2006 to mid-2012 the WA adult CT scanning rate was 129 scans per 1,000 person-years (PY). Females were consistently scanned at a higher rate than males. Patients over 65 years presented the highest scanning rates (over 300 scans per 1,000 PY). Private practice accounted for 73% of adult CT scans, comprising the majority in every anatomical area. In the private setting females predominately held higher age-standardised CT scanning rates than males. This trend reversed in the public hospital setting. Patients over 85 years in the public hospital setting were the most likely age group CT scanned in nine of ten anatomical areas. Patients in the private practice setting aged 85+ years were relatively less prominent across every anatomical area, and the least likely age group scanned in facial bones and multiple areas CT scans.Conclusion: In comparison to the public hospital setting, the MBS subsidised private sector tended to service females and relatively younger patients with a more diverse range of anatomical areas, constituting the majority of CT scans performed in WA. Patient risk and subsequent burden is greater for females, lower ages and some anatomical areas. In the context of a national health system, Australia has various avenues to monitor radiation exposure levels, improve physician training and modify funding mechanisms to ensure individual and population medical radiation exposure is as low as reasonably achievable

Demonstration of the Effect of Generic Anatomical Divisions versus Clinical Protocols on Computed Tomography Dose Estimates and Risk Burden

Objective: Choosing to undertake a CT scan relies on balancing risk versus benefit, however risks associated with CT scanning have generally been limited to broad anatomical locations, which do not provided adequate information to evaluate risk against benefit. Our study aimed to determine differences in radiation dose and risk estimates associated with modern CT scanning examinations when computed for clinical protocols compared with those using anatomical area. Methods: Technical data were extracted from a tertiary hospital Picture Archiving Communication System for random samples of 20–40 CT examinations per adult clinical CT protocol. Organ and whole body radiation dose were calculated using ImPACT Monte Carlo simulation software and cancer incidence and mortality estimated using BEIR VII age and gender specific lifetime attributable risk weights. Results: Thirty four unique CT protocols were identified by our study. When grouped according to anatomic area the radiation dose varied substantially, particularly for abdominal protocols. The total estimated number of incident cancers and cancer related deaths using the mean dose of anatomical area were 86 and 69 respectively. Using more specific protocol doses the estimates rose to 214 and 138 incident cancers and cancer related deaths, at least doubling the burden estimated. Conclusions: Modern CT scanning produces a greater diversity of effective doses than much of the literature describes; where a lack of focus on actual scanning protocols has produced estimates that do not reflect the range and complexity of modern CT practice. To allow clinicians, patients and policy makers to make informed risk versus benefit decisions the individual and population level risks associated with modern CT practices are essential

Galactic and Extragalactic Samples of Supernova Remnants: How They Are Identified and What They Tell Us

Supernova remnants (SNRs) arise from the interaction between the ejecta of a supernova (SN) explosion and the surrounding circumstellar and interstellar medium. Some SNRs, mostly nearby SNRs, can be studied in great detail. However, to understand SNRs as a whole, large samples of SNRs must be assembled and studied. Here, we describe the radio, optical, and X-ray techniques which have been used to identify and characterize almost 300 Galactic SNRs and more than 1200 extragalactic SNRs. We then discuss which types of SNRs are being found and which are not. We examine the degree to which the luminosity functions, surface-brightness distributions and multi-wavelength comparisons of the samples can be interpreted to determine the class properties of SNRs and describe efforts to establish the type of SN explosion associated with a SNR. We conclude that in order to better understand the class properties of SNRs, it is more important to study (and obtain additional data on) the SNRs in galaxies with extant samples at multiple wavelength bands than it is to obtain samples of SNRs in other galaxiesComment: Final 2016 draft of a chapter in "Handbook of Supernovae" edited by Athem W. Alsabti and Paul Murdin. Final version available at https://doi.org/10.1007/978-3-319-20794-0_90-