cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
General Automation in Coq through Modular Transformations
Creators: name: Blot, Valentin
name: de Prisque, Louise Dubois
name: Keller, Chantal
name: Vial, Pierre
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Whereas proof assistants based on Higher-Order Logic benefit from external solvers' automation, those based on Type Theory resist automation and thus require more expertise. Indeed, the latter use a more expressive logic which is further away from first-order logic, the logic of most automatic theorem provers. In this article, we develop a methodology to transform a subset of Coq goals into first-order statements that can be automatically discharged by automatic provers. The general idea is to write modular, pairwise independent transformations and combine them. Each of these eliminates a specific aspect of Coq logic towards first-order logic. As a proof of concept, we apply this methodology to a set of simple but crucial transformations which extend the local context with proven first-order assertions that make Coq definitions and algebraic types explicit. They allow users of Coq to solve non-trivial goals automatically. This methodology paves the way towards the definition and combination of more complex transformations, making Coq more accessible.
description: In Proceedings PxTP 2021, arXiv:2107.01544
title: Front Matter, Table of Contents, Preface, Conference Organization
Creators: name: Geuvers, Herman
Publisher: name: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Year: 2019
Subjects: subject: Front Matter
subject: Table of Contents
subject: Preface
subject: Conference Organization
subject: Theory of computation → Models of computation
subject: Theory of computation → Formal languages and automata theory
subject: Theory of computation → Logic
subject: Theory of computation → Semantics and reasoning
subject: Software and its engineering → Language features
subject: Software and its engineering → Formal language definitions
subject: Software and its engineering → Formal methods

description: Front Matter, Table of Contents, Preface, Conference Organization
description: LIPIcs, Vol. 131, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), pages 0:i-0:xx
Additional file 1 of Fine-mapping of a putative glutathione S-transferase (GST) gene responsible for yellow seed colour in flax (Linum usitatissimum)
Creators: name: Young, Lester
name: Akhov, Leonid
name: Kulkarni, Manoj
name: You, Frank
name: Booker, Helen
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1: Detailed materials and methods.
What the Smart Grid Means-and Doesn''t Mean-for India
Creators: Rahul Tongia
Publisher: name: IEEE
Year: 2017

Newsletter
The urgent power system needs in India are not necessarily the same as those in advanced industrialized countries. The same goes for the most important power system constraints. Generally, not all smart grid technologies are equally relevant worldwide. In India, the really useful technologies will be those that help constrain peak demand and peak load growth at reasonable cost while cutting losses.
Additional file 2 of Fine-mapping of a putative glutathione S-transferase (GST) gene responsible for yellow seed colour in flax (Linum usitatissimum)
Creators: name: Young, Lester
name: Akhov, Leonid
name: Kulkarni, Manoj
name: You, Frank
name: Booker, Helen
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2: Figure S1. Putative CDS structure of Lus10019895 and alignment with Arabidopsis TerC and GST proteins. A Lus10019895 is 4467 bp long and contains 20 CDS (yellow arrows). The first 14 CDS of the gene code for a thylakoid membrane protein, TerC, while the last six exons code for a Glutatione-S transferase. Coloured boxes indicate identical amino acid residues. B Alignment of Arabidopsis TerC (XP020876262) and the first 14 putative exons in Lus10019895 with 80% amino acid similarity. C Alignment of Arabidopsis GST protein At5g02780 and the last six CDS of Lus10019895, showing 75% amino acid similarity.
How Should Measurement Uncertainties be Expressed in a Smart Grid Scenario?
Creators: Lorenzo Peretto
Alessandro Ferrero and Mihaela Albu
Publisher: name: IEEE
Year: 2017

Newsletter
The estimation of measurement uncertainties in power flow analysis is not merely a challenging and interesting theoretical problem; it has important consequences for power system stability. Depending on which standardized procedures are followed, estimation of combined uncertainties can vary by a factor of almost two.
How to Achieve Completely Autonomous Power in the Next Generation of Smart Grids
Creators: Qing-Chang Zhong
Publisher: name: IEEE
Year: 2017

Newsletter
The paradigm of future power systems described here offers a method of standardizing the interface of all electrical supplies, including conventional power plants and new add-ons, such as wind/solar farms, electrical vehicles and energy storage systems, and a majority of loads with the transmission and distribution networks, by exploiting the synchronisation principle of synchronous machines. This model opens the prospect of achieving completely autonomous operation of power systems.
Texas Project Transforms How Consumers Interact with Energy Use
Creators: Marita Mirzatuny
Publisher: name: IEEE
Year: 2017

Newsletter
By making consumers more aware of their energy usage patterns in real time, the Pecan Street project in Austin, Texas hopes ultimately to achieve a two-thirds reduction in the average homeowner's energy consumption and greenhouse gas emissions. Pecan Street's research focuses on distributed generation, storage, demand response, energy efficiency, new pricing models and other technical and economic innovations in and around the home.
China''s Approach to the Smart Grid
Creators: Jinyu Wen and Haibo He
Publisher: name: IEEE
Year: 2017

Newsletter
Connecting widely separated generation and loads by means of ultra-high-voltage transmission and adapting a relatively rigid generation structure to accommodate intermittent wind and solar necessarily take precedence in Chinese planning. But incorporation of digital communications into transmission also visualized under the rubric of what China is calling a "strong" smart grid.
True Grid: A look at New York''s Smart Grid Initiative
Creators: Stephen G. Whitley
Publisher: name: IEEE
Year: 2017

Newsletter
Providing grid operators a true picture of system conditions with technology that enhances visibility and situational awareness will strengthen the reliability, security and efficiency of the electric system. The New York Independent System Operator's Smart Grid Investment Grant project and its new state-of-the-art power control center integrate phasor measurement units and capacitor banks with grid operations.
An investigation of nonreciprocal periodic structures, transverse discontinuities in nonreciprocal waveguides, and in inhomogeneous and magnetized ferrite loaded ridged waveguide
Creators: name: Enegren, Terry A.
Publisher: name: University of British Columbia
Year: 2010

