This book describes a variety of test generation algorithms for testing crosstalk delay faults in VLSI circuits. It introduces readers to the various crosstalk effects and describes both deterministic and simulation-based methods for testing crosstalk delay faults. The book begins with a focus on currently available crosstalk delay models, test generation algorithms for delay faults and crosstalk delay faults, before moving on to deterministic algorithms and simulation-based algorithms used to test crosstalk delay faults. Given its depth of coverage, the book will be of interest to design engineers and researchers in the field of VLSI Testing.

This book is the best way to make the leap from SQL-92 to SQL: 1999, but it is much more than just a simple bridge between the two. The latest from celebrated SQL experts Jim Melton and Alan Simon, "SQL: 1999" is a comprehensive, eminently practical account of SQL's latest incarnation and a potent distillation of the details required to put it to work. Written to accommodate both novice and experienced SQL users, "SQL: 1999" focuses on the language's capabilities, from the basic to the advanced, and the way that real applications take advantage of them. Throughout, the authors illustrate features and techniques with clear and often entertaining references to their own custom database, which can be downloaded from the companion Web site.
* Gives authoritative coverage from an expert team that includes the editor of the SQL-92 and SQL: 1999 standards.
* Provides a general introduction to SQL that helps you understand its constituent parts, history, and place in the realm of computer languages.
* Explains SQL: 1999's more sophisticated features, including advanced value expressions, predicates, advanced SQL query expressions, and support for active databases.
* Explores key issues for programmers linking applications to SQL databases.
* Provides guidance on troubleshooting, internationalization, and changes anticipated in the next version of SQL.
* Contains appendices devoted to database design, a complete SQL: 1999 example, the standardization process, and more.

A Deep Dive into NoSQL Databases: The Use Cases and Applications, Volume 109, the latest release in the Advances in Computers series first published in 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth. This update includes sections on NoSQL and NewSQL databases for big data analytics and distributed computing, NewSQL databases and scalable in-memory analytics, NoSQL web crawler application, NoSQL Security, a Comparative Study of different In-Memory (No/New)SQL Databases, NoSQL Hands On-4 NoSQLs, the Hadoop Ecosystem, and more.

As both intelligence and software science revolutionizes the modern world, the contributions that each make to the other combine into a new transdisciplinary field. Breakthroughs in Software Science and Computational Intelligence charts the new ground broken by researchers exploring these two disciplines. A vital resource to students and practitioners working in computer science, theoretical software engineering, cognitive science, cognitive informatics, and intelligence science, this book establishes itself in this new field, emphasizing the abundance of future applications and advancement.

These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. Chapters in this volume include: Similarity-based Analysis of Population Dynamics in GP Performing Symbolic Regression Hybrid Structural and Behavioral Diversity Methods in GP Multi-Population Competitive Coevolution for Anticipation of Tax Evasion Evolving Artificial General Intelligence for Video Game Controllers A Detailed Analysis of a PushGP Run Linear Genomes for Structured Programs Neutrality, Robustness, and Evolvability in GP Local Search in GP PRETSL: Distributed Probabilistic Rule Evolution for Time-Series Classification Relational Structure in Program Synthesis Problems with Analogical Reasoning An Evolutionary Algorithm for Big Data Multi-Class Classification Problems A Generic Framework for Building Dispersion Operators in the Semantic Space Assisting Asset Model Development with Evolutionary Augmentation Building Blocks of Machine Learning Pipelines for Initialization of a Data Science Automation Tool Readers will discover large-scale, real-world applications of GP to a variety of problem domains via in-depth presentations of the latest and most significant results.

Java Card is one of the latest developments in the area of multi-application and platform-independent smart cards. As a working tool for professionals, this easy-to-understand resource provides clear, detailed guidance on smart cards, credit and debit cards, Java Card and Open Card Framework (OCF). It offers in-depth coverage of important standards, open specifications and critical security issues, including common threats and security mechanisms regarding the card and its connection interface. The book explains how to program a Java Card applet, an OCF card service and a terminal application. What's more, the book presents an informative case study on the credit-debit application, offering a detailed road map of the application development process.

ISO 9001 is known throughout the world as the gold standard for quality process improvement, but quality assurances experts are also discovering the power of CMMI (Capability Maturity Model Integration). This text explores how these two models can be used together to improve process quality by quantum leaps. It shows how organizations can streamline their quality process improvement programmes by capitalizing on the similarities both models share while minimizing their differences. The authors demonstrate that organizations can save valuable resources and money as they improve quality by moving towards both ISO 9001:2000 and CMMI compliance certification.

