Database design and theory Books

Book SynopsisResources designed to support learners of the 2010 BTEC Level 3 National IT specification*. Extensive unit coverage: Student Book 2 covers 14 units including all the mandatory units, giving learners the breadth to tailor the course to their needs and interests, when combined with Student Book 1. Functional Skills and Personal Learning and Thinking Skills are embedded in activities throughout the book. WorkSpace case studies take learners into the real world of work, showing them how they can apply their knowledge in a real-life context.

Read more less

Book SynopsisAcross three volumes, the Handbook of Image Processing and Computer Vision presents a comprehensive review of the full range of topics that comprise the field of computer vision, from the acquisition of signals and formation of images, to learning techniques for scene understanding. The authoritative insights presented within cover all aspects of the sensory subsystem required by an intelligent system to perceive the environment and act autonomously. Volume 1 (From Energy to Image) examines the formation, properties, and enhancement of a digital image.Topics and features:• Describes the fundamental processes in the field of artificial vision that enable the formation of digital images from light energy• Covers light propagation, color perception, optical systems, and the analog-to-digital conversion of the signal• Discusses the information recorded in a digital image, and the image processing algorithms that can improve the visual qualities of the image• Reviews boundary extraction algorithms, key linear and geometric transformations, and techniques for image restoration• Presents a selection of different image segmentation algorithms, and of widely-used algorithms for the automatic detection of points of interest• Examines important algorithms for object recognition, texture analysis, 3D reconstruction, motion analysis, and camera calibration• Provides an introduction to four significant types of neural network, namely RBF, SOM, Hopfield, and deep neural networksThis all-encompassing survey offers a complete reference for all students, researchers, and practitioners involved in developing intelligent machine vision systems. The work is also an invaluable resource for professionals within the IT/software and electronics industries involved in machine vision, imaging, and artificial intelligence.Dr. Cosimo Distante is a Research Scientist in Computer Vision and Pattern Recognition in the Institute of Applied Sciences and Intelligent Systems (ISAI) at the Italian National Research Council (CNR). Dr. Arcangelo Distante is a researcher and the former Director of the Institute of Intelligent Systems for Automation (ISSIA) at the CNR. His research interests are in the fields of Computer Vision, Pattern Recognition, Machine Learning, and Neural Computation.Table of ContentsImage Formation Process Radiometric Model Color Optical System Digitization and Image Display Properties of the Digital Image Data Organization Representation and Description of Forms Image Enhancement Techniques

Read more less

Book SynopsisDieses Lehrbuch aus dem KI-Themenfeld richtet sich an Wirtschaftsinformatiker und Informatiker, ferner an Ingenieure und OR-Spezialisten. Es bietet eine umfassende methodisch orientierte Einführung in das Optimieren mit Evolutionären Algorithmen. Dazu gehören vor allem Genetische Algorithmen, Evolutionsstrategien, Genetische bzw. Evolutionäre Programmierung. Wichtige Ergebnisse der Theorie werden in gut verständlicher Form wiedergegeben. Zahlreiche Abbildungen und Beispiele sowie Hinweise auf Quellen im Internet und Testdaten ergänzen den Text. Das Buch kann als Grundlage zur Entwicklung eigener Anwendungen dienen oder als begleitender Text für Lehrveranstaltungen.Table of ContentsThematische Einordnung - Relevante Grundelemente der Evolutionstheorie - Genetische Algorithmen - Genetische Programmierung - Evolutionsstrategien - Evolutionäre Programmierung - Lernende Classifier Systeme - Kombinationsmöglichkeiten mit Neuronalen Netzen und der Fuzzy Set Theorie - Vergleich und Beurteilung von Evolutionären Algorithmen - Zahlreiche Abbildungen und Beispiele - Umfangreiche Literaturhinweise - Verweise auf Quellen im Internet - Testdaten - Index

Read more less

Book SynopsisDieses Lehrbuch mit detailliert ausgearbeiteten Erklärungen und auf die Zielsetzungen fein abgestimmtem Training bietet einen einfachen Einstieg in die Theorie der formalen Sprachen. Es eignet sich gut für den Unterricht und das Selbststudium. Neben Gymnasiasten und Studienanfängern an Hochschulen richtet es sich auch an Lehramtsstudierende, insbesondere wenn sie sich mit der praktischen Umsetzung der Fachdidaktik für die Unterrichtsvorbereitung beschäftigen.Inhaltlich liegt der Fokus auf endlichen Automaten zur Systemsteuerung und zur Mustererkennung in Texten sowie auf Grammatiken zur Beschreibung von Programmiersprachen. Weiter werden erste Schritte im Compilerbau (lexikalische und syntaktische Analyse) unternommen.Die Leserinnen und Leser werden zur Bearbeitung von Projekten zur Darstellung und Analyse einfacher Programmiersprachen eingeladen.Table of ContentsAlphabete, Wörter und Sprachen - Das Modell der endlichen Automaten - Entwurf von endlichen Automaten - Projekt "Steuerungsautomaten" - Induktionsbeweise der Korrektheit - Simulation und modularer Entwurf endlicher Automaten - Größe endlicher Automaten und Nichtexistenzbeweise - Automaten mit Ausgabe und lexikalische Analyse - Kontextfreie Grammatiken - Syntaxanalyse von Programmen

Read more less