description: This thesis is mainly concerned with the effects of periodic loading of nonreciprocal waveguides by regular placement of discontinuitie and with the associated problem of the evaluation of a transverse discontinuity in a nonreciprocal ferrite loaded waveguide. The mode-matching technique is used to analyse a transverse discontinuity in a nonreciprocal waveguide. The difficult orthogonality relations are circumvented using a Galerkin approach. The elements of an exact three-element equivalent circuit for an infinitely thin metallic diaphragm are evaluated. Each element has two values, one for each direction of propagation. The numerical results show the same trends as those obtained experimentally in a similar configuration. The properties of a nonreciprocal, ferrite loaded, rectangular waveguide, which is periodically loaded by thin metallic "inductive" diaphragms, are investigated experimentally. The propagation constants of the structures are measured and are compared with predictions based on measured values of the scattering parameters of a single diaphragm in the nonreciprocal waveguide. The agreement between theory and experiment is generally good except for the smaller spacings between the diaphragms. This discrepancy is attributed to the effects of higher mode interaction. An investigation was also made of a magnetized ferrite loaded ridged waveguide. A theoretical and experimental investigation was first made of the preliminary problem of a reciprocal, inhomogeneous ridged waveguide and guided by these results an approximate, theoretical technique was formulated to analyse the nonreciprocal ferrite loaded ridged waveguide problem. It was found that introduction of the ridge had detrimental effects on the differential phase shift characteristics except for a few special cases.
Alethe: Towards a Generic SMT Proof Format (extended abstract)
Creators: name: Schurr, Hans-Jörg
name: Fleury, Mathias
name: Barbosa, Haniel
name: Fontaine, Pascal
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: I.2.3

description: The first iteration of the proof format used by the SMT solver veriT was presented ten years ago at the first PxTP workshop. Since then the format has matured. veriT proofs are used within multiple applications, and other solvers generate proofs in the same format. We would now like to gather feedback from the community to guide future developments. Towards this, we review the history of the format, present our pragmatic approach to develop the format, and also discuss problems that might arise when other solvers use the format.
description: In Proceedings PxTP 2021, arXiv:2107.01544
Lambda-effect from forced turbulence simulations
Creators: name: Käpylä, P. J.
name: Brandenburg, A.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Aims: We determine the components of the $Λ$-effect tensor that quantifies the contributions to the turbulent momentum transport even for uniform rotation. Methods: Three-dimensional numerical simulations are used to study turbulent transport in triply periodic cubes under the influence of rotation and anisotropic forcing. Comparison is made with analytical results obtained via the so-called minimal tau-approximation. Results: In the case where the turbulence intensity in the vertical direction dominates, the vertical stress is always negative. This situation is expected to occur in stellar convection zones. The horizontal component of the stress is weaker and exhibits a maximum at latitude 30 degrees - regardless of how rapid the rotation is. The minimal tau-approximation captures many of the qualitative features of the numerical results, provided the relaxation time tau is close to the turnover time, i.e. the Strouhal number is of order unity.
description: 20 pages, 14 figures, accepted for publication in Astronomy & Astrophysics
Nutzung sozialer Online-Netzwerke von Jugendlichen mit Migrationshintergrund
Creators: name: Dogan, Gülseren
name: Dautovic, Aneta
Year: 2012

description: Hauptanliegen dieser Arbeit war es, einen Beitrag zur Erforschung des Nutzungsverhaltens im Netz von Migrantenjugendlichen in Wien zu leisten. Aus diesem Grund wurde der Frage nachgegangen, wie B/K/S sprechende Jugendliche aus Bosnien und Herzegowina und türkisch sprechende Jugendliche mit kurdischem Migrationshintergrund in Wien Online Social Networks nutzen? Besonderes Augenmerk gilt dabei dem Umgang mit persönlichen Daten.
In der theoretischen Abhandlung wurden verschiedene Studien, die sich mit der gleichen Thematik beschäftigt haben, zusammenfassend vorgestellt. Auf diese Weise sollte nicht nur ein Überblick über das Themenfeld gegeben werden, sondern es soll auch gezeigt werden welche Aspekte dabei besonders berücksichtigt werden müssen. Anhand der vorgestellten Studien zeigte sich, dass hinsichtlich des Internetnutzungsverhaltens von Migrantenjugendlichen ein großer Nachholbedarf besteht. Es gibt zwar mittlerweile sehr viele Studien und Forschungsarbeiten, die sich mit dem Phänomen Online Social Networks beschäftigen, jedoch beziehen sich auf Jugendlichen allgemein. Der Faktor Migrationshintergrund wird dabei oft nur bei der Beschreibung der Stichprobe angeführt. Aus diesem Grund wurden mittels problemzentrierter Interviews junge Migranten zu ihrem Nutzungsverhalten in sozialen Netzwerken befragt (Die Transkripte befinden sich auf der beiliegenden CD). Da es sich dabei um zwei unterschiedliche Gruppen handelte, die sich hinsichtlich ihrer Herkunft von einander unterscheiden, wurde bei der Darstellung der Ergebnisse das Nutzungsverhalten unabhängig von einander vorgestellt, um sie dann in einem weiteren Schritt miteinander zu vergleichen. Die im einleitenden Teil der Arbeit geäußerte Vermutung, dass sich die Nutzung dieser Plattformen inhaltlich je nach Kultur unterscheiden würde, wurde widerlegt. Es stellte sich heraus, dass beide Gruppen Online Social Networks nutzen, um in erster Linie ihre bestehenden Beziehungen und Kontakte zu pflegen. An dieser Stelle bestehen keinen Unterschiede, weder zu Jugendlichen ohne Migrationshintergrund noch zwischen Migrantenjugendlichen selber.
Obwohl das Phänomen Online Social Networks aus dem Leben von Jugendlichen nicht mehr wegzudenken ist, wurde in der Hälfte der Fälle angegeben über dieses Thema im Schulunterricht nicht gesprochen zu haben. Inwieweit an dieser Stelle wirklich Nachholbedarf besteht, kann aufgrund der kleinen  untersuchten Stichprobe nicht gesagt werden.
Tetrahedron Diagram and Perturbative Calculation in Chern-Simons-Witten Theory
Creators: name: Zen, Freddy P
name: Kosasih, Jusak S
name: Wardaya, Asep Y
name: Triyanta
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate extended Wilson loop operators, in particular tetrahedron operator in (2 + 1)-dimensional Chern-Simons-Witten theory. This operator emerges naturally from the contribution terms in twoparticle scattering amplitude. We evaluate this diagram non-perturbatively in terms of vacuum expectation values of Wilson loop operators, especially for gauge group SU(N) with specific choices of representations. On the other hand, we also discuss the perturbative calculation of vacuum expectation value in this theory. We show that, up to the third order, this values of unknotted Wilson loop operators are identical to the non-perturbative result.
description: 30 pages, to be published in Adv. Studies Theor. Phys
L'esemplificazione omerica nei Remedia Amoris di Ovidio
Creators: name: Pinotti, Paola
Publisher: name: Annali Online  Lettere - Ferrara
Year: 2012

