Artificial intelligence (AI) Books
Springer Nature Switzerland AG Emerging Technology Trends in Internet of Things and Computing: First International Conference, TIOTC 2021, Erbil, Iraq, June 6–8, 2021, Revised Selected Papers
Book SynopsisThis volume constitutes selected papers presented at the First International Conference on Emerging Technology Trends in IoT and Computing, TIOTC 2021, held in Erbil, Iraq, in June 2021. The 26 full papers were thoroughly reviewed and selected from 182 submissions. The papers are organized in the following topical sections: Internet of Things (IOT): services and applications; Internet of Things (IOT) in healthcare industry; IOT in networks, communications and distributed computing; real world application fields in information science and technology.Table of ContentsInternet of Things (IOT): Services and Applications.- Internet of Things (IOT) in Healthcare Industry.- IOT in Networks, Communications and Distributed Computing.- Real World Application Fields in information Science and Technology.
£62.99
Springer Nature Switzerland AG Engineering Multi-Agent Systems: 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers
Book SynopsisThis book constitutes revised selected papers from the 9th International Workshop on Engineering Multi-Agent Systems, EMAS 2021, which was held during May 3-4, 2021. The conference was initially planned to take place in London, UK, but changed to an online event due to the COVID-19 pandemic. The 20 full papers and 1 short paper included in this volume were carefully reviewed and selected from a total of 27 submissions. The contributions deal with agent-oriented software engineering, programming multi-agent systems, declarative agent languages and technologies, artificial intelligence, and machine learning. Table of ContentsPanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents.- Implementing Ethical Governors in BDI.- A Unifying Framework for Agency in Hypermedia Environments.- Multiagent Foundations for Distributed Systems: A Vision.- An Epistemic Logic for Modular Development of Multi-Agent Systems.- Attention Guidance Agents with Eye-tracking: A Use-case Based on the MATBII Cockpit Task.- StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms.- BDI for Autonomous Mobile Robot Navigation.- An Appraisal Transition System for Event-driven Emotions in Agent-based Player Experience Testing.- Developer Operations and Engineering Multi-Agent Systems.- Smart Cyber-physical System-of-Systems using Intelligent Agents and MAS.- Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest.- Analysis of the Execution Time of the Jason BDI Reasoning Cycle.- Autonomous Economic Agent Framework.- Seamless Integration and Testing for MAS Engineering.- Engineering Explainable Agents: An Argumentation-Based Approach.- TPO: A Type System for the Architecture of Agent Societies.- A Practical Framework for General Dialogue-based Bilateral Interactions.- Implementing Durative Actions with Failure Detection in Gwendolen.- Concept Description and Definition Extraction for the ANEMONE System.- GenGPT: a Systematic Way to Generate Synthetic Goal-Plan Trees.
£58.49
Springer Nature Switzerland AG Security and Artificial Intelligence: A Crossdisciplinary Approach
Book SynopsisAI has become an emerging technology to assess security and privacy, with many challenges and potential solutions at the algorithm, architecture, and implementation levels. So far, research on AI and security has looked at subproblems in isolation but future solutions will require sharing of experience and best practice in these domains.The editors of this State-of-the-Art Survey invited a cross-disciplinary team of researchers to a Lorentz workshop in 2019 to improve collaboration in these areas. Some contributions were initiated at the event, others were developed since through further invitations, editing, and cross-reviewing. This contributed book contains 14 invited chapters that address side-channel attacks and fault injection, cryptographic primitives, adversarial machine learning, and intrusion detection. The chapters were evaluated based on their significance, technical quality, and relevance to the topics of security and AI, and each submission was reviewed in single-blind mode and revised. Table of ContentsAI for Cryptography.- Artificial Intelligence for the Design of Symmetric Cryptographic Primitives.- Traditional Machine Learning Methods for Side-Channel Analysis.- Deep Learning on Side-Channel Analysis.- Artificial Neural Networks and Fault Injection Attacks.- Physically Unclonable Functions and AI: Two Decades of Marriage.- AI for Authentication and Privacy.- Privacy-Preserving Machine Learning using Cryptography.- Machine Learning Meets Data Modification: the Potential of Pre-processing for Privacy Enhancement.- AI for Biometric Authentication Systems.- Machine Learning and Deep Learning for Hardware Fingerprinting. - AI for Intrusion Detection.- Intelligent Malware Defenses.- Open-World Network Intrusion Detection.- Security of AI.- Adversarial Machine Learning.- Deep Learning Backdoors. - On Implementation-level Security of Edge-based Machine Learning Models.
£61.74
Springer International Publishing AG Introduction to Semi-Supervised Learning
Book SynopsisSemi-supervised learning is a learning paradigm concerned with the study of how computers and natural systems such as humans learn in the presence of both labeled and unlabeled data. Traditionally, learning has been studied either in the unsupervised paradigm (e.g., clustering, outlier detection) where all the data are unlabeled, or in the supervised paradigm (e.g., classification, regression) where all the data are labeled. The goal of semi-supervised learning is to understand how combining labeled and unlabeled data may change the learning behavior, and design algorithms that take advantage of such a combination. Semi-supervised learning is of great interest in machine learning and data mining because it can use readily available unlabeled data to improve supervised learning tasks when the labeled data are scarce or expensive. Semi-supervised learning also shows potential as a quantitative tool to understand human category learning, where most of the input is self-evidently unlabeled. In this introductory book, we present some popular semi-supervised learning models, including self-training, mixture models, co-training and multiview learning, graph-based methods, and semi-supervised support vector machines. For each model, we discuss its basic mathematical formulation. The success of semi-supervised learning depends critically on some underlying assumptions. We emphasize the assumptions made by each model and give counterexamples when appropriate to demonstrate the limitations of the different models. In addition, we discuss semi-supervised learning for cognitive psychology. Finally, we give a computational learning theoretic perspective on semi-supervised learning, and we conclude the book with a brief discussion of open questions in the field. Table of Contents: Introduction to Statistical Machine Learning / Overview of Semi-Supervised Learning / Mixture Models and EM / Co-Training / Graph-Based Semi-Supervised Learning / Semi-Supervised Support Vector Machines / Human Semi-Supervised Learning / Theory and OutlookTable of ContentsIntroduction to Statistical Machine Learning.- Overview of Semi-Supervised Learning.- Mixture Models and EM.- Co-Training.- Graph-Based Semi-Supervised Learning.- Semi-Supervised Support Vector Machines.- Human Semi-Supervised Learning.- Theory and Outlook.
£26.59
Springer International Publishing AG Answer Set Solving in Practice
Book SynopsisAnswer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples. Table of Contents: List of Figures / List of Tables / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / ConclusionsTable of ContentsList of Figures.- List of Tables.- Motivation.- Introduction.- Basic modeling.- Grounding.- Characterizations.- Solving.- Systems.- Advanced modeling.- Conclusions.
£37.85
Springer International Publishing AG Robot Learning from Human Teachers
Book SynopsisLearning from Demonstration (LfD) explores techniques for learning a task policy from examples provided by a human teacher. The field of LfD has grown into an extensive body of literature over the past 30 years, with a wide variety of approaches for encoding human demonstrations and modeling skills and tasks. Additionally, we have recently seen a focus on gathering data from non-expert human teachers (i.e., domain experts but not robotics experts). In this book, we provide an introduction to the field with a focus on the unique technical challenges associated with designing robots that learn from naive human teachers. We begin, in the introduction, with a unification of the various terminology seen in the literature as well as an outline of the design choices one has in designing an LfD system. Chapter 2 gives a brief survey of the psychology literature that provides insights from human social learning that are relevant to designing robotic social learners. Chapter 3 walks through an LfD interaction, surveying the design choices one makes and state of the art approaches in prior work. First, is the choice of input, how the human teacher interacts with the robot to provide demonstrations. Next, is the choice of modeling technique. Currently, there is a dichotomy in the field between approaches that model low-level motor skills and those that model high-level tasks composed of primitive actions. We devote a chapter to each of these. Chapter 7 is devoted to interactive and active learning approaches that allow the robot to refine an existing task model. And finally, Chapter 8 provides best practices for evaluation of LfD systems, with a focus on how to approach experiments with human subjects in this domain.Table of ContentsIntroduction.- Human Social Learning.- Modes of Interaction with a Teacher.- Learning Low-Level Motion Trajectories.- Learning High-Level Tasks.- Refining a Learned Task.- Designing and Evaluating an LfD Study.- Future Challenges and Opportunities.- Bibliography.- Authors' Biographies.
£999.99
Springer International Publishing AG Metric Learning
Book SynopsisSimilarity between objects plays an important role in both human cognitive processes and artificial systems for recognition and categorization. How to appropriately measure such similarities for a given task is crucial to the performance of many machine learning, pattern recognition and data mining methods. This book is devoted to metric learning, a set of techniques to automatically learn similarity and distance functions from data that has attracted a lot of interest in machine learning and related fields in the past ten years. In this book, we provide a thorough review of the metric learning literature that covers algorithms, theory and applications for both numerical and structured data. We first introduce relevant definitions and classic metric functions, as well as examples of their use in machine learning and data mining. We then review a wide range of metric learning algorithms, starting with the simple setting of linear distance and similarity learning. We show how one may scale-up these methods to very large amounts of training data. To go beyond the linear case, we discuss methods that learn nonlinear metrics or multiple linear metrics throughout the feature space, and review methods for more complex settings such as multi-task and semi-supervised learning. Although most of the existing work has focused on numerical data, we cover the literature on metric learning for structured data like strings, trees, graphs and time series. In the more technical part of the book, we present some recent statistical frameworks for analyzing the generalization performance in metric learning and derive results for some of the algorithms presented earlier. Finally, we illustrate the relevance of metric learning in real-world problems through a series of successful applications to computer vision, bioinformatics and information retrieval. Table of Contents: Introduction / Metrics / Properties of Metric Learning Algorithms / Linear Metric Learning / Nonlinear and Local Metric Learning / Metric Learning for Special Settings / Metric Learning for Structured Data / Generalization Guarantees for Metric Learning / Applications / Conclusion / Bibliography / Authors' BiographiesTable of ContentsIntroduction.- Metrics.- Properties of Metric Learning Algorithms.- Linear Metric Learning.- Nonlinear and Local Metric Learning.- Metric Learning for Special Settings.- Metric Learning for Structured Data.- Generalization Guarantees for Metric Learning.- Applications.- Conclusion.- Bibliography.- Authors' Biographies .
£42.74
Springer International Publishing AG Representing and Reasoning with Qualitative Preferences: Tools and Applications
Book SynopsisThis book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives. The syntax and semantics of several languages for representing preference languages, including CP-nets, TCP-nets, CI-nets, and CP-theories, are reviewed. Some key problems in reasoning about preferences are introduced, including determining whether one alternative is preferred to another, or whether they are equivalent, with respect to a given set of preferences. These tasks can be reduced to model checking in temporal logic. Specifically, an induced preference graph that represents a given set of preferences can be efficiently encoded using a Kripke Structure for Computational Tree Logic (CTL). One can translate preference queries with respect to a set of preferences into an equivalent set of formulae in CTL, such that the CTL formula is satisfied whenever the preference query holds. This allows us to use a model checker to reason about preferences, i.e., answer preference queries, and to obtain a justification as to why a preference query is satisfied (or not) with respect to a set of preferences. This book defines the notions of the equivalence of two sets of preferences, including what it means for one set of preferences to subsume another, and shows how to answer preferential equivalence and subsumption queries using model checking. Furthermore, this book demontrates how to generate alternatives ordered by preference, along with providing ways to deal with inconsistent preference specifications. A description of CRISNER—an open source software implementation of the model checking approach to qualitative preference reasoning in CP-nets, TCP-nets, and CP-theories is included, as well as examples illustrating its use.Table of ContentsAcknowledgments.- Qualitative Preferences.- Qualitative Preference Languages.- Model Checking and Computation Tree Logic.- Dominance Testing via Model Checking.- Verifying Preference Equivalence and Subsumption.- Ordering Alternatives With Respect to Preference.- CRISNER: A Practically Efficient Reasoner for Qualitative Preferences.- Postscript.- Bibliography.- Authors' Biographies .
£999.99
Springer International Publishing AG Social Computing and Social Media: Applications in Education and Commerce: 14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part
Book SynopsisThis two-volume set LNCS 13315 and 13316 constitutes the refereed proceedings of the 14th International Conference on Social Computing and Social Media, SCSM 2022, held as part of the 24rd International Conference, HCI International 2022, which took place in June-July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 275 posters included in the 40 HCII 2022 proceedings volumes was carefully reviewed and selected from 5583 submissions. The papers of SCSM 2022, Part II, are organized in topical sections named: social media in education; customer experience and consumer behavior.Table of ContentsSocial Media in Education.- Customer Experience and Consumer Behavior.
£999.99
Springer International Publishing AG Recent Trends in Image Processing and Pattern Recognition: 4th International Conference, RTIP2R 2021, Msida, Malta, December 8-10, 2021, Revised Selected Papers
Book SynopsisThis volume constitutes the refereed proceedings of the 4th International Conference on Recent Trends in Image Processing and Pattern Recognition, RTIP2R 2021, held in Msida, Malta, in December 2021. Due to the COVID-19 pandemic the conference was held online. The 19 full papers and 14 short papers presented were carefully reviewed and selected from 84 submissions. The papers are organized in the following topical sections: healthcare: medical imaging and informatics; computer vision and pattern recognition; document analysis and recognition; signal processing and machine learning; satellite imaging and remote sensing. Table of ContentsHealthcare: medical imaging and informatics.- Computer Vision and Pattern Recognition.- Document analysis and recognition.- Signal processing and machine learning.- Satellite imaging and remote sensing.
£62.99
Springer International Publishing AG Knowledge Management in Organisations: 16th International Conference, KMO 2022, Hagen, Germany, July 11–14, 2022, Proceedings
Book SynopsisThis book contains the refereed proceedings of the 16th International Conference on Knowledge Management in Organizations, KMO 2022, held in Hagen, Germany, in July 2022. The 24 full papers and 5 short papers accepted for KMO 2022 were selected from 61 submissions and are organized in topical sections on: knowledge transfer and sharing; knowledge and organization; knowledge and service innovation; industry 4.0; information and knowledge systems; intelligent science; AI and new trends in KM.Table of ContentsKnowledge Transfer and Sharing.- Knowledge and Organization.- Knowledge and Service Innovation.- Industry 4.0.- Information and Knowledge Systems.- Intelligent Science.- AI and New Trends in KM.
£999.99
Springer International Publishing AG Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.The 28 regular papers presented were carefully reviewed and selected from a total of 60 submissions. The conference program included a Master Class on the topic "Bridging the Gap between Machine Learning and Optimization”.Table of ContentsA Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times.- A SAT Encoding to compute Aperiodic Tiling Rhythmic Canons.- Transferring Information across Restarts in MIP.- Towards Copeland Optimization in Combinatorial Problems.- Coupling Different Integer Encodings for SAT.- Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions.- Shattering Inequalities for Learning Optimal Decision Trees.- Learning Pseudo-Backdoors for Mixed Integer Programs.- Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists.- Solving the Job Shop Scheduling Problem extended with AGVs – Classical and Quantum Approaches.- Stochastic Decision Diagrams.- Improving the robustness of EPS to solve the TSP.- Efficient operations between MDDs and constraints.- Deep Policy Dynamic Programming for Vehicle Routing Problems.- Learning a Propagation Complete Formula.- A FastMap-Based Algorithm for Block Modeling.- Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem.- Dealing with the product constraint.- Multiple-choice knapsack constraint in graphical models.- A Learning Large Neighborhood Search for the Staff Rerostering Problem.- Practically Uniform Solution Sampling in Constraint Programming.- Training Thinner and Deeper Neural Networks: Jumpstart Regularization.- Hybrid Offline/Online Optimization for Energy Management via Reinforcement Learning.- Enumerated Types and Type Extensions for MiniZinc.- A parallel algorithm for generalized arc-consistent filtering for the Alldifferent constraint.- Analyzing the Reachability Problem in Choice Networks.- Model-based Approaches to Multi-Attribute Diverse Matching.
£62.99
Springer International Publishing AG Computational Neuroscience: Third Latin American Workshop, LAWCN 2021, São Luís, Brazil, December 8–10, 2021, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the Third Latin American Workshop, LAWCN 2021, held in Sao Luis do Maranhao, Brazil, during December 8–10, 2021.The 13 full papers and 3 short papers included in this book were carefully reviewed and selected from 27 submissions. They were organized in topical sections as follows: Interdisciplinary applications of Artificial Intelligence (AI) and Machine Learning (ML); AI and ML applied to robotics; AI and ML applied to biomedical sciences; Health issues and computational neuroscience; Software and hardware implementations in neuroscience; and Neuroengineering – science and technology.Table of ContentsInterdisciplinary applications of Artificial Intelligence (AI) and Machine Learning (ML).- Semantic segmentation of the cultivated area of plantations with U-net.- Use and Interpretation of Item Response Theory applied to Machine Learning.- AI and ML applied to robotics.- Towards Loop Closure Detection for SLAM Applications using Bag of Visual Features: Experiments and Simulation.- Loss Function Regularisation on the Iterated Racing Procedure for Automatic Tuning of RatSLAM Parameters.- Controlling the UR3 robotic arm using a leap motion: a comparative study.- AI and ML applied to biomedical sciences.- Web service based epileptic seizure detection by applying machine learning techniques.- Health issues and computational neuroscience.- Machine Learning Search of Novel Selective NaV1.2 and NaV1.6 Inhibitors as Potential Treatment against Dravet Syndrome.- Implementation of intra and extracellular nonperiodic scale-free stimulation in silico for the NEURON simulator.- In silico investigation of the effects of distinct temporal patterns of electrical stimulation to the amygdala using a network of Izhikevich neurons.- Software and hardware implementations in neuroscience.- Brain connectivity measures in EEG-based biometry for epilepsy patients.- A multiplatform output stage for the development of current-fixed electrical stimulators applied to neural electrophysiology.- Neuroengineering – science and technology.- Physiological self-regulation using biofeedback training: from concept to clinical applicability.- Movement-Related Electroencephalography in Stroke Patients across a Brain-Computer Interface-based Intervention.- Electrophysiological Correlates of Freeze of Gait in Parkinson Disease: Increased STN-LFP Alpha Power and the Possible Role of Attentional Circuits.- Effect of hand dominance when decoding motor imagery grasping tasks within the same hand.- Kinematic responses as a control strategy to visual occlusion.
£58.49
Springer International Publishing AG Computing Science, Communication and Security: Third International Conference, COMS2 2022, Gujarat, India, February 6–7, 2022, Revised Selected Papers
Book SynopsisThis book constitutes revised selected papers of the Third International Conference on Computing Science, Communication and Security, COMS2 2022, held in Gandhinagar, India, in February 2022. Due to the COVID-19 pandemic the conference was held virtually. The 22 full papers were thoroughly reveiwed and selected from 143 submissions. The papers present ideas, and research results on the aspects of computing science, network communication, and security.Table of ContentsDevelopment of Smart Sensor for IoT Based Environmental Data Analysis Through Edge Computing.- Application of Forensic Audio-Video Steganography Technique to Improve Security, Robustness, and Authentication of Secret Data.- An Efficient Cluster Based Energy Routing Protocol (E-CBERP) for Wireless Body Area Networks Using Soft Computing Technique.- Ortho Image Mosaicing and Object Detection of UAV Data.- The Novel Approach of Down-Link Spectral Efficiency Enhancement using Massive MIMO in Correlated Rician Fading Scenario.- Blocking Estimation using Optimal Guard Channel Policy in GSM 900 System.- Systematic Review on Various Techniques of Android Malware Detection.- Adaptive Rider Grey Wolf Optimization enabled Pilot-design for Channel Estimation in Cognitive Radio.- To Identify Malwares using Machine Learning Algorithms.- Motor Imagery EEG Signal Classification using Deep Neural Networks.- Extending WSN life-time using Energy Efficient based on K-means clustering method.- One-to-One Matching for Cooperative Resource Sharing and Communication in CRNs.- Sandbox Environment for Real Time Malware Analysis of IoT Devices.- Machine Learning Based DDOS Attack Detection in Design of 5G Smart Healthcare Networks.- Traffic Flow Prediction using Deep Learning Techniques.- Meta Heuristic Backtracking Algorithm for Virtual Machine Placement in Cloud Computing Migration.- Achieving Energy Efficiency in Life-logging Applications of Internet of Things using Data Compression through incorporation of Machine Learning & Edge-Cloud Architecture.- Cab Fare Prediction Using Machine Learning.- Device to Device Communication Over 5G.- Energy efficient Allocation of Resources in NOMA Based (MU-HCRN) with Perfect Spectrum Sensing.- CV based person detection system for smart transportation.- A Performance of Low-Cost NVIDIA Jetson Nano Embedded System in the Real-Time Siamese Single Object Tracking.
£62.99
Springer International Publishing AG Artificial Intelligence and Machine Learning for
Book SynopsisIn line with advances in digital and computing systems, artificial intelligence (AI) and machine learning (ML) technologies have transformed many aspects of medical and healthcare services, delivering tangible benefits to patents and the general public. This book is a sequel of the edition on “Artificial Intelligence and Machine Learning for Healthcare”. The first volume is focused on utilization of AI and ML for image and data analytics in the medical and healthcare domains. In this second volume, emerging methodologies and future trends in AI and ML for advancing medical treatments and healthcare services are presented. The selected studies in this book provide readers a glimpse on current progresses in AI and ML for undertaking a variety of healthcare-related tasks. The advances in AI and ML technologies for future healthcare are also discussed, shedding light on the potential of AI and ML to realize the next-generation medical treatments and healthcare services for the betterment of our global society. Table of ContentsArtificial Intelligence for the future of medicine.- A Survival Analysis Guide in Oncology.- Social Media Sentiment Analysis related to COVID-19 Vaccinations.- Healthcare support using data mining: A case study on stroke prediction.
£116.99
Springer International Publishing AG Advances in Computer Games: 17th International
Book SynopsisThis book constitutes the refereed post-conference proceedings of the 17th International Conference on Advances in Computer Games, ACG 2021, which was held as a virtual event during November 23–25, 2021. The 22 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: learning in games; search in games; solving games; chess patterns; player modelling; and game systems.Table of ContentsLearning in Games.- Improving Counterfactual Regret Minimization Agents Training in the Card Game Cheat.- Deep Reinforcement Learning for Morpion Solitaire.- Expert Iteration for Risk.- Search in Games.- Sequential Halving Using Scores.- Cosine Annealing, Mixnet and Swish Activation for Computer Go.- A Heuristic Approach to the Game of Sylver Coinage.- Evaluating Interpretability Methods for DNNs in Game-Playing Agents.- Solving Games.- Quixo is Solved.- Solving Bicoloring-Graph Games on Rectangular Boards – Part 1: Partisan Col and Snort.- Solving Bicoloring-Graph Games on Rectangular Boards – Part 2: Impartial Col and Snort.- BoxOff is NP-Complete.
£52.24
Springer International Publishing AG Data Analytics and Management in Data Intensive Domains: 23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26–29, 2021, Revised Selected Papers
Book SynopsisThis book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021*.The 16 revised full papers were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: problem solving infrastructures, experiment organization, and machine learning applications; data analysis in astronomy; data analysis in material and earth sciences; information extraction from text* The conference was held virtually due to the COVID-19 pandemic.Table of ContentsProblem Solving Infrastructures, Experiment Organization, and Machine Learning Applications.- MLDev: Data Science Experiment Automation and Reproducibility Software.- Response to Cybersecurity Threats of Informational Infrastructure Based on Conceptual Models.- Social Network Analysis of the Professional Community Interaction - Movie Industry Case.- Data Analysis in Astronomy.- Cross-Matching of Large Sky Surveys and Study of Astronomical Objects Apparent in Ultraviolet Band Only.- The Diversity of Light Curves of Supernovae Associated with Gamma-Ray Bursts.- Application of Machine Learning Methods for Cross-Matching Astronomical Catalogs.- Pipeline for Detection of Transient Objects in Optical Surveys.- VALD in Astrophysics.- Data Analysis in Material and Earth Sciences.- Machine Learning Application to Predict New Inorganic Compounds – Results and Perspectives.- Interoperability and Architecture Requirements Analysis and Metadata Standardization for a Research Data Infrastructure in Catalysis.- Fast Predictions of Lattice Energies by Continuous Isometry Invariants of Crystal Structures.- Image Recognition for Large Soil Maps Archive Overview: Metadata Extraction and Georeferencing Tool Development.- Information Extraction from Text.- Cross-lingual Plagiarism Detection Method.- Methods for Automatic Argumentation Structure Prediction.- A System for Information Extraction from Scientific Texts in Russian.- Improving Neural Abstractive Summarization with Reliable Sentence Sampling.
£58.49
Springer International Publishing AG Mobile Web and Intelligent Information Systems: 18th International Conference, MobiWIS 2022, Rome, Italy, August 22–24, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 18th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2022, held in Rome, Italy, in August 2022.The 18 full papers and 1 short paper presented in this book were carefully reviewed and selected from 51 submissions. The papers of MobiWIS 2022 deal focus on topics such as security and privacy; web and mobile applications; networking and communication; intelligent information systems; and IoT and ubiquitous computing.Table of ContentsSession 1: Mobile Applications and Technologies.- Knowledge Behavior Gap Model: An Application for Technology Acceptance.- UI-Re-Engineering of a Mobile Documentation Software in the Care Sector.- GUI Element Detection from Mobile UI Images Using YOLOv5.- Session 2: Mobile Devices and Automous Vehicles.- Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety.- Neural Network for Public Transport Mode Inference on Mobile Devices.- Data-Driven Federated Autonomous Driving.- Session 3: Security in Healthcare and Smart Cities Environment.- Case Study on a Session Hijacking Attack: The 2021 CVS Health Data Breach.- Blockchain for Cybersecure Healthcare.- Design of a Method for Setting IoT Security Standards in Smart Cities.- Session 4: Software-Defined Networks.- Mathematical Models for Minimizing Latency in Software-Defined Networks.- Analyzing the Impact of DNN Hardware Accelerators-Oriented Compression Techniques on General-Purpose Low-End Boards.- Spatial Dependency in Software-Defined Networking In-Band Monitoring: Challenges and Future Perspective.- Session 5: Smart Systems and Applications.- What is a Smart Service?.- SSSB: An Approach to Insurance for Cross-Border Exchange by using Smart Contracts.- A Review: Sensors Used in Tool Wear Monitoring and Prediction.- Session 6: Advanced Information Systems.- Towards the use of IT technologies for health literacy and health information competences – a case study.- A Systematic Literature Review on Relationship between Internet Usage Behavior and Internet QoS in Campus.- Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.
£52.24
Springer International Publishing AG Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022. The 20 full papers included in this book were carefully reviewed and selected from 32 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software. Table of ContentsSurvey on Generalizations of the Intermediate Value Theorem and Applications (Invited Talk).- On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs.- Subresultant Chains Using B´ezout Matrices.- Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria.- Computer Science for Continuous Data: Vision, Theory, and Practice of a Computer (Algebra) ANALYSIS System.- Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves.- Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei.- Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition.- Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles.- On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field.- An Interpolation Algorithm for Computing Dixon Resultants.- Distance Evaluation to the Set of Matrices with Multiple Eigenvalues.- On Boundary Conditions Parametrized by Analytic Functions.- Computing the Integer Hull of Convex Polyhedral Sets.- A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences.- Stability Analysis of Periodic Motion of the Swinging Atwood Machine.- New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.- An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions.- Locating the Closest Singularity in a Polynomial Homotopy.- A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics.- A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions.
£58.49
Springer International Publishing AG Case-Based Reasoning Research and Development: 30th International Conference, ICCBR 2022, Nancy, France, September 12–15, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the 30th International Conference on Case-Based Reasoning, ICCBR 2022, which took place in Nancy, France, during September 12-15, 2022.The theme of ICCBR 2022 was Global Challenges for CBR aiming to consider how CBR can and might contribute to challenges in sustainability, climate change, and global health. The 26 papers presented in this volume were carefully reviewed and selected from 68 submissions. They deal with AI and related research focusing on comparison and integration of CBR with other AI methods such as deep learning architectures, reinforcement learning, lifelong learning, and eXplainable AI (XAI).Table of ContentsExplainability in CBR Using Case-based Reasoning for Capturing Expert Knowledge on Explanation Methods.- A Few Good Counterfactuals: Generating Interpretable, Plausible and Diverse Counterfactual Explanations.- How close is too close? The Role of Feature Attributions in Discovering Counterfactual Explanations.- Algorithmic Bias and Fairness in Case-Based Reasoning.- ”Better” Counterfactuals, Ones People Can Understand: Psychologically-Plausible Case-Based Counterfactuals Using Categorical Features for Explainable AI (XAI).- Representation and Similarity Extracting Case Indices from Convolutional Neural Networks: A Comparative Study.- Exploring the Effect of Recipe Representation on Critique-based Conversational Recommendation.- Explaining CBR Systems Through Retrieval and Similarity Measure Visualizations: A Case Study.- Adapting Semantic Similarity Methods for Case-Based Reasoning in the Cloud.- Adaptation and Analogical Reasoning Case Adaptation with Neural Networks: Capabilities and Limitations.- A Deep Learning Approach to Solving Morphological Analogies.- Theoretical and Experimental Study of a Complexity Measure for Analogical Transfer.- Graphs and Optimisation Case-Based Learning and Reasoning Using Layered Boundary Multigraphs.- swarm optimization in small case bases for software effort estimation.- MicroCBR: Case-based Reasoning on Spatio-temporal Fault Knowledge Graph for Microservices Troubleshooting.- GPU-Based Graph Matching for Accelerating Similarity Assessment in Process-Oriented Case-Based Reasoning.- Never judge a case by its (unreliable) neighbors: Estimating Case Reliability for CBR.- CBR and Neural Networks Improving Automated Hyperparameter Optimization with Case-Based Reasoning.- A factorial study of neural network learning from differences for regression.- ase-Based Inverse Reinforcement Learning Using Temporal Coherence.- Analogy-based post-treatment of CNN image segmentations.- Case-Based Applications An Extended Case-Based Reasoning Approach to Race-Time Prediction in Recreational Marathon Runners.- Forecasting for Sustainable Dairy Produce: Enhanced Long-Term, Milk-Supply Forecasting Using k-NN for Data Augmentation, with Prefactual Explanations for XAI.- A Case-Based Approach for Content Planning in Data-to-Text Generation.- The use of computer-assisted Case-Based Reasoning to support clinical decision-making – a scoping review.
£58.49
Springer International Publishing AG Brain Informatics: 15th International Conference, BI 2022, Padua, Italy, July 15–17, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Brain Informatics, BI 2022, held as hybrid event in Padua, Italy (in person) and Queensland, Australia (online) in July 2022. The 29 papers were selected from 65 submissions and the main theme of BI 2022 is Brain Science meets Artificial Intelligence with respect to the five tracks: Cognitive and computational foundations of brain science; human information processing systems; brain big data analytics, curation and management; informatics paradigms for brain and mental health research; and brain-machine intelligence and brain inspired computing.Table of ContentsCognitive and Computational Foundations of Brain Science.- Estimating the Temporal Evolution of Synaptic Weights from Dynamic Functional Connectivity.- From concrete to abstract rules: A computational sketch.- Detection of Healthy and Unhealthy Brain States from Local Field Potentials using Machine Learning.- COSLETS: Recognition of Emotion Based on EEG signals.- Influences of Social Learning in Individual Perception and Decision Making in People with Autism: A Computational Approach.- Investigations of Human Information Processing Systems.- Analysis of Semantic Processes as an Indication for Focal Point Selection by Decomposing Alpha Frequency Band.- Toward the study of the neural-underpinnings of dyslexia during Final-phoneme Elision: A machine learning approach.- Root-Cause Analysis of Activation Cascade Differences in Brain Networks.- Unstructured Categorization with Probabilistic Feedback: Learning Accuracy versus Response Time.- Brain Big Data Analytics, Curation and Management.- Optimizing measures of information encoding in astrocytic calcium signals.- Introducing the Rank-Biased Overlap as Similarity measure for Feature Importance in Explainable Machine Learning: a case study on Parkinson’s disease.- Prediction of neuropsychological scores from functional connectivity matrices using deep autoencoders.- Feature Fusion-Based Capsule Network for Cross-Subject Mental Workload Classification.- Brain Source Reconstruction Solution Quality Assessment with Spatial Graph Frequency Features.- Enhancing the MR Neuroimaging by Using the Deep Super-Resolution Reconstruction.- Towards Machine Learning Driven Self-guided Virtual Reality Exposure Therapy based on Arousal State Detection from Multimodal Data.- Convex Hull in Brain Tumor Segmentation.- Informatics Paradigms for Brain and Mental Health Research.- Computer Added Diagnosis Framework for ADHD Detection using Quantitative EEG.- A Machine Learning Approach for Early Detection of Postpartum Depression in Bangladesh.- Epilepsy Detection from EEG Data using a Hybrid CNN-LSTM Model.- Classifying Brain Tumor from MRI Images Using Parallel CNN Model.- Triplet-loss based Siamese Convolutional Neural Network for 4-Way Classification of Alzheimer’s Disease.- Understanding syntax structure of language after a head injury.- A Belief Rule Based Expert System To Diagnose Alzheimer’s disease Using Whole Blood Gene Expression Data.- Feature-selected Graph Spatial Attention Network for Addictive Brain-Networks Identification.- Brain-Machine Intelligence and Brain-Inspired Computing.- Biologically Inspired Neural Path Finding.- A Second-Order Adaptive Social-Behavioural Model for Individual and Duo Motor Learning.- EEG signal classification using Shallow FBCSP ConvNet with a new cropping strategy.- Becoming Attuned To Each Other Over Time: A Computational Neural Agent Model for the Role of Time Lags in Subjective Synchrony Detection and Related Behavioural Adaptivity.
£56.99
Springer International Publishing AG Advances in Databases and Information Systems: 26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the 26th European Conference on Advances in Databases and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022.The 23 full papers presented together with 5 keynote and tutorial papers were carefully reviewed and selected from 90 submissions. The papers are organized in the following topical sections: keynote talk and tutorials; graph processing; time series and data streams; on line analytical processing; advanced querying; performance; machine learning; data science methods.Table of ContentsKeynote Talk and Tutorials.- Graph Processing.- Time Series and Data Streams.- On Line Analytical Processing.- Advanced Querying.- Performance.- Machine Learning.- Data Science Methods.
£999.99
Springer International Publishing AG Nordic Artificial Intelligence Research and Development: 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 – June 1, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods.This is an open access book.Table of ContentsRobotics and Intelligent Systems.- Knowledge Infused Representations through Combination of Expert Knowledge and Original Input.- Cognitive Robotics.- towards the development of next-generation robotics and intelligent systems.- Pattern Based Software Architecture for Predictive Maintenance.- AI in Cyber and Digital Sphere.- An overview of artificial intelligence used in malware.- Fake News Detection by Weakly Supervised Learning Based on Content-Features.- Improving the Usability of Tabular Data through Data Annotation, Repair and Augmentation.- AI in Biological Applications and Medicine.- Detecting human embryo cleavage stages using YOLO v5 object detection algorithm.- Phenotyping of Cervical Cancer Risk Groups via Generalized Low-Rank Models using Medical Questionnaires.- Automatic unsupervised clustering of videos of the intracytoplasmic sperm injection (ICSI) procedure.- Towards New AI Methods.- The Kernelized Taylor Diagram.- Simulating University Application Data for Fair Matchings.
£999.99
Springer International Publishing AG Advances in Computational Intelligence: 21st Mexican International Conference on Artificial Intelligence, MICAI 2022, Monterrey, Mexico, October 24–29, 2022, Proceedings, Part I
Book SynopsisThe two-volume set LNAI 13612 and 13613 constitutes the proceedings of the 21st Mexican International Conference on Artificial Intelligence, MICAI 2022, held in Monterrey, Mexico, in October 2022.The total of 63 papers presented in these two volumes was carefully reviewed and selected from 137 submissions.The first volume, Advances in Computational Intelligence, contains 34 papers structured into three sections: Machine and Deep Learning Image Processing and Pattern Recognition Evolutionary and Metaheuristic Algorithms The second volume contains 29 papers structured into two sections: Natural Language Processing Intelligent Applications and Robotics Table of ContentsNatural Language Processing.- Urdu Named Entity Recognition with Attention Bi-LSTM-CRF Model.- Impact Evaluation of Multimodal Information on Sentiment Analysis.- Improving Neural Machine Translation for Low Resource Languages using Mixed Training: The Case of Ethiopian Languages.- Machine translation of texts from languages with low digital resources: a systematic review.- Comparison between SVM and DistilBERT for multi-label text classification of scientific papers aligned with sustainable development goals.- A hybrid methodology based on CRISP-DM and TDSP for the execution of preprocessing tasks in Mexican environmental laws.- News Intention Study and Automatic Estimation of its Impact.- Evaluation of a New Representation for Noise Reduction in Distant Supervision.- Automatic identification of suicidal ideation in texts using cascade classifiers.- Web crawler and classifier for news articles.- Sentiment Analysis in the Rest-Mex challenge.- A bibliometric review of methods and algorithms for generating corpora for learning vector word embeddings.- Evaluating The Impact of OCR Quality on Short Text Classification Task.- Techniques for generating language learning resources a system for generating exercises for the differentiation of literal and metaphorical context.- Exploratory Data Analysis for the Automatic Detection of Question Paraphrasing in Collaborative Environments.- Diachronic Neural Network Predictor of Word Animacy.- Sequential Models for Sentiment Analysis: A Comparative Study.- Intelligent Applications and Robotics.- Analysis of Procedural Generated Textures for Video Games using a CycleGAN.- Vibration Analysis of an Industrial Motor with Autoencoder for Predictive Maintenance.- Modeling and simulation of swarm of foraging robots for collecting resources using RAOI behavior policies.- Data-driven adaptive force control for a novel soft-robot based on ultrasonic atomization.- Data-driven-modelling and control for a class of discrete-time robotic system using an adaptive tuning for Pseudo Jacobian Matrix algorithm.- Retrieval-based Statistical Chatbot in a Scientometric domain.- Red Light/Green Light: a lightweight algorithm for, possibly fraudulent, online behavior change detection.- Machine Learning Model of Digital Transformation Index for Mexican Households.- Credit Risk Models in the Mexican Context Using Machine Learning.- Ventilator Pressure Prediction Using a Regularized Regression Model.- An Intelligent Human Activity Recognizer for Visually Impaired People using Deep Learning Technique.- Takagi-Sugeno Type Neuro Fuzzy System Model based Fault Diagnostic in Photovoltaic System.
£58.49
Springer International Publishing AG Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Book SynopsisThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.Table of ContentsSpecify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.
£67.49
Springer International Publishing AG Artificial General Intelligence: 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid event in Seattle, WA, USA, in August 2022.The 31 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more. Additionally, this volume contains 13 posters. Table of ContentsAccepted for poster presentation.- A General Purpose Machine Reasoning Engine.- COMFO: Multilingual Corpus for Opinion Mining.- Information as Entanglement—A Framework for Artificial General Intelligence.- Causal Analysis of Generic Time Series Data Applied for Market Prediction.- Dynamic and Evolving Neural Network for event discrimination.- Hierarchical temporal DNN and Associative knowledge representation.- MARTI: new model of human brain, considering neocortex and basal ganglia – learns to play Atari game by reinforcement learning on a single CPU.- General-Purpose Minecraft Agents and Hybrid AGI.- Graph Strategy for Interpretable Visual Question Answering.- Analogical Problem Solving in the Causal Cognitive Architecture.- A Biologically Plausible Graph Structure for AGI.- The Delta Normal AGI.- Purely Symbolic Induction of Structure.- Accepted for full oral presentation.- Extended subdomains: a solution to a problem of Hernández-Orallo and Dowe.- Versatility-Efficiency Index (VEI): Towards a Comprehensive Definition of Intelligence Quotient (IQ) for Artificial General Intelligence (AGI) Agents.- Moral Space for Paraconsistent AGI.- PERI.2 Goes to PreSchool and Beyond, in Search of AGI.- Reinforcement Learning with Information-Theoretic Actuation.- Homomorphisms Between Transfer, Multi-Task, and Meta-Learning Systems.- Core and Periphery as Closed-System Precepts for Engineering General Intelligence.- Toward Generating Natural-Language Explanations of Modal Logic Proofs.- ONA for autonomous ROS-based robots.- Generalized Identity Matching in NARS.- Adaptive Multi-Strategy Market-Making Agent For Volatile Markets.- Toward a Comprehensive List of Necessary Abilities for Human Intelligence, Part 2: Using Knowledge.- What can nonhuman animals, children, and g tell us about human-level artificial general intelligence (AGI)?.- Toward a Comprehensive List of Necessary Abilities for Human Intelligence, Part 1: Constructing Knowledge.- Cognitive Architecture for Co-Evolutionary Hybrid Intelligence.- An approach to generation triggers for parrying backdoor in neural networks.- The Learning Agent Triangle: Towards a unified disambiguation of the AGI challenge..- Maze Learning using a Hyperdimensional Predictive Processing Cognitive Architecture.- Market Prediction as a Task for AGI Agents.- Monte Carlo Bias Correction in Q-learning.- Free Will Belief as a Consequence of Model-based Reinforcement Learning.- Thoughts on Architecture.- On the possibility of regulation of human emotions via multimodal social interaction with an embodied agent controlled by eBICA-based emotional interaction model.- QKSA: Quantum Knowledge Seeking Agent.- Elements of Active Continuous Learning and Uncertainty Self-Awareness: a Narrow Implementation for Face and Facial Expression Recognition.- Thrill-K Architecture: Towards a Solution to the Problem of Knowledge Based Understanding.- Grammar Induction - Experimental Results.- Brain Principles Programming.- A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems.- Artificial Open World for Evaluating AGI: a Conceptual Design.- Ownability of AGI.
£61.74
Springer International Publishing AG Technologies and Innovation: 8th International Conference, CITI 2022, Guayaquil, Ecuador, November 14–17, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference, CITI 2022, held in Guayaquil, Ecuador, during November 14–17, 2022.The 19 full papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in topical sections as follows: machine Learning; knowledge based systems; computer vision and image analysis; networks, monitoring and collaborative systems; apps and user interfaces.Table of ContentsMachine Learning.- A machine learning study about the vulnerability level of poverty in Perú.- Predicting academic performance in mathematics using machine learning algorithms.- Analysis of classification algorithms for the prediction of purchase intention in electronic commerce.- Knowledge based systems.- Alignment techniques in Domain-specific models.- IVRMaker, an Interactive and Customizable telephone Chatbot services platform.- Digital Transformation of Health Care Services: Médikal Case Study.- Computer vision and Image analysis.- Texture and Color-Based Analysis to Determine the Quality of the Manila Mango using Digital Image Processing Techniques.- Detection of motorcyclists without a safety helmet through YOLO: support for road safety.- Computer Vision-Based Ovitrap for Dengue Control.- Networks, monitoring and collaborative systems.- Performance analysis of Multipath TCP congestion control variants.- Data stream processing method for clustering of trajectories.- Low-Cost Energy Consumption Monitoring System using NodeMCU.- Trend of the use and investment of Blockchain technology in the banking sector in Ecuador.- Effectiveness of monitoring indicators in the architecture of a collaborative system.- IoT monitoring for real-time control of industrial processes.- Metric identification evaluating security information: A Systematic Literature Review.- Apps and user interfaces.- Evaluation of User Interface (UI) and User Experience (UX) for web services of a weather data monitoring platform.- Comparison of Free Android Mobile 3D Modeling Tools for AR Apps.- A Web App for Teaching Specialized English Vocabulary – Case of Study: Computer Sciences.
£56.99
Springer International Publishing AG Smart Grid and Internet of Things: 5th EAI
Book SynopsisThis book constitutes the refereed proceedings of the 5th EAI International Conference on Smart Grid and Internet of Things, SGIoT 2021, held in TaiChung, Taiwan, in December 2021.The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 57 submissions. The papers cover a broad range of topics in wireless sensor, vehicular ad hoc networks, security, deep learning and big data. The papers are organized in two subject areas: applications on internet of things, and communication security, big data, neural networks and machine learning.Table of ContentsApplications on Internet of Things.- Intellectual Property Protection of Zhuang Nationality Funeral Culture on Internet of Things.- China IoT UBI Car Insurance Regulatory Development Trend.- Constructing a violence recognition technique for elderly patients with lower limb disability.- Aquaculture Monitoring Systems based on Lightweight Kubernetes and Rancher.- Design and Implementation of Water Monitoring Using LoRa and NB-IoT.- InterWorking Function for Mission Critical Push To Talk Services.- Communication Security, Big Data, Neural Networks and Machine Learning.- Lightweight Privacy-Preserving Data Aggregation Scheme Based on Elliptic Curve Cryptography for Smart Grid Communications.- Design and Implementation of Distributed Image Recognition App with Federal Learning Techniques.- Improving Vision Clarity and Object Detection Accuracy in Heavy Rain Base on Neural Network.- An Enhanced Location-data Differential Privacy Protection Method Based on Filter.- Big data grave register information management system outside cemeteries under Internet of Things.- Machine Learning-based Models for Monofacial and Bifacial PV Module and Critical Model Feature Selection.- Study on the discovery of personal information on the network of people diagnosed with COVID-19.
£49.49
Springer International Publishing AG Multi-Agent Systems: 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14–16, 2022, Proceedings
Book SynopsisThis book constitutes thoroughly refereed and revised selected papers from the proceedings of 19th European Conference on Multi-Agent Systems, EUMAS 2022, held in Düsseldorf, Germany, during September 14–16, 2022.The 23 full papers included in this book were carefully reviewed and selected from 36 submissions. The book also contains 6 short summaries of talks from PhD students at the PhD day. The papers deal with current topics in the research and development of multi-agent systems.Table of ContentsEUMAS 2022 Papers.- Iterative Goal-Based Approval Voting.- Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions.- Advising Agent for Service-Providing Live-Chat Operators.- Initial Conditions Sensitivity Analysis of a Two-Species Butterfly-Effect Agent-Based Model.- Proxy Manipulation for Better Outcomes.- The Spread of Opinions via Boolean Networks.- Robustness of Greedy Approval Rules.- Using Multiwinner Voting to Search for Movies.- Allocating Teams to Tasks: An Anytime Heuristic Competence-Based Approach.- Collaborative Decision Making for Lane-Free Autonomous Driving in the Presence of Uncertainty.- Maximin Shares under Cardinality Constraints.- Welfare Effects of Strategic Voting under Scoring Rules.- Preserving Consistency for Liquid Knapsack Voting.- Strategic Nominee Selection in Tournament Solutions.- Sybil-Resilient Social Choice with Low Voter Turnout.- A Survey of Ad Hoc Teamwork Research.- Combining Theory of Mind and Abduction for Cooperation under Imperfect Information.- A Modular Architecture for Integrating Normative Advisors in MAS.- Participatory Budgeting with Multiple Resources.- A Methodology for Formalizing Different Types of Norms.- Explainability in Mechanism Design: Recent Advances and the Road Ahead.- Integrating Quantitative and Qualitative Reasoning for Value Alignment.- Resource Allocation to Agents with Restrictions: Maximizing Likelihood with Minimum Compromise.- PhD Day Short Papers.- Proactivity in Intelligent Personal Assistants: A Simulation-based Approach.- Stability, Fairness, and Altruism in Coalition Formation.- Pro-Social Autonomous Agents.- Axiomatic and Algorithmic Study on Different Areas of Collective Decision Making.- Participatory Budgeting: Fairness and Welfare Maximization.- Human Consideration in Analysis and Algorithms for Mechanism Design.
£58.49
Springer International Publishing AG Interpretability in Deep Learning
Book SynopsisThis book is a comprehensive curation, exposition and illustrative discussion of recent research tools for interpretability of deep learning models, with a focus on neural network architectures. In addition, it includes several case studies from application-oriented articles in the fields of computer vision, optics and machine learning related topic. The book can be used as a monograph on interpretability in deep learning covering the most recent topics as well as a textbook for graduate students. Scientists with research, development and application responsibilities benefit from its systematic exposition. Table of Contents1 INTRODUCTION 1.1 Deep Learning Glossary 1.2 Evolution of Deep Learning 1.2.1 Neural Learning 1.2.2 Fuzzy Learning 1.2.3 Convergence of Fuzzy Logic and Neural Learning 1.2.4 Synergy of Neuroscience and Deep Learning 1.3 Awakening of Interpretability 1.3.1 Relevance 1.3.2 Necessity 1.3.3 The Taxonomy of Interpretability 1.4 The Question of Interpretability 1.4.1 Interpretability - Metaverse 1.4.2 Interpretability - The Right Tool 1.4.3 Interpretability - The Wrong Tool 2 NEURAL NETWORKS FOR DEEP LEARNING 2.1 Neural Network Architectures 2.1.1 Perceptron 2.1.2 Artificial Neural Network 2.1.3 Recurrent Neural Network 2.1.4 Convolutional Neural Network 2.1.5 Autoencoder Neural Network 2.1.6 Generative Adversarial Network 2.1.7 Graph Neural Network 2.2 Learning Mechanisms 2.2.1 Activation function 2.2.2 Forward Propagation 2.2.3 Backpropagation 2.2.4 Gradient Descent 2.2.5 Learning Rate 2.2.6 Optimization 2.2.7 Initialization 2.2.8 Regularization 2.3 Challenges and Limitations of Traditional Techniques 2.3.1 Resource-Demanding Checks 2.3.2 Uncertainty Measure 2.3.3 Network Learning Sanity Check 2.3.4 Gradient Checks 2.3.5 Decision Transparency 3 KNOWLEDGE ENCODING AND INTERPRETATION 3.1 What is Knowledge? 3.1.1 Image Representation 3.1.2 Word Representation 3.1.3 Graph Representation 3.2 Knowledge Encoding and Architectural Understanding 3.2.1 Role of Neurons 3.2.2 Role of Layers 3.2.3 Role of Explanation 3.2.4 Semantic Understanding 3.2.5 Network Understanding 3.3 Design and Analysis of Interpretability 3.3.1 Divide and Conquer 3.3.2 Greedy 3.3.3 Back-tracking 3.3.4 Dynamic 3.3.5 Branch and Bound 3.3.6 Brute-force 3.4 Knowledge Propagation in Deep Network Optimizers 3.4.1 Knowledge versus Performance 3.4.2 Deep versus Shallow Encoding 4 INTERPRETATION IN SPECIFIC DEEP ARCHITECTURES 4.1 Interpretation in Convolution Networks 4.1.1 Case Study: Image Representation by Unmasking Clever Hans 4.1.2 Variants of CNNs 4.1.3 Interpretation of CNNs 4.1.4 Review: CNN Visualization Techniques 4.1.5 Review: CNN Adversarial Techniques 4.1.6 Inverse Image Representation 4.1.7 Case study: Superpixels Algorithm 4.1.8 Activation Grid and Activation Map 4.1.9 Convolution Trace 4.2 Interpretation in Autoencoder Networks 4.2.1 Visualization of Latent Space 4.2.2 Sparsity and Interpretation 4.2.3 Case Study: Microscopy Structure to Structure Learning 4.3 Interpretation in Adversarial Networks 4.3.1 Interpretation in Generative Network 4.3.2 Interpretation in Latent Spaces 4.3.3 Evaluation Metrics 4.3.4 Case study: Digital Staining of Microscopy Images 4.4 Interpretation in Graph Networks 4.4.1 Neural Structured Learning 4.4.2 Graph Embedding and Interpretability 4.4.3 Evaluation Metrics for Interpretation 4.4.4 Disentangled Representation Learning on Graphs 4.4.5 Future Direction 4.5 Self-Interpretable Models 4.6 Pitfalls of Interpretability Methods 5 FUZZY DEEP LEARNING 5.1 Fuzzy Theory 5.1.1 Fuzzy Sets and Fuzzy Membership 5.1.2 Fuzzification and Defuzzification 5.1.3 Fuzzy Rules and Inference Systems 5.2 Neuro-Fuzzy Inference Systems 5.2.1 Architecture of a Neuro-Fuzzy Inference System 5.2.2 Other Design Elements of Neuro-Fuzzy Inference Systems 5.2.3 Learning mechanisms for Neuro-Fuzzy Inference Systems 5.2.4 Online Learning with Dynamic Streaming Data 5.3 Case studies 5.3.1 POPFNN Family of NFS − evolution towards sophisticated brain-like learning 5.3.2 Combining Conventional Deep Learning and Fuzzy Learning A Mathematical models and theories A.1 Choquet Integral A.1.1 Restricting the Scope of FM/ChI A.1.2 ChI Understanding from NN A.2 Deformation Invariance Property A.3 Distance Metrics A.4 Grad Weighted Class Activation Mapping A.5 Guided Saliency A.6 Jensen-Shanon Divergence A.7 Kullback-Leibler Divergence A.8 Projected Gradient Descent A.9 Pythagorean Fuzzy Number A.10 Targeted Adversarial Attack A.11 Translation Invariance Property A.12 Universal Approximation Theorem A List of digital resources and examples References .
£116.99
Springer International Publishing AG Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV: International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems, COINE 2022, which was held in Auckland, New Zealand, on May 9, 2022.The 14 papers included in these proceedings were carefully reviewed and selected from 15 submissions. They deal with autonomous agents and multi-agent systems, focusing on the scientific and technological aspects of social coordination, organizational theory, artificial (electronic) institutions, and normative and ethical MAS.Table of ContentsDesigning International Humanitarian Law into Military Autonomous Devices.- Epistemic Diversity and Explanatory Adequacy in Distributed Information Processing.- The Complexity of Norm Synthesis and Revision.- Embracing AWKWARD! Real-Time Adjustment of Reactive Plans Using Social Norms.- Self-Learning Governance of Black-Box Multi-Agent Systems.- Computational Theory of Mind for Human-Agent Coordination.- Computational Discovery of Transaction-Based Financial Crime via Grammatical Evolution: The Case of Ponzi Schemes.- Centralized Norm Enforcement in Mixed-Motive Multiagent Reinforcement Learning.- Supporting the Reasoning about Environmental Consequences of Institutional Actions.- Social Motives and Social Contracts in Cooperative Survival Games.- Evaluating Human and Agent Task Allocators in Ad Hoc Human-Agent Teams.- Fleur: Social Values Orientation for Robust Norm Emergence.- Reasoning about Collective Action in Markov Logic: A Case Study from Classical Athens.- Design Heuristics for Ethical Online Institutions.
£47.49
Springer International Publishing AG Multi-disciplinary Trends in Artificial Intelligence: 15th International Conference, MIWAI 2022, Virtual Event, November 17–19, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2022, held online on November 17–19, 2022.The 14 full papers and 5 short papers presented were carefully reviewed and selected from 42 submissions. Table of ContentsComputing Nash Equilibrium among Crops in Real World Agriculture Domain.- Evolutionary Feature Weighting Optimization and Majority Voting Ensemble Learning for Curriculum Recommendation in the Higher Education.- Fuzzy Soft Relations-Based Rough Soft Sets Classified by Overlaps of Successor Classes with Measurement Issues.- Helmet Detection System for Motorcycle Riders with Explainable Artificial Intelligence Using Convolutional Neural Network and Grad-CAM.- Hierarchical Human Activity Recognition based on Smartwatch Sensors using Branch Convolutional Neural Networks.- Improving Predictive Model to Prevent Students’ Dropout in Higher Education Using Majority Voting and Data Mining Techniques.- LCIM: Mining Low Cost High Utility Itemsets.- MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences.- Method for Image-based Preliminary Assessment of Car Park for the Disabled and the Elderly using Convolutional Neural Networks and Transfer Learning.- Multi-resolution CNN for Lower Limb Movement Recognition based on Wearable Sensors.- News Feed: A Multiagent-based Push Notification System.- News Feed: A Multiagent-based Push Notification System.- Recognizing Driver Activities using Deep Learning Approaches based on Smartphone Sensors.- Sentence-Level Sentiment Analysis for Student Feedback Relevant to Teaching Process Assessment.- Sentiment Analysis of Local Tourism in Thailand from YouTube Comments by using BiLSTM.- Stable Coalitions of Buyers in Real World Agriculture Domain.- The Analysis of Explainable AI via Notion of Congruence.- Using Ensemble Machine Learning Methods to Forecast Particulate Matter (PM2.5) in Bangkok, Thailand.- Wearable Fall Detection Based on Motion Signals using Hybrid Deep Residual Neural Network.
£47.49
Springer International Publishing AG ICT Education: 51st Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2022, Cape Town, South Africa, July 21–22, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the 51st Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2022, held in Cape Town, South Africa, during July 21–22, 2022.The 10 full papers were included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: curriculum; assessment; teaching in context; innovative teaching; and pandemic pedagogy.Table of ContentsCurriculum.- Relevant Cybersecurity: Curriculum Guidance for the South African context.- Experiences, motivations and plans of Humanities students pursuing a major in Information Systems in South Africa.- Assessment.- Towards an automated assistant for generating mathematics problems.- The Use of Binary Scales in Rubrics to Evaluate Computer Science Assessments.- Teaching in Context.- Guidelines for Introducing Learners to Computer Programming in a Developing Country.- First-Year Students’ IT Career Awareness.- Innovative Teaching.- Gamification to increase undergraduate students’ teamwork skills.- Nested-Decider: An animation program for aiding teaching and learning of decisions/nested decisions.- Pandemic Pedagogy.- Student experiences with blended learning at a South African University during the pandemic.- “I feel like I am teaching myself”: An Exploratory Study of the Factors andImplications of Online Learning.
£49.49
Springer International Publishing AG Bioinspired Optimization Methods and Their Applications: 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.Table of ContentsAn agent-based model to investigate different behaviours in a crowd simulation.- Accelerating Evolutionary Neural Architecture Search for Remaining Useful Life Prediction.- ACOCaRS: Ant Colony Optimization Algorithm for Traveling Car Renter Problem.- A new type of anomaly detection problem in dynamic graphs: An ant colony optimization approach.- CSS- A Cheap-Surrogate-based Selection Operator for Multi-objective Optimization.- Empirical Similarity Measure for Metaheuristics.- Evaluation of Parallel Hierarchical Differential Evolution for Min-Max Optimization Problems Using SciPy.- Explaining Differential Evolution Performance Through Problem Landscape Characteristics.- Genetic improvement of TCP congestion avoidance.- Hybrid Acquisition Processes in Surrogate-based Optimization. Application to Covid-19 Contact Reduction.- Investigating the Impact of Independent Rule Fitnesses in a Learning Classifier System.- Modified Football Game Algorithm for Multimodal Optimization of Test Task Scheduling Problems Using Normalized Factor Random Key Encoding Scheme.- Performance Analysis of Selected Evolutionary Algorithms.- Refining Mutation Variants in Cartesian Genetic Programming.- Slime mould algorithm: An experimental study of nature-inspired optimizer.- SMOTE inspired extension for differential evolution.- The Influence of Local Search over Genetic Algorithms with Balanced Representations.- Trade-off of networks on weighted space analyzed via a method mimicking human walking track superposition.- Towards interpretable policies in multi-agent reinforcement learning tasksb.
£47.49
Springer International Publishing AG Information Technologies and Intelligent Decision Making Systems: First International Conference, ITIDMS 2021, Virtual Event, January 25, 2021, Revised Selected Papers
Book SynopsisThis book constitutes selected papers presented at the First International Scientific and Practical Conference on Information Technologies and Intelligent Decision Making Systems, ITIDMS 2021, held as Virtual Event in January, 2021.The 13 presented papers were thoroughly reviewed and selected from the 41 submissions. The conference was held with the aim of summarizing international experience in the field of information, digital and intellectual development, within which proposals were formulated for digital and information transformation, the development of computer models, information technologies, automated and computing processes. A distinctive feature of the conference is that it presented reports of authors from China, Uzbekistan, Lebanon, Poland, Kazakhstan, Bulgaria and Russia. Researchers from different countries presented the process of transition of the information and digital path of development, presented the main directions and developments that can improve the efficiency and development.Table of ContentsAnalysis of Domain Name Resolution Strategy of Local DNS Server in the Transition from IPv4 to IPv6.- Experimental Evaluation of the Efficiency of Compression of Files by Fractal-Spectral Codec.- An Intelligent Decision Support System for Solving Complex Territorial Planning Problems.- Fault tolerance of distributed worker processes in corporate information systems and technologies.- Functioning of the Thermal Memory Cell.- Using Data mining technology in monitoring and modeling the epidemiological situation of the human immunodeficiency virus in Kazakhstan.- Information Technology and Artificial Intelligence in Improving of Center Pivot Irrigation Control.- KOA Pathology Screening using Multi-channel VAG Signal Fusion Method.- Prioritization of Distributed Worker Processes Based on Etcd Locks.- Analysis of Methods for Classifying and Segmenting 3D Images.- Tone Image Processing with Discrete Data Structure.- The Concept of Client-Server Architecture for Remote Control of a Distributed Knowledge Base.- Experimental Study of Russian-language News Text Categorization Performance Using Machine Learning Algorithms.
£49.49
Springer International Publishing AG Knowledge Graphs and Semantic Web: 4th Iberoamerican Conference and third Indo-American Conference, KGSWC 2022, Madrid, Spain, November 21–23, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the 4th Iberoamerican Conference and third Indo-American Conference on Knowledge Graphs and Semantic Web, KGSWC 2022, which took place in Madrid, Spain, in November 2022.The 22 full and 3 short research papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers cover topics related to software and its engineering, software creation and management, Emerging technologies, Analysis and design of emerging devices and systems, Emerging tools and methodologies and others.Table of ContentsDBkWik++ - Multi Source Matching of Knowledge Graphs.- A Survey on Knowledge Graph-based Methods for Automated Driving.- Physicians’ Brain Digital Twin: Holistic Clinical & Biomedical Knowledge Graphs for Patient Safety and Value-Based Care to Prevent The Post-pandemic Healthcare Ecosystem Crisis.- Combining Ontology and Natural Language Processing methods for Prevention of Falls from Height.- Learning to Automatically Generating Genre-Specific Song Lyrics: A Comparative Study.- DLIME-Graphs: A DLIME Extension based on Triple Embedding for Graphs.- Edge-labelled graphs and property graphs - to the user, more similar than different.- Knowledge Graph supported machine parameterization for the injection moulding industry.- IPR: Integrative Policy Recommendation Framework based on Hybrid Semantics.- Convolutional Neural Networks applied to emotion analysis in texts: Experimentation from the Mexican context.- Proficient Annotation Recommendation in a Biomedical Content Authoring Environment.- DKMI: Diversification of Web Image Search using Knowledge Centric Machine Intelligence.- Does Wikidata Support Analogical Reasoning?.- Flexible Queries over Knowledge Graphs.- Knowledge Graphs for Community Detection in Textual Data.- Framework for Author Name Disambiguation in Scientific Papers Using an Ontological Approach and Deep Learning.- On contrasting and completing YAGO with GPT language models: an experiment for person-related attributes.- Easy and complex: new perspectives for metadata modeling using RDF-star and Named Graphs.- Multi-Aspect Sentiment Analysis using Domain Ontologies.- Popularity Driven Data Integration.- Methodology for Creating a Community Corpus using a Wikibase Knowledge Graph.- Understanding Human Activity Patterns in Smart Homes with Process Mining.- String Matching based Framework for Online Hindi Question Answering System.- Towards an ontological approach to business continuity assessment.- From Ontology to Knowledge Graph Trend: Ontology As Foundation Layer For Knowledge Graph.
£58.49
Springer International Publishing AG Architecture of Computing Systems: 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the 35th International Conference on Architecture of Computing Systems, ARCS 2022, held virtually in July 2022. The 18 full papers in this volume were carefully reviewed and selected from 35 submissions. ARCS provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including energy efficiency, applied machine learning, hardware and software system security, reliable and fault-tolerant systems and organic computing.Table of ContentsEnergy Efficiency.- Energy Efficient Frequency Scaling on GPUs in Heterogeneous HPC Systems.- Dual-IS: Instruction Set Modality for Efficient Instruction Level Parallelism.- Pasithea-1: An Energy-Efficient Self-Contained CGRA With RISC-Like ISA.- Applied Machine Learning.- Orchestrated Co-Scheduling, Resource Partitioning, and Power Capping on CPU-GPU Heterogeneous Systems via Machine Learning.- FPGA-based Dynamic Deep Learning Acceleration for Real-time Video Analytics.- Advanced Computing Techniques.- Effects of Approximate Computing on Workload Characteristics.- QPU-System Co-Design for Quantum HPC Accelerators.- Hardware and Software System Security.- Protected Functions: User Space Privileged Function Calls.- Using Look Up Table Content as Signatures to Identify IP Cores in Modern FPGAs.- Hardware Isolation Support for Low-Cost SoC-FPGAs.- Reliable and Fault-tolerant systems.- Memristor based FPGAs: Understanding the Effect of Configuration Memory Faults.- On the Reliability of Real-time Operating System on Embedded Soft Processor for Space Applications.- Special Track: Organic Computing.- NDNET: a Unified Framework for Anomaly and Novelty Detection.- Organic Computing to Improve the Dependability of an Automotive Environment.- A context aware and self-improving monitoring system for field vegetables.- Semi-Model-Based Reinforcement Learning in Organic Computing Systems.- Deep Reinforcement Learning with a Classifier System – First Steps.- GAE-LCT: A run-time GA-based Classifier Evolution Method for Hardware LCT controlled SoC Performance-Power Optimization.
£999.99
Springer International Publishing AG Optimization and Learning: 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18–20, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 5th International Conference on Optimization and Learning, OLA 2022, which took place in Syracuse, Sicilia, Italy, in July 2022. The 19 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The papers are organized in the following topical sections: Optimization and Learning; Novel Optimization Techniques; Logistics; and Applications.Table of ContentsOptimization and Learning.- Evolutionary-Based Co-Optimization of DNN and Hardware Configurations on Edge GPU.- Maximum Information Coverage and Monitoring Path Planning With Unmanned Surface Vehicles Using Deep Reinforcement Learning.- Tuning ForestDisc hyperparameters: A sensitivity analysis.- Multi-objective hyperparameter optimization with performance uncertainty.- Novel Optimization Techniques.- A new algorithm for bi-objective problems based on gradient information.- Adaptive Continuous Multi-Objective Optimization using Cooperative Agents.- Integer Linear Programming reformulations for the linear ordering problem.- SHAMan: a versatile auto-tuning framework for costly and noisy HPC systems.- Cooperation-based search of global optima.- Date-driven Simulation-Optimization (DSO): An Efficient Approach to Optimize Simulation Models with Databases.- Logistics.- Sweep Algorithms for the Vehicle Routing Problem with TimeWindows.- Improving the accuracy of vehicle routing problem approximation using the formula for the average distance between a point and a rectangular area.- Optimal Delivery Area Assignment for the Capital Vehicle Routing Problem Based on a Maximum Likelihood Approach.- Neural Order-First Split-Second Algorithm for the Capacitated Vehicle Routing Problem.- Applications.- GRASP-based hybrid search to solve the multi-objective requirements selection problem.- Comparing Parallel Surrogate-based and Surrogate-free Multi-Objective Optimization of COVID-19 vaccines allocation.- Decentralizing and Optimizing Nation-Wide Employee Allocation while Simultaneously Maximizing Employee Satisfaction.- Categorical-Continuous Bayesian optimization applied to chemical reactions.- Assessing Similarity-Based Grammar-Guided Genetic Programming Approaches for Program Synthesis.
£56.99
Springer International Publishing AG Applications and Usability of Interactive TV: 10th Iberoamerican Conference, jAUTI 2021, Sangolquí, Ecuador, December 2–3, 2021, Revised Selected Papers
Book SynopsisThis book constitutes thoroughly refereed and revised selected papers from the 10th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2021, held in Sangolqui, Ecuador, during December 2–3, 2021.The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Usability and UX; interaction techniques and accesibility; and technologies, services, and applications for interactive digital TV.Table of ContentsUsability and UX.- The importance of personalization and household dynamics for notifications in the TV ecosystem.- Connect elderly to other generations through iTV: evaluating notifications’ potential.- Interaction techniques and Accesibility.- Real-time emotion recognition through video conference and streaming.- Emotional Meta-Annotation of Educational Videos. A Review of Emotional Database Characterization.- Active and Healthy Aging: The Role of a Proactive Information Assistant Embedded on TV.- Design and development of an assisted ball positioning system for soccer matches with an HBBTV server integrated to a haptic TV glove accessible to visually impaired people.- Technologies, services, and applications for interactive digital TV.- MixMyVisit – Geração automática de vídeos para a melhoria da experiência dos visitantes.- Selection of configurable computer module applied to home automation and interactive digital television.- A Process for gathering data to train the NLU module of a NLI system for iTV.
£49.49
Springer International Publishing AG Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation: First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
Book SynopsisThis book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations. Table of ContentsComplexity of Knowledge-Intensive Endeavors.- Ontology Modeling.- Enterprise Ontologies.- Knowledge Discovery and Innovations.
£999.99
Springer International Publishing AG Artificial Intelligence Research: Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the Third Southern African Conference on Artificial Intelligence Research, SACAIR 2022, held in Stellenbosch, South Africa, in December 2022. The 26 papers presented were thoroughly reviewed and selected from the 73 submissions. They are organized on the topical sections on algorithmic, data driven and symbolic AI; socio-technical and human-centered AI; responsible and ethical AI. Table of ContentsAlgorithmic, Data Driven and Symbolic AI.- Socio-technical and human-centered AI.- Responsible and Ethical AI.
£58.49
Springer International Publishing AG Advances in Artificial Intelligence – IBERAMIA 2022: 17th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 23–25, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 17th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2022, held in Cartagena de Indias, Colombia, in November 2022. The 33 full and 4 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: applications of AI; ethics and smart city; green and sustainable AI; machine learning; natural language processing; robotics and computer vision; simulation and forecasting.Table of ContentsApplications of AI.- Ethics and Smart City.- Green and Sustainable AI.- Machine Learning.- Natural Language Processing.- Robotics and Computer Vision.- Simulation and Forecasting.
£58.49
Springer International Publishing AG Advances in Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on Advances in Optimization and Applications, OPTIMA 2022, held in Petrovac, Montenegro, during September 26–30, 2022. The 13 full papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: mathematical programming; global optimization; discrete and combinatorial optimization; optimization and data analysis; game theory and mathematical economics; and applications.Table of ContentsMathematical Programming.- A Derivative-Free Nonlinear Least Squares Solver.- Gradient-Type Methods for Optimization Problems with Polyak- Lojasiewicz Condition: Early Stopping and Adaptivity to Inexactness Parameter.- Global Optimization.- An Improved Genetic Algorithm for the Resource-Constrained Project Scheduling Problem.- Nonlocal Optimization Methods for Nonlinear Controlled Systems with Terminal Constraints.- Discrete and Combinatorial Optimization.- Three-Bar Charts Packing Problem.- An 11/7 – Approximation Algorithm for Single Machine Scheduling Problem with Release and Delivery Times.- Optimization and Data Analysis.- Decentralized Strongly-Convex Optimization with Affine Constraints: Primal and Dual Approaches.- Game Theory and Mathematical Economics.- Analysis of the Model of Optimal Expansion of a Firm.- Comparative Analysis of the Efficiency of Financing the State Budget through Emissions, Taxes and Public Debt.- Applications.- Construction of Optimal Feedback for Zooplankton Diel Vertical Migration.- Synthesis of Trajectory Planning Algorithms Using Evolutionary Optimization Algorithms.- Application of Attention Technique for Digital Pre-Distortion.- Forecasting with Using Quasilinear Recurrence Equation.
£49.49
Springer International Publishing AG Advances in Model and Data Engineering in the Digitalization Era: MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022, Proceedings
Book SynopsisThis volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.Table of ContentsImage processing and diagnosis.- Machine Learning and Optimization.- Machine Learning and Optimization.- Modelling.- Database systems.- Applications.- DETECT Workshop: modeling, verification and testing of dependable critical systems.
£56.99
Springer International Publishing AG Bioinformatics Research and Applications: 18th International Symposium, ISBRA 2022, Haifa, Israel, November 14–17, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the 18th International Symposium on Bioinformatics Research and Applications, ISBRA 2022, held in Haifa, Israel, in November 14–17, 2022.The 30 full papers and 4 short papers presented in this book were carefully reviewed and selected from 72 submissions. They were organized in topical sections named: AI and disease; computational proteomics; biomedical imaging; drug screening and drug-drug interaction prediction; Biomedical data; sequencing data analysis.Table of ContentsMLMVFE: A Machine Learning Approach Based on Muli-View Features Extraction for Drug-Disease Associations Prediction.- STgcor: A Distribution-based Correlation MeasurementMethod for Spatial Transcriptome Data.- Automatic ICD Coding based on Multi-granularity Feature Fusion.- Effectively Training MRI Reconstruction Network via Sequentially Using Undersampled k-Space Data with Very Low Frequency Gaps.- Fusing Label Relations for Chinese EMR Named Entity Recognition with Machine Reading Comprehension.- Private Epigenetic PaceMaker Detector using Homomorphic Encryption - Extended Abstract.- NIDN: Medical Code Assignment via Note-Code Interaction Denoising Network.- Research on the prediction method of disease classification based on imaging features.- M-US-EMRs: A Multi-Modal Data Fusion Method of Ultrasonic Images and Electronic Medical Records Used for Screening of Coronary Heart Disease.- Transposition Distance Considering Intergenic Regions for Unbalanced Genomes.- An SMT-based Framework for Reasoning about Discrete Biological Models.- ARGLRR: An Adjusted Random Walk Graph Regularization Sparse Low-rank Representation Method for Single-cell RNA-sequencing Data Clustering.- An Efficient and User-friendly Software for PCR Primer Design for Detection of Highly Variable Bacteria.- A Network-Based Voting Method for Identification and Prioritization of Personalized Cancer Driver Genes.- TDCOSR: A multimodality fusion framework for association analysis between genes and ROIs of Alzheimer’s disease.- Policy-based Hypertension Monitoring using Formal Runtime Verification Monitors.- Deep learning-enhanced MHC-II presentation prediction and peptidome deconvolution.- MMLN: Leveraging Domain Knowledge for Multimodal Diagnosis.- Optimal sequence alignment to ED-strings.- Heterogeneous PPI network representation learning for protein complex identification.- A Clonal Evolution Simulator for Planning Somatic Evolution Studies.- Prediction of Drug-disease Relationship on Heterogeneous Networks Based on Graph Convolution.- t-SNE Highlights Phylogenetic and Temporal Patterns of SARS-CoV-2 Spike and Nucleocapsid Protein Evolution.- MPCDDI: A Secure Multiparty Computation-based Deep Learning Framework for Drug-drug Interaction Predictions.- A Multimodal Data Fusion-based Deep Learning Approach for Drug-Drug Interaction Prediction.- GNN-Dom: an unsupervised method for protein domain partition via protein contact map.- A Locality-Constrained Linear Coding-Based Ensemble Learning Framework for Predicting Potentially Disease-Associated MiRNAs.- Gaussian-enhanced Representation Model for Extracting Protein-Protein Interactions Affected by Mutations.- Distance Profiles of Optimal RNA Foldings.- 2D Photogrammetry Image of Adolescent Idiopathic Scoliosis Screening Using Deep Learning.- EMRShareChain: A Privacy-Preserving EMR Sharing System Model Based on the Consortium Blockchain.- Simulating Spiking Neural Networks based on SW26010pro.- Entropy Based Clustering of Viral Sequences.- A Tensor Robust Model Based on Enhanced Tensor Nuclear Norm and Low-Rank Constraint for Multi-view Cancer Genomics Data.
£56.99
Springer International Publishing AG Artificial Intelligence and Natural Language: 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14–15, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence and Natural Language, AINL 2022, held in St. Petersburg, Russia, in April 2022. The 8 revised full papers and 1 short paper were carefully reviewed and selected from 20 submissions. The volume presents recent research in areas of of text mining, speech technologies, dialogue systems, information retrieval, machine learning, articial intelligence, and robotics. Table of ContentsInferring image background from text description.- Topical Extractive Summarization.- The Semantic Shifts of the Topical Structure in the Corpus of Lentach News Posts.- Development of folklore motif classifie using limited data.- Morphological and Emotional Features of the Speech in Children with Typical Development, Autism Spectrum Disorders and Down Syndrome.- WikiMulti: a Corpus for Cross-Lingual Summarization.- Rethinking Crowd Sourcing for Semantic Similarity.- Interplay of Visual and Acoustic Cues of Irony Perception: a Case Study of Actor’s Speech.- Findings of Biomedical Russian to English Machine Translation Competition.- Translation of medical texts with ensembling and knowledge distillation.
£49.49
Springer International Publishing AG Artificial Life and Evolutionary Computation: 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
Book SynopsisThis book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: Networks; Droplets, Fluids, and Synthetic Biology; Robot Systems; Computer Vision and Computational Creativity; Semantic Search; Artificial Medicine and Pharmacy; Trade and Finance; Ethics in Computational Modelling.Chapters 4, 5, 6, 7, 22, and 24 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of ContentsNetworks.- Dynamical criticality in growing networks.- Effective Resistance based Weight Thresholding for Community Detection.- An Oracle for the Optimization of Underconstrained Compositions of Neural Networks - The Tick Hazard Use Case.- Droplets, Fluids, and Synthetic Biology.- Obstacles on the Pathway towards Chemical Programmability using Agglomerations of Droplets.- The Good, the Bad and the Ugly: droplet recognition by a "shootout"-heuristics.- Exploring the three-dimensional arrangement of droplets.- Geometric restrictions to the agglomeration of spherical particles.- Effectiveness of Dynamic Load Balancing in Parallel Execution of a Subsurface Flow Cellular Automata Model.- Two possible AI-related paths for bottom-up synthetic cell research.- Robot Systems.- A hybrid control system architecture for a mobile robot to provide an energy-efficient and fast data processing.- On the evolution of mechanisms for collective decision making in a swarm of robots.- A novel online adaptation mechanism in artificial systems provides phenotypic plasticity.- Computer Vision and Computational Creativity.- Exploration of Genetic Algorithms and CNN for Melanoma Classification.- Using Genetic Algorithms to optimize a deep learning based system for the prediction of cognitive impairments.- Autonomous inspections of power towers with an UAV.- Self-organizing Maps of Artificial Neural Classifiers - a Brain like Pin Factory.- Evolutionary Music: Statistical Learning and Novelty for automatic improvisation.- Semantic Search.- ARISE: Artificial Intelligence Semantic Search Engine.- Artificial Medicine and Pharmacy.- Influence of the Antigen Pattern Vector on the Dynamics in a Perceptron-based Artificial Immune - Tumour-Ecosystem during and after Radiation Therapy.- Two-level detection of dynamic organization in cancer evolution models.- Artificial chemical neural network for drug discovery applications.- Trade and Finance.- Information Flow Simulations in Multi-Dimensional and Dynamic Systems.- Investigation of the Ramsey-Pierce-Bowman Model.- Ethics in Computational Modelling.- Ethical Aspects of Computational Modelling in Science, Decision Support and Communication.
£49.49
Springer International Publishing AG Mathematical Modeling and Supercomputer Technologies: 22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14–17, 2022, Revised Selected Papers
Book SynopsisThis book constitutes selected and revised papers from the 22nd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2022, held in Nizhny Novgorod, Russia, in November 2022. The 20 full papers and 5 short papers presented in the volume were thoroughly reviewed and selected from the 48 submissions. They are organized in topical secions on computational methods for mathematical models analysis; computation in optimization and optimal control; supercomputer simulation. Table of ContentsComputational methods for mathematical models analysis.- Computation in optimization and optimal control.- Supercomputer simulation.
£58.49
