Ulrich Hedtstück – författare

Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in die Gebiete Formale Sprachen und Automatentheorie für das Informatik-Grundstudium an Fachhochschulen und Universitäten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen für das Verständnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer gelöst werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard für XML-Dokumente.

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

Dieses Buch führt in die Simulation diskreter Prozesse ein. Typische Anwendungsbeispiele sind Fertigungsprozesse, Strassenverkehrssituationen, Menschenströme und Geschäftsprozesse. Der Autor vermittelt die grundlegende ereignisorientierte Simulation sowie deren programmiertechnische Realisierung. Anhand vieler Beispiele wird die Lösung spezieller Detailprobleme mit grundlegendem Charakter gezeigt. Die durch die Optimierung von Geschäftsprozessen entstandenen neuen Herausforderungen bezüglich der Simulation bilden einen Schwerpunkt der Darstellung, ein separater Teil ist den theoretischen Grundlagen gewidmet. Lernziel des Buches ist die Fähigkeit, diskrete Prozesse mit den passenden Mitteln zu modellieren und dazu eine Simulationssoftware zu entwerfen bzw. die Mechanismen bestehender Simulationssoftware so zu begreifen, dass sie gewinnbringend eingesetzt werden kann. Die wichtigen Programmstrukturen sind in Form von Pseudocode dargestellt und dadurch völlig unabhängig von einer Programmiersprache oder Spezialsoftware. Damit ist das Buch für eine breite Leserschaft geeignet.

Dieses Buch führt in die Simulation diskreter Prozesse ein. Typische Anwendungsbeispiele sind Fertigungsprozesse, Strassenverkehrssituationen, Menschenströme und Geschäftsprozesse. Der Autor vermittelt die grundlegende ereignisorientierte Simulation sowie deren programmiertechnische Realisierung. Anhand vieler Beispiele wird die Lösung spezieller Detailprobleme mit grundlegendem Charakter gezeigt. Die durch die Optimierung von Geschäftsprozessen entstandenen neuen Herausforderungen bezüglich der Simulation bilden einen Schwerpunkt der Darstellung, ein separater Teil ist den theoretischen Grundlagen gewidmet. Lernziel des Buches ist die Fähigkeit, diskrete Prozesse mit den passenden Mitteln zu modellieren und dazu eine Simulationssoftware zu entwerfen bzw. die Mechanismen bestehender Simulationssoftware so zu begreifen, dass sie gewinnbringend eingesetzt werden kann. Die wichtigen Programmstrukturen sind in Form von Pseudocode dargestellt und dadurch völlig unabhängig von einer Programmiersprache oder Spezialsoftware. Damit ist das Buch für eine breite Leserschaft geeignet.

Eine wichtige Aufgabe für die IT der vernetzten Welt ist die maschinelle Auswertung und Verarbeitung von Informationen, die für eine Anwendung relevant sind und übers Netz verschickt werden. Mit Complex Event Processing (CEP) können große Mengen von zeitbehafteten Daten unterschiedlichster Art in nahezu Echtzeit analysiert und weiterverarbeitet werden. Die grundlegende Vorgehensweise beim CEP entspricht der menschlichen Entscheidungsfindung in Prozessabläufen des täglichen Lebens und stellt eine Erweiterung bekannter Methoden des Data Analytics wie Data Mining, statistische Analyse oder regelbasierte Wissensverarbeitung dar. Typische Anwendungsgebiete sind Big-Data-Systeme, Internet of Things, Industrie 4.0.

Eine wichtige Aufgabe für die IT der vernetzten Welt ist die maschinelle Auswertung und Verarbeitung von Informationen, die für eine Anwendung relevant sind und übers Netz verschickt werden. Mit Complex Event Processing (CEP) können große Mengen von zeitbehafteten Daten unterschiedlichster Art in nahezu Echtzeit analysiert und weiterverarbeitet werden. Die grundlegende Vorgehensweise beim CEP entspricht der menschlichen Entscheidungsfindung in Prozessabläufen des täglichen Lebens und stellt eine Erweiterung bekannter Methoden des Data Analytics wie Data Mining, statistische Analyse oder regelbasierte Wissensverarbeitung dar. Typische Anwendungsgebiete sind Big-Data-Systeme, Internet of Things, Industrie 4.0.