This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence.
Key Features:
- Broad range: foundations; techniques and applications
- Leading researchers around the world have written the chapters
- Covers many vital applications
- Source book for Artificial Intelligence, temporal reasoning
- Approaches provide foundation for many future software systems
- Broad range: foundations; techniques and applications
- Leading researchers around the world have written the chapters
- Covers many vital applications
- Source book for Artificial Intelligence, temporal reasoning
- Approaches provide foundation for many future software systems

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general, as well as the future of High Performance Computing systems and heterogeneous architectures. The contributions cover a broad range of topics, from improved system management to Computational Fluid Dynamics, High Performance Data Analytics, and novel mathematical approaches for large-scale systems. In addition, they explore innovative fields like coupled multi-physics and multi-scale simulations. All contributions are based on selected papers presented at the 26th and 28th Workshops on Sustained Simulation Performance, held at the High Performance Computing Center, University of Stuttgart, Germany, in October 2017 and 2018, and the 27th and 29th Workshops on Sustained Simulation Performance, held at the Cyberscience Center, Tohoku University, Japan, in March 2018 and 2019.

In this book, differential evolution and its modified variants are applied to the clustering of data and images. Metaheuristics have emerged as potential algorithms for dealing with complex optimization problems, which are otherwise difficult to solve using traditional methods. In this regard, differential evolution is considered to be a highly promising technique for optimization and is being used to solve various real-time problems. The book studies the algorithms in detail, tests them on a range of test images, and carefully analyzes their performance. Accordingly, it offers a valuable reference guide for all researchers, students and practitioners working in the fields of artificial intelligence, optimization and data analytics.

This book highlights the latest advancements in the use of automated systems in the design, construction, operation and future of the built environment and its occupants. It considers how the use of automated decision-making frameworks, artificial intelligence and other technologies of automation are presently impacting the practice of architects, engineers, project managers and contractors, and articulates the near future changes to workflows, legal frameworks and the wider AEC industry. This book surveys and compiles the use of city apps, robots that operate buildings and fabricate structural elements, 3D printing, drones, sensors, algorithms, and advanced prefabricated modules. The book also contributes to the growing literature on smart cities, and explores the impacts on data privacy and data sovereignty that arise through the use of sensors, digital twins and intelligent transport systems. It provides a useful reference for further research and development in the area of automation in design and construction to architects, engineers, project managers, superintendents and construction lawyers, contractors, policy makers, and students.

Containing 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.

This book presents the latest developments concerning techniques, tools, and methodologies in supply chain ecosystems. It gathers contributions from a variety of experts, who analyze a range of case studies and industrial sectors such as manufacturing, energy, agricultural, healthcare, humanitarian logistics, and urban goods distribution, to name but a few. The book is chiefly intended to meet the needs of two sectors: firstly, the academic sector, so as to familiarize students, professors, and researchers with the tools that are now being used to optimize supply chains; and secondly, the industrial and managerial sector, so that supply chain management practitioners can benefit from methods and tools that are yielding valuable results in other contexts.

This book illustrates all the concepts of web mining from gathering the web data sources to discovering and representing the extracted knowledge. This book is ideal for many researchers and scholars who are interested in a reference book that involves all the techniques and algorithms that are applied to a Web environment. This book illustrates, analyzes, and compares all the techniques, applications, and algorithms that are used in Web mining categories and provides a thorough overview to undergraduates, postgraduates, and scholars who wish to learn more about Web and data mining. The goal of this book is to foster transformative, multidisciplinary, and novel approaches that introduce the practical approach of analyzing various web data sources and extracting knowledge by taking into consideration the unique challenges present in the environment. This book provides a complete overview of Web mining techniques and applications; it will be crucial for postgraduate students who want to understand the Web environment better and do not know the differences between Web mining and data mining. It will also be helpful for companies and organizations to discover practical solutions to handle their internet data in a more efficient way, as well as undergraduate students in software engineering and computer science engineering departments who do not have a complete reference book that offers them a full explanation about Web mining.

Technology holds the key for bridging the gap between access to quality education and the need for enhanced learning experiences. Cases on Technological Adaptability and Transnational Learning: Issues and Challenges contains case studies on divergent themes of personalized learning environments, inclusive learning for social change, innovative learning and assessment techniques, technology and international partnership and transnational collaboration for enhanced access under the core domain of technological adaptability and transnational learning.

The analysis of commonalities and differences between agile technology and open source software development is needed to understand how advancement approaches have evolved and whether they produce concrete benefits in terms of software quality and customer satisfaction. ""Agile Technologies in Open Source Development"" explores the overlap between open source and agile technologies, providing valuable strategies for advancement in software. This innovative publication provides a valuable resource to assist project managers, engineers, and developers interested in experimenting with new approaches in software expansion.

