Artificial intelligence (AI) Books
Springer Nature Switzerland AG Probabilistic Graphical Models: Principles and
Book SynopsisThis fully updated new edition of a uniquely accessible textbook/reference provides a general introduction to probabilistic graphical models (PGMs) from an engineering perspective. It features new material on partially observable Markov decision processes, causal graphical models, causal discovery and deep learning, as well as an even greater number of exercises; it also incorporates a software library for several graphical models in Python.The book covers the fundamentals for each of the main classes of PGMs, including representation, inference and learning principles, and reviews real-world applications for each type of model. These applications are drawn from a broad range of disciplines, highlighting the many uses of Bayesian classifiers, hidden Markov models, Bayesian networks, dynamic and temporal Bayesian networks, Markov random fields, influence diagrams, and Markov decision processes.Topics and features: Presents a unified framework encompassing all of the main classes of PGMs Explores the fundamental aspects of representation, inference and learning for each technique Examines new material on partially observable Markov decision processes, and graphical models Includes a new chapter introducing deep neural networks and their relation with probabilistic graphical models Covers multidimensional Bayesian classifiers, relational graphical models, and causal models Provides substantial chapter-ending exercises, suggestions for further reading, and ideas for research or programming projects Describes classifiers such as Gaussian Naive Bayes, Circular Chain Classifiers, and Hierarchical Classifiers with Bayesian Networks Outlines the practical application of the different techniques Suggests possible course outlines for instructors This classroom-tested work is suitable as a textbook for an advanced undergraduate or a graduate course in probabilistic graphical models for students of computer science, engineering, and physics. Professionals wishing to apply probabilistic graphical models in their own field, or interested in the basis of these techniques, will also find the book to be an invaluable reference.Dr. Luis Enrique Sucar is a Senior Research Scientist at the National Institute for Astrophysics, Optics and Electronics (INAOE), Puebla, Mexico. He received the National Science Prize en 2016.Table of ContentsPart I: FundamentalsIntroductionProbability TheoryGraph TheoryPart II: Probabilistic ModelsBayesian ClassifiersHidden Markov ModelsMarkov Random FieldsBayesian Networks: Representation and InferenceBayesian Networks: LearningDynamic and Temporal Bayesian NetworksPart III: Decision ModelsDecision GraphsMarkov Decision ProcessesPartially Observable Markov Decision Processes Part IV: Relational, Causal and Deep ModelsRelational Probabilistic Graphical ModelsGraphical Causal ModelsCausal DiscoveryDeep Learning and Graphical ModelsA: A Python Library for Inference and LearningGlossaryIndex
£54.99
Springer Nature Switzerland AG Reflections on Artificial Intelligence for Humanity
Book SynopsisWe already observe the positive effects of AI in almost every field, and foresee its potential to help address our sustainable development goals and the urgent challenges for the preservation of the environment. We also perceive that the risks related to the safety, security, confidentiality, and fairness of AI systems, the threats to free will of possibly manipulative systems, as well as the impact of AI on the economy, employment, human rights, equality, diversity, inclusion, and social cohesion need to be better assessed. The development and use of AI must be guided by principles of social cohesion, environmental sustainability, resource sharing, and inclusion. It has to integrate human rights, and social, cultural, and ethical values of democracy. It requires continued education and training as well as continual assessment of its effects through social deliberation. The “Reflections on AI for Humanity” proposed in this book develop the following issues and sketch approaches for addressing them: How can we ensure the security requirements of critical applications and the safety and confidentiality of data communication and processing? What techniques and regulations for the validation, certification, and audit of AI tools are needed to develop confidence in AI? How can we identify and overcome biases in algorithms? How do we design systems that respect essential human values, ensuring moral equality and inclusion? What kinds of governance mechanisms are needed for personal data, metadata, and aggregated data at various levels? What are the effects of AI and automation on the transformation and social division of labor? What are the impacts on economic structures? What proactive and accommodation measures will be required? How will people benefit from decision support systems and personal digital assistants without the risk of manipulation? How do we design transparent and intelligible procedures and ensure that their functions reflect our values and criteria? How can we anticipate failure and restore human control over an AI system when it operates outside its intended scope? How can we devote a substantial part of our research and development resources to the major challenges of our time such as climate, environment, health, and education? Table of ContentsReflections on AI for Humanity: Introduction.- Trustworthy AI.- Democratising the digital revolution: the role of data governance.- Artificial Intelligence and the Future of Work.- Reflections on Decision-Making and Artificial Intelligence.- AI and Human values: inequalities, biases, fairness, nudge and feedback loops.- Next big challenges in core AI technology.- AI for Humanity: The Global Challenges.- AI and Constitutionalism: the challenges ahead.- Analyzing the Contributions of ethical charters to building the Future of Artificial Intelligence governance.- What does “Ethical by Design” Mean?.- AI for Digital Humanities and Computational Social Sciences.- Augmented Human and Human-Machine Co-Evolution: efficiency and ethics.- Democratizing AI for Humanity: A Common Goal.- A Framework for Global Cooperation on Artificial Intelligence and its Governance.
£59.99
Springer Nature Switzerland AG Blockchain Technology: Applications and
Book SynopsisThis book discusses the various open issues of blockchain technology, such as the efficiency of blockchain in different domains of digital cryptocurrency, smart contracts, smart education system, smart cities, cloud identity and access, safeguard to cybersecurity and health care. For the first time in human history, people across the world can trust each other and transact over a large peer-to-peer networks without any central authority. This proves that, trust can be built not only by centralized institution but also by protocols and cryptographic mechanisms. The potential and collaboration between organizations and individuals within peer networks make it possible to potentially move to a global collaborative network without centralization. Blockchain is a complex social, economic and technological phenomenon. This questions what the established terminologies of the modern world like currency, trust, economics and exchange would mean. To make any sense, one needs to realize how much insightful and potential it is in the context and the way it is technically developed. Due to rapid changes in accessing the documents through online transactions and transferring the currency online, many previously used methods are proving insufficient and not secure to solve the problem which arises in the safe and hassle-free transaction. Nowadays, the world changes rapidly, and a transition flow is also seen in Business Process Management (BPM). The traditional Business Process Management holds good establishment last one to two decades, but, the internal workflow confined in a single organization. They do not manage the workflow process and information across organizations. If they do so, again fall in the same trap as the control transfers to the third party that is centralized server and it leads to tampering the data, and single point of failure. To address these issues, this book highlights a number of unique problems and effective solutions that reflects the state-of-the art in blockchain Technology. This book explores new experiments and yields promising solutions to the current challenges of blockchain technology. This book is intended for the researchers, academicians, faculties, scientists, blockchain specialists, business management and software industry professionals who will find it beneficial for their research work and set new ideas in the field of blockchain. This book caters research work in many fields of blockchain engineering, and it provides an in-depth knowledge of the fields covered.Table of ContentsBlockchain Technology Introduction, Applications, Challenges.- A Blockchain Framework for Healthcare Data Management.- Blockchain Technology in Healthcare Opportunities and Challenges.- Blockchain in Healthcare System Security Issues, Attacks and Challenges.- Application of Blockchain as a solution.- UML Conceptual Analysis of Smart Contract for Health Claim Processing.
£142.49
Springer Nature Switzerland AG Knowing our World: An Artificial Intelligence
Book SynopsisKnowing our World: An Artificial Intelligence Perspective considers the methodologies of science, computation, and artificial intelligence to explore how we humans come to understand and operate in our world. While humankind’s history of articulating ideas and building machines that can replicate the activity of the human brain is impressive, Professor Luger focuses on understanding the skills that enable these goals. Based on insights afforded by the challenges of AI design and program building, Knowing our World proposes a foundation for the science of epistemology. Taking an interdisciplinary perspective, the book demonstrates that AI technology offers many representational structures and reasoning strategies that support clarification of these epistemic foundations. This monograph is organized in three Parts; the first three chapters introduce the reader to the foundations of computing and the philosophical background that supports the AI tradition. These three chapters describe the origins of AI, programming as iterative refinement, and the representations and very high-level language tools that support AI application building. The book’s second Part introduces three of the four paradigms that represent research and development in AI over the past seventy years: the symbol-based, connectionist, and complex adaptive systems. Luger presents several introductory programs in each area and demonstrates their use. The final three chapters present the primary theme of the book: bringing together the rationalist, empiricist, and pragmatist philosophical traditions in the context of a Bayesian world view. Luger describes Bayes' theorem with a simple proof to demonstrate epistemic insights. He describes research in model building and refinement and several philosophical issues that constrain the future growth of AI. The book concludes with his proposal of the epistemic stance of an active, pragmatic, model-revising realism.Table of ContentsPART I, In the Beginning.-1 Creating Computer Programs: An Epistemic Commitment.- 2 Historical Foundations.- 3 Modern AI and How We Got Here.- PART II, AI: Structures and Strategies for Complex Problem Solving.- 4 Symbol-Based AI and its Rationalist Presuppositions.- 5 Association and Connectionist Approaches to AI.- 6 Evolutionary Computation and Intelligence.- PART III, On Epistemology: Towards an Active, Pragmatic, Model-Revising Realism.- 7 A Constructivist Rapprochement and an Epistemic Stance.- 8 Bayesian-Based Constructivist Computational Models.- 9 Towards an Active, Pragmatic, Model-Revising Realism.-Bibliography.- Index.
£123.49
Springer Nature Switzerland AG Advances in Knowledge Discovery and Data Mining: 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III
Book SynopsisThe 3-volume set LNAI 12712-12714 constitutes the proceedings of the 25th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2021, which was held during May 11-14, 2021.The 157 papers included in the proceedings were carefully reviewed and selected from a total of 628 submissions. They were organized in topical sections as follows: Part I: Applications of knowledge discovery and data mining of specialized data; Part II: Classical data mining; data mining theory and principles; recommender systems; and text analytics; Part III: Representation learning and embedding, and learning from data.Table of ContentsRepresentation Learning and Embedding.- Episode Adaptive Embedding Networks for Few-shot Learning.- Universal Representation for Code.- Self-supervised Adaptive Aggregator Learning on Graph.- A Fast Algorithm for Simultaneous Sparse Approximation.- STEPs-RL: Speech-Text Entanglement for Phonetically Sound Representation Learning.- RW-GCN: Training Graph Convolution Networks with biased random walk for Semi-Supervised Classification.- Loss-aware Pattern Inference: A Correction on the Wrongly Claimed Limitations of Embedding Models.- SST-GNN: Simplified Spatio-temporal Traffic forecasting model using Graph Neural Network.- VIKING: Adversarial Attack on Network Embeddings via Supervised Network Poisoning.- Self-supervised Graph Representation Learning with Variational Inference.- Manifold Approximation and Projection by Maximizing Graph Information.- Learning Attention-based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping.- Multi-Grained Dependency Graph Neural Network for Chinese Open Information Extraction.- Human-Understandable Decision Making for Visual Recognition.- LightCAKE: A Lightweight Framework for Context-Aware Knowledge Graph Embedding.- Transferring Domain Knowledge with an Adviser in Continuous Tasks.- Inferring Hierarchical Mixture Structures: A Bayesian Nonparametric Approach.- Quality Control for Hierarchical Classification with Incomplete Annotations.- Learning from Data.- Learning Discriminative Features using Multi-label Dual Space.- AutoCluster: Meta-learning Based Ensemble Method for Automated Unsupervised Clustering.- BanditRank: Learning to Rank Using Contextual Bandits.- A compressed and accelerated SegNet for plant leaf disease segmentation: A Differential Evolution based approach.- Meta-Context Transformers for Domain-Specific Response Generation.- A Multi-task Kernel Learning Algorithm for Survival Analysis.- Meta-data Augmentation based Search Strategy through Generative Adversarial Network for AutoML Model Selection.- Tree-Capsule: Tree-Structured Capsule Network for Improving Relation Extraction.- Rule Injection-based Generative Adversarial Imitation Learning for Knowledge Graph Reasoning.- Hierarchical Self Attention Based Autoencoder for Open-Set Human Activity Recognition.- Reinforced Natural Language Inference for Distantly Supervised Relation Classification.- SaGCN: Structure-aware Graph Convolution Network for Document-level Relation Extraction.- Addressing the class imbalance problem in medical image segmentation via accelerated Tversky loss function.- Incorporating Relational Knowledge in Explainable Fake News Detection.- Incorporating Syntactic Information into Relation Representations for Enhanced Relation Extraction.
£71.24
Springer Nature Switzerland AG Artificial Intelligence and the Changing Nature of Corporations: How Technologies Shape Strategy and Operations
Book SynopsisThis book explains how various forms of artificial intelligence, namely machine learning, natural language processing, and robotic process automation, could provide a source of competitive advantage to firms deploying them compared to those firms that would not have deployed these technologies. The advantages of machine learning, natural language processing, and robotic process automation in strategy formulation and strategy implementation are explored. The book illustrates the potential sources of advantage for the strategy formulation and strategy implementation processes, which can be derived from the deployment of each form of artificial intelligence.Table of Contents1. Introduction to Artificial Intelligence and the Changing Nature of a Firm: Implications to Strategy and Strategy Implementation.- 2. A High-Level Overview of Artificial Intelligence: Historical Overview and Emerging Developments.- 3. A Brief Overview of the Firm’s Strategy.- 4. Strategy Implementation.- 5. Machine Learning in Strategy and Implementation.- 6. Natural Language Processing in Strategy and Implementation.- 7. Robotic Process Automation in Strategy and Strategy Implementation.- 8. Synopsis to Artificial Intelligence and the Nature of a Firm:Implications to Strategy and Strategy Implementation.
£49.99
Springer Nature Switzerland AG Mathematical Methods in Modern Complexity Science
Book SynopsisThis book presents recent developments in nonlinear and complex systems. It provides recent theoretic developments and new techniques based on a nonlinear dynamical systems approach that can be used to model and understand complex behavior in nonlinear dynamical systems. It covers information theory, relativistic chaotic dynamics, data analysis, relativistic chaotic dynamics, solvability issues in integro-differential equations, and inverse problems for parabolic differential equations, synchronization and chaotic transient. Presents new concepts for understanding and modeling complex systems Table of Contents1. Preface by Dr. Dimitri Volchenkov2. Chapter 1 . J. A. Tenreiro Machado, Shannon Information Analysis of the Chromosome Code.3. Chapter 2. Dimitri Volchenkov, Veniamin Smirnov, An Unfair Coin of the Standard & Poor’s 5004. Chapter 3. Relativistic chaotic scattering by Juan D. Bernal, Jesus M. Seoane, Miguel A.F. Sanjuan5. Chapter 4. Artificial Intelligence for Studying Perception of Ambiguous Images and Decision-Marking Processes in the Human Brain by Alexander N. Pisarchik, Anastasija E. Runnova, Nikita S. Frolov, and Alexander E. Hramov6. Chapter 5. Fuhong Min, Chuang Li, Multistability Coexistence of Memristive Chaotic System, and the Application in Image Decryption7. Chapter 6: Veniamin Smirnov, Zhuanzhuan Ma, And Dimitri Volchenkov, Extreme Events and Emergency Scales 8. Chapter 7: M. Edelman, Evolution of Systems with Power-Law Memory: Do We Have to Die?9. Chapter 8: Dimitri Volchenkov, Probability Entanglement and Destructive Interference in Biased Coin Tossing10. Chapter 9: Messoud Efendiev, Vitali Vougalter, On the solvability of some systems of integro-differential equations with drift.11. Chapter 10: Vitali Vougalter, Vitaly Volpert, Solvability in The Sense of Sequences For Some Non Fredholm Operators With The Bi-Laplacian 12. Chapter 11: Vitali Vougalter, The Preservation of Nonnegativity of Solutions of A Parabolic System With The Bi-Laplacian
£104.49
Springer Nature Switzerland AG Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection: 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings
Book SynopsisThis book constitutes the proceedings of the 19th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2021, held in Salamanca, Spain, in October 2021. The 27 regular and 13 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.
£64.99
Springer Nature Switzerland AG Domain Adaptation and Representation Transfer, and Affordable Healthcare and AI for Resource Diverse Global Health: Third MICCAI Workshop, DART 2021, and First MICCAI Workshop, FAIR 2021, Held in Conjunction with MICCAI 2021, Strasbourg, Fr
Book SynopsisThis book constitutes the refereed proceedings of the Third MICCAI Workshop on Domain Adaptation and Representation Transfer, DART 2021, and the First MICCAI Workshop on Affordable Healthcare and AI for Resource Diverse Global Health, FAIR 2021, held in conjunction with MICCAI 2021, in September/October 2021. The workshops were planned to take place in Strasbourg, France, but were held virtually due to the COVID-19 pandemic.DART 2021 accepted 13 papers from the 21 submissions received. The workshop aims at creating a discussion forum to compare, evaluate, and discuss methodological advancements and ideas that can improve the applicability of machine learning (ML)/deep learning (DL) approaches to clinical setting by making them robust and consistent across different domains. For FAIR 2021, 10 papers from 17 submissions were accepted for publication. They focus on Image-to-Image Translation particularly for low-dose or low-resolution settings; Model Compactness and Compression; Domain Adaptation and Transfer Learning; Active, Continual and Meta-Learning. Table of ContentsDomain Adaptation and Representation Transfer.- A Systematic Benchmarking Analysis of Transfer Learning for Medical Image Analysis.- Self-supervised Multi-scale Consistency for Weakly Supervised Segmentation Learning.- FDA: Feature Decomposition and Aggregation for Robust Airway Segmentation.- Adversarial Continual Learning for Multi-Domain Hippocampal Segmentation.- Self-Supervised Multimodal Generalized Zero Shot Learning For Gleason Grading.- Self-Supervised Learning of Inter-Label Geometric Relationships For Gleason Grade Segmentation.- Stop Throwing Away Discriminators! Re-using Adversaries for Test-Time Training.- Transductive image segmentation: Self-training and effect of uncertainty estimation.- Unsupervised Domain Adaptation with Semantic Consistency across Heterogeneous Modalities for MRI Prostate Lesion Segmentation.- Cohort Bias Adaptation in Federated Datasets for Lesion Segmentation.- Exploring Deep Registration Latent Spaces.- Learning from Partially Overlapping Labels: Image Segmentation under Annotation Shift.- Unsupervised Domain Adaption via Similarity-based Prototypes for Cross-Modality Segmentation.- A ordable AI and Healthcare.- Classification and Generation of Microscopy Images with Plasmodium Falciparum via Arti cial Neural Networks using Low Cost Settings.- Contrast and Resolution Improvement of POCUS Using Self-Consistent CycleGAN.- Low-Dose Dynamic CT Perfusion Denoising without Training Data.- Recurrent Brain Graph Mapper for Predicting Time-Dependent Brain Graph Evaluation Trajectory.- COVID-Net US: A Tailored, Highly Efficient, Self-Attention Deep Convolutional Neural Network Design for Detection of COVID-19Patient Cases from Point-of-care Ultrasound Imaging.- Inter-Domain Alignment for Predicting High-Resolution Brain Networks Using Teacher-Student Learning.- Sickle Cell Disease Severity Prediction from Percoll Gradient Images using Graph Convolutional Networks.- Continual Domain Incremental Learning for Chest X-ray Classification in Low-Resource Clinical Settings.- Deep learning based Automatic detection of adequately positioned mammograms.- Can non-specialists provide high quality Gold standard labels in challenging modalities.
£54.99
Springer Nature Switzerland AG Belief Functions: Theory and Applications: 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 6th International Conference on Belief Functions, BELIEF 2021, held in Shanghai, China, in October 2021. The 30 full papers presented in this book were carefully selected and reviewed from 37 submissions. The papers cover a wide range on theoretical aspects on mathematical foundations, statistical inference as well as on applications in various areas including classification, clustering, data fusion, image processing, and much more.Table of ContentsClustering.- Transfer learning.- Classification.- Statistical inference and learning.- Deep learning.- Conflict, inconsistency and specificity.- Information fusion.- Elicitation.- Algorithms and computation.
£54.99
Springer Nature Switzerland AG Artificial Intelligence and Its Discontents: Critiques from the Social Sciences and Humanities
Book SynopsisOn what basis can we challenge Artificial Intelligence (AI) - its infusion, investment, and implementation across the globe? This book answers this question by drawing on a range of critical approaches from the social sciences and humanities, including posthumanism, ethics and human values, surveillance studies, Black feminism, and other strategies for social and political resistance. The authors analyse timely topics, including bias and language processing, responsibility and machine learning, COVID-19 and AI in health technologies, bio-AI and nanotechnology, digital ethics, AI and the gig economy, representations of AI in literature and culture, and many more. This book is for those who are currently working in the field of AI critique and disruption as well as in AI development and programming. It is also for those who want to learn more about how to doubt, question, challenge, reject, reform and otherwise reprise AI as it been practiced and promoted. Trade Review“The book offers a number of useful critiques of AI as it interacts with increasing numbers of Internet users. Readers should take the Marxist perspectives with a grain of salt.” (G. R. Mayforth, Computing Reviews, October 19, 2022)“All of the chapters are well written and the editorial process was clearly very good. … I found four essays particularly noteworthy … . If you are limited on time, these core essays are must-reads. I found this book interesting because it disclosed to me what others outside the computational science community see.” (Anthony J. Duben, Computing Reviews, July 20, 2022)Table of ContentsChapter 1: Introduction: Critical Insights: Bringing the social sciences and humanities to AI.- Section I: Posthumanism.- Chapter 2: Virtually Grown Up: Artificial Intelligence in Youth Fiction.- Chapter 3: The Feminized Robot: Labour and Harawayan Afterlives.- Section II: Human values.- Chapter 4: AI’s fast and furtive spread by infusion into technologies that are already in use – a critical assessment.- Chapter 5: Dumbwaiters & Smartphones: The Responsibility of Intelligence.- Section III: Media and Language.- Chapter 6: Artificial Intelligence: a medium that hides its nature.- Chapter 7: Gender Bias in Machine Translation Systems.- Section IV: Governance.- Chapter 8: Not Anytime Soon: The clinical translation of nanorobots.- Chapter 9: Controversial Covid-19 contact-tracing app in India: digital self-defence, governance and surveillance.- Chapter 10: Intelligent Justice’: AI Implementations in China's Legal Systems.- Section V: Resistance.- Chapter 11: Artificial Intelligence between Oppression and Resistance: Black Feminist Perspectives on Emerging Technologies.- Chapter 12: AI Ruined the Internet – and Everything Else: A manifesto.- Index.
£74.99
Springer Nature Switzerland AG Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.Table of ContentsInvited Paper.- Linear Temporal Logic – From Infinite to Finite Horizon.- Automata Theory.- Determinization and Limit-determinization of Emerson-Lei automata.- Automatic discovery of fair paths in infinite-state transition systems.- Certifying DFA Bounds for Recognition and Separation.- Machine Learning for Formal Methods.- AALpy: An Active Automata Learning Library.- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach.- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems.- Theorem Proving and Tools.- A Formal Semantics of the GraalVM Intermediate Representation.- A Verified Decision Procedure for Orders in Isabelle/HOL.- PJBDD: A BDD Library for Java and Multi-Threading.- Model Checking.- Live Synthesis.- Faster Pushdown Reachability Analysis with Applications in Network Verification.- Verifying Verified Code.- Probabilistic Analysis.- Probabilistic causes in Markov Chains.- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.- AQUA: Automated Quantized Inference for Probabilistic Programs.- Software and Hardware Verification.- Proving SIFA Protection of Masked Redundant Circuits.- Verification by Gambling on Program Slices.- Runtime Enforcement of Hyperproperties.- System Synthesis and Approximation.- Compositional Synthesis of Modular Systems.- Event-B Refinement for Continuous Behaviours Approximation.- Incorporating Monitors in Reactive Synthesis without Paying the Price.- Verification of Machine Learning.- pyNever: a Framework for Learning and Verification of Neural Networks.- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
£64.99
Springer Nature Switzerland AG Artificial Intelligence XXXVIII: 41st SGAI International Conference on Artificial Intelligence, AI 2021, Cambridge, UK, December 14–16, 2021, Proceedings
Book SynopsisThis book constitutes the proceedings of the 41st SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2021, which was supposed to be held in Cambridge, UK, in December 2021. The conference was held virtually due to the COVID-19 pandemic.The 22 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 37 submissions. The volume includes technical papers presenting new and innovative developments in the field as well as application papers presenting innovative applications of AI techniques in a number of subject domains. The papers are organized in the following topical sections: technical paper; machine learning; AI techniques; short technical stream papers; application papers; applications of machine learning; AI for medicine; advances in applied AI; and short application stream papers. Table of ContentsTechnical Papers.- On the Generalization Abilities of Fine-Tuned Commonsense Language Representation Models (Best Technical Paper).- Machine Learning.- Generation of Human-aware Navigation Maps using Graph Neural Networks.- Extended Category Learning with Spiking Nets and Spike Timing Dependent Plasticity.- ORACLE: End-to-end Model Based Reinforcement Learning.- Towards Explaining Metaheuristic Solution Quality by Data Mining Surrogate Fitness Models for Importance of Variables.- AI Techniques.- Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks.- Towards Explainable Metaheuristics: PCA for Trajectory Mining in Evolutionary Algorithms.- AI Methods of Autonomous Geological Target Selection in the Hunt for Signs of Extraterrestrial Life.- Probabilistic Rule Induction for Transparent CBR under Uncertainty.- Short Technical Stream Papers.- Detection of Brain Tumour using Deep Learning.- GaussianProductAttributes: Density-based Distributed Representations for Products.- Modelling Emotion Dynamics in Chatbots with Neural Hawkes Processes.- Knowledge-Based Composable Inductive Programming.- Named Entity Recognition and Relation Extraction for COVID-19: Explainable Active Learning with word2vec Embeddings and Transformer-based BERT Models.- Application Papers.- Patients Forecasting in Emergency Services by using Machine Learning and Exogenous variables (Best Application Paper).- Applications of Machine Learning.- Automatic Information Extraction from Electronic Documents using Machine Learning.- Modelling Satellite Data for Automobile Insurance Risk.- Ranking Pathology Data in the Absence of a Ground Truth.- Evolving Large Scale Prediction Models for Vehicle Volume Forecasting in Service Stations.- AI for Medicine.- Sequential Association Rule Mining Revisited: A Study Directed at Relational Pattern Mining for Multi-morbidity.- Addressing the Challenge of Data Heterogeneity using a Homogeneous Feature Vector Representation.- Context-aware Support for Cardiac Health Monitoring using Federated Machine Learning.- Using Automated Feature Selection for Building Case-Based Reasoning Systems: An Example from Patient-Reported Outcome Measurements.- Advances in Applied AI.- A Live-User Evaluation of a Visual Module Recommender & Advisory System for Undergraduate Students.- AdverseGen: A Practical Tool for Generating Adversarial Examples to Deep Neural Networks Using Black-box Approaches.- Adaptive Maneuver Planning for Autonomous Vehicles using Behavior Tree on Apollo Platform.- Behavioural User Identification from Clickstream Data for Business Improvement.- Short Application Stream Papers.- AI enabled Bio Waste Contamination-Scanner.- Parkinson's Disease Tremor Severity Classification - A Comparison Between ON and OFF Medication State.- Towards Publishing Ontology-based Data Quality Metadata of Open Data.- Towards a Brain Controller Interface for Generating Simple Berlin School Style Music with Interactive Genetic Algorithms.
£64.99
Springer Nature Switzerland AG Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Book SynopsisThis Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.Table of ContentsModel Checking, Synthesis, and Learning.- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle.- Cause-Effect Reaction Latency In Real-Time Systems.- Quantitative Analysis of Interval Markov Chains.- Regular Model Checking: Evolution and Perspectives.- Regular Model Checking Revisited.- High-Level Representation of Benchmark Families for Petri Games.- Towards Engineering Digital Twinsby Active Behaviour Mining.- Never-Stop Context-Free Learning.- A Taxonomy and Reductions for Common Register Automata Formalisms.
£54.99
Springer Nature Switzerland AG Human Mental Workload: Models and Applications: 5th International Symposium, H-WORKLOAD 2021, Virtual Event, November 24–26, 2021, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 5th International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2021, held virtually in November 2021.The volume presents 9 revised full papers, which were carefully reviewed and selected from 16 submissions. The papers are organized in two topical sections on models and applications.Table of ContentsModels.- In search of the redline: perspectives on mental workload and the ‘underload problem’. - A novel parabolic model of instructional efficiency grounded on ideal mental workload and performance.- Radical Connectionism – Implications for Mental Workload Research.- Fundamental Frequency as an Alternative Method for Assessing Mental Fatigue of Distance Learning Teachers.- A systematic review of older drivers in a level 3 autonomous vehicle: A cognitive load perspective.- Applications.- On EEG Preprocessing Role in Deep Learning Effectiveness for Mental Workload Classification.- Mental Workload Assessment in Military Pilots Using Flight Simulators and Physiological Sensors.- Exploring the Influence of Information Overload, Internet Addiction, and Social Network Addiction, on Students' Well-being and Academic Outcomes.- Examining Cognitive Workload during Covid-19: A Qualitative Study.- The Relationship between Workload, Fatigue and Sleep Quality of Psychiatric Staff.
£54.99
Springer Nature Switzerland AG ICWE 2021 Workshops: ICWE 2021 International Workshops, BECS and Invited Papers, Biarritz, France, May 18–21, 2021, Revised Selected Papers
Book SynopsisThis book constitutes the thoroughly refereed post-workshop proceedings of the 21th International Conference on Web Engineering, ICWE 2021, held in Biarritz, France, in May 2021.*The first international workshop on Big data-driven Edge Cloud Services (BECS 2021) was held to provide a venue in which scholars and practitioners can share their experiences and present on-going work on providing value-added Web services for users by utilizing big data in edge cloud environments. The 5 revised full papers and 1 revised short contribution selected from 11 submissions are presented with 2 invited papers.*The conference was held virtually due to the COVID-19 pandemic.Table of ContentsBECS 2021.- Putting Data Science Pipelines on the Edge.- DNN Model Deployment on Distributed Edges.- Towards Proactive Context-Aware IoT Environments by means of Federated Learning.- Real-time Deep Learning-based Anomaly Detection Approach for Multivariate Data Streams with Apache Flink.- A Novel Approach to Dynamic Pricing for Cloud Computing Through Price Band Prediction.- Learning-based Activation of Energy Harvesting Sensors for Fresh Data Acquisition.- Invited Papers.- Exploiting Triangle Patterns for Heterogeneous Graph Attention Network.- Towards Seamless IoT Device-Edge-Cloud Continuum: Software Architecture Options of IoT Devices Revisited.
£54.99
Springer Nature Switzerland AG Broadband Communications, Networks, and Systems: 12th EAI International Conference, BROADNETS 2021, Virtual Event, October 28–29, 2021, Proceedings
Book SynopsisThis book constitutes the refereed post-conference proceedings of the 12th International Conference on Broadband Communications, Networks, and Systems, Broadnets 2021, which took place in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 24 full papers presented were carefully reviewed and selected from 49 submissions. The papers are thematically grouped as a session on broadband communications, networks, and systems; 5G-enabled smart building: technology and challenge; and 5G: The advances in industry.Table of ContentsBroadband communications, Networks, and Systems: Theory and Applications.- A Machine Learning-based Elastic Strategy for Operator Parallelism in a Big Data Stream Computing System.- End-to-End Dynamic Pipelining Tuning Strategy for Small Files Transfer.- Containers’ Privacy and Data Protection via Runtime Scanning Methods.- Digital Twin For Cybersecurity: Towards Enhancing Cyber Resilience.- Differential Privacy-based Permissioned Blockchain for Private Data Sharing in Industrial IoT.- Efficient Privacy-Preserving User Matching with Intel SGX.- Developing an Online Examination Timetabling System Using Artificial Bee Colony Algorithm in Higher Education.- A Topology-Aware Scheduling Strategy for Distributed Stream Computing System.- Data Stream Prediction Strategy for Elastic Stream Computing Systems.- Blockchain Enabled Integrity Protection for Bodycam Video.- Road Rage Recognition System Based on Face Detection Emotion.- A Drip Irrigation Remote Control System using 5G-IoT Technology.- Multipath QUIC - Directions of the Improvements.- One New Adaptive Elliptical Weighting Model Combining with the Tikhonov-ffp-norm for image reconstruction.- Calculation and Numerical Simulation of Building Integrated Photovoltaic System Based on Connected Autonomous Vehicle Platoon Control through Multi-Agent Deep Reinforcement Learning.- 5G-enabled Smart Building: Technology and Challenge.- Accurate Estimation on the State-of-Charge of Lithium-ion Battery Packs.- Fire Simulation and Optimial Evaluation Based on BIM Technology.- Discrete Sliding Mode Control of PMSM with Network Transmission.- Smart Medical and Nursing Platform Based on 5G Technology.- Time-domain predictable trajectory planning for autonomous driving based on Internet of Vehicles.- 5G: The Advances in Industry.- Rate-compatible shortened polar codes based on RM code-aided.- Research on wheat impurity image recognition based on convolutional neural network.- Based on Energy Router Energy Management Control Strategy in micro-grid.
£66.49
Springer Nature Switzerland AG Artificial Intelligence and Machine Learning: 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November 10–12, 2021, Revised Selected Papers
Book SynopsisThis book contains a selection of the best papers of the 33rd Benelux Conference on Artificial Intelligence, BNAIC/ BENELEARN 2021, held in Esch-sur-Alzette, Luxembourg, in November 2021. The 14 papers presented in this volume were carefully reviewed and selected from 46 regular submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis.
£64.99
Springer Nature Switzerland AG Distributed Artificial Intelligence: Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the Third International Conference on Distributed Artificial Intelligence, DAI 2021, held in Shanghai, China, in December 2021.The 15 full papers presented in this book were carefully reviewed and selected from 31 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent systems, distributed learning, computational game theory, etc., to provide a single, high-profile, internationally renowned forum for research in the theory and practice of distributed AI.Table of ContentsThe Power of Signaling and its Intrinsic Connection to the Price of Anarchy.- Uncertainty-aware Low-Rank Q-Matrix Estimation for Deep Reinforcement Learning.- SEIHAI: A Sample-effcient Hierarchical AI for the MineRL Competition.- GC: Multi-Agent Group Belief with Graph Clustering.- Incomplete Distributed Constraint Optimization Problems: Model, Algorithms, and Heuristics.- Securities Based Decision Markets.- MARL for Traffc Signal Control in Scenarios with Different Intersection Importance.- Safe Distributional Reinforcement Learning.- The Positive Effect of User Faults over Agent Perception in Collaborative Settings and its Use in Agent Design.- Behavioral Stable Marriage Problems.- FUN-Agent: a HUMAINE Competitor.- Signal Instructed Coordination in Cooperative Multi-Agent Reinforcement Learning.- A Description of the Jadescript Type System.- Combining M-MCTS and Deep Reinforcement Learning for General Game Playing.- A Two-Step Method for Dynamics of Abstract Argumentation.
£54.99
Springer Nature Switzerland AG Artificial Intelligence Research: Second Southern
Book SynopsisThis book constitutes the refereed proceedings of the Second Southern African Conference on Artificial Intelligence Research, SACAIR 2021, held in Durban, South Africa, in December 2021. Due to the COVID-19 pandemic the SACAIR 2021 was held online. The 22 papers presented were thoroughly reviewed and selected from the 70 submissions. They are organized on the topical sections on AI in the humanities and society, AI in and for information systems, computer vision and image processing, deep learning, knowledge representation and reasoning, machine learning, philosophy and ethics of AI.Table of ContentsAI in the Humanities and Society.- AI in and for Information Systems.- Computer Vision and Image Processing.- Deep Learning.- Knowledge Representation and Reasoning.- Machine Learning.- Philosophy and Ethics of AI.
£66.49
Springer Nature Switzerland AG Advanced Data Mining and Applications: 17th
Book SynopsisThis book constitutes the proceedings of the 17th International Conference on Advanced Data Mining and Applications, ADMA 2021, held in Sydney, Australia in February 2022.*The 26 full papers presented together with 35 short papers were carefully reviewed and selected from 116 submissions. The papers were organized in topical sections in Part I, including: Healthcare, Education, Web Application and On-device application. * The conference was originally planned for December 2021, but was postponed to 2022.
£66.49
Springer Nature Switzerland AG Advanced Data Mining and Applications: 17th
Book SynopsisThis book constitutes the proceedings of the 17th International Conference on Advanced Data Mining and Applications, ADMA 2021, held in Sydney, Australia in February 2022.*The 26 full papers presented together with 35 short papers were carefully reviewed and selected from 116 submissions. The papers were organized in topical sections in Part II named: Pattern mining; Graph mining; Text mining; Multimedia and time series data mining; and Classification, clustering and recommendation. * The conference was originally planned for December 2021, but was postponed to 2022.
£64.99
Springer Machine Intelligence and Smart Systems
Book Synopsis.- Machine Intelligence..- Deep Learning based Novel Approach for Mammogram Classification using Densenet-169..- Attribute Based Federated-Reinforcement Learning Approach for Drone Authorization..- Chronic Kidney Disease prediction and interpretation using Explainable AI..- Systematic review and analysis of Artificial intelligence based breast cancer classification and detection..- War of Tweets: Sentiment Analysis on Ukraine Russia Conflict..- Implementing HRRN for evaluating Cloud performance using Reinforcement Learning..- Using Machine Learning for Prediction of Obstructions for Indoor Location Systems..- Privacy Threats and Protection in Artificial Intelligence and Machine Learning..- Combining linguistic information with BERT for Span based End-to-End Aspect Based Sentiment Analysis..- A Dimensionality Reduction Model: A Retrospective Approach on Dementia Triggering Parameters and Feature Ranking..- Effective Identification of Lung Diseases using Few-Shot Learning..- Comparative Study on Classification based- Data Mining Techniques in Early Diabetes Prediction..- Optimize Machine Learning Model for Sentiment Analysis of Online Education during Covid-19 Pandemic..- Review on the Challenges and Future Directions of Deep Learning-based Techniques for Advance Prediction of Cardiac Attack..- Different Techniques For Detecting Plant Leaf Disease Using Machine Learning..- Proposed Framework of Extensive Humanoid Design Cycle and Recent Developments in Bipedal Walk..- Natural Language Processing for Waste Management Using Public Opinions in Smart Cities..- Prediction of Diabetes during Pregnancy through Fog Environment..- Empirical Wavelet Transform grounded poignant ground target recognition and classification by Seismic Signal Processing..- A Powered-Up Classification of Disabling Distributed Network Cloud-Based Attacks Using MLPNN-BP and MLPNN-LM..- Stroke Prediction Framework Based on Missing Value Information and Outlier Detection by Using Machine Learning Techniques in E-Healthcare..- An Artificial Bee Colony Improved Deep Neural Network Prototypical for Controlling Unprovoked Stroke Data in Iot Environment..- Magnetic Resonance Imaging Digitization for Brain Abnormality Recognition..- Comparative investigation of ELM and No-Prop processes for Clustering and Classification: An Empirical Study..- Application of Theory of Nonlinear Dynamics to Study Automated Detection of Epileptic EEG Signals..- Writer-autonomous Offline Autograph Detection founded upon Histogram of oriented gradients (HOGs) feature..- Analysis & evaluation for segmentation of cancer in multi-parametric.
£54.99
Springer Mehr als ein Chatbot
Book Synopsis
£28.49
Springer IoTEnabled Energy Efficiency Assessment of Renewable Energy Systems and Microgrids in Smart Cities
£170.99
Springer Affective Computing for Social Good
Book SynopsisChapter 1 The Science of Emotion: Decoding and Analysis of Human Emotional Landscape.- Chapter 2 The Synergy of Clinical Psychology and Affective Computing: Advancements in Emotion Recognition and Therapy.- Chapter 3 Affective Computing in Mood Disorders: Beyond Conventional Diagnostic Tools to Modern Technologies.- Chapter 4 The Role of Affective Computing in Social Justice: Harnessing Equity and Inclusion.- Chapter 5 Exploring the Ethical Dimensions and Societal Consequences of Affective Computing.- Chapter 6 Natural Language Processing for Emotion Recognition and Analysis.- Chapter 7 From Data to Emotions: Affective Computing in Voice Emotion Detection.- Chapter 8 Visual Emotion Recognition Through Affective Computing.- Chapter 9 Affective Computing for Health Management via Recommender Systems: Exploring Challenges and Opportunities.- Chapter 10 Personalized Well-being Interventions (PWIs): A New Frontier in Mental Health.- Chapter 11 Enhancing Affective Computing in NLP through Data Augmentation: Strategies for Overcoming Limited Data Availability.- Chapter 12 Advancements in Multimodal Emotion Recognition: Integrating Facial Expressions and Physiological Signals.- Chapter 13 Ethical Considerations in Affective Computing.- Chapter 14 The Horizon of Consciousness for Affective Computing: Future Trends and Possibilities.
£170.99
Springer AI for Understanding Context
Book SynopsisThe Importance of Context.- Toward a Theory of Context.- Large Language Models as Contextual Machines.- The One-Hundred Psychological Dimensions of Context.- Conceptualizing Context for Computational Content Analysis.- Reading Chekhov with AI.- Conversations Going Awry.- The Context of Social Norms.- Final Thoughts on AI for Understanding Context.
£44.99
£169.99
Springer Management of Uncertainty Using Linguistic ZNumbers
Book Synopsis1. Linguistic Z number fuzzy probabilistic rough set and their corresponding three-way decisions.- 2. TOPSIS-based MAGDM under linguistic Z number information.- 3. A new approach of MCGDM: MARCOS-based alternatives measurement with ranking under linguistic Z number information and their application in the selection of logistics distribution cold chain centre.- 4. Linguistic Z number environment-based site selection of medical logistic centre with TODIM-VIKOR approach.- 5. MCGDM based on TODIM-PROMETHEE II under linguistic Z number environment and their application in site selection of emergency shelte.
£179.99
£142.49
Springer Python Arithmetic
Book SynopsisThe Origins of Digital Age.- Mathematical notation and Python.- Counting Algorithms in Python.- Arithmetic Operations.- Square Root Algorithms.- Primality, Equations, Congruences .- Symbolic Computation.
£123.49
Springer Internet of Things A Case Study in Africa
Book SynopsisINTRODUCTION.- INTERNET OF THINGS.- ENABLING COMMUNICATION TECHNOLOGIES FOR INTERNET OF THINGS.- INTERNET OF THINGS ARCHITECTURE LAYERS.- ATTACKS AND COUNTERMEASURES IN IOT LAYERS.- AUTHENTICATION AND AUTHORIZATION.- NETWORK PROTOCOLS FOR INTERNET OF THINGS.- ATTACKS, CHALLENGES, AND COUNTERMEASURES FOR AN INTEGRATING INTERNET OF THINGS FRAMEWORK.- APPLICATION 1 - ASYMMETRIC KEY CRYPTOGRAPHY BLOCKCHAINS FOR SMART GREENHOUSE FARMING.- APPLICATION 2 - SECURING SMART FARMING SYSTEMS.- CONCLUSION AND FUTURE RESEARCH DIRECTIONS.
£152.99
£44.99
Springer Sports Analytics
£104.49
£224.99
£170.99
Springer Simulating the Mind II
Book SynopsisForeword of two Engineering Scientists.- Foreword of a Medical and Psychoanalytical Scientist.- Prolog.- Acknowledgements.- Preface by Dietmar Dietrich.- Preface by Volker A. Hartmann Cardelle. 1. Motivation.- 2. Philosophy, Consciousness and Axiomatic.- 3. Neurological and Psychoanalytical Models.- 4. Why Do Humans Need Machines with Consciousness?.- 5 Models and Tools of Computer Technology for Bridging Neurology and Psychoanalysis.- 6. Development of the ?-Organ Model (SiMA Model).- 7. Conclusion.- References.- Appendix by Volker Hartmann Cardelle.- Index.
£61.74
Springer Smart Internet of Things for Environment and
Book Synopsis
£170.99
Springer Cybernetics and Control Theory in Systems
Book SynopsisInvestigation of the Influence of External Conditions on the Process of Automated Landing of an UAV on a Seismic Sensor Using Technical Vision.- Control of the State of Agrocenosis and Soil Environment According to Remote Sensing Data.- A Study about Complexity of Social Network.- Security testing in IEEE 802.11 wireless networks.- Proposed Ransomware Detection Model Based on Machine Learning.- Smart Grid and Renewable Energy, Security Challenges: A review.
£197.99
Springer The Impact of Artificial Intelligence on Societies
Book Synopsis1. Starting the journey to understand attitudes towards artificial intelligence in global societies.- 2. The measurement of attitudes towards Artificial Intelligence: An overview and recommendations.- 3. Modalities of AI Operations and Their Impact on Users' Attitude Towards AI.- 4. Exploring AI Interaction Modalities in Virtual Environments and its Impact on Users' Attitudes.- 5. Personality associations with attitudes toward AI.
£123.49
Springer Advances in Practical Applications of Agents MultiAgent Systems and Digital Twins The PAAMS Collection
Book SynopsisPAAMS MAIN TRACK.- Distributed Optimization of Charging Station Selection of Electric Vehicles.- A Deep Reinforcement Learning Approach to Battery Management in Dairy Farming via Proximal Policy Optimization.- Reinforcement Learning Enabled Peer to Peer Energy Trading for Dairy Farms.- Benchmarking Large Language Models for Multi Agent Systems A Comparative Analysis of AutoGen CrewAI and TaskWeaver.- Multi Agent Opinion Pooling by Voting for Bins Simulations and Characterization.- Neural Cellular Automaton for Decentralized Inference in Distributed Manipulator System.- Synthetic data generation for machine learning models with cognitive agent simulations.- A Digital Twin approach to Building's Dossier for Seismic Prevention.- MineLlama Llama with Retrieval Augmented Generation as A Decision Maker in Minecraft.- Learning Automata Strategies for Prolonging Lifetime of Wireless Sensor Networks.- Options to Speed up Search in Lifelong Multi Agent Pathfinding.- Cooperative Task Execution in Multi Agent Systems.- Federated Neural Machine Translation Using Multi Agent Reinforcement Learning.- A Decentralized Agent based Model for Crisis Events Using Embedded Systems.- Human and BDI Agent Interaction via KQML messages over IMAP and SMTP.- Models of Intelligent Tutoring Systems Based on Autonomous Agents for Virtual Learning Environments a Systematic Literature Review.- Dynamic estimation of customer movement by agent based simulation with particle filter.- Retrieval Augmented Generation Powered by a Multi Agent System to Assisted the Operation of Industries.- EGAR Environment Generator for Agent based Research.- Collaborating Digital Twins for Health Coaching.- Overcoming Computational Complexity A Scalable Agent Based Model of Traffic Activity using FLAME GPU.- Measuring Fairness in AI Explanations with LEADR Local Explanation Amplification Disparity Ratio.- Adaptive Learning of Centralized and Decentralized Rewards in Multi agent Imitation Learning.- Integrating Supervised and Reinforcement Learning for Heterogeneous Traffic Simulation.- Dynamic modification of agent behaviours without disrupting a running system.- A Machine Learning Based Trading Strategy Integrating Technical Analysis and Multi Agent Simulation.- PAAMS DEMONSTRATIONS.- AAMA Sim A Gazebo and ROS2 based Simulation Tool for Agent based Modelling of Cyber-physical Systems.- Using an Agent Based Cellular Automaton for Emergency Evacuation Simulation.- A pet robot prototype for animal assisted therapy.- Demo of the Agri RO5 architecture for Agrirobot Fleet Simulation.- Implementation of Real Time Local Search Method for Distributed Constraint Optimization with Message Loss in PubSub Communication.- Developing Safe Autonomous Logistic Systems with vGOAL.
£59.99
Springer Artificial Intelligence Algorithm Design for Systems
Book SynopsisPerceived Risk and Behavioral Intention of Customers Using Bayesian Technique.- Cyber-Physical System for detection and recognition of aggression movements with smart glasses.- Computer Science on Philosophy Perspective.- Development of Selective Electrodes for Drug Detection.- Machine Learning models for salary prediction in Peruvian teachers of regular basic education.- A focused systematic review of the regulation for the crypto asset in Peru and its limits.
£170.99
Springer Agriculture Value Chain Challenges and Trends in Academia and Industry
Book Synopsis.- Preface..- Part I: Risk analyses, decision making and decision support in value and supply chains in agriculture and horticulture..- 1: Decision Making in Vegetables Production: Araucania's Plan Predial (Chile) as a Model..- 2: Frozen and Quick Frozen Foods Risk in the Agri-Food Value Chain..- 3: Current State of Chemical Food Safety and Risk Assessment in Fresh Vegetables Produced in Chile..- Part II: Development and innovation strategies and programs in agriculture, horticulture and livestock and cattle breeding..- 4: Agroknowledge: co-creation of a repository ofagricultural best practices, to improve knowledgedisemination and interoperability..- 5: Regional Programs to Encourage and Develop Vegetables Production for Fresh and Processing Purposes..- 6: Breeding Challenges for Species Adaptation in the South of Chile..- 7: Adopting and Adapting Design Thinking's Strategies in Distributed Research and Innovation Projects: A Case Study..- 8: Integration of Supply Chain of Vegetables in Distrito Federal, Brazil: The Structuration of the Problem with Strategic Options and Development Analysis (SODA) Methodology..- Part III: Knowledge management, information and communication in agriculture..- 9: The Role of Information and Communication in Marketing Channels in the Tea Industry..- 10: Dealing with Uncertainties in IT Solutions for Agriculture..- 11: Data Mining in Agriculture with Durum Wheat Price Predictions..- 12: Optical Spectroscopy for Sustainable Agriculture: Crop and Soil Management..- 13: Analysis of N and K elements in root-removed rice samples using laseri nduced breakdown spectroscopy: evaluating different modes of tillage and Fertilization..- 14: Challenges and Opportunities for Nanotechnology to Enhance Food Safety of Fresh Vegetables in Chile..- Part IV: Sustainable agricultural developmenet and Industrial Revolution 4.0..- 15: Transition of the Agricultural Sector Towards a Circular Economy..- 16: Sustainable Intensification of Gourd Vegetables in Chile: Challenges and Opportunities..- 17: A fuzzy multistage control model for sustainable regional agricultural development: Effectiveness and stability..- 18: GAP-A-Farm: A Tool To Support GAP Compliance and Information Based Decision Making in Horticulture.
£170.99
£170.99
Springer Recent Trends and Advances in Artificial Intelligence
Book SynopsisAssessing Cybersecurity Threats The Application of NLP in Advanced Threat Intelligence Systems.- Evaluation of CNNs for Wildcats Classification in Real World Scenario.- Breaking New Ground in HAR with Enhanced Weighted k NN Algorithm.- Unleashing Student Triumph Unraveling the Dynamic Link between State Funding, Academic Excellence and Financial Prosperity in the Digital Era.
£269.99
Springer Engineering and Technology Management in Challenging Times
Book SynopsisA Comparative Analysis of Image Processing Models for Digital Signage Applications.- A Literature Review of Data Analytics: Tabular and Graphical Analysis.- A Mobile Application Design of Cancer Follow Up Care for Breast Cancer Survivors.- A Model Proposal for Selecting the Most Appropriate Radiotherapy Devices for Hospitals.- A Multi Objective Optimization Model for Waste to Energy Facility Location in Sustainable Municipal Solid Waste Management.- A Novel Model for Assessment of Industry 4.0 Maturity in Defense Industry.- A Reinforcement Learning-Inspired Estimation of Antibiotic Resistance in Poultry Environments.- A Review of Machine Learning for Additive Manufacturing.- Assessment of Emerging Digital Technology in Renewable Energy Sector.
£135.99
Springer Lecture Notes in Data Engineering Computational Intelligence and DecisionMaking Volume 1
Book SynopsisBasic Concept of Magnetic Materials and Summary of all the Chapters.- Magnetic Materials: Fundamentals and Applications.- Units, Dimensions and Conversion Factors in Magnetism: Basic Understanding.- Classification of Ferrites, Synthesis and Properties of Spinel Ferrite Nanoparticles and Their Applications.- Applications of Magnetic Materials.- Defects-Induced Multifunctional Properties in BiFeO3.- Basic Concepts of Nitride Magnetic Materials and their Applications.- Fundamental Aspects of Nanomagnetism and its Versatile Applications.- Ferromagnetic Functional Materials.- Origin of Magnetism, Synthesis, Characterization and Perspective Application of Magnetic Graphene.- Externally Driven Interface in Three Dimensional Ising Model: A Monte Carlo study.- Selected Examples of Iron and Cobalt Complexes Exhibiting Spin-Crossover Behavior.- Magnetism in Bulk and Thin Film Metallic Glass Systems.- Recent Developments in Magnetic Nanocrystalline Metal Oxides and their Biomedical Applications.- Ferromagnetism in Two-Dimensional TMD Materials via Doping, Phase Transition and Defect Engineering.
£224.99
Springer Industry 5.0 and Emerging Technologies
Book SynopsisPart 1. Artificial Intelligence Integration in Industry 5.0.- 1.Advancing Industry 5.0: An Extensive Review of AI Integration.- 2.Exploring the technologies of Industry 5.0, Benefits and applications: A Systematic Review.- 3.Campus based on AI and IoT in the era of industry5.0 era: challenges and opportunities.- 4.AI IN INDUSTRY 5.0: TRANSFORMING BUSINESS IN THE DIGITAL AGE.- Part 2. Emerging Technologies in Agriculture and Sustainability.- 5.Leveraging Dielectric Properties, Remote Sensing, and Sensor Technology in Agriculture: A Perspective on Industry and Emerging Technologies.- 6.Smart Crop Selection: Harnessing Machine Learning for Sustainable Agriculture in the Era of Industry 5.0 .- 7.Agricultural Yield Prediction Using ML Algorithms in the Industry 5.0.- Part 3. Integration and Challenges of Industry 5.0.- 8.Enhancing sentiment analysis through topic modeling: Comprehensive overview.- 9.Integration of Industry 5.0 Principles in Stealth Construction: Leveraging Emerging Technologies for Efficiency and Sustainability.- 10.Unveiling the Imperatives: Drivers for Incorporating Smart Building Technologies in the Construction Sector in Nigeria.- 11.Challenges and Opportunities of Integrating Industry 5.0 and Emerging Technologies in Higher Education for Enhancing Employability Skills.- 12.Digital accessibility for the professional inclusion of the visually impaired in Morocco.- 13.Integrating Security into Industry 5.0: Challenges, Solutions, and Impacts.- 14.Blockchain Technology: Enabling Decentralized and Secure Industrial Processes in Industry 5.0.- 15.Exploring the Impact of Industry 5.0 on Organizational Maturity.- Part 4.Technological Innovation and Business Transformation.- 16.Smart Contracts in Finance and Banking Systems in the era of industry 5.0: A Systematic Review.- 17.Industry 5.0 with Sustainable Development.- 18.Technological Innovation and Human Resources Management (HRM) in the era of industry 5.0: navigating impacts and opportunities.- 19.Banking in the Age of Industry 5.0: Charting a Path to Technological Transformation.
£197.99