447 research outputs found
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
- …