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

X-Ray Spectroscopy of Stars

(abridged) Non-degenerate stars of essentially all spectral classes are soft X-ray sources. Low-mass stars on the cooler part of the main sequence and their pre-main sequence predecessors define the dominant stellar population in the galaxy by number. Their X-ray spectra are reminiscent, in the broadest sense, of X-ray spectra from the solar corona. X-ray emission from cool stars is indeed ascribed to magnetically trapped hot gas analogous to the solar coronal plasma. Coronal structure, its thermal stratification and geometric extent can be interpreted based on various spectral diagnostics. New features have been identified in pre-main sequence stars; some of these may be related to accretion shocks on the stellar surface, fluorescence on circumstellar disks due to X-ray irradiation, or shock heating in stellar outflows. Massive, hot stars clearly dominate the interaction with the galactic interstellar medium: they are the main sources of ionizing radiation, mechanical energy and chemical enrichment in galaxies. High-energy emission permits to probe some of the most important processes at work in these stars, and put constraints on their most peculiar feature: the stellar wind. Here, we review recent advances in our understanding of cool and hot stars through the study of X-ray spectra, in particular high-resolution spectra now available from XMM-Newton and Chandra. We address issues related to coronal structure, flares, the composition of coronal plasma, X-ray production in accretion streams and outflows, X-rays from single OB-type stars, massive binaries, magnetic hot objects and evolved WR stars.Comment: accepted for Astron. Astrophys. Rev., 98 journal pages, 30 figures (partly multiple); some corrections made after proof stag

Immunological Responses and Actin Dynamics in Macrophages Are Controlled by N-Cofilin but Are Independent from ADF

Dynamic changes in the actin cytoskeleton are essential for immune cell function and a number of immune deficiencies have been linked to mutations, which disturb the actin cytoskeleton. In macrophages and dendritic cells, actin remodelling is critical for motility, phagocytosis and antigen presentation, however the actin binding proteins, which control antigen presentation have been poorly characterized. Here we dissect the specific roles of the family of ADF/cofilin F-actin depolymerizing factors in macrophages and in local immune responses

Do physician outcome judgments and judgment biases contribute to inappropriate use of treatments? Study protocol

<p>Abstract</p> <p>Background</p> <p>There are many examples of physicians using treatments inappropriately, despite clear evidence about the circumstances under which the benefits of such treatments outweigh their harms. When such over- or under- use of treatments occurs for common diseases, the burden to the healthcare system and risks to patients can be substantial. We propose that a major contributor to inappropriate treatment may be how clinicians judge the likelihood of important treatment outcomes, and how these judgments influence their treatment decisions. The current study will examine the role of judged outcome probabilities and other cognitive factors in the context of two clinical treatment decisions: 1) prescription of antibiotics for sore throat, where we hypothesize overestimation of benefit and underestimation of harm leads to over-prescription of antibiotics; and 2) initiation of anticoagulation for patients with atrial fibrillation (AF), where we hypothesize that underestimation of benefit and overestimation of harm leads to under-prescription of warfarin.</p> <p>Methods</p> <p>For each of the two conditions, we will administer surveys of two types (Type 1 and Type 2) to different samples of Canadian physicians. The primary goal of the Type 1 survey is to assess physicians' perceived outcome probabilities (both good and bad outcomes) for the target treatment. Type 1 surveys will assess judged outcome probabilities in the context of a representative patient, and include questions about how physicians currently treat such cases, the recollection of rare or vivid outcomes, as well as practice and demographic details. The primary goal of the Type 2 surveys is to measure the specific factors that drive individual clinical judgments and treatment decisions, using a 'clinical judgment analysis' or 'lens modeling' approach. This survey will manipulate eight clinical variables across a series of sixteen realistic case vignettes. Based on the survey responses, we will be able to identify which variables have the greatest effect on physician judgments, and whether judgments are affected by inappropriate cues or incorrect weighting of appropriate cues. We will send antibiotics surveys to family physicians (300 per survey), and warfarin surveys to both family physicians and internal medicine specialists (300 per group per survey), for a total of 1,800 physicians. Each Type 1 survey will be two to four pages in length and take about fifteen minutes to complete, while each Type 2 survey will be eight to ten pages in length and take about thirty minutes to complete.</p> <p>Discussion</p> <p>This work will provide insight into the extent to which clinicians' judgments about the likelihood of important treatment outcomes explain inappropriate treatment decisions. This work will also provide information necessary for the development of an individualized feedback tool designed to improve treatment decisions. The techniques developed here have the potential to be applicable to a wide range of clinical areas where inappropriate utilization stems from biased judgments.</p

