Michael Schroeder - Böcker

This text defines and describes the implementation of an architecture for autonomous, model-based diagnosis agents. It does this by developing a logic programming approach for model-based diagnosis and introducing strategies to deal with more complex diagnosis problems, and then embedding the diagnosis framework into the agent architecture of vivid agents. This text surveys extended logic programming and shows how this expressive language is used to model diagnosis problems stemming from applications such as digital circuits, traffic control, integrity checking of a chemical database, alarm-correlation in cellular phone networks, diagnosis of an automatic mirror furnace, and diagnosis of communication protocols. The book reviews a bottom-up algorithm to remove contradiction from extended logic programs and substantially improves it by top-down evaluation of extended logic programs. Both algorithms are evaluated in the circuit domain including some of the ISCAS85 benchmark circuits.

In today's world of globalization, there is a growing trend among historians and students alike to study the common challenges and experiences that unite the human past. ""Facts On File"" is pleased to announce its new seven-volume ""Encyclopedia of World History"", a truly groundbreaking work and one of the first to offer a balanced presentation of human history for a global perspective of the past. A team of distinguished world history academics has brought together scores of specialists in writing signed entries based on the latest scholarship.Based on the National Standards for World History and influenced by the National Standards for World History, this comprehensive and authoritative set is rich in features to make the study of world history easier for students to understand. Arranged in six chronological eras that span from prehistory to the present day, this chronological approach follows the way world history is taught and studied in the classroom. Each volume era begins with essays that tackle large themes - such as agriculture, science and technology, social and class relationships, trade and cultural exchanges, and warfare - that allow students to make connections and trace key global patterns over time. The final volume contains primary documents, a chronology, and a master index for the set.It contains thematic essays that help students make comparisons and connections across regions and time periods. It is based on primary source documents, carefully chosen to be representative of the six world eras. It is informative with cross-referenced entries. It also includes: Chronologies in every volume to help students place events in context; More than 600 illustrations, including a 32-page insert of full-color maps in each volume designed to convey the importance of geography in world history; An appendix in each volume; Further reading sections that encourage further research; Individual volume indexes; And a comprehensive set index.

Autonomous, Model-Based Diagnosis Agents defines and describes the implementation of an architecture for autonomous, model-based diagnosis agents. It does this by developing a logic programming approach for model-based diagnosis and introducing strategies to deal with more complex diagnosis problems, and then embedding the diagnosis framework into the agent architecture of vivid agents. Autonomous, Model-Based Diagnosis Agents surveys extended logic programming and shows how this expressive language is used to model diagnosis problems stemming from applications such as digital circuits, traffic control, integrity checking of a chemical database, alarm-correlation in cellular phone networks, diagnosis of an automatic mirror furnace, and diagnosis of communication protocols. The book reviews a bottom-up algorithm to remove contradiction from extended logic programs and substantially improves it by top-down evaluation of extended logic programs. Both algorithms are evaluated in the circuit domain including some of the ISCAS85 benchmark circuits. This comprehensive in-depth study of concepts, architectures, and implementation of autonomous, model-based diagnosis agents will be of great value for researchers, engineers, and graduate students with a background in artificial intelligence. For practitioners, it provides three main contributions: first, it provides many examples from diverse areas such as alarm correlation in phone networks to inconsistency checking in databases; second, it describes an architecture to develop agents; and third, it describes a sophisticated and declarative implementation of the concepts and architectures introduced.

Der Ausdruck "Galiläa der Heiden" (Mt 4,15 bzw. Jes 8,23) wurde lange als zutreffende Beschreibung der religiösen Situation Galiläas zur Zeit des Neuen Testaments angesehen. Die daraus resultierenden Konsequenzen sind weitreichend, besonders dann, wenn ein deutlicher Gegensatz zwischen Judäa und Galiläa angenommen wird. Michael Schröder unterzieht die Quellen einer eingehenden Untersuchung und zeigt, dass eine Heranziehung archäologischer Ergebnisse ein anderes Bild zeigt. Von einem heidnischen Galiläa kann nicht gesprochen werden.Wenn Matthäus vor allem in seinen ersten und letzten Kapiteln viele geographische Angaben macht und Galiläa dabei besonders herausstellt, so verfolgt er damit eine theologische Absicht. Er will aufzeigen, dass Jesus als der versprochene Sohn Davids zunächst dort das ganze Gottesvolk wieder sammelt. Am Ende wird dann Galiläa zum Hoffnungszeichen für die Völker, wenn auch sie in Christus am Heil teilhaben können.

This book constitutes the refereed proceedings of the Second International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML 2003, held in Sanibel Island, Florida, USA in October 2003 in conjunction with ISWC 2003.Rules and rule markup languages will play an important role for the success of the semantic Web. Rules will act as a means to draw inferences, to express constraints, to specify policies for reaching to events, to transform data, etc. Rule markup languages will allow to enrich Web ontologies by adding definitions of derived concepts, to publish rules on the Web, to exchange rules between different systems, etc.The nine revised full papers presented together with two invited papers were carefully reviewed and selected for presentation. All current issues on rules and rule markup languages for the semantic Web are addressed.

The study analyses the effects of the EU enlargement on the capital markets in the most advanced countries of Central and Eastern Europe and Russia. It also investigates the impacts on the interactions between Eastern and Western capital markets that are due to the ongoing integration process. Therefore, the study should be particularly useful for financial analysts, institutional investors and academic researchers who are interested in the economic and institutional developments of capital markets in CEE countries and are looking for a thorough and comprehensive analysis of the future perspectives of these capital markets.

The book constitutes the refereed proceedings of the International Workshop on Distributed, High-Performance and Grid Computing in Computational Biology, GCCB 2006, held in Eilat, Israel in January 2007 in conjunction with the 5th European Conference on Computational Biology, ECCB 2006. The 13 revised full papers presented were carefully reviewed and selected from many high quality submissions.

It is the aim of this study to assess the effects of the EU enlargement on the capital markets in the most advanced countries of Central and Eastern Europe (CEE) and Russia and to analyse the impacts on the interactions between Eastern and Western capital markets due to the integration process.

Es wird allgemeine Managementaufgabe, entlang der gesamten Wertschöpfungskette Umweltschutz, soziale Normen und moralisch-rechtlich korrekte Unternehmensführung in Organisationen und Prozessen durchzusetzen und zu leben.

Es wird zunächst ein Überblick über Modelle gegeben, die zur Bewertung sektoraler und gesamtwirtschaftlicher Kosten von Umweltpolitik eingesetzt werden. Dabei handelt es sich vor allem um Input-Output-Modelle und deren Weiterentwicklungen. Es zeigt sich, daß diese Modelle nicht geeignet sind, volkswirtschaftliche Kosten von Umweltpolitik zu erfassen, da wesentliche Rückwirkungen über Preise, Substitutionsvorgänge und Veränderungen von Einkommen nicht berücksichtigt werden. Im Anschluß daran wird die Methodik der Angewandten Gleichgewichtsanalyse dargestellt, die eine Kombination von verallgemeinerten I/O-Modellen und allgemeinen Gleichgewichtsmodellen ist. Es wird ein eigenes CGE-Modell entwickelt und ausführlich beschrieben. Dieses Modell (ENEAS) wird zur Bewertung konkreter umweltpolitischer Maßnahmen verwandt. Beispiele sind: Vergleich von Emissionsstandards versus effiziente umweltpolitische Maßnahmen (Emissionssteuern), Subventionen auf beseitigte Schadstoffe, Verfahren zur Reduktion von CO2-Emissionen u.a.