Filtern
Erscheinungsjahr
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (352) (entfernen)
Sprache
- Deutsch (267)
- Englisch (84)
- Mehrsprachig (1)
Schlagworte
- Vorlesungsverzeichnis (55)
- Forschen in Koblenz (6)
- Junges Forschen (6)
- Wissenschaft Koblenz (6)
- Bluetooth (4)
- computer clusters (4)
- ontology (4)
- Knowledge Compilation (3)
- Petri-Netze (3)
- parallel algorithms (3)
Institut
- Zentrale Einrichtungen (169)
- Fachbereich 4 (132)
- Institut für Informatik (38)
- Institut für Wirtschafts- und Verwaltungsinformatik (35)
- Institut für Management (31)
- Institute for Web Science and Technologies (15)
- Institut für Computervisualistik (12)
- Institut für Anglistik und Amerikanistik (7)
- Institut für Evangelische Theologie (7)
- Institut für Kulturwissenschaft (7)
- Institut für Softwaretechnik (6)
- Fachbereich 5 (5)
- Institut für Erziehungswissenschaft (4)
- Fachbereich 7 (1)
- Institut für Pädagogik, Abteilung Schulpädagogik/Allgemeine Didaktik (1)
Various best practices and principles guide an ontology engineer when modeling Linked Data. The choice of appropriate vocabularies is one essential aspect in the guidelines, as it leads to better interpretation, querying, and consumption of the data by Linked Data applications and users.
In this paper, we present the various types of support features for an ontology engineer to model a Linked Data dataset, discuss existing tools and services with respect to these support features, and propose LOVER: a novel approach to support the ontology engineer in modeling a Linked Data dataset. We demonstrate that none of the existing tools and services incorporate all types of supporting features and illustrate the concept of LOVER, which supports the engineer by recommending appropriate classes and properties from existing and actively used vocabularies. Hereby, the recommendations are made on the basis of an iterative multimodal search. LOVER uses different, orthogonal information sources for finding terms, e.g. based on a best string match or schema information on other datasets published in the Linked Open Data cloud. We describe LOVER's recommendation mechanism in general and illustrate it alongrna real-life example from the social sciences domain.
Unfälle verursachen jährlich einen hohen volkswirtschaftlichen Schaden für die betroffenen Personen, die Unternehmen und den Staat. Die genaue Bezifferung der Höhe des Schadens stellt ein großes Problem dar, weil die wissenschaftlichen Studien mit ihren unterschiedlichen Berechnungsmodellen stark voneinander abweichen. Angesichts der geringen Unfallhäufigkeiten im Schienenverkehr ist die Kostenberechnung in wenigen wissenschaftlichen Untersuchungen von Bedeutung. Das Ziel dieser Arbeit ist, einen Überblick über die Vorgehensweisen bei der Berechnung von Unfallkosten zu geben und die auftretenden Probleme herauszustellen. Grundsätzlich teilen sich die Unfallkosten in Personen- und Sachschäden auf. Bei den Personenschäden werden neben den materiellen Schäden, die immateriellen Schäden mitbetrachtet. Dies führt zu Schwierigkeiten in der Bewertung, weil die Verluste schwer zu beziffern sind. Zu den Hauptkomponenten der Personenschäden zählen in Unfallkostenmodellen die Schäden für den Ausfall der menschlichen Arbeitskraft, die Kosten für die medizinische Versorgung und die Kosten zur Wiederherstellung der Rechtslage. Ein Modell zur Berechnung von Personenschäden im Schienenverkehr, das ausschließlich die Schäden in Deutschland einbezieht, liegt zum jetzigen Stand der Forschung nicht vor. Vom Bundesamt für Straßenwesen (BASt) wurde ein umfangreiches Kostenmodell zur Berechnung von Unfallkosten entwickelt. Das Ergebnis dieses Modells ist, dass der Kostensatz für einen Getöteten 1,1 Millionen Euro, für einen Schwerverletzten 106.000 Euro und für einen Leichtverletzten 5.000 Euro beträgt. In dieser Arbeit wird aufgezeigt, dass dieses Modell in vielen Bereichen für den Schienenverkehr von Bedeutung ist und in diesem Kontext angewendet werden kann. Neben diesem Modell, welches auf statistisch erhobenen Kennzahlen beruht, werden verschiedene Ansätze untersucht, die den Wert eines menschlichen Lebens beschreiben. Die untersuchten Modelle unterscheiden sich in ihrer Berechnungsweise und Ergebnisse weichen voneinander ab. Bei der Berechnung der Sachschäden sind die Anschaffungskosten eines Objekts entscheidend. Zur Eingrenzung der Sachschäden liegt der Fokus in dieser Arbeit auf den Beschädigungen an der Infrastruktur und am Zugmaterial. Mithilfe des Kostenkennwertekatalogs der Deutschen Bahn AG können die Anschaffungskosten für bestimmte Infrastrukturkomponenten ermittelt werden und bilden die Grundlage für die Schadensberechnung.
Process Commodities : Entwicklung eines Reifegradmodells alsBasis für Outsourcingentscheidungen
(2009)
Der vorliegende Arbeitsbericht behandelt die Anforderungen an Prozessmanagement als Basis für Outsourcingentscheidungen. Zu dieser Fragestellung erschien im Jahr 2005 ein Artikel von Thomas Davenport mit dem Titel "The Coming Commoditization of Processes". In diesem wird auf das Fehlen eines einheitlichen Verständnisses über Inhalte und Beschreibungen von Prozessen und Prozessschritten, Leistungsindikatoren sowie Prozessmanagementpraktiken hingewiesen. Der vorliegende Arbeitsbericht versucht diese Lücke in Teilen zu schließen, indem er ein Reifegradmodell für Prozessmanagement vorstellt. Mit Hilfe des Modells können Unternehmen einschätzen, in wieweit sie vorhandene Methoden des Prozessmanagements umsetzen und damit die Grundlage für Prozessoutsourcing geschaffen haben.
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.
Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[DH05]), for which queries can be answered efficiently. This precompilation step is very expensive but it only has to be performed once. We propose to apply this technique to knowledge bases defined in Description Logics. For this, we introduce a normal form, called linkless concept descriptions, for ALC concepts. Further we present an algorithm, based on path dissolution, which can be used to transform a given concept description into an equivalent linkless concept description. Finally we discuss a linear satisfiability test as well as a subsumption test for linkless concept descriptions.
This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system specification on different levels of abstraction on the one hand, and expressing real-time system behavior with continuous variables on the other hand. It is not only shown how multi-robot systems can be modeled by a combination of hybrid automata and hierarchical state machines, but also how model checking techniques for hybrid automata can be applied. An enhanced synchronization concept is introduced that allows synchronization taking time and avoids state explosion to a certain extent.
In this paper we describe a series of projects on location based and personalised information systems. We start wit a basic research project and we show how we came with the help of two other more application oriented project to a product. This is developed by a consortium of enterprises and it already is in use in the city of Koblenz.
In this paper we describe a network for distributing personalized information within a pervasive university. We discuss the system architecture of our Bluetooth-based CampusNews-system, both, from the administrator and the user viewpoint. We furthermore present first statistical data about the usage of the partial installation at the Koblenz campus together with an outlook to future work.
In this paper we describe a network for distributing personalized Information in a metropolitan area. We discuss the system architecture of our Bluetooth-based information system as well as the reasoning process that fits users" needs with potential messages. We furthermore present our findings on parallelizing Bluetooth connection setup and performance.
This paper proposes model-driven techniques to extend IBM- SOMA method towards migrating legacy systems into Service-Oriented Architectures (SOA). The proposal explores how graph-based querying and transformation techniques enable the integration of legacy assets into a new SOA. The presented approach is applied to the identification and migration of services in an open source Java software system.
ERP-Systeme stellen einen wichtigen Kompetenzbereich der Forschungsgruppe Betriebliche Anwendungssysteme (FG BAS) am Institut für Wirtschafts- und Verwaltungsinformatik (IWVI) der Universität Koblenz-Landau dar. In enger Zusammenarbeit mit Partnern aus Wirtschaft und Wissenschaft vermittelt die Forschungsgruppe sowohl Grundlagenforschung als auch praxisbezogenes Wissen an Studierende und Unternehmen. Der vorliegende Arbeitsbericht "Künftige Anforderungen an ERP-Systeme: Deutsche Anbieter im Fokus" beleuchtet auf vier Ebenen die Architektur, die verwendete Technologie, die praktischen Einsatzmöglichkeiten und die allgemeine Marktsituation aktueller ERP-Systeme auf dem deutschsprachigen Markt. Ein besonderer Dank geht in diesem Zusammenhang an Peter Herzog (zum damaligen Zeitpunkt Marketingleiter der Bison AG), der die Idee einer solchen Untersuchung hatte und die FG BAS mit deren Durchführung betraute. Die Studie wurde vom Sommer 2007 bis zum Frühling 2008 von Norbert Frick im Rahmen seiner Diplomarbeit im Fach Informatik durchgeführt. Die Auswertung der Ergebnisse wurde inhaltlich und wissenschaftlich betreut von Prof. Dr. Petra Schubert. Die Arbeit entstand aufgrund von Literaturrecherchen, schriftlichen Umfragen und Telefoninterviews mit ERPAnbietern.
Semantic desktop environments aim at improving the effectiveness and efficiency of users carrying out daily tasks within their personal information management infrastructure (PIM). They support the user by transferring and exploiting the explicit semantics of data items across different PIM applications. Whether such an approach does indeed reach its aim of facilitating users" life and—if so—to which extent, however, remains an open question that we address in this paper with the first summative evaluation of a semantic desktop approach. We approach the research question exploiting our own semantic desktop infrastructure, X-COSIM. As data corpus, we have used over 100 emails and 50 documents extracted from the organizers of a conference-like event at our university. The evaluation has been carried out with 18 subjects. We have developed a test environment to evaluate COSIMail and COSIFile, two semantic PIM applications based on X-COSIM. As result, we have found a significant improvement for typical PIM tasks compared to a standard desktop environment.
The STOR project aims at the development of a scientific component system employing models and knowledge for object recognition in images. This interim report elaborates on the requirements for such a component system, structures the application area by identifying a large set of basic operations, and shows how a set of appropriate data structures and components can be derived. A small case studies exemplifies the approach.
Das Interesse am Konzept Crowdfunding ist in den letzten Jahren sowohl aus der Wirtschaft als auch aus der Wissenschaft gestiegen. Neben Künstlern und Entrepreneuren finanzieren nun auch Wissenschaftler ihre Projekte durch zahlreiche kleine Beiträge aus der Crowd. Allerdings spiegelt die wahrgenommene Nutzung in Deutschland nicht die Vorteile einer Crowdfunding-Kampagne wider, insbesondere nicht im internationalen Vergleich. Die vorliegende Studie untersucht diesen Umstand, indem sie die Motive und Barrieren für eine Finanzierung durch Crowdfunding identifiziert, um Empfehlungen für Forschungseinrichtungen zur Förderung von Crowdfunding zu formulieren. Durch eine Literaturanalyse werden erste Erkenntnisse ermittelt, welche dann für die Durchführung von qualitativen Interviews mit elf Wissenschaftlern, die bereits eine Crowdfunding-Kampagne erfolgreich abgeschlossen haben, verwendet werden. Die Ergebnisse zeigen, dass ForscherInnen in Deutschland Crowdfunding in erster Linie dazu verwenden, Aufmerksamkeit für das Thema und die wissenschaftliche Gemeinschaft im Allgemeinen zu schaffen. Die größten Barrieren sind der enorme Aufwand, der mit einer Kampagne verbunden ist, und die mangelnde Reputation des Konzepts des Crowdfunding seitens der deutschen Wissenschaft. Zudem eignen sich nur Themen und Projekte mit einer hohen Öffentlichkeitswirksamkeit und einem Fördervolumen von maximal fünfstelligen Beträgen. Darüber hinaus konnte die öffentliche Wahrnehmung der Experten während der Kampagne als zusätzliche Barriere identifiziert werden.
Diese Ergebnisse führen zu drei Empfehlungen für Forschungseinrichtungen zur Förderung von Crowdfunding: Es wird empfohlen das Bewusstsein für das Thema Crowdfunding als zusätzliche Form der Forschungsfinanzierung zu sensibilisieren und die Vorteile einer Crowdfunding-Kampagne hervorzuheben. Universitäten sollten mit Crowdfunding Akteuren (bspw. Plattformen und Experten) zusammenarbeiten und die Netzwerkeffekte einer Universität sollten genutzt werden. Die Universitäten sollten Unterstützung leisten, um die Arbeitsbelastung auf interdisziplinäre Teams zu verteilen, um so das Verhältnis zwischen Aufwand und Ertrag zu optimieren. Die gewählte Methodik und der Geltungsbereich der Thesis eröffnen weitere Forschungsmöglichkeiten, die die Perspektive der Universitäten und die Bedingungen in anderen Ländern untersuchen könnten. Darüber hinaus ist eine groß angelegte quantitative Studie erforderlich, um die identifizierten Konzepte statistisch zu validieren.
Das Ziel dieser Bachelorarbeit ist es, Modelle zur Kalkulation von Personenschäden für die Eisenbahnunfallkostenberechnung zu ermitteln und diese auf die Eignung zur Anwendung auf eine Eisenbahnunfalldatenbank auszuwerten. Die in dieser Arbeit betrachteten Kalkulationsmodelle für verletzte Unfallopfer wurden im Rahmen einer Literaturrecherche ermittelt und mithilfe von Durchschnitts- und Beispielwerten auf ihre Anwendbarkeit im Kontext der Eisenbahnunfalldatenbank überprüft. Für die Untersuchung zu getöteten Unfallopfern wurden Werte aus zwei bestehenden Literaturrecherchen kombiniert und mit den Werten aus der Eisenbahnunfalldatenbank verglichen. Dabei wurde festgestellt, dass für die Kategorie der schwerverletzten Unfallopfer eine Kalkulation durchgeführt werden kann, welche mit spezifischeren Daten über die Unfallopfer exaktere Ergebnisse als die in der Unfalldatenbank verwendete Kalkulation liefert. Die Kalkulation von leichtverletzten Unfallopfern kann dagegen nicht durch reine Personenschadenskalkulation erfolgen, da der Anteil dieser an der durch den Verursacher zu tragenden Summe einen zu kleinen Anteil aufweist. Bei der Kalkulation zu getöteten Unfallopfern kam es zu Problemen durch die Methodik der meisten Studien.
Expert-driven business process management is an established means for improving efficiency of organizational knowledge work. Implicit procedural knowledge in the organization is made explicit by defining processes. This approach is not applicable to individual knowledge work due to its high complexity and variability. However, without explicitly described processes there is no analysis and efficient communication of best practices of individual knowledge work within the organization. In addition, the activities of the individual knowledge work cannot be synchronized with the activities in the organizational knowledge work.rnrnSolution to this problem is the semantic integration of individual knowledgernwork and organizational knowledge work by means of the patternbased core ontology strukt. The ontology allows for defining and managing the dynamic tasks of individual knowledge work in a formal way and to synchronize them with organizational business processes. Using the strukt ontology, we have implemented a prototype application for knowledge workers and have evaluated it at the use case of an architectural fifirm conducting construction projects.
With the Multimedia Metadata Ontology (M3O), we have developed a sophisticated model for representing among others the annotation, decomposition, and provenance of multimedia metadata. The goal of the M3O is to integrate the existing metadata standards and metadata formats rather than replacing them. To this end, the M3O provides a scaffold needed to represent multimedia metadata. Being an abstract model for multimedia metadata, it is not straightforward how to use and specialize the M3O for concrete application requirements and existing metadata formats and metadata standards. In this paper, we present a step-by-step alignment method describing how to integrate and leverage existing multimedia metadata standards and metadata formats in the M3O in order to use them in a concrete application. We demonstrate our approach by integrating three existing metadata models: the Core Ontology on Multimedia (COMM), which is a formalization of the multimedia metadata standard MPEG-7, the Ontology for Media Resource of the W3C, and the widely known industry standard EXIF for image metadata
Digital happiness
(2016)
Emotionen in der digitalen Welt gewinnen durch die immer weiter voranschreitende Digitalisierung in den vergangenen Jahren mehr an Bedeutung. Sowohl im Alltag als auch im Berufs- und Bildungsumfeld ist der Einsatz von Medien fast unumgänglich. In dieser Arbeit wird das noch relativ unbeachtete Thema „Digital Happiness“ genauer betrachtet. In der Literatur werden Emotionen in der digitalen Welt verstärkt untersucht, aber gerade zu dem Thema „Digital Happiness“ gibt es bisher noch nicht viele Erkenntnisse.
In diesem Forschungspraktikum werden die Unterschiede in der Kommunikation von Gefühlen in der computergestützten Kommunikation und der face-to-face Kommunikation, sowie welchen Einfluss diese haben, näher untersucht. Aber auch die Wahrnehmung und Äußerung von Emotionen in der realen und digitalen Welt werden betrachtet. Es wird eine erste Definition von „Digital Happiness“ erarbeitet und ein Modell mit den zugehörigen Determinanten, welche „Digital Happiness“ beeinflussen, entwickelt.
Um diese Ziele zu erreichen, wird eine Literaturanalyse nach der Methode von Webster & Watson (2002) durchgeführt. Hierfür werden 15 Artikel ausgewählt und genauer analysiert, um den aktuellen Stand der Forschung darzustellen. Diese werden in einer Konzeptmatrix eingeordnet. Außerdem werden besondere Phänomene, wie z.B. Quantified Self, näher betrachtet, um weitere Einflussfaktoren feststellen zu können. Basierend auf der Literaturanalyse wird eine qualitative Untersuchung nach Mayring (2014) durchgeführt. Es wird ein Interviewleitfaden entwickelt, der als Grundlage für die Untersuchung der festgestellten Determinanten der Literaturanalyse dient. Diese sollen durch 30 Interviews mit Nutzern von Informations- und Kommunikationstechnologien bestätigt oder widerlegt werden.
Mit Hilfe der durchgeführten Interviews lässt sich ein Großteil der Determinanten aus der Literatur bestätigen. Es wurden auch einige neue Determinanten festgestellt. Diese Ergebnisse werden in das abschließende Modell eingearbeitet. Dieses Modell bietet eine Grundlage für weitere Forschungen im Bereich „Digital Happiness“. Schlussendlich werden noch verschiedene Implikationen für die Forschung und Praxis festgestellt, welche weiteren Forschungsbedarf erkennen lassen.
Die Reputation von Unternehmen ist einer zunehmenden Gefahr ausgesetzt, die sich aus der (unreflektierten) Nutzung sozialer Netzwerke durch die eigenen Mitarbeiter ergibt. Die Treiber und Hemmnisse eines solchen Nutzerverhaltens von Arbeitnehmern in sozialen Netzwerken wurden bislang nur unzureichend erforscht. Der vorliegende Beitrag untersucht unter Verwendung der Boundary Theorie am Beispiel der Plattform Facebook, inwieweit die Persönlichkeitsmerkmale Neurotizismus und Extraversion, die Organisationsidentifikation und die Unternehmensreputation ein zustimmendes Verhalten von Nutzern begünstigen. Eine experimentelle Online-Studie mit 494 Probanden zeigt, dass insbesondere eine hohe Unternehmensreputation und Organisationsidentifikation zu einem erhöhten zustimmenden Verhalten führen.
Der Fachbereich 4: Informatik der Universität Koblenz-Landau bietet seit seiner Gründung 1990 wissenschaftliche Studiengänge (Diplom) in Informatik mit verschiedenen Schwerpunkten, darunter Wirtschaft- und Verwaltungsinformatik an, dem nach und nach weitere Studiengänge zur Seite gestellt wurden: seit 1997 Computervisualistik (Diplom) und seit 2000 Informationsmanagement (Bachelor und Master). Der Fachbereich 4: Informatik hat zum Wintersemester 2006/2007 sein Lehrangebot in den Nicht-Lehramtsstudiengängen vollständig auf konsekutive Bachelor- und Masterstudiengänge umgestellt. Die Akkreditierung erfolgte über die Akkreditierungsagentur ASIIN. Die Aufnahme von Studienanfängern für die bis dahin angebotenen Diplomstudiengänge "Informatik" bzw. "Computervisualistik" wurde gleichzeitig eingestellt, und diese wurden durch ein integriertes Programm mit zwei konsekutiven Bachelor-Master-Studienprogrammen in "Informatik" und "Computervisualistik" ersetzt. Das bereits bestehende Bachelor-Master-Programm in "Informationsmanagement" wurde reformiert, und ein weiterer Masterstudiengang in "Wirtschaftsinformatik" wurde eingerichtet. Bei der Konzeption dieser sieben Studiengänge wurde auf eine hohe Integration und Studiengangs-übergreifende Wiederverwendung von Modulen geachtet. Die in diesem Papier vorgestellten Studiengänge für das Lehramt wurden schon bei der damaligen Planung mit einbezogen. Da mit Prof. Dr. Stefan Müller der Leiter der Landesarbeitsgruppe zur Erarbeitung der curricularen Standards für das Fach Informatik bei der Planung eng mit eingebunden war, konnten die Module der Bachelor- und Masterstudiengänge von Anfang an im Hinblick auf eine spätere Verwendung auch im Lehramt konzipiert werden.
The term "Augmented Reality (AR)" denotes the superposition of additional virtual objects and supplementary information over real images. The joint project Enhanced Reality (ER)1 aims at a generic AR-system. The ER-project is a cooperation of six different research groups of the Department of Computer Science at the University of Koblenz-Landau. According to Ronald Azuma an AR-system combines real and virtual environments, where the real and virtual objects are registered in 3-D, and it provides interactivity in real time [Azu97]. Enhanced Reality extends Augmented Reality by requiring the virtual objects to be seamlessly embedded into the real world as photo-realistic objects according to the exact lighting conditions. Furthermore, additional information supplying value-added services may be displayed and interaction of the user may even be immersive. The short-term goal of the ER-project is the exploration of ER-fundamentals using some specific research scenarios; the long-term goal is the development of a component-based ER-framework for the creation of ER-applications for arbitrary application areas. ER-applications are developed as single-user applications for users who are moving in a real environment and are wearing some kind of visual output device like see-through glasses and some mobile end device. By these devices the user is able to see reality as it is, but he can also see the virtual objects and the additional information about some value-added service. Furthermore he might have additional devices whereby he can interact with the available virtual objects. The development of a generic framework for ER-applications requires the definition of generic components which are customizable and composable to build concrete applications and it requires a homogeneous data model which supports all components equally well. The workgroup "Software Technology"2 is responsible for this subproject. This report gives some preliminary results concerning the derivation of a component-based view of ER. There are several augmented reality frameworks like ARVIKA, AMIRE, DWARF, MORGAN, Studierstube and others which offer some support for the development of AR-applications. All of them ease the use of existing subsystems like AR-Toolkit, OpenGL and others and leverage the generation process for realistic systems by making efficient use of those subsystems. Consequently, they highly rely on them.
Im Rahmen von Projekten haben die Mitarbeiter in einem Unternehmen oft komplexe Problemstellungen zu bearbeiten, für die es keine objektiv richtigen oder falschen Lösungen gibt. Stattdessen werden im Rahmen der Entwurfs- und Entscheidungsprozesse mehrere Lösungsvorschläge erarbeitet um dann unter Abwägung von Pro- und Contra-Argumenten eine möglichst optimale Lösung zu finden.
Im Rahmen dieser Arbeit wird der Einfluss des Wahlszenarios auf die Geheimheit und Öffentlichkeit der Wahl herausgearbeitet. Ein Wahlszenario wird durch seine Wahlform und die verwendete Wahltechnik bestimmt. Bei der Wahl-form kann zwischen einer Präsenz- und einer Fernwahl unterschieden werden. Bei der Wahltechnik zwischen der Papier- und der elektronischen Wahl. Mit der Papier-Präsenzwahl, der Briefwahl (Papier-Fernwahl) und der Internetwahl (elektronische Fernwahl) werden drei prominente Wahlszenarien und ihr Einfluss auf Geheimheit, Privatheit und Öffentlichkeit untersucht.
In diesem Arbeitsbericht werden zuvor nicht identifizierte Bedrohungen bezüglich des Wahlgeheimnisses des in [BKG11] vorgeschlagenen Konzeptes zur Authentifizierung von Wählern bei elektronischen Wahlen mittels des neuen Personalausweises aufgezeigt. Überdies wird mit der Einführung einer zwischengelagerten Anonymisierungsschicht eine Lösung vorgeschlagen, wie eben diese Bedrohungen abgewehrt werden können.
The novel mobile application csxPOI (short for: collaborative, semantic, and context-aware points-of-interest) enables its users to collaboratively create, share, and modify semantic points of interest (POI). Semantic POIs describe geographic places with explicit semantic properties of a collaboratively created ontology. As the ontology includes multiple subclassiffcations and instantiations and as it links to DBpedia, the richness of annotation goes far beyond mere textual annotations such as tags. With the intuitive interface of csxPOI, users can easily create, delete, and modify their POIs and those shared by others. Thereby, the users adapt the structure of the ontology underlying the semantic annotations of the POIs. Data mining techniques are employed to cluster and thus improve the quality of the collaboratively created POIs. The semantic POIs and collaborative POI ontology are published as Linked Open Data.
The University of Koblenz-Landau would like to apply for participation in the RoboCup Mixed Reality League in Suzhou, China 2008. Our team is composed of ten team members and two supervisors. All members are graduate students of Computational Visualistics. Our supervisors are Ph.D. candidates currently researching in the working groups of artificial intelligence and computer graphics.
Avoidance of routing loops
(2009)
We introduce a new routing algorithm which can detect routing loops by evaluating routing updates more thoroughly. Our new algorithm is called Routing with Metric based Topology Investigation (RMTI), which is based on the simple Routing Information Protocol (RIP) and is compatible to all RIP versions. In case of a link failure, a network can reorganize itself if there are redundant links available. Redundant links are only available in a network system like the internet if the topology contains loops. Therefore, it is necessary to recognize and to prevent routing loops. A routing loop can be seen as a circular trace of a routing update information which returns to the same router, either directly from the neighbor router or via a loop topology. Routing loops could consume a large amount of network bandwidth and could impact the endtoend performance of the network. Our RMTI approach is capable to improve the efficiency of Distance Vector Routing.
Artificial intelligence (AI) is of rising importance in these days. AI is increasingly used in various company fields. Nonetheless, no high-quality scientific sources could be found stating the use of AI in the field of leadership. This research gap is addressed with this elaboration by performing expert interviews with leaders. In total seventeen companies could be questioned. The results indicate that AI is not widely used in leadership yet since only one company uses it currently and just about 10% of the participants plan the implementation in the closer feature. While the following items ex- plain why companies want to use AI in leadership: Chances for automation, time and cost savings, many important disadvantages and issues prevent companies from actively using it now: No areas of application are known, no need justifies the use, human interactions as a key aspect of leadership is reduced and it is hard to collect all necessary data. Beyond that, it was aimed to identify changes in the field of leadership through the use of AI. This objective could not be addressed due to the limited number of participants using AI in leadership.
Keywords: Leadership, artificial intelligence, transformation, state-of-use
Die vorliegende Arbeit bildet den Abschluss eines Forschungspraktikums von Studierenden der Masterstudiengänge Informationsmanagement und Wirtschaftsinformatik unter Betreuung der wissenschaftlichen Mitarbeiterin Daniela Simić-Draws und von Prof. Dr. Rüdiger Grimm. Eine wesentliche Vorlage zu dieser Arbeit war ein Vorgehensmodell zur Sicherheitsanalyse von Geschäftsprozessen, das von D. Simić-Draws im Rahmen ihrer Dissertation erarbeitet wird und zu dessen laufender Verbesserung dieses studentische Forschungspraktikum wertvolle Hinweise liefern konnte. Als Anwendungsbeispiel wurden die sicherheitskritischen Prozesse "Kommunalwahl" und "Geldauszahlung am Bankautomaten" gewählt, weil die Arbeitsgruppe von Prof. Grimm in diesen beiden Anwendungen aus vorhergehender wissenschaftlicher Arbeit Erfahrung gesammelt hat. Insbesondere zum Anwendungsbeispiel "Kommunalwahl" hatte sich dankenswerterweise das Ordnungsamt Koblenz, das für die Kommunalwahlen zuständig ist, unter aktiver Mithilfe ihres Leiters Dirk Urmersbach zur Zusammenarbeit angeboten, so dass dieser Geschäftsprozess wirklichkeitsnah untersucht werden konnte.
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.
The model evolution calculus
(2004)
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proof procedure for first-order logic, it has been used almost exclusively for propositional logic so far because of its highly inefficient treatment of quantifiers, based on instantiation into ground formulas. The recent FDPLL calculus by Baumgartner was the first successful attempt to lift the procedure to the first-order level without resorting to ground instantiations. FDPLL lifts to the first-order case the core of the DPLL procedure, the splitting rule, but ignores other aspects of the procedure that, although not necessary for completeness, are crucial for its effectiveness in practice. In this paper, we present a new calculus loosely based on FDPLL that lifts these aspects as well. In addition to being a more faithful litfing of the DPLL procedure, the new calculus contains a more systematic treatment of universal literals, one of FDPLL's optimizations, and so has the potential of leading to much faster implementations.
The Living Book is a system for the management of personalized and scenario specific teaching material. The main goal of the system is to support the active, explorative and selfdetermined learning in lectures, tutorials and self study. The Living Book includes a course on 'logic for computer scientists' with a uniform access to various tools like theorem provers and an interactive tableau editor. It is routinely used within teaching undergraduate courses at our university. This paper describes the Living Book and the use of theorem proving technology as a core component in the knowledge management system (KMS) of the Living Book. The KMS provides a scenario management component where teachers may describe those parts of given documents that are relevant in order to achieve a certain learning goal. The task of the KMS is to assemble new documents from a database of elementary units called 'slices' (definitions, theorems, and so on) in a scenario-based way (like 'I want to prepare for an exam and need to learn about resolution'). The computation of such assemblies is carried out by a model-generating theorem prover for first-order logic with a default negation principle. Its input consists of meta data that describe the dependencies between different slices, and logic-programming style rules that describe the scenario-specific composition of slices. Additionally, a user model is taken into account that contains information about topics and slices that are known or unknown to a student. A model computed by the system for such input then directly specifies the document to be assembled. This paper introduces the elearning context we are faced with, motivates our choice of logic and presents the newly developed calculus used in the KMS.
Hyper tableaux with equality
(2007)
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for paramodulation are drawn (only) from a set of positive unit clauses, the candidate model. The calculus also features a generic, semantically justified simplification rule which covers many redundancy elimination techniques known from superposition theorem proving. Our main results are soundness and completeness, but we briefly describe the implementation, too.
We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query reasoning. Specifically, we present an approach to compute completed paths for database or XPath queries. The database schema and a query are transformed to disjunctive logic programs with default negation, using a description logic as an intermediate language. Our underlying deduction system, KRHyper, then detects if a query is satisfiable or not. In case of a satisfiable query, all completed paths -- those that fulfill all given constraints -- are returned as part of the computed models. The purpose of our approach is to dramatically reduce the workload on the query processor. Without the path completion, a usual XML query processor would search the database for solutions to the query. In the paper we describe the transformation in detail and explain how to extract the solution to the original task from the computed models. We understand this paper as a first step, that covers a basic schema/query reaÂsoning task by model-based deduction. Due to the underlying expressive logic formalism we expect our approach to easily adapt to more sophisticated problem settings, like type hierarchies as they evolve within the XML world.
Semantic descriptions of non-textual media available on the web can be used to facilitate retrieval and presentation of media assets and documents containing them. While technologies for multimedia semantic descriptions already exist, there is as yet no formal description of a high quality multimedia ontology that is compatible with existing (semantic) web technologies. We explain the complexity of the problem using an annotation scenario. We then derive a number of requirements for specifying a formal multimedia ontology, including: compatibility with MPEG-7, embedding in foundational ontologies, and modularisation including separation of document structure from domain knowledge. We then present the developed ontology and discuss it with respect to our requirements.
Colonoscopy is one of the best methods for screening colon cancer. As the automatic detection of polyps in endoscopic images is a challenging task for image processing, a variety of research groups have proposed methods that try to fulfill this task to develop a system which supports the doctors during examination. However, the problem is still "at least partially" not solved. This paper gives a summary of 16 different polyp detection methods published in the last ten years. We found out that the major draw-back of many approaches is the lack of representative video data, which hinders comparison and evaluation of the published methods.
Wahlordnung der örtlichen Studierendenschaft
der Universität Koblenz-Landau, Campus Landau
Ordnung zur Änderung der Einschreibeordnung für
die Universität Koblenz-Landau
Promotionsordnung des Fachbereichs 5: Erziehungswissenschaften
der Universität Koblenz-Landau
Erste Ordnung zur Änderung der Promotionsordnung
des Fachbereiches 6: Kultur- und Sozialwissenschaften
der Universität Koblenz–Landau
Änderungssatzung zur Satzung über die Festsetzung
von Zulassungszahlen an der Universität Koblenz-
Landau für das Studienjahr 2016/2017
Erste Ordnung zur Änderung der Ordnung für die
Eignungsprüfung Musik an der Universität Koblenz-
Landau
Siebzehnte Ordnung zur Änderung der Prüfungsordnung
für die Prüfung im lehramtsbezogenen Bachelorstudiengang
an der Universität Koblenz-
Landau
Ordnung zur Änderung der Beitragsordnung des Studierendenwerks Koblenz
Dreiundzwanzigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau
Zwanzigste 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
Siebzehnte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Vierte Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang Erziehungswissenschaft an der Universität Koblenz-Landau, Campus Landau
Achte 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
Siebte Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang Umweltwissenschaften und in den Masterstudiengängen Umweltwissenschaften / Environmental Sciences und Ecotoxicology an der Universität Koblenz-Landau, Campus Landau
Beitragsordnung der Studierendenschaft der Universität Koblenz-Landau, Campus Landau
Ordnung zur Änderung der Beitragsordnung des
Studierendenwerks Koblenz
Vierzehnte Ordnung zur Änderung der Prüfungsordnung
für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau
Dreizehnte 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
Zwölfte Ordnung zur Änderung der Ordnung für die
Prüfung im lehramtsbezogenen Zertifikatsstudiengang
(Erweiterungsprüfung) an der Universität Koblenz-Landau
Elfte Ordnung zur Änderung der Prüfungsordnung
für die Prüfung im Zwei-Fach-Bachelorstudiengang
an der Universität Koblenz-Landau
Ordnung zur Aufhebung der Ordnung der Diplomprüfung für Studierende der Computervisualistik an der Universität Koblenz-Landau
Ordnung zur Aufhebung der Ordnung der Diplomprüfung für Studierende der Informatik an der Universität Koblenz-Landau
Prüfungsordnung für Studierende des Masterstudiengangs „Germanistik: Dynamiken der Vermittlung“ des Fachbereichs 2: Philologie / Kulturwissenschaften an der Universität Koblenz-Landau
Vierte 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
Erste Ordnung zur Änderung der Satzung der örtlichen Studierendenschaft an der Universität Koblenz-Landau, Campus Landau
Ordnung zur Änderung der Ordnung zur Qualitätssicherung und -entwicklung in Studium und Lehre an der Universität Koblenz-Landau
Zwölfte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang Berufsbildende Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Elfte Ordnung zur Änderung der Ordnung für die Prüfung im Masterstudiengang Lehramt an berufsbildenden Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Zwanzigste Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau und der Hochschule Koblenz
Fünfte Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang Erziehungswissenschaft an der Universität Koblenz-Landau, Campus Landau
Achte Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang Umweltwissenschaften
und in den Masterstudiengängen Umweltwissenschaften / Environmental Sciences und Ecotoxicology an der Universität Koblenz-Landau, Campus Landau
Fünfundzwanzigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen
Bachelorstudiengang an der Universität Koblenz-Landau
Zweiundzwanzigste 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
Neunzehnte 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 Prüfungsordnung für die Bachelor- und Masterstudiengänge des Fachbereichs Informatik an der Universität Koblenz-Landau
NeuLand 2011,02 = Nr. 31
(2015)
Campusschule: Uni goes Schulpraxis
Praxisluft schnuppern - Wie in der Lehre praktisches Know-how vermittelt wird
Money, money, money - Fördermöglichkeiten für Studierende und Promovierende
Hinter den Kulissen - Ein Tag mit Chefhausmeister Hans-Jürgen Lösch
Wolfgang Huber - Interview mit dem Frank-Loeb-Gastprofessor 2011
Erste Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für die Bachelor- und Masterstudiengänge des Fachbereichs Informatik an der Universität Koblenz-Landau
Masterprüfungsordnung für den weiterbildenden Fernstudiengang Angewandte Umweltwissenschaften des Fachbereiches 3: Mathematik / Naturwissenschaften der Universität Koblenz-Landau
Ordnung zur Aufhebung der Diplomprüfungsordnung für den Weiterbildenden Fernstudiengang Angewandte
Umweltwissenschaften an der Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Masterprüfungsordnung für den Weiterbildenden Fernstudiengang
“Energiemanagement“ an der Universität Koblenz-Landau
Erste Ordnung zur Änderung der Prüfungsordnung für Studierende des Bachelorstudiengangs „Pädagogik“
(B.A.) und des Masterstudiengangs „Erziehungswissenschaft mit dem Schwerpunkt Forschung und Entwicklung in Organisationen“ (M.A.) des Fachbereichs 1: Bildungswissenschaften an der Universität Koblenz-Landau, Campus Koblenz
Masterprüfungsordnung für den weiterbildenden Fernstudiengang Inklusion und Schule des Fachbereiches
1: Bildungswissenschaften der Universität Koblenz-Landau
Masterprüfungsordnung für den weiterbildenden Fernstudiengang Personal und Organisation des Fachbereiches 1: Bildungswissenschaften der Universität Koblenz-Landau
Siebte 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
Fünfzehnte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau
Vierzehnte 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
Dreizehnte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang
(Erweiterungsprüfung) an der Universität Koblenz-Landau
Zwölfte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Satzung zur Festsetzung der Normwerte für den Ausbildungsaufwand (Curricularnormwerte) der Universität Koblenz-Landau
Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau für das Studienjahr 2016/2017
Satzung der örtlichen Studierendenschaft an der Universität Koblenz-Landau, Campus Koblenz
Wahlordnung der örtlichen Studierendenschaft an der Universität Koblenz-Landau, Campus Koblenz
Redaktionelle Korrektur betreffend die Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau für das Studienjahr 2020/2021
Redaktionelle Korrektur betreffend die Fünfzehnte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang
Berufsbildende Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Redaktionelle Korrektur betreffend die Vierzehnte Ordnung zur Änderung der Ordnung für die Prüfung im Masterstudiengang Lehramt an berufsbildenden
Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Redaktionelle Korrektur betreffend die Zweiundzwanzigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Vierundzwanzigste Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau und der Hochschule Koblenz
Ordnung zur Änderung der Beitragsordnung des Studierendenwerks Koblenz
Dreißigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau, Campus Koblenz
Sechsundzwanzigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung in den Masterstudien-gängen für das Lehramt an Grundschulen, das Lehramt an Realschulen plus sowie das Lehramt an Gymnasien an der Universität Koblenz-Landau, Campus Koblenz
Dreiundzwanzigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelor-studiengang an der Universität Koblenz-Landau, Campus Koblenz
Zweite Satzung zur Änderung der Satzung über die Verleihung der Bezeichnung außerplanmäßige Pro-fessorin oder außerplanmäßiger Professor der Universität Koblenz-Landau
In dieser wiederkehrenden Zeitschriftenreihe wollen wir die Arbeit junger Wissenschaftlerinnen und Wissenschaftler an der Universität Koblenz-Landau kommunizieren und Studierenden Austausch- und Publikationsmöglichkeiten für den wissenschaftlichen Werdegang eröffnen.
In dieser Ausgabe:
Pfefferkorn, Luca. Auswirkungen von Lückenskripten auf das Arbeiten und Lernen in mathematischen Vorlesungen der Studieneingangsphase.
Steffen, Theresa. Der Einfluss von Musik auf die kognitive Leistungsfähigkeit von Schülerinnen.
Kuhlmann, Fiene. Die Geschlechterpolitik der Alternative für Deutschland (AfD): Eine diskursanalytische Betrachtung zu den Verschränkungen von Anti-Gender und der Ethnisierung von Sexismus.
Dany, Matthias. „Findet Nemo!“: Eine multimodale Kommunikationsanalyse digitaler Protestkultur von Fridays-For-Future.
Reifenhäuser, Mona. Sprachwissenschaftliche Analyse von Auswandererbriefen des 19. Jahrhunderts im Spannungsfeld zwischen Nähe und Distanz.
Schmitt, Katharina. Die Emigration aus dem Hunsrück nach Brasilien – eine postkoloniale Analyse der von Nachfahr*innen Ausgewanderter verfassten Familienbiografien.
Bednarz, Julia. Artenkenntnis – vom Aussterben bedroht? Eine empirische Untersuchung der Artenkenntnis volljähriger Personen in Deutschland, Österreich und der Schweiz am Beispiel einheimischer Vogelarten.
Schöller, Kathrin. Mord mit Opferbeseitigung: Eine quantitative Analyse der Insektenbesiedlung bei unterschiedlichen Leichenverbergungsstrategien.
Heimann, Florian.Parameter Estimation of Physico-Biological Muscle Models: Comparing Günthers Biomechanical Four-Element Model to Macroscopic Hill-Equations.
Mikliss, Annika C.. Registrierung von 3D-Modellen auf Basis von Röntgenaufnahmen zur Darstellung von Hüftgelenksdysplasie bei Hunden.
Nagel, Sabine. Analysis of Task Management Functionalities and their Implementation and Use in Enterprise Collaboration Systems.
Hansen, Christian. Declarative Process Mining: a Method for the Discovery of Collaboration Scenarios in Enterprise Collaboration Systems.
Blatt, Jonas. Entwicklung eines Prototypen für die Verifikation von Decision Model and Notation.
Lienen, Dominik. Orchestrierung von Daten und Services einer KI im Unternehmenskontext.
Prüfungsordnung für Studierende des Bachelorstudiengangs "Pädagogik" (B.A.) und des Masterstudiengangs "Erziehungswissenschaft mit dem Schwerpunkt Forschung und Entwicklung in Organisationen" (M.A.) des Fachbereichs 1: Bildungswissenschaften an der Universität Koblenz-Landau.
Ordnung zur Aufhebung der 0rdnung für die Diplomprüfung in Erziehungswissenschaft an der Erziehungswissenschaftlichen Hochschule Rheinland-Pfalz
In dieser wiederkehrenden Zeitschriftenreihe wollen wir die Arbeit junger Wissenschaftlerinnen und Wissenschaftler an der Universität Koblenz kommunizieren und Studierenden Austausch- und Publikationsmöglichkeiten für den wissenschaftlichen Werdegang eröffnen.
In dieser Ausgabe:
Lukas Fock: Third-Person Effect & Conspiracy Theories - It's always the others!
Leoni Krawczyk: Das Déja-vu-Erlebnis als ein Resultat von impliziter Vertrautheit und oberflächlicher Reizverarbeitung
Frederik Alexander Wilczek: Employer Branding in der Katholischen Kirche - Eine Untersuchung der Employer Branding-Strategien kirchlicher Arbeitgeber
Alexander Bleffert: Modellierungsaufgaben als Beitrag zur Bildung für nachhaltige Entwicklung - Ein Beispiel für die Modellierungstage am Campus Koblenz
Alina Strunk, Fabian Kind,
Marina Gertner: Ist unser Wald noch zu retten? - Auswirkungen unterschiedlicher Waldbewirtschaftungsformen auf die natürliche Sukzession und die Bodenfeuchte - am Beispiel dreier Testflächen im Forstrevier Oberheimbach
Nils Lenard Grosch: Parameterstudie zur Synthese von Aluminium-Nonametaphosphaten
Stefanie Kröber: Sexuelle Gewalt gegen Kinder - Diskurs und Analyse therapeutischer Angebote für potenzielle Täter*innen
In dieser wiederkehrenden Zeitschriftenreihe wollen wir die Arbeit junger Wissenschaftlerinnen und Wissenschaftler an der Universität Koblenz kommunizieren und Studierenden Austausch- und Publikationsmöglichkeiten für den wissenschaftlichen Werdegang eröffnen.
In dieser Ausgabe:
Helena Juliane Hoppe: Soziale Konstruktionen von Autismus-Spektrum-Störung in Spielfilmen
Giana Björkskog: Vereinbarkeit von Wissenschaft und Mutterschaft - Die
Bedeutung von digitalen wissenschaftlichen Nachwuchsförderungsangeboten für die Vereinbarkeit von Wissenschaft und Mutterschaft
Erik Eichelbaum: “You will never have me” - The Male Gaze and the
Deconstruction of Gender Norms in "Lost Highway"
Kira Rosalin Jung: Die Bibel erzählt - Biblisches Lernen im Religionsunterricht
Eric Amann: Prototyping of a Predictive Process Monitoring Dashboard
Stefan Hill: Inter-case predictive process monitoring - A comparison
between quantum and classical computational methods
Satzung zur Qualitätssicherung und -entwicklung in Studium und Lehre der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau in Landau
Satzung über die Verleihung der Bezeichnung außerplanmäßige Professorin oder außerplanmäßiger Professor der Universität Koblenz
Satzung der Kommission für Ethik und doppelverwendungsfähige Forschung des Senats der Universität Koblenz
Teil-Grundordnung für die Vergabe von Leistungsbezügen sowie Forschungs- und Lehrzulagen der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau
Teilgrundordnung für das Qualitätssicherungssystem nach § 5 HochSchG an der Universität Koblenz
Ordnung zur Qualitätssicherung und -entwicklung in Studium und Lehre an der Universität Koblenz
Sechzehnte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang Berufsbildende Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Siebzehnte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang Berufsbildende Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Fünfzehnte Ordnung zur Änderung der Ordnung für die Prüfung im Masterstudiengang Lehramt an berufsbildenden Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Sechszehnte Ordnung zur Änderung der Ordnung für die Prüfung im Masterstudiengang Lehramt an berufsbildenden Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Sechsundzwanzigste Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen
Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau, Campus Koblenz und
der Hochschule Koblenz
Siebenundzwanzigste Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen
Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau, Campus Koblenz und
der Hochschule Koblenz
Richtlinie der Universität Koblenz zur Einrichtung, Ausschreibung und Besetzung von Professuren und
Juniorprofessuren (Berufungsrichtlinie)
Satzung und Qualitätssicherungskonzept der Universität Koblenz zur Einrichtung, Ausschreibung und Besetzung von Juniorprofessuren (W1) mit und ohne Tenure-Track sowie zur Besetzung von Professuren
unter Verzicht auf eine Ausschreibung (Tenure-Satzung)
Benutzungsordnung der Universitätsbibliothek
Bibliotheksordnung der Universität Koblenz
Uniprisma Ausg. 2011
(2016)
Redaktionelle Korrektur betreffend die Zweite Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang BioGeoWissenschaften der Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang BioGeoWissenschaften der Universität Koblenz-Landau
Das Bulletin Esskulturen ist aus dem Verbundprojekt „Esskulturen. Objekte, Praktiken, Semantiken“ hervorgegangen, das im Rahmen der Förderlinie „Sprache der Objekte“ von September 2018 bis August 2021 vom Bundesministerium für Bildung und Forschung finanziert wird. In jeder Ausgabe bildet ein Objekt der Stiftung Bürgerliche Wohnkultur, Sammlung Alex Poignard (Landesmuseum Koblenz) den Ausgangspunkt für eine interdisziplinäre Auseinandersetzung mit unterschiedlichen soziokulturellen Fragen rund um das Thema Essen.
Tisch-Ordnungen. Hierarchisierung und Egalisierung,
Bulletin Esskulturen, 1. Jahrgang 2019, Mappe 1, Faszikel 1-6
Inhalt der Ausgabe
Cordula Stadtfeld, Aufgetischt. Menuhalter aus der Sammlung
Alex Poignard im Landesmuseum
Michaela Bauks, Tischordnung im frühen Christentum.
Die Umwandlung gesellschaftlicher Werte
Marion Steinicke,
Ungeladene Gäste.
Tischordnungen für Lebende und Tote
Nicole Maruo-Schröder,
„A Family of Peculiar Construction“. Tisch-(Un-)Ordnungen in Frank J. Webbs The Garies and Their Friends
Andreas Ackermann,
„Und die Mutter blicket stumm
auf dem ganzen Tisch herum“. Über Tisch-(Un-)Ordnungen
Tanita Burda, Tischordnungen.
Makro im Mikro – Ein Gedankenspiel
Impressum
This volume contains those research papers presented at the Second International Conference on Tests and Proofs (TAP 2008) that were not included in the main conference proceedings. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areas for the advancement of software quality. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope of proving its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of their incompatibility and taking instead the best of what each of these software engineering domains has to offer. The first TAP conference (held at ETH Zurich in February 2007) was an attempt to provide a forum for the cross-fertilization of ideas and approaches from the testing and proving communities. For the 2008 edition we found the Monash University Prato Centre near Florence to be an ideal place providing a stimulating environment. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members as well as additional referees for their great effort and professional work in the review and selection process. Their names are listed on the following pages. In addition to the contributed papers, the program included three excellent keynote talks. We are grateful to Michael Hennell (LDRA Ltd., Cheshire, UK), Orna Kupferman (Hebrew University, Israel), and Elaine Weyuker (AT&T Labs Inc., USA) for accepting the invitation to address the conference. Two very interesting tutorials were part of TAP 2008: "Parameterized Unit Testing with Pex" (J. de Halleux, N. Tillmann) and "Integrating Verification and Testing of Object-Oriented Software" (C. Engel, C. Gladisch, V. Klebanov, and P. Rümmer). We would like to express our thanks to the tutorial presenters for their contribution. It was a team effort that made the conference so successful. We are grateful to the Conference Chair and the Steering Committee members for their support. And we particularly thank Christoph Gladisch, Beate Körner, and Philipp Rümmer for their hard work and help in making the conference a success. In addition, we gratefully acknowledge the generous support of Microsoft Research Redmond, who financed an invited speaker.
Grundordnung der Universität Koblenz-Landau.
Dritte Satzung zur Änderung der Satzung der Universität Koblenz-Landau über das Auswahlverfahren in zulassungsbeschränkten Studiengängen.
Zweite Satzung zur Änderung der Satzung der Universität Koblenz-Landau über das Auswahlverfahren in zulassungsbeschränkten Studiengängen.
Zweite 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.
Satzung zur Festsetzung der Normwerte für den Ausbildungsaufwand
(Curricularnormwerte) der Universität Koblenz-Landau
Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau – Campus Koblenz für das Studienjahr 2021/2022
Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau – Campus Landau für das Studienjahr 2021/2022
Erste Ordnung zur Änderung der Prüfungsordnung für den Bachelorstudiengang „Psychologie“ des Fachbereichs Psychologie der Universität Koblenz-Landau,
Campus Landau
Neunte 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
Der Fachbereich 4 (Informatik) besteht aus fünfundzwanzig Arbeitsgruppen unter der Leitung von Professorinnen und Professoren, die für die Forschung und Lehre in sechs Instituten zusammenarbeiten.
In jedem Jahresbericht stellen sich die Arbeitsgruppen nach einem einheitlichen Muster dar, welche personelle Zusammensetzung sie haben, welche Projekte in den Berichtszeitraum fallen und welche wissenschaftlichen Leistungen erbracht wurden. In den folgenden Kapiteln werden einzelne Parameter aufgeführt, die den Fachbereich in quantitativer Hinsicht, was Drittmitteleinwerbungen, Abdeckung der Lehre, Absolventen oder Veröffentlichungen angeht, beschreiben.
Uniprisma Ausg. 2005
(2015)
Campuszeitung Ausg. 1/2015
(2015)
This paper describes the robots TIAGo and Lisa used by
team homer@UniKoblenz of the University of Koblenz-Landau, Germany,
for the participation at the RoboCup@Home 2019 in Sydney,
Australia. We ended up first at RoboCup@Home 2019 in the Open Platform
League and won the competition in our league now three times
in a row (four times in total) which makes our team the most successful
in RoboCup@Home. We demonstrated approaches for learning from
demonstration, touch enforcing manipulation and autonomous semantic
exploration in the finals. A special focus is put on novel system components
and the open source contributions of our team. We have released
packages for object recognition, a robot face including speech synthesis,
mapping and navigation, speech recognition interface, gesture recognition
and imitation learning. The packages are available (and new packages
will be released) on http://homer.uni-koblenz.de.
Das Bulletin Esskulturen ist aus dem Verbundprojekt „Esskulturen. Objekte, Praktiken, Semantiken“ hervorgegangen, das im Rahmen der Förderlinie „Sprache der Objekte“ von September 2018 bis August 2021 vom Bundesministerium für Bildung und Forschung finanziert wird. In jeder Ausgabe bildet ein Objekt der Stiftung Bürgerliche Wohnkultur, Sammlung Alex Poignard (Landesmuseum Koblenz) den Ausgangspunkt für eine interdisziplinäre Auseinandersetzung mit unterschiedlichen soziokulturellen Fragen rund um das Thema Essen.
Speise-Räume. Atmosphäre und Ambiente,
Bulletin Esskulturen, 3. Jahrgang 2021, Mappe VII, Faszikel 37-42
Inhalt der Ausgabe
Jörg Hahn, „Mein Lieblingsessplatz“. Eine Unterrichtsreihe in einer sechsten Klasse des Wilhelm-Remy-Gymnasiums, Bendorf/Rhein
Mila Brill, Arcadia. Atmosphäre und Materialität in gastronomischen Zwischen-Räumen
Maria Mothes, Ambiguous Commensality. Die Tischgemeinschaft als mehrdeutiger Raum in Mohsin Hamids The Reluctant Fundamentalist
Manja Wilkens, Esszimmer im 19. Jahrhundert
Angela Kaupp, Refektorium – das Speisezimmer der Ordensgemeinschaft
Michaela Bauks, Wo lässt man es sich schmecken? Eine kleine Geschichte des Esszimmers
Impressum
Der Fachbereich 4: Informatik forscht und lehrt in einem diversifzierten Spektrum der Digitalisierung von Wirtschaft, Gesellschaft und öffentlicher Verwaltung. Die Themen schließen Grundlagenforschung und anwendungsorientierte sowie interdisziplinäre Forschung und Lehre ein. Sie reichen von der Kerninformatik bis zu grafschen und ökonomischen Aspekten der Informationsverarbeitung, wie nachfolgende Grafk verdeutlicht (die einzelnen Institute und ihre zugehörigen Arbeitsgruppen stellen sich in den nachfolgenden Kapiteln vor):
Fünfundzwanzigste Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau und der Hochschule Koblenz
Satzung über die Leitung und die innere Struktur wissenschaftlicher Einrichtungen und Betriebseinheiten der Universität Koblenz
Satzung zur Festsetzung der Normwerte für den Ausbildungsaufwand (Curricularnormwerte) der Universität Koblenz-Landau – Campus Koblenz
Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau – Campus Koblenz für das Studienjahr 2022/2023
Satzung zur Festsetzung der Normwerte für den Ausbildungsaufwand (Curricularnormwerte) der Universität Koblenz-Landau – Campus Landau
Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau – Campus Landau für das Studienjahr 2022/2023
Wahlordnung für die Wahlen der Organe der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau
Grundordnung der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau
Zehnte Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang Umweltwissenschaften und in den Masterstudiengängen Umweltwissenschaften / Environmental Sciences und Ecotoxicology (Environmental Pollution Management) an der Universität Koblenz-Landau, Campus Landau
Sechste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang Berufsbildende Schulen an der Universität Koblenz-Landau und der Hochschule Koblenz
Fünfte Ordnung zur Änderung der Ordnung für die Prüfung im Masterstudiengang für das Lehramt an berufsbildenden Schulen an der Universität Koblenz-Landau und der Hochschule Koblenz
Siebte Ordnung zur Änderung der Prüfungsordnung
für die Prüfung im lehramtsbezogenen Bachelorstudiengang Berufsbildende Schulen an der Universität Koblenz-Landau und der Hochschule Koblenz
Sechste Ordnung zur Änderung der Ordnung für die
Prüfung im Masterstudiengang Lehramt an berufsbildenden Schulen an der Universität Koblenz-Landau und der Hochschule Koblenz
Ordnung für die Prüfung im Masterstudiengang Applied Physics an der Hochschule Koblenz und der Universität Koblenz-Landau (Kooperativer Masterstudiengang)
Ordnung zur Änderung der Beitragsordnung des
Studierendenwerks Koblenz
Fünfte Ordnung zur Änderung der Prüfungsordnung für den Bachelorstudiengang „Sozialwissenschaften“ und den Masterstudiengang „Sozial- und Kommunikationswissenschaften“ des Fachbereichs 6: Kultur- und Sozialwissenschaften an der Universität Koblenz-Landau
Habilitationsordnung des Fachbereichs 7: Natur- und Umweltwissenschaften der Universität Koblenz-Landau
Redaktionelle Korrektur betreffed die Satzung zur
Festsetzung von Zulassungszahlen an der Universität
Koblenz-Landau für das Studienjahr 2020/2021 vom
02. Juli 2020
Masterprüfungsordnung für den weiterbildenden Fernstudiengang
„Master of Business Administration“ des
Fachbereiches 4: Informatik der Universität Koblenz-
Landau
Redaktionelle Korrektur betreffend die Zweite Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für die Bachelor- und Masterstudiengänge des
Fachbereichs Informatik an der Universität Koblenz-Landau vom 03. August 2022
Redaktionelle Korrektur betreffend die Dreiundzwanzigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau, Campus Koblenz
vom 19. September 2022
Einschreibeordnung der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau
Satzung der Rheinland-Pfälzisch Technische Universität Kaiserslautern-Landau über das Auswahlverfahren in zulassungsbeschränkten Studiengängen (Auswahlsatzung)
Einunddreißigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen
Bachelorstudiengang an der Universität Koblenz-
Landau, Campus Landau
Siebenundzwanzigste 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, Campus Landau
Sechsundzwanzigste Ordnung zur Änderung der
Ordnung für die Prüfung im lehramtsbezogenen
Zertifikatsstudiengang (Erweiterungsprüfung) an der
Universität Koblenz-Landau, Campus Landau
Zweite Ordnung zur Änderung der Prüfungsordnung
für den Bachelorstudiengang „Mensch und Umwelt:
Psychologie, Kommunikation, Ökonomie“ an der Universität Koblenz-Landau, Campus Landau
Achte Ordnung zur Änderung der Prüfungsordnung
für den Bachelorstudiengang und den Masterstudiengang
„Sozial- und Kommunikationswissenschaften“
des Fachbereichs 6: Kultur- und Sozialwissenschaften
an der Universität Koblenz-Landau
Vierundzwanzigste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau,
Campus Landau
Zweite Ordnung zur Änderung der Prüfungsordnung
für die Bachelor- und Masterstudiengänge des Fachbereichs Informatik an der Universität Koblenz-
Landau
Neunte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang Berufsbildende Schulen an der
Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Achte Ordnung zur Änderung der Ordnung für die Prüfung im Masterstudiengang Lehramt an berufsbildenden Schulen an der Universität Koblenz-Landau, der Hochschule Koblenz und der Philosophisch-Theologischen Hochschule Vallendar
Ordnung zur Änderung der Wahlordnung der örtlichen Studierendenschaft an der Universität Koblenz-Landau, Campus Koblenz
Ordnung zur Änderung der Beitragsordnung des Studierendenwerks Koblenz
Einundzwanzigste Ordnung zur Änderung der Prüfungsordnung
für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau
Achtzehnte 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
Siebzehnte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang Erziehungswissenschaft an der Universität Koblenz-Landau, Campus Landau