The human keratins: biology and pathology

The keratins are the typical intermediate filament proteins of epithelia, showing an outstanding degree of molecular diversity. Heteropolymeric filaments are formed by pairing of type I and type II molecules. In humans 54 functional keratin genes exist. They are expressed in highly specific patterns related to the epithelial type and stage of cellular differentiation. About half of all keratins—including numerous keratins characterized only recently—are restricted to the various compartments of hair follicles. As part of the epithelial cytoskeleton, keratins are important for the mechanical stability and integrity of epithelial cells and tissues. Moreover, some keratins also have regulatory functions and are involved in intracellular signaling pathways, e.g. protection from stress, wound healing, and apoptosis. Applying the new consensus nomenclature, this article summarizes, for all human keratins, their cell type and tissue distribution and their functional significance in relation to transgenic mouse models and human hereditary keratin diseases. Furthermore, since keratins also exhibit characteristic expression patterns in human tumors, several of them (notably K5, K7, K8/K18, K19, and K20) have great importance in immunohistochemical tumor diagnosis of carcinomas, in particular of unclear metastases and in precise classification and subtyping. Future research might open further fields of clinical application for this remarkable protein family

Biological Invasions in South Africa: an overview

South Africa has much to offer as a location for the study of biological invasions. It is an ecologically diverse country comprised of nine distinct terrestrial biomes, four recognised marine ecoregions, and two sub-Antarctic Islands. The country has a rich and chequered socio-political history, and a similarly varied history of species introductions. There has been a long tradition of large-scale conservation in the country, and efforts to manage and regulate invasions began in the nineteenth century, with some notable successes, but many setbacks. With the advent of democracy in the early 1990s, South Africa established large alien species control programmes to meet the dual demands of poverty alleviation and conservation, and has since pioneered regulatory approaches to address invasions. In terms of research, South Africa has played an important role in the development of invasion science globally. It continues to have one of the most active communities anywhere in the world, with strengths in theoretical and applied invasion science, and world-leading expertise in specific sub-disciplines (e.g. the classical biological control of invasive plants). In this introductory chapter to the book “Biological Invasions in South Africa”, we highlight key events that have affected biological invasions, their management, and the research conducted over the past two centuries. In so doing, we build on earlier reviews—from a national situational review of the state of knowledge in 1986, culminating most recently with a comprehensive report on the status of biological invasions and their management at a national level in 2018. Our book comprises 31 chapters (including this one), divided into seven parts that examine where we have come from, where we are, how we got here, why the issue is important, what we are doing about it, what we have learnt, and where we may be headed. The book lists over 1400 alien species that have established outside of captivity or cultivation. These species cost the country at least US$1 billion per year (~ZAR 15 billion), and threaten South Africa’s unique biodiversity. The introduction and spread of alien species, the impacts that they have had, the benefits that they have brought, and the attempts to manage them have provided many opportunities for research. Documenting what we have learned from this unplanned experiment is a primary goal of this book. We hope this book will allow readers to better understand biological invasions in South Africa, and thereby assist them in responding to the challenge of addressing the problem

Engineering chimeric thermostable GH7 cellobiohydrolases in Saccharomyces cerevisiae

We report here the effect of adding different types of carbohydrate-binding modules (CBM) to a single-module GH7 family cellobiohydrolase Cel7A from a thermophilic fungus Talaromyces emersonii (TeCel7A). Both bacterial and fungal CBMs derived from families 1, 2 and 3, all reported to bind to crystalline cellulose, were used. Chimeric cellobiohydrolases with an additional S-S bridge in the catalytic module of TeCel7A were also made. All the fusion proteins were secreted in active form and in good yields by Saccharomyces cerevisiae. The purified chimeric enzymes bound to cellulose clearly better than the catalytic module alone and demonstrated high thermal stability, having unfolding temperatures (T m) ranging from 72 °C to 77 °C. The highest activity enhancement on microcrystalline cellulose could be gained by a fusion with a bacterial CBM3 derived from Clostridium thermocellum cellulosomal- scaffolding protein CipA. The two CBM3 fusion enzymes tested were more active than the reference enzyme Trichoderma reesei Cel7A both at moderate (45 °C and 55 °C) and at high temperatures (60 °C and 65 °C), the hydrolysis yields being two- to three-fold better at 60 °C, and six- to seven-fold better at 65 °C. The best enzyme variant was also tested on a lignocellulosic feedstock hydrolysis, which demonstrated its potency in biomass hydrolysis even at 70 °C.</p