Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a. knowledge-based approach to the automation of program understanding. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches. More specifically, this approach documents programs by generating first order predicate logic annotations of their loops. In this approach, loops are classified according to their complexity levels. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates interdependent statements in events, which can be analyzed individually."

"Design Engineering for Industry 4.0 (DE4.0) represents the 'human-cyber-physical view of the systems realization ecosystem "that is necessary to accommodate the drivers of Industry 4.0 (IoX) and provide an open ecosystem for the realization of complex systems. Seamless integration of digital threads and digital twins throughout the product design, the development and fulfillment lifecycle; the ability to accommodate diverse and rapidly changing technologies; and the mechanisms to facilitate the creation of new opportunities for the design of products, processes, services, and systems are some of the desired characteristics of DE4.0." Jiao, R., Commuri, S. Panchal, J., Milisavljevic-Syed, J, Allen, J.K., Mistree, F. and Schaefer, D., "Design Engineering in the Age of Industry 4.0," ASME Journal of Mechanical Design, 143(7), 070801, 25 pages. In keeping with the Design Engineering 4.0 construct the authors describe architecting a computer platform to support human designers make decisions associated with the realization of complex engineered systems. The platform is designed to facilitate end-to-end digital integration, customization and personalization, agile collaboration networks, open innovation, co-creation and crowdsourcing, product servitization and anything-as-a-service. Recognizing that simulation models are abstractions of reality the authors opt for a satisficing strategy instead of an optimization strategy. They include fundamentals and then describe tools for architecting a knowledge-based platforms for decision support. Challenges associated with developing a computational platform for decision support for the realization of complex engineered systems in the context of Design Engineering 4.0 are identified. Constructs for formulating design decisions (e.g., selection, compromise, and coupled decisions), knowledge modelling schemes (e.g., ontologies and modular templates), diagrams for designing decision workflows (e.g., the PEI-X diagram), and some analytical methods for robust design under uncertainty are presented. The authors describe integrating the knowledge-based platform to architect a cloud-based platform for decision support promoting co-design and cloud-based design communication essential for mass collaboration and open innovation for Design Engineering 4.0. This book is a valuable resource for researchers, design engineers, and others working on pushing the boundary of digitized manufacturing to include Design Engineering 4.0 principles in designing products, processes, and services.

This updated edition offers an indispensable exposition on real-time computing, with particular emphasis on predictable scheduling algorithms. It introduces the fundamental concepts of real-time computing, demonstrates the most significant results in the field, and provides the essential methodologies for designing predictable computing systems used to support time-critical control applications. Along with an in-depth guide to the available approaches for the implementation and analysis of real-time applications, this revised edition contains a close examination of recent developments in real-time systems, including limited preemptive scheduling, resource reservation techniques, overload handling algorithms, and adaptive scheduling techniques. This volume serves as a fundamental advanced-level textbook. Each chapter provides basic concepts, which are followed by algorithms, illustrated with concrete examples, figures and tables. Exercises and solutions are provided to enhance self-study, making this an excellent reference for those interested in real-time computing for designing and/or developing predictable control applications.

This book introduces readers to a workload-aware methodology for large-scale graph algorithm optimization in graph-computing systems, and proposes several optimization techniques that can enable these systems to handle advanced graph algorithms efficiently. More concretely, it proposes a workload-aware cost model to guide the development of high-performance algorithms. On the basis of the cost model, the book subsequently presents a system-level optimization resulting in a partition-aware graph-computing engine, PAGE. In addition, it presents three efficient and scalable advanced graph algorithms - the subgraph enumeration, cohesive subgraph detection, and graph extraction algorithms. This book offers a valuable reference guide for junior researchers, covering the latest advances in large-scale graph analysis; and for senior researchers, sharing state-of-the-art solutions based on advanced graph algorithms. In addition, all readers will find a workload-aware methodology for designing efficient large-scale graph algorithms.

