Applied computing Books

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

Book SynopsisThis book constitutes the refereed proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2021, held as a virtual event, February 8–10, 2021.The 16 full papers presented in this volume were carefully reviewed and selected from 371 submissions. The purpose of VISIGRAPP is to bring together researchers and practitioners interested in both theoretical advances and applications of computer vision, computer graphics and information visualization. VISIGRAPP is composed of four co-located conferences, each specialized in at least one of the aforementioned main knowledge areas, namely GRAPP, IVAPP, HUCAPP and VISAPP. The contributions were organized in topical sections as follows: Computer Graphics Theory and Applications; Human Computer Interaction Theory and Applications; Information Visualization Theory and Applications; Computer Vision Theory and Applications.Table of Contents​Computer Graphics Theory and Applications.- Impact of Avatar Representation in a Virtual Reality-based Multi-user Tunnel Fire Simulator for Training Purposes.- Facade Layout Completion with Long Short-term Memory Networks.- Human Computer Interaction Theory and Applications.- Generating Haptic Sensations over Spherical Surface.- Effects of Emotion-Induction Words on Memory and Pupillary Reactions while Viewing Visual Stimuli with Audio Guide.- A Bimanual Flick-based Japanese Software Keyboard using Direct Kanji Input.- Comparison of Cardiac Activity and Subjective Measures during Virtual Reality and Real Aircraft Flight.- Information Visualization Theory and Applications.- Improving Self-supervised Dimensionality Reduction: Exploring Hyperparameters and Pseudo-labeling Strategies.- Visualization of Source Code Similarity using 2.5D Semantic Software Maps.- Revisiting Order-Preserving, Gap-Avoiding Rectangle Packing.- Exploratory Data Analysis of Population Level Smartphone-sensed Data.- Towards Interactive Geovisualization Authoring Toolkit for Industry Use Cases.- Computer Vision Theory and Applications.- Global-fiirst Training Strategy with Convolutional Neural Networks to Improve Scale Invariance.- Spline-based Dense Medial Descriptors for Image Simplification using Saliency Maps.- BS-GAENets: Brain-spatial Feature Learning Via a Graph Deep Autoencoder for Multi-modal Neuroimaging Analysis.- Enhancing Backlight and Spotlight Images by the Retinex-inspired Bilateral Filter SuPeR-B.- Rethinking RNN-based Video Object Segmentation.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 15th International Conference on Wireless Internet, WiCON 2022, held in November 2022. Due to COVID-19 pandemic the conference was held virtually. The 16 full papers were selected from 45 submissions and are grouped into the following topics: Security and privacy; blockchain and wireless networks; Resource management, routing, and internet computing; social networks and learning.Table of Contents​Security and Privacy.- Preventing Adversarial Attacks on Autonomous Driving Models.- Implementation Aspects of Supersingular Isogeny-Based Cryptographic Hash Function.- Trust-based Communities for Smart Grid Security and Privacy.- Decentralized federated learning: A defense against gradient inversion attack.- Blockchain and Wireless Networks.- A Framework for a Blockchain-Based Decentralized Data Marketplace.- Formulate Full View Camera Sensor Coverage by Using Group Set Coverage.- Delay-aware Hash Tree for Blockchain on Vehicular Delay Tolerant Networks.- Learning the Propagation of Worms in Wireless Sensor Networks.- Resource Management, Routing, and Internet Computing.- 5G Channel Forecasting and Power Allocation Based on LSTM Network and Cooperative Communication.- Fog Resource Sharing to enable Pay per Use Mode.- An Emergency Information Broadcast Routing in VANET.- IP Lookup Technology for Internet Computing.- Social Networks and Learning.- Equilibrium Strategies and Social Welfare in Cognitive Radio Networks with Imperfect Spectrum Sensing.- Spatial Temporal Graph Convolutional Network Model for Rumor Source Detection under Multiple Observations in Social Networks.- Addressing Class Imbalance in Federated Learning via Collaborative GAN-based Up-Sampling.- Deep-Steiner: Learning to Solve the Euclidean Steiner Tree Problem.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 9th International Workshop on Machine Learning and Data Mining for Sports Analytics, MLSA 2022, held in Grenoble, France, during September 19, 2022. The 10 full papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Football, Racket sports, Cycling.Table of ContentsFootball.- Towards expected counter - Using comprehensible features to predict counterattacks.- Shot analysis in different levels of German football using Expected Goals.- Analyzing passing sequences for the prediction of goal-scoring opportunities.- Let’s penetrate the defense: A machine learning model for prediction and valuation of penetrative passes.- Evaluation of creating scoring opportunities for teammates in soccer via trajectory prediction.- Cost-efficient and bias-robust sports player tracking by integrating GPS and video.- Racket sports.- Predicting tennis serve directions with machine learning.- Discovering and visualizing tactics in table tennis games based on subgroup discovery.- Cycling.- Athlete monitoring in professional road cycling using similarity search on time series data.