description: In his erotodidactic poem Remedia amoris, Ovid works out in elegiac manner  the myth of Agamemnon, Aegistus, Achilles (from the Iliad and greek  tragedy), using it as exemplum of erotic behaviour: he plays with his  sources with impertinence and ironic detachment, introducing mythical  characters as middle class people.
description: Annali Online  Lettere - Ferrara, I 1 (2006)
Alternative Heilmethoden am Beispiel von Ibn al-Qayyim al-Jawziyya
Creators: name: El, Manier Amro
Year: 2012

description: In this paper I would like to present an overview of the diversity of the Islamic naturopathy. In my opinion, it is a very interesting topic which deserves to be dealt with. Therefore I have
given a summary of a number of practices in Islamic homoeopathy and their possible applications.
Besides, I would like to show the significance of cultivating spiritual knowledge and tradition. The patient should strengthen his or her mind and soul in order to successfully
combat the disease and to live a healthy life. During my study of Prophet Mohammed’s (s.a.s.) many deliverances, I learned that a significant number of treatment options for many symptoms can prove successful without using pharmaceutical chemistry. It is a method
which can be available to everybody and in my point of view, everyone should be able to benefit from it. In my function as a student apprentice of some of these alternative approaches, I would like to integrate them, in combination with a conventional medical consultation, in my working methodology.
description: Mit dieser Arbeit habe ich versucht einen Überblick über die Vielfältigkeit der islamischen Naturheilmethoden zu geben. Dieses Thema ist sehr interessant und es lohnt sich, dass man sich näher damit befasst.
Somit habe ich einen Überblick über einige Beispiele der islamischen Homöopathie in der Praxis erläutert und ihre Anwendungsmöglichkeiten erstellt. Daneben zeigt diese Arbeit wie wichtig die spirituelle Situation zu pflegen. Der Patient sollte seinen Geist und seine Seele stärken um seine Krankheit zu bekämpfen und somit ein gesundes Leben führen könnte.

Während des Forschen dieser Arbeit habe ich rausgestellt, dass in der Überlieferungen des Propheten Mohammed (s.a.s.) zahlreiche Behandlungsmöglichkeiten aus der Natur, die für die Menschen etwas von sehr Bedeutung sein könnte.
Die islamische Naturheilkunde bietet für fast jede Beschwerde die Möglichkeit, dass die Gesundheit des Menschen ohne chemische Behandlung wohlfühlt. Es ist eine Behandlungsmethode, die sich jeder zu Gebrauch machen kann und auch nutzen sollte. Ich werde ebenso versuchen als Praktikant manche dieser alternativen Heilmethoden mit ärztlicher Absprache weiter zu empfehlen.
ACS imaging of star clusters in M51 II. The luminosity function and mass function across the disk
Creators: name: Haas, M. R.
name: Gieles, M.
name: Scheepmaker, R. A.
name: Larsen, S. S.
name: Lamers, H. J. G. L. M.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Whether or not there exists a physical upper mass limit for star clusters is still unclear. HST/ACS data for the rich cluster population in the interacting galaxy M51 enables us to investigate this in more detail. We investigate whether the cluster luminosity function (LF) in M51 shows evidence for an upper limit to the mass function. The variations of the LF parameters with position on the disk are addressed. We determine the cluster LF for all clusters in M51 falling within our selection criteria, as well as for several subsets of the sample. In that way we can determine the properties of the cluster population as a function of galactocentric distance and background intensity. By comparing observed and simulated LFs we can constrain the underlying cluster initial mass function and/or cluster disruption parameters. A physical upper mass limit for star clusters will appear as a bend dividing two power law parts in the LF, if the cluster sample is large enough to sample the full range of cluster masses. The location of the bend in the LF is indicative of the value of the upper mass limit. The slopes of the power laws are an interplay between upper masses, disruption and fading. The LF of the cluster population of M51 is better described by a double power law than by a single power law. We show that the cluster initial mass function is likely to be truncated at the high mass end. We conclude from the variation of the LF parameters with galactocentric distance that both the upper mass limit and the cluster disruption parameters are likely to be a function of position in the galactic disk. At higher galactocentric distances the maximum mass is lower, cluster disruption slower, or both.
description: 15 pages, 9 figures, accepted for publication in Astronomy and Astrophysics, replaced equation 3
Schweizerdeutsche Fernsehwerbung
Creators: name: Pipic, Jasmina
Year: 2012

