Filtern
Erscheinungsjahr
- 2013 (87) (entfernen)
Dokumenttyp
- Bachelorarbeit (31)
- Dissertation (23)
- Ausgabe (Heft) zu einer Zeitschrift (13)
- Masterarbeit (12)
- Diplomarbeit (3)
- Studienarbeit (3)
- Konferenzveröffentlichung (1)
- Habilitation (1)
Schlagworte
- Pflanzenschutzmittel (3)
- Information Retrieval (2)
- Routing (2)
- Vorlesungsverzeichnis (2)
- ABox (1)
- Abduktion <Logik> (1)
- Aggregation (1)
- Agrochemikalien (1)
- Arbeitsbelastungen (1)
- Arbeitszufriedenheit (1)
- Bach (1)
- Bewertung (1)
- Biogeografie (1)
- Biomonitoring (1)
- Boden (1)
- Bodenchemie (1)
- Bodenökologie (1)
- Burn-out-Syndrom (1)
- Burnout (1)
- C++ (1)
- CIDR (1)
- Calculus (1)
- Cations (1)
- Chironomus riparius (1)
- Computational Toxicology (1)
- Compute Shader (1)
- Computergraphik (1)
- Computermodell (1)
- Computervisualistik (1)
- Cooperative Learning; Teaching Methods (1)
- Crayfish (1)
- Crayfish plague (1)
- Deduktion (1)
- Defi-Now! (1)
- Defibrillator (1)
- Differentia Scanning Calorimetry (1)
- Differential scanning calorimetry (1)
- Digitale Bibliothek (1)
- Distance Vector Routing (1)
- Distanz Vektor Routing (1)
- Distribution <Linguistik> (1)
- E-KRHyper (1)
- E-KRHyper theorem prover (1)
- Edelkrebs (1)
- Elektronische Bibliothek (1)
- Emergenz (1)
- Endokrine Regulation (1)
- Englisch (1)
- Enterprise 2.0 (1)
- Entwicklung (1)
- Environmental Risk Assessment (1)
- Erste Hilfe (1)
- Fabric Simulation (1)
- First aid (1)
- Fledermäuse (1)
- Flugbegleiter (1)
- Fluss (1)
- Fragebeantwortung (1)
- GIRT (1)
- Game Design (1)
- Gefrierpunktserniedrigung (1)
- Genetic diversity (1)
- Genetische Variabilität (1)
- Gewässer (1)
- Glasumwandlung (1)
- Glasübergang (1)
- Graphik (1)
- Grundwasser (1)
- Grundwasserfauna (1)
- Grundwasserökologie (1)
- Hyaluronan (1)
- Hyaluronsäure (1)
- Hydratation (1)
- Hydration (1)
- Individualisierung von Lernwegen (1)
- Individualized Learning (1)
- Individuelle Förderung (1)
- Informatik (1)
- Information (1)
- Information Flow Ontology (1)
- Information Visualization (1)
- Informationsverarbeitung (1)
- Informationsverlinkung (1)
- Informationsvisualisierung (1)
- Informetrie (1)
- Integrated Model (1)
- Interactive Visualizations (1)
- Interaktive Visualisierungen (1)
- Internetregulierung (1)
- Kation-Brücken (1)
- Kationen (1)
- Kognitive Linguistik (1)
- Kontiguität (1)
- Konturfindung (1)
- Konzept (1)
- Kookkurrenz (1)
- Kooperatives Lernen (1)
- Krebspest (1)
- Landwirtschaft (1)
- Lendenwirbelsäule (1)
- Limnologie (1)
- Limology (1)
- Line Space (1)
- Linespace (1)
- Linked Data Modeling (1)
- Linking of Information (1)
- Literaturrecherche (1)
- Logischer Schluss (1)
- Lookup-Algorithmen (1)
- MKS-Simulation (1)
- Magnetis (1)
- Mesofauna (1)
- Methode (1)
- Mikroorganismus (1)
- Mitarbeiterzufriedenheit (1)
- Mixture Toxicity (1)
- Museums visitors (1)
- Museumsbesucher (1)
- N-Body Simulation (1)
- N-Körper Simulation (1)
- NMR-Spektroskopie (1)
- Non-freezing water (1)
- Nuclear Magnetic R (1)
- OWL (1)
- Online-Kommunikation (1)
- Ontologie (1)
- OpenGL (1)
- OpenGL Shading Language (1)
- Operationsplanung (1)
- Organische Bodensubstanz (1)
- Pestizid (1)
- Pestizide (1)
- Phylogeographie (1)
- Plasticization; Glass transition (1)
- Plastifizieren (1)
- Plastifizierung (1)
- Politik (1)
- Polysaccharide (1)
- Polysaccharides (1)
- Power Law (1)
- Predictive Model (1)
- Programmierung (1)
- Prädikatenlogik (1)
- Präposition (1)
- RDF (1)
- Rechnernetz (1)
- Risikoabschätzung (1)
- Risikoanalyse (1)
- Risikomanagement (1)
- Route Aggregation (1)
- Routen-Aggregation (1)
- Router (1)
- Routing- und Forwarding Tabellen (1)
- Schlussfolgern (1)
- Schreibprozess (1)
- Semantic Web (1)
- Simulation (1)
- Situationales Interesse (1)
- Smartphone Applikation (1)
- Softwareergonomie (1)
- Spiel (1)
- Steuerung (1)
- Stoffsimulation (1)
- Streams (1)
- Stress (1)
- Stygofauna (1)
- Stygoregion (1)
- Suchmaschine (1)
- Supernetting (1)
- Support System (1)
- Säugetiere (1)
- Süßwasserhaushalt (1)
- TBox (1)
- Text Analysis (1)
- Text Mining (1)
- Textlinguistik (1)
- Theorem prover (1)
- Theorembeweiser (1)
- Torf (1)
- Umweltchemikalie (1)
- Umwelttoxikologie (1)
- Umweltwissenschaften (1)
- Unterrichtsmethoden (1)
- Usability (1)
- Videospiel (1)
- Visualisierung (1)
- Vocabulary Mapping (1)
- Wachstumsregler (1)
- Web 2.0 (1)
- Web Analytics (1)
- Wikipedia (1)
- Wirbellose (1)
- Wissensbasis (1)
- World Wide Web (1)
- Zuckmücken (1)
- agent-based simulation (1)
- agriculture (1)
- aquatic ecotoxicology (1)
- automated theorem prover (1)
- bats (1)
- biogeography (1)
- biomonitoring (1)
- burnout (1)
- by-stander effect (1)
- cation bridges (1)
- co-occurrence (1)
- cognitive linguistic approach (1)
- concept (1)
- conflicting information (1)
- contiguity (1)
- development (1)
- digital library (1)
- ecological risk management (1)
- ecosystem functions (1)
- emergence (1)
- endocrine disrupting chemicals (1)
- endokrine Regulation (1)
- english prepositions (1)
- flight attendant (1)
- freshwater ecosystem (1)
- game (1)
- governance (1)
- groundwater ecology (1)
- groundwater fauna (1)
- iSearch (1)
- information flow regulation (1)
- information processing (1)
- interaktiv (1)
- invertebrates (1)
- knowledge base (1)
- kollaboratives Schreiben (1)
- konfligierende Information (1)
- kooperatives Schreiben (1)
- landscape (1)
- life cycle test (1)
- mammals (1)
- metasearch engine (1)
- microorganisms (1)
- minimum self-contained graphs (1)
- modelling (1)
- nicht gefrierbares Wasser (1)
- norm (1)
- ontology (1)
- peat (1)
- pesticide (1)
- pesticides (1)
- plant protection products (1)
- policy modelling (1)
- probabilistic (1)
- question answering (1)
- risk assessment (1)
- search engine (1)
- situational interest (1)
- smartphone app (1)
- soil (1)
- soil organic matter (1)
- stygofauna (1)
- teaching (1)
- usability study (1)
- video game (1)
- workload (1)
- Ökologie (1)
- Ökosystem (1)
- Ökotoxologie (1)
Institut
- Fachbereich 4 (50)
- Fachbereich 7 (9)
- Zentrale Einrichtungen (8)
- Fachbereich 8 (4)
- Institut für Computervisualistik (4)
- Institut für Informatik (4)
- Institute for Web Science and Technologies (2)
- Fachbereich 5 (1)
- Institut für Germanistik (1)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (1)
- Institut für Integrierte Naturwissenschaften, Abt. Chemie (1)
- Institut für Integrierte Naturwissenschaften, Abt. Geographie (1)
- Institut für Management (1)
- Institut für Soziologie und Politikwissenschaft (1)
- Institut für Wirtschafts- und Verwaltungsinformatik (1)
- Mathematisches Institut (1)
Zweite Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang Umweltwissenschaften und in den Masterstudiengängen Umweltwissenschaften und Ecotoxicology an der Universität Koblenz-Landau, Campus Landau
Ordnung zur Änderung der Einschreibeordnung für die Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für den Bachelorstudiengang und den Masterstudiengang "Psychologie" des Fachbereichs Psychologie der Universität Koblenz-Landau, Campus Landau
Vierte Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für den Bachelorstudiengang und den Masterstudiengang "Psychologie" des Fachbereichs Psychologie der Universität Koblenz-Landau, Campus Landau
Zweite Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang Umweltwissenschaften und in den Masterstudiengängen Umweltwissenschaften und Ecotoxicology an der Universität Koblenz-Landau, Campus Landau
Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Promotionsordnung des Fachbereichs 7: Natur- und Umweltwissenschaften der Universität Koblenz-Landau, Campus Landau
Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau für das Studienjahr 2014
Masterprüfungsordnung für den Weiterbildenden Fernstudiengang "Energiemanagement" an der Universität Koblenz-Landau
Fünfte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau
Zweite Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Promotionsordnung des Fachbereichs 1: Bildungswissenschaften der Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für Studierende des Bachelorstudiengangs und des Masterstudiengangs "Kulturwissenschaft" des Fachbereichs 2: Philologie / Kulturwissenschaften an der Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Prüfungsordnung für den Bachelorstudiengang "Sozialwissenschaften" und den Masterstudiengang "Moderne Gesellschaften im Wandel" des Fachbereichs 6: Kultur- und Sozialwissenschaften an der Universität Koblenz-Landau
Sechste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau
Vierte Ordnung zur Änderung der Prüfungsordnung für die Prüfung in den Masterstudiengängen für das Lehramt an Grundschulen, das Lehramt an Realschulen plus, das Lehramt an Förderschulen sowie das Lehramt an Gymnasien an der Universität Koblenz-Landau
Vierte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau Erste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Erste Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang Erziehungswissenschaft an der Universität Koblenz-Landau, Campus Landau
Customization is a phenomenon which was introduced quite early in information systems literature. As the need for customized information technology is rising, different types of customization have emerged. In this study, customization processes in information systems are analyzed from a perspective based on the concept of open innovation. The objective is to identify how customization of information systems can be performed in an open innovation context. The concept of open innovation distinguishes three processes: Outside-in process, inside-out process and coupled process. After categorizing the selected journals into three core processes, the findings of this analysis indicated that there is a major concentration on outside-in processes. Further research on customization in coupled and inside-out processes is recommended. In addition, the establishment of an extensive up-to-date definition of customization in information systems is suggested.
Diese Arbeit beschreibt die Implementation eines Pfadplanungs-Algorithmus für Seriengespannfahrzeuge mithilfe von Maschinellen Lernalgorithmen. Zu diesem Zwecke wird ein allgemeiner Überblick über genetische Algorithmen gegeben, alternative Ansätze werden ebenfalls kurz erklärt. Die Software die zu diesem Zwecke entwickelt wurde basiert auf der EZSystem Simulationssoftware der AG Echtzeitsysteme der Universität Koblenz-Landau, sowie auf der von Christian Schwarz entwickelten Pfadkorrektursoftware, die ebenfalls hier beschrieben wird. Diese enthält auch eine Beschreibung des, zu Simulationszwecken, verwendeten Fahrzeugs. Genetische Algorithmen als Lösung von Pfadplanungsproblemen in komplexen Szenarien werden dann, basierend auf der entwickelten Simulationssoftware, evaluiert und diese Ergebnisse werden dann mit alternativen, nicht-maschinellen Lernalgorithmen, verglichen. Diese werden ebenfalls kurz erläutert.
Aufgrund der zunehmenden Verbreitung des mobilen Internets, können E-Mails direkt von mobilen Geräten gesendet und empfangen werden. Inhalte digitaler Kommunikation sollten verschlüsselt werden, um zu verhindern, dass sie abgefangen und manipuliert werden. Entsprechende Verfahren setzen kryptographische Schlüssel ein, die zuvor ausgetauscht werden müssen. Es muss sichergestellt sein, dass ein kryptographischer Schlüssel tatsächlich der Person zugeordnet ist, zu der er angeblich gehört. Im Rahmen dieser Arbeit wurde ein Konzept für eine Smartphone-Anwendung entwickelt, um kryptographische Schlüssel im persönlichen Kontakt auszutauschen. Das Konzept besteht aus dem Entwurf eines komponentenbasierten Frameworks, mit dem sich Daten sicher austauschen lassen. Das Framework wurde anschließend erweitert und als Grundlage für die Entwicklung einer Smartphone-Anwendung eingesetzt. Die Anwendung ermöglicht es, kryptographische Schlüssel zu erzeugen, zu verwalten und im persönlichen Kontakt auszutauschen. Für den Austausch wird die Near Field Communication genutzt. Durch implementierte Sicherheitsmechanismen ist gewährleistet, dass der Schlüsselaustausch weder abgehört, noch gezielt manipuliert werden kann. In Zukunft können das Konzept und die Anwendung erweitert und angepasst werden, um sie in anderen Arbeiten einzusetzen.
E-KRHyper is a versatile theorem prover and model generator for firstorder logic that natively supports equality. Inequality of constants, however, has to be given by explicitly adding facts. As the amount of these facts grows quadratically in the number of these distinct constants, the knowledge base is blown up. This makes it harder for a human reader to focus on the actual problem, and impairs the reasoning process. We extend E-Hyper- underlying E-KRhyper tableau calculus to avoid this blow-up by implementing a native handling for inequality of constants. This is done by introducing the unique name assumption for a subset of the constants (the so called distinct object identifiers). The obtained calculus is shown to be sound and complete and is implemented into the E-KRHyper system. Synthetic benchmarks, situated in the theory of arrays, are used to back up the benefits of the new calculus.
Die Bedeutung von Social Software (SSW) nimmt nicht nur im Privatleben vieler Menschen zu. Auch Unternehmen haben mittlerweile die Potentiale dieser Systeme erkannt und setzen vermehrt auf Web 2.0 Technologien basierende Systeme im Unternehmenskontext ein. So brachte eine Studie der Association for Information and Image Management (AIIM) im Jahr 2009 hervor, dass über 50 % der Befragten Enterprise 2.0 (E2.0), d.h. der Einsatz von SSW im Unternehmen, als kritischen Faktor des Unternehmenserfolges ansahen. Auch durch diesen Trend mit verursacht stieg, laut einer Studie des Beratungsunternehmens IDC, die Menge an digital verfügbaren Informationen innerhalb einer Zeitspanne von fünf Jahren (2006-2011) um den Faktor zehn. Wo früher galt, "Je mehr Information, desto besser.", bereitet heute das Managen dieser schieren Flut an Informationen vielen Unternehmen Probleme (bspw. in Bezug auf die Auffindbarkeit von Informationen). SSW bietet mit neuen Funktionen, wie Social Bookmarking, Wikis oder Tags, das Potential, Informationen durch Nutzerbeteiligung besser zu strukturieren und zu organisieren. In der vorliegenden Arbeit wird am Beispiel der Forschungsgruppe für Betriebliche Anwendungssysteme (FG BAS) gezeigt, wie man vorhandene Informationsstrukturen erfassen, analysieren und darauf basierend Empfehlungen für den Einsatz von SSW herleiten kann. Den Rahmen für dieses Vorgehen bildet ein von Henczel (2000) entwickeltes Modell zur Durchführung eines Information Audits. Hervorzuhebende Ergebnisse der Arbeit stellen zum Einen das Erfassungsmodell für Informationen und Prozesse dar (Informationsmatrix) und zum Anderen das Visualisierungsmodell der erfassten Daten.
Concept for a Knowledge Base on ICT for Governance and Policy Modelling regarding eGovPoliNet
(2013)
Das EU-Projekt eGovPoliNet beschäftigt sich mit der Forschung und Entwicklung im Bereich der Informations- und Kommunikationstechnologien (IKT) für Steuerung und Politikgestaltung. Zahlreiche Communities verfolgen in diesem Themenbereich ähnliche Ziele der IT-unterstützten, strategischen Entscheidungsfindung und Simulation sozialer Problemfelder. Die vorhandenen Lösungsansätze sind bislang jedoch recht fragmentiert. Ziel von eGovPoliNet ist es in diesem Zusammenhang der Fragmentierung zu begegnen und durch die Förderung der Kooperation von Forschung und Praxis einen internationalen, offenen Dialog zu etablieren. Dieser wird durch die Beteiligung der Akteure auf diesem Gebiet der IKT die Diskussion und Entwicklung verschiedener Problemfelder voranbringen. Hierbei werden Akteure aus Forschung und Praxis ihre Expertise und Best-Practice Erkenntnisse teilen, um Politikanalyse, Modellierung und Steuerung zu unterstützen. eGovPoliNet wird zur Unterstützung dieses Dialogs eine Wissensbasis bereitstellen, deren konzeptuelle Ausarbeitung Gegenstand dieser Arbeit ist. Die Wissensbasis soll mit Inhalten aus dem Bereich der IKT zur strategischen Entscheidungsfindung und Simulation sozialer Problemfelder gefüllt werden, beispielsweise mit Publikationen, Softwarelösungen, oder Projektbeschreibungen. Diese Inhalte gilt es zu strukturieren, nutzenstiftend zu organisieren und zu verwalten, sodass die Wissensbasis letztendlich als Quelle gesammelten Wissens dient, welche die bislang fragmentierten Forschungs- und Entwicklungsergebnisse an zentraler Stelle vereint.
Ziel dieser Arbeit ist es also, ein Konzept einer Wissensbasis zu entwerfen, welches die nötige Struktur und die nötigen Funktionen bietet, Wissen bezüglich IKT-Lösungen zu verwalten. Das bedeutet in diesem Zusammenhang Wissen zu sammeln, aufzubereiten und dem Nutzer zugänglich zu machen. Die Wissensbasis soll außerdem nach Inhalten durchsuchbar sein. Desweiteren sollen die Nutzer motiviert werden, selbstständig an der Weiterentwicklung und Pflege der Wissensbasis mitzuwirken.
Die vorliegende Doktorarbeit verfolgt das Ziel, die Bevölkerungsentwicklung im Westerwaldkreis im Zeitraum von 1974 bis 2008 auf Kreis-, Verbandsgemeinde- und Gemeindeebene detailliert zu untersuchen und im Rahmen eines Handlungskonzeptes für ausgewählte Gemeinden geeignete Maßnahmen zur konkreten Gestaltung des Demographischen Wandels aufzuzeigen. Dies geschieht zunächst anhand einer umfassenden Analyse der Bevölkerungsdaten. Dazu zählt eine Einteilung des Untersuchungszeitraums in spezielle Phasen der Bevölkerungsentwicklung, welche durch die jährlichen Veränderungsraten des Bevölkerungsstandes des Westerwaldkreises charakterisiert werden. Anschließend wird ausführlicher auf wichtige Kennzahlen der Bevölkerungsentwicklung aus den Bereichen der natürlichen Bevölkerungsbewegung, der Bevölkerungsstruktur und der Wanderungen eingegangen mit der Intention, einerseits detaillierte Ergebnisse hervorzubringen, die im Rahmen bisheriger Untersuchungen nicht vorliegen und andererseits Grundlagen für die Ursachenforschung zu schaffen, die der Analyse der Bevölkerungsdaten folgt. Für diese Ursachenforschung werden fünf Gemeinden exemplarisch ausgewählt, die eine besonders positive bzw. negative Bevölkerungsentwicklung im Untersuchungszeitraum aufweisen. Integrale Bestandteile dieser Ursachenforschung sind, neben einer ausführlichen Darstellung der Bevölkerungsentwicklung der Gemeinden, Experteninterviews und eigene humangeographische Beobachtungen. Des Weiteren wird speziell für die drei ausgewählten Gemeinden mit negativer Bevölkerungsentwicklung eine Online-Umfrage unter Jugendlichen durchgeführt, um weitere Ursachen herauszufinden und erste zentrale Ansatzpunkte für das abschließende Handlungskonzept zu finden. Dieses Konzept verfolgt primär die Intention, den Demographischen Wandel in den drei Gemeinden in der Art und Weise zukünftig zu gestalten, dass seine negativen Folgen vermieden bzw. zumindest abgemildert werden. Dazu ist es notwendig, auf die spezifischen Situationen vor Ort einzugehen und die praktische Umsetzbarkeit möglicher Handlungsempfehlungen zu berücksichtigen, damit das Konzept Eingang in die kommunalpolitische Planung findet und somit nicht nur einen Beitrag zur bevölkerungsgeographischen Forschung darstellt, sondern auch einen Nutzen für die kommunale Handlungspraxis stiftet.
Tagging-Systeme sind faszinierende dynamische Systeme in denen Benutzer kollaborativ Ressourcen mit sogenannten Tags indexieren. Um das volle Potential von Tagging-Systemen nutzen zu können ist es wichtig zu verstehen, wie sich das Verhalten der einzelnen Benutzer auf die Eigenschaften des Gesamtsystems auswirkt. In der vorliegenden Arbeit wird das Epistemic Dynamic Model präsentiert. Es schlägt eine Brücke zwischen dem Benutzerverhalten und den Systemeigenschaften. Das Modell basiert auf der Annahme, dass der Einfluss des gemeinsamen Hintergrundwissens der Benutzer und der Imitation von Tag-Vorschlägen ausreicht, um die Entstehung der Häufigkeitsverteilungen der Tags und des Wachstums des Vokabulars zu erklären. Diese beiden Eigenschaften eines Tagging-Systems hängen eng mit der Entstehung eines gemeinsamen Vokabulars der Benutzer zusammen. Mit Hilfe des Epistemic Dynamic Models zeigen wir, dass die generelle Ausprägung der Tag-Häufigkeitsverteilungen und des Wachstums des Vokabulars ihren Ursprung in dem gemeinsamen Hintergrundwissen der Benutzer haben. Tag-Vorschläge können dann dazu genutzt werden, um gezielt diese generelle Ausprägung zu beeinflussen. In der vorliegenden Arbeit untersuchen wir hauptsächlich den Einfluss der von Vorschlägen populärer Tags ausgeht. Populäre Tags sorgen für einen Feedback-Mechanismus zwischen den Vokabularen der einzelnen Benutzer, der die Inter-Indexer Konsistenz der Tag-Zuweisungen erhöht. Wie wird aber dadurch die Indexierungsqualität in Tagging-Systemen beeinflusst? Zur Klärung dieser Frage untersuchen wir eine Methode zur Messung der Inter-Ressourcen Konsistenz der Tag-Zuweisungen. Die Inter-Ressourcen Konsistenz korreliert positiv mit der Indexierungsqualität, und mit der Trefferquote und der Genauigkeit von Suchanfragen an das System. Sie misst inwieweit die Tag-Vektoren die durch Benutzer wahrgenommene Ähnlichkeit der jeweiligen Ressourcen widerspiegeln. Wir legen mit Hilfe unseres Modell dar, und zeigen es auch mit Hilfe eines Benutzerexperiments, dass populäre Tags zu einer verringerten Inter-Ressourcen Konsistenz führen. Des Weiteren zeigen wir, dass die Inter-Ressourcen Konsistenz erhöht wird, wenn dem Benutzer das eigene, bisher genutzte Vokabular vorgeschlagen wird. Unsere Methode zur Messung der Inter-Ressourcen Konsistenz ergänzt bestehende Evaluationsmaße für Tag-Vorschlags-Algorithmen um den Aspekt der Indexierungsqualität.
In dieser Masterarbeit geht es im Wesentlichen um die Umsetzung eines Pfadplanungsverfahrens basierend auf schnell wachsenden Suchbäumen für allgemeine Gliederfahrzeuge. Es handelt sich dabei um ein probabilistisches Verfahren, das sich durch eine schnelle und gleichmäßige Exploration auszeichnet. Das Verfahren ist etabliert, wurde bisher allerdings nur auf Fahrzeuge mit einfacher Kinematik angewendet. Die im Rahmen dieser Masterarbeit betrachteten Gliederfahrzeuge stellen mit ihrer eingeschränkten Steuerbarkeit eine besondere Herausforderung dar. Im Fokus dieser Masterarbeit steht daher die Anwendung des genannten Verfahrens auf allgemeine Gliederfahrzeuge. Dabei werden systematische Zusammenhänge zwischen den Fahrzeugeigenschaften von Gliederfahrzeugen und den Möglichkeiten zur Realisierung und Anwendung des Verfahrens untersucht.
Geschäftsprozessmanagement (GPM) gilt in der heutigen Unternehmensentwicklung als einer der wichtigsten Erfolgsfaktoren und wird von modernen Unternehmen auch als solcher wahrgenommen [vgl. IDS Scheer 2008]. Bereits 1993 waren Geschäftsprozesse für Hammer und Champy der zentrale Schlüssel zur Reorganisation von Unternehmen [vgl. Hammer, Champy 1993, S. 35]. Den Paradigmenwechsel von der Aufbau- zur Ablauforganisation und letztendlich zur etablierten "Prozessorganisation" wurde von Gaitanides schon 1983 erstmals beschrieben [vgl. Gaitanides 2007].
Trotz einer breiten und tiefen Behandlung des Themengebiets "Geschäftsprozessmanagement" in der wissenschaftlichen Literatur, gestaltet es sich schwierig, einen schnellen Überblick in Bezug auf Vorgehensweisen zur Einführung von Geschäftsprozessmanagement zu erhalten. Dies ist im Wesentlichen der Tatsache geschuldet, dass in der Literatur "Geschäftsprozessmanagement" in unterschiedlichen wissenschaftlichen Bereichen wie z.B. der Organisationslehre [vgl. z.B. Vahs 2009; Schulte-Zurhausen 2005], der Betriebswirtschaft [vgl. z.B. Helbig 2003; Schmidt 2012] oder der Informatik bzw. Wirtschaftsinformatik [vgl. z.B. Schmelzer, Sesselmann 2008; Schwickert, Fischer 1996] behandelt und der Aufbau eines GPMs anhand unterschiedlicher Themenschwerpunkte beschrieben wird. Insbesondere gestaltet sich die Suche nach Literatur zu Geschäftsprozessmanagement speziell für kleine und mittlere Unternehmen (KMU) und zu Einführungsmethoden von BPM in KMU als schwierig. Die Kombination "Vorgehensweisen zur Einführung von Geschäftsprozessmanagement bei KMU" ist in der wissenschaftlichen Literatur nicht aufzufinden. Mit der vorliegenden Arbeit soll ein erster Ansatz geschaffen werden, diese Lücke zu schließen. Diese Arbeit zielt darauf ab, anhand einer Auswahl von Vorgehensweisen zur Einführung von Geschäftsprozessmanagement deren charakteristische Eigenschaften zu analysieren und einander gegenüberzustellen. Zudem erfolgt eine Bewertung auf die Anwendbarkeit einzelner Vorgehensweisen auf kleine und mittlere Unternehmen anhand zuvor erhobener, für KMU wichtiger Anforderungen an BPM und dessen Einführung.
Auf Basis der dieser Arbeit zugrundeliegenden Bewertungskriterien schneidet die Vorgehensweise nach Schulte-Zurhausen im Gesamtergebnis am besten ab. Dennoch ist festzustellen, dass jede der untersuchten Vorgehensweisen Stärken und Schwächen bzgl. der Eignung für ein KMU aufweist. Dies hat zur Folge, dass bei der Einführung eines Geschäftsprozessmanagements jede der untersuchten Vorgehensweisen einer Anpassung und Adaption auf die Situation eines KMUs bedarf. Aus diesem Grund empfiehlt der Autor dieser Arbeit einem KMU, eine Vorgehensweise als grundlegende Vorgehensweise der Einführung festzulegen (in diesem Fall die Vorgehensweise nach Schulte-Zurhausen) und diese durch jeweils geeignete Aspekte der weiteren Vorgehensweisen anzureichern bzw. zu vervollständigen.
This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to effciently delete assertions from the ABox. Furthermore, insertion of assertions as well as repair of inconsistent ABoxes is addressed. For the computation of the necessary actions for deletion, insertion and repair, the E-KRHyper theorem prover is used.