Read more less

Book SynopsisThis two-volume set LNCS 13971 + 13972 constitutes the refereed proceedings of the 18th International Conference on Information for a Better World: Normality, Virtuality, Physicality, Inclusivity, held in March 2023.The 36 full papers and the 46 short papers presented in these proceedings were carefully reviewed and selected from 197 submissions. They cover topics such as: Archives and Records, Behavioral Research, Information Governance and Ethics, AI and Machine Learning, Data Science, Information and Digital literacy, Cultural Perspectives, Knowledge Management and Intellectual Capital, Social Media and Digital Networks, Libraries, Human-Computer Interaction and Technology, Information Retrieval, Community Informatics, and Digital Information Infrastructure.Table of ContentsKnowledge Management and Intellectual Capital.- Enabling Knowledge Management Practices in Museums: Benefits of and Barriers to Achieving Public Value.- How Much Context Do Users Provide in App Reviews? Implications for Requirements Elicitation.- Evaluating Tools for Data Management Plans: A Comparative Study of the DART Rubric and the Belmont Scorecard.- Topic Evolution Analysis Based on Optimized Combined Topic Model: Illustrated as CRISPR Technology.- “Design, Design, and Design Again”: An Information-Architecture Redesign Workflow from Case Studies of a Government Portal and a Learning-management System.- What Does Provenance LACK: How Retrospective and Prospective Met the Subjunctive.- Exploration of Accuracy, Completeness and Consistency in Metadata for Physical Objects in Museum Collections.- Social Media and Digital Networks.- How We Express Ourselves Freely: Censorship, Self-censorship, and Anti-censorship on a Chinese Social Media.- Impact of Social Media on Self-Esteem and Emotions: An Instagram-based Case Study.- Motivations, Purposes, and Means of Creating Information Cocoons Intentionally for Oneself: Looking on the Bright Side.- Left and Right Retweets! Curation Logics During Black History Month.- Libraries.- Another Named Storm! Building Resiliency Through Florida’s Essential Public Libraries.- Digital Experiences in Physical Spaces: Virtual Reality and Public Libraries in Aotearoa New Zealand.- What Do We Do with the Fruits of Open Educational Practices? A Case for Open Educational Collections.- Terminology Preferences of the LGBTQ+ Community: A User Study.- Exploring the Concept of Library Use: A Research Review.- Shared LGBTQ+ Identity in Librarian-Community Partnerships.- Bridging the Gap between Research and Practice in Library Science through Library Society of China: A Pilot Study.- Automation of University Library Operations: An Analysis of the Covid-19 Pandemic Experience in the United Kingdom and Nigeria.- Human-Computer Interaction and Technology.- What Makes a Technology Privacy Enhancing? Laypersons' and Experts' Descriptions, Uses, and Perceptions of Privacy Enhancing Technologies.- A Critique of Using Contextual Integrity to (Re)consider Privacy in HCI.- Audience Video Game Engagement in a Live Streaming Context: Examining the Role of Perceived Influence of Game Streamers from the Self-determination Perspective.- A Surprise Birthday Party in VR: Leveraging Social Virtual Reality to Maintain Existing Close Ties Over Distance.- “Monday Feels Like Friday!” - Towards Overcoming Anxiety and Stress of Autistic Young Adults during Times of Isolation.- Self-Tracking to Manage Chronic Illness: Exploring User Agency in Apps for Diabetes Self-Management.- Autism and Virtual Reality Interventions: Research Trends and Practices.- Towards a Useful Chinese Annotation Tool: An Examination of Annotators’ Practice and Needs.- Information Retrieval.- Similarity Visualizer using Natural Language Processing in Academic Documents of the DSpace in Ecuador.- Information Retrieval Research in Academia and Industry: A Preliminary Analysis of Productivity, Authorship, Impact, and Topic Distribution.- Career-Based Explainable Course Recommendation.- A Benchmark of PDF Information Extraction Tools Using a Multi-Task and Multi-Domain Evaluation Framework for Academic Documents.- Contextualizing Session Resuming Reasons with Tasks Involving Expected Cross-session Searches.- Community Informatics. -Time Lag Analysis of Adding Scholarly References to English Wikipedia: How Rapidly are They Added to and How Fresh are They.- Examining Interest in Open Government Data Through Digital Traces.- “Trapped” by Recommendation Algorithms? A Mixed Methods Study on the Use of Content Recommendation System in Everyday Life in Western China.- Community Design of a Knowledge Graph to Support Interdisciplinary Ph.D. Students.- Potential of Participatory Geographic Information System to Build Environmental Information Ecosystem and Claim Environmental Justice: A Research Agenda for Fisherfolk Community in Bangladesh.- Caring for People, Caring for Their Data: Data Stewardship and Collaborative Care in Social Service Provision for People Experiencing Homelessness.- Is there a Scientific Digital Divide? Information Seeking in the International Context of Astronomy Research.- Digital Information Infrastructures.- The Conceptualization of Digital Inclusion in Government Policy: A Qualitative Content Analysis.- Dublin Core Metadata Created by Kuwaiti Students: Exploration of Quality in Context.- Trustworthy Digital Repository Certification: A Longitudinal Study.- Design Principles for Background Knowledge to Enhance Learning in Citizen Science.- ``We Avoid PDFs'': Improving Notation Access for Blind and Visually Impaired Musicians.- The Rural Informatization Policies in China: The Power Dynamics and Policy Instruments.