description: Das Thema der Abschlussarbeit lautet „Schweizerdeutsche Fernsehwerbung. Eine sprachwissenschaftliche Analyse.“ Diese stützt sich auf 66 verschiedene Fernsehwerbespots des SF 2, die in der Zeit vom 01. bis 30. Oktober 2010 ausgestrahlt wurden.  Die Fernsehspots wurden jeden Abend in der Zeit von ca. 19.50 bis 20.00 Uhr aufgenommen. Insgesamt wurden 488 Werbespots aufgezeichnet und auf 2 DVDs gespeichert, die im Anhang zu finden sind.
Im theoretischen Teil werden viele verschiedene Bereiche diskutiert, zuallererst die sprachliche Situation in der Deutschschweiz. Es wird auf die Werbung und deren verschiedene Definitionen und Bedeutungen eingegangen. Der Begriff der Wirtschaftswerbung wird erklärt, wobei auch die werbewissenschaftliche Orientierung erkundet wird. Formen der Werbung werden beschrieben, die verschiedenen Marken und Markentypen genannt und Werbeziele, Zielgruppen und Instrumente der Werbekommunikation definiert. Am Ende des theoretischen Teils ist von Dialekt in der Werbung die Rede.
Im vierten Kapitel ist der empirische Teil zu finden. Zuerst wird auf die Methode eingegangen, nach welcher das Korpus untersucht wird. Ich habe mir hierbei gedacht, aus dem Buch von Janich (2010) einfach das, was am wichtigsten erschien, zu erforschen. Es wurde stets eine Obergruppe der Werbeprodukte gemeinsam betrachtet, indem die Produkte auch in der Gruppe einzeln untersucht wurden. Folglich ist am Ende jeder Gruppe eine kurze Zusammenfassung zu finden.
Der Schweizer Dialekt spielt in der schweizerdeutschen Fernsehwerbung eine wichtige Rolle, es kommt nämlich mehr Dialekt als Hochsprache in der Fernsehwerbung der Deutschschweiz vor. Der Zürcher Dialekt ist der meist produzierte Schweizer Dialekt in der Schweizer Fernsehwerbung.
Slow-light enhanced light-matter interactions with applications to gas sensing
Creators: name: Jensen, K. H.
name: Alam, M. N.
name: Scherer, B.
name: Lambrecht, A.
name: Mortensen, N. A.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Optical gas detection in microsystems is limited by the short micron scale optical path length available. Recently, the concept of slow-light enhanced absorption has been proposed as a route to compensate for the short path length in miniaturized absorption cells. We extend the previous perturbation theory to the case of a Bragg stack infiltrated by a spectrally strongly dispersive gas with a narrow and distinct absorption peak. We show that considerable signal enhancement is possible. As an example, we consider a Bragg stack consisting of PMMA infiltrated by O2. Here, the required optical path length for visible to near-infrared detection (~760 nm) can be reduced by at least a factor of 10^2, making a path length of 1 mm feasible. By using this technique, optical gas detection can potentially be made possible in microsystems.
Obraz Wiednia w krakowskim czasopiśmie "Życie" (1897 - 1899)
Creators: name: Wolski, Daniel
Year: 2012

description: Der Hauptzweck dieser Arbeit war es, das Image von Wien und den Wienern in der Krakauer Zeitschrift ,,Życie“ (1897 – 1899) herausgegeben von Ludwik Szczepanski, Ignacy Sewera-Maciejowski  und - vor allem - von Stanislaw Przybyszewski, darzustellen und zu analysieren. Das sekundäre Ziel ist das Bild der österreichischen Hauptstadt im Gegensatz zu Lemberg und vor allem mit Krakau zu vergleichen und die gegenseitigen Einflüsse im Kulturellen, Sozialen und Politischen zu untersuchen.
Die Arbeit beginnt mit theoretischen Grundlagen, die einer Beschreibung des späten neunzehnten Jahrhunderts in Europa und ihre politischen, sozialen Bedingungen sowie des künstlerischen Lebens angehören. Weiter wird auch auf polnische Zeitschriften der Periode eingegangen, wobei der Schwerpunkt in erster Linie nach den Themen dieser Studie über die Entstehung, Eigenschaften und Programm von Krakaus ,,Życie“ liegt. Mit Artikeln, Essays oder Berichten von diesen drei Städten: Wien, Lemberg und Krakau wird das Wesen eines jeden dieser Orte beschrieben. Jedes Kapitel steht für eine Stadt, welches aus mehreren Abschnitten besteht. In der Analyse des städtischen Lebens wird auch auf das besetzten Polen eingegangen. Der Kern dieser Arbeit ist die Interpretation von Informationen durch das Lesen der Seriennummern der Zeitschrift ,,Życie“ (R.1, Nr. 1-14, R.2, Nr. 1-50, R.3, Nr. 1-21). Die aus dieser Arbeit resultierenden bzw. gesammelten Informationen und Daten aus der Analyse der Literatur, wurden mit einem interessanten und eindrucksvollen, aber vor allem ehrlichen Wien-Bild aus einer Perspektive von Redakteuren und Korrespondenten von „Życie“ dargestellt. Hier befinden sich auch einige Illustrationen aus dieser imposanten Kunstzeitschrift.
Neutron Capture Rates near A=130 which Effect a Global Change to the r-Process Abundance Distribution
Creators: name: Surman, R.
name: Beun, J.
name: McLaughlin, G. C.
name: Hix, W. R.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Nuclear Theory (nucl-th)
subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We investigate the impact of neutron capture rates near the A=130 peak on the $r$-process abundance pattern. We show that these capture rates can alter the abundances of individual nuclear species, not only in the region of A=130 peak, but also throughout the abundance pattern. We discuss the nonequilibrium processes that produce these abundance changes and determine which capture rates have the most significant impact.
description: 8 pages, 4 figures, submitted to Phys. Rev
Density-functional fidelity approach to quantum phase transitions
Creators: name: Gu, Shi-Jian
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose a new approach to quantum phase transitions in terms of the density-functional fidelity, which measures the similarity between density distributions of two ground states in parameter space. The key feature of the approach, as we will show, is that the density-functional fidelity can be measured easily in experiments. Both the validity and versatility of the approach are checked by the Lipkin-Meshkov-Glick model and the one-dimensional Hubbard model.
description: 4 pages, 2 figures, submitted to Chin. Phys. Lett
Dekolonialisierung der Nationalparkpolitik?
Creators: name: Bogner, Juliane
Year: 2012