Book SynopsisDas Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die für dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalität in verteilten Systemen.Table of ContentsMathematische Grundlagen - Verbände und Ordnungen - Einige wichtige Verbandsklassen - Fixpunkttheorie mit Anwendungen - Vervollständigung und Darstellung mittels Vervollständigung - Wohlgeordnete Mengen und das Auswahlaxiom - Einige Informatik-Anwendungen von Ordnungen und Verbänden

Read more less

Book SynopsisAndreas Gadatsch schließt mit dem vorliegenden essential eine Lücke in einführenden Werken zur Datenmodellierung. Diese Modelle gehören zum Basiswissen in Einführungsveranstaltungen zur Wirtschaftsinformatik für Betriebswirte. Die Literatur dazu ist für diese Zielgruppe häufig zu speziell, da sie sich eher an Informatiker richtet. Der Autor bietet hier nun einen kompakten Einstieg in die klassische CHEN-Notation anhand eines durchgängigen Fallbeispiels, auf der viele neue Modellierungsansätze aufbauen. Die zweite Auflage enthält einige formale Korrekturen und Ergänzungen (z. B. Rekursive Relationen).Der Autor:Dr. Andreas Gadatsch ist Professor für Betriebswirtschaftslehre, insbesondere Wirtschaftsinformatik im Fachbereich Wirtschaftswissenschaften der Hochschule Bonn-Rhein-Sieg in Sankt Augustin.Table of ContentsDie Datenmodellierung – vom Konzept zur Datenbank.- Erstellung von Fachkonzepten mit dem Entity-Relationship-Modell.- Erstellung von IT-Konzepten mit dem relationalen Datenmodell.- Implementierung von Datenmodellen in Datenbanksystemen.

Read more less

Book SynopsisIn dem Lehrbuch wird eine mathematisch orientierte Einführung in die algorithmische Geometrie gegeben. Im ersten Teil werden „klassische“ Probleme und Techniken behandelt, die sich auf polyedrische (= linear begrenzte) Objekte beziehen. Hierzu gehören beispielsweise Algorithmen zur Berechnung konvexer Hüllen und die Konstruktion von Voronoi-Diagrammen. Im zweiten Teil werden grundlegende Methoden der algorithmischen algebraischen Geometrie entwickelt und anhand von Anwendungen aus Computergrafik, Kurvenrekonstruktion und Robotik illustriert. Das Buch eignet sich für ein fortgeschrittenes Modul in den derzeit neu konzipierten Bachelor-Studiengängen in Mathematik und Informatik.Table of ContentsEinführung und Überblick Lineare algorithmische Geometrie: Geometrische Grundlagen - Polytope und Polyeder - Lineare Optimierung - Berechnung konvexer Hüllen - Voronoi-Diagramme - Delone-Triangulierungen Nichtlineare algorithmische Geometrie: Algebraische und geometrische Grundlagen - Gröbnerbasen und der Buchberger-Algorithmus - Lösen polynomialer Gleichungssysteme mit Gröbnerbasen Anwendungen: Kurvenrekonstruktion - Plücker-Koordinaten und Geraden im Raum - Anwendungen der nichtlinearen algorithmischen Geometrie Anhänge: Algebraische Strukturen - Trennungssätze - Algorithmen und Komplexität - Software - Literaturverzeichnis - Notation - Index

Read more less

Book Synopsis

Read more less

Book SynopsisWhile there is a lot of talk about how we now live in a knowledge society, the reality has been less impressive: We have yet to truly transition to a knowledge society-in part, this book argues, because discussion mostly focuses on a knowledge economy and information society rather than on ways to mobilise to create an actual knowledge society. That all may change, however, with the rise of open data and big data. This book considers the role of the open data movement in fostering transformation, showing that at the heart of any successful mobilisation will be an emerging open data ecosystem and new ways for societal actors to effectively produce and use data.Table of ContentsChapter One: Introduction Chapter Two: Defining a 'Knowledge Society' Chapter Three: Visions of Open Data Chapter Four: Mobilizing Open Data Chapter Five: Institutions in the Data Ecosystem: Actors in the Public Knowledge Domain and in Private Data Companies Chapter Six: Mobilizing Data: Scientific Disciplines, Scientific Practice, and Making Research Data Open Chapter Seven: Mobilizing Data: Environmental Data, Technical and Governance Issues Chapter Eight: Navigating Legal and Ethical Regulatory Frameworks Chapter Nine: Big Data, Open Data, and the Commercial Sector

Read more less

Book SynopsisThis book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code.Table of ContentsSpecDB: A Database Design for Software Specifications; Representing Formal Specifications in SpecDB: A Translation Algorithm; An Automated Constraint Generator; A Reverse Engineering Testing Tool; Enhancing Other Testing Tools Using SpecDB; Conclusion for Future Work.

Read more less

Book SynopsisContaining twenty six contributions by experts from all over the world, this book presents both research and review material describing the evolution and recent developments of various pattern recognition methodologies, ranging from statistical, linguistic, fuzzy-set-theoretic, neural, evolutionary computing and rough-set-theoretic to hybrid soft computing, with significant real-life applications.Pattern Recognition and Big Data provides state-of-the-art classical and modern approaches to pattern recognition and mining, with extensive real life applications. The book describes efficient soft and robust machine learning algorithms and granular computing techniques for data mining and knowledge discovery; and the issues associated with handling Big Data. Application domains considered include bioinformatics, cognitive machines (or machine mind developments), biometrics, computer vision, the e-nose, remote sensing and social network analysis.

Read more less