Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Integrating climate adaptation and biodiversity conservation in the global ocean

The impacts of climate change and the socioecological challenges they present are ubiquitous and increasingly severe. Practical efforts to operationalize climate-responsive design and management in the global network of marine protected areas (MPAs) are required to ensure long-term effectiveness for safeguarding marine biodiversity and ecosystem services. Here, we review progress in integrating climate change adaptation into MPA design and management and provide eight recommendations to expedite this process. Climate-smart management objectives should become the default for all protected areas, and made into an explicit international policy target. Furthermore, incentives to use more dynamic management tools would increase the climate change responsiveness of the MPA network as a whole. Given ongoing negotiations on international conservation targets, now is the ideal time to proactively reform management of the global seascape for the dynamic climate-biodiversity reality

Involvement of NMDA receptor complex in the anxiolytic-like effects of chlordiazepoxide in mice

In the present study, we demonstrated that low, ineffective doses of N-methyl-d-aspartic acid (NMDA) receptor antagonists [competitive NMDA antagonist, CGP 37849, at 0.312 mg/kg intraperitoneally (i.p.), antagonist of the glycineB sites, L-701,324, at 2 mg/kg i.p., partial agonist of glycineB sites, d-cycloserine, at 2.5 mg/kg i.p.] administered jointly with an ineffective dose of the benzodiazepine, chlordiazepoxide (CDP, 2.5 mg/kg i.p.), significantly increased the percentage of time spent in the open arms of the elevated plus-maze (index of anxiolytic effect). Furthermore, CDP-induced anxiolytic-like activity (5 mg/kg i.p.) was antagonized by NMDA (75 mg/kg i.p.) and by an agonist of glycineB sites of the NMDA receptor complex, d-serine [100 nmol/mouse intracerebroventricularly (i.c.v.)]. The present study showed a positive interaction between γ-aminobutyric acid (GABA) and glutamate neurotransmission in the anxiolytic-like activity in the elevated plus-maze test in mice and this activity seems to particularly involve the NMDA receptors

Occupation of racial grief, loss as a resource : learning from ‘The Combahee River Collective Black Feminist Statement'

The methodology of ‘occupation’ through rereading The Combahee River Collective Black Feminist Statement (The Combahee River Collective, in: James, Sharpley-Whiting (eds) The Black Feminist Reader. Blackwell Publishers Ltd., Oxford, pp 261–270, 1977) demonstrates the necessity of temporal linkages to historical Black feminist texts and the wisdom of Black feminist situated knowers. This paper argues that racism produces grief and loss and as long as there is racism, we all remain in racial grief and loss. However, in stark contrast to the configuration of racial grief and loss as something to get over, perhaps grief and loss can be thought about differently, for example, in terms of racial grief and loss as a resource. This paper questions Western Eurocentric paternalistic responses to Black women’s ‘talk about their feelings of craziness… [under] patriarchal rule’ (The Combahee River Collective 1977: 262) and suggests alternative ways of thinking about the psychological impact of grief and loss in the context of racism. In this paper, a Black feminist occupation of racial grief and loss includes the act of residing within, and the act of working with the constituent elements of racial grief and loss. The proposal is that an occupation of racial grief and loss is a paradoxical catalyst for building a twenty-first century global intersectional Black feminist movement

Future directions in personality, occupational and medical selection: myths, misunderstandings, measurement, and suggestions

This paper has two objectives: (1) presenting recent advances in the personality field concerning the conceptualization of personality arising from the dynamic interactions of behaviour, biology, context, and states, and (2) discussing the implications of these developments for medical selection. We start by presenting evidence that traits are not longer regarded as deterministic and stable. Instead, they are found to change across generations, the life span, and in response to environmental contingencies. Next, drawing on recent research (behavioural reaction norms and the density distribution model) we posit how the expression of trait relevant behaviour changes depending on the situation, such that personality reflects both stability and plasticity across situations. Thus there is an urgent need to explore how traits change as function of medical education. Third, we demystify that some traits are better than others showing that so-called “good” traits have a dark-side. Fourth, we show how these developments impact on how personality might be assessed, thereby presenting recent evidence on the use of contextualized personality measures, Situational Judgment Tests, other reports, and implicit measures. Throughout the paper, we outline the key implications of these developments for medical selection practices

Dialysis-associated peritonitis in children

Peritonitis remains a frequent complication of peritoneal dialysis in children and is the most common reason for technique failure. The microbiology is characterized by a predominance of Gram-positive organisms, with fungi responsible for less than 5% of episodes. Data collected by the International Pediatric Peritonitis Registry have revealed a worldwide variation in the bacterial etiology of peritonitis, as well as in the rate of culture-negative peritonitis. Risk factors for infection include young age, the absence of prophylactic antibiotics at catheter placement, spiking of dialysis bags, and the presence of a catheter exit-site or tunnel infection. Clinical symptoms at presentation are somewhat organism specific and can be objectively assessed with a Disease Severity Score. Whereas recommendations for empiric antibiotic therapy in children have been published by the International Society of Peritoneal Dialysis, epidemiologic data and antibiotic susceptibility data suggest that it may be desirable to take the patient- and center-specific history of microorganisms and their sensitivity patterns into account when prescribing initial therapy. The vast majority of patients are treated successfully and continue peritoneal dialysis, with the poorest outcome noted in patients with peritonitis secondary to Gram-negative organisms or fungi and in those with a relapsing infection

Pan-cancer analysis of whole genomes

Cancer is driven by genetic change, and the advent of massively parallel sequencing has enabled systematic documentation of this variation at the whole-genome scale(1-3). Here we report the integrative analysis of 2,658 whole-cancer genomes and their matching normal tissues across 38 tumour types from the Pan-Cancer Analysis of Whole Genomes (PCAWG) Consortium of the International Cancer Genome Consortium (ICGC) and The Cancer Genome Atlas (TCGA). We describe the generation of the PCAWG resource, facilitated by international data sharing using compute clouds. On average, cancer genomes contained 4-5 driver mutations when combining coding and non-coding genomic elements; however, in around 5% of cases no drivers were identified, suggesting that cancer driver discovery is not yet complete. Chromothripsis, in which many clustered structural variants arise in a single catastrophic event, is frequently an early event in tumour evolution; in acral melanoma, for example, these events precede most somatic point mutations and affect several cancer-associated genes simultaneously. Cancers with abnormal telomere maintenance often originate from tissues with low replicative activity and show several mechanisms of preventing telomere attrition to critical levels. Common and rare germline variants affect patterns of somatic mutation, including point mutations, structural variants and somatic retrotransposition. A collection of papers from the PCAWG Consortium describes non-coding mutations that drive cancer beyond those in the TERT promoter(4); identifies new signatures of mutational processes that cause base substitutions, small insertions and deletions and structural variation(5,6); analyses timings and patterns of tumour evolution(7); describes the diverse transcriptional consequences of somatic mutation on splicing, expression levels, fusion genes and promoter activity(8,9); and evaluates a range of more-specialized features of cancer genomes(8,10-18).Peer reviewe