Probabilistic Model Counting with Short XORs

The idea of counting the number of satisfying truth assignments (models) of a formula by adding random parity constraints can be traced back to the seminal work of Valiant and Vazirani, showing that NP is as easy as detecting unique solutions. While theoretically sound, the random parity constraints in that construction have the following drawback: each constraint, on average, involves half of all variables. As a result, the branching factor associated with searching for models that also satisfy the parity constraints quickly gets out of hand. In this work we prove that one can work with much shorter parity constraints and still get rigorous mathematical guarantees, especially when the number of models is large so that many constraints need to be added. Our work is based on the realization that the essential feature for random systems of parity constraints to be useful in probabilistic model counting is that the geometry of their set of solutions resembles an error-correcting code.Comment: To appear in SAT 1

Perforated Meckel diverticulum

Perforation of a Meckel diverticulum (MD) is a rare complication that can often mimic appendicitis. This case report identifies a child who presented to our Emergency Department (ED) with right lower quadrant abdominal pain, free fluid and air in the abdomen and pelvis, and inflammatory changes visualized on Ultrasonography (US) and computer tomography (CT) scan. In our patient, ruptured appendicitis was suspected, and the diagnosis of ruptured MD was ultimately made by laparoscopy. This case demonstrates that a healthy degree of suspicion for complicated MD should be present when dealing with a questionable diagnosis of appendicitis, particularly in the pediatric population

A Bayesian approach to modelling heterogeneous calcium responses in cell populations

Calcium responses have been observed as spikes of the whole-cell calcium concentration in numerous cell types and are essential for translating extracellular stimuli into cellular responses. While there are several suggestions for how this encoding is achieved, we still lack a comprehensive theory. To achieve this goal it is necessary to reliably predict the temporal evolution of calcium spike sequences for a given stimulus. Here, we propose a modelling framework that allows us to quantitatively describe the timing of calcium spikes. Using a Bayesian approach, we show that Gaussian processes model calcium spike rates with high fidelity and perform better than standard tools such as peri-stimulus time histograms and kernel smoothing. We employ our modelling concept to analyse calcium spike sequences from dynamically-stimulated HEK293T cells. Under these conditions, different cells often experience diverse stimuli time courses, which is a situation likely to occur in vivo. This single cell variability and the concomitant small number of calcium spikes per cell pose a significant modelling challenge, but we demonstrate that Gaussian processes can successfully describe calcium spike rates in these circumstances. Our results therefore pave the way towards a statistical description of heterogeneous calcium oscillations in a dynamic environmen

Disentangling astroglial physiology with a realistic cell model in silico

Electrically non-excitable astroglia take up neurotransmitters, buffer extracellular K+ and generate Ca2+ signals that release molecular regulators of neural circuitry. The underlying machinery remains enigmatic, mainly because the sponge-like astrocyte morphology has been difficult to access experimentally or explore theoretically. Here, we systematically incorporate multi-scale, tri-dimensional astroglial architecture into a realistic multi-compartmental cell model, which we constrain by empirical tests and integrate into the NEURON computational biophysical environment. This approach is implemented as a flexible astrocyte-model builder ASTRO. As a proof-of-concept, we explore an in silico astrocyte to evaluate basic cell physiology features inaccessible experimentally. Our simulations suggest that currents generated by glutamate transporters or K+ channels have negligible distant effects on membrane voltage and that individual astrocytes can successfully handle extracellular K+ hotspots. We show how intracellular Ca2+ buffers affect Ca2+ waves and why the classical Ca2+ sparks-and-puffs mechanism is theoretically compatible with common readouts of astroglial Ca2+ imaging

Study protocol: The development of a pilot study employing a randomised controlled design to investigate the feasibility and effects of a peer support program following discharge from a specialist first-episode psychosis treatment centre

<p>Abstract</p> <p>Background</p> <p>Young people with first-episode psychosis (FEP) are at risk of a range of negative outcomes. Specialist FEP services have been developed to provide comprehensive, multi-disciplinary treatment. However, these services are often available for a restricted period and the services that young people may be transferred to are less comprehensive. This represents a risk of drop out from treatment services in a group already considered to be at risk of disengagement. Peer support groups have been shown to improve social relationships among people with psychosis however individual peer support programs have not been tested on young people with first-episode psychosis; nor have they been tested at the point of discharge from services.</p> <p>Methods/design</p> <p>The study is an 18-month randomised controlled trial being conducted at Orygen Youth Health Research Centre in Melbourne, Australia. The aim of the study is to test the feasibility and effects of a 6-month peer support intervention delivered to young people with FEP over the period of discharge. Participants are young people aged 15-24 who are being discharged from a specialist first-episode psychosis treatment centre. There is a 6-month recruitment period. The intervention comprises two hours of contact per fortnight during which peer support workers can assist participants to engage with their new services, or other social and community activities. Participants will be assessed at baseline and post intervention (6 months).</p> <p>Discussion</p> <p>This paper describes the development of a randomised-controlled trial which aims to pilot a peer support program among young people who are being discharged from a specialist FEP treatment centre. If effective, the intervention could lead to benefits not only for participants over the discharge period, but for peer support workers as well.</p> <p>Trial registration</p> <p>The study was registered with the Australian New Zealand Clinical Trials Registry; number: ACTRN12610000241033.</p