description: Die vorliegende Arbeit beschäftigt sich mit Norwegens Nationalparkpolitik und den Partizipationsmöglichkeiten der Rentiersami innerhalb dieser Schutzgebietskategorie.
Es wird der Frage nachgegangen, inwiefern Norwegen es schafft, die Sami als indigenes Volk in der Errichtung und Verwaltung zu integrieren und so seinen völkerrechtlichen Obligationen im Umwelt- und Menschenrechtsbereich nachzukommen.
Um die Fragestellung beantworten zu können, wurde mit öffentlichen Informationsquellen von Ministerien, Direktoraten und anderen Ebenen der öffentlichen norwegischen Administration und mit Gesetzestexten gearbeitet. Weiters wurde die vorhandene sozialwissenschaftliche Literatur zu dem Thema studiert. Intensive Internetrecherche und eine Befragung der Rentierweidebezirke waren grundlegende Methoden, um auch ohne Feldforschung ein Bild der aktuellen Situation zu erhalten.
Es wird gezeigt, dass das Konstrukt „Schutzgebiet“ eng mit der Denk- und Handlungsweise der europäischen Aufklärung und des Kolonialismus in Verbindung steht. Grundprämisse dieser sozio-kulturellen Vorstellung der Abgrenzung von Gebieten für den Erhalt intakter Landschaften ist der kartesianische Dualismus, der den Menschen von der Natur separiert. Diese Idee spiegelt nicht die Kosmovisionen indigener Völker im Allgemeinen und der Rentiersami im Besonderen wider, die sich als impliziten Teil ihrer Umwelt begreifen.
Es werden grob die zwei Paradigmen im Umgang mit indigenen Völkern und Naturschutzgebieten skizziert, bevor auf die norwegische Situation eingegangen wird.
Es wird auf die Erfahrungen, die die Rentiersami mit Nationalparks in Norwegen gemacht haben, eingegangen und die momentane norwegische neoliberal geprägte Nationalparkpolitik umrissen. Nach einer Darlegung der ausschlaggebenden internationalen menschen- und umweltrechtlichen Obligationen hinsichtlich der Sami im Schutzgebietskontext kommt es zur Analyse ihrer Implementierung anhand dreier ausgewählter Rechtsdokumente. Abschließend wird diese Rechtssituation mit der Realität der Rentierzüchter in drei Nationalparks kontrastiert.
Es wird deutlich, dass der Völkerrechtsstandard de iure und de facto in Norwegens Nationalparks nur unzureichend umgesetzt wird. Obwohl Umfragen dafür sprechen, dass die Sami generell mit Nationalparks als Schutz gegenüber größeren Eingriffen zufrieden sind, entspricht die rechtliche und tatsächliche Lage nicht den internationalen Obligationen. Steigender Tourismus, Parkrestriktionen, Nicht-Integration der Rentiersami und ihres traditionellen ökologischen Wissens in der Nationalparkverwaltung und die Priorisierung ökonomischer Interessen vor dem Erhalt der Natur und Rentierzucht sind Beispiele für die Verletzung der völkerrechtlichen Verpflichtungen.
Der Nationalpark kann seine kolonialen Charakteristika nicht ablegen, sein Erbe der europäischen Aufklärung nicht aufbrechen.
Das Motiv des Schneesturms in der russischen Literatur
Creators: name: Heiss, Teresa
Year: 2012

description: Die vorliegende Diplomarbeit dient der näheren Untersuchung des Schneesturmmotivs, einem der zentralen Motive der russischen Literatur. Eine intertextualistische Analyse Puškins Metel' und Kapitanskaja Dočka, Bulgakovs Belaja Gvardija, Bloks Poem Dvenadcat' und Sorokins Erzählung Metel' zeigt, dass der Schneesturm plötzlich in einem finsteren, feindlichen, undurchsichtigen Raum erscheint und das zukünftige Leben der Protagonisten in einer schicksalhaften Weise beeinflusst. In Puškins Texten erweist er sich einerseits als der feindliche Gegenspieler, der die Pläne der Protagonisten zerstört, andererseits auch als glückliche Fügung des Schicksals, insofern er für einen Teil der Protagonisten das Liebesglück erfüllt. Diese ambivalente Natur des Schneesturms wird von Bulgakov und Blok durch apokalyptische Motive, die zum Schneesturm hinzutreten, verdeutlicht. In ihren Werken geht seine Bedeutung über das einzelne Schicksal der Protagonisten deutlich hinaus. Der Schneesturm steht symbolisch für den Sturm der Geschichte, in Anspielung auf die bolschewistische Revolution. Er zieht die Menschen ungewollt in seinen Wirbel, lässt sie rasch den Überblick über die sich überschlagenden Ereignisse verlieren, wodurch sie Verunsicherung, Angst und viel Leid ertragen müssen. Am Ende verweist er jedoch auf einen nahen Ausgang in eine neue hoffnungsvolle Zukunft, die zum Vorschein kommen soll, sobald das Stürmen aufgehört hat. Dieser ambivalente Charakter des Schneesturms verschwindet in Sorokins Werk. Er entpuppt sich als destruktive Kraft, die die Protagonisten am Ende überwältigt. Der Schneesturm stellt für Sorokin ein metaphorisches Bild des Russlands des 21. Jhds. dar, wo Modernisierungs- und Fortschrittswille durch krampfhaftes Festhalten an alten Strukturen verhindert wird. Damit bleibt Russland in seiner Vergangenheit stecken, wie die Reisenden im Schneesturm.
Tourismus  Homosexualität
Creators: name: Glaser, Harald
Year: 2012

