Introducing a Calculus of Effects and Handlers for Natural Language Semantics

In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the same pattern: they are instances of a monad. In this paper, we present an extension of the simply-typed lambda calculus that exploits this uniformity using the recently discovered technique of effect handlers. We prove that our calculus exhibits some of the key formal properties of the lambda calculus and we use it to construct a modular semantics for a small fragment that involves multiple distinct semantic phenomena

Reflections on a Geometry of Processes

Contains fulltext : 32919.pdf (publisher's version ) (Open Access)Algebraic Process Calcul

Effect of the Output of the System in Signal Detection

We analyze the consequences that the choice of the output of the system has in the efficiency of signal detection. It is shown that the signal and the signal-to-noise ratio (SNR), used to characterize the phenomenon of stochastic resonance, strongly depend on the form of the output. In particular, the SNR may be enhanced for an adequate output.Comment: 4 pages, RevTex, 6 PostScript figure

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)

Understanding Postprandial Inflammation and Its Relationship to Lifestyle Behaviour and Metabolic Diseases

Postprandial hyperlipidemia with accumulation of remnant lipoproteins is a common metabolic disturbance associated with atherosclerosis and vascular dysfunction, particularly during chronic disease states such as obesity, the metabolic syndrome and, diabetes. Remnant lipoproteins become attached to the vascular wall, where they can penetrate intact endothelium causing foam cell formation. Postprandial remnant lipoproteins can activate circulating leukocytes, upregulate the expression of endothelial adhesion molecules, facilitate adhesion and migration of inflammatory cells into the subendothelial space, and activate the complement system. Since humans are postprandial most of the day, the continuous generation of remnants after each meal may be one of the triggers for the development of atherosclerosis. Modulation of postprandial lipemia by lifestyle changes and pharmacological interventions could result in a further decrease of cardiovascular mortality and morbidity. This paper will provide an update on current concepts concerning the relationship between postprandial lipemia, inflammation, vascular function, and therapeutic options

Sentinel Node Detection in Head and Neck Malignancies: Innovations in Radioguided Surgery

Sentinel node mapping is becoming a routine procedure for staging of various malignancies, because it can determine lymph node status more precisely. Due to anatomical problems, localizing sentinel nodes in the head and neck region on the basis of conventional images can be difficult. New diagnostic tools can provide better visualization of sentinel nodes. In an attempt to keep up with possible scientific progress, this article reviews new and innovative tools for sentinel node localization in this specific area. The overview comprises a short introduction of the sentinel node procedure as well as indications in the head and neck region. Then the results of SPECT/CT for sentinel node detection are described. Finally, a portable gamma camera to enable intraoperative real-time imaging with improved sentinel node detection is described