Read more less

Book SynopsisThis two-volume set LNCS 13971 + 13972 constitutes the refereed proceedings of the 18th International Conference on Information for a Better World: Normality, Virtuality, Physicality, Inclusivity, held in March 2023.The 36 full papers and the 46 short papers presented in these proceedings were carefully reviewed and selected from 197 submissions. They cover topics such as: Archives and Records, Behavioral Research, Information Governance and Ethics, AI and Machine Learning, Data Science, Information and Digital literacy, Cultural Perspectives, Knowledge Management and Intellectual Capital, Social Media and Digital Networks, Libraries, Human-Computer Interaction and Technology, Information Retrieval, Community Informatics, and Digital Information Infrastructure.Table of ContentsArchives and Records.- Are We Missing the Cybersecurity Factors in Recordkeeping?.- Recovering and Reusing Historical Data for Science: Retrospective Curation Practices Across Disciplines.- Receipts: A Case Study of the Sonja Ahlers Archive as Platform Feminism.- Standing on the Outside Looking in: Testing the Concept of Societal Embeddedness from a User and Pluralizing Perspective.- Plus ça change, plus c'est la même chose – The Australian Records Management Case.- Information Sustainability in Rural Bangladesh: the Use of Analogue and Digital Backups.- Measuring Users’ Awareness of Content Recommendation Algorithm: A Survey on Douyin Users in Rural China.- Investigating Factors Influencing Open Government from a Country’s Perspective.- Lex Informatica and Freedom of Expression: Reflections on the Regulation of Internet Trolling Behaviors.- AI & Machine Learning.- “That’s not Damning with Faint Praise”: Understanding the Adoption of Artificial Intelligence for Digital Preservation Tasks.- Effects of Increasing Working Opportunity on Result Quality in Labor-Intensive Crowdsourcing.- Aligning Visual and Lexical Semantics.- An Analysis of Classification Approaches for Hit Song Prediction using Engineered Metadata Features with Lyrics and Audio.- How Many Features Do We Need to Identify Bots on Twitter?.- Data Science.- Disparity in the Evolving COVID-19 Collaboration Network.- Text Mining and Visualization of Political Party Programmes Using Keyword Extraction Methods: The Case of Portuguese Legislative Elections.- Exploring the Impact of the Quality of Social Media Early Adopters on Vaccine Adoption.- Characterizing Data Practices in Research Papers across Four Disciplines.- Information and Digital literacy.- Fighting Misinformation: Where Are We and Where to Go.- The Potential of Digital Literacy to Curb Problematic Information: An Integrative Literature Review.- Coding Funds of Knowledge in [media lab] Student Stories about Technologies.- An Exploratory Study of Intergenerational Technical Help from the Youth’s Perspective.- Exploring the Association Between Multiple Classifications and Journal Rankings.- The Design, Development, and Implementation of an LIS General Education Course for Non-LIS University Students in the Philippines.- “It's nice to Mix up the Rhythm”: Undergraduates’ Experiences in a Large Blended Learning Course in Information Science in the Context of COVID-19.- Visual Information Processing in Virtual Reality: Merging Theory and Practice.- From Noisy Data to Useful Color Palettes: One Step in Making Biodiversity Data FAIR.- Cultural Perspectives.- “Will the Day Ever Come When We Will Be Judged on Our Merit and Not on Our Blackness?” The Black Caucus of the American Library Association and the Long Freedom Struggle in the United States, 1970-1975.- How Inclusive are the International Conferences? Attending Conferences in an Unequal World.- Locating Black Information Lives: “Scoping” the literature on African American Genealogical Researchers.- Do you speak meme? A Dynamic Digital Language for the Information Society.

