This book thoroughly investigates the underlying theoretical basis of membrane computing models, and reveals their latest applications. In addition, to date there have been no illustrative case studies or complex real-life applications that capitalize on the full potential of the sophisticated membrane systems computational apparatus; gaps that this book remedies. By studying various complex applications - including engineering optimization, power systems fault diagnosis, mobile robot controller design, and complex biological systems involving data modeling and process interactions - the book also extends the capabilities of membrane systems models with features such as formal verification techniques, evolutionary approaches, and fuzzy reasoning methods. As such, the book offers a comprehensive and up-to-date guide for all researchers, PhDs and undergraduate students in the fields of computer science, engineering and the bio-sciences who are interested in the applications of natural computing models.

This book is devoted to one of the most famous examples of automation handling tasks - the "bin-picking" problem. To pick up objects, scrambled in a box is an easy task for humans, but its automation is very complex. In this book three different approaches to solve the bin-picking problem are described, showing how modern sensors can be used for efficient bin-picking as well as how classic sensor concepts can be applied for novel bin-picking techniques. 3D point clouds are firstly used as basis, employing the known Random Sample Matching algorithm paired with a very efficient depth map based collision avoidance mechanism resulting in a very robust bin-picking approach. Reducing the complexity of the sensor data, all computations are then done on depth maps. This allows the use of 2D image analysis techniques to fulfill the tasks and results in real time data analysis. Combined with force/torque and acceleration sensors, a near time optimal bin-picking system emerges. Lastly, surface normal maps are employed as a basis for pose estimation. In contrast to known approaches, the normal maps are not used for 3D data computation but directly for the object localization problem, enabling the application of a new class of sensors for bin-picking.

This book explains advanced theoretical and application-related issues in grammatical inference, a research area inside the inductive inference paradigm for machine learning. The first three chapters of the book deal with issues regarding theoretical learning frameworks; the next four chapters focus on the main classes of formal languages according to Chomsky's hierarchy, in particular regular and context-free languages; and the final chapter addresses the processing of biosequences. The topics chosen are of foundational interest with relatively mature and established results, algorithms and conclusions. The book will be of value to researchers and graduate students in areas such as theoretical computer science, machine learning, computational linguistics, bioinformatics, and cognitive psychology who are engaged with the study of learning, especially of the structure underlying the concept to be learned. Some knowledge of mathematics and theoretical computer science, including formal language theory, automata theory, formal grammars, and algorithmics, is a prerequisite for reading this book.

The primary aim of this volume is to provide researchers and engineers from both academia and industry with up-to-date coverage of recent advances in the fields of robotic welding, intelligent systems and automation. It gathers selected papers from the 2018 International Conference on Robotic Welding, Intelligence and Automation (RWIA 2018), held Oct 20-22, 2018 in Guangzhou, China. The contributions reveal how intelligentized welding manufacturing (IWM) is becoming an inescapable trend, just as intelligentized robotic welding is becoming a key technology. The volume is divided into four main parts: Intelligent Techniques for Robotic Welding, Sensing in Arc Welding Processing, Modeling and Intelligent Control of Welding Processing, and Intelligent Control and its Applications in Engineering.

The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

This unique book succinctly summarizes the need to measure how ontologies (one of the building blocks of the Semantic Web) are currently being utilized, providing insights for various stakeholders. Where possible it improves and reuses terms in existing vocabularies/ontologies, as recommended by the Linked Data community. Recent advances in the Semantic Web have led to a proliferation of Resource Description Framework (RDF) data, which employ ontologies to semantically describe the information on the Web making it equally understandable for both humans and machines. However, to create a network effect, it is important that selective ontologies are used by more data publishers to improve the value of that ontology. For this to happen, it is vital to discover what is being used from an ontology to semantically annotate the information on the Web specific to a given domain. Answers to such basic but crucial questions can only be achieved by ascertaining how ontologies in the current semantic web are being utilized and adopted. The proposed frameworks to obtain such insights are explained with real-world examples to provide a clear and detailed description of ontology usage analysis. Both theoretical and practical, the book is of value to academics and professionals working in industry. Specifically, it is of primary interest to researchers, graduate students and practitioners in the area of the Semantic Web and its various real-world applications.

By presenting the latest advances in fuzzy sets and computing with words from around the globe, this book disseminates recent innovations in advanced intelligent technologies and systems. From intelligent control and intuitionistic fuzzy quantifiers to various data science and industrial applications, it includes a wide range of valuable lessons learned and ideas for future intelligent products and systems.

