Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Lifetime determination of excited states in106Cd

Two separate experiments using the Differential Decay Curve Method have been performed to extract mean lifetimes of excited states in 106Cd. The medium-spin states of interest were populated by the 98Mo( 12C, 4n) 106Cd reaction performed at the Wright Nuclear Structure Lab., Yale University. From this experiment, two isomeric state mean lifetimes have been deduced. The low-lying states were populated by the 96Mo(13C, 3n)106Cd reaction performed at the Institut für Kernphysik, Universität zu Köln. The mean lifetime of the Iπ = 21 + state was deduced, tentatively, as 16.4(9) ps. This value differs from the previously accepted literature value from Coulomb excitation of 10.43(9) ps.

Design and implementation of robust systems for secure malware detection

Malicious software (malware) have significantly increased in terms of number and effectiveness during the past years. Until 2006, such software were mostly used to disrupt network infrastructures or to show coders’ skills. Nowadays, malware constitute a very important source of economical profit, and are very difficult to detect. Thousands of novel variants are released every day, and modern obfuscation techniques are used to ensure that signature-based anti-malware systems are not able to detect such threats. This tendency has also appeared on mobile devices, with Android being the most targeted platform. To counteract this phenomenon, a lot of approaches have been developed by the scientific community that attempt to increase the resilience of anti-malware systems. Most of these approaches rely on machine learning, and have become very popular also in commercial applications. However, attackers are now knowledgeable about these systems, and have started preparing their countermeasures. This has lead to an arms race between attackers and developers. Novel systems are progressively built to tackle the attacks that get more and more sophisticated. For this reason, a necessity grows for the developers to anticipate the attackers’ moves. This means that defense systems should be built proactively, i.e., by introducing some security design principles in their development. The main goal of this work is showing that such proactive approach can be employed on a number of case studies. To do so, I adopted a global methodology that can be divided in two steps. First, understanding what are the vulnerabilities of current state-of-the-art systems (this anticipates the attacker’s moves). Then, developing novel systems that are robust to these attacks, or suggesting research guidelines with which current systems can be improved. This work presents two main case studies, concerning the detection of PDF and Android malware. The idea is showing that a proactive approach can be applied both on the X86 and mobile world. The contributions provided on this two case studies are multifolded. With respect to PDF files, I first develop novel attacks that can empirically and optimally evade current state-of-the-art detectors. Then, I propose possible solutions with which it is possible to increase the robustness of such detectors against known and novel attacks. With respect to the Android case study, I first show how current signature-based tools and academically developed systems are weak against empirical obfuscation attacks, which can be easily employed without particular knowledge of the targeted systems. Then, I examine a possible strategy to build a machine learning detector that is robust against both empirical obfuscation and optimal attacks. Finally, I will show how proactive approaches can be also employed to develop systems that are not aimed at detecting malware, such as mobile fingerprinting systems. In particular, I propose a methodology to build a powerful mobile fingerprinting system, and examine possible attacks with which users might be able to evade it, thus preserving their privacy. To provide the aforementioned contributions, I co-developed (with the cooperation of the researchers at PRALab and Ruhr-Universität Bochum) various systems: a library to perform optimal attacks against machine learning systems (AdversariaLib), a framework for automatically obfuscating Android applications, a system to the robust detection of Javascript malware inside PDF files (LuxOR), a robust machine learning system to the detection of Android malware, and a system to fingerprint mobile devices. I also contributed to develop Android PRAGuard, a dataset containing a lot of empirical obfuscation attacks against the Android platform. Finally, I entirely developed Slayer NEO, an evolution of a previous system to the detection of PDF malware. The results attained by using the aforementioned tools show that it is possible to proactively build systems that predict possible evasion attacks. This suggests that a proactive approach is crucial to build systems that provide concrete security against general and evasion attacks.

Synthetic and mechanistic aspects of the reactions of α-diazosulfoxides

