Generalising unit-refutation completeness and SLUR via nested input resolution

We introduce two hierarchies of clause-sets, SLUR_k and UC_k, based on the classes SLUR (Single Lookahead Unit Refutation), introduced in 1995, and UC (Unit refutation Complete), introduced in 1994. The class SLUR, introduced in [Annexstein et al, 1995], is the class of clause-sets for which unit-clause-propagation (denoted by r_1) detects unsatisfiability, or where otherwise iterative assignment, avoiding obviously false assignments by look-ahead, always yields a satisfying assignment. It is natural to consider how to form a hierarchy based on SLUR. Such investigations were started in [Cepek et al, 2012] and [Balyo et al, 2012]. We present what we consider the "limit hierarchy" SLUR_k, based on generalising r_1 by r_k, that is, using generalised unit-clause-propagation introduced in [Kullmann, 1999, 2004]. The class UC, studied in [Del Val, 1994], is the class of Unit refutation Complete clause-sets, that is, those clause-sets for which unsatisfiability is decidable by r_1 under any falsifying assignment. For unsatisfiable clause-sets F, the minimum k such that r_k determines unsatisfiability of F is exactly the "hardness" of F, as introduced in [Ku 99, 04]. For satisfiable F we use now an extension mentioned in [Ansotegui et al, 2008]: The hardness is the minimum k such that after application of any falsifying partial assignments, r_k determines unsatisfiability. The class UC_k is given by the clause-sets which have hardness <= k. We observe that UC_1 is exactly UC. UC_k has a proof-theoretic character, due to the relations between hardness and tree-resolution, while SLUR_k has an algorithmic character. The correspondence between r_k and k-times nested input resolution (or tree resolution using clause-space k+1) means that r_k has a dual nature: both algorithmic and proof theoretic. This corresponds to a basic result of this paper, namely SLUR_k = UC_k.Comment: 41 pages; second version improved formulations and added examples, and more details regarding future directions, third version further examples, improved and extended explanations, and more on SLUR, fourth version various additional remarks and editorial improvements, fifth version more explanations and references, typos corrected, improved wordin

Dynamic clamp with StdpC software

Dynamic clamp is a powerful method that allows the introduction of artificial electrical components into target cells to simulate ionic conductances and synaptic inputs. This method is based on a fast cycle of measuring the membrane potential of a cell, calculating the current of a desired simulated component using an appropriate model and injecting this current into the cell. Here we present a dynamic clamp protocol using free, fully integrated, open-source software (StdpC, for spike timing-dependent plasticity clamp). Use of this protocol does not require specialist hardware, costly commercial software, experience in real-time operating systems or a strong programming background. The software enables the configuration and operation of a wide range of complex and fully automated dynamic clamp experiments through an intuitive and powerful interface with a minimal initial lead time of a few hours. After initial configuration, experimental results can be generated within minutes of establishing cell recording

Determining the neurotransmitter concentration profile at active synapses

Establishing the temporal and concentration profiles of neurotransmitters during synaptic release is an essential step towards understanding the basic properties of inter-neuronal communication in the central nervous system. A variety of ingenious attempts has been made to gain insights into this process, but the general inaccessibility of central synapses, intrinsic limitations of the techniques used, and natural variety of different synaptic environments have hindered a comprehensive description of this fundamental phenomenon. Here, we describe a number of experimental and theoretical findings that has been instrumental for advancing our knowledge of various features of neurotransmitter release, as well as newly developed tools that could overcome some limits of traditional pharmacological approaches and bring new impetus to the description of the complex mechanisms of synaptic transmission

Dose-Dependent Effects of Endotoxin on Neurobehavioral Functions in Humans

Clinical and experimental evidence document that inflammation and increased peripheral cytokine levels are associated with depression-like symptoms and neuropsychological disturbances in humans. However, it remains unclear whether and to what extent cognitive functions like memory and attention are affected by and related to the dose of the inflammatory stimulus. Thus, in a cross-over, double-blind, experimental approach, healthy male volunteers were administered with either placebo or bacterial lipopolysaccharide (LPS) at doses of 0.4 (n = 18) or 0.8 ng/kg of body weight (n = 16). Pro- and anti-inflammatory cytokines, norephinephrine and cortisol concentrations were analyzed before and 1, 1.75, 3, 4, 6, and 24 h after injection. In addition, changes in mood and anxiety levels were determined together with working memory (n-back task) and long term memory performance (recall of emotional and neutral pictures of the International Affective Picture System). Endotoxin administration caused a profound transient physiological response with dose-related elevations in body temperature and heart rate, increases in plasma interleukin (IL)-6, IL-10, tumor necrosis factor (TNF)-α and IL-1 receptor antagonist (IL-1ra), salivary and plasma cortisol, and plasma norepinephrine. These changes were accompanied by dose-related decreased mood and increased anxiety levels. LPS administration did not affect accuracy in working memory performance but improved reaction time in the high-dose LPS condition compared to the control conditon. In contrast, long-term memory performance was impaired selectively for emotional stimuli after administration of the lower but not of the higher dose of LPS. These data suggest the existence of at least two counter-acting mechanisms, one promoting and one inhibiting cognitive performance during acute systemic inflammation

Phase II study of weekly oxaliplatin plus infusional fluorouracil and folinic acid (FUFOX regimen) as first-line treatment in metastatic gastric cancer