A Dopaminergic Gene Cluster in the Prefrontal Cortex Predicts Performance Indicative of General Intelligence in Genetically Heterogeneous Mice

Background: Genetically heterogeneous mice express a trait that is qualitatively and psychometrically analogous to general intelligence in humans, and as in humans, this trait co-varies with the processing efficacy of working memory (including its dependence on selective attention). Dopamine signaling in the prefrontal cortex (PFC) has been established to play a critical role in animals ’ performance in both working memory and selective attention tasks. Owing to this role of the PFC in the regulation of working memory, here we compared PFC gene expression profiles of 60 genetically diverse CD-1 mice that exhibited a wide range of general learning abilities (i.e., aggregate performance across five diverse learning tasks). Methodology/Principal Findings: Animals ’ general cognitive abilities were first determined based on their aggregate performance across a battery of five diverse learning tasks. With a procedure designed to minimize false positive identifications, analysis of gene expression microarrays (comprised of &lt;25,000 genes) identified a small number (,20) of genes that were differentially expressed across animals that exhibited fast and slow aggregate learning abilities. Of these genes, one functional cluster was identified, and this cluster (Darpp-32, Drd1a, and Rgs9) is an established modulator of dopamine signaling. Subsequent quantitative PCR found that expression of these dopaminegic genes plus one vascular gene (Nudt6) were significantly correlated with individual animal’s general cognitive performance. Conclusions/Significance: These results indicate that D1-mediated dopamine signaling in the PFC, possibly through it

A Thalamocortical Neural Mass Model of the EEG during NREM Sleep and Its Response to Auditory Stimulation

Few models exist that accurately reproduce the complex rhythms of the thalamocortical system that are apparent in measured scalp EEG and at the same time, are suitable for large-scale simulations of brain activity. Here, we present a neural mass model of the thalamocortical system during natural non-REM sleep, which is able to generate fast sleep spindles (12–15 Hz), slow oscillations (<1 Hz) and K-complexes, as well as their distinct temporal relations, and response to auditory stimuli. We show that with the inclusion of detailed calcium currents, the thalamic neural mass model is able to generate different firing modes, and validate the model with EEG-data from a recent sleep study in humans, where closed-loop auditory stimulation was applied. The model output relates directly to the EEG, which makes it a useful basis to develop new stimulation protocols

Ultrasound-guided diagnostic breast biopsy methodology: retrospective comparison of the 8-gauge vacuum-assisted biopsy approach versus the spring-loaded 14-gauge core biopsy approach

<p>Abstract</p> <p>Background</p> <p>Ultrasound-guided diagnostic breast biopsy technology represents the current standard of care for the evaluation of indeterminate and suspicious lesions seen on diagnostic breast ultrasound. Yet, there remains much debate as to which particular method of ultrasound-guided diagnostic breast biopsy provides the most accurate and optimal diagnostic information. The aim of the current study was to compare and contrast the 8-gauge vacuum-assisted biopsy approach and the spring-loaded 14-gauge core biopsy approach.</p> <p>Methods</p> <p>A retrospective analysis was done of all ultrasound-guided diagnostic breast biopsy procedures performed by either the 8-gauge vacuum-assisted biopsy approach or the spring-loaded 14-gauge core biopsy approach by a single surgeon from July 2001 through June 2009.</p> <p>Results</p> <p>Among 1443 ultrasound-guided diagnostic breast biopsy procedures performed, 724 (50.2%) were by the 8-gauge vacuum-assisted biopsy technique and 719 (49.8%) were by the spring-loaded 14-gauge core biopsy technique. The total number of false negative cases (i.e., benign findings instead of invasive breast carcinoma) was significantly greater (P = 0.008) in the spring-loaded 14-gauge core biopsy group (8/681, 1.2%) as compared to in the 8-gauge vacuum-assisted biopsy group (0/652, 0%), with an overall false negative rate of 2.1% (8/386) for the spring-loaded 14-gauge core biopsy group as compared to 0% (0/148) for the 8-gauge vacuum-assisted biopsy group. Significantly more (P < 0.001) patients in the spring-loaded 14-gauge core biopsy group (81/719, 11.3%) than in the 8-gauge vacuum-assisted biopsy group (18/724, 2.5%) were recommended for further diagnostic surgical removal of additional tissue from the same anatomical site of the affected breast in an immediate fashion for indeterminate/inconclusive findings seen on the original ultrasound-guided diagnostic breast biopsy procedure. Significantly more (P < 0.001) patients in the spring-loaded 14-gauge core biopsy group (54/719, 7.5%) than in the 8-gauge vacuum-assisted biopsy group (9/724, 1.2%) personally requested further diagnostic surgical removal of additional tissue from the same anatomical site of the affected breast in an immediate fashion for a benign finding seen on the original ultrasound-guided diagnostic breast biopsy procedure.</p> <p>Conclusions</p> <p>In appropriately selected cases, the 8-gauge vacuum-assisted biopsy approach appears to be advantageous to the spring-loaded 14-gauge core biopsy approach for providing the most accurate and optimal diagnostic information.</p