Blockchain, artificial intelligence, and the internet of things : Possibilities and opportunities
Provides basic concepts and deep knowledge about various security mechanisms that can be implemented in IoT through Blockchain technology. This book aids readers in gaining insight and knowledge about providing security and solutions to different challenges in IoT using Blockchain technology. This book primarily focuses on challenges to addressing the integration of the IoT with Blockchain with respect to potential benefits for IoT. This book gives descriptive analysis of Blockchain integrated with IoT applications and platforms for the development of IoT solutions along with possible topologies to that integration. Several application examples are included in a variety of industries / Provides the latest on secure IIoT communication using Blockchain technology for Industry 4.0 / Includes updates on using Blockchain technology in secure vehicular communication (VANET), healthcare, retail, and gaming / Provides the latest on secure IIoT communication using Blockchain technology for Industry 4.0
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Many-Core Computing : Hardware and software
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming models, operating systems and their applications; it presents runtime management techniques, followed by system modelling, verification and testing methods, and architectures and systems. Computing has moved away from a focus on performance-centric serial computation, instead towards energy-efficient parallel computation. This provides continued performance increases without increasing clock frequencies, and overcomes the thermal and power limitations of the dark-silicon era. As the number of parallel cores increases, we transition into the many-core computing era. There is considerable interest in developing methods, tools, architectures and applications to support many-core computing.
Managed Software Evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.
Machine learning in healthcare : Fundamentals and recent applications
Discusses how to build various ML algorithms and how they can be applied to improve healthcare systems. Healthcare applications of AI are innumerable: medical data analysis, early detection and diagnosis of disease, providing objective-based evidence to reduce human errors, curtailing inter- and intra-observer errors, risk identification and interventions for healthcare management, real-time health monitoring, assisting clinicians and patients for selecting appropriate medications, and evaluating drug responses. Extensive demonstrations and discussion on the various principles of machine learning and its application in healthcare is provided, along with solved examples and exercises.
Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2020
Presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains selected papers from the fifth international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Berlin, March 12-13, 2020.
Machine learning approach for cloud data analytics in IoT
Covers the multidimensional perspective of machine learning through the perspective of cloud computing and Internet of Things ranging from fundamentals to advanced applications. Elucidates some of the best practices and their respective outcomes in cloud and fog computing environments. It focuses on all the various research issues related to big data storage and analysis, large-scale data processing, knowledge discovery and knowledge management, computational intelligence, data security and privacy, data representation and visualization, and data analytics. The featured technologies presented in the book optimizes various industry processes using business intelligence in engineering and technology. Light is also shed on cloud-based embedded software development practices to integrate complex machines so as to increase productivity and reduce operational costs. The various practices of data science and analytics which are used in all sectors to understand big data and analyze massive data patterns are also detailed in the book.
Machine learning and deep learning in medical data analytics and healthcare applications
Introduces and explores a variety of schemes designed to empower, enhance, and represent multi-institutional and multi-disciplinary machine learning (ML) and deep learning (DL) research in healthcare paradigms. Serving as a unique compendium of existing and emerging ML/DL paradigms for the healthcare sector, this book demonstrates the depth, breadth, complexity, and diversity of this multi-disciplinary area. It provides a comprehensive overview of ML/DL algorithms and explores the related use cases in enterprises such as computer-aided medical diagnostics, drug discovery and development, medical imaging, automation, robotic surgery, electronic smart records creation, outbreak prediction, medical image analysis, and radiation treatments.
Machine Learning : The Basics
Approaches ML as the computational implementation of the scientific principle. This principle consists of continuously adapting a model of a given data-generating phenomenon by minimizing some form of loss incurred by its predictions. Trains readers to break down various ML applications and methods in terms of data, model, and loss, thus helping them to choose from the vast range of ready-made ML methods.
Machine Ethics : From Machine Morals to the Machinery of Morality
Offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. Based on a dialogue between an AI scientist and a novelist philosopher, the book discusses important findings on which moral values machines can be taught and how. In turn, it investigates what kind of artificial intelligence (AI) people do actually want.
Logical Aspects of Computational Linguistics ; 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.
Logical and Relational Learning
This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming (ILP), multirelational data mining (MRDM) and (statistical) relational learning (SRL). These subfields of data mining and machine learning are concerned with the analysis of complex and structured data sets that arise in numerous applications, such as bio- and chemoinformatics, network analysis, Web mining, natural language processing, within the rich representations offered by relational databases and computational logic.
List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition
Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.
Linguistics for the age of AI
One of the original goals of artificial intelligence research was to endow intelligent agents with human-level natural language capabilities. Recent AI research, however, has focused on applying statistical and machine learning approaches to big data rather than attempting to model what people do and how they do it. In this book, Marjorie McShane and Sergei Nirenburg return to the original goal of recreating human-level intelligence in a machine. They present a human-inspired, linguistically sophisticated model of language understanding for intelligent agent systems that emphasizes meaning—the deep, context-sensitive meaning that a person derives from spoken or written language.
Knowledge Representation and the Semantics of Natural Language
This book presents a method for the semantic representation of natural l- guage expressions (texts, sentences, phrases, etc. ) which can be used as a u- versal knowledge representation paradigm in the human sciences, like lingu- tics, cognitive psychology, or philosophy of language, as well as in com- tational linguistics and in arti?cial intelligence. It is also an attempt to close the gap between these disciplines, which to a large extent are still working separately.
Kernel Methods for Machine Learning with Math and Python: 100 Exercises for Building Logic
Addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows: Includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book. / The mathematical premises of kernels are proven and the correct conclusions are provided, helping readers to understand the nature of kernels. / Source programs and running examples are presented to help readers acquire a deeper understanding of the mathematics used. / Once readers have a basic understanding of the functional analysis topics covered in Chapter 2, the applications are discussed in the subsequent chapters. Here, no prior knowledge of mathematics is assumed. / Considers both the kernel for reproducing kernel Hilbert space (RKHS) and the kernel for the Gaussian process; a clear distinction is made between the two.
Computational analysis and deep learning for medical care : Principles, methods, and applications
Focuses on the sophisticated methods for improving dye extraction and dyeing properties which will minimize the use of bioresource products. This book also brings out the innovative ways of wet chemical processing to alleviate the environmental impacts arising from this sector.
Computation Engineering : Applied Automata Theory and Logic
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented.
Computation and the humanities : Towards an oral history of digital humanities
This book addresses the application of computing to cultural heritage and the discipline of Digital Humanities that formed around it. Digital Humanities research is transforming how the Human record can be transmitted, shaped, understood, questioned and imagined and it has been ongoing for more than 70 years. However, we have no comprehensive histories of its research trajectory or its disciplinary development. The authors make a first contribution towards remedying this by uncovering, documenting, and analysing a number of the social, intellectual and creative processes that helped to shape this research from the 1950s until the present day.
Comprehensive mathematics for computer scientists 2 : Calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst volume in two - gards: Part III ?rst adds topology, di?erential, and integral calculus to the t- ics of sets, graphs, algebra, formal logic, machines, and linear geometry, of volume 1. With this spectrum of fundamentals in mathematical e- cation, young professionals should be able to successfully attack more involved subjects, which may be relevant to the computational sciences. In a second regard, the end of part III and part IV add a selection of more advanced topics. In view of the overwhelming variety of mathematical approaches in the computational sciences, any selection, even the most empirical, requires a methodological justi?cation. Our primary criterion has been the search for harmonization and optimization of thematic - versity and logical coherence. This is why we have, for instance, bundled such seemingly distant subjects as recursive constructions, ordinary d- ferential equations, and fractals under the unifying perspective of c- traction theory.



