description: Die vorliegende Diplomarbeit setzt sich in ihrem theoretischen Teil mit der Betrachtung der Begriffe „Tourismus“ sowie „Homosexualität“ auseinander. Es werden touristische Grundlagen zu Beginn der Arbeit gegeben. Darüber hinaus werden wichtige absolute und relative Tourismuskennzahlen und -werte erklärt und mit Blick auf den Tourismus in Wien angewendet. Dieses Anwenden soll einen Überblick über die Bedeutung des Tourismussektors in Österreich und im Speziellen in Wien geben. Darauffolgend zeigt die Arbeit einen Überblick über wichtige Begriffe, die im Zusammenhang mit Homosexualität in Frage kommen. So folgen Definitionen und Definitionsversuche der Ausprägungsformen der sexuellen Orientierung sowie von Begrifflichkeiten wie „Homophobie“ und auch „Heteronormativität“. Zudem wird der „Queer Theory“, die bei der Beschäftigung und Auseinandersetzung mit dem Thema „sexuelle Orientierung“ elementar ist, Beachtung geschenkt. Ferner wird die historische Entwicklung der rechtlichen Situation für Homosexuelle in Österreich skizziert. Mit Hilfe von Literatur wird ein Überblick über die Geschichte und Anfänge des schwul-lesbischen Reisen gegeben und des Weiteren werden die wichtigsten Destinationen weltweit wie europaweit anhand der Studie „LGBT 2020“ angeführt. Im praktischen Teil findet sich die Hauptfragestellung der Forschung, die darauf fokussiert ist, ob Wien ein Anziehungspunkt für schwule Touristen darstellt. Dieser praktische Teil weist darauffolgend die Ergebnisse einer qualitativen Online-Befragung mittels E-Mail-Fragebogen aus. Für diese Befragung wurden die Meinungen von Wien-Besuchern sowie die von Experten ausgewertet.
Verrückte Frauen
Creators: name: Sulik, Anna
Year: 2012

description: Weiblichkeit und Wahnsinn stehen seit jeher in unmittelbarer Wechselwirkung zueinander und weisen dabei viele Gemeinsamkeiten auf: Beide stellen die größten Unterdrückten der Geschichte dar und sind ohne einander fast nicht mehr zu denken. Jene Komponenten erweisen sich als konstante Faktoren gesellschaftlicher Unterdrückungsmechanismen, die die ‚verrückte’ Frau entmachteten und sie lange Zeit aus dem sozialen Diskurs ausschlossen. Prägnante Beispiele wie die Hexenverbrennung oder der Kult um die Hysterikerin veranschaulichen nur allzu deutlich, woher jene wechselseitige Bedingung rührt und entlarvt die beiden Komponenten Weiblichkeit und Wahnsinn dabei als soziale Konstrukte.

Der US-amerikanische Regisseur Michael Almereyda setzt Shakespeares Hamlet in seiner filmischen Adaption in einen völlig neuen Kontext, womit er verdeutlicht, dass die Tragödie selbst im 21. Jahrhundert nach wie vor nach demselben Schema funktioniert: Eine Funktionalisierung der verrückten Frau ist selbst in unserem modernen Zeitalter nicht von der Hand zu weisen, es geschieht lediglich auf subtilere Weise. Wie die beiden Figuren Ophelia und Königin Gertrude instrumentalisiert werden, spiegelt sich vor allem in den beiden Stereotypen der Femme fatale sowie der Femme fragile wider. Beide Frauen stellen einen Prototyp weiblichen Wahnsinns dar, der sogleich als Instrument der Ausgrenzung und Entwertung von Weiblichkeit fungiert. Dennoch weisen auch Almereydas Figuren, wie beispielsweise Lady Macbeth, Ophelia oder Königin Gertrude, gewisse Individualisierungstendenzen der wahnsinnigen Frau auf, wie sie bereits in der griechischen Mythologie bei Medusa, Medea oder Kassandra zu beobachten sind. Jene Frauen bleiben durch ihr tragisches Schicksal unweigerlich in Erinnerung und schrieben sich so in die in die Literatur der weiblichen Wahnsinnsfiguren ein.
Ophelia und Gertrude werden in ihrer Einzigartigkeit beleuchtet und zeigen selbst in Almereydas moderner Inszenierung, wie facettenreich der weibliche Wahnsinn dennoch sein kann. Shakespeares Paradebeispiele weisen unverblümt darauf hin, dass Frauen unter dem patriarchalen Diskurs der Macht damals wie heute zu leiden haben und eine Außenseiterrolle einnehmen. Autorinnen wie Luce Irigaray, Phyllis Chesler, Annette Schlichter, Regina Schaps u.a. versuchen den weiblichen Wahnsinn neu zu orten, indem sie ihn um eine feministische Sichtweise erweitern und somit in einem neuen Kontext verhandeln.
Quantum critical behavior in strongly interacting Rydberg gases
Creators: name: Weimer, Hendrik
name: Löw, Robert
name: Pfau, Tilman
name: Büchler, Hans Peter
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We study the appearance of correlated many-body phenomena in an ensemble of atoms driven resonantly into a strongly interacting Rydberg state. The ground state of the Hamiltonian describing the driven system exhibits a second order quantum phase transition. We derive the critical theory for the quantum phase transition and show that it describes the properties of the driven Rydberg system in the saturated regime. We find that the suppression of Rydberg excitations known as blockade phenomena exhibits an algebraic scaling law with a universal exponent.
description: 4 pages, 3 figures, published version
Excited Hyperons Produced in Proton-Proton Collisions with Anke@COSY
Creators: name: Zychor, Izabella
Publisher: name: arXiv
Year: 2008
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: Excited neutral hyperons Y0* produced in the pp -> p K+ Y0* reaction with a COSY beam momentum of 3.65 MeV/c have masses below 1540 MeV/c2. The ANKE spectrometer allows the simultaneous observation of different decay modes: Y0* -> pion0Sigma0, pion+-Sigma-+, pion0Lambda, K-p by measuring kaons and pions of either charge in coincidence with protons. We have found indications for a neutral excited hyperon resonance Y0* with a mass of (1480 +- 15) MeV/c2 and a width of (60 +- 15) MeV/c2. The cross section for Y0* is of the order of few hundred nanobarns. It can be either a Sigma0 or a Lambda hyperon and on the basis of existing data no conclusion could be made whether it is a three-quark baryon or an exotic state. Missing- and invariant-mass techniques have been used to identify the Lambda(1405) resonance decaying via Sigma0pion0. The cross section for Lambda(1405) production is equal to (4.5 +- 0.9(stat) +- 1.8(syst)) microbarn. The shape and position of the Lambda(1405) distribution are similar to those found from other decay modes, so no support is given to the two-pole model.
description: Talk given at the STORI'08 Conference, Lanzhou, China, September 14-18, 2008, 7 pages, to be published as a special issue of the International Journal of Modern Physics E
Ecological and ethical dystopia in Atwood's "Oryx and Crake" and "The year of the flood"
Creators: name: Wochele, Nikola
Year: 2012

