This book presents recent applications and approaches as well as challenges in digital forensic science. One of the evolving challenges that is covered in the book is the cloud forensic analysis which applies the digital forensic science over the cloud computing paradigm for conducting either live or static investigations within the cloud environment. The book also covers the theme of multimedia forensics and watermarking in the area of information security. That includes highlights on intelligence techniques designed for detecting significant changes in image and video sequences. Moreover, the theme proposes recent robust and computationally efficient digital watermarking techniques. The last part of the book provides several digital forensics related applications, including areas such as evidence acquisition enhancement, evidence evaluation, cryptography, and finally, live investigation through the importance of reconstructing the botnet attack scenario to show the malicious activities and files as evidences to be presented in a court.

Search is not just a box and ten blue links. Search is a journey: an exploration where what we encounter along the way changes what we seek. But in order to guide people along this journey, designers must understand both the art and science of search.In "Designing the Search Experience, "authors Tony Russell-Rose and Tyler Tate weave together the theories of information seeking with the practice of user interface design.

Understand how people search, and how the concepts of information seeking, information foraging, and sensemaking underpin the search process.

Apply the principles of user-centered design to the search box, search results, faceted navigation, mobile interfaces, social search, and much more.

Design the cross-channel search experiences of tomorrow that span desktop, tablet, mobile, and other devices.

Snake Robots is a novel treatment of theoretical and practical topics related to snake robots: robotic mechanisms designed to move like biological snakes and able to operate in challenging environments in which human presence is either undesirable or impossible. Future applications of such robots include search and rescue, inspection and maintenance, and subsea operations. Locomotion in unstructured environments is a focus for this book. The text targets the disparate muddle of approaches to modelling, development and control of snake robots in current literature, giving a unified presentation of recent research results on snake robot locomotion to increase the reader's basic understanding of these mechanisms and their motion dynamics and clarify the state of the art in the field. The book is a complete treatment of snake robotics, with topics ranging from mathematical modelling techniques, through mechatronic design and implementation, to control design strategies. The development of two snake robots is described and both are used to provide experimental validation of many of the theoretical results. Snake Robots is written in a clear and easily understandable manner which makes the material accessible by specialists in the field and non-experts alike. Numerous illustrative figures and images help readers to visualize the material. The book is particularly useful to new researchers taking on a topic related to snake robots because it provides an extensive overview of the snake robot literature and also represents a suitable starting point for research in this area.

Call Admission Control (CAC) and Dynamic Channel Assignments (DCA) are important decision-making problems in mobile cellular communication systems. Current research in mobile communication considers them as two independent problems, although the former greatly depends on the resulting free channels obtained as the outcome of the latter. This book provides a solution to the CAC problem, considering DCA as an integral part of decision-making for call admission. Further, current technical resources ignore movement issues of mobile stations and fluctuation in network load (incoming calls) in the control strategy used for call admission. In addition, the present techniques on call admission offers solution globally for the entire network, instead of considering the cells independently. CAC here has been formulated by two alternative approaches. The first approach aimed at handling the uncertainty in the CAC problem by employing fuzzy comparators. The second approach is concerned with formulation of CAC as an optimization problem to minimize call drop, satisfying a set of constraints on feasibility and availability of channels, hotness of cells, and velocity and angular displacement of mobile stations. Evolutionary techniques, including Genetic Algorithm and Biogeography Based Optimization, have been employed to solve the optimization problems. The proposed approaches outperform traditional methods with respect to grade and quality of services.

The book presents a snapshot of the state of the art in the field of fully fuzzy linear programming. The main focus is on showing current methods for finding the fuzzy optimal solution of fully fuzzy linear programming problems in which all the parameters and decision variables are represented by non-negative fuzzy numbers. It presents new methods developed by the authors, as well as existing methods developed by others, and their application to real-world problems, including fuzzy transportation problems. Moreover, it compares the outcomes of the different methods and discusses their advantages/disadvantages. As the first work to collect at one place the most important methods for solving fuzzy linear programming problems, the book represents a useful reference guide for students and researchers, providing them with the necessary theoretical and practical knowledge to deal with linear programming problems under uncertainty.