Multisensor Data Fusion: From Algorithms and Architectural Design to Applications covers the contemporary theory and practice of multisensor data fusion, from fundamental concepts to cutting-edge techniques drawn from a broad array of disciplines. Featuring contributions from the world's leading data fusion researchers and academicians, this authoritative book: Presents state-of-the-art advances in the design of multisensor data fusion algorithms, addressing issues related to the nature, location, and computational ability of the sensors Describes new materials and achievements in optimal fusion and multisensor filters Discusses the advantages and challenges associated with multisensor data fusion, from extended spatial and temporal coverage to imperfection and diversity in sensor technologies Explores the topology, communication structure, computational resources, fusion level, goals, and optimization of multisensor data fusion system architectures Showcases applications of multisensor data fusion in fields such as medicine, transportation's traffic, defense, and navigation Multisensor Data Fusion: From Algorithms and Architectural Design to Applications is a robust collection of modern multisensor data fusion methodologies. The book instills a deeper understanding of the basics of multisensor data fusion as well as a practical knowledge of the problems that can be faced during its execution.

Routing of VLSI chips is an important, time consuming, and difficult problem. The difficulty of the problem is attributed to the large number of often conflicting factors that affect the routing quality. Traditional techniques have approached routing by ignoring some of these factors and imposing unnecessary constraints in order to make routing tractable. In addition to the imposition of these restrictions, which simplify the problems to a degree but at the same time reduce the routing quality, traditional approaches use brute force. They often transform the problem into mathematical or graph problems and completely ignore the specific knowledge about the routing task that can greatly help the solution. This thesis overcomes some of the above problems and presents a system that performs routing close to what human designers do. In other words it heavily capitalizes on the knowledge of human expertise in this area, it does not impose unnecessary constraints, it considers all the different factors that affect the routing quality, and most importantly it allows constant user interaction throughout the routing process. To achieve the above, this thesis presents background about some representative techniques for routing and summarizes their characteristics. It then studies in detail the different factors (such as minimum area, number of vias, wire length, etc.) that affect the routing quality, and the different criteria (such as vertical/horizontal constraint graph, merging, minimal rectilinear Steiner tree, etc.) that can be used to optimize these factors.

Organizational cognition concerns the processes which provide agents and organizations with the ability to learn, make decisions, and solve problems. ""Organizational and Technological Implications of Cognitive Machines: Designing Future Information Management Systems"" presents new challenges and perspectives to the understanding of the participation of cognitive machines in organizations. Containing extensive research by an international collaboration of experts, this book addresses the possible implications of cognitive machines for current and future organizations.

This volume presents selected contributions from the "Advanced Research Workshop on Explosives Detection" hosted by the Department of Information Engineering of the University of Florence, Italy in 2018. The main goal of the workshop was to find out how Science for Peace and Security projects in the field of Explosives Detection contribute to the development and/or refinement of scientific and technical knowledge and competencies. The findings of the workshop, presented in the last section of the book, determine future actions and direction of the SPS Programme in the field of explosives detection and management.The NATO Science for Peace and Security (SPS) Programme, promotes dialogue and practical cooperation between NATO member states and partner nations based on scientific research, technological innovation and knowledge exchange. Several initiatives were launched in the field of explosive detection and clearance, as part of NATO's enhanced role in the international fight against terrorism. Experts and scientists from NATO members and partner countries have been brought together in multi-year projects, within the framework of the SPS Programme, to cooperate in the scientific research in explosive detection field, developing new technologies and methods to be implemented in order to detect explosive substances in different contexts.

Enterprise Systems have been used for many years to integrate technology with the management of an organization but rapid technological disruptions are now creating new challenges and opportunities that require urgent consideration. This book reappraises the implementation and management of Enterprise Systems in the digital age and investigates the vital link between business processes, information technology and the Internet for an organization's competitive advantage and success. This book primarily focuses on the implementation, operation, management and integration of Enterprise Systems with fastemerging disruptive technologies such as blockchains, big data, cryptocurrencies, artificial intelligence, cloud computing, data mining and data analytics. These disruptive technologies are now becoming mainstream and the book proposes several innovations that organizations need to adopt to remain competitive within this rapidly changing landscape. In addition, it examines Enterprise Systems, their components, architecture, and applications and enlightens readers on the benefits and shortcomings of implementing them. This book contains primary research on organizations, case studies, and benchmarks ERP implementation against international best practice.