The research described in this thesis focuses, principally, on synthesis of stable α-diazosulfoxides and investigation of their reactivity under various reaction conditions (transition-metal catalysed, photochemical, thermal and microwave) with a particular emphasis on the reactive intermediates and mechanistic aspects of the reaction pathways involved. In agreement with previous studies carried out on these compounds, the key reaction pathway of α-diazosulfoxides was found to be hetero-Wolff rearrangement to give α-oxosulfine intermediates. However, a competing reaction pathway involving oxygen migration from sulfur to oxygen was also observed. Critically, isomerisation of α-oxosulfine stereoisomers was observed directly by 1H NMR spectroscopy in this work and this observation accounts for the stereochemical outcomes of the various cycloaddition reactions, whether carried out with in situ trapping or with preformed solutions of sulfines. Furthermore, matrix isolation experiments have shown that electrocyclisation of α-oxosulfines to oxathiiranes takes place and this verifies the proposed mechanisms for enol and disulfide formation. The introductory chapter includes a brief literature review of the synthesis and reactivity of α-diazosulfoxides prior to the commencement of research in this field by the Maguire group. The Wolff rearrangement is also discussed and the characteristic reactions of a number of reactive intermediates (sulfines, sulfenes and oxathiiranes) are outlined. The use of microwave-assisted organic synthesis is also examined, specifically, in the context of α-diazocarbonyl compounds as substrates. The second chapter describes the synthesis of stable monocyclic and bicyclic lactone derivatives of α-diazosulfoxides from sulfide precursors according to established experimental procedures. Approaches to precursors of ketone and sulfimide derivatives of α-diazosulfoxides are also described. The third chapter examines the reactivity of α-diazosulfoxides under thermal, microwave, rhodium(II)-catalysed and photochemical conditions. Comparison of the results obtained under thermal and microwave conditions indicates that there was no evidence for any effect, other than thermal, induced by microwave irradiation. The results of catalyst studies involving several rhodium(II) carboxylate and rhodium(II) carboxamidate catalysts are outlined. Under photochemical conditions, sulfur extrusion is a significant reaction pathway while under thermal or transition metal catalysed conditions, oxygen extrusion is observed. One of the most important observations in this work was the direct spectroscopic observation (by 1H NMR) of interconversion of the E and Z-oxosulfines. Trapping of the α-oxosulfine intermediates as cycloadducts by reaction with 2,3-dimethyl-1,3-butadiene proved useful both synthetically and mechanistically. As the stereochemistry of the α-oxosulfine is retained in the cycloadducts, this provided an ideal method for characterisation of this key feature. In the case of one α-oxosulfine, a novel [2+2] cycloaddition was observed. Preliminary experiments to investigate the reactivity of an α-diazosulfone under rhodium(II) catalysis and microwave irradiation are also described. The fourth chapter describes matrix isolation experiments which were carried out in Rühr Universität, Bochum in collaboration with Prof. Wolfram Sander. These experiments provide direct spectroscopic evidence of an α-oxosulfine intermediate formed by hetero-Wolff rearrangement of an α-diazosulfoxide and subsequent cyclisation of the sulfine to an oxathiirane was also observed. Furthermore, it was possible to identify which stereoisomer of the α-oxosulfine was present in the matrix. A preliminary laser flash photolysis experiment is also discussed. The experimental details, including all spectral and analytical data, are reported at the end of each chapter. The structural interpretation of 1H NMR spectra of the cycloadducts, described in Chapter 3, is discussed in Appendix I.

Stiftsherren und Vikare des Kollegiatstifts St. Peter und Paul in Zeitz 1400–1564.

Der hier publizierte Personenkatalog ist Teil des Anhangs der im Januar 2008 von Matthias Ludwig an der Martin-Luther-Universität Halle-Wittenberg eingereichten Magisterarbeit „Das Personal der Naumburger Domkirche und der Zeitzer Stiftskirche 1400–1564. Ein prosopographischer Beitrag zur mitteldeutschen Stiftskirchenforschung“. Ausgangspunkt der Arbeit war die Frage nach der Zusammensetzung der beiden geistlichen Gemeinschaften in Naumburg und Zeitz hinsichtlich eines vorgegebenen Rasters, bestehend aus den Kriterien Herkunft, Standeszugehörigkeit, Bildung, Karriereprofil, Weihegrade und personelle Netzwerke. Das zugrunde liegende biografische Material für Zeitz wurde vor allem aus der stiftischen Überlieferung selbst erhoben, deren wesentlicher Träger das Archiv des ehemaligen Kollegiatstifts ist, das heute zum Bestand des Stiftsarchivs und der Stiftsbibliothek Zeitz gehört. Es umfasst Angaben zu insgesamt 277 Stiftsherren und Vikaren, die für den Zeitraum von 1400 bis 1564 nachgewiesen werden konnten.

Junge Hochschul- und Mediendidaktik. Forschung und Praxis im Dialog

