Kategoria BISAC: Mathematics >> General

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand properties and evolution laws of existing complex and adaptive systems man-made such as smart electrical grids or natural ones such as biological networks.
A tribute to Professor Kaisa Sere s contributions to the field of computer science,...

Das Buch stellt die Grundlagen der modernen Elementarteilchenphysik und Kosmologie, sowie die aktuellen offenen Fragen bis zur Stringtheorie dar. Es enthalt elementare Einfuhrungen in die spezielle und allgemeine Relativitatstheorie, die klassische und Quanten-Feldtheorie. Die wesentlichen Aspekte dieser Konzepte und viele Phanomene werden mit Hilfe einfacher Rechnungen verstanden, wobei keine hoheren mathematischen oder physikalischen Kenntnisse vorausgesetzt werden. Ebenfalls behandelt werden unter anderem der Big Bang, dunkle Materie und dunkle Energie, sowie die Funktionsweise des...

There has never been a universal algebra of data. Mathematics has been widely employed by software in many ways: numerical analysis, statistics, algorithms, mathematical modeling, and so on, but it has never been used to formally define data in all its variety.

This changed when mathematical research into data algebra--carried out for Algebraix Data Corporation by one of the authors of this book--matured and was tested in an extensive range of data management, data integration, and performance optimization contexts. The purpose of this book is to explain that data algebra.

Reconfigurable computing techniques and adaptive systems are some of the most promising architectures for microprocessors. Reconfigurable and Adaptive Computing: Theory and Applications explores the latest research activities on hardware architecture for reconfigurable and adaptive computing systems.

The first section of the book covers reconfigurable systems. The book presents a software and hardware codesign flow for coarse-grained systems-on-chip, a video watermarking algorithm for the H.264 standard, a solution for regular expressions matching systems,...

Today's graduates should be grounded in the basics of personal finance and possess the skills and knowledge necessary to make informed decisions and take responsibility for their own financial well-being. Faced with an array of complex financial services and sophisticated products, many graduates lack the knowledge and skills to make rational, informed decisions on the use of their money and planning for future events, such as retirement.

This book shows what you can do to improve financial literacy awareness and education. It covers the use of interactive games and...

Over baseball history, which park has been the best for run scoring?¹ Which player would lose the most home runs after adjustments for ballpark effect?² Which player claims four of the top five places for best individual seasons ever played, based on all-around offensive performance.³ (See answers, below).

These are only three of the intriguing questions Michael Schell addresses in Baseball's All-Time Best Sluggers, a lively examination of the game of baseball using the most sophisticated statistical tools available. The book provides an...

Minimize Power Consumption and Enhance User Experience

Essential for high-speed fifth-generation mobile networks, mobile cloud computing (MCC) integrates the power of cloud data centers with the portability of mobile computing devices. Mobile Cloud Computing: Architectures, Algorithms and Applications covers the latest technological and architectural advances in MCC. It also shows how MCC is used in health monitoring, gaming, learning, and commerce.

The book examines computation within a mobile device; the evolution, architecture, and...

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them.

Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented...

If you understand basic mathematics and know how to program with Python, you're ready to dive into signal processing. While most resources start with theory to teach this complex subject, this practical book introduces techniques by showing you how they're applied in the real world. In the first chapter alone, you'll be able to decompose a sound into its harmonics, modify the harmonics, and generate new sounds.

Author Allen Downey explains techniques such as spectral decomposition, filtering, convolution, and the Fast Fourier Transform. This book also provides exercises and code...