Applied computing Books

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 2nd International Conference on Edge Computing and IoT, ICECI 2021, held in December 2021 in Shenzhen, China. Due to COVID-19 pandemic the conference was held virtually. The explosion of the big data generated by ubiquitous edge devices motivates the emergence of applying machine learning systems for edge computing and Internet of Things (IoT) services. Machine learning techniques are delivering a promising solution to the industry for building IoT systems and to make innovation at a rapid pace. The 12 full papers of ICECI 2021 were selected from 26 submissions and present results and ideas in the area of edge computing and IoT.Table of ContentsAn Improved Audio Processing Method for Campus Broadcast System.- Committee Selection Based on Game Theory in Sharding Blockchain.- Green Transition Driven Carbon Trading Mechanism and Design Based on Urban Vehicle Trajectory Data.- Matching with Externalities for Device Assignment in IoT Sharding Blockchain.- Openflow-extended Queue Scheduling for Multi-tenants in Access Network.- Research and Improvement on detection algorithm of SCMA System.- A Survey of Adversarial Attacks on Wireless Communications.- Adversarial Examples in Wireless Networks: A Comprehensive Survey.- Headmotion: Human-machine interaction requires only your head movement.- Implementation of the bone grid reconstruction based on CT data.- Intelligent Vocal Training Assistant System.- Wearable-based Human Emotion Inference System..

Read more less