The papers contained in this volume were originally presented at the 2015 International Conference on Complex Systems in Business, Administration, Science and Engineering. Included are the latest works of practitioners from a variety of disciplines who have developed new approaches for resolving complex issues that cannot be formulated using conventional, mathematical or software models.Complex Systems occur in an infinite variety of problems, not only in the realm of physical sciences and engineering, but also in such diverse fields as economics, the environment, humanities, and social and political sciences.The papers in the book cover such topics as: Complex ecological systems; Complexity science and urban developments; Complex energy systems; Complex issues in biological and medical sciences; Extreme events: natural and human made disasters; Climate change; Complexity of the internet-based global market; Complex business processes; Supply chain complexity; Transportation complexity; Logistics complexity; Closed and open systems; Attractions and chaotic systems; Complex adaptive software; Complexity of big data; Management of complexity; Global economy as a complex system; Complexity in social systems; Complex political systems; Administrations as complex systems; Complexity in engineering; Complexity and environment; Complexity and evolution; Complexity in linguistics, literature and arts.

Whether searching, shopping, or socializing, Web users leave behind a great deal of data revealing their information needs, mindset, and approaches used, creating vast opportunities for Web service providers as well as a host of security and privacy concerns for consumers. The Handbook of Research on Web Log Analysis reflects on the multifaceted themes of Web use and presents various approaches to log analysis. This expansive collection reviews the history of Web log analysis and examines new trends including the issues of privacy, social interaction and community building. Over XX research contributions from XX international experts comprehensively cover the latest user-behavior analytic and log analysis methodologies, and consider new research directions and novel applications. An essential holding for library reference collections, this Handbook of Research will benefit academics, researchers, and students in a variety of fields, as well as technology professionals interested in the opportunities and challenges presented by the massive collection of Web usage data.

As semantic technologies prove their value with targeted applications, there are increasing opportunities to consider their usefulness in social contexts for knowledge, learning, and human development. ""Social Web Evolution: Integrating Semantic Applications and Web 2.0 Technologies"" explores the potential of Web 2.0 and its synergies with the Semantic Web and provides state-of-the-art theoretical foundations and technological applications. A reference edition for academicians, practitioners, policy makers, and government officers eager for knowledge on Web 2.0 and social Web, this book emphasizes practical aspects of the integration of semantic applications into social Web technologies.

This book focuses on the design, implementation and applications of embedded systems and advanced industrial controls with microcontrollers. It combines classical and modern control theories as well as practical control programming codes to help readers learn control techniques easily and effectively. The book covers both linear and nonlinear control techniques to help readers understand modern control strategies. The author provides a detailed description of the practical considerations and applications in linear and nonlinear control systems. They concentrate on the ARM (R) Cortex (R)-M4 MCU system built by Texas Instruments (TM) called TM4C123GXL, in which two ARM (R) Cortex (R)-M4 MCUs, TM4C123GH6PM, are utilized. In order to help the reader develop and build application control software for a specified microcontroller unit. Readers can quickly develop and build their applications by using sample project codes provided in the book to access specified peripherals. The book enables readers to transfer from one interfacing protocol to another, even if they only have basic and fundamental understanding and basic knowledge of one interfacing function. Classical and Modern Controls with Microcontrollers is a powerful source of information for control and systems engineers looking to expand their programming knowledge of C, and of applications of embedded systems with microcontrollers. The book is a textbook for college students majored in CE, EE and ISE to learn and study classical and modern control technologies. The book can also be adopted as a reference book for professional programmers working in modern control fields or related to intelligent controls and embedded computing and applications. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

Recent advancements have put Gaming and Computer-Mediated Simulations at the forefront of technology and learning. A closer look at these topic areas opens the door for development and innovation and the implications that go with it. Discoveries in Gaming and Computer-Mediated Simulations: New Interdisciplinary Applications explores and promotes a deep conceptual and empirical understanding of the roles of electronic games and computer-mediated simulations across multiple disciplines. This book helps build a significant bridge between research and practice on electronic gaming and simulations, supporting the work of researchers, practitioners, and policymakers. Drawing on history allows this publication to help move this field forward.

Whether you are a computer programming student, hobbyist or professional, Lambert's FUNDAMENTALS OF PYTHON (TM): DATA STRUCTURES, 2E offers the perfect introduction to object-oriented design and data structures using the popular Python (TM) programming language. The level of instruction is ideal if you've had at least one semester of programming experience in an object-oriented language, such as Java (TM), C++ or Python (TM). Step-by-step explanations and focused exercises clearly explain the design of collection classes with polymorphism and inheritance and multiple implementations of collection interfaces. This edition also addresses the analysis of the space/time tradeoffs of different collection implementations and, specifically, array-based implementations and link-based implementations. You learn to work with collections, including sets, lists, stacks, queues, trees, dictionaries and graphs. Prepare for success with FUNDAMENTALS OF PYTHON (TM): DATA STRUCTURES, 2E.

