open_access
Refine
Year of publication
Document Type
- Doctoral Thesis (445)
- Part of Periodical (139)
- Article (56)
- Book (49)
- Report (21)
- Preprint (16)
- Conference Proceeding (10)
- Master's Thesis (10)
- Other (9)
- Bachelor Thesis (7)
Language
- German (478)
- English (286)
- Multiple languages (5)
- Spanish (3)
- French (1)
Has Fulltext
- yes (773)
Keywords
- Lehrerbildung (30)
- Deutschland (22)
- Österreich (18)
- Universität Passau (13)
- Kultursemiotik (12)
- Maßtheorie (12)
- Mediensemiotik (12)
- Graphenzeichnen (9)
- Computersicherheit (8)
- Didaktik (7)
Institute
- Philosophische Fakultät (206)
- Fakultät für Informatik und Mathematik (112)
- Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik (70)
- Wirtschaftswissenschaftliche Fakultät (65)
- Mitarbeiter Lehrstuhl/Einrichtung der Wirtschaftswissenschaftlichen Fakultät (40)
- Juristische Fakultät (39)
- Zentrum für Lehrerbildung und Fachdidaktik (32)
- Department für Katholische Theologie (28)
- Universitätsbibliothek (28)
- Philosophische Fakultät / Pädagogik (23)
Die autonome Steuerung mobiler, technischer Systeme in nicht exakt vorherbestimmbaren Situationen erfordert Methoden der autonomen Entscheidungsfindung, um ein planvolles, zielgerichtetes Agieren und Reagieren unter Echtzeitbedingungen realisieren zu können. Während mittels mathematischer Formeln Basisverhalten, wie beispielsweise in einer Geradeausbewegung, einer Drehung, bei einem Abbremsen, und in Gefahrenmomenten schnelle Reaktionen, berechnet werden, benötigt man auf der anderen Seite ein Regelsystem, um darüber hinaus "intelligentes", d.h. situationsangepaßtes Verhalten zu produzieren und gleichzeitig im Hinblick auf ein Missionsziel planvoll agieren zu können. Derartige Regelsysteme müssen sich auf einer abstrakten Ebene formulieren lassen, sollen sie vom Menschen problemlos entwickelbar, leicht modifizierbarund gut verifizierbar bleiben. Eine aufgrund ihres Konzeptes geeignete Programmierwelt ist die Logikprogrammierung. Ziel der Logikprogrammierung ist es weniger, Arbeitsabläufe zu beschreiben, als vielmehr Wissen in Form von Fakten zu spezifizieren und mit Hilfe von Regeln Schlußfolgerungen aus diesen Fakten ziehen zu können. Die klassische Logikprogrammierung ist jedoch aufgrund ihres Auswertungsmechanismus der SLD-Resolution (linear resolution with selected function for definite clauses) zu langsam für die Anwendung bei Echtzeitsystemen. Auch parallele Sprachformen, die ebenfalls mit SLD-Resolution arbeiten, erreichen beim Einsatz auf (von Neumann-) Mehrprozessorsystemen bislang nicht die notwendige Effizienz. Das Anwendungsgebiet der deduktiven Datenbanken hat im Vergleich dazu durch Bottom-Up Techniken einen anderen Auswertungsansatz mit deutlich höherer Effizienz geliefert. Viele dort auftretenden Probleme können jedoch nur durch die Integration anforderungsgetriebener Abarbeitung gelöst werden. Auf der anderen Seite stellen Datenflußrechnerarchitekturen aufgrund der automatisierten Ausbeutung feinkörniger Parallelität einen hervorragenden Ansatz der Parallelverarbeitung dar. Bei Datenflußrechnerarchitekturen handelt es sich um (Mehrprozessor-) Systeme, deren datengetriebener Abarbeitungsmechanismus sich grundlegend vom weit verbreiteten kontrollflußgesteuerten von Neumann-Prinzip unterscheidet.Überlegungen zur Struktur von Steuerungssystemen werden ergeben, daß es mittels Ansätzen aus dem Gebiet der deduktiven Datenbanken möglich ist, ein für diese Aufgabenstellung neuartiges, ausschließlich datengetriebenes Auswertungsmodell zu generieren. Dabei vermeidet es Probleme, die bei Bottom-Up Verfahren auftreten können, wie z.B. das Auftreten unendlicher Wertemengen und die späte Einschränkung auf relevante Werte, ohne gleichzeitig die Stratifizierung von Programmen zu gefährden. Ergebnis der Arbeit ist eine anwendungsbezogene, problemorientierte Entwicklungsumgebung, die einerseits die Entwicklung und Verifikation der Spezifikation mit existierenden Werkzeugen erlaubt und andererseits die effiziente, parallele Ausführung auf geeigneten Rechensystemen ermöglicht. Zusätzlich wird die Voraussetzung geschaffen, verschiedene weitere, für die Steuerung autonomer Systeme unverzichtbare Komponenten in das Abarbeitungsmodell zu integrieren. Simulationsergebnisse werden belegen, daß das vorgestellte Berechnungsmodell bezüglich realer Anwendungsbeispiele bereits in einer Monoprozessorversion Echtzeitbedingungen genügt. Damit ist die Voraussetzung für die Ausführung zukünftiger, weitaus komplexerer Steuerungsprobleme, ggf. auf Mehrprozessorsystemen, in Echtzeit geschaffen.
Die Arbeit befasst sich mit dem Faktor Zeit in der internationalen Fernsehwerbung und seinen Kulturraum bedingten Unterschiede. In keinem anderen Medium spielen marktwirtschaftliche Regeln und Kontrollinstrumente eine so entscheidende Rolle wie in der Fernsehwerbung. Bei Kulturraum-ökonomisch optimalem Einsatz von Werbebudget können zukünftig große Summen Geld gespart werden. Insbesondere im zeitlich bedingten suboptimalen Einsatz von Werbegeldern liegt großes Verbesserungspotential.
Allen praktizierenden Lehrern im Hochschulwesen ist die Tatsache bekannt, dass die Studenten mit einer Fremdsprache als Hauptfach immer Schwierigkeiten mit den Übersetzungsübungen und den Übersetzungklausuren haben. Ihre Ergebnisse in den Übersetzungen sind viel schlechter als ihre mündlichen oder andere schriftlichen Äußerungen in der Fremdsprache. Dies kann man auch so formulieren, dass die Leistungen dieser Studenten in den Übersetzungsklausuren nicht im geraden Verhältnis mit den Leistungen der Fremsprachenkenntnisse stehen. Mit welchem Ziel werden die Übersetzungsübungen im Fremdsprachenstudium eingesetzt und was wird mit den Übersetzungsklausuren kontrolliert? Übersetzungsübungen sind in den Lehrwerken der Seminare zu finden, die sich auf die Verbesserung der fremdsprachlichen Kenntnisse und Fähigkeiten der Studenten konzentrieren und der Seminare, deren Ziel das Übersetzen und die Vermittlung seiner Methoden ist. Die Übersetzungsübungen von der Muttersprache in die Fremdsprache und von der Fremdsprache in die Muttersprache können entweder aus der Übersetzung von einzelnen Sätzen oder Syntagmen oder Wörtern oder einem Text bestehen. Sie werden eingesetzt, um die Studenten auf die Schwerpunkte der Fremdsprache im Bereich der Morphologie und der Semantik, selten auch der Pragmatik (im Vergleich zu der Muttersprache) aufmerksam zu machen. Die Übersetzungsklausuren wollen die in den Übersetzungsübungen geübten Kenntnisse und Fähigkeiten überprüfen. Man kontrolliert, wie die Studenten die Fremdsprache beherrschen. Können mit der Übersetzung die Fremdsprachenkenntnisse geprüft werden? Ja, man kann damit AUCH die Fremdsprachenkenntnisse prüfen, aber nur zusammen mit anderen Kentnissen, die man beim Übersetzen anwenden muss: Übersetzungskompetenz, Kulturkompetenz, Kenntnisse im Bereich der Landeskunde, Rechtschreibung und andere, vom Thema des Textes abhängige (Fach)Kenntnisse.
Die Arbeit konzentriert sich im wesentlichen auf die Beantwortung folgender Fragen: Was ist unter interkultureller Kompetenz zu verstehen? Welches Kulturkonzept ist für das Verständnis interkultureller Kompetenz zu wählen? Welche Beziehungen bestehen zwischen Kulturstandards und managementrelevanten Dimensionen? Wie lassen diese sich beschreiben? Wie ist der Prozess des interkulturellen Kompetenzerwerbs zu beschreiben? Welche Phasen durchläuft er und welche Vorbedingungen sind daran gebunden? Welche Forderungen lassen sich aus diesem Verständnis ableiten? Im Rahmen dieser Arbeit werden Antworten darauf gegeben, was aus der Perspektive einer Führungskraft unter dem interkulturellen Kompetenzerwerb zu verstehen ist, wie sich dieser Prozess modellhaft darstellen und interpretieren lässt und welche Schlussfolgerungen sich daraus für Theorie und Praxis ableiten lassen.
Tierplastik im 20.Jahrhundert. Heinz Theuerjahr (1913 - 1991). Biographie und Werkverzeichnis
(2000)
Bei der vorliegenden Arbeit handelt es sich um eine monographische Untersuchung des plastischen Gesamtwerkes von Heinz Theuerjahr. Den Schwerpunkt der Arbeit bildet die Erfassung der 851 plastischen Werke und ihre wissenschaftliche Aufbereitung im gesonderten Werkverzeichnis. Aus der Gesamtübersicht des plastischen Werkes heraus wird neben der Aufarbeitung einzelner Werkphasen und stilistischer Merkmale auch gezeigt, dass Theuerjahr keineswegs der Vorstellung eines reinen Tierbildhauers gerecht wird, die aus dem überproportional hohen Anteil an Tierplastiken von Theuerjahr im öffentlichen Besitz erwachsen ist. Erst im reifen Werk beginnt Theuerjahr, sich fast ausschließlich der Tierbildhauerei zu widmen. In einem weiteren Schritt wird Theuerjahrs Stellung innerhalb der traditionellen Tierbildhauerei des 20. Jahrhunderts untersucht. Im Anhang finden sich u. a. eine ausführliche Tabelle zu den Lebensdaten des Künstlers, ein detailliertes Verzeichnis aller Ausstellungen, sowie ein ikonographisches Register zum plastischen Werk.
In nahezu allen mittleren bis großen Unternehmen werden Projekte zur Lösung komplexer, teils interdisziplinärer Probleme durchgeführt . Man kann durchaus sagen, daß sich das Projektmanagement mittlerweile als Organisationsform neben der hierarchischen Struktur eines Unternehmens etabliert hat. Häufig wird es dabei zur Lösung von Aufgaben verwendet, welche einen hohen Grad an Neuartigkeit und Komplexität aufweisen, da traditionelle Linienorganisationen eher auf langfristige Zielsetzungen und Aufgaben ausgerichtet sind. Solche im Rahmen eines Projekts behandelten Probleme können in der Regel nicht intuitiv gelöst werden. Sie bedürfen einer systematischen Planung, um das Risiko von Fehlentscheidungen zu verringern. Das Projektmanagement bietet Methoden und Verfahren zur Organisation, Planung, Überwachung und Steuerung eines solchen Projekts . Die Verwendung von Methoden des Projektmanagements ist heute eine der wesentlichen Voraussetzungen, Effizienz und Innovationsfähigkeit von Unternehmen zu steigern, um sich im internationalen Wettbewerb zu behaupten. Durch den Einsatz von Projektplanungsmethoden können durchschnittlich Einsparungen in Höhe von etwa 15 erzielt werden . Dem steht ein durchschnittlicher Anteil der Planungskosten an den Projektkosten von circa 0,1 - 4 gegenüber. Probleme der Ablaufplanung sind daher seit mehreren Jahrzehnten verstärkt auch in der theoretischen Betrachtung im Rahmen des Operations Research häufig behandelte Themen. Diese Arbeit betrachtet die Planung eines Vorhabens mit komplexer Ablaufstruktur für den Fall, daß die Einzelvorgänge des Projekts in verschiedenen Durchführungsmodi ausgeführt werden können und die zur Durchführung des Vorhabens benötigten Ressourcen nur begrenzt zur Verfügung stehen. Zur Lösung des betrachteten Ressourcenplanungsproblems für diese Planungssituation stehen noch keine geeigneten Algorithmen zur Verfügung
One of the most important algorithms for real quantifier elimination is the quantifier elimination by virtual substitution introduced by Weispfenning in 1988. In this thesis we present numerous algorithmic approaches for optimizing this quantifier elimination algorithm. Optimization goals are the actual running time of the implementation of the algorithm and the size of the output formula. Strategies for obtaining these goals include simplification of first-order formulas,reduction of the size of the computed elimination set, and condensing a new replacement for the virtual substitution. Local quantifier elimination computes formulas that are equivalent to the input formula only nearby a given point. We can make use of this restriction for further optimizing the quantifier elimination by virtual substitution. Finally we discuss how to solve a large class of scheduling problems by real quantifier elimination. To optimize our algorithm for solving scheduling problems we make use of the special form of the input formula and of additional information given by the description of the scheduling problem