This talk introduces the Temporal Equilibrium Logic, a combination of standard Linear Temporal Logic with a formalism called Equilibrium Logic, used to to characterise logic programming under the answer set semantics. The talk will explain the basic syntax and semantics together with some elementary properties and recent results. Some motivating examples will show the potential utility of nonmo...

(2007) Are reality TV crime shows continuing to perpetuate crime myths. I J Criminol 6:132 Nabi RL, Biely EN, Morgan SJ, Stitt CR (2003) Realitybased television programming and the psychology of its appeal. Media Psychol 5(4):303–330 Nabi RL, Stitt CR, Halford J, Finnerty KL (2006) Emotional and cognitive predictors of the enjoyment of reality-based and fictional television programming: an elab...

Owing to its cell form, growth behavior and habitat within grass roots, the first isolates of the later defined genus Herbaspirillum were initially thought to be a new Azospirillum species (Baldani et al., 1984). However, RNA-RNA hybridization experiments showed no close relatedness with Azospirillum spp. or Aquaspirillum itersonii (Falk et al., 1986). The first species of the newly defined gen...

Ustilago maydis (Ustilaginaceae) has, perhaps, the unique distinction of being the causal organism of a highly prized edible delicacy and much reviled disease. The fungus causes common corn smut, a disease which can result in economic losses wherever maize (Zea mays L., Poaceae) is grown (Smith and White 1988). Common smut is especially a problem in processing sweet corn, where the galls and sp...

Since the mid-1990s, the U.S. payment system has undergone a transformation featuring a significant decline in the use of paper checks that is quite uneven across consumers and not well understood. This paper shows that characteristics of payment instruments are the most important determinants of their use, by estimating econometric models of consumers’ adoption (extensive margin) and use (inte...

Catheter-related sepsis Extraluminal catheter thrombosis Fraxiparin Hemodialysis M Pilar Ruiz-Valverde, MD, Nephrology Unit, Hospital General ‘Vail d’Hebron’, Paseo Vail d’Hebron, s/n, E-08035 Barcelona (Spain) Introduction The main complications associated with the use of central venous catheters for hemodialysis are infections and thrombosis [1-3]. Both may be the reason for undesired cathete...

38. Ozek M, Uresin Y, Güngör M: Comparison of the effects of specific and nonspecific inhibition of nitric oxide synthase on morphine analgesia, tolerance and dependence in mice. Life Sci 2003; 72:1943–51 39. Toda N, Kishioka S, Hatano Y, Toda H: Modulation of opioid actions by nitric oxide signaling. Anesthesiology 2009; 110:166–81 40. Zhang J, Hoffert C, Vu HK, Groblewski T, Ahmad S, O’Donnel...

Mathematics education has been the subject of considerable international comparative research, mostly focussed on pupil achievement but also examining teaching methods, curricula, and so on. In all this, and perhaps unsurprisingly, the role of teachers has emerged as a key influence on pupil learning. Given that the development of pupils’ capability in geometrical reasoning continues to be an i...