open_access
Refine
Year of publication
Document Type
- Doctoral Thesis (437)
- Part of Periodical (137)
- Book (48)
- Article (44)
- Report (20)
- Preprint (16)
- Conference Proceeding (10)
- Master's Thesis (10)
- Other (8)
- Bachelor Thesis (7)
Language
- German (450)
- English (282)
- Multiple languages (5)
- Spanish (3)
- French (1)
Has Fulltext
- yes (741)
Keywords
- Lehrerbildung (28)
- Deutschland (22)
- Österreich (18)
- Universität Passau (13)
- Kultursemiotik (12)
- Maßtheorie (12)
- Mediensemiotik (12)
- Graphenzeichnen (9)
- Computersicherheit (8)
- Marketing (7)
Institute
- Philosophische Fakultät (205)
- Fakultät für Informatik und Mathematik (110)
- Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik (70)
- Wirtschaftswissenschaftliche Fakultät (64)
- Mitarbeiter Lehrstuhl/Einrichtung der Wirtschaftswissenschaftlichen Fakultät (40)
- Juristische Fakultät (38)
- Zentrum für Lehrerbildung und Fachdidaktik (30)
- Universitätsbibliothek (28)
- Philosophische Fakultät / Pädagogik (23)
- Sozial- und Bildungswissenschaftliche Fakultät (13)
The influence of situational interest on the appropriate use of cognitive learning strategies
(2017)
This study explores the role of two facets of situational interest, interestingness and
personal significance, as predictors of the adequate use of three types of cognitive
learning strategies (rehearsal strategies, organizational strategies, and elaboration
strategies). In order to attain this goal, it introduces a new measure of the adequacy
of the use of cognitive learning strategies by using the distance between teachers’
estimates of appropriate use of learning strategies for a specific task and students’
reported strategic behavior.
Based on a theoretical model of the use of cognitive learning strategies, the study
shows, by means of structural equation modeling, that different facets of situational
interest play different roles in predicting students’ surface and deep processing. In
summary, it was found that experienced personal significance played a major role
in predicting deep-processing strategies for a significant proportion of the 34 tasks
in this study, whereas interestingness fell short of expectations.
Limitations did arise owing to some missing values, which may blur the findings at
the lower interest and achievement end for the student sample. Nevertheless, suggestions
have been made for future research, which can help teachers of history
classes to determine components of success, namely experienced personal significance,
when designing tasks and consequently provide effective learning tasks to
their classes.
„Das Kriegsgeschehen ging besser vorüber, als wir zu hoffen wagten: Ohne Brand u. ohne Todesfall“, konstatierte ein Passauer Diözesanpriester wenige Wochen nach Ende des Zweiten Weltkriegs. Ob das auch in den anderen Pfarreien des Bistums so der Fall gewesen ist beziehungsweise was sich dort um den 8. Mai 1945 - dem Tag der bedingungslosen Kapitulation der deutschen Wehrmacht - sowie in den Wochen danach abgespielt hat, darüber geben die aufgrund zweier Aufträge des Bischöflichen Ordinariats angefertigten Berichte der Seelsorger detailliert Aufschluss. Außerdem nehmen sie die zwölf Jahre unter der nationalsozialistischen Herrschaft in den Blick und machen Angaben über lokale Vorkommnisse, nicht zuletzt in Bezug auf Schikanen vonseiten des NS-Regimes gegenüber Geistlichen oder Pfarrangehörigen.
Diese umfangreichen Berichte werden in vorliegender Arbeit im vollen Wortlaut wiedergegeben. Der Edition vorangestellt sind neben einem historischen Abriss, der vor allem die Schlussphase des Dritten Reichs und die Anfänge der amerikanischen Besatzung behandelt, allgemeine Informationen zu den Dokumenten samt einer konzisen Auswertung derselben.
„Leider blieb die Diplomarbeit von Anton Landersdorfer (1979) ungedruckt“, konstatierte Dr. Franz Niehoff, der Leiter der Museen der Stadt Landshut, im Vorwort des 2011 erschienenen Buches „Gott zur Ehre – der Stadt zum Wohl. Die Klöster der Stadt Landshut von der Gründung bis zur Säkularisation“, verfasst von Markus Mitschke. Auch wenn damit eine umfangreiche, den neuesten Stand der wissenschaftlichen Forschung widerspiegelnde Studie zur wechselvollen Geschichte der insgesamt acht Landshuter Ordensniederlassungen – vier weibliche und vier männliche – vorliegt, sei, die Anregung von Dr. Niehoff aufgreifend, oben genannte Diplomarbeit auf diesem Wege nachträglich publiziert, zumal sie nicht nur anders strukturiert ist, sondern neben den Klöstern auch das Kollegiatstift St. Martin und Kastulus in den Blick nimmt.
Stolpersteine im Diskurs – Beobachtungsstudie zum Verhalten beim Passieren von Stolpersteinen
(2016)
Erinnerungen – wir alle haben Erinnerungen. Im Laufe der Zeit ereignen sich unzählige Dinge. Und doch werden eigentlich alle geschichtlichen Ereignisse, unabhängig von ihrer Art, auf die eine oder andere Weise am Leben erhalten – eben durch Erinnerungen. In dieser Arbeit wird unter anderem untersucht, wie erfolgreich Erinnerungen mittels Initiativen wie den Stolpersteinen von Gunter Demnig aktiviert werden können. Hierzu wurde eine Beobachtungsstudie zum Verhalten an Stolpersteinen erstellt. Untersuchungsziel im Allgemeinen ist das Verhalten von Personen beim Passieren von Stolpersteinen. Es soll herausgefunden werden, wie hoch der Beachtungsgrad ist, ob Respekt oder Respektlosigkeit an den Tag gelegt wird und wie generell das Verhalten ausgeprägt ist.
Der erste Teil der Arbeit befasst sich schwerpunktmäßig mit einer Erklärung über Stolpersteine und der darum entstandenen Kontroverse, greift theoretische Begriffe und Konzepte auf und geht auf verschiedene Arten von Erinnerungen ein. Der zweite Teil beschreibt das Vorgehen beim Erstellen der Studie.Schließlich wird im dritten Teil der Arbeit der im Rahmen der Erhebungen gewonnene Datensatz ausgewertet und analysiert. Im letzten Schritt soll dann der Versuch unternommen werden, eine Antwort auf die grundlegende Frage dieser Arbeit zu finden: Werden Stolpersteine tatsächlich „mit Füßen getreten“?
Ausgehend von den theoretischen Überlegungen zu einem Mikro-Meso-Makromodell kollektiver Erinnerung (Heinrich/Weyland 2016) wurde im Rahmen eines Pilotprojekts eine Inhaltsanalyse von Diskussionsseiten der Wikipedia durchgeführt. Ziel war es, in Erfahrung zu bringen, inwieweit auf dieser Plattform die durch den Enzyklopädieeintrag präsentierte Geschichtsversion ausgehandelt wird. Darüber hinaus will diese Studie die Grundlagen für eine automatisierte Datenanalyse legen, mit deren Hilfe es zu einem späteren Zeitpunkt möglich sein soll, Erkenntnisse zu gewinnen, die über den Einzelfall hinausgehen.
In den folgenden Kapiteln wird die Vorgehensweise bei der Inhaltsanalyse mit den einzelnen Arbeitsschritten dokumentiert. Damit ist die Intersubjektivität des Forschungsprozesses gewährleistet. Entsprechend ist die Dokumentation in Ergänzung zur Publikation der Studienergebnisse (Heinrich & Gilowsky 2018) zu lesen.
Nachfolgend werden kurz der theoretische Rahmen skizziert und das methodische Vorgehen geschildert. Kernstück der Dokumentation sind dann die Präsentation des Textkorpus, wie er zum Stichdatum im Internet präsentiert wurde, das Kategorienschema, das auf die Diskussionsbeiträge in der Wikipedia angewendet wurde, sowie die konkreten Textstellen mit ihren Kodierungen. Eine weitere Tabelle demonstriert, inwieweit die Äußerungen auf der Diskussionsplattform zu Änderungen am Lexikoneintrag gefunden haben.
This thesis presents various techniques that aim at enabling more effective and more
efficient approaches for automatic software verification.
After a brief motivation why automatic software verification is getting ever more
relevant, we continue with detailing the formalism used in this thesis and on the
concepts it is built on.
We then describe the design and implementation of the value analysis, an analysis
for automatic software verification that tracks state information concretely. From
a thorough evaluation based on well over 4 000 verification tasks from the latest
edition of the International Competition on Software Verification (SV-COMP), we
learn that this plain value analysis leads to an efficient verification process for many
verification tasks, but at the same time, fails to solve other verification tasks due
to state-space explosion. From this insight we infer that some form of abstraction
technique must be added to the value analysis in order to also allow the successful
verification of large and complex verification tasks.
As a solution, we propose to incorporate counterexample-guided abstraction refinement (CEGAR) and interpolation into the value domain. To this end, we design
a novel interpolation procedure, that extracts from infeasible counterexamples interpolants for the value domain, allowing to form a precision strong enough to exclude
these infeasible counterexamples, and to make progress in the CEGAR loop. We
then describe several optimizations and extensions to these concepts, such that the
value analysis with CEGAR becomes competitive for automatic software verification.
As the next step, we combine the value analysis with CEGAR with a predicate
analysis, to obtain a more precise and efficient composite analysis based on CEGAR.
This composite analysis is indeed on a par with the world’s leading software verification tools, as witnessed by the results of SV-COMP’13 where this approach achieved
the 2 nd place in the overall ranking.
After having available competitive CEGAR-based analyses for the value domain,
the predicate domain, and the combination thereof, we then turn our attention to
techniques that have the goal to make all these CEGAR-based approaches more
successful. Our first novel idea in this regard is based on the concept of infeasible
sliced prefixes, which allow the computation of different precisions from a single
infeasible counterexample. This adds choice to the CEGAR loop, while without this
enhancement, no choice for a specific precision, i. e., a specific refinement, is possible.
In our evaluation we show, for both the value analysis and the predicate analysis,
that choosing different infeasible sliced prefixes during the refinement step leads to
major differences in verification effectiveness and verification efficiency.
Extending on the concept of infeasible sliced prefixes, we define several heuristics
in order to precisely select a single refinement from a set of possible refinements. We
make this new concept, which we refer to as guided refinement selection, available
to both the value and predicate analysis, and in a large-scale evaluation we try to
answer the question which selection technique leads to well suited abstractions and
thus, to a more effective verification process. Additionally, we present the idea of
inter-analysis refinement selection, where the refinement component of a composite
analysis may decide which of its component analyses is best to be refined, and in yet
another evaluation we highlight the positive effects of this technique.
Finally, we present the results of SV-COMP’16, where the verifier we contributed
and which is based on the concepts and ideas presented in this thesis achieved the
1 st place in the category DeviceDriversLinux64.
In the first article, I will focus on the career choice itself and identify core components that a career choice regarding the ICT-industry is comprised of.
In the second article, the thesis focuses on the Indian ICT-industry. The Indian ICT-industry consists of a comparably high percentage of female employees, namely 35% at the entry-level, but at the same time struggles with high attrition rates at higher levels. Therefore, the Indian ICT-industry serves as a best practice example for attracting women to the ICT-industry, and simultaneously assists us in under-standing the reasons why they tend not to stay.
In the third article, the thesis focuses on the stability of career choices by analyzing the short- and long-term persistence of females and males in computing disciplines.
In the fourth article, the thesis analyzes the motivation structure of people that plan to enter the ICT-industry. This is to identify what kinds of people are attracted to the ICT-industry and to reveal differences in their vocational behavior.
The increasing scale and complexity of computer networks imposes a need for highly flexible management mechanisms. The concept of network virtualization promises to provide this flexibility. Multiple arbitrary virtual networks can be constructed on top of a single substrate network. This allows network operators and service providers to tailor their network topologies to the specific needs of any offered service.
However, the assignment of resources proves to be a problem. Each newly defined virtual network must be realized by assigning appropriate physical resources. For a given set of virtual networks, two questions arise: Can all virtual networks be accommodated in the given substrate network? And how should the respective resources be assigned? The underlying problem is commonly known as the Virtual Network Embedding problem. A multitude of algorithms has already been proposed, aiming to provide solutions to that problem under various constraints. For the evaluation of these algorithms typically an empirical approach is adopted, using artificially created random problem instances. However, due to complex effects of random problem generation the obtained results can be hard to interpret correctly. A structured evaluation methodology that can avoid these effects is currently missing.
This thesis aims to fill that gap. Based on a thorough understanding of the problem itself, the effects of random problem generation are highlighted. A new simulation architecture is defined, increasing the flexibility for experimentation with embedding algorithms. A novel way of generating embedding problems is presented which migitates the effects of conventional problem generation approaches. An evaluation using these newly defined concepts demonstrates how new insights on algorithm behavior can be gained. The proposed concepts support experimenters in obtaining more precise and tangible evaluation data for embedding algorithms.
Älter werden wir alle. Doch die Bedürfnisse, die jeder von uns beim Älter- bzw. Altwerden hat und entwickelt, sind von Mensch zu Mensch unterschiedlich. Es ist daher wichtig, sich früh-zeitig mit dem eigenen sowie dem Älterwerden von Familienmitgliedern auseinanderzuset-zen, um auch im Alter größtmögliche Flexibilität und Mobilität zu erhalten. Dies ermöglicht ein hohes Maß an Lebensqualität bis ins hohe Alter. Besonders wichtig für die persönliche Planung sind die Fragen „Wie und wo möchte ich im Alter leben?“ und „Wie möchte ich mich versorgen oder versorgt werden?“.
Damit auf die Wünsche und Bedürfnisse der Bürgerinnen und Bürger der Gemeinde Mauth-Finsterau optimal und rechtzeitig eingegangen werden kann, hat die Gemeinde ein Forschungsprojekt zur Wohnraum- und Nahversorgung initiiert. Bei der Beantwortung obengenannter Fragen erfährt Bürgermeister Ernst Kandlbinder Unterstützung vom Projektbüro Rothkopf aus Spiegelau sowie der Professur für Regionale Geographie der Universität Passau. Finanziell begleitet wird das Projekt vom Amt für ländliche Entwicklung Niederbayern mit Mitteln des Bayerischen Staatsministeriums für Ernährung, Landwirtschaft und Forsten. Die Idee hinter dem Projekt ist, mit Hilfe umfangreicher Bürgerbeteiligung ein nachhaltiges Wohn- und Versorgungskonzept für Mauth-Finsterau zu erstellen. Dieses Konzept zeigt, wie sich bereits bestehende Möglichkeiten und Strukturen in der Gemeinde nutzen und mit den Bedürfnissen und Wünschen der Bürgerinnen und Bürger bezüglich des Wohnens und Versorgens im Alter verbinden lassen und wo neue Ideen greifen können.