The integration of logic and probability combines the capability of the first to represent complex relations among entities with the capability of the latter to model uncertainty over attributes and relations. Logic programming provides a Turing complete language based on logic and thus represent an excellent candidate for the integration. Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. One of most successful approaches to Probabilistic Logic Programming is the Distribution Semantics, where a probabilistic logic program defines a probability distribution over normal logic programs and the probability of a ground query is then obtained from the joint distribution of the query and the programs. Foundations of Probabilistic Logic Programming aims at providing an overview of the field of Probabilistic Logic Programming, with a special emphasis on languages under the Distribution Semantics. The book presents the main ideas for semantics, inference and learning and highlights connections between the methods. Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.

The portable Raspberry Pi computing platform with the power of Linux yields an exciting exploratory tool for beginning scientific computing. Science and Computing with Raspberry Pi takes the reader through explorations in a variety of computing exercises with the physical sciences. The book guides the user through: configuring your Raspberry Pi and Linux operating system; understanding the software requirements while using the Pi for scientific computing; computing exercises in physics, astronomy, chaos theory, and machine learning.

A unique guide to the design and implementation of simulation software

This book offers a concise introduction to the art of building simulation software, collecting the most important concepts and algorithms in one place. Written for both individuals new to the field of modeling and simulation as well as experienced practitioners, this guide explains the design and implementation of simulation software used in the engineering of large systems while presenting the relevant mathematical elements, concept discussions, and code development.

The book approaches the topic from the perspective of Zeigler's theory of modeling and simulation, introducing the theory's fundamental concepts and showing how to apply them to engineering problems. Readers will learn five necessary skills for building simulations of complicated systems: Working with fundamental abstractions for simulating dynamic systemsDeveloping basic simulation algorithms for continuous and discrete event modelsCombining continuous and discrete event simulations into a coherent wholeApplying strategies for testing a simulationUnderstanding the theoretical foundations of the modeling constructs and simulation algorithms

The central chapters of the book introduce, explain, and demonstrate the elements of the theory that are most important for building simulation tools. They are bracketed by applications to robotics, control and communications, and electric power systems; these comprehensive examples clearly illustrate how the concepts and algorithms are put to use. Readers will explore the design of object-oriented simulation programs, simulation using multi-core processors, and the integration of simulators into larger software systems.

The focus on software makes this book particularly useful for computer science and computer engineering courses in simulation that focus on building simulators. It is indispensable reading for undergraduate and graduate students studying modeling and simulation, as well as for practicing scientists and engineers involved in the development of simulation tools.

This book highlights practical solutions for flight safety improvement techniques, which are currently the focus of the International Civil Aviation Organization (ICAO). It has become clear that, in order to rapidly and significantly improve flight safety, the integrated use of new aeronautical technologies is called for. Considering the size of the aviation fleet, its constant growth and the long service lives of aircraft, new technologies should be adapted both to cutting-edge air navigation systems and to those that have been used for over a decade. Concretely, the book discusses methodological approaches to the construction of ground and on-board avionics that make it possible to achieve improved flight safety using innovative new methods. The proposed approaches are illustrated with real-world examples of e.g. satellite-based navigation systems and enhanced ground proximity warning systems. The book is written for professionals involved in the development of avionics systems, as well as students, researchers and experts in the field of radiolocation, radio navigation and air traffic control, the book will support the development and modeling of radio technical complexes, as well as the analysis of complex radio technical systems.

Other books on the market have explored the principles of software configuration management (SCM), but none have tackled the nuts-and-bolts of implementing an SCM system - until now. This completely revised edition of an Artech House bestseller goes far above and beyond other SCM books as the only complete guide that integrates SCM principles, advanced topics, and implementation procedures in one easy-access resource. The second edition is greatly expanded with new chapters on documentation control, product data management, and SCM standards, and explroes the latest advances in SCM tools, organization, operation, and maintenance as well as new software development methodologies.

Although the field of mixed reality has grown significantly over the last decade, there have been few published books about augmented reality, particularly the interface design aspects. ""Emerging Technologies of Augmented Reality: Interfaces and Design"" provides a foundation of the main concepts of augmented reality (AR), with a particular emphasis on user interfaces, design, and practical AR techniques, from tracking algorithms to design principles for AR interfaces. ""Emerging Technologies of Augmented Reality: Interfaces and Design"" contains comprehensive information focusing on the following topics: technologies that support AR, development environments, interface design and evaluation of applications, and case studies of AR applications.

The AVR RISC Microcontroller Handbook is a comprehensive guide to designing with Atmel's new controller family, which is designed to offer high speed and low power consumption at a lower cost. The main text is divided into three sections: hardware, which covers all internal peripherals; software, which covers programming and the instruction set; and tools, which explains using Atmel's Assembler and Simulator (available on the Web) as well as IAR's C compiler.

Practical guide for advanced hobbyists or design professionals
Development tools and code available on the Web