Oxaliplatin plus fluorouracil/folinic acid (5-FU/FA) every 2 weeks has shown promising activity in advanced gastric cancer. This study assessed the efficacy and safety of weekly oxaliplatin plus 5-FU/FA (FUFOX regimen) in the metastatic setting. Patients with previously untreated metastatic gastric cancer received oxaliplatin (50 mg m−2) plus FA (500 mg m−2, 2-h infusion) followed by 5-FU (2000 mg m−2, 24-h infusion) given on days 1, 8, 15 and 22 of a 5-week cycle. The primary end point of this multicentre phase II study was the response rate according to RECIST criteria. A total of 48 patients were enrolled. Median age was 62 years and all patients had metastatic disease, with a median number of three involved organs. The most common treatment-related grade 3/4 adverse events were diarrhoea (17%), deep vein thrombosis (15%), neutropenia (8%), nausea (6%), febrile neutropenia (4%), fatigue (4%), anaemia (4%), tumour bleeding (4%), emesis (2%), cardiac ischaemia (2%) and pneumonia (2%). Grade 1/2 sensory neuropathy occurred in 67% of patients but there were no episodes of grade 3 neuropathy. Intent-to-treat analysis showed a response rate of 54% (95% CI, 39–69%), including two complete responses. At a median follow-up of 18.1 months (range 11.2–26.2 months), median survival is 11.4 months (95% CI, 8.0–14.9 months) and the median time to progression is 6.5 months (95% CI, 3.9–9.2 months). The weekly FUFOX regimen is well tolerated and shows notable activity as first-line treatment in metastatic gastric cancer

Effects of Aversive Stimuli on Prospective Memory. An Event-Related fMRI Study

Prospective memory (PM) describes the ability to execute a previously planned action at the appropriate point in time. Although behavioral studies clearly showed that prospective memory performance is affected by the emotional significance attributed to the intended action, no study so far investigated the brain mechanisms subserving the modulatory effect of emotional salience on PM performance. The general aim of the present study was to explore brain regions involved in prospective memory processes when PM cues are associated with emotional stimuli. In particular, based on the hypothesised critical role of the prefrontal cortex in prospective memory in the presence of emotionally salient stimuli, we expected a stronger involvement of aPFC when the retrieval and execution of the intended action is cued by an aversive stimulus. To this aim BOLD responses of PM trials cued by aversive facial expressions were compared to PM trials cued by neutral facial expressions. Whole brain analysis showed that PM task cued by aversive stimuli is differentially associated with activity in the right lateral prefrontal area (BA 10) and in the left caudate nucleus. Moreover a temporal shift between the response of the caudate nucleus that preceded that of aPFC was observed. These findings suggest that the caudate nucleus might provide an early analysis of the affective properties of the stimuli, whereas the anterior lateral prefrontal cortex (BA10) would be involved in a slower and more deliberative analysis to guide goal-directed behaviour

A biophysical model of dynamic balancing of excitation and inhibition in fast oscillatory large-scale networks

Over long timescales, neuronal dynamics can be robust to quite large perturbations, such as changes in white matter connectivity and grey matter structure through processes including learning, aging, development and certain disease processes. One possible explanation is that robust dynamics are facilitated by homeostatic mechanisms that can dynamically rebalance brain networks. In this study, we simulate a cortical brain network using the Wilson-Cowan neural mass model with conduction delays and noise, and use inhibitory synaptic plasticity (ISP) to dynamically achieve a spatially local balance between excitation and inhibition. Using MEG data from 55 subjects we find that ISP enables us to simultaneously achieve high correlation with multiple measures of functional connectivity, including amplitude envelope correlation and phase locking. Further, we find that ISP successfully achieves local E/I balance, and can consistently predict the functional connectivity computed from real MEG data, for a much wider range of model parameters than is possible with a model without ISP

The Effects of NR2 Subunit-Dependent NMDA Receptor Kinetics on Synaptic Transmission and CaMKII Activation

N-Methyl-d-aspartic acid (NMDA) receptors are widely expressed in the brain and are critical for many forms of synaptic plasticity. Subtypes of the NMDA receptor NR2 subunit are differentially expressed during development; in the forebrain, the NR2B receptor is dominant early in development, and later both NR2A and NR2B are expressed. In heterologous expression systems, NR2A-containing receptors open more reliably and show much faster opening and closing kinetics than do NR2B-containing receptors. However, conflicting data, showing similar open probabilities, exist for receptors expressed in neurons. Similarly, studies of synaptic plasticity have produced divergent results, with some showing that only NR2A-containing receptors can drive long-term potentiation and others showing that either subtype is capable of driving potentiation. In order to address these conflicting results as well as open questions about the number and location of functional receptors in the synapse, we constructed a Monte Carlo model of glutamate release, diffusion, and binding to NMDA receptors and of receptor opening and closing as well as a model of the activation of calcium-calmodulin kinase II, an enzyme critical for induction of synaptic plasticity, by NMDA receptor-mediated calcium influx. Our results suggest that the conflicting data concerning receptor open probabilities can be resolved, with NR2A- and NR2B-containing receptors having very different opening probabilities. They also support the conclusion that receptors containing either subtype can drive long-term potentiation. We also are able to estimate the number of functional receptors at a synapse from experimental data. Finally, in our models, the opening of NR2B-containing receptors is highly dependent on the location of the receptor relative to the site of glutamate release whereas the opening of NR2A-containing receptors is not. These results help to clarify the previous findings and suggest future experiments to address open questions concerning NMDA receptor function