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)
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-based handling of equality into the hyper tableau calculus. E-KRHyper extends our previous KRHyper system, which has been used in a number of applications in the field of knowledge representation. In contrast to most first order theorem provers, it supports features important for such applications, for example queries with predicate extensions as answers, handling of large sets of uniformly structured input facts, arithmetic evaluation and stratified negation as failure. It is our goal to extend the range of application possibilities of KRHyper by adding equality reasoning.
Generalized methods for automated theorem proving can be used to compute formula transformations such as projection elimination and knowledge compilation. We present a framework based on clausal tableaux suited for such tasks. These tableaux are characterized independently of particular construction methods, but important features of empirically successful methods are taken into account, especially dependency directed backjumping and branch local operation. As an instance of that framework an adaption of DPLL is described. We show that knowledge compilation methods can be essentially improved by weaving projection elimination partially into the compilation phase.
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.
Tafel-Dekorationen. Speisegestaltung und Repräsentation,
Bulletin Esskulturen, 2. Jahrgang 2020, Mappe V, Faszikel 25-30
Inhalt der Ausgabe
Britta Stein, Tafeldekoration = Repräsentation? Einblicke in die Sammlung Alex Poignard
Barbara Weyandt, „Nur Verschwendung bringt Prestige ...“. Tafelaufsätze zwischen Luxus und sozialem Sinn
Stefanie Brüning, Vergängliche Tafelfreuden
Heinz Georg Held, Das stille Leben nach dem Leben. Zur Kunst-Sprache des Tafeldekors
Hans Körner, Eine Runkelrübe als Tischdekoration
Andreas Ackermann, Wein, dekorativ betrachtet. Unter besonderer Berücksichtigung des bundesrepublikanischen Staatsbanketts
Impressum
Das Ziel der vorliegenden Arbeit ist es, einen Überblick über das Vorgehen, den Aufbau und die Methodenvielfalt im Bereich der Technologiefrüherkennung zu bieten, einen Einblick in das Umfeld der Railways Diagnostics and Monitoring Technologies (RDMT), deren Technologiemanagement und den branchenspezifischen Anforderungen an die Technologiefrüherkennung (insbesondere im Bereich von KMU) zu geben. Kombinierend daraus wird eine Handlungsempfehlung zur konkreten Nutzung der Forschungsergebnisse in Unternehmen dieser Größenordnung und Branche gegeben. Dazu wurden Literaturrecherchen im Bereich des Innovationsmanagements und des Railway Umfelds betrieben und ein Experte eines mittelständigen Technologieherstellers der RDMT-Branche interviewt. Die wichtigste Erkenntnis dabei ist, dass eine einzelne Methode den Anforderungen nicht gerecht wird, und eine Kombination von Methoden und Organisationsformen für eine effektive Technologiefrüherkennung notwendig ist.
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.
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.
Dualizing marked Petri nets results in tokens for transitions (t-tokens). A marked transition can strictly not be enabled, even if there are sufficient "enabling" tokens (p-tokens) on its input places. On the other hand, t-tokens can be moved by the firing of places. This permits flows of t-tokens which describe sequences of non-events. Their benefiit to simulation is the possibility to model (and observe) causes and effects of non-events, e.g. if something is broken down.
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 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