This volume surveys recent research on autonomous sensor networks from the perspective of enabling technologies that support medical, environmental and military applications.

State of the art, as well as emerging concepts in wireless sensor networks, body area networks and ambient assisted living introduce the reader to the field, while subsequent chapters deal in depth with established and related technologies, which render their implementation possible. These range from smart textiles and printed electronic devices to implanted devices and specialized packaging, including the most relevant technological features.

The last four chapters are devoted to customization, implementation difficulties and outlook for these technologies in specific applications.

This volume represents an advanced, comprehensive state-of-the-art survey of the field of rational agency as it stands today. It covers the philosophical foundations of rational agency, logical and decision-theoretic approaches to rational agency, multi-agent aspects of rational agency and a number of approaches to programming rational agents. It will be of interest to researchers in logic, mainstream computer science, the philosophy of rational action and agency, and economics.

Within the framework of so-called second generation expert systems [62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions [166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual model is the KADS model of expertise which is characterized by its clear distinction of different know ledge types and by the usage of specific modeling primitives to describe these different knowledge types [185]. The semi formal KADS expertise model entails all the advantages and disadvantages which have been identified for semi-formal system models e.g. in the software engineering community.

From finance to artificial intelligence, genetic algorithms are a powerful tool with a wide array of applications. But you don't need an exotic new language or framework to get started; you can learn about genetic algorithms in a language you're already familiar with. Join us for an in-depth look at the algorithms, techniques, and methods that go into writing a genetic algorithm. From introductory problems to real-world applications, you'll learn the underlying principles of problem solving using genetic algorithms. Evolutionary algorithms are a unique and often overlooked subset of machine learning and artificial intelligence. Because of this, most of the available resources are outdated or too academic in nature, and none of them are made with Elixir programmers in mind. Start from the ground up with genetic algorithms in a language you are familiar with. Discover the power of genetic algorithms through simple solutions to challenging problems. Use Elixir features to write genetic algorithms that are concise and idiomatic. Learn the complete life cycle of solving a problem using genetic algorithms. Understand the different techniques and fine-tuning required to solve a wide array of problems. Plan, test, analyze, and visualize your genetic algorithms with real-world applications. Open your eyes to a unique and powerful field - without having to learn a new language or framework. What You Need: You'll need a macOS, Windows, or Linux distribution with an up-to-date Elixir installation.

Acclaimed by various content platforms (books, music, movies) and auction sites online, recommendation systems are key elements of digital strategies. If development was originally intended for the performance of information systems, the issues are now massively moved on logical optimization of the customer relationship, with the main objective to maximize potential sales. On the transdisciplinary approach, engines and recommender systems brings together contributions linking information science and communications, marketing, sociology, mathematics and computing. It deals with the understanding of the underlying models for recommender systems and describes their historical perspective. It also analyzes their development in the content offerings and assesses their impact on user behavior.

A fundamental assumption of work in artificial intelligence and machine learning is that knowledge is expressed in a computer with the help of knowledge representations. Since the proper choice of such representations is a difficult task that fundamentally affects the capabilities of a system, the problem of automatic representation change is an important topic in current research. Concept Formation and Knowledge Revision focuses on representation change as a concept formation task, regarding concepts as the elementary representational vocabulary from which further statements are constructed. Taking an interdisciplinary approach from psychological foundations to computer implementations, the book draws on existing psychological results about the nature of human concepts and concept formation to determine the scope of concept formation phenomena, and to identify potential components of computational concept formation models. The central idea of this work is that computational concept formation can usefully be understood as a process that is triggered in a demand-driven fashion by the representational needs of the learning system, and identify the knowledge revision activities of a system as a particular context for such a process. The book presents a detailed analysis of the revision problem for first-order clausal theories, and develops a set of postulates that any such operation should satisfy. It shows how a minimum theory revision operator can be realized by using exception sets, and that this operator is indeed maximally general. The book then shows that concept formation can be triggered from within the knowledge revision process whenever the existing representation does not permit the plausible reformulation of an exception set, demonstrating the usefulness of the approach both theoretically and empirically within the learning knowledge acquisition system MOBAL. In using a first-order representation, this book is part of the rapidly developing field of Inductive Logic Programming (ILP). By integrating the computational issues with psychological and fundamental discussions of concept formation phenomena, the book will be of interest to readers both theoretically and psychologically inclined. From the foreword by Katharina Morik: The ideal to combine the three sources of artificial intelligence research has almost never been reached. Such a combined and integrated research requires the researcher to master different ways of thinking, different work styles, different sets of literature, and different research procedures. It requires capabilities in software engineering for the application part, in theoretical computer science for the theory part, and in psychology for the cognitive part. The most important capability for artificial intelligence is to keep the integrative view and to create a true original work that goes beyond the collection of pieces from different fields. This book achieves such an integrative view of concept formation and knowledge revision by presenting the way from psychological investigations that indicate that concepts are theories and point at the important role of a demand for learning. to an implemented system which supports users in their tasks when working with a knowledge base and its theoretical foundation. '

This open access book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas. The book starts with an introductory chapter that provides an overview of the book by positioning the following chapters in terms of their contributions to technology frameworks which are key elements of the Big Data Value Public-Private Partnership and the upcoming Partnership on AI, Data and Robotics. The remainder of the book is then arranged in two parts. The first part "Technologies and Methods" contains horizontal contributions of technologies and methods that enable data value chains to be applied in any sector. The second part "Processes and Applications" details experience reports and lessons from using big data and data-driven approaches in processes and applications. Its chapters are co-authored with industry experts and cover domains including health, law, finance, retail, manufacturing, mobility, and smart cities. Contributions emanate from the Big Data Value Public-Private Partnership and the Big Data Value Association, which have acted as the European data community's nucleus to bring together businesses with leading researchers to harness the value of data to benefit society, business, science, and industry. The book is of interest to two primary audiences, first, undergraduate and postgraduate students and researchers in various fields, including big data, data science, data engineering, and machine learning and AI. Second, practitioners and industry experts engaged in data-driven systems, software design and deployment projects who are interested in employing these advanced methods to address real-world problems.

In professional practice, many designers collect and maintain personal notes as guidelines about experiences and insights for handling technical problems and design situations. An intelligent personal assistant (IPA) can act as a database for these notes, making the entire design process more efficient. Based on real industrial procedures, this book contains practical examples for professionals and students interested in real implementations of knowledge based systems in engineering. It integrates two major ideas: a computer system integrating computer design tools and a computer system fulfilling the role of an intelligent personal assistant. This user-friendly approach to the main ideas, concepts and techniques shows how an IPA can serve as a significant and fruitful knowledge based technique in engineering design.

This book will provide a comprehensive overview of business analytics, for those who have either a technical background (quantitative methods) or a practitioner business background. Business analytics, in the context of the 4th Industrial Revolution, is the "new normal" for businesses that operate in this digital age. This book provides a comprehensive primer and overview of the field (and related fields such as Business Intelligence and Data Science). It will discuss the field as it applies to financial institutions, with some minor departures to other industries. Readers will gain understanding and insight into the field of data science, including traditional as well as emerging techniques. Further, many chapters are dedicated to the establishment of a data-driven team - from executive buy-in and corporate governance to managing and quantifying the return of data-driven projects.

In this book, Haridimos Tsoukas, one of the most imaginative organization theorists of our time, examines the nature of knowledge in organizations, and how individuals and scholars approach the concept of knowledge. Tsoukas firstly looks at organizational knowledge and its embessedness in social contexts and forms of life. He shows that knowledge is not just a collection of free floating representations of the world to be used at will, but an activity constitute of the world. On the one hand, the organization as an institutionalized system does produce regularities that can be captured via propositional forms of knowledge. On the other, the organization as practice as a lifeworld, or as an open-ended system produce stories, values, and shared traditions which can only be captured by narrative forms of knowledge. Secondly, Tsoukas looks at the issue of how individuals deal with the notion of complexity in organizations: Our inability to reduce the behavior of complex organizations to their constituent parts. Drawing on concepts such as discourse, narrativity, and reflexivity, he adopts a hermeneutical approach to the issue. Finally, Tsoukas examines the concept of meta-knowledge, and how we know what we know. Arguing that the underlying representationalist epistemology of much of mainstream management causes many problems, he advocates adopting a more discursive approach. He describes what such an epistemology might be, and illustrates it with examples from organization studies and strategic management. An ideal introduction to the thinking of a leading organizational theorist, this book will be essential reading for academics, researchers, and students of Knowledge Management, Organization Studies, Management Studies, Business Strategy and Applied Epistemology.

In the years since the bestselling first edition, fusion research and applications have adapted to service-oriented architectures and pushed the boundaries of situational modeling in human behavior, expanding into fields such as chemical and biological sensing, crisis management, and intelligent buildings.

Multisensor Data Fusion, Second Edition represents the most current concepts and theory as information fusion expands into the realm of network-centric architectures. It reflects new developments in distributed and detection fusion, situation and impact awareness in complex applications, and human cognitive concepts. With contributions from the world's leading fusion experts, this second edition expands to 31 chapters covering the fundamental theory and cutting-edge developments that are driving this field.

New to the Second Edition-

- Applications in electromagnetic systems and chemical and biological sensors

- Army command and combat identification techniques

- Techniques for automated reasoning

- Advances in Kalman filtering

- Fusion in a network centric environment

- Service-oriented architecture concepts

- Intelligent agents for improved decision making

- Commercial off-the-shelf (COTS) software tools

From basic information to state-of-the-art theories, this second edition continues to be a unique, comprehensive, and up-to-date resource for data fusion systems designers.

Negnevitsky shows students how to build intelligent systems drawing on techniques from knowledge-based systems, neural networks, fuzzy systems, evolutionary computation and now also intelligent agents. The principles behind these techniques are explained without resorting to complex mathematics, showing how the various techniques are implemented, when they are useful and when they are not. No particular programming language is assumed and the book does not tie itself to any of the software tools available. However, available tools and their uses are described, and program examples are given in Java. The lack of assumed prior knowledge makes this book ideal for any introductory courses in artificial intelligence or intelligent systems design, while the contemporary coverage means more advanced students will benefit by discovering the latest state-of-the-art techniques, particularly in intelligent agents and knowledge discovery.

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. The 189 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including simulation models and decision-support systems for agricultural production, agricultural product quality testing, traceability and e-commerce technology, the application of information and communication technology in agriculture, and universal information service technology and service systems development in rural areas. The 68 papers included in the second volume focus on GIS, GPS, RS, and precision farming.

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate. As such, scientists, researchers, educators and practitioners of fuzzy logic continue to expand on the applicability of what and how fuzzy can be utilised in the real-world. In this book, the authors present key application areas where fuzzy has had significant success. The chapters cover a plethora of application domains, proving credence to the versatility and robustness of a fuzzy approach. A better understanding of fuzzy will ultimately allow for a better appreciation of fuzzy. This book provides the reader with a varied range of examples to illustrate what fuzzy logic can be capable of and how it can be applied. The text will be ideal for individuals new to the notion of fuzzy, as well as for early career academics who wish to further expand on their knowledge of fuzzy applications. The book is also suitable as a supporting text for advanced undergraduate and graduate-level modules on fuzzy logic, soft computing, and applications of AI.

Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed.
This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way. Each of the various styles of representation is presented in a simple and intuitive form, and the basics of reasoning with that representation are explained in detail. This approach gives readers a solid foundation for understanding the more advanced work found in the research literature. The presentation is clear enough to be accessible to a broad audience, including researchers and practitioners in database management, information retrieval, and object-oriented systems as well as artificial intelligence. This book provides the foundation in knowledge representation and reasoning that every AI practitioner needs.
*Authors are well-recognized experts in the field who have applied the techniques to real-world problems
* Presents the core ideas of KR&R in a simple straight forward approach, independent of the quirks of research systems
*Offers the first true synthesis of the field in over a decade