Intelligent prediction and decision support systems are based on signal processing, computer vision (CV), machine learning (ML), software engineering (SE), knowledge based systems (KBS), data mining, artificial intelligence (AI) and include several systems developed from the study of expert systems (ES), genetic algorithms (GA), artificial neural networks (ANN) and fuzzy-logic systems The use of automatic decision support systems in design and manufacturing industry, healthcare and commercial software development systems has the following benifits: Cost savings in companies, due to employment of expert system technology. Fast decision making, completion of projects in time and development of new products. Improvement in decision making capability and quality. Usage of Knowledge database and Preservation of expertise of individuals Eases complex decision problems. Ex: Diagnosis in Healthcare To address the issues and challenges related to development, implementation and application of automatic and intelligent prediction and decision support systems in domains such as manufacturing, healthcare and software product design, development and optimization, this book aims to collect and publish wide ranges of quality articles such as original research contributions, methodological reviews, survey papers, case studies and/or reports covering intelligent systems, expert prediction systems, evaluation models, decision support systems and Computer Aided Diagnosis (CAD).

Graphic displays such as charts, graphs, diagrams, and maps play in important role today in the design and presentation of instructional materials education. There is also a strong need in scientific, technical and administrative fields to visually present facts, laws, principles etc. The increasing use of computer-based learning environments has also become an important field where the visual presentation of information plays a central role. Despite the importance of graphical displays as a means of communication and the fact that research about learning and cognition has advanced rapidly in the past two decades, the comprehension of graphics is still a rather unexplored area.

The comprehension of graphics is not only a stimulating topic in the fields of science and instructional psychology, but also in related disciplines such as semiotics, and artificial intelligence. Research on the comprehension of graphics complements the scientific investigation of cognitive processes in text comprehension, which has contributed much to our understanding of human cognition and learning. Ultimately, a better understanding of the cognitive processes involved in the comprehension of graphics will have an impact not only on cognitive theory, but also on educational practice.

The convergence of Artificial Intelligence (AI) in blockchain creates one of the world's most reliable technology-enabled decision-making systems that is virtually tamper-proof and provides solid insights and decisions. The integration of AI and Blockchain affects many aspects from food supply chain logistics and healthcare record sharing to media royalties and financial security. It is imperative that regulatory standards are emphasized in order to support positive outcomes from the integration of AI in blockchain technology. Regulatory Aspects of Artificial Intelligence on Blockchain provides relevant legal and security frameworks and the latest empirical research findings in blockchain and AI. Through the latest research and standards, the book identifies and offers solutions for overcoming legal consequences that pertain to the application of AI into the blockchain system, especially concerning the usage of smart contracts. The chapters, while investigating the legal and security issues associated with these applications, also include topics such as smart contacts, network vulnerability, cryptocurrency, machine learning, and more. This book is essential for technologists, security analysts, legal specialists, privacy and data security practitioners, IT consultants, standardization professionals, researchers, academicians, and students interested in blockchain and AI from a legal and security viewpoint.

In the modern age of the 4th Industrial Revolution, advancements in communication and connectivity are transforming the professional world as new technologies are being embedded into society. These innovations have triggered the development of a digitally driven world where adaptation is necessary. This is no different in the architectural field, where the changing paradigm has opened new methods and advancements that have yet to be researched. Impact of Industry 4.0 on Architecture and Cultural Heritage is a pivotal reference source that provides vital research on the application of new technological tools, such as digital modeling, within architectural design, and improves the understanding of the strategic role of Industry 4.0 as a tool to empower the role of architecture and cultural heritage in society. Moreover, the book provides insights and support concerned with advances in communication and connectivity among digital environments in different types of research and industry communities. While highlighting topics such as semantic processing, crowdsourcing, and interactive environments, this publication is ideally designed for architects, engineers, construction professionals, cultural researchers, academicians, and students.

This book presents the latest research of the field of optimization, modeling and algorithms, discussing the real-world application problems associated with new innovative methodologies. The requirements and demands of problem solving have been increasing exponentially and new computer science and engineering technologies have reduced the scope of data coverage worldwide. The recent advances in information communication technology (ICT) have contributed to reducing the gaps in the coverage of domains around the globe. The book is a valuable reference work for researchers in the fields of computer science and engineering with a particular focus on modeling, simulation and optimization as well as for postgraduates, managers, economists and decision makers

This book presents advances and innovations in grouping genetic algorithms, enriched with new and unique heuristic optimization techniques. These algorithms are specially designed for solving industrial grouping problems where system entities are to be partitioned or clustered into efficient groups according to a set of guiding decision criteria. Examples of such problems are: vehicle routing problems, team formation problems, timetabling problems, assembly line balancing, group maintenance planning, modular design, and task assignment. A wide range of industrial grouping problems, drawn from diverse fields such as logistics, supply chain management, project management, manufacturing systems, engineering design and healthcare, are presented. Typical complex industrial grouping problems, with multiple decision criteria and constraints, are clearly described using illustrative diagrams and formulations. The problems are mapped into a common group structure that can conveniently be used as an input scheme to specific variants of grouping genetic algorithms. Unique heuristic grouping techniques are developed to handle grouping problems efficiently and effectively. Illustrative examples and computational results are presented in tables and graphs to demonstrate the efficiency and effectiveness of the algorithms. Researchers, decision analysts, software developers, and graduate students from various disciplines will find this in-depth reader-friendly exposition of advances and applications of grouping genetic algorithms an interesting, informative and valuable resource.