description: Die beiden dystopischen Romane Margaret Atwoods, Oryx and Crake (2003) und The Year oft the Flood (2009), werden hier analysiert. Ausgehend von dem Gedankenexperiment des Vergleiches einer literarischen Gattung mit einer 'Warnung' befasst sich diese Arbeit zuallererst mit der Begriffsgeschichte der Utopie, der schließlich die Dystopie entsprungen ist. Dann werden einige Überlegungen von 'utopian scholars', wie etwa Tom Moylan, vorgestellt, die die Utopie nicht nur als eine literarische Gattung, sondern als ein grundlegendes politisches Phänomen sehen, das den Anreiz zu gesellschaftspolitischen Umwälzungen geben kann, was zu Atwoods Auffassung von Dystopien als Warnungen passt. Vor allem unter der Fragestellung, wie viel Gewicht der Absicht der Autorin beizumessen ist, wird daraufhin die Dystopie als Warnung auf einer literaturtheoretischen Ebene diskutiert, mit Berücksichtigung auf die theoretische Differenzierung, die der Tod des Autors nach sich gezogen hat. Schließlich werden die beiden Romane auf ihre utopischen und dystopischen Merkmale hin untersucht. Vier von den dystopischen 'Warnungen', die gefunden wurden, werden näher beleuchtet und in Zusammenhang mit der derzeitigen Situation gebracht. Diese Untersuchung zeigt, dass die in den Romanen dargestellte düstere Gesellschaft gar nicht so weit entfernt ist von der derzeitigen Gesellschaft der westlichen Industriestaaten, und dass die skizzierte globalpolitische Situation sehr ähnlich zur tatsächlichen ist. Außerdem werden die in den Dystopien versteckten Utopien einer genauen Beobachtung unterworfen mit dem Ziel, herauszufinden, ob Tom Moylans 'utopischer Impuls' in ihnen gefunden werden kann.
Die österreichische Universität im Kontext des Wertewandels
Creators: name: Rautner, Romana
Year: 2013

description: Diese Masterarbeit beschäftigt sich mit dem Wertewandel der 1960er und 1970er Jahre am Beispiel des UOG von 1975. Die zu untersuchenden Fragestellungen setzten sich vor allem damit auseinander, ob Österreich ein Spezifikum in Bezug auf den Wertewandel dieser Zeit besitzt, in welcher Form sich der Wertewandel an Österreichs Hochschulen vollzog und ob überhaupt ein Zusammenhang zwischen dem Wertewandel der 1960er und 1970er Jahre und dem UOG von 1975 besteht. Methodisch wurden Dokumenten- und Textanalysen sowie ein Experteninterview durchgeführt.  Die Arbeit baut auf drei Theorien zum Wertewandel von Daniel Bell, Helmut Klages und Ronald Inglehart auf. Mit diesen Theorien wurde versucht, die historischen Ereignisse im Rahmen des Wertewandels zu beleuchten. Weiters ermöglichten die Theorien der angeführten Autoren einen Einblick in die Multidimensionalität des Wertewandels. Ziel dieser Arbeit war es vor allem aufzuzeigen, welche Auswirkungen der Wertewandel der 1960er und 1970er Jahre auf die Hochschulpolitik und das 1975 in Kraft getretene UOG hatte. Dazu war es notwendig die geschichtlichen Ereignisse rund um die 1968er Bewegung und die Ära Kreisky zu beleuchten und diese auch mit dem voranschreitenden Wertewandel zu verknüpfen. Des Weiteren wurde die Geschichte der österreichischen Hochschulen genauer beleuchtet, um den Wertewandel im Hochschulwesen erfassen zu können.
Music-Blogs
Creators: name: Homar, Philipp
Year: 2012

description: Die vorliegende Arbeit widmet sich der Erfassung von Erscheinungsformen der Musikkritik im Social Web. Im Fahrwasser einer partizipativen Internetkultur ist in dieser Hinsicht ein breites Spektrum an Music-Blogs, Vlogs oder sozialen Netzwerkseiten entstanden, die von einer Vielzahl an Usern zur Kommunikation und Meinungsbildung über Musik genutzt werden.

