background: for radiotherapy of total skin including sub-cutaneous tissue up to a depth of 3 cm on the entire left leg of an adult (angiosarcoma skin), a complex treatment with multiple stationary electron fields was planned at our clinic. the details of dosimetry, clinical dose measurements are presented. materials and methods: the treatment planned with 6 overlapping 9 mev electron fields in ...

Introduction: The correlation between right and left ventricular ejection fractions (RVEF and LVEF, respectively) has been studied in only a small number of patients with a marked decrease in RVEF and LVEF. The aim of the present study was to compare LVEF and RVEF in patients with ischemic heart disease. RVEF and LVEF were measured by Cardiovascular Magnetic Resonance (CMR) imaging. Materials a...

Some temporal query languages work directly on a timestamp representation of the temporal database, while others provide a more implicit access to the ow of time by means of temporal connectives. We study the diierences in expressive power between these two approaches. We rst consider rst-order logic (i.e., the relational calculus). We show that rst-order future temporal logic is strictly less ...

The Lambek-Grishin calculus is a symmetric extension of the Lambek calculus: in addition to the residuated family of product, left and right division operations of Lambek's original calculus, one also considers a family of coproduct, right and left difference operations, related to the former by an arrow-reversing duality. Communication between the two families is implemented in terms of linear...

Some temporal query languages work directly on a timestamp repre sentation of the temporal database while others provide a more implicit access to the ow of time by means of temporal connectives We study the di erences in expressive power between these two approaches We rst consider rst order logic i e the relational calculus We show that rst order future temporal logic is strictly less powerfu...

A calculus and a model for a rst-order functional language with sharing is presented. In most implementations of functional languages, argument subexpressions in a function application are shared to avoid their repeated evaluation. Recursive functions are typically implemented using graphs with cycles. Compilers for these languages sometimes employ non-left-linear and left-cyclic rules for opti...

A calculus and a model for a rst-order functional language with sharing is presented. In most implementations of functional languages, argument subexpressions in a function application are shared to avoid their repeated evaluation. Recursive functions are typically implemented using graphs with cycles. Compilers for these languages sometimes employ non-left-linear and left-cyclic rules for opti...

In 2013, after a near decade hiatus from teaching calculus to first–year students, I returned from an instructional schedule that was almost completely consumed by teaching a growing student body topics from Fourier analysis, differential equations and linear algebra to one that emphasized multi–variate calculus. This document contains a list of topics with problems that I would expect someone ...

We provide a logical matrix semantics and Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. achieve former by introducing closely related to that inducing paracomplete weak Kleene logic, latter presenting where initial sequents left right rules negation are subject linguistic constraints.