Refine
Year of publication
- 2010 (2875) (remove)
Document Type
- Article (1009)
- Doctoral Thesis (378)
- Part of Periodical (340)
- Book (338)
- Part of a Book (264)
- Review (145)
- Contribution to a Periodical (144)
- Working Paper (84)
- Report (71)
- Conference Proceeding (31)
Language
- German (1762)
- English (856)
- mis (105)
- Portuguese (62)
- French (32)
- Croatian (29)
- Multiple languages (12)
- Italian (7)
- dut (3)
- Spanish (3)
Keywords
- Mosambik (114)
- Mozambique (114)
- Moçambique (113)
- Filmmusik (96)
- Deutsch (80)
- Christentum (65)
- Bibel (63)
- bible (63)
- christianity (63)
- Literatur (48)
Institute
- Extern (316)
- Medizin (295)
- Präsidium (235)
- Gesellschaftswissenschaften (99)
- Biowissenschaften (98)
- Biochemie und Chemie (97)
- Physik (87)
- Geschichtswissenschaften (68)
- Geowissenschaften (59)
- Wirtschaftswissenschaften (55)
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec. Bisimilarity simplifies equivalence proofs in the calculus and opens a way for more convenient correctness proofs for program transformations. Although this property may be a natural one to expect, to the best of our knowledge, this paper is the first one providing a proof. The proof technique is to transfer the contextual approximation into Abramsky's lazy lambda calculus by a fully abstract and surjective translation. This also shows that the natural embedding of Abramsky's lazy lambda calculus into the call-by-need lambda calculus with letrec is an isomorphism between the respective term-models.We show that the equivalence property proven in this paper transfers to a call-by-need letrec calculus developed by Ariola and Felleisen.
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec. Bisimilarity simplifies equivalence proofs in the calculus and opens a way for more convenient correctness proofs for program transformations. Although this property may be a natural one to expect, to the best of our knowledge, this paper is the first one providing a proof. The proof technique is to transfer the contextual approximation into Abramsky’s lazy lambda calculus by a fully abstract and surjective translation. This also shows that the natural embedding of Abramsky’s lazy lambda calculus into the call-by-need lambda calculus with letrec is an isomorphism between the respective term-models. We show that the equivalence property proven in this paper transfers to a call-by-need letrec calculus developed by Ariola and Felleisen. 1998 ACM Subject Classification: F.4.2, F.3.2, F.3.3, F.4.1. Key words and phrases: semantics, contextual equivalence, bisimulation, lambda calculus, call-by-need, letrec.
We examined whether positive transfer of cognitive training, which so far has been observed for individual tests only, also generalizes to cognitive abilities, thereby carrying greater promise for improving everyday intellectual competence in adulthood and old age. In the COGITO Study, 101 younger and 103 older adults practiced six tests of perceptual speed (PS), three tests of working memory (WM), and three tests of episodic memory (EM) for over 100 daily 1-h sessions. Transfer assessment included multiple tests of PS, WM, EM, and reasoning. In both age groups, reliable positive transfer was found not only for individual tests but also for cognitive abilities, represented as latent factors. Furthermore, the pattern of correlations between latent change factors of practiced and latent change factors of transfer tasks indicates systematic relations at the level of broad abilities, making the interpretation of effects as resulting from unspecific increases in motivation or self-concept less likely. Keywords: cognitive training, cognitive abilities, transfer, latent factors, working memory
Die seltene und in den Anhängen II und IV der FFH-Richtlinie aufgeführte Sumpf-Siegwurz (Gladiolus palustris) kommt deutschlandweit in größeren Populationen nur noch in Südbayern vor. Trotz der hohen naturschutzfachlichen Bedeutung liegen keine überregionalen wissenschaftlichen Studien zur Vergesellschaftung und Ökologie der Art vor. Diese Arbeit analysiert mit Hilfe von numerischen Klassifikations- und Ordinationsverfahren anhand von 151 Vegetationsaufnahmen die Vergesellschaftung und Standortbindung der Art in Südbayern. Die Sumpf-Siegwurz hat ihren Vorkommensschwerpunkt in regelmäßig spät gemähten Pfeifengras-Streuwiesen (Molinion caeruleae), tritt aber fast ebenso häufig in gemähten Kalkflachmooren (Caricion davallianae) und Kalk-Halbtrockenrasen (Bromion erecti) sowie in grasreichen Schneeheide-Kiefernwäldern (Erico-Pinion) auf. Diesen Standorten gemeinsam ist eine sehr geringe Nährstoffversorgung sowie die neutrale bis schwach saure Reaktion der meist kalkreichen Böden. Neben der Nutzung (späte Mahd) hat vor allem die Bodenfeuchte eine entscheidende Bedeutung für die Differenzierung der Bestände. Die Erico-Pinion-Bestände als Primärhabitate der Art wurden früher regelmäßig beweidet. Gegenwärtig ist noch unklar, ob das langfristige Brachfallen dieser Standorte auf lange Sicht eine Gefahr für den Erhalt der G. palustris-Populationen darstellt. Anhand der Ergebnisse der vorliegenden Studie werden Empfehlungen für das Management von G. palustris-Populationen gegeben.
„Recht auf Bildung“ in der Mainmetropole : Studierende nehmen die Stadt Frankfurt unter die Lupe
(2010)
Tagungsbericht zu 'Lexikographik als künstlerisch-literarische Schreibweise', Ruhr-Universität Bochum, 27. bis 29. Mai 2010.
Die Form des Lexikons ist nicht nur unter dem Blickwinkel der Wissensproduktion und -vermittlung von Interesse, sondern stellt sich auch als ein Phänomen an der Schnittstelle zwischen Literatur und bildender Kunst dar. Entsprechend vielfältig gestalten sich die Erscheinungsformen der Lexikographik, sei es als reines Ordnungssystem oder als künstlerisch-literarisches Projekt. Diese Vielfalt spiegelte sich auch in der von Monika Schmitz-Emans, Kai Fischer und Christoph Schulz vom Bochumer Lehrstuhl für Komparatistik im Rahmen des DFG-Projekts 'Literarische Darstellungsexperimente' organisierten Tagung wider, die die Lexikographik nicht nur literaturwissenschaftlich in den Blick nahm, sondern auch im Rahmen einer Ausstellung von Arbeiten des Künstlers Paul Mersmann den bildkünstlerischen Aspekt des Themas betonte.
IN THE PAST YEARS THE CUSTOMER FEEDBACK METRIC RECOMMENDATION INTENTION HAS GAINED IMPORTANCE, ESPECIALLY DUE TO THE WIDESPREAD CONCEPT NET PROMOTER SCORE (NPS). THE NPS CONCEPT IMPLIES A POSITIVE, NON-LINEAR RELATIONSHIP BETWEEN RECOMMENDATION INTENTION AND CUSTOMER VALUE. THIS ARTICLE INVESTIGATES THE RELATIONSHIP BETWEEN RECOMMENDATION INTENTION OF INDIVIDUAL CUSTOMERS AND THEIR VALUE FOR THE FIRM. THE RESULTS SHOW THAT RECOMMENDATION INTENTION SIGNIFICANTLY INCREASES CONTRIBUTION MARGIN BUT NEITHER RETENTION NOR CUSTOMER VALUE. THE METRIC SATISFACTION HAS A SIGNIFICANT, POSITIVE IMPACT ON CUSTOMER VALUE AND CAN THUS BE USED AS A LEADING INDICATOR. THEREFORE, THE RESULTS DO NOT CONFIRM THE SUPERIORITY OF THE NPS CONCEPT FOR CUSTOMER MANAGEMENT.
Christoph Schmitt-Maaß beschreibt, dass vor dem Hintergrund der Ideen der historischen Rechtsschule und der Studien der Brüder Grimm eine spezifische Poetologie im Gefüge von Rechtsgeschichte, Sprachwissenschaft und Nationalliteratur entsteht, die für die Herausbildung der 'Kulturnation' eine wichtige Bedeutung zukomme. Die Durchdringung von Rechts-, Wissenschafts- und Dichtersprache erweise sich an einem Kulminationspunkt der deutschen Geschichte als bewusstseinsstiftend, insofern sich noch viele Vormärzschriftsteller im Kontext von Recht, Sprache und Poesie auf von Savigny bezögen und dessen Poetologie fortschrieben, auch wenn sie längst zur Chiffre geworden sei. Schmitt-Maaß illustriert diese Wirkungsgeschichte von Savignys und der Brüder Grimm am Beispiel von Heinrich Heine und Hoffmann von Fallersleben. Während Heine eine kritische Distanz zu den rechtshistorischen Positionen der historischen Rechtsschule einnehme, begreife Hoffmann von Fallersleben, dessen liberale Auffassungen eng mit der mittelalterlichen Literatur, etwa Walthers von der Vogelweide, in Verbindung gesetzt würden, die Aufgabe von Dichtung als Politik, die sich aus der Gemeinsamkeit von Recht und Poesie im 'germanischen' Altertum ergebe. Schmitt-Maaß weist nach, wie Literatur, Literaturgeschichtsschreibung und Jurisprudenz im Vormärz zusammentreten.
Die vorliegende Arbeit beinhaltet die tierexperimentelle Evaluierung von zwei Fragestellungen innerhalb eines Tiermodels. a) Zum einen sollten die Möglichkeiten der vaskulären MR-gesteuerten Interventionen am Model der Carotis-PTA in vivo evaluiert und optimiert, und zum anderen b) die Auswirkungen von intrakraniellen CO2-Embolien bei Herzoperationen unter CO2-Protektion evaluiert werden. Insgesamt wurden an 22 Hausschweinen Gefäßinterventionen unter MRT-Kontrolle durchgeführt. Die Punktion der A. iliaca communis, als Voraussetzung für beide Fragestellungen erfolgte im Angiographieraum. Hier erfolgte auch die Positionierung der Interventionsmaterialien im Zielgefäß, der A. carotis communis. Über das Hybridsystem erfolgte der Transport in den MRT, in dem die unterschiedlichen Interventionsmaterialien getestet und die MRT-Sequenzen angepasst werden konnten. Im zweiten Teil der Arbeit wurden über einen in der A. carotis communis liegenden Katheter unterschiedliche Mengen CO2 oder Luft intracerebral appliziert. Durch eine Diffusionssequenz (DWI) konnten die hierdurch verursachten Effekte auf das Gehirngewebe beobachtet werden. Eine lokale hyperintense Zunahme in der DWI um mehr als 20% wurde als signifikant, in Bezug auf das Vorliegen einer Gehirnischämie bezeichnet. Im Rahmen der 22 Tierexperimente des interventionell, radiologischen Teils konnten die Interventionsmaterialien gut über die entwickelte Echtzeitsequenz dargestellt werden. Durch die Weiterentwicklung dieser Sequenz konnten letztendlich sowohl die Bewegungen, als auch die Öffnungsvorgänge der Ballonkatheter mittels Echtzeitbildgebung dargestellt werden. Darüber hinaus konnten Inteventionsmaterialien bezüglich ihrer Eignung für die MR-Angiographie bewertet werden. Unsere Studie konnte zeigen, dass Interventionen im Bereich der A.carotis communis unter MR-Kontrolle möglich sind. Dies gelingt bislang jedoch nur durch passive Darstellung der Intervenionsmaterialien durch deren Suszeptibilitätsartefakte. Allerdings bedarf es noch der Entwicklung von Interventionsmaterialien, hier vor allem Führungsdrähte, welche nicht magnetisch leitend sind um eine Gefährdung des Patienten auszuschließen. Im herzchirurgischen Teil konnten 16 Tiere eingeschlossen werden. Diese wurden je nach Aplikationsgas und -menge in 3 Gruppen unterteilt: Gruppe I: Gruppe II: Gruppe III: Bei allen Tieren wurden Signalanhebungen in der Diffusionssequenz in der ipsi- und kontralateralen Hemisphäre, deren Persistenz über 25 Minuten, sowie klinische Symptome registriert. Herauszustellen sind die deutlich unterschiedlichen klinischen Reaktionen der Gruppe I zu den Gruppen II und III in unserer Studie. Die Kreislaufreaktionen, die in der Gruppe I bei 4 von 5 Tieren bis zum Kreislaufstillstand reichten, wurden von deutlichen, bilateralen Signalveränderungen in der DWI begleitet. In diesen Fällen muss von einem irreversiblen, großen cerebralen Insult ausgegangen werden. Lediglich bei 2 von 11 Tieren der beiden CO2 Gruppen, waren die Signalanhebungen progredient und dehnten sich in den späten Messungen auch auf die kontralaterale Hemisphäre aus. Bei allen übrigen Tieren dieser Gruppen waren nur leichte Signalanhebungen nach 10 Minuten zu erkennen. Daraus ist zu schließen, dass mit keinen bleibenden Schädigungen der Gehirnzellen zu rechnen ist, da die Ischämiezeit deutlich unter 15 Minuten lag.