class Term case class Var(name: String) extends Term case class CFG(kind: TKind.Value, name: String, args: List[Term]) extends Term { def replaceArgs(newArgs: List[Term]) = CFG(kind, name, newArgs) } case class Let(term: Term, bindings: List[(Var, Term)]) extends Term case class Pat(name: String, args: List[Var]) object TKind extends Enumeration {val Ctr, FCall, GCall = Value} class CFGObject(k...

Springer-Verlag Wien 2013 4th World Congress on ADHD From Childhood to Adult Disease 06–09 June 2013 Milan Italy Editors: Manfred Gerlach, Würzburg, Germany Peter Riederer, Würzburg, Germany Andreas Warnke, Würzburg, Germany 123 ADHD Atten Def Hyp Disord (2013) 5:111–247 DOI 10.1007/s12402-013-0109-7

BACKGROUND Dietary vitamin D3 (D3) restriction reduces paw grip endurance and motor performance in G93A mice, and increases inflammation and apoptosis in the quadríceps of females. ALS, a neuromuscular disease, causes progressive degeneration of motor neurons in the brain and spinal cord. OBJECTIVE We analyzed the spinal cords of G93A mice following dietary D3 restriction at 2.5% the adequate...

provide the notation and terminology for this paper. Let F be a function. We say that F is uncurrying if and only if the conditions (Def. 1) are satisfied. (Def. 1)(i) For every set x such that x ∈ dom F holds x is a function yielding function, and (ii) for every function f such that f ∈ dom F holds F(f) = uncurry f. We say that F is currying if and only if the conditions (Def. 2) are satisfied...

BACKGROUND Locoregional recurrence is a major problem in esophageal cancer patients treated with definitive concomitant chemoradiotherapy. Approximately half of the patients fail locoregionally. We analyzed the impact of enlarged radiation field size and higher radiation dose incorporated to chemoradiotherapy on oncologic outcome. METHODS Seventy-four consecutive patients with histologically ...

A polynomial-time algorithm for computing the permanent in any field of characteristic 3 is presented in this article. The principal objects utilized for that purpose are the Cauchy and Vandermonde matrices, the discriminant function and their generalizations of various types. Classic theorems on the permanent such as the Binet-Minc identity and Borchadt's formula are widely applied, while a sp...

A new Deep Neural Network (DNN)-based error correction encoder architecture for channels with feedback, called Extended Feedback (DEF), is presented in this paper. The the DEF transmits an information message followed by a sequence of parity symbols which are generated based on as well observations past forward channel outputs sent to transmitter through feedback channel. codes generalize Deepc...

Short-term exercise training improves insulin action, but the impact of replacing the energy expended during exercise to prevent energy deficit is unclear. The purpose of this study was to establish the role of an energy deficit in mediating improved insulin action after short-term exercise training. Two groups of previously sedentary, overweight/obese subjects performed 6 consecutive days of m...

objective(s): in this study we evaluate the impact of the different aspects of gold nano-particles (gnps) on the target absorptive dose enhancement factor (def) during external targeted radiotherapy with photon beams ranging from kilovolt to megavolt energies using monte carlo simulation. methods: we have simulated the interaction of photon beams with various energies of radiation using water s...