Web technologies have become a vital element within educational, professional, and social settings as they have the potential to improve performance and productivity across organizations. Artificial Intelligence Technologies and the Evolution of Web 3.0 brings together emergent research and best practices surrounding the effective usage of Web 3.0 technologies in a variety of environments. Featuring the latest technologies and applications across industries, this publication is a vital reference source for academics, researchers, students, and professionals who are interested in new ways to use intelligent web technologies within various settings.

The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

This book introduces characteristic features of the protein structure prediction (PSP) problem. It focuses on systematic selection and improvement of the most appropriate metaheuristic algorithm to solve the problem based on a fitness landscape analysis, rather than on the nature of the problem, which was the focus of methodologies in the past. Protein structure prediction is concerned with the question of how to determine the three-dimensional structure of a protein from its primary sequence. Recently a number of successful metaheuristic algorithms have been developed to determine the native structure, which plays an important role in medicine, drug design, and disease prediction. This interdisciplinary book consolidates the concepts most relevant to protein structure prediction (PSP) through global non-convex optimization. It is intended for graduate students from fields such as computer science, engineering, bioinformatics and as a reference for researchers and practitioners.

The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

As the world has entered the era of big data, there is a need to give a semantic perspective to the data to find unseen patterns, derive meaningful information, and make intelligent decisions. This 2-volume handbook set is a unique, comprehensive, and complete presentation of the current progress and future potential explorations in the field of data science and related topics. Handbook of Data Science with Semantic Technologies provides a roadmap for a new trend and future development of data science with semantic technologies. The first volume serves as an important guide towards applications of data science with semantic technologies for the upcoming generation and thus becomes a unique resource for both academic researchers and industry professionals. The second volume provides a roadmap for the deployment of semantic technologies in the field of data science that enables users to create intelligence through these technologies by exploring the opportunities while eradicating the current and future challenges. The set explores the optimal use of these technologies to provide the maximum benefit to the user under one comprehensive source. This set consisting of two separate volumes can be utilized independently or together as an invaluable resource for students, scholars, researchers, professionals, and practitioners in the field.

This book enriches our views on representation and deepens our understanding of its different aspects. It arises out of several years of dialog between the editors and the authors, an interdisciplinary team of highly experienced researchers, and it reflects the best contemporary view of representation and reality in humans, other living beings, and intelligent machines. Structured into parts on the cognitive, computational, natural sciences, philosophical, logical, and machine perspectives, a theme of the field and the book is building and presenting networks, and the editors hope that the contributed chapters will spur understanding and collaboration between researchers in domains such as computer science, philosophy, logic, systems theory, engineering, psychology, sociology, anthropology, neuroscience, linguistics, and synthetic biology.

This book focuses on the design of Robotic Flexible Assembly Cell (RFAC) with multi-robots. Its main contribution consists of a new effective strategy for scheduling RFAC in a multi-product assembly environment, in which dynamic status and multi-objective optimization problems occur. The developed strategy, which is based on a combination of advanced solution approaches such as simulation, fuzzy logic, system modeling and the Taguchi optimization method, fills an important knowledge gap in the current literature and paves the way for future research towards the goal of employing flexible assembly systems as effectively as possible despite the complexity of their scheduling.

This book provides a general and comprehensible overview of imbalanced learning. It contains a formal description of a problem, and focuses on its main features, and the most relevant proposed solutions. Additionally, it considers the different scenarios in Data Science for which the imbalanced classification can create a real challenge. This book stresses the gap with standard classification tasks by reviewing the case studies and ad-hoc performance metrics that are applied in this area. It also covers the different approaches that have been traditionally applied to address the binary skewed class distribution. Specifically, it reviews cost-sensitive learning, data-level preprocessing methods and algorithm-level solutions, taking also into account those ensemble-learning solutions that embed any of the former alternatives. Furthermore, it focuses on the extension of the problem for multi-class problems, where the former classical methods are no longer to be applied in a straightforward way. This book also focuses on the data intrinsic characteristics that are the main causes which, added to the uneven class distribution, truly hinders the performance of classification algorithms in this scenario. Then, some notes on data reduction are provided in order to understand the advantages related to the use of this type of approaches. Finally this book introduces some novel areas of study that are gathering a deeper attention on the imbalanced data issue. Specifically, it considers the classification of data streams, non-classical classification problems, and the scalability related to Big Data. Examples of software libraries and modules to address imbalanced classification are provided. This book is highly suitable for technical professionals, senior undergraduate and graduate students in the areas of data science, computer science and engineering. It will also be useful for scientists and researchers to gain insight on the current developments in this area of study, as well as future research directions.

Creativity in Computing and DataFlow Supercomputing, the latest release in the Advances in Computers series published since 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 topics in greater depth and breadth than journal articles typically allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.