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

Generalized Flows around Neutron Stars

In this chapter, we present a brief and non-exhaustive review of the developments of theoretical models for accretion flows around neutron stars. A somewhat chronological summary of crucial observations and modelling of timing and spectral properties are given in sections 2 and 3. In section 4, we argue why and how the Two-Component Advective Flow (TCAF) solution can be applied to the cases of neutron stars when suitable modifications are made for the NSs. We showcase some of our findings from Monte Carlo and Smoothed Particle Hydrodynamic simulations which further strengthens the points raised in section 4. In summary, we remark on the possibility of future works using TCAF for both weakly magnetic and magnetic Neutron Stars.Comment: 15 pages, 7 figures. arXiv admin note: text overlap with arXiv:1901.0084

Multi-parallel qPCR provides increased sensitivity and diagnostic breadth for gastrointestinal parasites of humans: field-based inferences on the impact of mass deworming

BACKGROUND: Although chronic morbidity in humans from soil transmitted helminth (STH) infections can be reduced by anthelmintic treatment, inconsistent diagnostic tools make it difficult to reliably measure the impact of deworming programs and often miss light helminth infections. METHODS: Cryopreserved stool samples from 796 people (aged 2-81 years) in four villages in Bungoma County, western Kenya, were assessed using multi-parallel qPCR for 8 parasites and compared to point-of-contact assessments of the same stools by the 2-stool 2-slide Kato-Katz (KK) method. All subjects were treated with albendazole and all Ascaris lumbricoides expelled post-treatment were collected. Three months later, samples from 633 of these people were re-assessed by both qPCR and KK, re-treated with albendazole and the expelled worms collected. RESULTS: Baseline prevalence by qPCR (n = 796) was 17 % for A. lumbricoides, 18 % for Necator americanus, 41 % for Giardia lamblia and 15% for Entamoeba histolytica. The prevalence was <1% for Trichuris trichiura, Ancylostoma duodenale, Strongyloides stercoralis and Cryptosporidium parvum. The sensitivity of qPCR was 98% for A. lumbricoides and N. americanus, whereas KK sensitivity was 70% and 32%, respectively. Furthermore, qPCR detected infections with T. trichiura and S. stercoralis that were missed by KK, and infections with G. lamblia and E. histolytica that cannot be detected by KK. Infection intensities measured by qPCR and by KK were correlated for A. lumbricoides (r = 0.83, p < 0.0001) and N. americanus (r = 0.55, p < 0.0001). The number of A. lumbricoides worms expelled was correlated (p < 0.0001) with both the KK (r = 0.63) and qPCR intensity measurements (r = 0.60). CONCLUSIONS: KK may be an inadequate tool for stool-based surveillance in areas where hookworm or Strongyloides are common or where intensity of helminth infection is low after repeated rounds of chemotherapy. Because deworming programs need to distinguish between populations where parasitic infection is controlled and those where further treatment is required, multi-parallel qPCR (or similar high throughput molecular diagnostics) may provide new and important diagnostic information

Evaluation of the current knowledge limitations in breast cancer research: a gap analysis

BACKGROUND A gap analysis was conducted to determine which areas of breast cancer research, if targeted by researchers and funding bodies, could produce the greatest impact on patients. METHODS Fifty-six Breast Cancer Campaign grant holders and prominent UK breast cancer researchers participated in a gap analysis of current breast cancer research. Before, during and following the meeting, groups in seven key research areas participated in cycles of presentation, literature review and discussion. Summary papers were prepared by each group and collated into this position paper highlighting the research gaps, with recommendations for action. RESULTS Gaps were identified in all seven themes. General barriers to progress were lack of financial and practical resources, and poor collaboration between disciplines. Critical gaps in each theme included: (1) genetics (knowledge of genetic changes, their effects and interactions); (2) initiation of breast cancer (how developmental signalling pathways cause ductal elongation and branching at the cellular level and influence stem cell dynamics, and how their disruption initiates tumour formation); (3) progression of breast cancer (deciphering the intracellular and extracellular regulators of early progression, tumour growth, angiogenesis and metastasis); (4) therapies and targets (understanding who develops advanced disease); (5) disease markers (incorporating intelligent trial design into all studies to ensure new treatments are tested in patient groups stratified using biomarkers); (6) prevention (strategies to prevent oestrogen-receptor negative tumours and the long-term effects of chemoprevention for oestrogen-receptor positive tumours); (7) psychosocial aspects of cancer (the use of appropriate psychosocial interventions, and the personal impact of all stages of the disease among patients from a range of ethnic and demographic backgrounds). CONCLUSION Through recommendations to address these gaps with future research, the long-term benefits to patients will include: better estimation of risk in families with breast cancer and strategies to reduce risk; better prediction of drug response and patient prognosis; improved tailoring of treatments to patient subgroups and development of new therapeutic approaches; earlier initiation of treatment; more effective use of resources for screening populations; and an enhanced experience for people with or at risk of breast cancer and their families. The challenge to funding bodies and researchers in all disciplines is to focus on these gaps and to drive advances in knowledge into improvements in patient care

