Markedets billigste bøger
Levering: 1 - 2 hverdage

Bøger i Studies in Computational Intelligence serien

Filter
Filter
Sorter efterSorter Serie rækkefølge
  • af Arash Shaban-Nejad
    1.963,95 kr.

    This book aims to highlight the latest achievements in the use of AI in personalized medicine and healthcare delivery. The edited book contains selected papers presented at the 2023 Health Intelligence workshop, co-located with the Thirty-Seven Association for the Advancement of Artificial Intelligence (AAAI) conference, and presents an overview of the issues, challenges, and potentials in the field, along with new research results. This book provides information for researchers, students, industry professionals, clinicians, and public health agencies interested in the applications of AI in medicine and public health.

  • af Pranesh Santikellur
    1.078,95 - 1.087,95 kr.

    The book discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware security applications, in particular the techniques of launching potent "e;modeling attacks"e; on Physically Unclonable Function (PUF) circuits, which are promising hardware security primitives. The volume is self-contained and includes a comprehensive background on PUF circuits, and the necessary mathematical foundation of traditional and advanced machine learning techniques such as support vector machines, logistic regression, neural networks, and deep learning. This book can be used as a self-learning resource for researchers and practitioners of hardware security, and will also be suitable for graduate-level courses on hardware security and application of machine learning in hardware security. A stand-out feature of the book is the availability of reference software code and datasets to replicate the experiments described in the book.

  • af Nataliya Pankratova
    1.976,95 kr.

  • af Abdellah Idrissi
    1.562,95 kr.

    This Book, through its various chapters presenting the Recent Advances in Modern Artificial Intelligence and Data Science as well as their Applications, aims to set up lasting and real applications necessary for both academics and professionals. Readers find here the fruit of many research ideas covering a wide range of application areas that can be explored for the advancement of their research or the development of their business. These ideas present new techniques and trends projected in various areas of daily life. Through its proposals of new ideas, this Book serves as a real guide both for experienced readers and for beginners in these specialized fields. It also covers several applications that explain how they can support some societal challenges such as education, health, agriculture, clean energy, business, environment, security and many more. This Book is therefore intended for Designers, Developers, Decision-Makers, Consultants, Engineers, andof course Master's/Doctoral Students, Researchers and Academics.

  • af Saad Motahhir
    1.562,95 kr.

    This book provides insights into recent advances in Machine Intelligence (MI) and related technologies, identifies risks and challenges that are, or could be, slowing down overall MI mainstream adoption and innovation efforts, and discusses potential solutions to address these limitations. All these aspects are explored through the lens of smart applications. The book navigates the landscape of the most recent, prominent, and impactful MI smart applications. The broad set of smart applications for MI is organized into four themes covering all areas of the economy and social life, namely (i) Smart Environment, (ii) Smart Social Living, (iii) Smart Business and Manufacturing, and (iv) Smart Government. The book examines not only present smart applications but also takes a look at how MI may potentially be applied in the future. This book is aimed at researchers and postgraduate students in applied artificial intelligence and allied technologies. The book is also valuable for practitioners, and it serves as a bridge between researchers and practitioners. It also helps connect researchers interested in MI technologies who come from different social and business disciplines and who can benefit from sharing ideas and results.

  • af Pradeep Kumar Singh
    1.392,95 kr.

    This book focuses mainly on the usages of three key technologies: IoT, big data, and AI for various day to day applications. Further, it explores the possibilities of future research based on the usages of latest information systems.This book explores the current research and challenges to be faced by different researchers for building intelligent information solutions using key technologies; IoT, big data, and AI in improving quality of lives in smart cities and explores the limitations and capabilities of these three key computing technologies. The book is organized into three major parts; each part includes chapters exploring a specific topic, and there are: PART-1: IoT for Real World Solutions , (ii) Part-2: Big Data And Cloud Computing for Innovative Solutions For Day to Day Lives, and (iii) Part-3 Artificial Intelligence for Everyday Lives. This book may be useful to the scientists, scholars, and researchers who are working in the field of computer science and engineering, and communication engineering, along with the students in these subjects who are working or willing to work on IoT, big data, and AI technologies for improving quality of everyday life. Specialists as well as student readers find the book chapters encouraging and helpful.IoT, data science & cloud, and AI all are the undergraduate (UG/ bachelor) subjects. Use of these three key technologies for building new applications for better world is helpful for UG and postgraduate (PG/ MS) Programmes students (as an elective and core course). This book may also be very useful for the Ph.D. (research scholars) during their course work and may be used as an instrument to identify the different challenges associated with information systems.

  • af Jonathan Rojas-Simon
    1.660,95 - 1.670,95 kr.

    This book provides a comprehensive discussion and new insights about linear optimization of content metrics to improve the automatic Evaluation of Text Summaries (ETS). The reader is first introduced to the background and fundamentals of the ETS. Afterward, state-of-the-art evaluation methods that require or do not require human references are described. Based on how linear optimization has improved other natural language processing tasks, we developed a new methodology based on genetic algorithms that optimize content metrics linearly. Under this optimization, we propose SECO-SEVA as an automatic evaluation metric available for research purposes. Finally, the text finishes with a consideration of directions in which automatic evaluation could be improved in the future. The information provided in this book is self-contained. Therefore, the reader does not require an exhaustive background in this area. Moreover, we consider this book the first one that deals with the ETS in depth.

  • af Hemen Dutta
    1.562,95 kr.

    This book discusses computational methods related to biological models using mathematical tools and techniques. The book chapters concentrate on numerical and analytical techniques that provide a global solution for biological models while keeping long-term benefits in mind. The solutions are useful in closely understanding biological models, and the results will be very useful for mathematicians, engineers, doctors, scientists and researchers working on real-life biological models. This book provides significant and current knowledge of biological models related to real-life applications. The book covers both methods and applications.

  • af Massimo Buscema
    1.392,95 kr.

    This book introduces the Topological Weighed Centroid approach and describes some applications in the study of the dynamics of various spatial phenomena with a special emphasis on the spatial analysis of the relationship, influence, and dynamics of geographical phenomena. Offering a comprehensive introduction to the theory and illustrative examples from various kinds of geographical data, this book also takes an in-depth look at more complex case studies, such as the applications of the topological weighed centroid approach in the study of epidemic patterns, cultural processes, criminality, and environmental phenomena.

  • af Szczepan Paszkiel
    1.556,95 - 1.565,95 kr.

    The BCI technology finds newer and newer implementations. Year by year, the number of publications in this field grows exponentially. This book attempts to describe the implementation of the brain-computer technology based on both STM32 and Arduino microcontrollers. In addition, the application of BCI technology in the field of intelligent houses, robotic lines as well as in the field of bionic prostheses was presented. One of the chapters of the monograph also discusses the issue of fMRI in the context of the possibility of analyzing images made as part of fMRI through solutions based on machine learning. A practical implementation of the TensorFlow framework was presented. The fMRI technique is also often implemented in BCI solutions. The conducted literature studies show that the technology of BCI is undoubtedly a technology of the future. However, there is a need for continuous development of biomedical signal processing methods in order to obtain the most efficient implementations in the case of non-invasive implementation of BCI technology based on EEG. The further development of BCI technology has a huge impact on the techniques of rehabilitation of people with disabilities. Nowadays, wheelchairs are being constructed, thanks to which a disabled person is physically able to direct his position in a certain direction and at a certain speed. Thanks to BCI, it is also possible to create an individual speech synthesizer, with the help of which a paralyzed person will be able to communicate with the outside world. New limb prostheses that will replace the lost locomotor system in almost one hundred percent are still being developed. Some prostheses are connected to the human nervous system, thanks to which they are able to send feedback to our brain about the shape, hardness and temperature of the object held in the artificial limb.

  • af Omid Bozorg-Haddad
    1.974,95 - 1.983,95 kr.

    This book provides a comprehensive yet fresh perspective for the cutting-edge CI-oriented approaches in water resources planning and management. The book takes a deep dive into topics like meta-heuristic evolutionary optimization algorithms (e.g., GA, PSA, etc.), data mining techniques (e.g., SVM, ANN, etc.), probabilistic and Bayesian-oriented frameworks, fuzzy logic, AI, deep learning, and expert systems. These approaches provide a practical approach to understand and resolve complicated and intertwined real-world problems that often imposed serious challenges to traditional deterministic precise frameworks. The topic caters to postgraduate students and senior researchers who are interested in computational intelligence approach to issues stemming from water and environmental sciences.

  • af Ahmad Taher Azar
    2.368,95 kr.

    This book presents the recent research advances in linear and nonlinear control techniques. From both a theoretical and practical standpoint, motion planning and related control challenges are key parts of robotics. Indeed, the literature on the planning of geometric paths and the generation of time-based trajectories, while accounting for the compatibility of such paths and trajectories with the kinematic and dynamic constraints of a manipulator or a mobile vehicle, is extensive and rich in historical references. Path planning is vital and critical for many different types of robotics, including autonomous vehicles, multiple robots, and robot arms. In the case of multiple robot route planning, it is critical to produce a safe path that avoids colliding with objects or other robots. When designing a safe path for an aerial or underwater robot, the 3D environment must be considered. As the number of degrees of freedom on a robot arm increases, so does the difficulty of path planning.As a result, safe pathways for high-dimensional systems must be developed in a timely manner.Nonetheless, modern robotic applications, particularly those requiring one or more robots to operate in a dynamic environment (e.g., human¿robot collaboration and physical interaction, surveillance, or exploration of unknown spaces with mobile agents, etc.), pose new and exciting challenges to researchers and practitioners. For instance, planning a robot's motion in a dynamic environment necessitates the real-time and online execution of difficult computational operations. The development of efficient solutions for such real-time computations, which could be offered by specially designed computational architectures, optimized algorithms, and other unique contributions, is thus a critical step in the advancement of present and future-oriented robotics.

  • af Victor Chang
    1.949,95 - 1.958,95 kr.

    This Springer book provides a perfect platform to submit chapters that discuss the prospective developments and innovative ideas in artificial intelligence and machine learning techniques in the diagnosis of COVID-19.COVID-19 is a huge challenge to humanity and the medical sciences. So far as of today, we have been unable to find a medical solution (Vaccine). However, globally, we are still managing the use of technology for our work, communications, analytics, and predictions with the use of advancement in data science, communication technologies (5G & Internet), and AI. Therefore, we might be able to continue and live safely with the use of research in advancements in data science, AI, machine learning, mobile apps, etc., until we can find a medical solution such as a vaccine.We have selected eleven chapters after the vigorous review process. Each chapter has demonstrated the research contributions and research novelty. Each group of authors must fulfill strict requirements.

  • af Vladik Kreinovich
    1.392,95 kr.

    This book focuses on the use of artificial intelligence (AI) and computational intelligence (CI) in medical and related applications. Applications include all aspects of medicine: from diagnostics (including analysis of medical images and medical data) to therapeutics (including drug design and radiotherapy) to epidemic- and pandemic-related public health policies.Corresponding techniques include machine learning (especially deep learning), techniques for processing expert knowledge (e.g., fuzzy techniques), and advanced techniques of applied mathematics (such as innovative probabilistic and graph-based techniques).The book also shows that these techniques can be used in many other applications areas, such as finance, transportation, physics. This book helps practitioners and researchers to learn more about AI and CI methods and their biomedical (and related) applications¿and to further develop thisimportant research direction.

  • af Cosimo Ieracitano
    2.368,95 kr.

    This book is an ideal and practical resource on the potential impact Artificial Intelligence (AI) can have in space sciences and applications. AI for Space Application presents a hands-on approach to browse in the subject and to learning how to do.AI is not yet fully accepted as a pervasive technology in space applications because they are often mission-critical and the cost of space equipment and modules raises skepticism on any practical use and reliability. However, it is evident that its potential impact on many aspects is dramatic. Starting from either actual or experimental realizations, the book accompanies the reader through such fascinating subjects like space exploration, autonomous navigation and landing, rover control and guidance on rough surfaces, image analysis automation for planet or star classification, and for space debris avoidance without human intervention.This kind of approach may facilitate further investigations on the same or similar subjects, as the future of space explorations is going toward adopting AI. The intended audience of the book are researchers from academia and space industries and practitioners in related start-ups.

  • af Allam Hamdan
    2.368,95 - 2.460,95 kr.

    This book takes a forward-looking approach by bringing in research and contributions that facilitate in mapping the impact of AI and big data on businesses, the nature of work along with providing practical solutions for preparing the work, workplace, and the workforce of the future.Organizations globally have been experiencing immense transformation due to the reinvention and redefining of the business models due to the dynamic nature of the business environment. Looking at an organizational context, undeniably, the definition of 'work' and 'organizations' is genuinely changing. Artificial intelligence, big data, automation, and robotics are a few of those keywords that are seemingly entering the workplace and reshaping the way work is being done. Moreover, the transition that is being addressed herein not only focuses upon aspects that are operative within an organization like the organizational culture, team building, networking, recruitments, and so on but also aims to address the external aspects like supply chain management, value chain analysis, investment management, etc. Broadly, every single step that is now taken is intensely experiencing this impact upon its functioning. This book serves as a guide not just to the academia but also to the industry to adopt suitable strategies that offer insights into global best practices as well as the innovations in the domain.

  • af Shyi-Ming Chen
    2.147,95 kr.

    The book provides a timely coverage of the paradigm of knowledge distillation¿an efficient way of model compression. Knowledge distillation is positioned in a general setting of transfer learning, which effectively learns a lightweight student model from a large teacher model. The book covers a variety of training schemes, teacher¿student architectures, and distillation algorithms. The book covers a wealth of topics including recent developments in vision and language learning, relational architectures, multi-task learning, and representative applications to image processing, computer vision, edge intelligence, and autonomous systems. The book is of relevance to a broad audience including researchers and practitioners active in the area of machine learning and pursuing fundamental and applied research in the area of advanced learning paradigms.

  • af Patricia Melin
    1.307,95 kr.

    In this book, recent theoretical developments on fuzzy logic, neural networks and optimization algorithms, as well as their hybrid combinations, are presented. In addition, the above-mentioned methods are presented in application areas such as, intelligent control and robotics, pattern recognition, medical diagnosis, decision-making, time series prediction and optimization of complex problems. The book contains a collection of papers focused on hybrid intelligent systems based on soft computing techniques. There are a group of papers with the main theme of type-1 and type-2 fuzzy logic, which basically consists of papers that propose new concepts and algorithms based on type-1 and type-2 fuzzy logic and their applications. There also a group of papers that offer theoretical concepts and applications of meta-heuristics in different areas. Another group of papers outlines diverse applications of fuzzy logic, neural networks and hybrid intelligent systems in medical problems. There are also some papers that present theory and practice of neural networks in different application areas. In addition, there are papers that offer theory and practice of optimization and evolutionary algorithms in different application areas. Finally, there are a group of papers describing applications of fuzzy logic, neural networks and meta-heuristics in pattern recognition and classification problems.

  • af Pawan Lingras, Chiranji Lal Chowdhary, B. K. Tripathy & mfl.
    1.954,95 kr.

    This edited book provides information on emerging fields of next-generation healthcare informatics with a special emphasis on emerging developments and applications of artificial intelligence, deep learning techniques, computational intelligence methods, Internet of medical things (IoMT), optimization techniques, decision making, nanomedicine, and cloud computing. The book provides a conceptual framework and roadmap for decision-makers for this transformation. The chapters involved in this book cover challenges and opportunities for diabetic retinopathy detection based on deep learning applications, deep learning accelerators in IoT and IoMT, health data analysis, deep reinforcement-based conversational AI agent in healthcare systems, examination of health data performance, multisource data in intelligent medicine, application of genetic algorithms in health care, mental disorder, digital healthcare system with big data analytics, encryption methods in healthcare data security, computation and cognitive bias in healthcare intelligence and pharmacogenomics, guided imagery therapy, cancer detection and prediction techniques, medical image processing for coronavirus, and imbalance learning in health care.

  • af Boris Kovalerchuk
    1.794,95 - 1.803,95 kr.

    This book is devoted to the emerging field of integrated visual knowledge discovery that combines advances in artificial intelligence/machine learning and visualization/visual analytic. A long-standing challenge of artificial intelligence (AI) and machine learning (ML) is explaining models to humans, especially for live-critical applications like health care. A model explanation is fundamentally human activity, not only an algorithmic one. As current deep learning studies demonstrate, it makes the paradigm based on the visual methods critically important to address this challenge. In general, visual approaches are critical for discovering explainable high-dimensional patterns in all types in high-dimensional data offering "e;n-D glasses,"e; where preserving high-dimensional data properties and relations in visualizations is a major challenge. The current progress opens a fantastic opportunity in this domain. This book is a collection of 25 extended works of over 70 scholars presented at AI and visual analytics related symposia at the recent International Information Visualization Conferences with the goal of moving this integration to the next level.  The sections of this book cover integrated systems, supervised learning, unsupervised learning, optimization, and evaluation of visualizations. The intended audience for this collection includes those developing and using emerging AI/machine learning and visualization methods. Scientists, practitioners, and students can find multiple examples of the current integration of AI/machine learning and visualization for visual knowledge discovery. The book provides a vision of future directions in this domain. New researchers will find here an inspiration to join the profession and to be involved for further development. Instructors in AI/ML and visualization classes can use it as a supplementary source in their undergraduate and graduate classes.

  • af Essam Halim Houssein
    1.222,95 - 1.598,95 kr.

    This book collects different methodologies that permit metaheuristics and machine learning to solve real-world problems. This book has exciting chapters that employ evolutionary and swarm optimization tools combined with machine learning techniques. The fields of applications are from distribution systems until medical diagnosis, and they are also included different surveys and literature reviews that will enrich the reader. Besides, cutting-edge methods such as neuroevolutionary and IoT implementations are presented in some chapters. In this sense, the book provides theory and practical content with novel machine learning and metaheuristic algorithms. The chapters were compiled using a scientific perspective. Accordingly, the book is primarily intended for undergraduate and postgraduate students of Science, Engineering, and Computational Mathematics and can be used in courses on Artificial Intelligence, Advanced Machine Learning, among others. Likewise, the material can be helpful for research from the evolutionary computation, artificial intelligence communities. 

  • af Paulo Leitão, Theodor Borangiu, Olivier Cardin, mfl.
    2.368,95 - 2.451,95 kr.

  • af Frederik Rehbach
    1.757,95 kr.

    This book presents a solution to the challenging issue of optimizing expensive-to-evaluate industrial problems such as the hyperparameter tuning of machine learning models. The approach combines two well-established concepts, Surrogate-Based Optimization (SBO) and parallelization, to efficiently search for optimal parameter setups with as few function evaluations as possible.Through in-depth analysis, the need for parallel SBO solvers is emphasized, and it is demonstrated that they outperform model-free algorithms in scenarios with a low evaluation budget. The SBO approach helps practitioners save significant amounts of time and resources in hyperparameter tuning as well as other optimization projects. As a highlight, a novel framework for objectively comparing the efficiency of parallel SBO algorithms is introduced, enabling practitioners to evaluate and select the most effective approach for their specific use case.Based on practical examples, decision support is delivered, detailing which parts of industrial optimization projects can be parallelized and how to prioritize which parts to parallelize first. By following the framework, practitioners can make informed decisions about how to allocate resources and optimize their models efficiently.

  • af Robert Simon Fong
    1.370,95 - 1.379,95 kr.

    Manifold optimization is an emerging field of contemporary optimization that constructs efficient and robust algorithms by exploiting the specific geometrical structure of the search space. In our case the search space takes the form of a manifold. Manifold optimization methods mainly focus on adapting existing optimization methods from the usual "e;easy-to-deal-with"e; Euclidean search spaces to manifolds whose local geometry can be defined e.g. by a Riemannian structure. In this way the form of the adapted algorithms can stay unchanged. However, to accommodate the adaptation process, assumptions on the search space manifold often have to be made. In addition, the computations and estimations are confined by the local geometry.This book presents a framework for population-based optimization on Riemannian manifolds that overcomes both the constraints of locality and additional assumptions. Multi-modal, black-box manifold optimization problems on Riemannian manifolds can be tackled using zero-order stochastic optimization methods from a geometrical perspective, utilizing both the statistical geometry of the decision space and Riemannian geometry of the search space.This monograph presents in a self-contained manner both theoretical and empirical aspects of stochastic population-based optimization on abstract Riemannian manifolds.

  • af Anis Koubaa
    1.523,95 kr.

    This book addresses many applications of artificial intelligence in robotics, namely AI using visual and motional input. Robotic technology has made significant contributions to daily living, industrial uses, and medicinal applications. Machine learning, in particular, is critical for intelligent robots or unmanned/autonomous systems such as UAVs, UGVs, UUVs, cooperative robots, and so on. Humans are distinguished from animals by capacities such as receiving visual information, adjusting to uncertain circumstances, and making decisions to take action in a complex system. Significant progress has been made in robotics toward human-like intelligence; yet, there are still numerous unresolved issues. Deep learning, reinforcement learning, real-time learning, swarm intelligence, and other developing approaches such as tiny-ML have been developed in recent decades and used in robotics.Artificial intelligence is being integrated into robots in order to develop advanced robotics capable of performing multiple tasks and learning new things with a better perception of the environment, allowing robots to perform critical tasks with human-like vision to detect or recognize various objects. Intelligent robots have been successfully constructed using machine learning and deep learning AI technology. Robotics performance is improving as higher quality, and more precise machine learning processes are used to train computer vision models to recognize different things and carry out operations correctly with the desired outcome.We believe that the increasing demands and challenges offered by real-world robotic applications encourage academic research in both artificial intelligence and robotics. The goal of this book is to bring together scientists, specialists, and engineers from around the world to present and share their most recent research findings and new ideas on artificial intelligence in robotics.

  • af Satya Ranjan Dash
    1.956,95 - 1.966,95 kr.

    This book discusses automated computing systems which are mostly powered by intelligent technologies like artificial intelligence, machine learning, image recognition, speech processing, cloud computing, etc., to perform complex automated tasks which are not possible by traditional computing systems. The chapters are extended version of research works presented at first Ph.D. Research Symposium in various advanced technologies used in the field of computer science. This book provides an opportunity for the researchers to get ideas regarding the ongoing works that help them in formulating problems of their interest. The academicians can also be benefited to know about the current research trends that smooth the way to guide their students to carry out research work in the proper direction. The industry people will be also facilitated to know about the current advances in research work and materialize the research work into industrial applications.

  • af Sushruta Mishra
    1.969,95 - 1.978,95 kr.

    With rise of smart medical sensors, cloud computing and the health care technologies, "e;connected health"e; is getting remarkable consideration everywhere. Recently, the Internet of Things (IoT) has brought the vision of a smarter world into reality. Cloud computing fits well in this scenario as it can provide high quality of clinical experience. Thus an IoT-cloud convergence can play a vital role in healthcare by offering better insight of heterogeneous healthcare content supporting quality care. It can also support powerful processing and storage facilities of huge data to provide automated decision making. This book aims to report quality research on recent advances towards IoT-Cloud convergence for smart healthcare, more specifically to the state-of-the-art approaches, design, development and innovative use of those convergence methods for providing insights into healthcare service demands. Students, researchers, and medical experts in the field of information technology, medicine, cloud computing, soft computing technologies, IoT and the related fields can benefit from this handbook in handling real-time challenges in healthcare. Current books are limited to focus either on soft computing algorithms or smart healthcare. Integration of smart and cloud computing models in healthcare resulting in connected health is explored in detail in this book.

  • af David Camacho
    2.368,95 kr.

    This book collects 43 regular papers received from 18 countries that present innovative advances in intelligent and distributed computing, encompassing both architectural and algorithmic results related to these fields. Significant attention is given to new models, techniques, and applications for distributed intelligent architectures and high-performance architectures, machine learning techniques, Internet of Things, blockchain, intelligent transport systems, data analytics, trust and reputation systems, and many others. The book includes the peer-reviewed proceedings of the 14th International Symposium on Intelligent Distributed Computing (IDC 2021), which was held in online mode due to the COVSARS2 pandemic situation, during September 16-18, 2021. The IDC 2021 event included sessions on Internet of Things, data analytics, machine learning, multi-agent systems, algorithms, future intelligent transport solutions, blockchain, intelligent distributed computing for cyber-physical security, and security and trust and reputation in intelligent environments.

  • af Roger Lee
    1.761,95 kr.

    This edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on December 7¿9, 2022, at Taichung, Taiwan. The aim of this conference 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.The conference 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, 15 of the most promising papers are then published in this Springer (SCI) book and not the conference proceedings.

  • af Bernd-Holger Schlingloff
    1.766,95 kr.

    This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.