This book provides practical knowledge on different aspects of information and knowledge management in businesses. For enterprises/businesses those intend to remain prosperous and prolific, it is critically important to share best practices, ensure efficient information flow across company, capturing shared knowledge centrally, and communicate compliance rules, i.e. managing competently information in general. It enables faster and better decisions by helping employees' to build a strong expertise and by avoiding duplicated projects. Thus, the second volume of this series subline continues to explore different aspects of information and knowledge handling as well as doing business with information. We survey further the key aspects of managerial implications of the informational business. The novel methodologies and practices for the business information processing as well as application of mathematical models to the business analytics and efficient management are examined.

Micro/Nano Robotics and Automation technologies have rapidly grown associated with the growth of Micro and Nanotechnologies. This book presents a summary of fundamentals in micro-nano scale engineering and the current state of the art of these technologies. "Micro-Nanorobotic Manipulation Systems and their Applications" introduces these advanced technologies from the basics and applications aspects of Micro/Nano-Robotics and Automation from the prospective micro/nano-scale manipulation. The book is organized in 9 chapters including an overview chapter of Micro/Nanorobotics and Automation technology from the historical view and important related research works. Further chapters are devoted to the physics of micro-nano fields as well as to material and science, microscopes, fabrication technology, importance of biological cell, and control techniques. Furthermore important examples, applications and a concise summary of Micro-Nanorobotics and Automation technologies are given.

The importance of human-computer system interaction problems is increasing due to the growing expectations of users on general computer systems capabilities in human work and life facilitation. Users expect system which is not only a passive tool in human hands but rather an active partner equipped with a sort of artificial intelligence, having access to large information resources, being able to adapt its behavior to the human requirements and to collaborate with the human users. This book collects examples of recent human-computer system solutions. The content of the book is divided into three parts. Part I is devoted to detection, recognition and reasoning in different circumstances and applications. Problems associated with data modeling, acquisition and mining are presented by papers collected in part II and part III is devoted to Optimization.

This book gathers state-of-the-art research in computational engineering and bioengineering to facilitate knowledge exchange between various scientific communities. Computational engineering (CE) is a relatively new discipline that addresses the development and application of computational models and simulations often coupled with high-performance computing to solve complex physical problems arising in engineering analysis and design in the context of natural phenomena. Bioengineering (BE) is an important aspect of computational biology, which aims to develop and use efficient algorithms, data structures, and visualization and communication tools to model biological systems. Today, engineering approaches are essential for biologists, enabling them to analyse complex physiological processes, as well as for the pharmaceutical industry to support drug discovery and development programmes.

This book aims to bring together researchers and practitioners from diverse disciplines-from sociology, biology, physics, and computer science-who share a passion to better understand the interdependencies within and across systems. This volume contains contributions presented at the 11th International Conference on Complex Networks (CompleNet) in Exeter, United Kingdom, 31 March - 3 April 2020. CompleNet is a venue for discussing ideas and findings about all types of networks, from biological, to technological, to informational and social. It is this interdisciplinary nature of complex networks that CompleNet aims to explore and celebrate.

This book covers a wide spectrum of systems such as linear and nonlinear multivariable systems as well as control problems such as disturbance, uncertainty and time-delays. The purpose of this book is to provide researchers and practitioners a manual for the design and application of advanced discrete-time controllers. The book presents six different control approaches depending on the type of system and control problem. The first and second approaches are based on Sliding Mode control (SMC) theory and are intended for linear systems with exogenous disturbances. The third and fourth approaches are based on adaptive control theory and are aimed at linear/nonlinear systems with periodically varying parametric uncertainty or systems with input delay. The fifth approach is based on Iterative learning control (ILC) theory and is aimed at uncertain linear/nonlinear systems with repeatable tasks and the final approach is based on fuzzy logic control (FLC) and is intended for highly uncertain systems with heuristic control knowledge. Detailed numerical examples are provided in each chapter to illustrate the design procedure for each control method. A number of practical control applications are also presented to show the problem solving process and effectiveness with the advanced discrete-time control approaches introduced in this book.

This book addresses the challenges of designing high performance analog-to-digital converters (ADCs) based on the "smart data converters" concept, which implies context awareness, on-chip intelligence and adaptation. Readers will learn to exploit various information either a-priori or a-posteriori (obtained from devices, signals, applications or the ambient situations, etc.) for circuit and architecture optimization during the design phase or adaptation during operation, to enhance data converters performance, flexibility, robustness and power-efficiency. The authors focus on exploiting the a-priori knowledge of the system/application to develop enhancement techniques for ADCs, with particular emphasis on improving the power efficiency of high-speed and high-resolution ADCs for broadband multi-carrier systems.

