Artificial intelligence (AI) Books
Springer International Publishing AG Modeling Decisions for Artificial Intelligence:
Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2023, held in Umeå, Sweden, during June19–22,2023.The 17 papers presented in this volume were carefully reviewed and selected from 28 submissions. Additionally, 1 invited paper were included. The papers discuss different facets of decision processes in a broad sense and present research in data science, data privacy, aggregation functions, human decision making, graphs and social networks, and recommendation and search.The papers are organized in the following topical sections: Decision making and uncertainty; Machine Learning and data science; and Data privacy.Table of ContentsLogic Aggregators and Their Implementations.- Decision making and uncertainty.- Multi-Target Decision Making under Conditions of Severe Uncertainty.- Constructive set function and extraction of a k-dimensional element.- Coherent upper conditional previsions defined by fractal outer measures to represent the unconscious activity of human brain.- Discrete chain-based Choquet-like operators.- On a new generalization of decomposition integrals.- Bipolar OWA operators with continuous input function.- Machine Learning and data science.- Cost-constrained group feature selection using information theory.- Conformal Prediction for Accuracy Guarantees in Classification with Reject Option.- Adapting the Gini's index for solving Predictive Tasks.- Bayesian logistic model for positive and unlabeled data.- A goal-oriented specification language for reinforcement learning.- Improved Spectral Norm Regularization for Neural Networks.- Preprocessing Matters: Automated Pipeline Selection for Fair Classification.- Predicting Next Whereabouts using Deep Learning.- A Generalization of Fuzzy c-Means with Variables Controlling Cluster Size.- Data privacy.- Local Differential Privacy Protocol for Making Key{Value Data Robust against Poisoning Attacks.- Differential Privacy through Noise-Graph Addition.
£47.49
Springer International Publishing AG Artificial Intelligence Applications and
Book SynopsisThis two-volume set of IFIP-AICT 675 and 676 constitutes the refereed proceedings of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14–17, 2023. This event was held in hybrid mode.The 75 regular papers and 17 short papers presented in this two-volume set were carefully reviewed and selected from 185 submissions. The papers cover the following topics: Deep Learning (Reinforcement/Recurrent Gradient Boosting/Adversarial); Agents/Case Based Reasoning/Sentiment Analysis; Biomedical - Image Analysis; CNN - Convolutional Neural Networks YOLO CNN; Cyber Security/Anomaly Detection; Explainable AI/Social Impact of AI; Graph Neural Networks/Constraint Programming; IoT/Fuzzy Modeling/Augmented Reality; LEARNING (Active-AutoEncoders-Federated); Machine Learning; Natural Language; Optimization-Genetic Programming; Robotics; Spiking NN; and Text Mining /Transfer Learning. Table of ContentsDeep Learning (Reinforcement/Recurrent Gradient Boosting/Adversarial).- Agents/Case Based Reasoning/Sentiment Analysis.- Biomedical - Image Analysis.- CNN - Convolutional Neural Networks YOLO CNN.- Cyber Security/Anomaly Detection.- Explainable AI/Social Impact of AI.- Graph Neural Networks/Constraint Programming.- IoT/Fuzzy Modeling/Augmented Reality.- LEARNING (Active-AutoEncoders-Federated).- Machine Learning.- Natural Language.- Optimization-Genetic Programming.- Robotics.- Spiking NN.- and Text Mining /Transfer Learning.
£98.99
Springer International Publishing AG Artificial Intelligence in Medicine: 21st
Book SynopsisThis book constitutes the refereed proceedings of the 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, held in Portoroz, Slovenia, in June12–15, 2023.The 23 full papers and 21 short papers presented together with 3 demonstration papers were selected from 108 submissions. The papers are grouped in topical sections on: machine learning and deep learning; explainability and transfer learning; natural language processing; image analysis and signal analysis; data analysis and statistical models; knowledge representation and decision support.Table of ContentsMachine Learning and Deep Learning.- Survival Hierarchical Agglomerative Clustering: A Semi-Supervised Clustering Method Incorporating Survival Data.- Boosted Random Forests for Predicting Treatment Failure of Chemotherapy Regimens.- A Binning Approach for Predicting Long-Term Prognosis in Multiple Sclerosis.- Decision Tree Approaches to Select High Risk Patients for Lung Cancer Screening based on the UK Primary Care Data.- Causal Discovery with Missing Data in a Multicentric Clinical Study.- Novel approach for phenotyping based on diverse top-k subgroup lists.- Patient Event Sequences for Predicting Hospitalization Length of Stay.- Autoencoder-based prediction of ICU clinical codes.- Explainability and Transfer Learning.- Hospital Length of Stay Prediction Based on Multi-modal Data towards Trustworthy Human-AI Collaboration in Radiomics.- Explainable Artificial Intelligence for Cytological Image Analysis.- Federated Learning to Improve Counterfactual Explanations for Sepsis Treatment Prediction.- Explainable AI for Medical Event Prediction for Heart Failure Patients.- Adversarial Robustness and Feature Impact Analysis for Driver Drowsiness Detection.- Computational Evaluation of Model-Agnostic Explainable AI using Local Feature Importance in Healthcare.- Batch Integrated Gradients: Explanations for Temporal Electronic Health Records.- Improving stroke trace classification explainability through counterexamples.- Spatial Knowledge Transfer with Deep Adaptation Network for Predicting Hospital Readmission.- Dealing with Data Scarcity in Rare Diseases: Dynamic Bayesian Networks and Transfer Learning to Develop Prognostic Models of Amyotrophic Lateral Sclerosis.- Natural Language Processing.- A Rule-free Approach for Cardiological Registry Filling from Italian Clinical Notes with Question Answering Transformers.- Classification of Fall Types in Parkinson Disease From Self-report Data Using Natural Language Processing.- BERT for complex systematic review screening to support the future of medical research.- GGTWEAK: Gene Tagging with Weak Supervision for German Clinical Text.- Soft-prompt tuning to predict lung cancer using primary care free-text Dutch medical notes.- Machine learning models for automatic Gene Ontology annotation of biological texts.- Image Analysis and Signal Analysis.- A Robust BKSVD Method for Blind Color Deconvolution and Blood Detection on H&E Histological Images.- Can knowledge transfer techniques compensate for the limited myocardial infarction data by leveraging hemodynamics? An in silico Study.- Covid-19 Diagnosis In 3D Chest CT Scans With Attention-Based Models.- Generalized Deep Learning-based Proximal Gradient Descent for MR Reconstruction.- Crowdsourcing segmentation of histopathological images using annotations provided by medical students.- Automatic sleep stage classification on EEG signals using time-frequency representation.- Learning EKG Diagnostic Models with Hierarchical Class Label Dependencies.- Discriminant audio properties in deep learning based respiratory insufficiency detection in Brazilian Portuguese.- ECGAN: Self-supervised generative adversarial network for electrocardiography.- Data Analysis and Statistical Models.- Nation-wide ePrescription Data Reveals Landscape of Physicians and their Drug Prescribing Patterns in Slovenia.- Machine Learning Based Prediction of Incident Cases of Crohn’s Disease Using Electronic Health Records from a Large Integrated Health System.- Prognostic prediction of paediatric DHF in two hospitals in Thailand.- The Impact of Bias on Drift Detection in AI Health Software.- A Topological Data Analysis Framework for Computational Phenotyping.- Ranking of Survival-Related Gene Sets through Integration of Single-Sample Gene Set Enrichment and Survival Analysis.- Knowledge Representation and Decision Support.- Supporting the prediction of AKI evolution through interval-based approximate temporal functional dependencies.- Integrating Ontological Knowledge with Probability Data to Aid Diagnosis in Radiology.- Ontology model for supporting process mining on healthcare-related data.- Real-World Evidence Inclusion in Guideline-Based Clinical Decision Support Systems: Breast Cancer Use Case.- Decentralized Web-based Clinical Decision Support using Semantic GLEAN Workflows.- An Interactive Dashboard for Patient Monitoring and Management: a Support Tool to the Continuity of Care Centre.- A general-purpose AI assistant embedded in an open-source radiology information system.- Management of patient and physician preferences and explanations for participatory evaluation of treatment with an ethical seal.
£56.99
Springer International Publishing AG Artificial Intelligence for Healthy Longevity
Book SynopsisThis book reviews the state-of-the-art efforts to apply machine learning and AI methods for healthy aging and longevity research, diagnosis, and therapy development. The book examines the methods of machine learning and their application in the analysis of big medical data, medical images, the creation of algorithms for assessing biological age, and effectiveness of geroprotective medications.The promises and challenges of using AI to help achieve healthy longevity for the population are manifold. This volume, written by world-leading experts working at the intersection of AI and aging, provides a unique synergy of these two highly prominent fields and aims to create a balanced and comprehensive overview of the application methodology that can help achieve healthy longevity for the population.The book is accessible and valuable for specialists in AI and longevity research, as well as a wide readership, including gerontologists, geriatricians, medical specialists, and students from diverse fields, basic scientists, public and private research entities, and policy makers interested in potential intervention in degenerative aging processes using advanced computational tools. Table of ContentsAI in longevity.- Automated reporting of medical diagnostic imaging for early disease and aging biomarkers detection.- Risk forecasting tools based on the collected information for two types of occupational diseases.- Obtaining longevity footprints in DNA methylation data using different machine learning approaches.- The role of assistive technology in regulating the behavioural and psychological symptoms of dementia.- Epidemiology, genetics and epigenetics of Biological Aging: one or more aging systems?.- Temporal relation prediction from Electronic Health Records using Graph Neural Networks and Transformers Embeddings.- In silico screening of life-extending drugs using machine learning and omics data.- An overview of kernel methods for identifying genetic association with health-related traits.- Artificial Intelligence approaches for skin anti-aging and skin resilience research.- AI in genomics and epigenomics.- The utility of information theory based methods in the research of aging and longevity.- AI for Longevity: getting past the Mechanical Turk model will take Good Data.- Leveraging algorithmic and human networks to cure human aging: Holistic understanding of Longevity via Generative Cooperative Networks, Hybrid Bayesian/Neural/Logical AI and Tokenomics-Mediated Crowdsourcing.
£151.99
Springer International Publishing AG Advances in Applied Logics: Applications of Logic
Book SynopsisThis book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers.The book is dedicated to researcher Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists who dedicated himself to understanding the use of alternative logic in the various issues of AI, ranging from its foundations to concrete applications and philosophical reflections.Table of Contents1. The Scientific Work of Seiki Akama.- 2. A busy–beaver–like function in complexity theory.- 3. On the Choice of Primitives in Tense Logic.- 4. Paraconsistent Annotated Logic and Chaos Theory: Introducing the Fundamental Equations.- 5. A Paraconsistent Artificial Neural Cell of Learning by Contradiction Extraction (PANCLCTX) with Application Examples.- 6. Probabilistic Autoepistemic Equilibrium Logic.- 7. Rough-set-base Data Analysis: Theoretical Basis and Applications.- 8. Bilattice Tableau Calculi with Rough Set Semantics.- 9. Optimizing the Data Loss Prevention level using Logic Paraconsistent Annotated Evidential Eτ.- 10. Evaluation of behavioural skills simulating hiring of project manager applying Paraconsistent Annotated Evidential Logic Eτ.- 11. A Paraconsistent Decision-Making Method.- 12. Annotated logics and application – an overview.
£116.99
Springer International Publishing AG New Frontiers in Artificial Intelligence:
Book SynopsisThis book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021. The 26 full papers were carefully selected from 86 submissions. The papers are organized in the volume according to the following workshops: 15th International Workshop on Juris-Informatics, JURISIN 2021; 18th Workshop on Logic and Engineering of Natural Language Semantics, LENLS 18, 5th International Workshop on SCIentific DOCument Analysis, SCI-DOCA 2021; Workshop on Artificial Affective (Kansei) Intelligence, KANSEI-AI 2021; 5th Workshop on Artificial Intelligence of and for Business, AI-Biz 2021.Table of ContentsJURISIN 2021.- LENLS 18.- SCIDOCA 2021.- KANSEIAI 2021.- AI-Biz 2021.
£56.99
Springer International Publishing AG Artificial Intelligence in Education. Posters and
Book SynopsisThis volume constitutes poster papers and late breaking results presented during the 24th International Conference on Artificial Intelligence in Education, AIED 2023, Tokyo, Japan, July 3–7, 2023.The 65 poster papers presented were carefully reviewed and selected from 311 submissions. This set of posters was complemented with the other poster contributions submitted for the Poster and Late Breaking results track of the AIED 2023 conference. Table of ContentsOur Interactions Between AI and Education: Broadening Our Perspective on What AI Can Offer Education.- Computational Models of Learning: Deepening Care and Carefulness in AI in Education.- Towards the Future of AI-augmented Human Tutoring in Math Learning.- Empowering Education with LLMs - the Next-Gen Interface and Content Generation.- Conducting Rapid Experimentation with an Open-source Adaptive Tutoring System.- Workshop on AI Education in K-12.- Tutorial: Educational Recommender Systems.- Equity, Diversity, and Inclusion in Educational Technology Research and Development.- AI and Educational Policy: Bridging Research and Practice.- Automated assessment and guidance of project work.- How to Open Science: Promoting Principles and Reproducibility Practices within the Artificial Intelligence in Education Community.- AI and Education. A view through the lens of human rights, democracy and the rule of law..- AI in Education. Coming of Age. The Community Voice.- TUTORIAL: Designing, Building and Evaluating Intelligent Psychomotor AIED systems (IPAIEDS@AIED2023).- Intelligent Textbooks.- AI to Support Guided Experiential Learning.- An Automated Approach to Assist Teachers in Recommending Groups of Students Associated with Collaborative Learning Techniques using Learning Paths in Virtual Learning Environments.- Structures in Online Discussion Forums: Promoting Inclusion or Exclusion?.- Assessment in Conversational Intelligent Tutoring Systems: Are contextual embeddings really better?.- A Recommendation System for Nurturing Students' Sense of Belonging.- Desirable Difficulties? The Effects of Spaced and Interleaved Practice in an Educational Game.- Evaluating a conversational agent for second language learning aligned with the school curriculum.- EngageMe: Assessing Student Engagement in Online Learning Environment Using Neuropsychological Tests.- Exploring the Effects of "AI-generated" Discussion Summaries on Learners’ Engagement in Online Discussions.- Building Educational Technology Quickly and Robustly with an Interactively Teachable AI.- Investigating the impact of the mindset of the learners on their behaviour in a computer-based learning environment.- Leave No One Behind - A Massive Online Learning Platform Free For Everyone.- Innovative Software to Efficiently Learn English through Extensive Reading and Personalized Vocabulary Acquisition.- A Student-Teacher Multimodal Interaction Analysis System for Classroom Observation.- Rewriting Math Word Problems to Improve Learning Outcomes for Emerging Readers: A Randomized Field Trial in Carnegie Learning's MATHia.- Automated Essay Scoring Incorporating Multi-level Semantic Features.- Promising Long Term Effects of ASSISTments Online Math Homework Support.- Using Decomposed Prompting to Answer Questions on a Course Discussion Board.- Consistency of Inquiry Strategies Across Subsequent Activities in Different Domains.- Improving the Item Selection Process with Reinforcement Learning in Computerized Adaptive Testing.- The Role of Social Presence in MOOC Students’ Behavioral Intentions and Sentiments Toward the Usage of a Learning Assistant Chatbot: A Diversity, Equity, and Inclusion Perspective Examination.- Audio Classifier for Endangered Language Analysis and Education.- Quantifying Re-Engagement in Minecraft.- Teamwork Dimensions Classification Using BERT.- Data augmentation with GAN to improve the prediction of at-risk students in a virtual learning environment.- Prediction of Students' Self-Confidence Using Multimodal Features in an Experiential Nurse Training Environment.- Learning from Auxiliary Sources in Argumentative Revision Classification.- Exploring the Effect of Autoencoder Based Feature Learning for a Deep Reinforcement Learning Policy for Providing Proactive Help.- Who and How: Using Sentence-level NLP to Evaluate Idea Completeness.- Comparing Different Approaches to Generating Mathematics Explanations Using Large Language Models.- Analyzing Response Times and Answer Feedback Tags in an Adaptive Assessment.- Enhancing the Automatic Identification of Common Math Misconceptions Using Natural Language Processing.- User Adaptive Language Learning Chatbots with a Curriculum.- Learning about circular motion of celestial bodies with interactive qualitative representations.- Desirable Difficulties? The Effects of Spaced and Interleaved Practice in an Educational Game.- GPTutor: a ChatGPT-powered programming tool for code explanation.- The Good and Bad of Stereotype Threats: Understanding Its Effects on Negative Thinking and Learning Performance in Gamified Tutoring Systems.- Practice of Tutoring Support System Based on Impasse Detection for Face-to-Face and On-demand Programming Exercises.- Investigating Patterns of Tone and Sentiment in Teacher Written Feedback Messages.- Performance by Preferences – An Experiment in Language Learning to argue for Personalization.- Emotionally Adaptive Intelligent Tutoring System To Reduce Foreign Language Anxiety.- Amortised Design Optimization for Item Response Theory.- Early Prediction of Student Performance in Online Programming Courses.- Classifying Mathematics Teacher Questions to Support Equitable and Inclusive Mathematical Teaching.- Multimodal Task-Based Language Learning System with Personalization and Dynamic Adaptation.- Bayesian Analysis of Adolescent STEM Interest Using Minecraft.- Automatic Slide Generation Using Discourse Relations.- RoboboITS: a Simulation-Based Tutoring System to Support AI Education through Robotics.- Towards analyzing psychomotor group activity for collaborative teaching using neural networks.- Warming up the Cold Start: Adaptive Step Size Method for the Urnings Algorithm.- Gamiflow: A Flow Theory-Based Gamification Framework for Learning Scenarios.- Using large language models to develop readability formulas for educational settings.- A quantitative study of NLP approaches to question difficulty estimation.- Learning from AI: An Interactive Learning Method Using a DNN Model Incorporating Expert Knowledge as a Teacher.- AI Cognitive - Based Systems Supporting Learning Processes.- Modeling problem-solving strategy invention (PSSI) in an online math learning environment.- A SHAP-inspired method for computing interaction contribution in deep knowledge tracing.- Analyzing Users’ Interaction with Writing Feedback and Their Effects on Writing Performance.- Annotating Educational Dialog Act with Data Augmentation in Online One-on-one Tutoring.- Improving Comprehension of Program Examples through Automatic Assessment and Scaffolding of Self-Explanations.- Using Transformer Language Models to Provide Formative Feedback in Intelligent Textbooks.- Utilizing Natural Language Processing for Automated Assessment of Classroom Discussion.- It’s Good to Explore: Investigating Silver Pathways and the Role of Frustration during Game-based Learning.- Ghost in the machine: AVATAR, a prototype for supporting student authorial voice.- Evaluating Language Learning Apps for Behaviour Change Using the Behaviour Change Scale.- Evaluating the Rater Bias in Response Scoring in Digital Learning Platform: Analysis of Student Writing Styles.- Generative AI for learning: Investigating the potential of learning videos with synthetic virtual instructors.- Virtual Agent Approach for Teaching the Collaborative Problem Solving Skill of Negotiation.- How Useful are Educational Questions Generated by Large Language Models?.- Towards Extracting Adaptation Rules From Neural Networks.- A Support System to Help Teachers Design Course Plans Conforming to National Curriculum Guidelines.- Predicting Student Scores Using Browsing Data and Content Information of Learning Materials.- Preserving Privacy of Face and Facial Expression in Computer Vision Data Collected in Learning Environments.- Item difficulty constrained uniform adaptive testing.- "A Fresh Squeeze on Data”: Exploring Gender Differences in Self-Efficacy and Career Interest in Computing Science and Artificial Intelligence among Elementary Students.- Simulating Learning From Language and Examples.- Learner Perception of Pedagogical Agents.- Using intelligent tutoring on the first steps of learning to program: affective and learning outcomes.- A Unified Batch Hierarchical Reinforcement Learning Framework for Pedagogical Policy Induction with Deep Bisimulation Metrics.- Impact of Experiencing Misrecognition by Teachable Agents on Learning and Rapport.- Nuanced Growth Patterns of Students with Disability.- Visualizing Self-Regulated Learner Profiles in Dashboards: Design Insights from Teachers.- Classification of brain signals collected during a rule learning paradigm.- Q-GENius: A GPT based modified MCQ generator for identifying learner deficiency.- Towards Automatic Tutoring of Custom Student-Stated Math Word Problems.- A Software Platform for Evaluating Student Essays in Interdisciplinary Learning with Topic Classification Techniques.- Automated Scoring of Logical Consistency of Japanese Essays.- Exercise Generation Supporting Adaptivity in Intelligent Tutoring Systems.- Context Matters: A Strategy to Pre-train Language Model for Science Education.- Identifying Usability Challenges in AI-based Essay Grading Tools.- Enhancing Engagement Modeling in Game-Based Learning Environments with Student-Agent Discourse Analysis.-Understanding the Impact of Reinforcement Learning Personalization on Subgroups of Students in Math Tutoring.- Automatic Assessment of Comprehension Strategies from Self-Explanations using Transformers and Multi-Task Learning.- Ensuring Fairness of Human- and AI-generated Test Items.- Deidentifying Student Writing with Rules and Transformers.- Comparative Analysis of Learnersourced Human-Graded and AI-Generated Responses for Autograding Online Tutor Lessons.- Using Similarity Learning with SBERT to Optimize Teacher Report Embeddings for Student Performance Prediction.- Using simple text mining tools to power an intelligent learning system for lengthy, domain specific texts.- Question Classification with Constrained Resources: A Study with Coding Exercises.- Even boosting stereotypes increase the gender gap in gamified tutoring systems: an analysis of self-efficacy, flow and learning.- DancÆR: Efficient and Accurate Dance Choreography Learning by Feedback Through Pose Classification.- Intelligence Augmentation in Early Childhood Education: A Multimodal Creative Inquiry Approach.- Promoting Students’ Pre-class Preparation in Flipped Classroom with Kit-build Concept Map.- AIED Unplugged: Leapfrogging the Digital Divide to Reach the Underserved.- How can A/B testing at scale accelerate learning outcomes in low and middle income environments?.- A Case Study on AIED Unplugged Applied to Public Policy for Learning Recovery Post-Pandemic in Brazil.- Enabling individualized and adaptive learning – The value of an AI-based recommender system for users of adult and continuing education platforms.- “Learning Recorder” that Helps Lesson Study of Collaborative Learning.- “Learning Note” that Helps Teachers’ Lesson Study Across Time and Space.
£98.99
Springer International Publishing AG Digital Transformation in Education and
Book SynopsisThis book constitutes selected papers presented during the First International Conference on Digitization in Education, MoStart 2023, held in Mostar, Bosnia and Herzegovina, in April 2023.The 12 presented papers were thoroughly reviewed and selected from the 30 submissions. The proceedings cover a diverse range of topics, including artificial intelligence and robotics in education, games and simulations, intelligent tutoring systems, augmented and virtual reality, natural language processing, computer vision, IoT and metaverse applications, learning analytics, deep learning, and ethical issues in AI applications in education and law.Table of ContentsEvaluating Text Summarization using FAHP and TOPSIS Methods in Intelligent Tutoring Systems.- Overview of Tools for Programming and Virtual Simulation of Robots within the STEM Teaching Process.- Evaluating LightGBM Classifie for Knowledge Tracing on EdNet Dataset.- POS-only tagging using RNN for Croatian Language.- Web scraping Fire Incidents and Assesement of Fire Impact - a Case study of Split and Dalmatia County fire.- Bichronous Online Learning During the COVID-19 Pandemic – A Case Study on Teaching the Teachers.- Artificial intelligence fuzzy logic expert system for prediction of bevel angle quality response in plasma jet manufacturing process.- Education: Opportunities and Challenges.- Artificia intelligence for knowledge visualization: An Overview.- Digital Tools and Pre-reading Skills.- Detecting academic fraud at online tests during COVID-19 using machine learning-based methods.- Changes in Legal Education in the Digital Society of Artificia Intelligence.
£52.24
Springer International Publishing AG Proceedings of ICACTCE'23 — The International
Book SynopsisToday, communication technology and computer engineering are intertwined, with advances in one field driving advances in the other, leading to the development of outstanding technologies. This book delves into the latest trends and breakthroughs in the areas of communication, Internet of things, cloud computing, big data, artificial intelligence, and machine learning.This book discusses challenges and opportunities that arise with the integration of communication technology and computer engineering. In addition, the book examines the ethical and social implications, including issues related to privacy, security, and digital divide and law. We have explored the future direction of these fields and the potential for further breakthroughs and innovations.The book is intended for a broad audience of undergraduate and graduate students, practicing engineers, and readers without a technical background who have an interest in learning about communication technology and computer engineering.Table of ContentsPart I: Communication Networks and Cybersecurity.- Enhancing the Performance of Cloud Environment by a Novel Three-Stage Task Scheduling Policy.- A new approach to coupled IR sensor based Real Time system for alerting old people accidents in Rest room.- Gesture Recognition Based Virtual Mouse And Keyboard.- IoV-based Application using Deep Learning Approach.- DDoS Attack Prediction using Decision Tree and Random Forest Algorithms.- The impact of Control Plane Attacks in Software Defined Networks Environments.- Compressed data aggregation using regulated duty cycle for WSN-IOT networks.- Improving Data Centre Power Efficiency by Applying the VM consolidation Approach.- Integration of a UHF Fractal Antenna into a 1U CubeSat for Low-Earth Orbit Mission.- A Novel & Innovative Blockchain-Empowered Federated Learning Approach for Secure Data Sharing in Smart city Applications.- Design and modelling of renewable energy sources using a partial power converter.- A qualitative study of the effects of socio-organizational factors on the information security culture of employees in a financial institution.- Part II: Embedded Systems and Smart Applications.- An Overview of Concentrated Photovoltaic Technology.- Electronic Prescription Service for Improved Healthcare Delivery.- A Review on Blockchain Smart Contract Applications.- Carbonic Acid Gas Emission Rating by Vehicles Using Datascience Techniques.- Robotics cyber security issues.- Part III: Computational Intelligence.- A comparative study of GANs (text to image GANs).- QCNN- A Conceptual Framework for Duplicate removal in Big Data using Quality assured Crowd sourcing coupled with Neural networks.- Design and Implementation of Camera-based Security System (CBSS) for Detecting Missing Persons.- Design and Implementation of a Secure Patient Recommender and Prediction System.- SDD: An Efficient Stacked Deep Learning Technique for Social Distance Detection.- Junk Mail Content Detection using Logistic Regression Algorithm.- Predicting Fish Habitat in the Persian Gulf Using Artificial Intelligence.- Evaluation of Text Classification using Support Vector Machine compare with Naive Bayes, Random Forest Decision Tree and K-NN.- Emotion AI.- Accuracy Prediction of Rainfall Using Decision Tree Algorithm and Random Forest.- Fraud detection using decision tree algorithm to curb identity theft.- Academic Performance Prediction using Machine learning algorithms.- Accuracy Of Water Quality Prediction Using Random Forest Regression and Artificial Neural Network.- Indian Sign Language Recognition System for Interrogative Words using Deep Learning.- New Approach of Artificial Intelligence in Digital Forensic Investigation: A Literature Review.- Comparative analysis of machine learning classifiers for plant leaf disease detection.- Effective House Price Prediction Using Machine Learning.- Colour Trend Analysis using Machine Learning and Histogram.- A new AI-based approach for Rental Tax Evasion Management in Iran (Ethical Consideration).- Bibliometric Analysis of Scientific Literature on Mental Health Research in Africa.- Multi-Modal Sentiment Analysis using Text and Audio for Customer Support Centers.- Comparative Analysis on the use of Teleconsultation using Support Vector Regression and Decision Tree Regression to Predict Patient Satisfaction.- COVID-19 in the UK: Sentiment and Emotion Analysis of Tweets Over Time.- Deep learning based sentiment analysis of customer reviews on hotels through tweets.- Diagnosis of Diabetes Type using Random Forest Algorithm and SVM for improving Accuracy.- Biometric Recognition Systems: A Short Survey.- Lung Histopathological Detection Using Image Classification.- A novel approach of Machine learning application in Astrophysics: Morphological feature wrapping based ensemble method for Galaxy shape classification using GAMA dataset.- Evaluating the Performance of a Hybrid Model for Classification of Bicycle Crash Severity and Identification of Associated Risk Factors.- Digital Transformations In Medical Applications Using Audio And Virtual Reality Procedures.- Part IV: Special Session 1 : Digital Transformation of Contemporary Business Practices.- A Review of Social Media Marketing on Digital Savvy Brand Shoppers.- Online Buying Behavior of UK University Students.- Factors Impacting A UK Based Software Business on International Expansion.- The Role of Blockchain Technology and Student Coin Case in Saudi Arabia's Higher Education Sector. The Challenge of Achieving 2030 Vision.- Part V: Special Session 2: Applications of Technology for Mental Health.- Research Protocol for a Preliminary Evaluation of a Gamified Tool for Adult Wellbeing.- Development and Evaluation of „Perspective: Counselling Simulator“: A Gamified Tool for Developing Risk-Assessment Skills in Trainee Counsellors.- Initial Evaluation of a Mobile Therapeutic Game for Adolescent Anxiety Disorders.- New Technologies and Interventions to Improve the Mental Health of People with Diabetes.- Help over harm: Practical and ethical considerations for the evaluation and deployment of therapeutic games.- Positive addiction recovery for an online audience: Implementation design and user evaluation.- A solution for creating dynamic networks of symptoms based on patients’ big data in cognitive-behavioral functional analysis and therapy – participatory design protocol.- Therapists’ attitudes towards the use of AI in therapeutic practice: considering the therapeutic alliance.
£237.49
Springer International Publishing AG Fundamentals of Reinforcement Learning
Book SynopsisArtificial intelligence (AI) applications bring agility and modernity to our lives, and the reinforcement learning technique is at the forefront of this technology. It can outperform human competitors in strategy games, creative compositing, and autonomous movement. Moreover, it is just starting to transform our civilization.This book provides an introduction to AI, specifies machine learning techniques, and explores various aspects of reinforcement learning, approaching the latest concepts in a didactic and illustrated manner. It is aimed at students who want to be part of technological advances and professors engaged in the development of innovative applications, helping with academic and industrial challenges.Understanding the Fundamentals of Reinforcement Learning will allow you to: Understand essential AI concepts Gain professional experience Interpret sequential decision problems and solve them with reinforcement learning Learn how the Q-Learning algorithm works Practice with commented Python code Find advantageous directions Table of ContentsChapter. 1. IntroductionChapter. 2. ConceptsChapter. 3. Q-Learning algorithmChapter. 4. Development toolsChapter. 5. Practice with codeChapter. 6. Recent applications and future researchIndex.
£53.99
Springer International Publishing AG Advances in Practical Applications of Agents,
Book SynopsisThis book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023.The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.Table of ContentsPAAMS 2023 - MAIN TRACK.- Brain waves classification using a single-channel dry EEG headset: an application for controlling an intelligent wheelchair.- AJAN: An Engineering Framework for Semantic Web-Enabled Agents and Multi-Agent Systems.- Adaptive consumption by continuous negotiation.- When Extrinsic Payoffs meet Intrinsic Expectations.- Multi-Agent Reinforcement Learning for Structured Symbolic Music Generation.- A multi-level density-based crowd simulation architecture.- Resolving the Dilemma of Responsibility in Multi-Agent Flow Networks.- Lessons Learned on the Design of a Predictive Agent for LoRaWAN Network Planning.- A solution concept with an exploration bias for repeated stochastic coalitional games.- Governing online forum interactions with multi-agent system: A Reddit use case with the JaCaMo platform.- Fuzzy Hyperplane based Twin-KSVC and Its Applications to Stock Price Movement Direction Prediction Based on News Articles.- Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization.- A Decentralized Resource Allocation Protocol in Social Networks.- Multi-agent learning of causal networks in the Internet of Things.- Investigation of Integrating Solution Techniques for Lifelong MAPD Problem Considering Endpoints.- Towards Norm Entrepreneurship in Agent Societies.- Velluscinum: A Middleware for Using Digital Assets in Multi-Agent Systems.- Parking Problem with Multiple Gates.- UAV Swarm Control and Coordination Using Jason BDI Agents on top of ROS.- Traffic Assignment Optimization using Flow-based Multi-Maps.- A Monitoring Agent for Advancing Elderly Care through Mobile Health Technology.- Extrinsic Emotion Regulation by Intelligent Agents: A computational model based on Arousal-Valence dimensions.- Optimization of Complex Systems in Photonics by Multi-Agent Robotic Control.- GTG-CoL: A new Decentralized Federated Learning based on Consenssus for dynamic networks.- A novel framework for multi-agent knowledge-based federated learning systems.- Exploring Planner-Guided Swarms Running on Real Robots.- Integrating Policy Summaries with Reward Decomposition for Explaining Reinforcement Learning Agents.- A Multi-Agent Based Dynamic Network Slice Tarification Framework.- An IDE to Support the Development of Embedded Multi-Agent Systems. Bioinspired Artificial Cockroach Colony Strategy combined with 2-type Fuzzy Logic for the Priority-Based Sanitization of Railway Stations.- Embedding Autonomous Agents into Low-Power Wireless Sensor Networks.- Safe Autonomous Decision-Making with vGOAL.- PAAMS 2023 - DEMONSTRATIONS.- Towards Exception Handling in the SARL Agent Platform.- Multi-Agent Path Finding for Indoor Quadcopters.- Energy community integration of a smart home based on an open source multiagent system.- Cognitive Assistant for Enhanced eHealth Monitoring.- Extended Green Cloud - Modeling Cloud Infrastructure with Green Energy Sources.
£61.74
Springer International Publishing AG The Future is Digital: How Complexity and
Book SynopsisThis book describes in an easily accessible way how artificial intelligence (AI) will help us to overcome the ongoing rise in complexity and thus shape our lives and work in a not-too-distant future. AI has proven to be the latest tool for resolving issues created by the most recent surge in complexity, and the corollary is: those who delay or ignore AI, will be overwhelmed by complexity. The book starts with a broad description of the coevolution of technology and society that irreversibly leads to the sharp increase in complexity of our socioeconomic environment. The second chapter then covers concepts and principles of the new science of complexity which helps us to understand issues caused by socioeconomic complexity and provides methods for resolving them. Subsequently, a beginner’s guide to artificial intelligence helps readers to glance at fundamentals of this powerful technology capable of resolving issues created by socioeconomic complexity. The danger of allowing intelligent digital systems to make high-risk decisions as well as the consequences of possible misuse of AI for fraud and fake are also discussed. The following chapter explores the concepts of natural and digital ecosystems. Digital transformation of rigidly structured corporations and administrations into adaptive and evolving organisations are illustrated by a number of case studies. Next, the current hectic transition of industrial to digital society is described, its origins identified and outcomes predicted, highlighting issues created by the increase in complexity and showing how to resolve them using thinking tools such as a complexity mindset and digital tools such as artificial intelligence. Eventually, the last two chapters outline the author’s vision of the future digital economy and digital society. This book is accessible to everyone who is curious to glimpse into the future, no previous special knowledge of digital technology is required. Especially decision makers in politics, business, administration, banking, policy making, education, healthcare and defence, and their advisors will benefit from the book, as it will help them to contribute to the creation of the brave new digital world. It may also support investors to recognise which elements of digital technology will play the most important role in the near future.Table of Contents1. Coevolution of Technology and Society.- 2. A Gentle Guide to Complexity.- 3. Artificial Intelligence: Friend or FOE.- 4. Natural and Digital Ecosystems.- 5. We are in Transition from Industrial to Digital Economy.- 6. The New Digital Economy.- 7. The New Digital Society.
£25.19
Springer International Publishing AG Business Intelligence: 8th International
Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference on Business Intelligence, CBI 2023, which held in Istanbul, Turkey, during July 19–21, 2023.The 15 full papers included in this book were carefully reviewed and selected from 50 submissions. They were organized in topical sections as follows: artificial intelligence and business intelligence; and optimization and decision support. Table of ContentsArtificial Intelligence and Business Intelligence.- A business intelligence system for governing risks in SMEs.- A Systematic Analysis for Machine Learning Based Cow Price Prediction.- Deep learning models for cybersecurity in IoT networks.- Diabetes prediction by machine learning algorithms and risks factors.- Machine learning prediction of weather-induced road crash events for experienced and novice drivers: Insights from a driving simulator study.- Ontology-based Mediation with Quality Criteria.- Predicting driving license applicant’s performance for Car Reverse Test System.- Optimization and Decision Support.- A Comparative Study on the implementation of Blockchain in Supply Chain Models.- A Hybrid Approach of Dijkstra’s algorithm and A* search, with an optional adaptive threshold heuristic.- Causal Discovery and features importance analysis: What can be inferred about at-risk students?.- Computational features and applications of an inhomogeneous Gompertz diffusion process?.- Localization and Navigation of ROS-based Autonomous Robot in Hospital Environment.- Three-Phase Hybrid Evolutionary Algorithm for the Bi-Objective Travelling Salesman Problem.- Understanding Data Journalism Acceptance among Social TV Users: A Case Study of Twitter in the United Arab Emirates.- Unveiling the Performance Insights: Benchmarking Anomaly-Based Intrusion Detection Systems using Decision Tree Family Algorithms on the CICIDS2017 Dataset.
£47.49
Springer International Publishing AG Geometric Science of Information: 6th
Book SynopsisThis book constitutes the proceedings of the 6th International Conference on Geometric Science of Information, GSI 2023, held in St. Malo, France, during August 30-September 1, 2023. The 125 full papers presented in this volume were carefully reviewed and selected from 161 submissions. They cover all the main topics and highlights in the domain of geometric science of information, including information geometry manifolds of structured data/information and their advanced applications. The papers are organized in the following topics: geometry and machine learning; divergences and computational information geometry; statistics, topology and shape spaces; geometry and mechanics; geometry, learning dynamics and thermodynamics; quantum information geometry; geometry and biological structures; geometry and applications.Table of ContentsGeometry and machine learning.- Divergences and computational information geometry.- Statistics, topology and shape spaces.- Geometry and mechanics.- Geometry, learning dynamics and thermodynamics.- Quantum information geometry.- Geometry and biological structures.- Geometry and applications.
£66.49
Springer International Publishing AG Geometric Science of Information: 6th
Book SynopsisThis book constitutes the proceedings of the 6th International Conference on Geometric Science of Information, GSI 2023, held in St. Malo, France, during August 30-September 1, 2023. The 125 full papers presented in this volume were carefully reviewed and selected from 161 submissions. They cover all the main topics and highlights in the domain of geometric science of information, including information geometry manifolds of structured data/information and their advanced applications. The papers are organized in the following topics: geometry and machine learning; divergences and computational information geometry; statistics, topology and shape spaces; geometry and mechanics; geometry, learning dynamics and thermodynamics; quantum information geometry; geometry and biological structures; geometry and applications.Table of ContentsGeometry and machine learning.- Divergences and computational information geometry.- Statistics, topology and shape spaces.- Geometry and mechanics.- Geometry, learning dynamics and thermodynamics.- Quantum information geometry.- Geometry and biological structures.- Geometry and applications.
£75.99
Springer International Publishing AG Automated Deduction – CADE 29: 29th International
Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.Table of ContentsCertified Core-Guided MaxSAT Solving.- Superposition with Delayed Unification.- On Incremental Pre-processing for SMT.- Verified Given Clause Procedures.- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.- An Isabelle/HOL Formalization of the SCL(FOL) Calculus.- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.- Formal Reasoning about Influence in Natural Sciences Experiments.- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).- SAT-Based Subsumption Resolution.- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper).- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper).- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT.- Proving Termination of C Programs with Lists.- Reasoning about Regular Properties: A Comparative Study.- Program Synthesis in Saturation.- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.- Verification of NP-hardness Reduction Functions for Exact Lattice Problems.- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.- Left-Linear Completion with AC Axioms.- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+.- Theorem Proving in Dependently-Typed Higher-Order Logic.- Towards Fast Nominal Anti-Unification of Letrec-Expressions.- Confluence Criteria for Logically Constrained Rewrite Systems.- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper).- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness.- Decidability of difference logic over the reals with uninterpreted unary predicates.- Incremental Rewriting Modulo SMT.- Iscalc: an Interactive Symbolic Computation Framework (System Description).
£33.24
Springer International Publishing AG Biomimetic and Biohybrid Systems: 12th
Book SynopsisThis book constitutes the proceedings of the 12th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2022, in Genoa, Italy, held in July 19–22, 2022. The 44 full papers and 14 short papers presented were carefully reviewed and selected from 67 submissions. They deal with research on novel life-like technologies inspired by the scientific investigation of biological systems, biomimetics, and research that seeks to interface biological and artificial systems to create biohybrid systems. The conference aims to highlight the most exciting research in both fields united by the theme of “Living Machines.”Table of ContentsModel reveals joint properties for which co-contracting antagonist muscles increases joint stiffness.- Biarticular muscles improve the stability of a neuromechanical model of the rat hindlimb.- Multimodal Parameter Inference for a Canonical Motor Microcircuit Controlling Rat Hindlimb Motion.- Towards a Soft Artificial Larynx: A Biomimetic Design.- A multibody approach for the finger force estimation of a robotic hand.- A Pneumatic Bending Actuator System Inspired by the Avian Tendon Locking Mechanism.- Study and preliminary modeling of microstructure and morphology of the elephant trunk skin.- Development of a Robotic Rat Hindlimb Model.- Toward a more realistic 3D biomimetic soft robotic tongue to investigate oral processing of semi-solid foods.- Optimization of Kirigami-Inspired Fingers Grasping Posture in Virtual Environments.- BrainX3: A neuroinformatic tool for interactive exploration of multimodal brain datasets.- Sporify: An Automated Tool to Quantify Spores in Z-Stacked 3D Samples.- A Comparison of Absolute and Relative Neural Encoding Schemes in Addition and Subtraction Functional Subnetworks.- GANGLIA: A tool for designing customized neuron circuit patterns.- The Tall, the Squat,and the Bendy: Parametric Modeling and Simulation Towards Multi-functional Biohybrid Robots.- A Simple Dynamic Controller for Emulating Human Balance Control.- Motivational modulation of consummatory behaviour and learning in a robot model of spatial navigation.- Topical grouping of thousands of Biomimetics articles according to their goals, results and methods.- Biomimetics Analyzed: Examples from an Epistemological and Ontological Perspective.- Feed Me: Robotic Infiltration of Poison Frog Families.- Triboelectric charging during insect walking on leaves: a potential tool for sensing plant-insect interactions.- Slug Battery: An Enzymatic Fuel Cell Tested in vitro in Aplysia californica Hemolymph.- Mycelium Bridge as a Living Electrical Conductor: Access Point to Soil Infosphere.- Living organisms as sensors for biohybrid monitoring systems.- Autonomous versus Manual Control of a Pasture Sanitation Robot.- A novel steerable catheter controlled with a biohybrid actuator: a feasibility study.
£107.99
Springer International Publishing AG Mobile Web and Intelligent Information Systems:
Book SynopsisThis book constitutes the refereed proceedings of the 19th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2023, held in Marrakech, Morocco, during August 14–16, 2023.The 18 full papers and 1 short papers presented in this book were carefully reviewed and selected from 54 submissions. The papers are divided into the following topical sections: smart and intelligent systems; digital systems in healthcare services; SDN, IoT and edge computing; mobile interfaces and interactivity; machine learning and stochastic methods; and advanced mobile applications. Table of ContentsSmart and Intelligent Systems: Factors Affecting Mobile Augmented Reality Acceptance: A Study on Traveler Information in Public Transport.- RSITS: Road safety Intelligent Transport System in Deep Federated Learning Assisted Fog Cloud Networks.- Gamified DAOs as Blockchain-Based Catalysts for Prosocial and Environmentally Oriented Cities.- Digital Systems in Healthcare Services: Harnessing the Digital Revolution: A Comprehensive Review of mHealth Applications for Remote Monitoring in Transforming Healthcare Delivery.- Medical Test Results Management System based on Blockchain, Smart Contracts, and NFT Technologies.- Intelligent Identification of Respiratory Diseases: Covid-19 and Similar Virus Cases.- SDN, IoT and Edge Computing: Minimizing User Connectivity Costs and Latency between controllers and switch-controllers for Software Defined Networking.- Fuzzy Data Deduplication at Edge Nodes in Connected Environments.- Towards Liquid AI in IoT with Web Assembly: A Prototype Implementation.- Mobile Interfaces and Interactivity: Interactive Behavior Change Model (IBCM 8.0): Theory & Ontology.- A Comparison of YOLOv5 and YOLOv8 in the Context of Mobile UI Detection.- Urban Data Platforms as Added-value Systems for Citizens.- Machine Learning and Stochastic Methods: Optimisation of a Chemical Process by using Machine Learning Algorithms with Surrogate Modeling.- Granular Traceability between Requirements and Test Cases for Safety Critical Software Systems.- Maximizing Signal to Interference Noise Ratio for Massive MIMO: A Stochastic Neurodynamic Approach.- Advanced Mobile Applications: Towards a cash-on-delivery system based on Blockchain technology for developing countries: a case study in Vietnam.- MITRE ATT&CK threat modelling extensions for mobile threats.- Virtual Career Advisor System.
£47.49
Springer International Publishing AG Database and Expert Systems Applications: 34th
Book SynopsisThe two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.The 49 full papers presented together with 35 short papers were carefully reviewed and selected from a total of 155 submissions. The papers are organized in topical sections as follows:Part I: Data modeling; database design; query optimization; knowledge representation; Part II: Rule-based systems; natural language processing; deep learning; neural networks.Table of ContentsRule-Based Systems.- RD-Classifier: Reduced Dimensionality Classifier for Alzheimer‘s Diagnosis Sup-port System.- User Interactions-aware Knowledge Graphs for Recommender Systems.- How Does the System Perceive Me? --- A Transparent and Tunable Recommender System.- MERIHARI-Area Tour Planning by Considering Regional Characteristics. -Financial Argument Quality Assessment in Earnings Conference Calls.- Explaining Decisions of Black-box Models using BARBE.- Efficient Video Captioning with Frame Similarity-based Filtering.- Trace-based Anomaly Detection with Contextual Sequential Invocations.- Fusing Fine-grained Information of Sequential News for Personalized News Recommendation.- A Finite- Domain Constraint-based Approach on the Stockyard Planning Problem.- Data Analytics Framework for Smart Waste Management Optimisation: A Key to Sustainable Future for Councils and Communities.- Natural Language Processing.- Hierarchy-aware Bilateral-Branch Network for Imbalanced Hierarchical Text Classification.- Multi-Feature and Multi-Channel GCNs for Aspect Based Sentiment Analysis.- Knowledge Injection for Aspect-Based Sentiment Classification.- Towards Ensemble-based Imbalanced Text Classification using Metric Learning.- Target and Precursor named entities recognition from scientific texts of high-temperature steel using deep neural network.- Enabling PII Discovery in Textual Data via Outlier Detection. -Deep Learning.- An Efficient Embedding Framework for Uncertain Attribute Graph.- Double-layer Attention for Long Sequence Time-Series Forecasting.- Multi-core Adaptive Merging of the Secondary Index for LSM-based Stores.- CAGAIN: Column Attention Generative Adversarial Imputation Networks.- CF-SAFF: Collaborative Filtering based on Self-Attention Mechanism and Feature Fusion.- Except-Condition Generative Adversarial Network for Generating Trajectory Data. - Next POIs Prediction for Group Recommendations: Influence-based Deep Learning Model. - Interpreting Deep Text Quantification Models.- NExtGCN: Modeling Node Importance of Graph Convolution Network by Neighbor Excitation for Recommendation.- Dual Congestion-aware Route Planning for Tourists by Multi-agent Reinforcement Learning.- Subspace Clustering Technique Using Multi-Objective Functions for Multi-class Categorical Data.- Neural Networks.- Multi-task Graph Neural Network for Optimizing the Structure Fairness.- Few-Shot Multi-Label Aspect Category Detection Utilizing Prototypical Network with Sentence-Level Weighting and Label Augmentation.- Toward Healthy Aging: Temporal Regression for Disability Prediction and Warning Decision-Making.- A Label Embedding Method via Conditional Covariance Maximization for Mul-ti-label Classification.- Integrally Private Model Selection for Deep Neural Networks.- Gaussian Process Component Mining with the Apriori Algorithm.- Learnable Filter Components For Social Recommendation.- Efficient Machine Learning-Based Prediction of CYP450 Inhibition.- A Machine-Learning Framework for Supporting Content Recommendation via User Feedback Data and Content Profiles in Content Managements Systems.- Fine-tuning Pre-Trained Model for Consumer Fraud Detection from Consumer Reviews.- Deep Multi-Interaction Hidden Interest Evolution Network for Click-through Rate Prediction.- Temporal Semantic Attention Network for Aspect-Based Sentiment Analysis.- Celestial Machine Learning from Data to Mars and Beyond with AI Feynman.
£98.99
Springer International Publishing AG Case-Based Reasoning Research and Development:
Book SynopsisThis book constitutes the proceedings of the 31st International Conference on Case-Based Reasoning Research and Development, ICCBR 2023, which took place in Aberdeen, UK, in July 2023. The 26 full papers included in this book were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections as follows: CBR and deep learning; representation and similarity; CBR and explainable AI; case base maintenance; adaptation: techniques and application; and case-based applications.Table of ContentsCBR and Deep Learning.- Examining the Impact of Network Architecture on Extracted Feature Quality for CBR.- Synergies between Case-based Reasoning and Deep Learning for Survival Analysis in Oncology.- CBR Assisted Context-Aware Surface Realisation for Data-to-Text Generation.- Representation and Similarity.- Explanation of Similarities in Process-Oriented Case-Based Reasoning by Visualization.- On-demand and model-driven case building based on distributed data sources.- The Case for Circularities in Case-Based Reasoning.- A Contextual Information-augmented Probabilistic Case-based Reasoning Model for Knowledge Graph Reasoning.- Case-based Sample Generation using Multi-Armed Bandits.- Hybrid Event Memory as a Case Base for State Estimation in Cognitive Agents.- CBR and Explainable AI Cases are King: A User Study of Case Presentation to Explain CBR Decisions.- CBR driven Interactive Explainable AI.- Selecting Explanation Methods for Intelligent IoT Systems: a Case-Based Reasoning Approach.- Case Based Explanation for Time Series Forecasting Models.- Case Base Maintenance.- Group Fairness in Case-Based Reasoning.- Addressing Underestimation Bias in CBR through Case-Base Maintenance.- The Problem Drift Problem and First Steps Towards Addressing It.- Adaptation: Techniques and Application Case-Based Adaptation of Argument Graphs with WordNet and Large Language Models.- Failure-Driven Transformational Case Reuse of Explanation Strategies in CloodCBR.- A Case-Based Approach for Workflow Flexibility by Deviation.- Lazy Adaptation Knowledge Learning based on Frequent Closed Itemsets.- Case-Based Applications.- An Overview and Comparison of Case-Based Reasoning Frameworks.- Case-Based Cleaning of Text Images.- A Multi-agent Case-based Reasoning Intrusion Detection System Prototype.- A Case-Based Reasoning Approach to Company Sector Classification Using a Novel Time-Series Case Representation.- An Integrated Approach to Predicting the Influence of Reputation Mechanisms on Q&A Communities.- Retrieval of similar cases to improve the diagnosis of diabetic retinopathy.
£61.74
Springer International Publishing AG Implementation and Application of Automata: 27th
Book SynopsisThis book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19–22, 2023. The 20 regular papers presented in this book together with invited talks were carefully reviewed and selected from 30 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.Table of ContentsFinite automata as verifiers.- Binary Coded Unary Regular Languages.- A Survey on Automata with Translucent Letters.- Earliest Query Answering for Deterministic Stepwise Hedge Automata.- Constrained Multi-Tildes.- On the smallest synchronizing terms of finite tree automata.- Universal First-Order Quantification over Automata.- Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions.- Sweep complexity revisited.- The Pumping Lemma for Regular Languages is Hard.- M-equivalence of Parikh Matrix over a Ternary Alphabet.- Operational Complexity in Subregular Classes.- When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem.- Enhanced Ternary Fibonacci Codes.- Sweeping Input-Driven Pushdown Automata.- Verified Verifying: SMT-LIB for Strings in Isabelle.- Weighted Bottom-up and Top-down Tree Transformations Are Incomparable.- Deciding whether an Attributed Translation can be realized by a Top-Down Transducer.- A time to cast away stones.- Two-way Machines and de Bruijn Words.- Transduction of Automatic Sequences and Applications.- Measuring Power of Generalised Definite Languages.- Smaller Representation of Compiled Regular Expressions.
£47.49
Springer International Publishing AG Knowledge Science, Engineering and Management:
Book SynopsisThis volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management. Table of ContentsKnowledge Science with Learning and AI.- Joint Feature Selection and Classifier Parameter Optimization: A Bio-inspired Approach.- Automatic Gaussian Bandwidth Selection for Kernel Principal Component Analysis.- Boosting LightWeight Depth Estimation Via Knowledge Distillation.- Graph Neural Network with Neighborhood Reconnection.- Critical Node Privacy Protection Based on Random Pruning of Critical Trees.- DSEAformer: Forecasting by De-stationary Autocorrelation with Edgebound.- Multitask-based Cluster Transmission for Few-Shot Text Classification.- Hyperplane Knowledge Graph Embedding with Path Neighborhoods and Mapping Properties.- RTAD-TP: Real- Time Anomaly Detection Algorithm for Univariate Time Series Data Based on Two- Parameter Estimation.- Multi-Sampling Item Response Ranking Neural Cognitive Diagnosis with Bilinear Feature Interaction.- A Sparse Matrix Optimization Method for Graph Neural Networks Training.- Dual-dimensional Refinement of Knowledge Graph Embedding Representation.- Contextual Information Augmented Few-Shot Relation Extraction.- Dynamic and Static Feature-aware Microservices Decomposition via Graph Neural Networks.- An Enhanced Fitness-distance Balance Slime Mould Algorithm and Its Application in Feature Selection.- Low Redundancy Learning for Unsupervised Multi-view Feature Selection.- Dynamic Feed-Forward LSTM.- Black-box Adversarial Attack on Graph Neural Networks Based on Node Domain Knowledge.- Role and Relationship-Aware Representation Learning for Complex Coupled Dynamic Heterogeneous Networks.- Twin Graph Attention Network with Evolution Pattern Learner for Few-Shot Temporal Knowledge Graph Completion.- Subspace Clustering with Feature Grouping for Categorical Data.- Learning Graph Neural Networks on Feature-Missing Graphs.- Dealing with Over-reliance on Background Graph for Few-shot Knowledge Graph Completion.- Kernel-based feature extraction for time series clustering.- Cluster Robust Inference for embedding-based Knowledge Graph Completion.- Community-enhanced Contrastive Siamese networks for Graph Representation Learning.- Distant Supervision Relation Extraction with Improved PCNN and Multi-level Attention.- Enhancing Adversarial Robustness via Anomaly-aware Adversarial Training.- An Improved Cross-Validated Adversarial Validation Method.- EACCNet: Enhanced Auto-Cross Correlation Network for Few-Shot Classification.- Joint Label-Structure Estimation from Multifaceted Graph Data.- Dual Channel Knowledge Graph Embedding with Ontology Guided Data Augmentation.- Multi-Dimensional Graph Rule Learner.- MixUNet: A Hybrid Retinal Vessels Segmentation Model Combining The Latest CNN and MLPs.- Robust Few-shot Graph Anomaly Detection via Graph Coarsening.- An Evaluation Metric for Prediction Stability with Imprecise Data.- Reducing The Teacher-Student Gap Via Elastic Student.
£61.74
Springer International Publishing AG Knowledge Science, Engineering and Management:
Book SynopsisThis volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management. Table of ContentsKnowledge Engineering Research and Applications.- Knowing before Seeing: Incorporating Post-Retrieval Information into Pre-Retrieval Query Intention Classification.- LSRN: Live-Streaming Identification Based on Reasoning Network with Core Traffic Set.- Implicit Offensive Speech Detection Based on Multi-feature Fusion.- SIE-YOLOv5: Improved YOLOv5 for Small Object Detection in Drone-Captured-Scenarios.- Learning-based Dichotomy Graph Sketch for Summarizing Graph Streams with High Accuracy.- SNAFA-Net: Squared Normalization Attention and Feature Alignment for Visible-Infrared Person Re-identification.- A comparative study of chatbot response generation: traditional approaches versus large language models.- Investigating the Impact of Product Contours on User Perception of Product Attributes.- Conf-UNet: A model for speculation on unknown Oracle Bone Characters.- An Efficient One-Shot Network and Robust Data Associations in Multi-Pedestrian Tracking.- Sampling Spatial-Temporal Attention Network for Traffic Forecasting.- ST-MAN: Spatio-Temporal Multimodal Attention Network for Traffic Prediction.- Sparse-view CT Reconstruction via Implicit Neural Intensity Functions.- Tennis action recognition based on multi-branch mixed attention.- Cascade Sampling via Dual Uncertainty for Active Entity Alignment.- Template Shift and Background Suppression for Visual Object Tracking.- Reversible Data Hiding in Encrypted Images Based on A Multi-Granularity Adaptive Classification Mechanism.- Enhanced Entity Interaction Modeling for Multi-modal Entity Alignment.- Monte Carlo Medical Volume Rendering Denoising via Auxiliary Feature Guided Self-Attention and Convolution Integrated.- View Distribution Alignment with Progressive Adversarial Learning for UAV Visual Geo-Localization.- HBay: Predicting Human Mobility via Hyperspherical Bayesian Learning.- Spatial-Temporal Diffusion Probabilistic Learning for Crime Prediction.- DBA: An Efficient Approach to Boost Transfer-based Adversarial Attack Performance through Information Deletion.- A Graph Partitioning Algorithm Based on Graph Structure and Label Propagation for Citation Network Prediction.- Hybrid Heterogeneous Graph Neural Networks for Fund Performance Prediction.- WGCN: A Novel Wavelet Graph Neural Network for Metro Ridership Prediction.- GMiRec: A Multi-image Visual Recommendation Model based on a Gated Neural Network.- Semi-supervised entity alignment via noisy student-based self training.- Modeling Chinese Ancient Book Catalog.- JOINT EXTRACTION OF NESTED ENTITIES AND RELATIONS BASED ON MULTI-TASK LEARNING.- A Grasping System with Structured Light 3D Machine Vision Guided Strategy Optimization.- A Cognitive Knowledge Enriched Joint Framework for Social Emotion and Cause Mining.- TKSP: Long-term Stance Prediction for Social Media Users by Fusing Time Series Features and Event Dynamic Evolution Knowledge.- A Cross-Document Coreference Resolution Approach to Low-Resource Languages.- Network Flow Based IoT Anomaly Detection Using Graph Neural Network.- Disentangled Multi-factor Graph Neural Network for Non-coding RNA-drug Resistance Association Prediction.
£61.74
Springer International Publishing AG Knowledge Science, Engineering and Management:
Book SynopsisThis volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management. Table of ContentsKnowledge Management Systems.- Explainable Multi-type Item Recommendation System based on Knowledge Graph.- A 2D Entity Pair Tagging Scheme for Relation Triplet Extraction.- MVARN: Multi-view attention relation network for figure question answering.- MAGNN-GC: Multi-Head Attentive Graph Neural Networks with Global Context for Session-based Recommendation.- Chinese Relation Extraction with Bi-directional Context-based Lattice LSTM.- MA-TGNN: Multiple Aggregators Graph-Based Model for Text Classification.- Multi-Display Graph Attention Network for Text Classification.- Debiased Contrastive Loss for Collaborative Filtering.- ParaSum: Contrastive Paraphrasing for Low-resource Extractive Text Summarization.- Degree-aware embedding and Interactive feature fusion-based Graph Convolution Collaborative Filtering.- Hypergraph Enhanced Contrastive Learning for News Recommendation.- Reinforcement Learning-Based Recommendation with User Reviews on Knowledge Graphs.- A Session Recommendation Model based on Heterogeneous Graph Neural Network.- Dialogue State Tracking with a Dialogue-aware Slot-Level Schema Graph Approach.- FedDroidADP: An Adaptive Privacy-Preserving Framework for Federated-Learning-based Android Malware Classification System.- Multi-level and Multi-interest User Interest Modeling for News Recommendation.- CoMeta: Enhancing Meta Embeddings with Collaborative Information in Cold-start Problem of Recommendation.- A Graph Neural Network for Cross-Domain Recommendation Based on Transfer and Inter-Domain Contrastive Learning.- A Hypergraph Augmented and Information Supplementary Network for Session-based Recommendation.- Candidate-aware Attention Enhanced Graph Neural Network for News Recommendation.- Heavy Weighting for Potential Important Clauses.- Knowledge-Aware Two-Stream Decoding for Outline-Conditioned Chinese Story Generation.- Multi-Path based Self-Adaptive Cross-Lingual Summarization.- Temporal Repetition Counting Based on Multi-Stride Collaboration.- Multi-layer Attention Social Recommendation System based on Deep Reinforcement Learning.- SPOAHA: Spark program optimizer based on Artificial Hummingbird Algorithm.- TGKT-based Personalized Learning Path Recommendation with Reinforcement Learning.- Fusion High-Order information with Nonnegative Matrix Factorization Based Community Infomax for Community Detection.- Multi-task learning based skin segmentation.- User Feedback-based Counterfactual Data Augmentation for Sequential Recommendation.- Citation Recommendation Based on Knowledge Graph and Multi-task Learning.- A Pairing Enhancement Approach for Aspect Sentiment Triplet Extraction.- The Minimal Negated Model Semantics of Assumable Logic Programs.- MT-BICN: Multi-task Balanced Information Cascade Network for Recommendation.
£61.74
Springer International Publishing AG Knowledge Science, Engineering and Management:
Book SynopsisThis volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management. Table of ContentsEmerging technologies for Knowledge science, engineering and management.- Federated Prompting and Chain-of-Thought Reasoning for Improving LLMs Answering.- Advancing Domain Adaptation of BERT by Learning Domain Term Semantics.- Deep Reinforcement Learning for Group-Aware Robot Navigation in Crowds.- An Enhanced Distributed Algorithm for Area Skyline Computation based on Apache Spark.- TCMCoRep: Traditional Chinese Medicine data mining with Contrastive Graph Representation Learning.- Local-Global Fusion Augmented Graph Contrastive Learning Based on Generative Models.- PRACM: Predictive Rewards for Actor-Critic with Mixing Function in Multi-Agent Reinforcement Learning.- A Cybersecurity Knowledge Graph Completion Method for Scalable Scenarios.- Research on remote sensing image classification based on Transfer learning and Data Augmentation.- Multivariate Long-Term Traffic Forecasting with Graph Convolutional Network and Historical Attention Mechanism.- Multi-hop Reading Comprehension Learning Method Based on Answer Contrastive Learning.- Importance-based Neuron Selective Distillation for Interference Mitigation in Multilingual Neural Machine Translation.- Are GPT Embeddings Useful for Ads and Recommendation?.- Modal interaction-enhanced Prompt Learning by transformer decoder for Vision-Language Models.- Unveiling Cybersecurity Threats from Online Chat Groups: A Triple Extraction Approach.- KSRL: Knowledge Selection based Reinforcement Learning for Knowledge-Grounded Dialogue.- Prototype-Augmented Contrastive Learning for Few-shot Unsupervised Domain Adaptation.- Style Augmentation and Domain-aware Parametric Contrastive Learning for Domain Generalization.- Recent Progress on Text Summarisation Based on BERT and GPT.- Ensemble Strategy Based on Deep Reinforcement Learning for Portfolio Optimization.- A Legal Multi-Choice Question Answering Model Based on BERT and Attention.- Offline Reinforcement Learning with Diffusion-Based Behavior Cloning Term.- Evolutionary Verbalizer Search for Prompt-based Few Shot Text Classification.- Graph Contrastive Learning Method with Sample Disparity Constraint and Feature Structure Graph for Node Classification.- Learning Category Discriminability for Active Domain Adaptation.- Multi-Level Contrastive Learning for Commonsense Question Answering.- Efficient Hash Coding for Image Retrieval based on Improved Center Generation and Contrastive Pre-training Knowledge Model.- Univarite Time Series Forecasting via Interactive Learning.- Task Inference for Offline Meta Reinforcement Learning via Latent Shared Knowledge.- A Quantitative Spectra Analysis Framework Combining Mixup and Band Attention for Predicting Soluble Solid Content of Blueberries.- Contextualized Hybrid Prompt-Tuning for Generation-Based Event Extraction.- udPINNs: An Enhanced PDE Solving Algorithm Incorporating Domain of Dependence Knowledge.- Joint Community and Structural Hole Spanner Detection via Graph Contrastive Learning.- A Reinforcement Learning-based Approach for Continuous Knowledge Graph Construction.- A Multifactorial Evolutionary Algorithm based on Model Knowledge Transfer.- Knowledge Leadership, AI Technology Adoption and Big Data Application Ability.- RFLSem: A lightweight model for textual sentiment analysis.
£61.74
Springer International Publishing AG Text, Speech, and Dialogue: 26th International
Book SynopsisThis book constitutes the refereed proceedings of the 26th International Conference on Text, Speech, and Dialogue, TSD 2023, held in Pilsen, Czech Republic, during September 4–6, 2023. The 31 full papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 64 submissions. The conference attracts researchers not only from Central and Eastern Europe but also from other parts of the world. One of its goals has always been bringing together NLP researchers with various interests from different parts of the world and promoting their cooperation. One of the ambitions of the conference is, not only to deal with dialogue systems but also to improve dialogue among researchers in areas of NLP, i.e., among the “text” and the “speech” and the “dialogue” people.Table of ContentsText: Japanese How-to Tip Machine Reading Comprehension by Multi-task Learning based on Generative Model.- One model to rule them all: ranking Slovene summarizers.- Searching for Reasons of Transformers’ Success: Memorization vs Generalization.- A Dataset and Strong Baselines for Classification of Czech News Texts.- Resolving Hungarian Anaphora with ChatGPT.- Advancing Hungarian Text Processing with HuSpaCy: Efficient and Accurate NLP Pipelines.- ParaDiom - A Parallel Corpus of Idiomatic Texts.- Measuring Sentiment Bias in Machine Translation.- Mono- and multilingual GPT-3 models for Hungarian.- The Unbearable Lightness of Morph Classification.- A German Parallel Clausal Coordinate Ellipsis Corpus that Aligns Sentences from the TüBa-D/Z Treebank with Reconstructed Canonical Forms.- Speech: Identifying Subjects Wearing a Mask from the Speech by Means of Encoded Speech Representations.- Impact of Including Pathological Speech in Pre-Training on Pathology Detection.- Morphological Tagging and Lemmatization of Spoken Corpora of Czech.- HATS: An Open data set Integrating Human Perception Applied to the Evaluation of Automatic Speech Recognition Metrics.- Online Speaker Diarization Using Optimized SE-ResNet Architecture.- CML-TTS: A Multilingual Dataset for Speech Synthesis in Low-Resource Languages (Speech (in general), Corpora and Language Resources, Spe.- Developing State-of-the-Art End-to-End ASR for Norwegian.- VITS: Quality vs. Speed Analysis.- When Whisper Meets TTS: Domain Adaptation Using Only Synthetic Speech Data.- Unsupervised Learning for Automatic Speech Recognition In Air Traffic Control Environment.- The Effect of Human-Likeliness in French Robot-Directed Speech: A Study of Speech Rate and Fluency.- An online diarization approach for streaming applications based on tree-clustering and Bayesian resegmentation.- Evaluation of Speech Representations for MOS prediction.- Unified Modeling of Multi-Domain Multi-Device ASR Systems.- Voice Cloning for Voice Disorders: Impact of Phonetic Content.- Towards End-to-end Speech-to-text Summarization.- Multilingual TTS Accent Impressions for Accented ASR.- Transfer Learning of Transformer-based Speech Recognition Models from Czech to Slovak.- Automatic Pronunciation Assessment of Non-native English based on Phonological Analysis.- Language Generalization using Active Learning in the context of Parkinson’s Disease Classification.
£56.99
Springer International Publishing AG Logic and Argumentation: 5th International
Book SynopsisThis book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.Table of ContentsLogic and Automated Deduction.- Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail.- Solving Modal Logic Problems by Translation to Higher-order Logic.- Formalizing the Unexpected Hanging Paradox: a Classical Surprise.- Abstract and Structured Argumentation.- Weakest Link in Formal Argumentation: Lookahead and Principle-based Analysis.- A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation.- Topological Conditions and Solutions for Repairing Argumentation Frameworks.- Dialogues, Games and Practical Reasoning.- Providing personalized Explanations: a Conversational Approach.- Audience irrelevance in Strategic Argumentation Games.- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning.- Quantitative Argumentation.- A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs.- Fuzzy Labeling Semantics for Quantitative Argumentation.- A Logic for Preference Lifting under Uncertainty and its Decidability.
£47.49
Springer International Publishing AG Graph-Based Representation and Reasoning: 28th
Book SynopsisThis book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11–13, 2023.The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity and Database Theory, Formal Concept Analysis: Theoretical Advances, Formal Concept Analysis: Applications, Modelling and Explanation, Semantic Web and Graphs, Posters.Table of ContentsComplexity and Database Theory.- Functional Dependencies with Predicates: What Makes the g3-error Easy to Compute?.- Formal Concept Analysis: Theoretical Advances.- Squared symmetric formal contexts and their connections with correlation matrices.- Aggregation Functions and Extent Structure Preservation in Formal Concept Analysis.- On pseudointents in Fuzzy Formal Concept Analysis.- Maximal Ordinal Two-Factorizations.- A Note on the Number of (Maximal) Antichains in the Lattice of set Partitions.- Formal Concept Analysis: Applications.- Formal Concept Analysis for Trace Clustering in Process Mining.- Summarization of massive RDF graphs using identifier classification.- Towards a Flexible and Scalable Data Stream Algorithm in FCA.- Modelling and Explanation.- Postmodern Human-Machine Dialogues: a Pedagogical Inquiry Experiment.- Conceptual Modelling with Euler+ Diagrams.- Automatic Textual Explanations of Concept Lattices.- Semantic Web and Graphs.- Ontology Population from French Classified Ads.- Graph Extraction for Assisting Crash Simulation Data Analysis.- Posters.- Factorization of formal contexts from modal operators.- Towards confirmation measures to mixed attribute implications.- Concept lattices as a reduction tool for fuzzy relation equations.- Analysis of Slovak Court Decisions by Formal Concept Analysis and Machine Learning Methods.
£42.74
Springer International Publishing AG Computational Collective Intelligence: 15th
Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27–29, 2023.The 63 full papers included in this book were carefully reviewed and selected from 218 submissions. They are organized in topical sections as follows: collective intelligence and collective decision-making; deep learning techniques; natural language processing; data mining and machine learning; social networks and intelligent systems; cybersecurity, blockchain technology and Internet of Things; cooperative strategies for decision making and optimization; computational intelligence for digital content understanding; knowledge engineering and application for Industry 4.0; computational intelligence in medical applications; and ensemble models and data fusion.Table of ContentsCollective Intelligence and Collective Decision-Making.- Hybrid Genetic Algorithms to Determine 2-Optimality Consensus for a Collective of Ordered Partitions.- From Fragmented Data to Collective Intelligence: A Data Fabric Approach for University Knowledge Management.- An Architecture for Enabling Collective Intelligence in IoT Networks.- Self-Organizing Maps for Data Purchase Support in Data Marketplaces.- Agent based model of elementary school group learning – a case study.- Deep Learning Techniques.- Deep Reinforcement Learning for Jointly Resource Allocation and Trajectory Planning in UAV-assisted Networks.- DNGAE: Deep Neighborhood Graph Autoencoder for robust blindhyperspectral unmixing.- Unlocking the Potential of Deep Learning and Filter Gabor for Facial Emotion Recognition.- Graph Convolution Collaborative Filtering with Dense Embeddings.- Automatic Quantization for Convolutional Neural Networks Based on Enhanced Bare-Bones Particle Swarm Optimization for Chest X-ray Image Classification.- A Convolutional Autoencoder Approach for Weakly Supervised Anomaly Video Detection.- Sparsity-invariant Convolution for Forecasting Irregularly Sampled Time Series.- Efficient Sparse Networks from Watts-Strogatz Network Priors.- Natural Language Processing.- Exploring the Role of Monolingual Data in Cross-Attention Pre-Training for Neural Machine Translation.- Development of a dictionary for preschool children with weak speech skills based on the Word2Vec method.- An abstractive automatic summarization approach based on a text comprehension model of cognitive psychology.- Detecting Duplicate Multiple Choice Questions in The Large Question Bank.- A Context-Aware Approach for Improving Dialog Act Detection in a Multilingual Conversational Platform.- Data Minning and Machine learning.- Efficient Association Rules Minimization Using a Double-Stage Quine-McCluskey-Based Approach.- Complexity-Based Code Embeddings.- Differentially Private Copulas, DAG and Hybrid Methods: a Comprehensive Data Utility Study.- Analysing Android Apps Classification and Categories Validation by using Latent Dirichlet Allocation.- Staircase Recognition based on Possibilistic Feature Quality Assessment Method.- Social Networks and Intelligent Systems.- Toward effective link prediction based on local information in organizational social networks.- A new topic modeling method for tweets comparison.- Measuring gender: A machine learning approach to social media demographics and author profiling.- Crisis Detection by Social and Remote Sensing Fusion: A selective Attention Approach.- Educational Videos Recommendation System Based On Topic Modeling.- Cybersecurity, Blockchain Technology and Internet of Things.- A Two-hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems.- Trust Assessment on Data Stream Imputation in IoT Environments.- Optimizing Merkle Tree Structure for Blockchain transactions by a DCProgramming approach.- Wearable Tag for Indoor Localization in the context of Ambient Assisted Living.- Hyperledger blockchain-enabled cold chain application for flower logistics.- A Fully Decentralized Privacy-Enabled Federated Learning System.- Cooperative Strategies for Decision Making and Optimization.- Two-dimensional Pheromone in Ant Colony Optimization.- Analysis of different reinsertion strategies in Steady State GeneticAlgorithm.- Traffic Optimization by Local Bacterial Memetic Algorithm.- Optimizing Fire Control Monitoring System in Smart Cities.- Computational Intelligence for Digital Content Understanding.- Desertification Detection in Satellite Images using Siamese Variational Autoencoder with Transfer Learning.- Speaker Identification Enhancement Using Emotional Features.- Classification of punches in Olympic boxing using static RGB cameras.- Learning Human Postures using Lab-Depth HOG Descriptors.- SemiMemes: A Semi-supervised Learning Approach for Multimodal Memes Analysis.- Extrinsic Calibration Framework for Camera-Lidar Fusion using Recurrent Residual Network.- GAN-based Data Augmentation and Pseudo-Label Refinement for Unsupervised Domain Adaptation Person Re-Identification.- Intelligent Automated Pancreas Segmentation using U-Net Model Variants.- Knowledge Engineering and Apllication for Industry 4.0.- Energy and Congestion Awareness Traffic Scheduling in HybridSoftware-Defined Network with Flow Splitting.- "Is Proton good enough?" - a performance comparison between gaming on Windows and Linux.- Complete Coverage and Path Planning for Emergency Response by UAVs in Disaster Areas.- Complete Coverage and Path Planning for Emergency Response by UAVs in Disaster Areas.- Complex layers of ranked prognostic models.- Project Team Members competences configuration: a proactive andreactive approach.- Computational Intelligence in Medical Applications.- Teeth disease recognition based on X-ray images.- Predicting Alzheimer’s Disease Diagnosis Risk over Time with Survival Machine Learning on the ADNI Cohort.- MEP: A Comprehensive Medicines Extraction System on Prescriptions.- New Approaches to Monitoring Respiratory Activity as Part of an Intelligent Model for Stress Assessment.- An Adaptive Network Model for Anorexia Nervosa: Addressing the Effects of Therapy.- ReVQ-VAE: A Vector Quantization-Variational Autoencoder for COVID-19 chest X-Ray image.- Ensemble Models and Data Fusion.- Credit Risk Scoring Using a Data Fusion Approach.- Goal-oriented Classification of Football Results.- Learning from Imbalanced Data Streams Using Rotation-based Ensemble Classifiers.- DE-Forest – optimized decision tree ensemble.- Mining multiple class imbalanced datasets using a specialized balancing algorithm and the Adaboost technique.- Investigation and prediction of Cognitive Load During Memory and Arithmetic Tasks.
£85.49
Springer International Publishing AG Artificial Intelligence and Soft Computing: 22nd
Book SynopsisThe two-volume set LNAI 14125 and 14126 constitutes the refereed conference proceedings of the 22nd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2023, held in Zakopane, Poland, during June 18–22, 2023. The 84 revised full papers presented in these proceedings were carefully reviewed and selected from 175 submissions. The papers are organized in the following topical sections: Part I: Neural Networks and Their Applications; Evolutionary Algorithms and Their Applications; and Artificial Intelligence in Modeling and Simulation. Part II: Computer Vision, Image and Speech Analysis; Various Problems of Artificial Intelligence; Bioinformatics, Biometrics and Medical Applications; and Data Mining and Pateern Classification. Table of ContentsNeural Networks and Their Applications.- A novel approach to the GQR algorithm for neural networks training.- On Speeding Up the Levenberg-Marquardt Learning Algorithm.- Reinforcement Learning with Brain-Inspired Modulation Improves Adaptation to Environmental Changes.- Multi-Agent Deep Q-Network in Voxel-based Automated Electrical Routing.- Evaluation of the importance of optimizer selection in streaming neural network learning.- Training Neural Tensor Networks With Corrupted Relations.- Application of Monte Carlo Algorithms with Neural Network-Based Intermediate Area to the Thousand Card Game.- Learning representations by crystallized back-propagating errors.- Fuzzy Hyperplane based K-SVCR Multi-class Classification with Its Applications to Stock Prediction Problem.- Dynamic Hand Gesture Recognition for Human-Robot Collaborative Assembly.- Transfer of knowledge among instruments in automatic music transcription.- The Geometry of Decision Borders Between Affine Space Prototypes for Nearest Prototype Classifiers.- An Interpretable Two-Layered Neural Network Structure – Based on Component-wise Reasoning.- Viscosity Estimation of Water-PVP Solutions from Droplets using Artificial Neural Networks and Image Processing.- Pruning convolutional filters via reinforcement learning with entropy minimization.- Unsupervised Representation Learning: Target Regularization for Cross-domain Sentiment Classification.- Decentralized federated learning loop with constrained trust mechanism.- Learning Activation Functions for Adversarial Attack Resilience in CNNs.- Federated Learning for Human Activity Recognition on the MHealth Dataset.- Image Classification through Graph Neural Networks and Random Walks.- Bus Route Classification for Rural Areas using Graph Convolutional Networks.- Expansion rate parametrization and K-Fold inference with U-Net neural networks for multiclass medical image segmentation.- Transfer learning from ImageNet to the domain of pigmented nevi.- Towards Detecting Freezing of Gait Events using Wearable Sensors and Genetic Programming.- CNN-LSTM Optimized by Genetic Algorithm in Time Series Forecasting: An Automatic Method to use Deep Learning.- Authorship Attribution of Literary Texts using Named Entity Masking and MaxLogit-based Sequence Classification for Varying Text Lengths.- Gates Are Not What You Need in RNNs.- Generating Image Captions in Polish using Transformer Architecture.- Evolutionary Algorithms and Their Applications.- An hybrid NSGA-II algorithm for the Bi-objective Mobile Mammography Unit Routing Problem.- Controlled Refresh of the Population in Differential Evolution for Real-World Problems.- A new Hybrid Particle Swarm Optimization and Evolutionary Algorithm with Self-Adaptation Mechanism.- Data Mining Car Configurator Clickstream Data to Identify Potential Consumers: A Genetic Algorithm Approach.- Multi-population algorithm using surrogate models and different training plans.- Multi-population-based algorithms with different migration topologies and their improvement by population re-initialization.- Machine Learning Assisted Interactive Multi-Objectives Optimization Framework: A Proposed Formulation and Method for Overtime Planning in Software Development Projects ..- Improved Barnacles Movement Optimizer (IBMO) Algorithm for Engineering Design Problems.- Evolutionary-based generative design for electric transmission towers.- Enhanced Grey Wolf Optimizer.- Artificial Intelligence in Modeling and Simulation.- Security Intelligence for real-time security monitoring software.- Examine Effects of Class Imbalance on Conditional GAN Training.- Stochastic Model for Wildfire Simulation based on the characteristics of the Brazilian Cerrado.- Test Case Generator for Problems of Complete Coverage and Path Planning for Emergency Response by UAVs.- Application of artificial neural networks in electric arc furnace modeling.- Profiling users of the online store in terms of price sensitivity ..- Learning Bezier-Durrmeyer type descriptors for classifying curves – preliminary studies.- Prediction accuracy of direction changes with ELM, MLP and LSTM on the example of exchange rates.- Child tracking and Prediction of Violence on Children in social media using Natural Language Processing and Machine Learning.- Adequate basis for the data-driven and machine-learning-based identification.
£66.49
Springer International Publishing AG Artificial Evolution: 15th International
Book SynopsisThis book constitutes the refereed post-conference proceedings of the 15th International Conference, Évolution Artificielle, EA 2022, held in Exeter, UK, during October 31–November 2, 2022.The 15 full papers were carefully reviewed and selected from 18 submissions. The papers cover a wide range of topics in the field of artificial evolution, including, but not limited to: evolutionary computation, evolutionary optimization, coevolution, artificial life, population dynamics, theory, algorithmic and modeling, implementations.Table of ContentsOn the Active Use of an ND-Tree-Based Archive for Multi-Objective Optimisation.- HyTEA: Hybrid Tree Evolutionary Algorithm.- A Game Theoretic Decision Tree for Binary Classification.- Evaluating a New Genetic Algorithm for Automated Machine Learning in Positive-Unlabelled Learning.- Neural Network-based Virtual Analog Modeling.- Defining a Quality Measure Within Crossover: An Electric Bus Scheduling Case Study.- Maximizing the Number of Satisfied Charging Demands in Electric Vehicle Charging Scheduling Problem.- Fine-Grained Cooperative Coevolution in a Single Population: Between Evolution and Swarm Intelligence.- One-Class Ant-Miner: Selection of Majority Class Rules for Binary Rule-based Classification.- Towards a Many-Objective Optimiser for University Course Timetabling.- Empirical Investigation of MOEAs for Multi-objective Design of Experiments.- Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks.- Designing Attention based Convolutional Neural Network (CNN) Architectures for Medical Image Classification using Genetic Algorithm based on Variable Length-encoding Scheme.- A Multi-objective 3D Offline UAV Path Planning Problem with Variable Flying Altitude.- An Elitist Non-dominated Heuristic Resolution for the Dynamic Asset Protection Problem.
£47.49
Springer International Publishing AG Advances in Bioinformatics and Computational
Book SynopsisThis book constitutes the proceedings of the 16th Brazilian Symposium on Bioinformatics on Advances in Bioinformatics and Computational Biology, BSB 2023, which took place in Curitiba, Brazil, in June 2023. The 11 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 24 submissions. The papers focus on bioinformatics, computational biology, Biological Databases, Biological Networks, Cheminformatics, Evolutionary Genomics, Computational Proteomics, Systems Biology, Drug Design, Genomics, Machine Learning applications in Bioinformatics, Metagenomics, Molecular Docking and Modeling, Molecular Evolution and Phylogenetics, Protein Structure and Modeling, Proteomics, Transcriptomics, Single-Cell Analysis, Workflows in Bioinformatics. Table of ContentsBlock Interchange and Reversal Distance on Unbalanced Genomes.- circTIS: a weighted degree string kernel with support vector machine tool for translation initiation sites prediction in circRNA.- Evaluating the molecular-electronic structure and the antiviral effect of functionalized heparin on graphene oxide through ab initio computer simulations and molecular docking.- Make No Mistake! Why Do Tools Make Incorrect Long Non-Coding Rna Classification?.- Spectrum-Based Statistical Methods for Directed Graphs with Applications in Biological Data.- Feature Selection Investigation in Machine Learning Docking Scoring Functions.- Using natural language processing for context identification in COVID-19 literature.- A framework for inference and selection of cell signaling pathway dynamic models.- Intentional Semantics for Molecular Biology.- transcAnalysis: A Snakemake Pipeline for Differential Expression and Post-Transcriptional Modification Analysis.- Peptide-protein interface classification using convolutional neural networks.- A Power Law Semantic Similarity from Gene Ontology.- Gene Networks Inference by Reinforcement Learning Approach.- Exploring Identifiability in Hybrid Models of Cell Signaling Pathways.
£42.74
Springer International Publishing AG Verification of Data-Aware Processes via
Book SynopsisThis book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data. In 2022, the PhD dissertation won the “BPM Dissertation Award”, granted to outstanding PhD theses in the field of Business Process Management. Table of ContentsIntroduction.- 1.1 Overview.- 1.1.1 Finite-State Model Checking.- 1.1.2 Verification of Data-Aware Processes.- 1.1.3 Infinite-state Model Checking: from Parameterized Systems to SMT Verification.- 1.1.4 Main Goal of the Book.- 1.2 Related Literature.- 1.2.1 Formal Models for Data-Aware (Business) Processes.- 1.2.2 Verification of Data-Aware Processes.- 1.2.3 Model Checking for Infinite-State Systems using SMT-based Techniques.- 1.3 Contributions of the Book.- 1.3.1 Contributions of the First Part.- 1.3.2 Contributions of the Second Part.- 1.3.3 Contributions of the Third Part.- Part I Foundations of SMT-based Safety Verification of Artifact Systems.- 2 Preliminaries from Model Theory and Logic.- 3 Array-Based Artifact Systems: General Framework.- 4 Safety Verification of Artifact Systems.- 5 Decidability Results via Termination of the Verification Machinery.- 6. Preliminaries For (Uniform) Interpolation.- 7 Uniform Interpolation for Database Theories.- 8 Combination of Uniform Interpolants for DAPs Verification.- 9 MCMT: a Concrete Model Checker for DAPs.- 10 Business Process Management and Petri Nets: Preliminaries.- 11 DABs: a Theoretical Framework for Data-Aware BPMN.- 12 delta-BPMN: the operational and implemented counterpart of DABs.- 13 Catalog Object-Aware Nets.- 14 Conclusions.- References.
£53.99
Springer International Publishing AG Advances in Databases and Information Systems: 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023, Proceedings
Book SynopsisThis book constitutes the proceedings of the 27th European Conference on Advances in Databases and Information Systems, ADBIS 2023, held in Barcelona, Spain, during September 4–7, 2023. The 11 full papers presented in this book together with 3 keynotes and tutorials were carefully reviewed and selected from 77 submissions. The papers are organized in the following topical sections: keynote talk and tutorials; query processing and data exploration, data science and fairness and Data and Metadata QualityTable of ContentsKeynote Talk and Tutorials.- Knowledge Engineering in the Era of Artificial Intelligence.- Causality, Attribution-Scores and Repairs in Databases.- When operations research meets databases.- Query Processing and Data Exploration.- Using a Key-Value Index-Store for Cross-Model Join Queries Over Heterogeneous Data Sources.- Reconstructing Spatiotemporal Data with C-VAEs.- What Happens when Two Multi-Query Optimization Paradigms Combine.- Skyline-Based Temporal Graph Exploration.- Temporal Graph Processing in Modern Memory Hierarchies.- Data Science and Fairness.- Comparing and Improving Active Learning Uncertainty Measures for Transformer Models.- FARMUR: Fair Adversarial Retraining to Mitigate Unfairness in Robustness.- Exploring Heterogeneous Data Graphs Through their Entity Paths.- Managing Linked Nulls in Property Graphs: Tools to Ensure Consistency and Reduce Redundancy.- Assessment of Data Quality in a Data Lakehouse Through Multi-Granularity Data Profiling.- Data Ingestion Validation through Stable Conditional Metrics with Ranking and Filtering.- An Ontology for Representing and Querying Semantic Trajectories in the Maritime Domain.- Extracting Provenance of Machine Learning Experiment Pipeline Artifacts.
£47.49
Springer International Publishing AG Towards Autonomous Robotic Systems: 24th Annual
Book SynopsisThis book constitutes the refereed proceedings of the 24th Annual Conference Towards Autonomous Robotic Systems, TAROS 2023, held in Cambridge, UK, during September 13–15, 2023.The 40 full papers presented in this book were carefully reviewed and selected from 70 submissions.They cover a wide range of different topics such as: agri-food robotics; autonomy; collaborative and service robotics; locomotion and manipulation; machine vision; multi-robot systems; soft robotics; tactile sensing; and teleoperation.Table of ContentsAgri-food Robotics.- Plant phenotyping using DLT method: Towards retrieving the delicate features in a dynamic environment.- Rapid Development and Performance Evaluation of a Potato Planting Robot.- An Automated Precision Spraying Evaluation System.- Smart Parking System Using Heuristic Optimization For Autonomous Transportation Robots In Agriculture.- Closed-Loop Robotic Cooking of Soups with Multi-modal Taste Feedback.- Folding Morphing-wheg Duct-entry Robot for Nuclear Characterisation.- Autonomy.- Occupancy Map Abstraction for Higher Level Mission Planning of Autonomous Robotic Exploration in Hazardous Nuclear Environments.- Spiral Sweeping Protocols for Detection of Smart Evaders.- Action Recognition for Improving Pedestrian Intent Prediction.- Evaluation of SLAM algorithms for Search and Rescue applications.- Developing an Integrated Runtime Verification for Safety and Security of Industrial Robot Inspection System.- Collaborative and Service Robotics.- Sonification of Ionising Radiation Data for Robot Operators.- Automating a Telepresence Robot for Human Detection, Tracking, and Following.- Towards Multimodal Sensing and Interaction for Assistive Autonomous Robots.- Locomotion and Manipulation.- CPG-based locomotion control of a quadruped robot with an active spine.- Low-resolution sensing for sim-to-real complex terrain robots.- Towards wait-and-catch routine of a dynamic swinging object using a prototype robotic arm manipulator.- Simultaneous Base and Arm Trajectories for Multi-Target Mobile Agri-Robot.- Design and kinematic analysis of a 3D-printed 3DOF robotic manipulandum.- Sim-to-Real Deep Reinforcement Learning with Manipulators for Pick-and-place.- Machine Vision.- Fast 3D Semantic Segmentation Using a Self Attention Network and Random Sampling.- An assessment of self-supervised learning for data efficient potato instance segmentation.- Automated 3D Mapping, localization and pavement inspection with low cost RGB-D cameras and IMUs.- Optimized Custom Dataset for Efficient Detection of Underwater Trash.- A Geometric Algebra Solution to the 3D Registration Problem.- Active Anomaly Detection for Autonomous Robots: a Benchmark.- Multi-robot Systems.- Hardware Validation of Adaptive Fault Diagnosis in Swarm Robots.- Mobile Robots For Collaborative Manipulation Over Uneven Ground Using Decentralised Impedance Control.- Multi-agent Collaborative Target Search Based on Curiosity Intrinsic Motivation.- Simulation of Collective Bernoulli-Ball System for Characterizing Dynamic Self-stability.- Soft Robotics.- Casting vs injection moulding: a comparison study for in-lab low-cost soft robot fabrication.- Estimation of Soft Body Deformation by Using Light.- Reduced-Order Modeling of a Soft Anthropomorphic Finger for Piano Keystrokes.- Tactile Sensing.- Multi-directional Force and Tactile Sensor Sleeves for Micro Catheters and Cannulas.- Towards smooth human-robot handover with a vision-based tactile sensor.- Feeling Good: Validation of Bilateral Tactile Telemanipulation for a Dexterous Robot.- Teleoperation.- Comparative study of hand-tracking and traditional control interfaces for remote palpation.- 5G-based Low-Latency Teleoperation: Two-way Timeout Approach.- Generative Model-based Simulation of Driver Behavior when Using Control Input Interface for Teleoperated Driving in Unstructured Canyon Terrains.- Implementation of a Stereo Vision System for a Mixed Reality Robot Teleoperation Simulator.
£61.74
Springer International Publishing AG Frontiers of Combining Systems: 14th
Book SynopsisThis book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.Table of ContentsAnalysis of Programs and Equations.- Unification.- Decidable Fragments.- Frameworks.- Higher-order Theorem Proving.
£33.24
Springer International Publishing AG Machine Learning and Knowledge Discovery in
Book SynopsisThe multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track. The volumes are organized in topical sections as follows:Part I: Active Learning; Adversarial Machine Learning; Anomaly Detection; Applications; Bayesian Methods; Causality; Clustering.Part II: Computer Vision; Deep Learning; Fairness; Federated Learning; Few-shot learning; Generative Models; Graph Contrastive Learning.Part III: Graph Neural Networks; Graphs; Interpretability; Knowledge Graphs; Large-scale Learning.Part IV: Natural Language Processing; Neuro/Symbolic Learning; Optimization; Recommender Systems; Reinforcement Learning; Representation Learning.Part V: Robustness; Time Series; Transfer and Multitask Learning.Part VI: Applied Machine Learning; Computational Social Sciences; Finance; Hardware and Systems; Healthcare & Bioinformatics; Human-Computer Interaction; Recommendation and Information Retrieval.Part VII: Sustainability, Climate, and Environment.- Transportation & Urban Planning.- Demo.Table of ContentsRobustness.- Time Series.- Transfer and Multitask Learning.
£53.99
Springer International Publishing AG Automated Reasoning with Analytic Tableaux and
Book SynopsisThis open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.Table of ContentsRange-Restricted and Horn Interpolation through Clausal Tableaux.- Non-Classical Logics in Satisfiability Modulo Theories.- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics.- Non-distributive description logic.- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized.- Some Analytic Systems of Rules.- A cut-free, sound and complete Russellian theory of definite descriptions.- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators.- Lemmas: Generation, Selection, Application.- Machine-Learned Premise Selection for Lean.- gym-saturation: Gymnasium environments for saturation provers (System description).- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points.- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic.- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata.- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.- On intuitionistic diamonds (and lack thereof).- NP Complexity for Combinations of Non-Normal Modal Logics.- Resolution-based Calculi for Non-Normal Modal Logics.- Canonicity of Proofs in Constructive Modal Logic.- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic.- The MaxSAT problem in the real-valued MV-algebra.- The Logic of Separation Logic: Models and Proofs.- Testing the Satisfiability of Formulas in Separation Logic with Permissions.- Nested Sequents for Quantified Modal Logics.- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.
£33.24
Springer International Publishing AG Proceedings of the Seventh International
Book SynopsisThis book contains the works connected with the key advances in Industrial Artificial Intelligence presented at IITI 2023, the Seventh International Scientific Conference on Intelligent Information Technologies for Industry held on September 25-30, 2023 in St. Petersburg, Russia. The works were written by the experts in the field of applied artificial intelligence including topics such as Machine Learning, Explainable AI, Decision-Making, Fuzzy Logic, Multi-Agent and Bioinspired Systems. The following industrial application domains were touched: railway automation, cyber security, intelligent medical systems, navigation and energetic systems. The editors believe that this book will be helpful for all scientists and engineers interested in the modern state of applied artificial intelligence.Table of ContentsExplainable Document Classification via Pattern Structures.- Bayesian belief network for association between clusters of social media users with similar personality traits profiles and color characteristics of their avatar images.- Algebraic Bayesian Networks: the Generation of the Network Canonical Representation.- Quantification of Localization Uncertainty in One-stage Object Detection.- Automated Discovery of Direct Speech to Increase Quality and Battery Saving in Telephony.
£151.99
Springer International Publishing AG Information, Communication and Computing
Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference on Information, Communication and Computing Technology, ICICCT 2023, held in New Delhi, India, during May 27, 2023.The 14 full papers included in this book were carefully reviewed and selected from 60 submissions. They were organized in topical sections as follows: global platform for researchers, scientists and practitioners from both academia and industry to present their research and development activities in all the aspects of Pattern Recognition and computational Intelligence techniques.Table of ContentsUsing BERT for Swiss German Sentence Prediction.- An ARIMA and XGBoost Model utilized for forecasting Municipal Solid Waste generation.- An Empirical Study of Intrusion Detection By Combining Clustering and Classification Methods.- Personalized Movie Recommendation Prediction Using Reinforcement Learning.- An Ensemble And Deep Neural Network Based Approaches For Automated Sentiment Analysis.- In-Store Product Placement using LiDAR-Assisted Discrete PSO Algorithm.- Deep Residual Variational Autoencoder for Image Super-Resolution.- Hybrid HAN Model to Investigate Depression from Twitter Posts.- Transfer Learning-Based Encoder-Decoder Model For Skin Lesion Segmentation.- A System For Liver Tumor Detection.- High Speed and Efficient Reconfigurable Histogram Equalisation Architecture for Image Contrast Enhancement.- A Practical Use For AI-Generated Images.- Homomorphic Encryption Schemes using Nested Matrices.- A Deep Learning Model for Heterogeneous Dataset Analysis - Application to Winter Wheat Crop Yield Prediction.
£49.49
Springer International Publishing AG Ophthalmic Medical Image Analysis: 10th
Book SynopsisThis book constitutes the refereed proceedings of the 10th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2023, held in conjunction with the 26th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2023, in Vancouver, Canada, in October 2023.The 16 papers presented at OMIA 2023 were carefully reviewed and selected from 27 submissions. The papers cover various topics in the field of ophthalmic medical image analysis and challenges in terms of reliability and validation, number and type of conditions considered, multi-modal analysis (e.g., fundus, optical coherence tomography, scanning laser ophthalmoscopy), novel imaging technologies, and the effective transfer of advanced computer vision and machine learning technologies.
£75.99
Springer International Publishing AG Artificial Neural Networks and Machine Learning –
Book SynopsisThe 10-volume set LNCS 14254-14263 constitutes the proceedings of the 32nd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2023, which took place in Heraklion, Crete, Greece, during September 26–29, 2023.The 426 full papers, 9 short papers and 9 abstract papers included in these proceedings were carefully reviewed and selected from 947 submissions. ICANN is a dual-track conference, featuring tracks in brain inspired computing on the one hand, and machine learning on the other, with strong cross-disciplinary interactions and applications. Table of ContentsA Shallow Information Enhanced Efficient Small Object Detector based on YOLOv5.- Adaptive Dehazing YOLO for Object Detection.- Adaptive Training Strategies for Small Object Detection using Anchor-based Detectors.- Automatic Driving Scenarios: A Cross-Domain Approach for Object Detection.- Dual Attention Feature Fusion for Visible-Infrared Object Detection.- Feature Sniffer: A Stealthy Inference Attacks Framework on Split Learning.- Few-Shot Object Detection via Transfer Learning and Contrastive Reweighting.- GaitFusion: Exploring the fusion of silhouettes and optical flow for gait recognition.- Gradient Adjusted and Weight Rectified Mean Teacher for Source-free Object Detection.- IMAM: Incorporating multiple attention mechanisms for 3D Object Detection from Point Cloud.- LGF2: Local and Global Feature Fusion for Text-guided Object Detection.- MLF-DET: Multi-Level Fusion for Cross-Modal 3D Object Detection.- Object Detection in Foggy Images with Transmission Map Guidance.- PE-YOLO: Pyramid Enhancement Network for Dark Object Detection.- Region Feature Disentanglement for Domain Adaptive Object Detection.- ROFusion: Efficient Object Detection using Hybrid Point-wise Radar-Optical Fusion.- SDGC-YOLOv5: A more accurate model for small object detection.- The Statistical Characteristics of P3a and P3b Subcomponents in Electroencephalography Signals.- Transforming Limitations into Advantages: Improving Small Object Detection Accuracy with SC-AttentionIoU Loss Function.- Visual-Haptic-Kinesthetic Object Recognition with Multimodal Transformer.- X-shape Feature Expansion Network for Salient Object Detection in Optical Remote Sensing Images.- Aggregate Distillation For Top-K Recommender System.- Candidate-Aware Dynamic Representation for News Recommendation.- Category Enhanced Dual View Contrastive Learning for Session-based Recommendation.- Electronic Medical Record Recommendation System Based on Deep Embedding Learning with Named Entity Recognition.- Incremental Recommendation Algorithm based on the Influence Propagation Model.- Scenic Spot Recommendation Method Integrating Knowledge Graph And Distance Cost.- A Unified Video Semantics Extraction and Noise Object Suppression Network for Video Saliency Detection.- Adaptive Token Excitation With Negative Selection For Video-Text Retrieval.- Boosting Video Super Resolution with Patch-Based Temporal Redundancy Optimization.- Bring the Noise: Introducing Noise Robustness to Pretrained Automatic Speech Recognition.- Correction while Recognition: Combining Pretrained Language Model for Taiwan-accented Speech Recognition.- Cross-Camera Prototype Learning for Intra-Camera Supervised Person Re-Identification.- ECDet: A Real-time Vehicle Detection Network for CPU-only Devices.- Gated Multi-Modal Fusion with Cross-Modal Contrastive Learning for Video Question Answering.- Learning Video Localization on Segment-Level Video Copy Detection with Transformer.- Linear Transformer-GAN: A Novel Architecture to Symbolic Music Generation.- MBMS-GAN: Multi-Band Multi-Scale Adversarial Learning for Enhancement of Coded Speech at Very Low Rate.- OWS-Seg: online weakly supervised video instance segmentation via contrastive learning.- Replay to Remember: Continual Layer-Specific Fine-tuning for German Speech Recognition.- Self-Supervised Video Object Segmentation Using Motion Feature Compensation.- Space-Time Video Super-Resolution Based on Long-Term Time Dependence.
£62.99
Springer International Publishing AG Artificial Neural Networks and Machine Learning –
Book SynopsisThe 10-volume set LNCS 14254-14263 constitutes the proceedings of the 32nd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2023, which took place in Heraklion, Crete, Greece, during September 26–29, 2023.The 426 full papers, 9 short papers and 9 abstract papers included in these proceedings were carefully reviewed and selected from 947 submissions. ICANN is a dual-track conference, featuring tracks in brain inspired computing on the one hand, and machine learning on the other, with strong cross-disciplinary interactions and applications. Table of Contents2RDA: Representation and Relation Distillation with Data Augmentation.- A Document-Level Relation Extraction Framework with Dynamic Pruning.- A Global Feature Fusion Network for Lettuce Growth Trait Detection.- Adaptive Embedding and Distribution Re-Margin for Long-tail Recognition.- Adaptive Propagation Network Based on Multi-Scale Information Fusion.- An Efficient Approach for Improving the Recall of Rough Abstract Retrieval in Scientific Claim Verification.- An Explainable Feature Selection Approach for Fair Machine Learning.- Anchor link prediction based on trusted anchor re-identification.- Application of Data Encryption in Chinese Named Entity Recognition.- Attractor dynamics drive flexible timing in birdsong.- Boost Predominant Instrument Recognition Performance with MagiaSearch and MagiaClassifier.- Can Machine Learning Support Improvement in Effective Nutrition of patients in Critical Care Units?.- Cross-Domain Transformer with Adaptive Thresholding for Domain Adaptive Semantic Segmentation.- Delineation of prostate boundary from medical images via a mathematical formula-based hybrid algorithm.- Diversifying non-dissipative Reservoir Computing dynamics.- Efficient Reinforcement Learning using State-Action Uncertainty with Multiple Heads.- Exploring the role of feedback inhibition for the robustness against corruptions on event-based data.- Extracting feature space for synchronizing behavior in an interaction scene using unannotated data.- F-E Fusion:A Fast Detection Method of Moving UAV Based on Frame and Event Flow.- Few-shot Relational Triple Extraction based on Evaluation of Token-Level Semantic Similarity.- GII: a Unified Approach to Representation Learning in Open Set Recognition with Novel Category Discovery.- Glancing text and vision regularized training to enhance machine translation.- Global-Temporal Enhancement for Sign Language Recognition.- Global-to-contextual Shared Semantic Learning for Fine-grained Vision-language Alignment.- Gradient-based Learning of Finite Automata.- Hierarchical Contrastive Learning for CSI-based Fingerprint Localization.- Higher Education Programming Competencies: A Novel Dataset.- Higher Target Relevance Parallel Machine Translation with Low-Frequency Word Enhancement.- I^2KD-SLU: An Intra-Inter Knowledge Distillation Framework for Zero-Shot Cross-Lingual Spoken Language Understanding.- Imbalanced Few-shot Learning based on Meta-transfer Learning.- Impact Analysis of Climate Change on Floods in an Indian Region using Machine Learning.- Improving Limited Resource Speech Recognition Performance with Latent Regression Bayesian Network.- Input Layer Binarization with Bit-Plane Encoding.- Investigation of Information Processing Mechanisms in the Human Brain during Reading Tanka Poetry.- Joint Demosaicing and Denoising with Frequency Domain Features.- Knowledge Distillation with Feature Enhancement Mask.- Label-description Enhanced Network for Few-shot Named Entity Recognition.- Landslide Surface Displacement Prediction Based on VSXC-LSTM Algorithm.- LaneMP: Robust Lane Attention Detection based on Mutual Perception of Keypoints.- LE-MVSNet: Lightweight Efficient Multi-view Stereo Network.- Lightweight Reference-Less Summary Quality Evaluation via Key Feature Extraction.- Limited Information Opponent Modeling.
£66.49
Springer International Publishing AG Artificial Neural Networks and Machine Learning –
Book SynopsisThe 10-volume set LNCS 14254-14263 constitutes the proceedings of the 32nd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2023, which took place in Heraklion, Crete, Greece, during September 26–29, 2023.The 426 full papers and 9 short papers included in these proceedings were carefully reviewed and selected from 947 submissions. ICANN is a dual-track conference, featuring tracks in brain inspired computing on the one hand, and machine learning on the other, with strong cross-disciplinary interactions and applications.Table of ContentsMEA-TransUNet: a Multiple External Attention Network for Multi-Organ Segmentation.- Membership-Grade Based Prototype Rectification for Fine-Grained Few-Shot Classification.- Multi-grained Aspect Fusion for Review Response Generation.- Multiple Object Tracking based on Variable GIoU-Embedding Matrix and Kalman Filter Compensation.- Multi-relation Identification for Few-shot Document-level Relation Extraction.- Multi-Task Learning for Mongolian Morphological Analysis.- Multi-task Pre-training for Lhasa-Tibetan Speech Recognition.- Mutual Information Dropout: Mutual Information Can Be All You Need.- Non-Outlier Pseudo-Labeling for Short Text Clustering.- Optimal Node Embedding Dimension Selection Using Overall Entropy.- PairEE: A Novel Pairing-Scoring Approach for Better Overlapping Event Extraction.- PCB Component Rotation Detection Based on Polarity Identifier Attention.- PCDialogEval: Persona and Context Aware Emotional Dialogue Evaluation.- PlantDet: A benchmark for Plant Detection in the Three-Rivers-Source Region.- PO-DARTS: Post-Optimizing the Architectures Searched by Differentiable Architecture Search Algorithms.- Predicting high vs low mother-baby synchrony with GRU-based ensemble models.- Properties of the weighted and robust implicitly weighted correlation coefficients.- PSML: Prototype-Based OSSL Framework for Multi-Information Mining.- Pure Physics-Informed Echo State Network of ODE Solution Replicator.- RegionRel:A Framework for Jointly Extracting Relational Triplets by Performing Sub-tasks by Region.- Robustness to Variability and Asymmetry of In-memory On-chip Training.- Selecting Distinctive-Variant Training Samples Base on Intra-class Similarity.- Semantic Information Mining and Fusion Method for Bot Detection.- Semilayer-Wise Partial Quantization without Accuracy Degradation or Back Propagation.- ShadowGAN for Line Drawings Shadow Generation.- Ship Attitude Prediction Based on Dynamic Sliding Window and EEMD-SSA-BiLSTM.- Solving Math Word Problem with External Knowledge and Entailment Loss.- Spatially Invariant and Frequency-Aware CycleGAN for Unsupervised MR-to-CT Synthesis.- Spatio-temporal Attention Model with Prior Knowledge for Solar Wind Speed Prediction.- Spatiotemporal model with attention mechanism for ENSO Predictions.- SPM-Diffusion for Temperature Prediction.- S-SOLVER: Numerically stable adaptive step size solver for neural ODEs.- TableSF: A Structural Bias Framework for Table-to-Text Generation.- TCS-LipNet:Temporal & Channel & Spatial Attention-based Lip Reading Network.- The Dynamic Selection of Combination Methods in Classifier Ensembles by Region of Competence.- The progressive detectors and discriminative feature descriptors combining global and local information.- Towards Better Dialogue Utterance Rewriting via a Gated Span-Copy Mechanism.- TSP Combination Optimization with Semi-local Attention Mechanism.- UDCGN: Uncertainty-Driven Cross-Guided Network for Depth Completion of Transparent Objects.- Use of Machine Learning Algorithms to Analyze the Digit Recognizer Problem in an Effective Manner.- Vulnerability Analysis of Continuous Prompts for Pre-trained Language Models.
£66.49
Springer International Publishing AG Artificial Neural Networks and Machine Learning –
Book SynopsisThe 10-volume set LNCS 14254-14263 constitutes the proceedings of the 32nd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2023, which took place in Heraklion, Crete, Greece, during September 26–29, 2023.The 426 full papers and 9 short papers included in these proceedings were carefully reviewed and selected from 947 submissions. ICANN is a dual-track conference, featuring tracks in brain inspired computing on the one hand, and machine learning on the other, with strong cross-disciplinary interactions and applications.Table of ContentsA Comparative Study of Sentence Embedding Models for Assessing Semantic Variation.- A Deep Learning based Method for Generating Holographic Acoustic Fields from Phased Transducer Arrays.- A Depth-guided Attention Strategy for Crowd Counting.- A Noise Convolution Network for Tampering Detection.- Attention-based Feature Interaction Deep Factorization Machine for CTR Prediction.- Block-level Stiffness Analysis of Residual Networks.- CKNA: Kernel Hyperparameters Optimization Method for Group-wise CNNs.- Conditional Convolution Residual Network for Efficient Super-Resolution.- Cross Attention with Deep Local Features for Few-shot Image Classification.- Deep Video Compression Based on 3D Convolution Artifacts Removal and Attention Compression Module.- Deep-learning Based Three Channel Defocused Projection Profilometry.- Depthwise Convolution with Channel Mixer: Rethinking MLP in MetaFormer for Faster and More Accurate Vehicle Detection.- DLUIO: Detecting Useful Investor Opinions by Deep Learning.- Dynamic obstacle avoidance for unmanned aerial vehicle using dynamic vision sensor.- Empirical Study on the Effect of Residual Networks on the Expressiveness of Linear Regions.- Energy Complexity Model for Convolutional Neural Networks.- Enhancing the Interpretability of Deep Multi-Agent Reinforcement Learning via Neural Logic Reasoning.- Evidential Robust Deep Learning for Noisy Text2text Question Classification.- FBPFormer: Dynamic Convolutional Transformer for Global-Local-Contexual Facial Beauty Prediction.- Heavy-Tailed Regularization of Weight Matrices in Deep Neural Networks.- Interaction of Generalization and Out-of-Distribution Detection Capabilities in Deep Neural Networks.- Long-distance Pipeline Intrusion Warning Based on Environment Embedding From Distributed Optical Fiber Sensing.- LSA3D: Lightweight Separate Asynchronous 3D Convolutional Neural Network for Gait Recognition.- MADNet: EEG-based Depression Detection using a Deep Convolution Neural Network Framework with Multi-dimensional Attention.- Maintenance automation using deep learning methods a case study from the aerospace industry.- MCASleepNet: Multimodal channel attention-based deep neural network for automatic sleep staging.- Multi-label Image Deep Hashing with Hybrid Loss of Global Center and Local Alignment.- Multi-relation Representation Learning based Deep Network for Patent Classification.- One Hip Wonder: 1D-CNNs Reduce Sensor Requirements for Everyday Gait Analysis.- Patches Channel Attention For Human Sitting Posture Recognition.- RA-Net: A Deep Learning Approach based on Residual Structure and Attention Mechanism for Image Copy-move Forgery Detection.- Rethinking CNN Architectures in Transformer Detectors.- Robustness of Biologically-inspired filter-based ConvNet to Signal Perturbation.- Self-Supervised Graph Convolution for Video Moment Retrieval.- Siamese Network based on MLP and Multi-head Cross Attention for Visual Object Tracking.- Taper Residual Dense Network for Audio Super-Resolution.- VPNDroid: Malicious Android VPN detection using a CNN-RF method.- Who breaks early, looses: goal oriented training of deep neural networks based on port Hamiltonian dynamics.- BLR:A multi-modal sentiment analysis model.- Detecting Negative Sentiment on Sarcastic Tweets for Sentiment Analysis.- Local or Global: The Variation in the Encoding of Style Across Sentiment and Formality.- Prompt-oriented Fine-tuning Dual Bert for Aspect-Based Sentiment Analysis.- Towards Energy-Efficient Sentiment Classification with Spiking Neural Networks.- Using Masked Language Modeling to Enhance BERT-based Aspect-Based Sentiment Analysis for Affective Token Prediction.
£66.49
Springer International Publishing AG Artificial Neural Networks and Machine Learning –
Book SynopsisThe 10-volume set LNCS 14254-14263 constitutes the proceedings of the 32nd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2023, which took place in Heraklion, Crete, Greece, during September 26–29, 2023.The 426 full papers, 9 short papers and 9 abstract papers included in these proceedings were carefully reviewed and selected from 947 submissions. ICANN is a dual-track conference, featuring tracks in brain inspired computing on the one hand, and machine learning on the other, with strong cross-disciplinary interactions and applications. Table of ContentsA Data Augmentation based ViT for Fine-Grained Visual Classification.- A Detail Geometry Learning Network for High-Fidelity Face Reconstruction.- A Lightweight Multi-Scale Large Kernel Attention Hierarchical Network for Single Image Deraining.- A Multi-Scale Method for Cell Segmentation in Fluorescence Microscopy Images.- Adaptive interaction-based multi-view 3D object reconstruction.- An auxiliary modality based Text-Image matching methodology for fake news detection.- An Improved Lightweight YOLOv5 for Remote Sensing Images.- An Improved YOLOv5 with Structural Reparameterization for Surface Defect Detection.- ASP Loss: Adaptive Sample-Level Prioritizing Loss for Mass Segmentation on Whole Mammography Images.- Cascaded Network-based Single-View Bird 3D Reconstruction.- CLASPPNet: A Cross-Layer Multi-Class Lane Semantic Segmentation Model Fused with Lane Detection Module.- Classification-based and Lightweight Networks For Fast Image Super Resolution.- CLN: Complementary Learning Network For 3D Face Reconstruction And Alignment.- Combining Edge-guided Attention and Sparse-connected U-Net for Detection of Image Splicing.- Contour-augmented Concept Prediction Network for image captioning.- Contrastive Knowledge Amalgamation for Unsupervised Image Classification.- Cross Classroom Domain Adaptive Object Detector for Student's Heads.- Diffusion-Adapter: Text Guided Image Manipulation with Frozen Diffusion Models.- DWA: Differential Wavelet Amplifier for Image Super-Resolution.- Dynamic Facial Expression Recognition in Unconstrained Real-World Scenarios Leveraging Dempster-Shafer Evidence Theory.- End-to-end Remote Sensing Change Detection of Unregistered Bi-temporal Images for Natural Disasters.- E-Patcher: A Patch-based Efficient Network for Fast Whole Slide Images Segmentation.- Exploiting Multi-modal Fusion for Robust Face Representation Learning with Missing Modality.- Extraction Method of Rotated Objects from High-resolution Remote Sensing Images.- Few-shot NeRF-based View Synthesis for Viewpoint-biased Camera Pose Estimation.- Ga-RFR: Recurrent Feature Reasoning with gated convolution for Chinese Inscriptions Image Inpainting.- Generalisation Approach for Banknote Authentication by Mobile Devices Trained on Incomplete Samples.- Image Caption with Prior Knowledge Graph and Heterogeneous Attention.- Image Captioning for Nantong Blue Calico Through Stacked Local-Global Channel Attention Network.- Improving Image Captioning with Feature Filtering and Injection.- In silico study of single synapse dynamics using a three-state kinetic model.- Interpretable Image Recognition by Screening Class-specific and Class-shared Prototypes.- Joint Edge-guided and Spectral Transformation Network for Self-Supervised X-ray Image Restoration.- Lightweight Human Pose Estimation Based On Densely Guided Self-Knowledge Distillation.- MCAPR: Multi-Modality Cross Attention for Camera Absolute Pose Regression.- MC-MLP: A Multiple Coordinate Frames MLP-Like Architecture for Vision.- Medical Image Segmentation and Saliency Detection through a Novel Color Contextual Extractor.- MedNet: A Dual-Copy Mechanism for Medical Report Generation from Images.- Ms-AMPool: Down-Sampling Method for Dense Prediction Tasks.- Multi-frame Tilt-angle Face Recognition Using Fusion Re-ranking.- Multi-scale field distillation for multi-task semantic segmentation.- Neural Field Conditioning Strategies for 2D Semantic Segmentation.- Neurodynamical Model of the Visual Recognition of Dynamic Bodily Actions from Silhouettes.- PACE: Point Annotation-Based Cell Segmentation for Efficient Microscopic Image Analysis.- Pie-UNet: A novel Parallel Interaction Encoder for Medical Image Segmentation.- Prior-SSL: A Thickness Distribution Prior and Uncertainty Guided Semi-supervised Learning Method for Choroidal Segmentation in OCT Images.- PSR-Net A Dual-Branch Pyramid Semantic Reasoning Network for Segmentation of Remote Sensing Images.
£62.99
Springer International Publishing AG Artificial Neural Networks and Machine Learning –
Book SynopsisThe 10-volume set LNCS 14254-14263 constitutes the proceedings of the 32nd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2023, which took place in Heraklion, Crete, Greece, during September 26–29, 2023.The 426 full papers, 9 short papers and 9 abstract papers included in these proceedings were carefully reviewed and selected from 947 submissions. ICANN is a dual-track conference, featuring tracks in brain inspired computing on the one hand, and machine learning on the other, with strong cross-disciplinary interactions and applications. Table of ContentsAnomaly Detection in Directed Dynamic Graphs via RDGCN and LSTAN.- Anomaly-Based Insider Threat Detection via Hierarchical Information Fusion.- CSEDesc: CyberSecurity Event Detection with Event Description.- GanNeXt: A New Convolutional GAN for Anomaly Detection.- K-Fold Cross-Valuation for Machine Learning Using Shapley Value.- Malicious Domain Detection Based on Self-supervised HGNNs with Contrastive Learning.- Time Series Anomaly Detection with Reconstruction-Based State-Space Models.- ReDualSVG: Refined Scalable Vector Graphics Generation.- Rethinking Feature Context in Learning Image-guided Depth Completion.- Semantic and Frequency Representation Mining for Face Manipulation Detection.- Single image dehazing network based on serial feature attention.- SS-Net: 3D Spatial-Spectral Network for Cerebrovascular Segmentation in TOF-MRA.- STAN: Spatio-Temporal Alignment Network for No-Reference Video Quality Assessment.- Style Expansion without Forgetting for Handwritten Character Recognition.- TransVQ-VAE: Generating Diverse Images using Hierarchical Representation Learning.- UG-Net: Unsupervised-Guided Network for Biomedical Image Segmentation and Classification.- Unsupervised Shape Enhancement and Factorization Machine Network for 3D Face Reconstruction.- Visible-Infrared Person Re-Identification via Modality Augmentation and Center Constraints.- Water Conservancy Remote Sensing Image Classification Based on Target-Scene Deep Semantic Enhancement.- A Partitioned Detection Architecture for Oriented Objects.- A Personalized Federated Multi-Task Learning Scheme for Encrypted Traffic Classification.- Addressing delays in Reinforcement Learning via Delayed Adversarial Imitation Learning.- An Evaluation of Self-Supervised Learning for Portfolio Diversification.- An exploitation-enhanced Bayesian optimization algorithm for high-dimensional expensive problems.- Balancing Selection and Diversity in Ensemble Learning with Exponential Mixture Model.- CIPER: Combining Invariant and Equivariant Representations Using Contrastive and Predictive Learning.- Contrastive Learning and the Emergence of Attributes Associations.- Contrastive Learning for Sleep Staging based on Inter Subject Correlation.- Diffusion Policies as Multi-Agent Reinforcement Learning Strategies.- Dynamic Memory-based Continual Learning with Generating and Screening.- Enhancing Text2SQL Generation with Syntactic Infor-mation and Multi-Task Learning.- Fast Generalizable Novel View Synthesis with Uncertainty-Aware Sampling.- Find Important Training Dataset by Observing the Training Sequence Similarity.- Generating Question-Answer Pairs for Few-shot Learning.- GFedKRL: Graph Federated Knowledge Re-Learning for Effective Molecular Property Prediction via Privacy Protection.- Gradient-Boosted Based Structured and Unstructured Learning.- Graph Federated Learning Based on the Decentralized Framework.- Heterogeneous Federated Learning Based on Graph Hypernetwork.- Learning to Resolve Conflicts in Multi-Task Learning.- Neighborhood-oriented Decentralized Learning Communication in Multi-Agent System.- NN-Denoising: A Low-Noise Distantly Supervised Document-Level Relation Extraction Scheme using Natural Language Inference and Negative Sampling.- pFedLHNs: Personalized Federated Learning via Local Hypernetworks.- Prototype Contrastive Learning for Personalized Federated Learning.- PTSTEP: Prompt Tuning for Semantic Typing of Event Processes.- SR-IDS: A Novel Network Intrusion Detection System Based on Self-taught Learning and Representation Learning.- Task-Aware Adversarial Feature Perturbation for Cross-Domain Few-Shot Learning.- Ternary Data, Triangle Decoding, Three Tasks, a Multitask Learning Speech Translation Model.
£999.99
Springer International Publishing AG Artificial Neural Networks and Machine Learning –
Book SynopsisThe 10-volume set LNCS 14254-14263 constitutes the proceedings of the 32nd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2023, which took place in Heraklion, Crete, Greece, during September 26–29, 2023.The 426 full papers, 9 short papers and 9 abstract papers included in these proceedings were carefully reviewed and selected from 947 submissions. ICANN is a dual-track conference, featuring tracks in brain inspired computing on the one hand, and machine learning on the other, with strong cross-disciplinary interactions and applications. Table of ContentsA Further Exploration of Deep Multi-Agent Reinforcement Learning with Hybrid Action Space.- Air-to-Ground Active Object Tracking via Reinforcement Learning.- Enhancing P300 Detection in Brain-Computer Interfaces with Interpretable Post-Processing of Recurrent Neural Networks.- Group-Agent Reinforcement Learning.- Improving Generalization of Multi-agent Reinforcement Learning through Domain-Invariant Feature Extraction.- Latent-Conditioned Policy Gradient for Multi-Objective Deep Reinforcement Learning.- LIIVSR: A Unidirectional Recurrent Video Super-Resolution Framework with Gaussian Detail Enhancement and Local Information Interaction Modules.- Masked Scale-Recurrent Network for Incomplete Blurred Image Restoration.- Multi-fusion Recurrent Network for Argument Pair Extraction.- Pacesetter Learning For Large Scale Cooperative Multi-Agent Reinforcement Learning.- Stable Learning Algorithm Using Reducibility for Recurrent Neural Networks.- t-ConvESN: Temporal Convolution-Readout for Random Recurrent Neural Networks.- Adaptive Reservoir Neural Gas: An Effective Clustering Algorithm for Addressing Concept Drift in Real-Time Data Streams.- An Intelligent Dynamic Selection System Based on Nearest Temporal Windows for Time Series Forecasting.- Generating Sparse Counterfactual Explanations For Multivariate Time Series.- Graph Neural Network-Based Representation Learning for Medical Time Series.- Knowledge Forcing: Fusing Knowledge-Driven Approaches with LSTM for Time Series Forecasting.- MAGNet: Muti-scale Attention and Evolutionary Graph Structure for Long Sequence Time-Series Forecasting.- MIPCE: Generating Multiple Patches Counterfactual-changing Explanations for Time Series Classification.- Multi-Timestep-Ahead Prediction with Mixture of Experts for Embodied Question Answering.- Rethink the Top-u Attention in Sparse Self-attention for Long Sequence Time-Series Forecasting.- Temporal Attention Signatures for Interpretable Time-Series Prediction.- Time-Series Prediction of Calcium Carbonate Concentration in Flue Gas Desulfurization Equipment by Optimized Echo State Network.- WAG-NAT: Window Attention and Generator Based Non-Autoregressive Transformer for Time Series Forecasting.- A Novel Encoder and Label Assignment for Instance Segmentation.- A Transformer-based Framework for Biomedical Information Retrieval Systems.- A Transformer-Based Method for UAV-View Geo-Localization.- Cross-graph Transformer Network for Temporal Sentence Grounding.- EGCN: A Node Classification Model based on Transformer and Spatial Feature Attention GCN for Dynamic Graph.- Enhance Representational Differentiation Step By Step: A Two-Stage Encoder-Decoder Network for Implicit Discourse Relation Classification.- GenTC: Generative Transformer via Contrastive Learning for Receipt Information Extraction.- Hierarchical Classification for Symmetrized VI Trajectory Based on Lightweight Swin Transformer.- Hierarchical Vision and Language Transformer for Efficient Visual Dialog.- ICDT: Maintaining Interaction Consistency for Deformable Transformer with Multi-scale Features in HOI Detection.- Imbalanced Conditional Conv-Transformer For Mathematical Expression Recognition.- Knowledge Graph Transformer for Sequential Recommendation.- LorenTzE: Temporal Knowledge Graph Embedding based on Lorentz Transformation.- MFT: Multi-scale Fusion Transformer for Infrared and Visible Image Fusion.- NeuralODE-based Latent Trajectories into AutoEncoder Architecture for Surrogate Modelling of Parametrized High-dimensional Dynamical Systems.- RRecT: Chinese Text Recognition with Radical-enhanced Recognition Transformer.- S2R: Exploring a Double-Win Transformer-Based Framework for Ideal and Blind Super-Resolution.- Self-adapted Positional Encoding in the Transformer Encoder for Named Entity Recognition.- SHGAE: Social Hypergraph AutoEncoder for Friendship Inference.- Temporal Deformable Transformer For Action Localization.- Trans-Cycle: Unpaired Image-to-Image Translation Network by Transformer.
£66.49