Read more less

Book SynopsisThis proceedings, ICAST 2022, constitutes the refereed post-conference proceedings of the 10th International Conference on Advancement of Science and Technology, ICAST 2022, which took place in Bahir Dar, Ethiopia, in November 2022. The 17 revised full papers and one short paper were carefully reviewed and selected from 174 submissions. The papers present economic and technologic developments in modern societies related to important issues such digitization, energy transformation, impact on national economy, and its recent advancements.Table of ContentsAmharic Text Complexity Classification using Supervised Machine Learning.- Process Parameter Optimization of Single Lap-Adhesive Joint Date Palm Fiber Reinforced Polyester Composite Using ANN-Genetic Algorism.- Process Parameter Optimization of Single Lap-Bolt Joint Date Palm Fiber Reinforced Polyester Composite Using ANN-Genetic Algorism.- Applications of Artificial Intelligence for Fault Diagnosis of Rotating Machines: A Review.- A Finite Time Trajectory Tracking of Mobile Robot Using Cascaded Terminal Sliding Mode Control Under Presence of Random Gaussian Disturbance.- Artificial intelligence-based Breast and Cervical Cancer Diagnosis and Management System.- Numerical Simulation and Optimization of a locally built Midibus Structure in Quasi-static and Rollover Condition.- Transfer Learning with Pre-trained CNNs for Breast Cancer Stage Identification.- Fuzzy Sliding Mode Controller Based Trajectory Tracking Control of Free Flying Space Robot Manipulator System.- Prediction of Teff Yield using Machine Learning.- Amharic Character Recognition Using Deep Convolutional Neural Network.- Assistive Smart Cane Technology for Visually Impaired Peoples: A Review.- A Headphone Based Heart Rate (Hr) and Heart Rate Variability (Hrv) Monitoring Unit.- Amharic Sentence-level Word Sense disambiguation using Transfer Learning.- Deep Complex-valued Neural Networks for Massive MIMO Signal Detection.- Design and performance analysis of a multi-level fuzzy-based stabilizer to dampen low frequency oscillation in single-machine infinite bus systems.- Super Twisting Sliding Mode Controller for Trajectory Tracking Control of Autonomous Ground Vehicle System.- Trajectory Tracking of a Two-Wheeled Mobile Robot Using Backstepping and Nonlinear PID Controller.

Read more less