Im Speziellen wurden diese neuen Formen der Musikkritik in Hinblick auf die Hervorbringung von Phänomenen untersucht, in denen im Gegensatz zu den Musikkritiken in Printmedien szenisch-performative Eigenschaften ausgemacht werden können. Die Heranziehung von theaterwissenschaftlichen Terminologien diente dabei als wissenschaftliches Instrument, mit dessen Hilfe die Erscheinungsformen der Musikkritik im Social Web in Anbetracht ihrer spezifischen Medialität und den darin erfolgenden Interaktionen der in unterschiedlicher Weise involvierten Akteure analysiert wurden. Es konnte dabei festgestellt werden, dass aufgrund der (hyper-)medialen Bedingungen des Social Webs Music-Blogs als Bühnen dienen, auf denen sich die Teilnehmer unter anderem als Musikkritiker oder als Fans darstellen und die Rezensionen als ereignishaftige Vorgänge inszenieren. Darin werden der Community vielfältige Anstöße zur Anteilnahme und Involvierung, sowohl hinsichtlich der Weiterschreibung der Rezensionen selbst als auch hinsichtlich der dadurch in Umlauf gebrachten Selbstentwürfe der Kritiker, geboten. Ein spezieller Fokus wurde in der Analyse auch auf die in den Musikkritiken angewandten Strategien der Inszenierung von Credibility gelegt, in denen sowohl Strukturen und Konventionen aus anderen Medien reproduziert, als auch die webgenuinen Möglichkeiten der Interaktion zwischen den Teilnehmer genutzt werden.
Das europäische Konzept der Mehrsprachigkeit
Creators: name: Geißler, Corinna
Year: 2013

description: This diploma thesis analyses the political discourse in France concerning european multilingualism. By analysing relevant debates from the Assemblée nationale from the years 2003-2008 the author shows how the european concept of multilingualism is perceived by french politicians. Furthermore the thesis examines which strategies for the implementation of the european multilingualism project are discussed and which role different languages spoken or taught in France play in the discussion.
description: Diese Diplomarbeit analysiert den politischen Diskurs in Frankreich zum Thema Europäische Mehrsprachigkeit. Anhand von relevanten Debatten aus der Assemblée nationale aus den Jahren 2003-2008 wird analysiert wie das europäische Konzept der Mehrsprachigkeit von der französischen Politik wahrgenommen wird. Außerdem wird betrachtet, welche Strategien zur Umsetzung des europäischen Mehrsprachigkeitsprojekts diskutiert werden und welche Rolle dabei verschiedene in Frankreich gesprochene bzw. unterrichtete Sprachen spielen.
Turkiston oʻlkasida jadidchilik harakatining kelib chiqish tarixi
Creators: name: Mansur SHomurodivich Boytemirov, Muhammad Al-Xorazmiy nomidagi Toshkent axborot texnologiyalari universiteti  Samarqand filiali telekomunikatsiya texnologiyalari fakulteti 1-kurs talabasi
name: Ilmiy rahbar: X.U.Samatov
Publisher: name: Zenodo
Year: 2023

description: Ushbu  maqolada  XIX  asr  oxiri,  XX  asr  boshlarida  Rossiya mustamlakasi  hisoblangan  O’rta  Osiyo,  Kavkaz,  O’rta  Sibir  xalqlari  orasida boshlangan  milliy,  madaniy-ma’rifiy  tiklanish  –  jadidchilik  harakati  sifatida namoyon  bo‘lishi  tahlil  qilingan.  Muallif  tomonidan  Turkiston  jadidlari  xalqni qoloqlik  va diniy xurofotdan  ozod  etish, shariat tamoyillarini isloh qilish, xalqqa ma’rifat  tarqatish  va  milliy  muxtoriyatga  erishish  g’oyasini  ilgari  surganligi,Jadidlar  milliy  birlik,  ma’naviy-ma’rifiy  isloxotlar  bilan  jamiyatni  yangilash, yuksaltirish yo’llarini izlaganliklari o‘rganilgan.
A Population of Radio-loud Narrow Line Seyfert 1 Galaxies with Blazar-like Properties?
Creators: name: Yuan, W.
name: Zhou, H. Y.
name: Komossa, S.
name: Dong, X. B.
name: Wang, T. G.
name: Lu, H. L.
name: Bai, J. M.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: (abridged) We present a comprehensive study of a sample of 23 genuine radio-loud NLS1 galaxies which have the radio-loudness parameters greater than 100. The radio sources of the sample are ubiquitously compact. A significant fraction of these objects show interesting radio to X-ray properties that are unusual to most of the previously known radio-loud NLS1 AGN, but are reminiscent of blazars. These include flat radio spectra, large amplitude flux and spectral variability, compact VLBI cores, very high brightness temperatures derived from variability, enhanced optical emission in excess of the normal ionising continuum, flat X-ray spectra, and blazar-like SEDs. We interpret them as evidence for the postulated blazar nature of these very radio-loud NLS1 AGN, which might possess at least moderately relativistic jets. Intrinsically, some of the objects have relatively low radio power and would have been classified as radio-intermediate AGN. The black hole masses are estimated to be within 10^{6-8}Msun, and the inferred Eddington ratios are around unity. The results imply that radio-loud AGN may be powered by black holes with moderate masses (10^{6-7}Msun) accreting at high rates. We find that a significant fraction of the objects, despite having strong emission lines, resemble high-energy peaked BL Lacs (HBL) in their SED. Given the peculiarities of blazar-like NLS1 galaxies, questions arise as to whether they are plain downsizing extensions of normal radio-loud AGN, or whether they form a previously unrecognised population.
description: Comments: 29 pages, 16 figures, 4 tables, accepted for publication in ApJ