The World Wide Web is changing the way we use technology, bringing e-learning and teaching to a whole new dimension of collaboration and communication. Looking Toward the Future of Technology-Enhanced Education: Ubiquitous Learning and the Digital Native bridges the gap between technology and education by presenting innovative research on the future of education. An essential reference on e-learning, this scholarly publication examines current research in technology enhanced learning, provides new didactic models for education, and discusses the newest technologies and their impact on education.

Tired of writing all your user IDs and passwords on sticky notes and pieces of scrap paper? This convenient address book stores them all in one place. This is not your typical address book There are also special sections for online banking info and one for storing e-mail addresses.

Over the last few years, the area of Natural Language Processing has drastically grown in recognition, not only within the research and development community, but also with industry professionals. As NLP continues to be discussed and researched, certain areas continue to grow and mature. As a result, the need for advanced research and information is in high demand. Emerging Applications of Natural Language Processing: Concepts and New Research provides pertinent and vital information that researchers, postgraduate, doctoral students, and practitioners are seeking. This book compiles the latest discoveries and advances in NLP methodologies and applications while expanding upon various topics regarding the future of NLP.

This book provides the reader with the most up-to-date knowledge of blockchain in mainstream areas of security, trust, and privacy in the decentralized domain, which is timely and essential (this is due to the fact that the distributed and P2P applications is increasing day-by-day, and the attackers adopt new mechanisms to threaten the security and privacy of the users in those environments). This book also provides the technical information regarding blockchain-oriented software, applications, and tools required for the researcher and developer experts in both computing and software engineering to provide solutions and automated systems against current security, trust and privacy issues in the cyberspace. Cybersecurity, trust and privacy (CTP) are pressing needs for governments, businesses, and individuals, receiving the utmost priority for enforcement and improvement in almost any societies around the globe. Rapid advances, on the other hand, are being made in emerging blockchain technology with broadly diverse applications that promise to better meet business and individual needs. Blockchain as a promising infrastructural technology seems to have the potential to be leveraged in different aspects of cybersecurity promoting decentralized cyberinfrastructure. Blockchain characteristics such as decentralization, verifiability and immutability may revolve current cybersecurity mechanisms for ensuring the authenticity, reliability, and integrity of data. Almost any article on the blockchain points out that the cybersecurity (and its derivatives) could be revitalized if it is supported by blockchain technology. Yet, little is known about factors related to decisions to adopt this technology, and how it can systemically be put into use to remedy current CTP's issues in the digital world. Topics of interest for this book include but not limited to: Blockchain-based authentication, authorization and accounting mechanisms Applications of blockchain technologies in digital forensic and threat hunting Blockchain-based threat intelligence and threat analytics techniques Formal specification of smart contracts Automated tools for outsmarting smart contracts Security and privacy aspects of blockchain technologies Vulnerabilities of smart contracts Blockchain for securing cyber infrastructure and internet of things networks Blockchain-based cybersecurity education systems This book provides information for security and privacy experts in all the areas of blockchain, cryptocurrency, cybersecurity, forensics, smart contracts, computer systems, computer networks, software engineering, applied artificial intelligence for computer security experts, big data analysts, and decentralized systems. Researchers, scientists and advanced level students working in computer systems, computer networks, artificial intelligence, big data will find this book useful as well.

This book is of interest to researchers wanting to know more about the latest topics and methods in the fields of the kinematics, control and design of robotic systems. The papers cover the full range of robotic systems, including serial, parallel and cable-driven manipulators. The systems range from being less than fully mobile, to kinematically redundant, to over-constrained. The book brings together 43 peer-reviewed papers. They report on the latest scientific and applied achievements. The main theme that connects them is the movement of robots in the most diverse areas of application.

The focus of Assertion-Based Design is three-fold:
*How to specify assertions;
*How to create and adopt a methodology that supports assertion-based design (predominately for RTL design);
*What to do with the assertions and methodology once you have them.

To support these three over-arching goals, the authors showcase multiple forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog.

The recommendations and claims the authors make in this book are based on their combined actual experiences in applying an assertion-based methodology to real design and verification as well as their work in developing industry assertion standards.

The proceedings publishes new research results of scholars from the First International Conference on Agriculture and Information (ICAIT2019) organized by IRNet International Academic Communication Center, held during November 22-24, 2019. The book covers works from active researchers who are working on collaboration of agriculture and various information technologies such as ICT (Information and Communication Technologies) applicable/applied to agricultural produce, manufacturing preservation and distribution of agricultural products, etc. The book focuses on theory, design, development, testing and evaluation of all information technologies applicable/applied to various parts of agriculture and its infrastructure. The topics included are information technologies applicable to smart agriculture, intelligent information systems for smart farm systems, web-based intelligent information systems on agriculture, ICT-based marketing of agricultural products, agricultural product consumption network systems, IoT for agricultural produce and products, soft computing theories, intelligent management for agriculture, data science techniques for agriculture.