Book SynopsisThis proceedings constitutes the post-conference proceedings of the 3rd EAI International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2022, held at Vishnu Institute of Technology, Bhimavaram in Andhra Pradesh, India, in November 26-27, 2022. The theme of IC4S 2022 was: cognitive computing approaches with data mining and machine learning techniques. The 22 full papers were carefully reviewed and selected from 88 submissions. The papers are clustered in thematical issues as follows: machine learning and its applications; cyber security and networking; image processing; IoT applications; smart city eco-system and communications.Table of ContentsMachine Learning and Its applications.- SQL Injection and its detection using Machine Learning Algorithms and BERT.- Solar Energy Prediction Using Machine Learning With Support Vector Regression Algorithm.- Price Estimation of Used Cars using Machine Learning Algorithms.- MACHINE LEARNING FRAMEWORK FOR IDENTIFICATION OF ABNORMAL EEG SIGNAL.- ALZHEIMER’S DISEASE DETECTION USING ENSEMBLE OF CLASSIFIERS.- Cyber Security and Networking.- Publishing Data Objects in Data Aware Networking.- YouTube Comment Analysis using Lexicon based Techniques.- Information Theoretic Heuristics to Find the Minimal SOP Expression considering Don’t Care Using Binary Decision Diagrams.- Image Processing.- Single Image Dehazing through Feed Forward Artificial Neural Network.- Performance Evaluation of Multiwavelet Transform for Single Image Dehazing.- Performance Evaluation of Fast DCP Algorithm for Single Image Dehazing.- Non Destructive analysis of Crack using Image Processing, Ultrasonic and IRT: A critical review and analysis.- IoT Applications.- IoT Enabled Driver Compatible Cost-Effective System for Drowsiness Detection with Optimized Response Time.- Voice based Objects detection for visually challenged using Active RFID Technology.- Depth Estimation and Navigation Route Planning for Mobile Robots based on Stereo Camera.- Water Level Forecasting in Reservoirs using Time Series Analysis – Auto ARIMA Model.- Water Quality Monitoring using a Remote Control Boat.- Smart City Eco-system and Communications.- Study of Smart City Compatible Monolithic Quantum Well Photodetector.- Frequency Reconfigurable Antenna for 5G Applications at n77 and n78 Bands.- Analysis of Acoustic Channel Model Characteristics in Deep-Sea Water.- A Comprehensive Review on Channel Estimation Methods for Millimeter Wave MIMO Systems.- Comparison of Acoustic Channel Characteristics in Shallow and Deep-sea Water.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings the 14th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2022, which was held in Sydney, NSW, Australia, on September 5, 2022.The 5 revised full papers presented were carefully selected from 12 submissions. The conference focuses on Pick and Mix Isolation Levels; Benchmarking considerations for Trustworthy and Responsible AI (Panel); Preliminary Scaling Characterization with TPCx-AI and New Initiatives. Table of ContentsPick and Mix Isolation Levels: Mixed Serialization Graph Testing.- BODS: A Benchmark on Data Sortedness.- Disaggregated Database Management Systems (Panel).- TPCx-AI on NVIDIA Jetson.- More the Merrier: Comparative evaluation of TPCx-AI and MLPerf Benchmarks for AI.- Preliminary Scaling Characterization with TPCx-AI.- 4mbench: Performance Benchmark of Manufacturing Business Database.- Benchmarking considerations for Trustworthy and Responsible AI (Panel).- TPCx-AI: First Adopter's Experience Report.- New Initiatives in the TPC.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.The 12 full technical design and scientific evaluation papers, 8 short research previews and vision papers, and 5 experience reports presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: Requirements communication and conceptualization; NLP and machine learning for AI; RE for artificial intelligence; crowd RE; and RE in practice.Table of ContentsRequirements Communication and Conceptualization.- Requirements Engineering Issues Experienced by Software Practitioners: A Study on Stack Exchange.- An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.- Supporting Shared Understanding in Asynchronous Communication Contexts.- Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution.- Understanding the Role of Human-Related Factors in Security Requirements Elicitation.- Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements.- NLP and Machine Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements.- Requirement or not, that is the question: A case from the railway industry 97.- Summarization of Elicitation Conversations to Locate Requirements Relevant Information.- Ontology-based Automatic Reasoning and NLP for Tracing Software Requirements into Models with the OntoTrace Tool.- Requirements classi cation using fastText and BETO in Spanish documents.- RE for Artificial Intelligence.- Exploring Requirements for Software that Learns: A Research Preview.- Requirements Engineering for Automotive Perception Systems: an Interview Study.- An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications.- A Requirements Engineering Perspective to AI-based Systems Development: A Vision Paper.- Out-of-Distribution detection as Support for Autonomous Driving Safety Lifecycle.- Crowd RE.- Automatically Classifying Kano Model Factors in App Reviews.- Data-driven Persona Creation, Validation, and Evolution.- Towards a Cross-Country Analysis of Software-related Tweets.- Integrating Implicit Feedback into Crowd Requirements Engineering - a Research Preview.- RE in Practice.- Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.- Knowns and Unknowns: An Experience Report on Discovering Tacit Knowledge of Maritime Surveyors.- Feel It, Code It: Emotional Goal Modelling for Inclusive Design.- A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report.- Eliciting Security Requirements - an Experience Report.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 14th BenchCouncil International Symposium on Benchmarking, Measuring, and Optimization, Bench 2022, held virtually in November 2022.The 10 revised full papers presented were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections named: Architecture and System, Algorithm and Dataset, Network and Memory.Table of Contents​Architecture and System.- A Quantitative Analysis of OpenMP Task Runtime Systems.- EAIBench: An Energy Efficiency Benchmark for AI Training.- MSDBench: Understanding the Performance Impact of Isolation Domains on Microservice-based IoT Deployments.- Algorithm and Dataset.- ShoeMaster: A Benchmark for Sketch2Image Translation of Shoes.- Open Source Software Supply Chain Recommendation Based on Heterogeneous Information Network.- BasicTS: An Open Source Fair Multivariate Time Series Prediction Benchmark.- Benchmarking Object Detection Models with Mummy Nuts Datasets.- Network and Memory.- An Analysis of Long-tailed Network Latency Distribution and Background Traffic on Dragonfly+.- MCCBench: A C10M Benchmark Oriented to Interactive Network Services.- STAMP-Rust: Language and Performance Comparison to C on Transactional Benchmarks.