Book SynopsisThis book covers the following main topics: A) information and knowledge management; B) organizational models and information systems; C) software and systems modeling; D) software systems, architectures, applications and tools; E) multimedia systems and applications; F) computer networks, mobility and pervasive systems; G) intelligent and decision support systems; H) big data analytics and applications; I) human–computer interaction; J) ethics, computers and security; K) health informatics; L) information technologies in education; M) information technologies in radio communications; N) technologies for biomedical applications.This book is composed by a selection of articles from The 2022 World Conference on Information Systems and Technologies (WorldCIST'22), held between April 12 and 14, in Budva, Montenegro.WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences, and challenges of modern information systems and technologies research, together with their technological development and applications.

Read more less

Book SynopsisThis book covers the following main topics: A) information and knowledge management; B) organizational models and information systems; C) software and systems modeling; D) software systems, architectures, applications and tools; E) multimedia systems and applications; F) computer networks, mobility and pervasive systems; G) intelligent and decision support systems; H) big data analytics and applications; I) human–computer interaction; J) ethics, computers and security; K) health informatics; L) information technologies in education; M) information technologies in radio communications; N) technologies for biomedical applications.This book is composed by a selection of articles from The 2022 World Conference on Information Systems and Technologies (WorldCIST'22), held between April 12 and 14, in Budva, Montenegro.WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences, and challenges of modern information systems and technologies research, together with their technological development and applications.

Read more less

Book SynopsisThis book covers the following main topics: A) information and knowledge management; B) organizational models and information systems; C) software and systems modeling; D) software systems, architectures, applications and tools; E) multimedia systems and applications; F) computer networks, mobility and pervasive systems; G) intelligent and decision support systems; H) big data analytics and applications; I) human–computer interaction; J) ethics, computers and security; K) health informatics; L) information technologies in education; M) information technologies in radio communications; N) technologies for biomedical applications.This book is composed by a selection of articles from The 2022 World Conference on Information Systems and Technologies (WorldCIST'22), held between April 12 and 14, in Budva, Montenegro. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences, and challenges of modern information systems and technologies research, together with their technological development and applications.

Read more less

Book SynopsisThis two-volume set LNCS 13315 and 13316 constitutes the refereed proceedings of the 14th International Conference on Social Computing and Social Media, SCSM 2022, held as part of the 24rd International Conference, HCI International 2022, which took place in June-July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 275 posters included in the 40 HCII 2022 proceedings volumes was carefully reviewed and selected from 5583 submissions. The papers of SCSM 2022, Part II, are organized in topical sections named: social media in education; customer experience and consumer behavior.Table of ContentsSocial Media in Education.- Customer Experience and Consumer Behavior.

Read more less

Book SynopsisThe two-volume set, LNCS 13325 and 13326, are conference proceedings that constitutes the refereed proceedings of the 10th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2022, held as part of the 24th International Conference, HCI International 2022, which took place during June-July 2022. The conference was held virtually due to the COVID-19 pandemic. The 58 papers of DAPI 2022 are organized in topical sections named for each volume: Part I: User Experience and Interaction Design for Smart Ecosystems; Smart Cities, Smart Islands, and Intelligent Urban Living; Smart Artifacts in Smart Environments; and Opportunities and Challenges for the Near Future Smart EnvironmentsPart II: Smart Living in Pervasive IoT Ecosystems; Distributed, Ambient, and Pervasive Education and Learning; Distributed, Ambient, and Pervasive Well-being and Healthcare; and Smart Creativity and Art.

Read more less

Book SynopsisThe two-volume set, LNCS 13325 and 13326, are conference proceedings that constitutes the refereed proceedings of the 10th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2022, held as part of the 24th International Conference, HCI International 2022, which took place during June-July 2022. The conference was held virtually due to the COVID-19 pandemic. The 58 papers of DAPI 2022 are organized in topical sections named for each volume: Part I: User Experience and Interaction Design for Smart Ecosystems; Smart Cities, Smart Islands, and Intelligent Urban Living; Smart Artifacts in Smart Environments; and Opportunities and Challenges for the Near Future Smart EnvironmentsPart II: Smart Living in Pervasive IoT Ecosystems; Distributed, Ambient, and Pervasive Education and Learning; Distributed, Ambient, and Pervasive Well-being and Healthcare; and Smart Creativity and Art.

Read more less

Book SynopsisChapter “Developing a VR Tool to Support Repeat Pattern Design Learning ” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Read more less

Book SynopsisThe proceedings set LNCS 13231, 13232, and 13233 constitutes the refereed proceedings of the 21st International Conference on Image Analysis and Processing, ICIAP 2022, which was held during May 23-27, 2022, in Lecce, Italy,The 168 papers included in the proceedings were carefully reviewed and selected from 307 submissions. They deal with video analysis and understanding; pattern recognition and machine learning; deep learning; multi-view geometry and 3D computer vision; image analysis, detection and recognition; multimedia; biomedical and assistive technology; digital forensics and biometrics; image processing for cultural heritage; robot vision; etc. Table of ContentsBrave New Ideas.- Biomedical and Assistive Technology.- Multimedia.- Deep Learning.- Image Processing for Cultural Heritage.- Robot Vision.

Read more less

Book SynopsisThis book constitutes the proceedings of the 7th International Conference on Business Intelligence, CBI 2022, which took place in Khouribga, Morocco, during May 26-28, 2022. The 23 full papers included in this book were carefully reviewed and selected from a total of 68 submissions. They were organized in topical sections as follows: decision support and artificial intelligence; business intelligence and database; and optimization and dynamic programming.Table of ContentsDecision Support and Artificial Intelligence.- Optimization Focused On Parallel Fuzzy Deep Belief Neural Network For Opinion Mining.- A Convolutional Neural Networks-Based Approach For Potato Disease Classification.- Performance Investigation of a Proposed CBIR Search Engine Using Deep Convolu-tional Neural Networks.- Decision Boundary to improve the sensitivity of deep neural networks models. - Facial Expression Recognition Using a Hybrid ViT-CNN Aggregator.- Machine Learning Approach to Automate Decision Support on Information System Attacks.- Deep Reinforcement Learning for Bitcoin Trading.- An exploration of student grade retention prediction using machine learning algorithms.- Deep Learning Model For Educational Recommender Systems.- Comparative Study of Deep Learning Models for detection and classification of intracranial hemorrhage.- Business Intelligence and Database.- Increasing Student Engagement in Lessons and Assessing MOOC Participants Through Artificial Intelligence. -Mining frequents itemset and association rules in diabetic dataset.- Automatic text summarization for Moroccan Arabic dialect using an artificial intelligence approach.- Automatic Change Detection based on the Independent Component Analysis and Fuzzy C-means Methods.- Sentiment analysis decision system for tracking climate change opinion in Twitter.- Analysis of Decision Tree Algorithms for Diabetes Prediction.- How far can Deep Learning improve Arabic Part of Speech Tagging.- Optimization and Dynamic programming.- Analysis of Several Algorithms for DOA Estimation in Two Different Communication Models by a Comparative Study.- A Novel hybrid Approach for improving the accuracy of the Supervised Link Prediction based on Graph Structure Features in Social Networks. - Intelligent system based on GAN model for decision support in brain Tumor segmentation.- Hospital room management for Covid-19 patients using Petri nets.- Dimensionality reduction of MI-EEG data via convolutional autoencoders with a low size dataset.- Car tracking technique for DLES Project.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Innovations for Community Services, I4CS 2022, held in Delft, The Netherlands, in June 2022. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 submissions. Three invited papers were also included in the volume. The papers focus on topics such as services for critical infrastructure; network architecture for communities; applications and services supporting work and life; community data and visualization; technology empowers industry processes; and future community support.Table of ContentsInvited Papers.- Energy Harvesting and Environment Protection.- Applied Security and Privacy.- eHealth and Infrastructure.- Smart Mobility and Routing.- Smart Cities and Standardization.- Applied Machine Learning.- Quantum Computing.

Read more less

Book SynopsisChapters “No. 10 and No. 21” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of ContentsResearch.- Resources.- In-Use Track.

Read more less

Book SynopsisThis book constitutes the refereed conference proceedings of the 10th Annual Privacy Forum, APF 2022 in Warsaw, Poland in June 2022. The 8 full papers were carefully reviewed and selected from 38 submissions. The papers are organized in the area of privacy and data protection while focusing on privacy related application areas. A large focus of the 2022 conference was on the General Data Protection Regulation (GDPR).Table of ContentsUsers’ Rights.- Security of Personal Data.- Privacy Enhancing Technologies.- Privacy Engineering.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 6th International Symposium on Cyber Security Cryptography and Machine Learning, CSCML 2022, held in Be'er Sheva, Israel, in June - July 2022. The 24 full and 11 short papers presented together with a keynote paper in this volume were carefully reviewed and selected from 53 submissions. They deal with the theory, design, analysis, implementation, or application of cyber security, cryptography and machine learning systems and networks, and conceptually innovative topics in these research areas.Table of ContentsBlind Rotation in Fully Homomorphic Encryption with Extended Keys.- Monitoring Time Series With Missing Values: a Deep Probabilistic Approach.- Time, Memory and Accuracy Tradeoffs in Side-Channel Trace Profiling.- Design of Intrusion Detection System based on Logical Analysis of Data (LAD) using Information Gain Ratio.- Simulating a Coupon Collector.- On the undecidability of the Panopticon detection problem.- Privacy-Preserving Contrastive Explanations with Local Foil Trees.- Timing leakage analysis of non-constant-time NTT implementations with Harvey butterflies.- Predicting the direction of changes in the values of time series for relatively small training samples.- Machine-Learning Based Objective Function Selection for Community Detection.- Randomness for Randomness Testing.- Botnet attack identification based on SDN.- Setting up an anonymous gesture database as well as enhancing it with a verbal script simulator for rehabilitation applications.- Fake News Detection in Social Networks using Machine Learning and Trust.- Reinforcement Based User Scheduling for Cellular Communications.- A Heuristic Framework to search for Approximate Mutually Unbiased Bases.- Counter Mode for Long Messages and a Long Nonce.- Transfer learning for time series classification using synthetic data generation.- Non-Stopping Junctions via Traffic Scheduling.- Predicting subscriber usage: Analyzing multidimensional time-series using Convolutional Neural Networks.- Smart Cybercrime Classification for Digital Forensics with Small Datasets.- Auditable, Available and Resilient Private Computation on the Blockchain via MPC.- Union Buster: A Cross-Container Covert-Channel Exploiting Union Mounting.- Mutual Accountability Layer: Accountable Anonymity within Accountable Trust.- Faster Post-Quantum TLS handshakes Without Intermediate CA Certificates.- Enhancing Cybersecurity of Satellites at sub-THz Bands.- Polynomial Approximation of Inverse sqrt Function for FHE.- Detecting Clickbait in Online Social Media: You Won’t Believe How We Did It.- Etherless Ethereum Tokens: Simulating Native Tokens in Ethereum.- A Linear-Time 2-Party Secure Merge Protocol.- FairMM: A Fast and Frontrunning-Resistant Crypto Market-Maker.-In-app Cryptographically-Enforced Selective Access Control for Microsoft Office and Similar Platforms.- Differentially-Private ``Draw and Discard'' Machine Learning: Training Distributed Models from Enormous Crowds.- Privacy Preserving Solution of DCOPs by Mediation.- BFLUT Bloom Filter for Private Look Up Tables.

Read more less

Book SynopsisThis book contains the refereed proceedings of the 16th International Conference on Knowledge Management in Organizations, KMO 2022, held in Hagen, Germany, in July 2022. The 24 full papers and 5 short papers accepted for KMO 2022 were selected from 61 submissions and are organized in topical sections on: ​knowledge transfer and sharing; knowledge and organization; knowledge and service innovation; industry 4.0; information and knowledge systems; intelligent science; AI and new trends in KM.Table of ContentsKnowledge Transfer and Sharing.- Knowledge and Organization.- Knowledge and Service Innovation.- Industry 4.0.- Information and Knowledge Systems.- Intelligent Science.- AI and New Trends in KM.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 15th IFIP WG 11.8 World Conference on Information Security Education, WISE 2022, held in Copenhagen, Denmark, in June 2021. The 8 papers presented were carefully reviewed and selected from 17 submissions. The papers are categorized into the following topical sub-headings: Securing the Fourth Industrial Revolution through Programming; Cybersecurity in the Fourth Industrial Revolution: Charting the Way Forward in Education; and Real-World Cybersecurity-Inspired Capacity Building.Table of ContentsSecuring the Fourth Industrial Revolution through Programming.- Analyzing Error Rates in Cryptological Programming Assignments.- SecTutor: An Intelligent Tutoring System For Secure Programming .- Cybersecurity in the Fourth Industrial Revolution: Charting the Way Forward in Education.- How to Overcome Staff Shortage in Professionals for SOCs and NSICs.- Collaborative Cybersecurity Learning: Establishing Educator and Learner Expectations and Requirements.- A Maturity Assessment Model for Cyber Security Education in Europe.- Real-World Cybersecurity-Inspired Capacity Building.- ForCyRange: An Educational IoT Cyber Range for Live Digital Forensics.- South Africa’s taxi industry as a cybersecurity-awareness game changer: why and how?.- Maritime Cyber Threats Detection Framework: Building Capabilities.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 15th IFIP WG 11.8 World Conference on Information Security Education, WISE 2022, held in Copenhagen, Denmark, in June 2021. The 8 papers presented were carefully reviewed and selected from 17 submissions. The papers are categorized into the following topical sub-headings: Securing the Fourth Industrial Revolution through Programming; Cybersecurity in the Fourth Industrial Revolution: Charting the Way Forward in Education; and Real-World Cybersecurity-Inspired Capacity Building.Table of ContentsSecuring the Fourth Industrial Revolution through Programming.- Analyzing Error Rates in Cryptological Programming Assignments.- SecTutor: An Intelligent Tutoring System For Secure Programming .- Cybersecurity in the Fourth Industrial Revolution: Charting the Way Forward in Education.- How to Overcome Staff Shortage in Professionals for SOCs and NSICs.- Collaborative Cybersecurity Learning: Establishing Educator and Learner Expectations and Requirements.- A Maturity Assessment Model for Cyber Security Education in Europe.- Real-World Cybersecurity-Inspired Capacity Building.- ForCyRange: An Educational IoT Cyber Range for Live Digital Forensics.- South Africa’s taxi industry as a cybersecurity-awareness game changer: why and how?.- Maritime Cyber Threats Detection Framework: Building Capabilities.

Read more less

Book SynopsisThis book outlines the development of the Trace R&D Center as an institution for furthering accessible and assistive technologies. The book walks readers through the Center’s nascent attempts to solve individual challenges with augmentative communication devices through contemporary efforts to establish global frameworks and infrastructures for accessibility. This book is premised on the Center’s mission to maximize the potential of people with disabilities by harnessing evolving technologies while at the same time dismantling the barriers created by those same technological advancements. Readers will learn how this has been done in the past and why this practice should be a fundamental and integrated feature in new technology planning and implementation. The book touches on pre-internet technologies before exploring the huge implications of, first, the personal computer and, second, the Internet. In parallel with the massive growth in scale rendered by the launch of the Web, the book traces the expansion of the Center’s focus from the individual to the universal, particularly in working to establish accessibility standards and infrastructures. Learning from the successes and failures of the Center, the book outlines many past challenges and future directions for the development of technologies for people with disabilities from the research and industry perspectives.Table of ContentsTrace Center Origin and Evolution.- Augmentative Communication (1971–).- Pre-Internet/Pre-Web Summative Information (1970s–1990s).- Computer Access (1980–).- Electronic Consumer Products and General Accessibility (1990–).- Web Access (1990–).- Telecommunication Access (1990–).- Kiosks and Information—Transaction Machine Access (1999–).- Accessibility Infrastructure (2010 –).- Move to University of Maryland (2016).- Elements that Have Defined the Trace Center.- Some Lessons Learned from Trace’s First 50 Years.- Trace’s Focus for the Next Decade(s) (2021–).

Read more less

Book SynopsisThis book constitutes the thoroughly refereed proceedings of the 22nd International Conference on Web Engineering, ICWE 2022, held in Bari, Italy, in July 2022. The 23 revised full papers and 5 short papers presented were carefully reviewed and selected from 81 submissions. The books also contains 6 demonstration and poster papers, 7 symposium and 5 tutorial papers. They are organized in topical sections named: recommender systems based on web technology; social web applications; web applications modelling and engineering; web big data and web data analytics; web mining and knowledge extraction; web security and privacy; web user interfaces.Table of Contentsrecommender systems based on web technology.- social web applications.- web applications modelling and engineering.- web big data and web data analytics.- web mining and knowledge extraction.- web security and privacy.- web user interfaces.- web mining and knowledge extraction.- web Big Data and Web data analytics.- Mobile Web applications.- web of Things applications.- social Web applications.- web crowdsourcing and human computation.- semantic web.- web ontologies, and Linked Open Data applications.- quality and accessibility aspects of Web applications.- web composition and mashups.- web user interfaces.- web security and privacy.- web programming.- web services, computing, and standards.

Read more less

Book SynopsisThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.Table of ContentsSoftware Engineering.- Theoretical Computer Science in industrial applications.- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 4th International Conference on Intelligent Technologies and Applications, INTAP 2021, held in Grimstad, Norway, October 11–13, 2021.The 33 full papers included in this book were carefully reviewed and selected from 243 submissions. They were organized in topical sections as follows: Intelligence, Decision support systems, IoT; Robotics; ML and AI for Intelligent Health, Applications of intelligent technologies in Emergency Management; Smart Electrical Energy Systems, AI and ML in Security; ML and AI for sensing technologies, Social Media Analytics; ML in energy sectors and materials; and Miscellaneous.Table of ContentsIntelligence, Decision support systems, IoT.- Dense Nearest Neighborhood Query.- Explainable nonlinear modelling of multiple time series with invertible neural networks.- Iterative Learning for Semi-automatic Annotation Using User Feedback.- Residual Stress Prediction of Welded Joints Using Gradient Boosting Regression.- A Novel Group Teaching Optimization Algorithm based Artificial Neural Network for Classification.- On the Effects of Properties of the Minibatch in Reinforcement Learning.- A novel migration simulation and prediction tool.- Development Environment for Software-defined Smart City Networks.- Robotics.- Branch-Manoeuvring Capable Pipe Cleaning Robot for Aquaponic Systems.- A Multi-Modal Auditory-Visual-Tactile e-Learning Framework.- A Perspective on Intervention Approaches for Children with Autism Spectrum Disorder.- framework for hazard identification of a collaborative Plug&Produce system.- ML and AI for Intelligent Health, Applications of intelligent technologies in Emergency Management.- Future Perspectives on Automated Machine Learning in Biomedical Signal Processing.- DeepFireNet - A Light-Weight Model for Fire-Smoke Classification.- Smart Electrical Energy Systems, AI and ML in Security.- THD Reduction Comparison of Three Phase SPPS via Conventional RC and Novel PRESH Controller.- Artificial Neural Network (ANN) trained by a Novel Arithmetic Optimization Algorithm (AOA) for Short Term Forecasting of Wind Power.- Bode Plot Analysis of PRES and Novel PRESH controller interfaced with three phase GTSPPS.- Energy tracing and blockchain technology: a primary review.- Emulation of IEC 60870-5-104 Communication in Digital Secondary Substations.- ML and AI for sensing technologies, Social Media Analytics.- Point Cloud Instance Segmentation for Automatic Electric Vehicle Battery Disassembly.- Radar-Based Passive Step Counter and its Comparison with a Wrist-Worn Physical Activity Tracker.- Principles for the Arrangement of Social Media Listening Practices in Crisis Management.- AMUSED: An Annotation Framework of Multi-modal Social Media Data.- ML in energy sectors and materials.- An evaluation of predictor variables for photovoltaic power forecasting.- Smart Meter Data Anomaly Detection using Variational Recurrent Autoencoders with Attention.- Detecting the linear and non-linear causal links for disturbances in the power grid.- Machine Learning for PV System Operational Fault Analysis: Literature Review.- Miscellaneous.- An overview of Data Based Predictive Modeling Techniques used in Analysis of Vehicle Crash Severity.- An Evaluation of Autonomous Car Simulators and their applicability for Supervised and Reinforcement Learning.- Classification of Mechanical Fault-Excited Events based on Frequency.- Intelligent Technologies in the Process of Recovering Historical, Cultural, and Heritage Value in Native Communities.- Tensile Experiments on Adhesion between Aluminium Profiles and Glass.- Machine learning for capacity utilization along the routes of an urban freight service.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 12h International Symposium on Business Modeling and Software Design, BMSD 2022, which took place in Fribourg, Switzerland, in June 2022.The 12 full and 9 short papers included in this book were carefully reviewed and selected from a total of 56 submissions. BMSD is a leading international forum that brings together researchers and practitioners interested in business modeling and its relation to software design. Particular areas of interest are: Business Processes and Enterprise Engineering; Business Models and Requirements; Business Models and Services; Business Models and Software; Information Systems Architectures and Paradigms; Data Aspects in Business Modeling and Software Development; Blockchain-Based Business Models and Information Systems; IoT and Implications for Enterprise Information Systems. Each year, a special theme is chosen, for making presentations and discussions more focused. The BMSD 2022 theme is: Information Systems Engineering and Trust. Table of ContentsFull Papers.-- Rapid Prototyping of Business Rule-based Systems with Controlled Natural Language and Semantic Web Software.- - Agile Innovation Through Business Process Management: Realizing the Potential of Digital Transformation.-- Requirements for Dynamic Jumps at the Execution of Business Processes.- Results from the Verification of Models of Spectrum Auctions.- Context-Aware, Intelligent Musical Instruments for Improving Knowledge-Intensive Business Processes.- Detecting Data Incompatibilities in Process-Driven Decision Support Systems.- Semantic Relations of Sub-Models in an Enterprise Model.- VR-EA+TCK: Visualizing Enterprise Architecture, Content, and Knowledge in Virtual Reality.- A Case of Social Dynamics & Social Relativism.- Advantages of a Formal Specification of a Case: From Informal Description via Formal Specification to Realization.- An Architecture for Attesting to the Provenance of Ontologies Using Blockchain Technologies.- Trends for the DevOps Security. A Systematic Literature Review.- Short Papers.- Errors in the Process of Modeling Business Processes.- Use Cases for Augmented Reality Applications in Enterprise Modeling: A Morphological Analysis.- On the Context-Aware Servicing of User Needs: Extracting and Managing Context Information Supported by Rules and Predictions.- Towards Identification and Modelling of Privacy Requirements with Systems Thinking a Reference Architecture for User-Oriented Open Government Data Portals.- KnowGo : An Adaptive Learning-based Multi-Model Framework for Dynamic Automotive Risk Assessment.- OSRM-CCTV: CCTV-aware Routing and Navigation System for Privacy and Safety.- CCTV-Exposure: System for Measuring User’s Privacy Exposure to CCTV Cameras.- Computer Model for Assessment and Visualization of Specific Absorption Rate of Electromagnetic Field, Generated by Smartphone.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 18th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2022, held in Rome, Italy, in August 2022.The 18 full papers and 1 short paper presented in this book were carefully reviewed and selected from 51 submissions. The papers of MobiWIS 2022 deal focus on topics such as security and privacy; web and mobile applications; networking and communication; intelligent information systems; and IoT and ubiquitous computing.Table of Contents​Session 1: Mobile Applications and Technologies.- Knowledge Behavior Gap Model: An Application for Technology Acceptance.- UI-Re-Engineering of a Mobile Documentation Software in the Care Sector.- GUI Element Detection from Mobile UI Images Using YOLOv5.- Session 2: Mobile Devices and Automous Vehicles.- Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety.- Neural Network for Public Transport Mode Inference on Mobile Devices.- Data-Driven Federated Autonomous Driving.- Session 3: Security in Healthcare and Smart Cities Environment.- Case Study on a Session Hijacking Attack: The 2021 CVS Health Data Breach.- Blockchain for Cybersecure Healthcare.- Design of a Method for Setting IoT Security Standards in Smart Cities.- Session 4: Software-Defined Networks.- Mathematical Models for Minimizing Latency in Software-Defined Networks.- Analyzing the Impact of DNN Hardware Accelerators-Oriented Compression Techniques on General-Purpose Low-End Boards.- Spatial Dependency in Software-Defined Networking In-Band Monitoring: Challenges and Future Perspective.- Session 5: Smart Systems and Applications.- What is a Smart Service?.- SSSB: An Approach to Insurance for Cross-Border Exchange by using Smart Contracts.- A Review: Sensors Used in Tool Wear Monitoring and Prediction.- Session 6: Advanced Information Systems.- Towards the use of IT technologies for health literacy and health information competences – a case study.- A Systematic Literature Review on Relationship between Internet Usage Behavior and Internet QoS in Campus.- Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.

Read more less

Book SynopsisThis two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.The 87 revised full papers were carefully reviewed and selected from numerous submissions. The conference presents a study of computing methods derived from natural models. Amorphous Computing, Artificial Life, Artificial Ant Systems, Artificial Immune Systems, Artificial Neural Networks, Cellular Automata, Evolutionary Computation, Swarm Computing, Self-Organizing Systems, Chemical Computation, Molecular Computation, Quantum Computation, Machine Learning, and Artificial Intelligence approaches using Natural Computing methods are just some of the topics covered in this field.Table of ContentsAutomated Algorithm Selection in Single-Objective Continuous Optimization: A Comparative Study of Deep Learning and Landscape Analysis Methods.- Improving Nevergrad's Algorithm Selection Wizard NGOpt through Automated Algorithm Configuration.- Non-Elitist Selection Can Improve the Performance of Irace.- Per-run Algorithm Selection with Warm-starting using Trajectory-based Features.- Efficient Approximation of Expected Hypervolume Improvement using Gauss-Hermite Quadrature.- A Systematic Approach to Analyze the Computational Cost of Robustness in Model-Assisted Robust Optimization.- Adaptive Function Value Warping for Surrogate Model Assisted Evolutionary Optimization.- Finding Knees in Bayesian Multi-Objective Optimization.- High Dimensional Bayesian Optimization with Kernel Principal Component Analysis.- Single Interaction Multi-Objective Bayesian Optimization.- Surrogate-assisted LSHADE algorithm utilizing Recursive Least Squares filter.- Towards Efficient Multiobjective Hyperparameter Optimization: A Multiobjective Multi-Fidelity Bayesian Optimization and Hyperband Algorithm.- A Continuous Optimisation Benchmark Suite from Neural Network Regression.- BBE: Basin-Based Evaluation of Multimodal Multi-Objective Optimization Problems.- Evolutionary Approaches to Improving the Layouts of Instance-Spaces.- A novelty-search approach to filling an instance-space with diverse and discriminatory instances for the knapsack problem.- Co-Evolutionary Diversity Optimisation for the Traveling Thief Problem.- Computing High-Quality Solutions for the Patient Admission Scheduling Problem using Evolutionary Diversity Optimisation.- Cooperative Multi-Agent Search on Endogenously-Changing Fitness Landscapes.- Evolutionary Algorithm for Vehicle Routing with Diversity Oscillation Mechanism.- Evolutionary Algorithms for Limiting the Effect of Uncertainty for the Knapsack Problem with Stochastic Profits.- Self-adaptation via Multi-objectivisation: An Empirical Study.- The Combined Critical Node and Edge Detection Problem. An Evolutionary Approach.- Attention-Based Genetic Algorithm for Adversarial Attack in Natural Language Processing.- Deep Reinforcement Learning with Two-Stage Training Strategy for Practical Electric Vehicle Routing Problem with Time Windows.- Evolving Through the Looking Glass: Learning Improved Search Spaces with Variational Autoencoders.- Generalization and Computation for Policy Classes of Generative Adversarial Imitation Learning.- Generative Models over Neural Controllers for Transfer Learning.- HVC-Net: Deep Learning based Hypervolume Contribution Approximation.- Multi-objective Evolutionary Ensemble Pruning Guided by Margin Distribution.- Revisiting Attention-based Graph Neural Networks for Graph Classification.- Robust Neural Network Pruning by Cooperative Coevolution.- SemiGraphFL: Semi-Supervised Graph Federated Learning.- Evolutionary Design of Reduced Precision Preprocessor for Levodopa-Induced Dyskinesia Classifier.- In-Materio Extreme Learning Machines.- On the impact of the duration of evaluation episodes on the evolution of adaptive robots.- Analysing the Fitness Landscape Rotation for Combinatorial Optimisation.- Analysis of Search Landscape Samplers for Solver Performance Prediction on a University Timetabling Problem.- Fractal Dimension and Perturbation Strength: A Local Optima Networks View.- HPO X ELA: Investigating Hyperparameter Optimization Landscapes by Means of Exploratory Landscape Analysis.- Increasing the Diversity of Benchmark Function Sets through Affine Recombination.- Neural Architecture Search: A Visual Analysis. - Digging into Semantics: Where do search-based software repair methods search?.- Gene-pool Optimal Mixing in Cartesian Genetic Programming.- Genetic programming for combining directional changes indicators in international stock markets.- Importance-Aware Genetic Programming for Automated Scheduling Heuristics Learning in Dynamic Flexible Job Shop Scheduling.- Towards Discrete Phenotypic Recombination in Cartesian Genetic Programming.- A general architecture for generating interactive decomposition-based MOEAs.- An Exact Inverted Generational Distance for Continuous Pareto Front.- Direction Vector Selection for R2-based Hypervolume Contribution Approximation.- Do We Really Need to Use Constraint Violation in Constrained Evolutionary Multi-Objective Optimization?.- Dynamic Multi-modal Multi-objective Optimization: A Preliminary Study.- Fair Feature Selection with a Lexicographic Multi-Objective Genetic Algorithm.- Greedy Decremental Quick Hypervolume Subset Selection Algorithms.- Hybridizing Hypervolume-based Evolutionary Algorithms and Gradient Descent by Dynamic Resource Allocation.- Identifying Stochastically Non-dominated Solutions Using Evolutionary Computation.- Large-scale multi-objective influence maximisation with network downscaling.- Multi-Objective Evolutionary Algorithm Based on the Linear Assignment Problem and the Hypervolume Approximation using Polar Coordinates (MOEA-LAPCO).- New Solution Creation Operator in MOEA/D for Faster Convergence.- Obtaining Smoothly Navigable Approximation Sets in Bi-Objective Multi-Modal Optimization.- T-DominO: Exploring Multiple Criteria with Quality-Diversity and the Tournament Dominance Objective.- Recombination Weight based Selection in the DTS-CMA-ES.- The (1+1)-ES Reliably Overcomes Saddle Points.- Collective Learning of Low-Memory Matrix Adaptation for Large-Scale Black-Box Optimization.- Evolutionary Time-Use Optimization for Improving Children's Health Outcomes.- Iterated Local Search for the eBuses Charging Location Problem.- Multi-view clustering of heterogeneous health data: Application to systemic sclerosis.- Specification-Driven Evolution of Floor Plan Design.- Surrogate-assisted Multi-objective Optimization for Compiler Optimization Sequence Selection.- A First Runtime Analysis of the NSGA-II on a Multimodal Problem.- Analysis of Quality Diversity Algorithms for the Knapsack Problem.- Better Running Time of the Non-dominated Sorting Genetic Algorithm II (NSGA-II) by Using Stochastic Tournament Selection.- Escaping Local Optima With Local Search: A Theory-Driven Discussion.- Evolutionary Algorithms for Cardinality-Constrained Ising Models.- General Univariate Estimation-of-Distribution Algorithms.- Population Diversity Leads to Short Running Times of Lexicase Selection.- Progress Rate Analysis of Evolution Strategies on the Rastrigin Function: First Results.- Running Time Analysis of the (1+1)-EA using Surrogate Models on OneMax and LeadingOnes.- Runtime Analysis of Simple Evolutionary Algorithms for the Chance-constrained Makespan Scheduling Problem.- Runtime Analysis of the (1+1) EA on Weighted Sums of Transformed Linear Functions.- Runtime Analysis of Unbalanced Block-Parallel Evolutionary Algorithms.- Self-adjusting Population Sizes for the (1, λ)-EA on Monotone Functions.- Theoretical Study of Optimizing Rugged Landscapes with the cGA.- Towards Fixed-Target Black-Box Complexity Analysis.- Two-Dimensional Drift Analysis: Optimizing Two Functions Simultaneously Can Be Hard.

Read more less

Book SynopsisThis book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.Table of ContentsInvited Keynote Talks.- Reinforcement Learning with Guarantees That Hold for Ever.- Supporting Railway Innovations with Formal Modelling and Verification.- Certification.- Formal Monotony Analysis of Neural Networks with Mixed Inputs: An asset for certification.- Generating Domain-specific Interactive Validation Documents.- Deductive Verification of Smart Contracts with Dafny.- Industrial use cases.- Towards Reusable Formal Models for Custom Real-time Operating Systems.- Formal verification of an industrial UML-like model using mCRL2.- Chemical Case Studies in KeYmaera X.- Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining.- Testing and monitoring.- Test Suite Augmentation for Recon gurable PLC Software in the Internet of Production.- Monitoring of Spatio-Temporal Properties with nonlinear SAT solvers.- Model-Based Testing of Internet of Things Protocols.- Methodology.- Formally Verifying Decompositions of Stochastic Specifications.- Verification of Behavior Trees using Linear Constrained Horn Clauses.- A Multi-level Methodology for Behavioral Comparison of SoftwareIntensive Systems.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 17th International Workshop on Security, IWSEC 2022, which took place as a hybrid event in Tokyo, Japan, in August/September 2022. The 12 full papers presented in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: mathematical cryptography; system security and threat intelligence; symmetric-key cryptography; post-quantum cryptography; advanced cryptography.

Read more less

Book SynopsisThis two volume proceedings, LNCS 13445 and 13446, constitutes the refereed proceedings of the 9th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, XR Salento 2022, held in Lecce, Italy, July 6–8, 2022. Due to COVID-19 pandemic the conference was held as a hybrid conference.The 42 full and 16 short papers were carefully reviewed and selected from 84 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, applications in cultural heritage, in medicine, in education, and in industry.Table of ContentseXtended Reality for learning and training.- Mixed Reality Agents for Automated Mentoring Processes.- Asynchronous Manual Work in Mixed Reality Remote Collaboration.- A virtual reality serious game for children with dyslexia: DixGame.- Processing Physiological Sensor Data in Near Real-Time as Social Signals for their Use on Social Virtual Reality Platforms.- Developing a tutorial for improving usability and user skills in an immersive virtual reality experience.- Challenges in Virtual Reality Training for CRBN Events.- A Preliminary Study on the Teaching Mode of Interactive VR Painting Ability Cultivation.- eXtended Reality in education.- Factors in the cognitive-emotional impact of Educational Environmental Narrative Videogames.- Instinct-based Decision-making in Interactive Narratives.- The application of immersive virtual reality for children's road education: validation of a pedestrian crossing scenario.- Collaborative VR scene broadcasting for geometry education.- Collaborative Mixed Reality Annotations System for Science and History Education Based on UWB Positioning and Low-cost AR Glasses.- Artificial Intelligence and Machine Learning for eXtended Reality.- Can AI replace conventional markerless tracking? A comparative performance study for mobile augmented reality based on artificial intelligence..- Find, Fuse, Fight: genetic algorithms to provide engaging content for multiplayer augmented reality games.- Synthetic data generation for surface defect detection*.- eXtended Reality in Geo-Information Sciences.- ARtefact: A Conceptual Framework for the Integrated Information Management of Archaeological Excavations.- Geomatics meets XR: a brief overview of the synergy between Geospatial data and augmented visualization..- Utilization of Geographic Data for the Creation of Occlusion Models in the Context of Mixed Reality Applications.- Development of an open-source 3D WebGIS framework to promote cultural heritage dissemination.- Industrial eXtended Reality.- A FRAMEWORK FOR DEVELOPING XR APPLICATIONS INCLUDING MULTIPLE SENSORIAL MEDIA.- Augmented Reality Remote Maintenance in Industry: A Systematic Literature Review.- Virtual Teleoperation Setup for a Bimanual Bartending Robot.- eXtended Reality in the digital transformation of museums.- Virtualization and Vice Versa: A new procedural model of the reverse virtualization for the user behavior tracking in the Virtual Museums.- “You can tell a man by the emotion he feels”: How Emotions Influence Visual Inspection of Abstract Art in Immersive Virtual Reality.- Augmented Reality and 3D Printing for Archaeological Heritage: Evaluation of Visitor Experience.- Building blocks for multi-dimensional WebXR inspection tools targeting Cultural Heritage.- Comparing the impact of low-cost 360° cultural heritage videos displayed in 2D screens versus virtual reality headsets.- eXtended Reality beyond the five senses.- Non-immersive versus immersive extended reality for motor imagery neurofeedback within a brain-computer interfaces.- Virtual Reality enhances EEG-based neurofeedback for emotional self-regulation.- Psychological and Educational Interventions Among Cancer Patients: A Systematic Review to Analyze the Role of Immersive Virtual Reality for Improving Patients’ Well-Being.

Read more less

Book SynopsisThis book constitutes the proceedings of the 26th European Conference on Advances in Databases and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022.The 23 full papers presented together with 5 keynote and tutorial papers were carefully reviewed and selected from 90 submissions. The papers are organized in the following topical sections: ​keynote talk and tutorials; graph processing; time series and data streams; on line analytical processing; advanced querying; performance; machine learning; data science methods.Table of ContentsKeynote Talk and Tutorials.- Graph Processing.- Time Series and Data Streams.- On Line Analytical Processing.- Advanced Querying.- Performance.- Machine Learning.- Data Science Methods.

Read more less

Book SynopsisThis book sonstitutes selected papers from the first International Conference on Cyber Warfare, Security and Space Research, SpacSec 2021, held in Jaipur, India, in December 2021.The 19 full and 6 short papers were thoroughly reviewed and selected from the 98 submissions. The papers present research on cyber warfare, cyber security, and space research area, including the understanding of threats and risks to systems, the development of a strong innovative culture, and incident detection and post-incident investigation.Table of ContentsCreation of Novel Database for Knowledge Repository on Cyber Security.- Brain Tumour Classification via UNET Architecture of CNN Technique.- Analysis of Various ML algorithms for Intrusion Detection.- Enhanced Security Mechanism for Cryptographic File Systems Using Trusted Computing.- Critical Analysis of IoT Ecosystem to Understand Security Threats and Challenges.- Hyper-parameters study for breast cancer datasets: enhancing image security and accuracy for prediction class.- An efficient Image Encryption technique using Logistic Map and 2D-TCLM.- Learning Co-occurrence Embeddings for Sentence Classification.- Preventing Fault Attacks on S-boxes of AES-like Block Ciphers.- Privacy Preserving of Two Local Data Sites using Global Random Forest Classification.- Privacy Preserving and Secured Clustering of Distributed Data using Self Organizing Map.- Implementation of Intrusion Detection Systems in Distributed Architecture.- Practical Phase Shift Model for RIS-Assisted D2D Communication Systems.- Recent Trend of Transform Domain Image Steganography Technique for Secret Sharing.- Design of a high efficiency access control & authentication analysis model for cloud deployments using pattern analysis.- A Study on Cyber Security in various Critical IT Infrastructure Organizational Sectors: Challenges and Solutions.- Short-Delay Multipath Errors in NavIC Signals for Stationary Receivers.- Point Clouds Object Classification using Part-based Capsule Network.- Study of various types of attacks made on optical image encryption based on DRPE.- Satellite Image Classification Using ANN.- Power Quality Disturbance Classification Using Transformer Network.- On-Orbit, Non-Destructive Surface Surveillance, and Inspection with Convolution Neural Network.- Ramadan Group transform fundamental properties and some its dualities.- Enhancing Security Mechanism in Smart Phones using Crowdsourcing.- INTELLIBOT - Intelligent Voice Assisted Chatbot with Sentiment Analysis, COVID Dashboard and Offensive Text Detection.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 19th International Conference on Virtual Reality and Mixed Reality, EuroXR 2022, held in Stuttgart, Germany, in September 2022.The 6 full and 2 short papers were carefully reviewed and selected from 37 submissions. The conference presents contributions on results and insights in Virtual Reality (VR), Augmented Reality (AR), and Mixed Reality (MR), commonly referred to under the umbrella of Extended Reality (XR), including software systems, immersive rendering technologies, 3D user interfaces, and applications. Table of ContentsDesigning Functional Prototypes Combining BCI and AR for Home Automation.- SightX: A 3D Selection Technique for XR.- Design and Evaluation of Three User Interfaces for Detecting Unmanned Aerial Vehicles Using Virtual Reality.- Evaluating the Acceptability and Usability of a Head-Mounted Augmented Reality Approach for Autistic Children With High Support Needs.- Exploiting Augmented Reality in LEGO Therapy for Children with Autism Spectrum Disorder.- Evaluation of Point Cloud Streaming and Rendering for VR-based Telepresence in the OR.- Fast Intra-Frame Video Splicing for Occlusion Removal in Diminished Reality.- Coupling AR with object detection neural networks for end-user engagement.- A Procedural Building Generator based on Real-World Data Enabling Designers to Create Context for XR Automotive Design Experiences.- Generating VR meeting rooms with non-rectangular floor plans using cost optimization and hard constraints.- Controlling Continuous Locomotion in Virtual Reality With Bare Hands using Hand Gestures.- An Augmented Reality solution for the Positive Behaviour Intervention and Support.- The Reality of Virtual Experiences: Semantic and Epi-sodic Memory Formation in VR.

Read more less

Book SynopsisThis book constitutes the proceedings of the 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, held in Toulouse, France, in September 2022.The 30 research papers and 31 demo and poster papers presented in this volume were carefully reviewed and selected from 109 submissions. Chapter “Learners’ Strategies in Interactive Sorting Tasks” is available open access under a CC BY 4.0 license.Table of ContentsWho are my peers? Learner Controlled Social Comparison in a Programming Course.- A Dashboard to Support Teachers during Students’ Self-paced AI-supported Problem-solving Practice.- Pyrates: a serious game designed to support the transition from block-based to text-based programming.- Privacy-preserving and scalable affect detection in online synchronous learning.- Video Assisted Self-Regulated Learning (SRL) Training: COVID-19 Edition.- An Empirical Study of the Effects of Virtual Currency on Learners in Out of Class Practicing.- Effects of discipline, gender, and remediation on both the achievement and realism of Undergraduates on pre-requisite testing.- Enhancing Instructors’ Capability to Assess Open-Response using Natural Language Processing and Learning Analytics.- Exploring the Connections Between the Use of Automated Feedback System and Learning Behavior in a MOOC for Programming.- Integrating Podcasts into MOOCs: Comparing Effects of Audio- and Video-Based Education for Secondary Content.- The digitalization of teaching practices in K-12 education: insights from teachers’ perspective.- Representation-driven Mixed Initiative in Computer Supported Collaborative Learning in Secondary Education.- When and How to Update Online Analytical Models For Predicting Students Performance?.- Computational thinking : focus on pattern identification.- Towards modelling the technology integration in elementary school. A diachronic study of teachers' digital practices during and after Covid-19 lockdown.-Learning to Give a Complete Argument with a Conversational Agent: An Experimental Study in Two Domains of Argumentation.- Video Segmentation and Characterisation to Support Learning.- Assessing the Quality of Student-Generated Short Answer Questions using GPT-3.- Designing Playful Intelligent Tutoring Software to Support Engaging and Effective Algebra Learning.- Towards Generalized Methods for Automatic Question Generation in Educational Domains.- Learners’ Strategies in Interactive Sorting Tasks.- Adapting learning analytics dashboards by and for university students.- The Evaluation of One-to-One Initiatives: Exploratory Results from a Systematic Review.- Designing a Moodle Plugin for Promoting Learners' Self-Regulated Learning in Blended Learning.- Uncovering Student Temporal Learning Patterns.- The Disciplinary Learning Companion: the impact of disciplinary and topic-specific reflection on students' metacognitive abilities and academic achievement.- Medical Students’ Perception of a Serious Game (ECOGAME) of simulating an OSCE station: Case of Mohammed VI University of Health Sciences (UM6SS).- Integrating DLR in classroom teaching: effects on teaching practices and student perceptions.- Privacy-Preserving Synthetic Educational Data Generation.- Supporting Self-regulated Learning in BL: Exploring learners' tactics and strategies.- Promoting Universal Design for Learning through Digital Assistive Tools in GamesHUB.- iTeachApp, a teaching analytics tool for providing self-assessment and recommendations to teachers.- Deliberate Practice of Handwriting: Supervision under the ghost of an expert.- CHEST: a Linked Open Data-based application to annotate and carry out learning tasks about Cultural Heritag.- Towards an automated adaptive learning web platform through personalization of language learning pathways.- Miranda: A Chatbot for Supporting Self-Regulated Learning.- Superpowers in the Classrom: Hyperchalk is an Online Whiteboard for Learning Analytics Data Collection.- An educational conversational agent for GDPR.- e-FeeD4Mi: Automating Tailored LA-Informed Feedback in Virtual Learning Environments.- Digital?Sicher! – an educational game to build digital competences.- Towards effective blended learning through the eyes of students: A survey study in transition into face-to-face education.- Measuring students’ self-regulated learning skills from their digital traces and learning pathways.- Digital Media in Schools During the Covid-19 Lockdown: Teachers’ Experiences with Choosing Teaching Strategies.- Providing Novice Programmers with Process and Self-regulation Explainable Feedback Appears Ineffectual.- Exploring teacher's orchestration actions in Online and In-class Computer-Supported Collaborative Learning.- Using dialogic feedback to create learning communities during COVID-19: lessons for future teacher development.- Development of actionable insights for regulating students' collaborative writing of scientific texts.- Design a Dashboard for Secondary School Learners to Support Mastery Learning in a Gamified Learning Environment.- Towards an Authoring Tool to Help Teachers Create Mobile Collaborative Learning Games for Field Trips.- Design Pattern for Exploration and Experimentation: Result of Field Study on a Toy-Based Serious Game Design Method.- The enablers and barriers of using Slack for computer-mediated communication to support the learning journey: A case study at a university of applied sciences.- Mobile telepresence robots in education: Strengths, opportunities, weaknesses, and challenges.- What Teachers Would Expect from a Pedagogical Agent System Working at a Classroom Level: a Focus Group Study.- Designing LADs that promote sensemaking: a participatory tool.- Designing LADs that promote sensemaking: a participatory tool.- A conceptual framework for the creation of mobile collaboration tools.- Does Deliberately Failing Improve Learning in Introductory Computer Science?.- CLP: A Platform for Competitive Learning.- Studying cohort influence on student performance prediction in multi-cohort university courses.- What kind and How many?: Exploring feedback in remote training of procedural skills in physiotherapy.- Personalizing the Sequencing of Learning Activities by using the Q-Learning and the Bayesian Knowledge Tracing.

Read more less

Book SynopsisThe eight-volume set LNCS 13431, 13432, 13433, 13434, 13435, 13436, 13437, and 13438 constitutes the refereed proceedings of the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which was held in Singapore in September 2022. The 574 revised full papers presented were carefully reviewed and selected from 1831 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: Brain development and atlases; DWI and tractography; functional brain networks; neuroimaging; heart and lung imaging; dermatology; Part II: Computational (integrative) pathology; computational anatomy and physiology; ophthalmology; fetal imaging; Part III: Breast imaging; colonoscopy; computer aided diagnosis; Part IV: Microscopic image analysis; positron emission tomography; ultrasound imaging; video data analysis; image segmentation I; Part V: Image segmentation II; integration of imaging with non-imaging biomarkers; Part VI: Image registration; image reconstruction; Part VII: Image-Guided interventions and surgery; outcome and disease prediction; surgical data science; surgical planning and simulation; machine learning – domain adaptation and generalization; Part VIII: Machine learning – weakly-supervised learning; machine learning – model interpretation; machine learning – uncertainty; machine learning theory and methodologies. Table of ContentsBrain Development and Atlases.- Progression models for imaging data with Longitudinal Variational Auto Encoders.- Boundary-Enhanced Self-Supervised Learning for Brain Structure Segmentation.- Domain-Prior-Induced Structural MRI Adaptation for Clinical Progression Prediction of Subjective Cognitive Decline.- 3D Global Fourier Network for Alzheimer’s Disease Diagnosis using Structural MRI.- CASHformer: Cognition Aware SHape Transformer for Longitudinal Analysis.- Interpretable differential diagnosis for Alzheimer’s disease and Frontotemporal dementia.- Is a PET all you need? A multi-modal study for Alzheimer’s disease using 3D CNNs.- Unsupervised Representation Learning of Cingulate Cortical Folding Patterns.- Feature robustness and sex differences in medical imaging: a case study in MRI-based Alzheimer’s disease detection.- Extended Electrophysiological Source Imaging with Spatial Graph Filters.- DWI and Tractography.- Hybrid Graph Transformer for Tissue Microstructure Estimation with Undersampled Diffusion MRI Data.- Atlas-powered deep learning (ADL) - application to diffusion weighted MRI.- One-Shot Segmentation of Novel White Matter Tracts via Extensive Data Augmentation.- Accurate Corresponding Fiber Tract Segmentation via FiberGeoMap Learner.- An adaptive network with extragradient for diffusion MRI-based microstructure estimation.- Shape-based features of white matter fiber-tracts associated with outcome in Major Depression Disorder.- White Matter Tracts are Point Clouds: Neuropsychological Score Prediction and Critical Region Localization via Geometric Deep Learning.- Segmentation of Whole-brain Tractography: A Deep Learning Algorithm Based on 3D Raw Curve Points.- TractoFormer: A Novel Fiber-level Whole Brain Tractography Analysis Framework Using Spectral Embedding and Vision Transformers.- Multi-site Normative Modeling of Diffusion Tensor Imaging Metrics Using Hierarchical Bayesian Regression.- Functional Brain Networks.- Contrastive Functional Connectivity Graph Learning for Population-based fMRI Classification.- Joint Graph Convolution for Analyzing Brain Structural and Functional Connectome.- Decoding Task Sub-type States with Group Deep Bidirectional Recurrent Neural Network.- Hierarchical Brain Networks Decomposition via Prior Knowledge Guided Deep Belief Network.- Interpretable signature of consciousness in resting-state functional network brain activity.- Nonlinear Conditional Time-varying Granger Causality of Task fMRI via Deep Stacking Networks and Adaptive Convolutional Kernels.- fMRI Neurofeedback Learning Patterns are Predictive of Personal and Clinical Traits.- Multi-head Attention-based Masked Sequence Model for Mapping Functional Brain Networks.- Dual-HINet: Dual Hierarchical Integration Network of Multigraphs for Connectional Brain Template Learning.- RefineNet: An Automated Framework to Generate Task and Subject-Specific Brain Parcellations for Resting-State fMRI Analysis.- Modelling Cycles in Brain Networks with the Hodge Laplacian.- Predicting Spatio-Temporal Human Brain Response Using fMRI.- Revealing Continuous Brain Dynamical Organization with Multimodal Graph Transformer.- Explainable Contrastive Multiview Graph Representation of Brain, Mind, and Behavior.- Embedding Human Brain Function via Transformer.- How Much to Aggregate: Learning Adaptive Node-wise Scales on Graphs for Brain Networks.- Combining multiple atlases to estimate data-driven mappings between functional connectomes using optimal transport.- The Semi-constrained Network-Based Statistic (scNBS): integrating local and global information for brain network inference.- Unified Embeddings of Structural and Functional Connectome via a Function-Constrained Structural Graph Variational Auto-Encoder.- Neuroimaging.- Characterization of brain activity patterns across states of consciousness based on variational auto-encoders.- Conditional VAEs for confound removal and normative modelling of neurodegenerative diseases.- Semi-supervised learning with data harmonisation for biomarker discovery from resting state fMRI.- Cerebral Microbleeds Detection Using a 3D Feature Fused Region Proposal Network with Hard Sample Prototype Learning.- Brain-Aware Replacements for Supervised Contrastive Learning in Detection of Alzheimer’s Disease.- Heart and Lung Imaging.- AANet: Artery-Aware Network for Pulmonary Embolism Detection in CTPA Images.- Siamese Encoder-based Spatial-Temporal Mixer for Growth Trend Prediction of Lung Nodules on CT Scans.- What Makes for Automatic Reconstruction of Pulmonary Segments.- CFDA: Collaborative Feature Disentanglement and Augmentation for Pulmonary Airway Tree Modeling of COVID-19 CTs.- Decoupling Predictions in Distributed Learning for Multi-Center Left Atrial MRI Segmentation.- Scribble-Supervised Medical Image Segmentation via Dual-Branch Network and Dynamically Mixed Pseudo Labels Supervision.- Diffusion Deformable Model for 4D Temporal Medical Image Generation.- SAPJNet: Sequence-Adaptive Prototype-Joint Network for Small Sample Multi-Sequence MRI Diagnosis.- Evolutionary Multi-objective Architecture Search Framework: Application to COVID-19 3D CT Classification.- Detecting Aortic Valve Pathology from the 3-Chamber Cine Cardiac MRI View.- CheXRelNet: An Anatomy-Aware Model for Tracking Longitudinal Relationships between Chest X-Rays.- Reinforcement learning for active modality selection during diagnosis.- Ensembled Prediction of Rheumatic Heart Disease from Ungated Doppler Echocardiography Acquired in Low-Resource Settings.- Attention mechanisms for physiological signal deep learning: which attention should we take?.- Computer-aided Tuberculosis Diagnosis with Attribute Reasoning Assistance.- Multimodal Contrastive Learning for Prospective Personalized Estimation of CT Organ Dose.- RTN: Reinforced Transformer Network for Coronary CT Angiography Vessel-level Image Quality Assessment.- A Comprehensive Study of Modern Architectures and Regularization Approaches on CheXpert5000.- LSSANet: A Long Short Slice-Aware Network for Pulmonary Nodule Detection.- Consistency-based Semi-supervised Evidential Active Learning for Diagnostic Radiograph Classification.- Self-Rating Curriculum Learning for Localization and Segmentation of Tuberculosis on Chest Radiograph.- Rib Suppression in Digital Chest Tomosynthesis.- Multi-Task Lung Nodule Detection in Chest Radiographs with a Dual Head Network.- Dermatology.- Data-Driven Deep Supervision for Skin Lesion Classification.- Out-of-Distribution Detection for Long-tailed and Fine-grained Skin Lesion Images.- FairPrune: Achieving Fairness Through Pruning for Dermatological Disease Diagnosis.- Reliability-aware Contrastive Self-ensembling for Semi-supervised Medical Image Classification.

Read more less

Book SynopsisThis textbook shows how to develop the functional requirements of (information) systems. It emphasizes the importance to consider the complete development path of a functional requirement, i.e. not only the individual development steps but also their proper combination and their alignment. The book consists of two parts: Part I presents the underlying theory while Part II contains various illustrative case studies. Part I starts with an introduction to the topic (Chapter 1). Then it explains how to develop functional requirements that represent the conceptual dynamics of an information system (Chapters 2 and 3). Chapters 4 and 5 explain how to model the conceptual statics of an information system. Chapter 6 gives some directions for implementation. Finally, Chapter 7 explains how a ‘technical manager’ can organize and manage the development process. As an illustration of the theory, Part II contains three substantial case studies. The first one (Chapter 8) presents a stepwise development starting from an informal situation sketch via a simple domain model towards a precisely specified, full-fledged conceptual data model, which finally is translated to an SQL database. In the second case study (Chapter 9) the author converts the well-known non-trivial use case Process Sale from Larman into a textual System Sequence Description (SSD). For validation purposes, that textual SSD is subsequently translated into natural language and into a graphical SSD. The third case study (Chapter 10) shows the applicability of the author’s approach to a control system and also illustrates the typical situation that the requirements are constantly changing during development. This book is written for (under)graduate students in software engineering or information systems who want to learn how to carry out adequate problem analysis, to make good system specifications, and/or to understand how to organize and manage an IS-development process. It also targets practitioners who want to improve their problem analysis abilities and/or their ability to make good system specifications. To this end, it includes more than 150 explanatory figures and is accompanied by a Web site which provides additional course material such as slides, additional exercises, solutions to exercises, and the code for the figures used in the book.Table of Contents- 1. Introduction. - Part I Theory. - 2. Developing a Functional Requirement. - 3. Development Patterns. - 4. Domain Modelling. - 5. Conceptual Data Models. - 6. Directions for Implementation. - 7. Organizing and Managing the Development Process. - Part II Case Studies. - 8. A Non-trivial University Example Worked Out. - 9. Converting a Large Use Case. - 10. Development Example Where Requirements Constantly Change.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods.This is an open access book.Table of ContentsRobotics and Intelligent Systems.- Knowledge Infused Representations through Combination of Expert Knowledge and Original Input.- Cognitive Robotics.- towards the development of next-generation robotics and intelligent systems.- Pattern Based Software Architecture for Predictive Maintenance.- AI in Cyber and Digital Sphere.- An overview of artificial intelligence used in malware.- Fake News Detection by Weakly Supervised Learning Based on Content-Features.- Improving the Usability of Tabular Data through Data Annotation, Repair and Augmentation.- AI in Biological Applications and Medicine.- Detecting human embryo cleavage stages using YOLO v5 object detection algorithm.- Phenotyping of Cervical Cancer Risk Groups via Generalized Low-Rank Models using Medical Questionnaires.- Automatic unsupervised clustering of videos of the intracytoplasmic sperm injection (ICSI) procedure.- Towards New AI Methods.- The Kernelized Taylor Diagram.- Simulating University Application Data for Fair Matchings.

Read more less

Book SynopsisThis book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.Table of ContentsModel checking quantum Markov chains.- Bridging Formal Methods and Machine Learning with Global Optimisation.- Canonical Narrowing for Variant-based Conditional Rewrite Theories.- Modular Analysis of Tree-Topology Models.- Non-linear optimization methods for learning regular distributions.- Separation of concerning things: a simpler basis for defining and programming with the C\C++ memory model.- Creusot: a Foundry for the Deductive Verification of Rust Programs.- Generation of a Reversible Semantics for Erlang in Maude.- Program slicing techniques with support for unconditional jumps.- Formal verification of the inter-core synchronization of a multi-core RTOS kernel.- SMT-Based Model Checking of Industrial Simulink Models.- PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.- A Formal Methodology for Verifying Side-channel Vulnerabilities in Cache Architectures.- Refined Modularization for Bounded Model Checking through Precondition Generation.- TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter.- A Proof System for Cyber-physical Systems with Shared-Variable Concurrency.- Theorem proving for Maude specifications using Lean.- On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.- Declassification predicates for controlled information release.- Trace Refinement in B and Event-B.- Model Checking B Models via High-level Code Generation.- On Probabilistic Extension of The Interaction Theory.- Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.- RoboCert: Property Specification in Robotics.- Formally Verified Animation for RoboChart using Interaction Trees.- Machine-checked executable semantics of Stateflow.

Read more less

Book SynopsisThe 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during October 23–27, 2022. The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision; machine learning; deep neural networks; reinforcement learning; object recognition; image classification; image processing; object detection; semantic segmentation; human pose estimation; 3d reconstruction; stereo vision; computational photography; neural networks; image coding; image reconstruction; object recognition; motion estimation.Table of ContentsExpanding Language-Image Pretrained Models for General Video Recognition.- Hunting Group Clues with Transformers for Social Group Activity Recognition.- Contrastive Positive Mining for Unsupervised 3D Action Representation Learning.- Target-Absent Human Attention.- Uncertainty-Based Spatial-Temporal Attention for Online Action Detection.- Iwin: Human-Object Interaction Detection via Transformer with Irregular Windows.- Rethinking Zero-Shot Action Recognition: Learning from Latent Atomic Actions.- Mining Cross-Person Cues for Body-Part Interactiveness Learning in HOI Detection.- Collaborating Domain-Shared and Target-Specific Feature Clustering for Cross-Domain 3D Action Recognition.- Is Appearance Free Action Recognition Possible?.- Learning Spatial-Preserved Skeleton Representations for Few-ShotAction Recognition.- Dual-Evidential Learning for Weakly-Supervised Temporal ActionLocalization.- Global-Local Motion Transformer for Unsupervised Skeleton-BasedAction Learning.- AdaFocusV3: On Unified Spatial-Temporal Dynamic Video Recognition.- Panoramic Human Activity Recognition.- Delving into Details: Synopsis-to-Detail Networks for Video Recognition.- A Generalized & Robust Framework for Timestamp Supervision in Temporal Action Segmentation.- Few-Shot Action Recognition with Hierarchical Matching and Contrastive Learning.- PrivHAR: Recognizing Human Actions from Privacy-Preserving Lens.- Scale-Aware Spatio-Temporal Relation Learning for Video Anomaly Detection.- Compound Prototype Matching for Few-Shot Action Recognition.- Continual 3D Convolutional Neural Networks for Real-Time Processing of Videos.- Dynamic Spatio-Temporal Specialization Learning for Fine-Grained Action Recognition.- Dynamic Local Aggregation Network with Adaptive Clusterer for Anomaly Detection.- Action Quality Assessment with Temporal Parsing Transformer.- Entry-Flipped Transformer for Inference and Prediction of Participant Behavior.- Pairwise Contrastive Learning Network for Action Quality Assessment.- Geometric Features Informed Multi-Person Human-Object Interaction Recognition in Videos.- ActionFormer: Localizing Moments of Actions with Transformers.- SocialVAE: Human Trajectory Prediction Using Timewise Latents.- Shape Matters: Deformable Patch Attack.- Frequency Domain Model Augmentation for Adversarial Attack.- Prior-Guided Adversarial Initialization for Fast Adversarial Training.- Enhanced Accuracy and Robustness via Multi-Teacher Adversarial Distillation.- LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.- A Large-Scale Multiple-Objective Method for Black-Box Attack against Object Detection.- GradAuto: Energy-Oriented Attack on Dynamic Neural Networks.- A Spectral View of Randomized Smoothing under Common Corruptions: Benchmarking and Improving Certified Robustness.- Improving Adversarial Robustness of 3D Point Cloud Classification Models.- Learning Extremely Lightweight and Robust Model with Differentiable Constraints on Sparsity and Condition Number.- RIBAC: Towards Robust and Imperceptible Backdoor Attack against Compact DNN.- Boosting Transferability of Targeted Adversarial Examples via Hierarchical Generative Networks.

Read more less

Book SynopsisThis book constitutes the proceedings of the 11th International Conference, MCSS 2022, held in Kraków, Poland, during November 3–4, 2022. The 13 full papers included in this book were carefully reviewed and selected from 33 submissions. The papers cover ongoing research activities in the following topics: cybersecurity, multimedia services; intelligent monitoring; audio-visual systems; biometric applications; experiments and deployments.Table of ContentsSecrecy Performance of Scenario with Multiple Antennas in Cooperative Satellite Networks.- Attack Detection in SS7.- Sector-specific Training - A Federated Maritime Scenario.- E-Skills in Cybersecurity.- Multi-Sector Risk Management Framework for Analysis Cybersecurity Challenges and Opportunities.- AI Cybersecurity Assurance for Autonomous Transport Systems: Scenario, Model, and IMECA-based Analysis.- Integration of Image Analysis Component with Industrial Workflow Management System.- Impact of nonbinary input vectors on security of Tree Parity Machine.- Approach to sector-specific Cybersecurity Certifications Schemes: Key Elements and Security Problem Definition.- Technology and Police: a way to create predicting policing.- BCI: Technologies and Applications Review and Toolkit Proposal.- Clustering-based Filtering of Big Data to improve Forecasting Effectiveness and Efficiency.- Method for Assessing Objective Video Quality for Automatic License Plate Recognition Tasks.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 5th EAI International Conference on Smart Grid and Internet of Things, SGIoT 2021, held in TaiChung, Taiwan, in December 2021.The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 57 submissions. The papers cover a broad range of topics in wireless sensor, vehicular ad hoc networks, security, deep learning and big data. The papers are organized in two subject areas: applications on internet of things, and communication security, big data, neural networks and machine learning.Table of ContentsApplications on Internet of Things.- Intellectual Property Protection of Zhuang Nationality Funeral Culture on Internet of Things.- China IoT UBI Car Insurance Regulatory Development Trend.- Constructing a violence recognition technique for elderly patients with lower limb disability.- Aquaculture Monitoring Systems based on Lightweight Kubernetes and Rancher.- Design and Implementation of Water Monitoring Using LoRa and NB-IoT.- InterWorking Function for Mission Critical Push To Talk Services.- Communication Security, Big Data, Neural Networks and Machine Learning.- Lightweight Privacy-Preserving Data Aggregation Scheme Based on Elliptic Curve Cryptography for Smart Grid Communications.- Design and Implementation of Distributed Image Recognition App with Federal Learning Techniques.- Improving Vision Clarity and Object Detection Accuracy in Heavy Rain Base on Neural Network.- An Enhanced Location-data Differential Privacy Protection Method Based on Filter.- Big data grave register information management system outside cemeteries under Internet of Things.- Machine Learning-based Models for Monofacial and Bifacial PV Module and Critical Model Feature Selection.- Study on the discovery of personal information on the network of people diagnosed with COVID-19.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 27th ATEE Spring Conference onSocial Justice, Media and Technology, ATEE 2021, held in Florence, Italy, during October 28–30, 2021.The 19 full papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections as follows: teaching critical media/digital literacy in multicultural societies; decommodifying teacher (digital) education; and digital technology and equity for inclusive teaching.Table of ContentsTeaching critical media/digital literacy in multicultural societies.- Media Education and Digital Storytelling: an Experience of University Teaching.- Engaging with Media Constructs and Power Dimensions in Initial Teacher Education: Enabling Student Teachers to Challenge Stereotypical Representations of Minorities in the Classroom.- Immersive Environments in Higher Education: the Digital Well-Being Perspective.- Cultures, Intersections, Networks. The Role of Algorithms in Defining Power Relations Based on Gender, Race, Class, Disability.- Integration of LifeComp and DigComp 2.2 as a Theoretical Framework for Media Education.- Digital Citizenship Education Curriculum. Results of a National Investigation and Didactic Proposals.- Study and Analysis on the Student Response System Adoption: Experimentation in a Programming Course.- Decommodifying teacher (digital) education.- Learning Analytics to Foster Quality Culture in Education and Training Organizations.- Legalisation Issues and Reconfiguration of Education? Challenges for Nordic Teacher Education in the Digital Age.- The Training of Teachers in Citizenship Education through Theatre and Dialectical Method.- Educating Students at Teacher Education Faculties in Art Fields (Visual Arts and Music) in the Online Environment.- Digital technology and equity for inclusive teaching.- “La scuola si Nutre del Territorio nel Quale Alberga” “The school is Nourished by the Local Context”.- Teaching in Upper Secondary Schools with High Migratory Complexity: the European Project QuaMMELOT.- Accessible School Textbooks for Students with Hearing Impairments.- Educational Robotics for Inclusive Design.- Teachers in a Searchable World: Findings from an Introductory Survey.- Teaching with Digital Conceptual Maps for the Development of Inclusive Processes.- Teacher Professional Development on Social Inclusion: the PLEIADE Approach.- Educational Technologies, Social and Emotional Learning and School Inclusion: Challenges and Opportunities.

Read more less

Book SynopsisThis three-volume set, LNAI 13629, LNAI 13630, and LNAI 13631 constitutes the thoroughly refereed proceedings of the 19th Pacific Rim Conference on Artificial Intelligence, PRICAI 2022, held in Shangai, China, in November 10–13, 2022.The 91 full papers and 39 short papers presented in these volumes were carefully reviewed and selected from 432 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning, planning and scheduling, computer vision, distributed artificial intelligence, search methodologies, etc.Table of Contents​AI Foundations/Decision Theory.- Fair Allocation with Special Externalities.- Robust Weighted Partial Maximum Satisfiability Problem : Challenge to Sigma2P-Complete Problem.- Epistemic Logic via Distance and Similarity.- Abstract Argumentation Goes Quantum: An Encoding to QUBO Problems.- Diversification of Parallel Search of Portfolio SAT solver by Search Similarity Index.- Dagster: Parallel Structured Search with Case Studies.- Faster Optimistic Online Mirror Descent for Extensive-form Games.- Generalized 3-Valued Belief States in Conformant Planning.- Clustering-Based Network Inference with Submodular Maximization.- Applications of AI.- A LiDAR based Control Solution to Achieve High Precision in Autonomous Parking.- Multi-View Heterogeneous Temporal Graph Neural Network for ”Click Farming” Detection.- Deep forest with sparse topological feature extraction and hash mapping for brain network classification.- COVID-19 Forecasting Based on Local Mean Decomposition and Temporal Convolutional Network.- VMEKNet: Visual Memory and External Knowledge Based Network for Medical Report Generation.- Detecting Video Anomalous Events with an Enhanced Abnormality Score.- Frequency Domain Based Learning with Transformer for Underwater Image Restoration.- MMISeg: A Semi-Supervised Segmentation Method Based on Mixup and Mutual Information for Cardiac MRI Segmentation.- Dual-Stream Feature Fusion Network for Detection and ReID in Multi-Object Tracking.- A Novel Approach for Pill-Prescription Matching with GNN Assistance and Contrastive Learning.- A Robust Lightweight Deepfake Detection Network using Transformers.- A General Personality Analysis Model Based on Social Posts and Links.- Deception Detection Towards Multi-turn Question Answering with Context Selector Network.- A Unet with Sequence Information for Gastrointestinal Tract Segmentation.- Co-contrastive self-supervised learning for drug-disease association prediction.- Obj-SA-GAN: Object-Driven Text-to-Image Synthesis with Self-Attention based Full Semantic Information Mining.- Data Mining and Knowledge Discovery.- APGKT: Exploiting Associative Path on Skills Graph for Knowledge Tracing.- Features Fusion Framework for Multimodal Irregular Time-series Events.- A Multi-output Integration Residual Network for Predicting Time Series Data with Diverse Scales.- Time-series Prediction Improvement by Adaptive Decomposition.- Attention-based Memory-Enhanced Knowledge Tracing.- Dual-VIE: Dual-Level Graph Attention Network for Visual Information Extraction.- Temporal Edge-Aware Hypergraph Convolutional Network for Dynamic Graph Embedding.- Performance Improvement Validation of Decision Tree Algorithms with Non-normalized Information Distance in Experiments.- The Time-sequence Prediction via Temporal and Contextual Contrastive Representation Learning.- Managing dataset shift by adversarial validation for credit scoring.- Linking Check-in Data to Users on Location-aware Social Networks.- Robust Subspace Clustering Based on Latent Low-rank Representation with Weighted Schatten-p Norm Minimization.- Evolutionary Computation/Optimisation.- Speeding up Genetic Programming Based Symbolic Regression Using GPUs.- High-Dimensional Discrete Bayesian Optimization with Intrinsic Dimension.- Multi-Objective Evolutionary Instance Selection for Multi-Label Classification.- An Investigation of Adaptive Operator Selection in Solving Complex Vehicle Routing Problem.- Evolutionary Automated Feature Engineering.

Read more less

Book SynopsisThis three-volume set, LNAI 13629, LNAI 13630, and LNAI 13631 constitutes the thoroughly refereed proceedings of the 19th Pacific Rim Conference on Artificial Intelligence, PRICAI 2022, held in Shangai, China, in November 10–13, 2022.The 91 full papers and 39 short papers presented in these volumes were carefully reviewed and selected from 432 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning, planning and scheduling, computer vision, distributed artificial intelligence, search methodologies, etc.Table of Contents​Knowledge Representation and Reasoning.- Moderately-Balanced Representation Learning for Treatment Effects with Orthogonality Information.- Source-Free Implicit Semantic Augmentation for Domain Adaptation.- Role-Oriented Network Embedding Method Based on Local Structural Feature and Commonality.- Dynamic Refining Knowledge Distillation Based on Attention Mechanism.- Entity Representation by Neighboring Relations Topology for Inductive Relation Prediction.- Entity Similarity-based Negative Sampling for Knowledge Graph Embedding.- Label Enhancement using Inter-Example Correlation Information.- Link Prediction via Fused Attribute Features Activation with Graph Convolutional Network.- Multi-Subspace Attention Graph Pooling.- Embedding for Temporal Knowledge Graph Reasoning.- Natural Language Processing.- M2FNet: Multi-granularity Feature Fusion Network for Medical Visual Question Answering.- Noise-robust Semi-supervised Multi-modal Machine Translation.- SETFF: A Semantic Enhanced Table Filling Framework for Joint Entity and Relation Extraction.- PEKIN: Prompt-based External Knowledge Integration Network for Rumor Detection on Social Media.- Entity-aware Social Media Reading Comprehension.- Analysis via Virtual Node Augmented Graph Convolutional Networks.- Bidirectional Macro-level Discourse Parser based on Oracle Selection.- Evidence-Based Document-Level Event Factuality Identification.- Named Entity Recognition Model of Power Equipment Based on Multi-feature Fusion.- Improving Abstractive Multi-document Summarization with Predicate-Argument Structure Extraction.- A Structure-aware Method for Cross-domain Text Classification.- SICM: A Supervised-based Identification and Classification Model for Chinese Jargons Using Feature Adapter Enhanced BERT.- HS2N: Heterogeneous Semantics-Syntax Fusion Network for Document-level Event Factuality Identification.- Pay Attention to the ”Tails”: A Novel Aspect-Fusion Model for Long-Tailed Aspect Category Detection.- Choice-driven Contextual Reasoning for Commonsense Question Answering.- Implicit Discourse Relation Recognition Based on Multi-granularity Context Fusion Mechanism.- Chinese Medical Named Entity Recognition Using External Knowledge.- Neural Networks and Deep Learning.- Trajectory Prediction With Heterogeneous Graph Neural Network.- EEF1-NN: Efficient and EF1 allocations through Neural Networks.- Weighted Adaptive Perturbations Adversarial Training for Improving Robustness.- Improved Network Pruning via Similarity-Based Regularization.- Dynamic-GTN: Learning an Node Efficient Embedding in Dynamic Graph with Transformer.- ICDT: Incremental Context Guided Deliberation Transformer for Image Captioning.- Semantic-Adversarial Graph Convolutional Network for Zero-shot Cross-modal Retrieval.- DAST: Depth-Aware Assessment and Synthesis Transformer for RGB-D Salient Object Detection.- A Vehicle Re-ID Algorithm Based on Channel Correlation Self-Attention and Lstm Local Information Loss.- A Self-Supervised Graph Autoencoder with Barlow Twins.- Few-shot Image Classification Method Based on Fusion of Important Features of Different Scales.- Group Residual Dense Block for Key-Point Detector with One-level Feature.

Read more less

Book SynopsisThis book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full papers included in this book were carefully reviewed andselected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and real implementations; ioT security, privacy and data protection; and ioT pilots, testbeds and experimentation results.Table of Contents​IoT Enabling Technologies.- Overview of Drone Communication Requirements in 5G.- Accurate indoor positioning based on beacon weighting using RSSI.- Adaptive Data-Driven Routing for Edge-to-Cloud Continuum: a Content-Based Publish/Subscribe Approach.- Online Decentralized Frank-Wolfe: From theoretical bound to applications in smart-building.- IntellIoT: Intelligent IoT Environments.- An Interoperable Framework for Heterogeneous IoT Infrastructure to Unlock Data Value.- Task offloading in Computing Continuum using collaborative reinforcement learning.- Assessing Efficiency Benefits of Edge Intelligence.- IoT Applications, Services and Real Implementations.- A Smart IoT Gateway capable of Prescreening for Atrial Fibrillation.- Internet of Things with web technologies solution for flood notification in S~ao Paulo.- Wi-Monitor: Wi-Fi Channel State Information-based Crowd Counting with Lightweight and Low-cost IoT Devices.- Design of a next-generation interoperable Cognitive Port Solution.- Conceptual Framework of Contact-less Consumer Products Industry during and Post-Pandemic Era.- Blockchain for economy of scale in wind industry: A Demo Case.- Sleep Stage detection on a Wearable Headband using Deep Neural Networks.- A Comparative Study on Energy Consumption Models for Drones.- ConQeng: A Middleware for Quality of Context Aware Selection, Measurement and Validation.- Automating Heterogeneous IoT Device Networks from Multiple Brokers with Multiple Data Models.- A Persuasive system for Stress Detection and Management in an Educational Environment.- Domain Generalization on Constrained Platforms: on the Compatibility with Pruning Techniques.- IoT Security, Privacy and Data Protection.- A low-overhead approach for self-sovereign identity in IoT.- An Analysis of Process Parameters for the Optimization of Specific Emitter Identification Under Rayleigh Fading.- Secure Image Data Storage And Transmission Using ESP32-Cam And Raspberry Pi With Steganography.- Modelling of Resource-aware Information Exchange for Resource Constraint IoT Devices.- IRIS Advanced Threat Intelligence Orchestrator- A way to manage cybersecurity challenges of IoT ecosystems in Smart Cities.- Federated learning-based IoT intrusion detection on non-IID data.- A holistic approach for IoT networks' identity and trust management - The ERATOSTHENES project.- A holistic approach for IoT networks' identity and trust management - The ERATOSTHENES project.- ARCADIAN-IoT - Enabling Autonomous Trust, Security and PrivacyManagement for IoT.- IoT Pilots, Testbeds and Experimentation Results.- GAIA 5G: A Multi-Access Smart-Campus Architecture.- IoT Device for Reduction of Roe Deer Fawn Mortality During Haymaking.- Latency and Energy Consumption of Convolutional Neural Network Models from IoT Edge Perspective.- Industry-Academia Cooperation: Applied IoT Research for SMEs in South-East Sweden.- Experiment to scope Low Carbon Electricity based Additive Manufacturing with IoT.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 11th International Conference on Games and Learning Alliance, GALA 2022, held in Tampere, Finland, in November/December 2022. The 27 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. The papers cover a broad spectrum of topics: Serious Games and Game Design; Serious Games for Instruction; Serious Game for Digital Literacy and Numeracy; Novel Approaches and Application Domains; Taxonomies and Evaluation Frameworks.Table of ContentsTurtle Heroes: Designing a Serious Game for a VR interactive Tunnel.- Comparison with Self vs Comparison with Others: The Influence of Learning Analytics Dashboard Design on Learner Dashboard Use.- Game Design for a Museum Visit: Insights into The Co-Design of AL-2049, A Game About Food Systems.- Supporting Knowledge Sharing for The Co-Design of Digital Learning Games.- A Serious Game for Using Socio-Economic and Trust Based Decision-Making Scenarios for Elicitation of Emotional Responses.- FLIGBY: The Serious Game Harnessing Flow Experience for Leadership.- 10 Commandments of The Serious Game Padawan: Lessons Learned After 4 Years of Professional Training.- Microcosmos 3.0 Perception of Teachers in Outdoor Hybrid Playing Based on Mobile Learning for Natural Sciences.- An Autoethnographic Perspective on Teaching Soft Skills Using Multiplayer Online Games.- Evaluating the Expectations and Motivational Drivers in An Undergraduate Geology Classroom Using the Magma Pop Serious Game.- A Serious Game to Improve Phishing Awareness.- More Than Meets the Eye – An Anti-Phishing Learning Game with a Focus on Phishing Emails.- Promoting Adaptive Number Knowledge Through Deliberate Practice in The Number Navigation Game.- Effects of a Game-Based Fraction Estimation Task on Math Anxiety.- Motivation and Emotions in a Health Literacy Game: Insights from Co-Occurrence Network Analysis.- Swarming as a Bird/Fish: Investigating the Effect of First-Person Perspective Simulation on Players’ Connectedness with Nature.- Design Of a Novel Serious Game for The Detection and Measurement of Obsessive-Compulsive Disorder.- The Role of Games in Overcoming the Barriers to Paediatric Speech Therapy Training.- Ludic Didactics for an Inspired, Motivating and Playful Education.- Out of the Maze: Investigating the Effects of Fluid Intelligence and Numeracy on Planning Skills Using Video Games.- A Virtual Ship Evacuation Serious Game: Assessment of Data and Passenger Training.- High-level Decision-Making Non-Player Vehicles.- Influence of a Mixed Reality Game on Students’ Personal Epistemology. An Empirical Study.- Experts’ Evaluation of a Proposed Taxonomy for Immersive Learning Systems.- A Design Space of Educational Authoring Tools for Augmented Reality.- The Effectiveness of Adaptive Digital Games for Learning: Calling for a Broader View on Assessment.- Gamification in Work Teams: A Q study on How Team Members Experience Gamification.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 18th International Conference on Web and Internet Economics, WINE 2022, which was held Troy, NY, USA in December 2022.The 19 full papers presented together with 19 abstracts in this volume were carefully reviewed and selected from 126 submissions. They were organized in topical sections as follows: theoretical computer science, artificial intelligence, economics, operations research, and applied mathematics.Table of ContentsEquilibria in Games.- Learning and Online Algorithms.- Mechanism Design.- Social Choice.- Abstracts.

Read more less

Book SynopsisThis book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: Networks; Droplets, Fluids, and Synthetic Biology; Robot Systems; Computer Vision and Computational Creativity; Semantic Search; Artificial Medicine and Pharmacy; Trade and Finance; Ethics in Computational Modelling.Chapters 4, 5, 6, 7, 22, and 24 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of Contents​Networks.- Dynamical criticality in growing networks.- Effective Resistance based Weight Thresholding for Community Detection.- An Oracle for the Optimization of Underconstrained Compositions of Neural Networks - The Tick Hazard Use Case.- Droplets, Fluids, and Synthetic Biology.- Obstacles on the Pathway towards Chemical Programmability using Agglomerations of Droplets.- The Good, the Bad and the Ugly: droplet recognition by a "shootout"-heuristics.- Exploring the three-dimensional arrangement of droplets.- Geometric restrictions to the agglomeration of spherical particles.- Effectiveness of Dynamic Load Balancing in Parallel Execution of a Subsurface Flow Cellular Automata Model.- Two possible AI-related paths for bottom-up synthetic cell research.- Robot Systems.- A hybrid control system architecture for a mobile robot to provide an energy-efficient and fast data processing.- On the evolution of mechanisms for collective decision making in a swarm of robots.- A novel online adaptation mechanism in artificial systems provides phenotypic plasticity.- Computer Vision and Computational Creativity.- Exploration of Genetic Algorithms and CNN for Melanoma Classification.- Using Genetic Algorithms to optimize a deep learning based system for the prediction of cognitive impairments.- Autonomous inspections of power towers with an UAV.- Self-organizing Maps of Artificial Neural Classifiers - a Brain like Pin Factory.- Evolutionary Music: Statistical Learning and Novelty for automatic improvisation.- Semantic Search.- ARISE: Artificial Intelligence Semantic Search Engine.- Artificial Medicine and Pharmacy.- Influence of the Antigen Pattern Vector on the Dynamics in a Perceptron-based Artificial Immune - Tumour-Ecosystem during and after Radiation Therapy.- Two-level detection of dynamic organization in cancer evolution models.- Artificial chemical neural network for drug discovery applications.- Trade and Finance.- Information Flow Simulations in Multi-Dimensional and Dynamic Systems.- Investigation of the Ramsey-Pierce-Bowman Model.- Ethics in Computational Modelling.- Ethical Aspects of Computational Modelling in Science, Decision Support and Communication.

Read more less

Book SynopsisThis book constitutes the refereed conference proceedings of the 5th EAI International Conference on Emerging Technologies in Computing, iCETiC 2022, held in Chester, UK, August 15-16, 2022. The 16 full papers included in this book were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: Cloud, IoT and Distributed Computing; and AI, Expert Systems and Big Data Analytics.Table of ContentsCloud, IoT and Distributed Computing.- An evaluation of the correlation between task characteristics and input data size in scientific workflows.- Evaluation of Semantic Interoperability of Automotive Service API Models based on Metamodels Similarity Metrics using a Semi-Automated Approach.- BCoT-based Smart Manufacturing: An Enhanced Precise Measurement Management System.- Investigation of the Digitalisation Process of Traditional Businesses and its Concept for Retail.- Data Integrity for Dynamic Big Data in Cloud Storage: A comprehensive review and critical issues.- AI, Expert Systems and Big Data Analytics.- A Review of Optical Character Recognition (OCR) Techniques on Bengali Scripts.- Traffic sign detection and recognition system using improved YOLOV5s.- Prediction of the Arbutus unedo colonization time via an agent-based distribution model.- Stock Price Prediction Using Semi-supervised Ridge Regression.- Accessibility of Multimedia Resources from Irish Universities for People With Epilepsy.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the EAI International Conference on Internet of Everything, IoECon 2022, which took place in Guimarães, Portugal in September 16-17 2022. IoECon 2022 presents IoE paradigms to their whole dimension, intelligently connecting devices, people, processes, data, and things. IoE is multi-disciplinary and offers an opportunity to explore the co-relations between different areas, techniques, and theories about a new cyber world.The 10 revised full papers were carefully reviewed and selected from 26 submissions. The papers focus on a complete ecosystem that digitally interconnects everything, including people-to-people, people-to-machines, and machines-to-machines.Table of Contents​People-to-People.- Perspectives on the Internet of Everything.- Guidelines to Develop Consumers Cyber Resilience Capabilities in The IoE Ecosystem.- A competency definition based on the knowledge, skills, and human dispositions constructs.- The influence of the image and photography of E-Commerce products on the purchase decision of online consumers.- People-to-Machine and Machine-to-People.- The Man-Machine Relationship on the Web: Motivation to Use the Internet.- Cybersecurity Challenges in Healthcare Medical Devices.- A WSN real-time monitoring system approach for measuring Indoor Air Quality using the Internet of Things.- Scalability of IoT Systems: Do Execution Costs Predict the Quality of Service?.- Machine-to-Machine.- Transient Session Key Derivation Protocol for Key Escrow Prevention in Public Key Infrastructure.- Evaluating CoAP, OSCORE, DTLS and HTTPS for Secure Device Communication.

Read more less

Book SynopsisThis volume constitutes the papers of several workshops which were held in conjunction with the ICWE 2022 International Workshops, BECS, SWEET and WALS, held in Bari, Italy, July 5–8, 2022.The 14 revised full papers and 1 short paper presented in this book were carefully reviewed and selected from 25 submissions. ICWE 2022 presents the following three workshops:Second International Workshop on Big Data driven Edge Cloud Services (BECS 2022)First International Workshop on the Semantic WEb of Everything (SWEET 2022)First International Workshop on Web Applications for Life Sciences (WALS 2022)Table of ContentsSecond International Workshop on Big Data driven Edge Cloud Services (BECS 2022)).-CodeBERT Based Software Defect Prediction for Edge-Cloud Systems.- A Novel Hybrid Approach for Localization in Wireless Sensor Networks.- An Empirical Analysis on Just-In-Time Defect prediction Models for Self-driving Software Systems.- Knowledge Sharing in Proactive WoT Multi-Environment Models.- First International Workshop on the Semantic WEb of Everything (SWEET 2022).- Multivariate Time Series Anomaly Detection Based on Reconstructed Differences Using Graph Attention Networks.- A Decentralized Environment for Biomedical Semantic Content Authoring and Publishing.- AI for Food Waste Reduction in Smart Homes.- Cowl: a lightweight OWL library for the Semantic Web of Everything.- Features and capabilities of a blockchain-based ridesharing enhanced with semantics.- Semantic-based decision support for network management and orchestration.- Semantic Matchmaking for Argumentative Intelligence in Ubiquitous Computing.- First International Workshop on Web Applications for Life Sciences (WALS 2022).- Smart District 4.0 project: validation of results and exploitation perspectives.- WALS 2022 Invited Talk - Are web applications fulfilling the needs of life science scientists?.- CitrusGenome: A Bioinformatics Tool to Characterize, Visualize, and Explore Large Citrus Variant Datasets.- The Laniakea Dashboard and storage encryption components: a foundation for developing on-demand cloud services for Life Science.

Read more less