Am 29./30.05.2012 fand in Hamburg die Konferenz “Junges Forum Hochschul- und Mediendidaktik” (JFHM) statt. Ausgerichtet vom Zentrum für Hochschul- und Weiterbildung (ZHW) der Universität Hamburg, kooperierten bei der Konzeption und Durchführung der Tagung Vertreterinnen und Vertreter aus hochschul- und mediendidaktischer Berufspraxis mit Vertreterinnen der wissenschaftlichen Nachwuchsförderung aus der Deutschen Gesellschaft für Hochschuldidaktik (DGHD) und der Gesellschaft für Medien in der Wissenschaft (GMW). Das Ziel der Tagung war die Sichtbarmachung und Vernetzung theoretischer und praktischer hochschul- und mediendidaktischer Arbeit. Der vorliegende Sammelband vereint Beiträge der Konferenz und gibt so einen Einblick in aktuelle Themen von Hochschul- und Mediendidaktik - und zwar speziell aus der Perspektive jüngerer Forscherinnen und Forscher sowie Praktikerinnen und Praktiker. Er gibt damit auch Anhaltspunkte dafür, welche Themen diese Arbeitsbereiche in Zukunft (weiter) beschäftigen werden. (DIPF/Autor)

"Dann bin ich ja überflüssig, richtig?" Vorstellungen von Lehrpersonen über Lernerautonomie im Musikunterricht

Das im Folgenden skizzierte Projekt befasst sich mit Lernerautonomie als Konzept in der Musikdidaktik aus der Perspektive von Lehrenden. Es ist eingebettet in ein Forschungsprojekt an der Carl von Ossietzky Universität Oldenburg mit dem Titel „Lernerautonomie in der Musikdidaktik – eine empirische Studie“ unter der Leitung von Anja Rosenbrock. Etwa 20 Studierende haben im Jahr 2011 die Fähigkeit zum bzw. die Selbstevaluation des autonomen Lernens von Schülern im Musikunterricht an Gymnasien untersucht. [Das] Forschungsvorhaben stützt sich zwar auf die Untersuchung Rosenbrocks, fügt sich jedoch nicht vollkommen darin ein. Nicht Schüler, sondern Lehrer bilden hier die Untersuchungsgruppe. Sie fanden in der Autonomieforschung bisher nur wenig Beachtung. Dabei weisen jüngere Untersuchungen auf die große Bedeutung der Lehrer für die Entfaltung autonomen Handelns seitens der Schüler hin. In einem leitfadengestützten Interview wurden die theoretischen Kenntnisse von Lehrern über Lernerautonomie, ihre unterrichtspraktischen Erfahrungen mit dessen Förderung im eigenen Musikunterricht sowie die persönliche Einstellung gegenüber dem Ansatz erhoben. Zwei zentrale Fragestellungen bestimmten die Auseinandersetzung: 1. „Über welche Vorstellungen von Lernerautonomie verfügen die Lehrer?“ 2. „Wie positionieren sich die Lehrer gegenüber Lernerautonomie und womit begründen sie die jeweiligen Haltungen?“ Damit werden einerseits die Lehrpersonen, die in ihrem Unterricht Lernerautonomie anbahnen, in den Fokus der Betrachtung gerückt, andererseits aber auch die Lernenden, als innerhalb einer solchen Unterrichts‐ bzw. Lernform Agierende, erfasst. (DIPF/Orig.)

Elterntage an Universitäten

Der Aufsatz befasst sich mit den aktuell an deutschen Universitäten ausgerichteten Elterntagen. Die Grundlage der Analyse bilden Ankündigungen und Programme zu Elterntagen an sieben Universitäten. Hierzu gehören Dresden, Frankfurt/Main, Konstanz, Mainz, Münster, Oldenburg und Osnabrück. Der Text macht deutlich, inwieweit einerseits eine Infantilisierung der Studierenden über die Elterntage stattfindet und andererseits sie Ausdruck des Wettbewerbsdrucks sind, unter den sich die Universität gestellt sieht. (DIPF/Autor)

„…und das bin ich…“. Identitätsförderung und Ausprägung des Körperbewusstseins im Kontext von tänzerischer Bewegungsgestaltung und pädagogischen Bewegungstechniken

Um persönlichkeitsbildende Prozesse zu unterstützen und hierbei den Körper nutzbar zu machen, eignen sich Erfahrungen aus der tänzerischen Bewegungsgestaltung, insbesondere durch die explorative Verhaltensweise sowie der Selbst– und Fremdreflektion von Bewegungen, auf besondere Weise. Der Körper ist Instrument, bewegliche Skulptur, internes und externes Kommunikationsvehikel sowie Forschungsobjekt zugleich. Hierbei bieten Tanz und kinästhetische Bewegungslehren als pädagogisches Medium Förderungsbereiche, die auf körperlicher, emotionaler und kognitiver Ebene liegen und in Bezug zum lebendigen Lernen stehen. Tanz als Teilbereich kultureller Bildung steht hierbei in Bezug als ergänzender Curricularer Gegenstand zu fungieren. (DIPF/Autor)

Get prepared for the future - über Graduiertenschulen als universitäre Ausbildungsstätten

