Beta reduction constraints

The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta reduction steps between partially known lambda terms. We show that beta reduction constraints can be expressed in an extension of CLLS by group parallelism. We then extend a known semi-decision procedure for CLLS to also deal with group parallelism and thus with beta-reduction constraints

Imaging Molecular Structure through Femtosecond Photoelectron Diffraction on Aligned and Oriented Gas-Phase Molecules

This paper gives an account of our progress towards performing femtosecond time-resolved photoelectron diffraction on gas-phase molecules in a pump-probe setup combining optical lasers and an X-ray Free-Electron Laser. We present results of two experiments aimed at measuring photoelectron angular distributions of laser-aligned 1-ethynyl-4-fluorobenzene (C8H5F) and dissociating, laseraligned 1,4-dibromobenzene (C6H4Br2) molecules and discuss them in the larger context of photoelectron diffraction on gas-phase molecules. We also show how the strong nanosecond laser pulse used for adiabatically laser-aligning the molecules influences the measured electron and ion spectra and angular distributions, and discuss how this may affect the outcome of future time-resolved photoelectron diffraction experiments.Comment: 24 pages, 10 figures, Faraday Discussions 17

Point of care coagulometry in prehospital emergency care: an observational study

Background: Haemostatic impairment can have a crucial impact on the outcome of emergency patients, especially in cases of concomitant antithrombotic drug treatment. In this prospective observational study we used a point of care (POC) coagulometer in a prehospital physician-based emergency medical system in order to test its validity and potential value in the treatment of emergency patients. Methods: During a study period of 12 months, patients could be included if venous access was mandatory for further treatment. The POC device CoaguChek® was used to assess international normalized ratio (INR) after ambulance arrival at the scene. Results were compared with in-hospital central laboratory assessment of INR. The gain of time was analysed as well as the potential value of POC testing through a questionnaire completed by the responsible prehospital emergency physician. Results: A total of 103 patients were included in this study. POC INR results were highly correlated with results of conventional assessment of INR (Bland-Altman-bias: 0.014). Using a cutoff value of INR >1.3, the device’s sensitivity to detect coagulopathy was 100 % with a specificity of 98.7 %. The median gain of time was 69 min. Treating emergency physicians considered the value of prehospital POC INR testing ‘high’ in 9 % and ‘medium’ in 21 % of all patients. In patients with tracer diagnosis ‘neurology’, the value of prehospital INR assessment was considered ‘high’ or ‘medium’ (63 %) significantly more often than in patients with non-neurological tracer diagnoses (24 %). Conclusions: Assessment of INR through a POC coagulometer is feasible in prehospital emergency care and provides valuable information on haemostatic parameters in patients. Questionnaire results suggest that POC INR testing may present a valuable technique in selected patients. Whether this information translates into an improved management of respective patients has to be evaluated in further studies

Between Metabolite Relationships: an essential aspect of metabolic change

Not only the levels of individual metabolites, but also the relations between the levels of different metabolites may indicate (experimentally induced) changes in a biological system. Component analysis methods in current ‘standard’ use for metabolomics, such as Principal Component Analysis (PCA), do not focus on changes in these relations. We therefore propose the concept of ‘Between Metabolite Relationships’ (BMRs): common changes in the covariance (or correlation) between all metabolites in an organism. Such structural changes may indicate metabolic change brought about by experimental manipulation but which are lost with standard data analysis methods. These BMRs can be analysed by the INdividual Differences SCALing (INDSCAL) method. First the BMR quantification is described and subsequently the INDSCAL method. Finally, two studies illustrate the power and the applicability of BMRs in metabolomics. The first study is about the induced plant response of cabbage to herbivory, of which BMRs are a considerable part. In the second study—a human nutritional intervention study of green tea extract—standard data analysis tools did not reveal any metabolic change, although the BMRs were considerably affected. The presented results show that BMRs can be easily implemented in a wide variety of metabolomic studies. They provide a new source of information to describe biological systems in a way that fits flawlessly into the next generation of systems biology questions, dealing with personalized responses

Genome-wide association analysis of diverticular disease points towards neuromuscular, connective tissue and epithelial pathomechanisms.

This is the author accepted manuscript.OBJECTIVE: Diverticular disease is a common complex disorder characterised by mucosal outpouchings of the colonic wall that manifests through complications such as diverticulitis, perforation and bleeding. We report the to date largest genome-wide association study (GWAS) to identify genetic risk factors for diverticular disease. DESIGN: Discovery GWAS analysis was performed on UK Biobank imputed genotypes using 31 964 cases and 419 135 controls of European descent. Associations were replicated in a European sample of 3893 cases and 2829 diverticula-free controls and evaluated for risk contribution to diverticulitis and uncomplicated diverticulosis. Transcripts at top 20 replicating loci were analysed by real-time quatitative PCR in preparations of the mucosal, submucosal and muscular layer of colon. The localisation of expressed protein at selected loci was investigated by immunohistochemistry. RESULTS: We discovered 48 risk loci, of which 12 are novel, with genome-wide significance and consistent OR in the replication sample. Nominal replication (p<0.05) was observed for 27 loci, and additional 8 in meta-analysis with a population-based cohort. The most significant novel risk variant rs9960286 is located near CTAGE1 with a p value of 2.3×10-10 and 0.002 (ORallelic=1.14 (95% CI 1.05 to 1.24)) in the replication analysis. Four loci showed stronger effects for diverticulitis, PHGR1 (OR 1.32, 95% CI 1.12 to 1.56), FAM155A-2 (OR 1.21, 95% CI 1.04 to 1.42), CALCB (OR 1.17, 95% CI 1.03 to 1.33) and S100A10 (OR 1.17, 95% CI 1.03 to 1.33). CONCLUSION: In silico analyses point to diverticulosis primarily as a disorder of intestinal neuromuscular function and of impaired connective fibre support, while an additional diverticulitis risk might be conferred by epithelial dysfunction.German Research CouncilAustrian Science FundFaculty of Medicine, Saarland UniversityResearch Council of LithuaniaSwedish Research CouncilMedical Research Counci