Alan Turing pioneered many research areas such as artificial intelligence, computability, heuristics and pattern formation. Nowadays at the information age, it is hard to imagine how the world would be without computers and the Internet. Without Turing's work, especially the core concept of Turing Machine at the heart of every computer, mobile phone and microchip today, so many things on which we are so dependent would be impossible. 2012 is the Alan Turing year -- a centenary celebration of the life and work of Alan Turing. To celebrate Turing's legacy and follow the footsteps of this brilliant mind, we take this golden opportunity to review the latest developments in areas of artificial intelligence, evolutionary computation and metaheuristics, and all these areas can be traced back to Turing's pioneer work. Topics include Turing test, Turing machine, artificial intelligence, cryptography, software testing, image processing, neural networks, nature-inspired algorithms such as bat algorithm and cuckoo search, and multiobjective optimization and many applications. These reviews and chapters not only provide a timely snapshot of the state-of-art developments, but also provide inspiration for young researchers to carry out potentially ground-breaking research in the active, diverse research areas in artificial intelligence, cryptography, machine learning, evolutionary computation, and nature-inspired metaheuristics. This edited book can serve as a timely reference for graduates, researchers and engineers in artificial intelligence, computer sciences, computational intelligence, soft computing, optimization, and applied sciences.

This book presents the proceedings of the Joint Conference of the Asian Council on Ergonomics and Design and Southeast Asian Network of Ergonomics Societies (ACED SEANES), held on December 2-4, 2020. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science, human biology and behavioral science, it provides researchers and practitioners alike with a comprehensive, timely guide on human factors and ergonomics. It also offers an excellent source of innovative ideas to stimulate future discussions and developments aimed at applying knowledge and techniques to optimize system performance, while at the same time promoting the health, safety and wellbeing of individuals. The proceedings include papers from researchers and practitioners, scientists and physicians, institutional leaders, managers and policy makers that contribute to constructing the Human Factors and Ergonomics approach across a variety of methodologies, domains and productive sectors.

The work described in this book is an excellent example of interdisciplinary research in systems biology. It shows how concepts and approaches from the field of physics can be efficiently used to answer biological questions and reports on a novel methodology involving creative computer-based analyses of high-throughput biological data. Many of the findings described in the book, which are the result of collaborations between the author (a theoretical scientist) and experimental biologists and between different laboratories, have been published in high-quality peer-reviewed journals such as Molecular Cell and Nature. However, while those publications address different aspects of post-transcriptional gene regulation, this book provides readers with a complete, coherent and logical view of the research project as a whole. The introduction presents post-transcriptional gene regulation from a distinct angle, highlighting aspects of information theory and evolution and laying the groundwork for the questions addressed in the subsequent chapters, which concern the regulation of the transcriptome as the primary functional carrier of active genetic information.

This book chiefly presents a novel approach referred to as backward fuzzy rule interpolation and extrapolation (BFRI). BFRI allows observations that directly relate to the conclusion to be inferred or interpolated from other antecedents and conclusions. Based on the scale and move transformation interpolation, this approach supports both interpolation and extrapolation, which involve multiple hierarchical intertwined fuzzy rules, each with multiple antecedents. As such, it offers a means of broadening the applications of fuzzy rule interpolation and fuzzy inference. The book deals with the general situation, in which there may be more than one antecedent value missing for a given problem. Two techniques, termed the parametric approach and feedback approach, are proposed in an attempt to perform backward interpolation with multiple missing antecedent values. In addition, to further enhance the versatility and potential of BFRI, the backward fuzzy interpolation method is extended to support -cut based interpolation by employing a fuzzy interpolation mechanism for multi-dimensional input spaces (IMUL). Finally, from an integrated application analysis perspective, experimental studies based upon a real-world scenario of terrorism risk assessment are provided in order to demonstrate the potential and efficacy of the hierarchical fuzzy rule interpolation methodology.