This book gravitates on the prominent theories and recent developments of swarm intelligence methods, and their application in both synthetic and real-world optimization problems. The special interest will be placed in those algorithmic variants where biological processes observed in nature have underpinned the core operators underlying their search mechanisms. In other words, the book centers its attention on swarm intelligence and nature-inspired methods for efficient optimization and problem solving. The content of this book unleashes a great opportunity for researchers, lecturers and practitioners interested in swarm intelligence, optimization problems and artificial intelligence.

This handbook covers a wide range of topics related to the collection, processing, analysis, and use of geospatial data in their various forms. This handbook provides an overview of how spatial computing technologies for big data can be organized and implemented to solve real-world problems. Diverse subdomains ranging from indoor mapping and navigation over trajectory computing to earth observation from space, are also present in this handbook. It combines fundamental contributions focusing on spatio-textual analysis, uncertain databases, and spatial statistics with application examples such as road network detection or colocation detection using GPUs. In summary, this handbook gives an essential introduction and overview of the rich field of spatial information science and big geospatial data. It introduces three different perspectives, which together define the field of big geospatial data: a societal, governmental, and governance perspective. It discusses questions of how the acquisition, distribution and exploitation of big geospatial data must be organized both on the scale of companies and countries. A second perspective is a theory-oriented set of contributions on arbitrary spatial data with contributions introducing into the exciting field of spatial statistics or into uncertain databases. A third perspective is taking a very practical perspective to big geospatial data, ranging from chapters that describe how big geospatial data infrastructures can be implemented and how specific applications can be implemented on top of big geospatial data. This would include for example, research in historic map data, road network extraction, damage estimation from remote sensing imagery, or the analysis of spatio-textual collections and social media. This multi-disciplinary approach makes the book unique. This handbook can be used as a reference for undergraduate students, graduate students and researchers focused on big geospatial data. Professionals can use this book, as well as practitioners facing big collections of geospatial data.

This edited book presents scientific results of the International Semi-Virtual Workshop on Data Science and Digital Transformation in the Fourth Industrial Revolution (DSDT 2020) which was held on October 15, 2020, at Soongsil University, Seoul, Korea. The aim of this workshop was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The workshop organizers selected the best papers from those papers accepted for presentation at the workshop. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 17 of the conference's most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.

This book systematically presents the operating principles and technical characteristics of the main radio navigating systems (RNSs) that make it possible to adequately evaluate the corresponding scratch indexes and levels of air safety for air vehicles, the chief concern of the International Civil Aviation Organization (ICAO). The book discusses how RNS systems substantially determine navigation accuracy and reliability, and therefore air safety; in addition, it presents practical solutions to problems arising in the operation and development of RNS systems.

This book explores a range of important theoretical and practical issues in the field of computational network application tools, while also presenting the latest advances and innovations using intelligent technology approaches. The main focus is on detecting and diagnosing complex application performance problems so that an optimal and expected level of system service can be attained and maintained. The book discusses challenging issues like enhancing system efficiency, performance, and assurance management, and blends the concept of system modeling and optimization techniques with soft computing, neural network, and sensor network approaches. In addition, it presents certain metrics and measurements that can be translated into business value. These metrics and measurements can also help to establish an empirical performance baseline for various applications, which can be used to identify changes in system performance. By presenting various intelligent technologies, the book provides readers with compact but insightful information on several broad and rapidly growing areas in the computation network application domain. The book's twenty-two chapters examine and address current and future research topics in areas like neural networks, soft computing, nature-inspired computing, fuzzy logic and evolutionary computation, machine learning, smart security, and wireless networking, and cover a wide range of applications from pattern recognition and system modeling, to intelligent control problems and biomedical applications. The book was written to serve a broad readership, including engineers, computer scientists, management professionals, and mathematicians interested in studying tools and techniques for computational intelligence and applications for performance analysis. Featuring theoretical concepts and best practices in computational network applications, it will also be helpful for researchers, graduate and undergraduate students with an interest in the fields of soft computing, neural networks, machine learning, sensor networks, smart security, etc.

This book negotiates the hyper dimensions of the Internet through stories from myriads of Web sites, with its fluent presentation and simple but chronological organization of topics highlighting numerous opportunities and providing a solid starting point not only for inexperienced entrepreneurs and managers but anyone interested in applying information technology in business through real or virtual enterprise networks to date. "A Manager's Primer on e-Networking" is an easy to follow primer on modern enterprise networking that every manager needs to read.

As new concepts such as virtualisation, cloud computing, and web applications continue to emerge, XML has begun to assume the role as the universal language for communication among contrasting systems that grow throughout the internet. Innovations in XML Applications and Metadata Management: Advancing Technologies addresses the functionality between XML and its related technologies towards application development based on previous concepts. This book aims to highlights the variety of purposes for XML applications and how the technology development brings together advancements in the virtual world.

The "Encyclopedia of Information Ethics and Security" is an original, comprehensive reference source on ethical and security issues relating to the latest technologies. Covering a wide range of themes, this valuable reference tool covers such topics as computer crime, information warfare, privacy, surveillance, intellectual property, and education.