The Relationship between Amygdala Activation and Passive Exposure Time to an Aversive Cue during a Continuous Performance Task

The allocation of attention modulates negative emotional processing in the amygdala. However, the role of passive exposure time to emotional signals in the modulation of amygdala activity during active task performance has not been examined. In two functional Magnetic Resonance Imaging (fMRI) experiments conducted in two different groups of healthy human subjects, we examined activation in the amygdala due to cued anticipation of painful stimuli while subjects performed a simple continuous performance task (CPT) with either a fixed or a parametrically varied trial duration. In the first experiment (N = 16), engagement in the CPT during a task with fixed trial duration produced the expected attenuation of amygdala activation, but close analysis suggested that the attenuation occurred during the period of active engagement in CPT, and that amygdala activity increased proportionately during the remainder of each trial, when subjects were passively exposed to the pain cue. In the second experiment (N = 12), the duration of each trial was parametrically varied, and we found that amygdala activation was linearly related to the time of passive exposure to the anticipatory cue. We suggest that amygdala activation during negative anticipatory processing depends directly on the passive exposure time to the negative cue

A systematic review of associations between functional MRI activity and polygenic risk for schizophrenia and bipolar disorder

Genetic factors account for up to 80% of the liability for schizophrenia (SCZ) and bipolar disorder (BD). Genome-wide association studies have successfully identified several genes associated with increased risk for both disorders. This has allowed researchers to model the aggregate effect of genes associated with disease status and create a polygenic risk score (PGRS) for each individual. The interest in imaging genetics using PGRS has grown in recent years, with several studies now published. We have conducted a systematic review to examine the effects of PGRS of SCZ, BD and cross psychiatric disorders on brain function and connectivity using fMRI data. Results indicate that the effect of genetic load for SCZ and BD on brain function affects task-related recruitment, with frontal areas having a more prominent role, independent of task. Additionally, the results suggest that the polygenic architecture of psychotic disorders is not regionally confined but impacts on the task-dependent recruitment of multiple brain regions. Future imaging genetics studies with large samples, especially population studies, would be uniquely informative in mapping the spatial distribution of the genetic risk to psychiatric disorders on brain processes during various cognitive tasks and may lead to the discovery of biological pathways that could be crucial in mediating the link between genetic factors and alterations in brain networks

Neuromarketing and consumer neuroscience:contributions to neurology

Background: 'Neuromarketing' is a term that has often been used in the media in recent years. These public discussions have generally centered around potential ethical aspects and the public fear of negative consequences for society in general, and consumers in particular. However, positive contributions to the scientific discourse from developing a biological model that tries to explain context-situated human behavior such as consumption have often been neglected. We argue for a differentiated terminology, naming commercial applications of neuroscientific methods 'neuromarketing' and scientific ones 'consumer neuroscience'. While marketing scholars have eagerly integrated neuroscientific evidence into their theoretical framework, neurology has only recently started to draw its attention to the results of consumer neuroscience.Discussion: In this paper we address key research topics of consumer neuroscience that we think are of interest for neurologists; namely the reward system, trust and ethical issues. We argue that there are overlapping research topics in neurology and consumer neuroscience where both sides can profit from collaboration. Further, neurologists joining the public discussion of ethical issues surrounding neuromarketing and consumer neuroscience could contribute standards and experience gained in clinical research.Summary: We identify the following areas where consumer neuroscience could contribute to the field of neurology:. First, studies using game paradigms could help to gain further insights into the underlying pathophysiology of pathological gambling in Parkinson's disease, frontotemporal dementia, epilepsy, and Huntington's disease.Second, we identify compulsive buying as a common interest in neurology and consumer neuroscience. Paradigms commonly used in consumer neuroscience could be applied to patients suffering from Parkinson's disease and frontotemporal dementia to advance knowledge of this important behavioral symptom.Third, trust research in the medical context lacks empirical behavioral and neuroscientific evidence. Neurologists entering this field of research could profit from the extensive knowledge of the biological foundation of trust that scientists in economically-orientated neurosciences have gained.Fourth, neurologists could contribute significantly to the ethical debate about invasive methods in neuromarketing and consumer neuroscience. Further, neurologists should investigate biological and behavioral reactions of neurological patients to marketing and advertising measures, as they could show special consumer vulnerability and be subject to target marketing

The genetic architecture of the human cerebral cortex

The cerebral cortex underlies our complex cognitive capabilities, yet little is known about the specific genetic loci that influence human cortical structure. To identify genetic variants that affect cortical structure, we conducted a genome-wide association meta-analysis of brain magnetic resonance imaging data from 51,665 individuals. We analyzed the surface area and average thickness of the whole cortex and 34 regions with known functional specializations. We identified 199 significant loci and found significant enrichment for loci influencing total surface area within regulatory elements that are active during prenatal cortical development, supporting the radial unit hypothesis. Loci that affect regional surface area cluster near genes in Wnt signaling pathways, which influence progenitor expansion and areal identity. Variation in cortical structure is genetically correlated with cognitive function, Parkinson’s disease, insomnia, depression, neuroticism, and attention deficit hyperactivity disorder