This book presents mathematical models of mob control with threshold (conformity) collective decision-making of the agents. Based on the results of analysis of the interconnection between the micro- and macromodels of active network structures, it considers the static (deterministic, stochastic and game-theoretic) and dynamic (discrete- and continuous-time) models of mob control, and highlights models of informational confrontation. Many of the results are applicable not only to mob control problems, but also to control problems arising in social groups, online social networks, etc. Aimed at researchers and practitioners, it is also a valuable resource for undergraduate and postgraduate students as well as doctoral candidates specializing in the field of collective behavior modeling.

This book gathers state-of-the-art research in computational engineering and bioengineering to facilitate knowledge exchange between various scientific communities. Computational engineering (CE) is a relatively new discipline that addresses the development and application of computational models and simulations often coupled with high-performance computing to solve complex physical problems arising in engineering analysis and design in the context of natural phenomena. Bioengineering (BE) is an important aspect of computational biology, which aims to develop and use efficient algorithms, data structures, and visualization and communication tools to model biological systems. Today, engineering approaches are essential for biologists, enabling them to analyse complex physiological processes, as well as for the pharmaceutical industry to support drug discovery and development programmes.

Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and benchmarks. "Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles" presents practical as well as conceptual knowledge of the latest tools, techniques and methodologies of embedded software engineering and real-time systems. Each chapter includes an in-depth investigation regarding the actual or potential role of software engineering tools in the context of the embedded system and real-time system. The book presents state-of-the art and future perspectives with industry experts, researchers, and academicians sharing ideas and experiences including surrounding frontier technologies, breakthroughs, innovative solutions and applications. The book is organized into four parts "Embedded Software Development Process", "Design Patterns and Development Methodology", "Modelling Framework" and "Performance Analysis, Power Management and Deployment" with altogether 12 chapters. The book is aiming at (i) undergraduate students and postgraduate students conducting research in the areas of embedded software engineering and real-time systems; (ii) researchers at universities and other institutions working in these fields; and (iii) practitioners in the R&D departments of embedded system. It can be used as an advanced reference for a course taught at the postgraduate level in embedded software engineering and real-time systems.

This book presents an Intelligent Control Architecture (ICA) to enable multiple collaborating marine vehicles to autonomously carry out underwater intervention missions. The presented ICA is generic in nature but aimed at a case study where a marine surface craft and an underwater vehicle are required to work cooperatively. It is shown that they are capable of cooperating autonomously towards the execution of complex activities since they have different but complementary capabilities. The ICA implementation is verified in simulation, and validated in trials by means of a team of autonomous marine robots. This book also presents architectural details and evaluation scenarios of the ICA, results of simulations and trials from different maritime operations, and future research directions.

This congress proceedings provides recent research on leading-edge manufacturing processes. The aim of this scientific congress is to work out diverse individual solutions of "production in the border area" and transferable methodological approaches. In addition, guest speakers with different backgrounds will give the congress participants food for thoughts, interpretations, views and suggestions. The manufacturing industry is currently undergoing a profound structural change, which on the one hand produces innovative solutions through the use of high-performance communication and information technology, and on the other hand is driven by new requirements for goods, especially in the mobility and energy sector. With the social discourse on how we should live and act primarily according to guidelines of sustainability, structural change is gaining increasing dynamic. It is essential to translate politically specified sustainability goals into socially accepted and marketable technical solutions. Production research is meeting this challenge and will make important contributions and provide innovative solutions from different perspectives.

This book contains an edited selection of the papers accepted for presentation and discussion at the first International Symposium on Qualitative Research (ISQR2016), held in Porto, Portugal, July 12th-14th, 2016. The book and the symposium features the four main application fields Education, Health, Social Sciences and Engineering and Technology and seven main subjects: Rationale and Paradigms of Qualitative Research (theoretical studies, critical reflection about epistemological dimensions, ontological and axiological); Systematization of approaches with Qualitative Studies (literature review, integrating results, aggregation studies, meta -analysis, meta- analysis of qualitative meta- synthesis, meta- ethnography); Qualitative and Mixed Methods Research (emphasis in research processes that build on mixed methodologies but with priority to qualitative approaches); Data Analysis Types (content analysis , discourse analysis , thematic analysis , narrative analysis , etc.); Innovative processes of Qualitative Data Analysis (design analysis, articulation and triangulation of different sources of data - images, audio, video); Qualitative Research in Web Context (eResearch, virtual ethnography, interaction analysis , latent corpus on the internet, etc.); Qualitative Analysis with Support of Specific Software (usability studies, user experience, the impact of software on the quality of research.