Der Artikel ist eine Analyse der an deutschen Hochschulen zunehmenden Graduiertenschulen. Am Beispiel des Trainingsprogramms für DoktorandInnen und Post-Docs aller Disziplinen an der Goethe Universität in Frankfurt/M. wird gezeigt, wie sich die Ausbildung von ForscherInnen verändert. Als Ausbildungsstätte verstanden bieten die Universitäten Kurse und Workshops an, die für eine wissenschaftliche Karriere als notwendig angesehen werden. Dabei gerät die Krise der wissenschaftlichen Erkenntnis als Generierung des Neuen vermehrt aus dem Blick. (DIPF/Orig.)

RuhrCampusOnline: Hochschulübergreifendes E-Learning in der Universitätsallianz Metropole Ruhr

Das Projekt RuhrCampusOnline zielt darauf ab, hochschulübergreifende Lehre für die Partnerhochschulen der Universitätsallianz Metropole Ruhr (UAMR) auf der Basis von Blended-Learning-Arrangements zu implementieren. Der Beitrag stellt die strategische Bedeutung dieses Vorhabens für die Universitäten im Ruhrgebiet dar und beschreibt die Organisation und Vorgehensweise im Projekt. Ziel ist es, einen Pool von Kursen zu implementieren, die einen hohen Online-Anteil haben, und von Studierenden hochschulübergreifend genutzt werden. Über die Internet-Plattform RCO werden diese Kurse sichtbar gemacht, das Belegen der Veranstaltung realisiert und der Austausch von Leistungspunkten unterstützt. Der Beitrag stellt erste Erfahrungen nach einem Jahr Projektlaufzeit vor. (DIPF/ Orig.)

Adaptation to the Environment: Changes in Initial Projects in Ottoman Shephardic Press

The origins of Sephardic press date back to the mid-20th century, when the influence of the Western world spread across the Sephardim communities of the East. The content of these newspapers was diverse: pieces of general interest, but also scientific, literary and humorous works, with various political orientations. These papers were published in different languages, writing styles and alphabets. Those to be analysed here, however, were published in aljamiado Judeo-Spanish: three papers from Smyrna and one from Salonica. Throughout this work we will focus on the different obstacles and difficulties the editors and publishers of this Ottoman Sephardic press had to face to bring their publications to light.

The visual representation of the “indignados”. A visual analysis about the characterization of the participants of the 15-M movement.

The aim of this work is to show the type of media coverage done by the newspapers La Razón, El País and Público about the 15-M social movement during the time that the camping at Sol took place. Specifically, in terms of how the characterization of the “indignados” (outraged) got made. Based on our previous descriptive observations, we approached a visual analysis of the photographs published on the paper editions of those mainstream media from May 15-June 12 of the 2011. we started from a total sample of 379 items, developing:1) A content analysis of La Razón, El País, and Público; the most frequents words of each media, articles classifications from the reviews found on them (expositive, positive-evaluation, negative-evaluation).2) An analysis of the 408 images obtained from the total sample, which establishes a clear evolution of the “indignados” profile and how differently each media took the movement as such. That’s, when they stop naming them “indignados”, and recognize its nature as social movement by calling it: “Movimiento 15-M"...

Women artists of the international avant-garde: the case of "Abstraction-Création" (1931-1936)

Women’s contribution to abstract art in the interwar period is a subject that, to date, has received very little attention. In this article we deal with the untold story of the participation of women artists in Abstraction-Création, the foremost international group dedicated to abstract art in the 1930s. Founded in Paris in 1931, the group took on the work of two previous collectives to become a platform for the dissemination and promotion of abstract art and consisted of around a hundred members. Twelve of these were women, whose writings and works were published in the group’s annual magazine, abstraction creátion art non figuratif (1932-1936), and who participated in a number of the group’s exhibitions. Compared to what had occurred in previous groups, the participation of women, although reduced in number, was comparable to that of the male artists and being members of the group had a generally positive impact on the women’s careers. However, all this came at the expense of relinquishing any gender specificity in their work and the public presentation of it, and demonstrates that the normalization of women’s contributions to the avant-garde could only be brought about alongside a questioning of the more dogmatic views of modernity.

Nonlinear wavepackets in pair-ion and electron-positron-ion plasmas

The occurrence of amplitude-modulated electrostatic and electromagnetic
wavepackets in pair plasmas is investigated. A static additional charged background species is considered, accounting for dust defects or for heavy ion
presence in the background. Relying on a two-fluid description, a nonlinear
Schrodinger type evolution equation is obtained and analyzed, in terms of the
slow dynamics of the wave amplitude. Exact envelope excitations are obtained,
modelling envelope pulses or holes, and their characteristics are discussed.