Accreting Millisecond X-Ray Pulsars

Accreting Millisecond X-Ray Pulsars (AMXPs) are astrophysical laboratories without parallel in the study of extreme physics. In this chapter we review the past fifteen years of discoveries in the field. We summarize the observations of the fifteen known AMXPs, with a particular emphasis on the multi-wavelength observations that have been carried out since the discovery of the first AMXP in 1998. We review accretion torque theory, the pulse formation process, and how AMXP observations have changed our view on the interaction of plasma and magnetic fields in strong gravity. We also explain how the AMXPs have deepened our understanding of the thermonuclear burst process, in particular the phenomenon of burst oscillations. We conclude with a discussion of the open problems that remain to be addressed in the future.Comment: Review to appear in "Timing neutron stars: pulsations, oscillations and explosions", T. Belloni, M. Mendez, C.M. Zhang Eds., ASSL, Springer; [revision with literature updated, several typos removed, 1 new AMXP added

The Evolution of Compact Binary Star Systems

We review the formation and evolution of compact binary stars consisting of white dwarfs (WDs), neutron stars (NSs), and black holes (BHs). Binary NSs and BHs are thought to be the primary astrophysical sources of gravitational waves (GWs) within the frequency band of ground-based detectors, while compact binaries of WDs are important sources of GWs at lower frequencies to be covered by space interferometers (LISA). Major uncertainties in the current understanding of properties of NSs and BHs most relevant to the GW studies are discussed, including the treatment of the natal kicks which compact stellar remnants acquire during the core collapse of massive stars and the common envelope phase of binary evolution. We discuss the coalescence rates of binary NSs and BHs and prospects for their detections, the formation and evolution of binary WDs and their observational manifestations. Special attention is given to AM CVn-stars -- compact binaries in which the Roche lobe is filled by another WD or a low-mass partially degenerate helium-star, as these stars are thought to be the best LISA verification binary GW sources.Comment: 105 pages, 18 figure

Features of home and neighbourhood and the liveability of older South Africans

While older people live in developing countries, little is known about the relative importance of features of their communities in influencing their liveability. We examinecomponents of home and neighbourhood among older South Africans. Linear regression analyses revealed that features of home (basic amenities, household composition, financial status and safety) and neighbourhood (ability to shop for groceries, participate in organizations and feel safe from crime) are significantly associated with life satisfaction. Approaches to liveability that are person-centred and also set within contexts beyond home and neighbourhood are needed to addressboundaries between home and neighbourhood; incorporate personal resources into liveability models and import broader environmental contexts such as health and social policy

Phase II Trial of Concurrent Sunitinib and Image-Guided Radiotherapy for Oligometastases

BACKGROUND: Preclinical data suggest that sunitinib enhances the efficacy of radiotherapy. We tested the combination of sunitinib and hypofractionated image-guided radiotherapy (IGRT) in a cohort of patients with historically incurable distant metastases. METHODS: Twenty five patients with oligometastases, defined as 1-5 sites of active disease on whole body imaging, were enrolled in a phase II trial from 2/08 to 9/10. The most common tumor types treated were head and neck, liver, lung, kidney and prostate cancers. Patients were treated with the recommended phase II dose of 37.5 mg daily sunitinib (days 1-28) and IGRT 50 Gy (days 8-12 and 15-19). Maintenance sunitinib was used in 33% of patients. Median follow up was 17.5 months (range, 0.7 to 37.4 months). RESULTS: The 18-month local control, distant control, progression-free survival (PFS) and overall survival (OS) were 75%, 52%, 56% and 71%, respectively. At last follow-up, 11 (44%) patients were alive without evidence of disease, 7 (28%) were alive with distant metastases, 3 (12%) were dead from distant metastases, 3 (12%) were dead from comorbid illness, and 1 (4%) was dead from treatment-related toxicities. The incidence of acute grade ≥ 3 toxicities was 28%, most commonly myelosuppression, bleeding and abnormal liver function tests. CONCLUSIONS: Concurrent sunitinib and IGRT achieves major clinical responses in a subset of patients with oligometastases. TRIAL REGISTRATION: ClinicalTrials.gov NCT00463060