TY - JOUR A1 - Dörfler, Thomas T1 - Geographie und Dekonstruktion BT - zu einem zeitgenössischen Missverständnis JF - Geographische Revue : Zeitschrift für Literatur und Diskussion N2 - Inhalt: - Der Ort - Das Symptom - Der Jargon des Vermeintlichen, oder: vermeintliche Philosophie - Was ist: Dekonstruktion? - Zur Genese - Dekonstruktion und Geographie - Grenz-Philosophie - Die Welt als Text - Versuch über die Grenze, in geographischer Absicht Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-31098 SN - 1438-3039 VL - 7 IS - 1/2 SP - 67 EP - 85 ER - TY - CHAP A1 - Reimer, O. A1 - Aharonian, Felix A. A1 - Hinton, J. A1 - Hofmann, W. A1 - Hoppe, S. A1 - Raue, M. A1 - Reimer, A. T1 - VHE gamma-rays from Westerlund 2 and implications for the inferred energetics N2 - The H.E.S.S. collaboration recently reported the discovery of VHE γ-ray emission coincident with the young stellar cluster Westerlund 2. This system is known to host a population of hot, massive stars, and, most particularly, the WR binary WR 20a. Particle acceleration to TeV energies in Westerlund 2 can be accomplished in several alternative scenarios, therefore we only discuss energetic constraints based on the total available kinetic energy in the system, the actual mass loss rates of respective cluster members, and implied gamma-ray production from processes such as inverse Compton scattering or neutral pion decay. From the inferred gammaray luminosity of the order of 1035erg/s, implications for the efficiency of converting available kinetic energy into non-thermal radiation associated with stellar winds in the Westerlund 2 cluster are discussed under consideration of either the presence or absence of wind clumping. Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-18172 ER - TY - CHAP A1 - Banda, Gourinath A1 - Gallagher, John P. T1 - Constraint-based abstraction of a model checker for infinite state systems N2 - Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver. Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41516 ER - TY - JOUR A1 - Kohnen, Saskia T1 - Vernachlässigte Dyslexien BT - Visuell-orthographische Verarbeitung bei Entwicklungsdyslexie JF - Spektrum Patholinguistik Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-54226 SN - 1869-3822 SN - 1866-9433 IS - 4 SP - 75 EP - 81 ER - TY - JOUR A1 - Bethmann, Anja A1 - Scheich, Henning A1 - Brechmann, André T1 - Produktion von Eigennamen BT - Eine fMRT-Untersuchung des Temporallappens JF - Spektrum Patholinguistik Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-54246 SN - 1869-3822 SN - 1866-9433 IS - 4 SP - 95 EP - 116 ER - TY - JOUR A1 - Meinusch, Miriam A1 - Neumann, Sandra T1 - Systematisches Review zur Ermittlung wissenschaftlicher Evidenzen der Dysphagie bei LKGS-Fehlbildungen JF - Spektrum Patholinguistik Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-54291 SN - 1869-3822 SN - 1866-9433 IS - 4 SP - 149 EP - 170 ER - TY - JOUR A1 - Puritz, Caroline A1 - Seidl, Rainer Ottis A1 - Frank, Ulrike T1 - Die Auswirkungen des Lee Silverman Voice Treatments (LSVT) auf die kortikalen Repräsentationen der Schluckmuskulatur bei Patienten mit Morbus Parkinson JF - Spektrum Patholinguistik Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-54322 SN - 1869-3822 SN - 1866-9433 IS - 4 SP - 189 EP - 191 ER - TY - JOUR A1 - Etzien, Maria A1 - Machleb, Franziska A1 - Lorenz, Antje T1 - Semantische versus wortform-spezifische Merkmalsanalyse in der Behandlung von Wortabrufstörungen bei Aphasie JF - Spektrum Patholinguistik Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-54337 SN - 1869-3822 SN - 1866-9433 IS - 4 SP - 193 EP - 197 ER - TY - JOUR A1 - Tagoe, Tanja T1 - Sprache und Emotion bei Kindern und Jugendlichen mit Williams-Beuren-Syndrom JF - Spektrum Patholinguistik Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-54367 SN - 1869-3822 SN - 1866-9433 IS - 4 SP - 217 EP - 236 ER - TY - JOUR A1 - Watermeyer, Melanie A1 - Höhle, Barbara A1 - Kauschke, Christina T1 - Ausagieren von Sätzen versus Satz-Bild-Zuordnung BT - Vergleich zweier Methoden zur Untersuchung des Sprachverständnisses anhand von semantisch reversiblen Sätzen mit Objektvoranstellung bei drei- und fünfjährigen Kindern JF - Spektrum Patholinguistik Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-54374 SN - 1869-3822 SN - 1866-9433 IS - 4 SP - 237 EP - 246 ER -