Read more less

Book SynopsisThe purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers. The broad theme of this year's summer school was “Reasoning in Probabilistic Models and Machine Learning” and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures were presented during the school: Logic-Based Explainability in Machine Learning; Causal Explanations and Fairness in Data; Statistical Relational Extensions of Answer Set Programming; Vadalog: Its Extensions and Business Applications; Cross-Modal Knowledge Discovery, Inference, and Challenges; Reasoning with Tractable Probabilistic Circuits; From Statistical Relational to Neural Symbolic Artificial Intelligence; Building Intelligent Data Apps in Rel using Reasoning and Probabilistic Modelling.Table of ContentsExplainability in Machine Learning.- Causal Explanations and Fairness in Data.- Statistical Relational Extensions of Answer Set Programming.- Vadalog: Its Extensions and Business Applications.- Cross-Modal Knowledge Discovery, Inference, and Challenges.- Reasoning with Tractable Probabilistic Circuits.- From Statistical Relational to Neural Symbolic Artificial Intelligence.- Building Intelligent Data Apps in Rel using Reasoning and Probabilistic Modelling.

Read more less

Book SynopsisThis book constitutes the refereed conference proceedings of the 21st International Conference on Web-Based Learning, ICWL 2022 and 7th International Symposium on Emerging Technologies for Education, SETE 2022, held in Tenerife, Spain in November 21–23, 2022. The 45 full papers and 5 short papers included in this book were carefully reviewed and selected from 82 submissions. The topics proposed in the ICWL&SETE Call for Papers included several relevant issues, ranging from Semantic Web for E-Learning, through Learning Analytics, Computer-Supported Collaborative Learning, Assessment, Pedagogical Issues, E-learning Platforms, and Tools, to Mobile Learning.In addition to regular papers, ICWL&SETE 2022 also featured a set of special workshops and tracks: The 5th International Workshop on Educational Technology for Language Learning (ETLL 2022), The 6th International Symposium on User Modeling and Language Learning (UMLL 2022), Digitalization in Language and Cross-Cultural Education, First Workshop on Hardware and software systems as enablers for lifelong learning (HASSELL). Table of ContentsICWL 2022. International Conference on Web-based Learning.- Digital Divide, Local and Global? Surveying Augmented Reality Educational Usage in Europe and South America.- Gamifying Experiential Learning Theory.- The Learning Analytics System that improves the teaching-learning experience of MOOC instructors and students.- Intelligent Instructional Design via Interactive Knowledge Graph Editing.- A two-step process for analysing teacher’s behaviors using a scenario-based platform.- New digital tools to teach soft skills and sustainability for the labor market: gamification as a tool for competency acquisition in realistic contexts.- Pocket English Master – Language Learning with Reinforcement Learning, Augmented Reality and Artificial Intelligence.- : The design of an adaptive tool supporting formative assessment in data science courses.- Serious games for social problems.- Contextual Ontology-based Feature Selection for Teachers.- Automated Assessment in Computer Science: A Bibliometric Analysis of the Literature.- Can Educators Develop Digital Role-Playing Games?.- Constructing Low-Redundant and High-Accuracy Knowledge Graphs for Education.- Extracting the Language of the Need for Urgent Intervention in MOOCs by Analysing Text Posts.- Challenges in the Implementation of Web Based Digital Content Repository for Teachers in Bulgaria.- Providing Meaningful Digital Competence Assessment Feedback for Supporting Teachers Professional Development.- An Intelligent Chatbot Supporting Students in Massive Open Online courses.- Using a MOOC to Train Teachers to Design and Deliver MOOCs.- Designing a Game-Based Learning Environment for College students’ campus learning.- Towards a Metaverse of Knowledge: A Constructivist Proposition on Immersive Learning and Visual Literacy.- SETE 2022. International Symposium on Emerging Technologies for Education.- Acceptance evaluation of a serious game to address gender stereotypes in Mexico.- Learning experience design with Maker Education.- Mobile English Learning: A Meta-analysis.- 360° Tour as an Interactive Tool for Virtual Laboratories: A Proposal.- Wearable Devices for Smart Education Based on Sensing Data: Methods and Applications.- The Use of Verbs in International Chinese Language Education.- A tangible learning application from the 3D printer for the practical teaching of meat cutting in inclusive vocational education.- A New World of Open Space: Reflections and Perspectives of Chinese scholars on the digital transformation of education and future education research.- Game-based co-creation method for children and adolescents with medical complex disease.- A Deep Learning System to Help Students Build Concept Maps.- Flexible heuristics for supporting recommendations within an AI platform aimed at non-expert users.- The 5th International Workshop on Educational Technology for Language Learning (ETLL 2022).- Grammatical Strategies for Clause Combining and the Acquisition by Chinese EFL Learners.- Corpus-Based Sociolinguistic Study of Undergraduate English Writing and Its Implications for Business English Teaching.- Learner Portrait in Hybrid English Listening and Speaking Courses.- Conceptualizing a Gamified Flipped Model for English as Second-Language Classes in Secondary Schools: A Comparative Study between Different Age Groups.- Using Video Dubbing to Foster EFL College Students' English News Broadcasting Ability.- The 6th International Symposium on User Modeling and Language Learning (UMLL 2022).- Exploring Learning Engagement of Higher Vocational College Students in MALL.- Flipped data science classrooms with peer instruction and just-in-time teaching: students’ perceptions and learning experiences.- Using vicarious learning feedback videos as self-directed learning resources in a LMOOC context.- Blended Learning Approach in English Teaching: Effectiveness and Challenges.- Digitalization in Language and Cross-Cultural Education.- The Structure of Motivation in Online Translation Learning and the Role of L2 Motivation Self System.- Transediting of Children’s Literature in the Age of Technology.- A Study on Knowledge Network Acceptability Facilitated by a Computer-Aided Translation Learning Platform.- On the Design of Computer-Aided Translation Teaching.- The Visualizing and Transferring of Communicative Rhetorical Modelling in Active Reading-Writing Teaching Based on Cognitive Apprenticeship: Case Analyses Facilitated by Rain-classroom and Pigai.org.- An Empirical Study on Knowledge-Network-Based Translation Learning.- Designing Blended Learning Model for Medical English Course Based on POA.- Application of the Formative Assessment Model in College English Course Assisted by Digital Platforms---Taking HFUT as an Example.- Translation Skills Training Through In-Depth Analysis: With Special Reference to Online Self-Learning on Textwells.- 1st Workshop on Hardware and software systems as enablers for lifelong learning (HASSELL).- A Theoretical Framework for Computer Vision Learning Environment.

Read more less