Diese moderne Einführung in die Informatik ist am renommierten Massachusetts Institute of Technology entstanden und repräsentiert den dortigen Ausbildungsstandard für Studenten der Informatik und der Elektrotechnik. Das ganzheitliche Verständnis der Informatik unter Einbeziehung der Künstlichen Intelligenz, das in diesem Buch vermittelt wird, hat es weltweit zu einer beliebten Grundlage für die Einführungsvorlesung gemacht. Zur Notation der Programme wird Scheme verwendet, ein Dialekt der Programmiersprache Lisp, der die Leistungsfähigkeit und die Eleganz von Lisp und Algol verbindet. Die Besonderheit dieser einführenden Vorlesung beruht auf zwei Grundüberzeugungen: 1. Eine Computersprache ist nicht einfach ein Weg, einen Computer zur Ausführung von Operationen zu bewegen, sondern vielmehr ein neuartiges Medium, um Vorstellungen über Verfahrensweisen auszudrücken.
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text.
Written by noted quantum computing theorist Scott Aaronson, this book takes readers on a tour through some of the deepest ideas of maths, computer science and physics. Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb´s Paradox, the anthropic principle and the views of Roger Penrose. Aaronson´s informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo 2019 events EuroGP, EvoCOP and EvoApplications. The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of topics and application areas, including: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; design; and other creative tasks.
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C sharp, but with little or no modeling or software engineering experience thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpretation of rare special cases. After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual diagram types of UML (the class and object diagram, the sequence diagram, the state machine diagram, the activity diagram, and the use case diagram), as well as their interrelationships, in a step-by-step manner. The topics covered include not only the syntax and the semantics of the individual language elements, but also pragmatic aspects, i.e., how to use them wisely at various stages in the software development process. To this end, the work is complemented with examples that were carefully selected for their educational and illustrative value. Overall, the book provides a solid foundation and deeper understanding of the most important object-oriented modeling concepts and their application in software development. An additional website (www.uml.ac.at) offers a complete set of slides to aid in teaching the contents of the book, exercises and further e-learning material.
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
This text examines the goals of data analysis with respect to enhancing knowledge, and identifies data summarization and correlation analysis as the core issues. Data summarization, both quantitative and categorical, is treated within the encoder-decoder paradigm bringing forward a number of mathematically supported insights into the methods and relations between them. Two Chapters describe methods for categorical summarization: partitioning, divisive clustering and separate cluster finding and another explain the methods for quantitative summarization, Principal Component Analysis and PageRank. Features: · An in-depth presentation of K-means partitioning including a corresponding Pythagorean decomposition of the data scatter. · Advice regarding such issues as clustering of categorical and mixed scale data, similarity and network data, interpretation aids, anomalous clusters, the number of clusters, etc. · Thorough attention to data-driven modelling including a number of mathematically stated relations between statistical and geometrical concepts including those between goodness-of-fit criteria for decision trees and data standardization, similarity and consensus clustering, modularity clustering and uniform partitioning. New edition highlights: · Inclusion of ranking issues such as Google PageRank, linear stratification and tied rankings median, consensus clustering, semi-average clustering, one-cluster clustering · Restructured to make the logics more straightforward and sections self-contained Core Data Analysis: Summarization, Correlation and Visualization is aimed at those who are eager to participate in developing the field as well as appealing to novices and practitioners.
Build practical applications of computer vision using the OpenCV library with Python. This book discusses different facets of computer vision such as image and object detection, tracking and motion analysis and their applications with examples. The author starts with an introduction to computer vision followed by setting up OpenCV from scratch using Python. The next section discusses specialized image processing and segmentation and how images are stored and processed by a computer. This involves pattern recognition and image tagging using the OpenCV library. Next, you´ll work with object detection, video storage and interpretation, and human detection using OpenCV. Tracking and motion is also discussed in detail. The book also discusses creating complex deep learning models with CNN and RNN. The author finally concludes with recent applications and trends in computer vision. After reading this book, you will be able to understand and implement computer vision and its applications with OpenCV using Python. You will also be able to create deep learning models with CNN and RNN and understand how these cutting-edge deep learning architectures work. What You Will Learn Understand what computer vision is, and its overall application in intelligent automation systems Discover the deep learning techniques required to build computer vision applications Build complex computer vision applications using the latest techniques in OpenCV, Python, and NumPy Create practical applications and implementations such as face detection and recognition, handwriting recognition, object detection, and tracking and motion analysis Who This Book Is For Those who have a basic understanding of machine learning and Python and are looking to learn computer vision and its applications.
Use the solutions provided in this book to handle common challenges in Xamarin.Forms that are encountered on a daily basis. Working examples and techniques are presented that you can modify and drop directly into your own projects. You will be able to deliver working code faster than ever. Examples are made available through GitHub, maximizing the convenience and value this book provides to Xamarin.Forms developers. Solutions in the book are organized broadly into problem domains such as user interface for applications, data and security, connectivity and external services, and more. Within each domain the book presents specific solutions addressing challenges that are commonly faced. Under data and security, for example, you´ll find specific solutions around storing login credentials, local data caching, and sending authorization tokens in HTTP requests. Not only do the solutions in the book solve specific problems, they also present best practices that can inform and improve the quality of the code that you write. Xamarin.Forms Solutions is chock full of practical advice and code examples that no Xamarin.Forms programmer will want to be without. The basics of Xamarin.Forms are provided for beginning developers. What You´ll Learn Know the in-depth basics of Xamarin.Forms and the inner workings Create custom renderers and dependency services Manage the appearance of user interfaces through styling and theming, layout options, rotation, and animation Build sophisticated user interfaces using a variety of controls that allow for PDF viewing, barcode interpretation, searching and finding, and other controls Secure your applications, and communicate securely with services via HTTP requests Sign and deploy your apps and optimize the binary file size Who This Book Is For Those building mobile applications on the Xamarin platform for iOS and Android. By mixing together the solutions and a thorough explanation of the basics of Xamarin.Forms, the book spans the needs of beginning through intermediate Xamarin.Forms developers. Even experts will find a few gems to improve the quality and speed of their application development work.
CMMI für Dienstleistungen (CMMI for Services, CMMI-SVC) ist ein Modell zur methodischen Erbringung, Entwicklung und Verbesserung von Dienstleistungen. Die Best Practices aus CMMI-SVC unterstützen dabei, Dienstleistungsabläufe systematisch und ausgerichtet auf die Geschäftsziele zu verbessern. Dieses Buch ist eine praxisorientierte Einführung in CMMI-SVC, seine Vorteile und seine Verwendung. Zunächst werden die für CMMI-SVC spezifischen Inhalte und die Struktur des Modells (Version 1.3) erläutert. Anschließend stehen die Interpretation und die Umsetzung des CMMI in der Praxis im Vordergrund. Die einzelnen Prozessgebiete, Ziele und Praktiken werden anhand von Beispielen im Detail vorgestellt und mehrere Fallstudien zeigen konkrete Einsatzszenarien auf. Aus dem Inhalt: - Aufbau und Varianten des CMMI - Die Prozessgebiete des CMMI-SVC - Vorgehen zur Prozessverbesserung - Bewertung der Prozessreife - Überblick über verwandte Modelle Im Anhang finden Sie u.a. eine deutsche Übersetzung der Ziele und Praktiken aus dem Standard für die Prozessgebiete, die spezifisch für CMMI-SVC sind, ein Glossar sowie eine Übersicht über die Varianten des CMMI. Dieses Buch gibt Ihnen wertvolle Tipps und Anleitungen, wie Sie Dienstleistungen gezielt und nachhaltig optimieren können. ´´The authors guide you with practical examples and their years of experience. They discuss the applicability of the model in a range of service domains, demonstrating their understanding of the intention and flexibility of the model.´´ Aus dem Geleitwort von Eileen Forrester Software Engineering Institute