Computational Science - ICCS 2023

Name: Computational Science - ICCS 2023 | 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V
Brand: Springer
Price: 117.69 EUR
Availability: OnlineOnly

23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V

Jirí Mikyska Clélia de Mulatier Maciej Paszynski Valeria V. Krzhizhanovskaya Jack J. Dongarra Peter M.A. Sloot(Editor)

Springer (Publisher)

Published on 28. June 2023

XXIII, 795 pages

E-Book

PDF with digital watermarking

System requirements

978-3-031-36030-5 (ISBN)

€117.69incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
Organization
Contents - Part V
Quantum Computing
Searching B-Smooth Numbers Using Quantum Annealing: Applications to Factorization and Discrete Logarithm Problem
1 Introduction
2 Classical Methods for Integer Factorization and Discrete Logarithm
2.1 Quadratic Sieve Method
2.2 Index Calculus Method
3 Hybrid Methods
3.1 Known Results and Previous Work
3.2 Our Result - Factorization by Quantum Annealing as a Subroutine
3.3 Quantum Annealing Stage - Summary
4 Experiments
4.1 Results for Integer Factorization
4.2 Results for Discrete Logarithm Problem over Prime Field
5 Summary
References
Classification of Hybrid Quantum-Classical Computing
1 Introduction
2 Literature
3 Types of Hybrid Computing
3.1 Vertical Hybrid Quantum Computing
3.2 Horizontal Hybrid Quantum Computing
4 Application
5 Conclusions
References
Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization
1 Introduction
2 Foundations
2.1 Satisfiability Problems
2.2 Quadratic Unconstrained Binary Optimization
3 Related Work
3.1 Chancellorn+m
3.2 Choi3m
4 Approaches
4.1 A 2n + m Approach
4.2 An n + m Approach
5 Empirical Evaluation
6 Conclusion and Future Work
References
Black Box Optimization Using QUBO and the Cross Entropy Method
1 Introduction
2 Background
2.1 MAX-SAT
2.2 Feedback Vertex Set (FVS)
2.3 MaxClique
2.4 Quadratic Unconstrained Binary Optimization (QUBO)
2.5 Cross-Entropy Method
3 Related Work
4 Black Box Optimization with Cross Entropy and QUBO (BOX-QUBO)
5 Experiments
6 Conclusion and Future Work
References
Sub-exponential ML Algorithm for Predicting Ground State Properties
1 Introduction
2 Preliminaries and Related Work
2.1 Formulation
2.2 Classical Shadows
2.3 Predicting Ground States of Quantum Many-Body Systems
3 Proposed Method
3.1 Idea
3.2 Algorithm Details
4 Conclusion
References
Quantum Factory Method: A Software Engineering Approach to Deal with Incompatibilities in Quantum Libraries
1 Introduction
2 State of the Art
2.1 Quantum Software Engineering
2.2 OpenQASM: A Not-so-Standard Standard
3 Proposal
3.1 Design Patterns
3.2 Application
4 Examples
4.1 Building Simple Circuits
4.2 Building Quantum Rule-Based Systems
4.3 Experiments and Results
5 Discussion and Conclusions
References
A Polynomial Size Model with Implicit SWAP Gate Counting for Exact Qubit Reordering
1 Introduction
2 Background
2.1 Building Blocks of QC
2.2 Decomposing Multi-qubit Gates
3 Problem Definition
4 Mathematical Model
5 Experimental Results
5.1 Experimental Setup
5.2 Results
6 Conclusion
References
Translating Constraints into QUBOs for the Quadratic Knapsack Problem
1 Introduction
2 Background
2.1 Quantum and Simulated Annealing
2.2 QUBO Definition
2.3 Original QUBO Formulation for the QKP
2.4 Alternative QUBO Formulations for the QKP
3 Benchmark of QUBO Formulations
3.1 Problem Instances
3.2 Penalty Values
3.3 Approach
3.4 Results
4 Conclusion
References
Qubit: The Game. Teaching Quantum Computing through a Game-Based Approach
1 Introduction
2 Related Works
3 Quantum Concepts
3.1 Qubit
3.2 Superposition
3.3 Bloch Sphere
3.4 Quantum Gates
3.5 Projection
3.6 Entanglement
3.7 Decoherence
4 Qubit: The Game
4.1 General Description
4.2 Design
4.3 Mechanics
4.4 Quick Start
5 Pilot Study
5.1 Survey Design
5.2 Findings
5.3 Discussion
6 Conclusions
References
Software Aided Approach for Constrained Optimization Based on QAOA Modifications
1 Introduction
2 Preliminaries
2.1 Combinatorial Problem Formulation Models
2.2 Quantum Approximate Optimization Algorithm
2.3 Knapsack Problem
3 Related Work
4 Proposed QAOA Modifications for Constrained Problems
4.1 Weight-Free Hamiltonian
4.2 Alternate Variational Parameter Set
5 QHyper Experiment Framework
6 Global Optimizer Variants
7 Experiment Results
8 Summary and Future Work
References
GCS-Q: Quantum Graph Coalition Structure Generation
1 Introduction
2 Problem Formulation
3 Related Works
4 Methods
4.1 Optimal Split
4.2 QUBO Formulation for Optimal Split
4.3 GCS-Q Algorithm
4.4 Discussion
5 Evaluation
5.1 Experimental Settings
5.2 Results
5.3 Performance Analysis
6 Conclusion and Future Work
References
Learning qubo Models for Quantum Annealing: A Constraint-Based Approach
1 Introduction
2 Quantum Annealing and qubo
3 Motivating Example
3.1 Basic Example
3.2 A More Complex Example
4 Method Design
5 Experiments
5.1 Experimental Protocols
5.2 Experimental Results
6 Conclusion
References
TAQOS: A Benchmark Protocol for Quantum Optimization Systems
1 Introduction
1.1 Related Work
2 TAQOS Benchmark Protocol
2.1 Metrics
2.2 Use Case on the Max-Cut Problem
3 Conclusion
References
Enabling Non-linear Quantum Operations Through Variational Quantum Splines
1 Introduction
2 Related Works
3 Contribution
4 Methods
4.1 Preliminaries
4.2 VQSplines: Variational Algorithm for QSplines
4.3 GQSplines: Generalized Quantum Splines
5 Evaluation
5.1 Experimental Settings
5.2 Results
6 Discussion
7 Conclusion
References
Exploring the Capabilities of Quantum Support Vector Machines for Image Classification on the MNIST Benchmark
1 Introduction
2 Theoretical Background
2.1 Introduction to Quantum Computing
2.2 Support Vector Machine
2.3 Quantum Kernel
3 Computational Experiments
4 Conclusions
References
Determination of the Lower Bounds of the Goal Function for a Single-Machine Scheduling Problem on D-Wave Quantum Annealer
1 Introduction
2 Formulation of the Problem
3 Determining the Lower Bound on the D-Wave Quantum Machine
4 Experimental Research
5 Summary
References
Simulating Sparse and Shallow Gaussian Boson Sampling
1 Introduction
2 Setup
3 Classical Simulation of Sparse and Shallow GBS
4 Complexity of the Classical Algorithm for Non-displaced Gaussian Threshold Boson Sampling
5 Conclusion and Outlook
A Matrix Operations
B Factorizing Probabilities over Block Direct Sums
C Supplementary Calculations
References
Solving Higher Order Binary Optimization Problems on NISQ Devices: Experiments and Limitations
1 Introduction
2 Problem Formulation
3 Experimental Setup
3.1 Setup of D-Wave Systems
3.2 Setup of the QAOA
4 Results
5 Conclusion
References
Constructing Generalized Unitary Group Designs
1 Introduction
2 Background and Notation
3 Constructing Higher Order Designs from Lower Ones
3.1 Constructing 2-designs
3.2 Possible Construction of Higher Designs
4 Unitary 2-Designs from Orthogonal and Symplectic 2-Designs
5 Summary and Outlook
References
Multi-objective Quantum-Inspired Genetic Algorithm for Supervised Learning of Deep Classification Models
1 Introduction
2 Related Work
3 Dataset with X-Ray Image Collection
4 Multi-objective Quantum Deep Learning
5 Numerical Experiments
6 Concluding Remarks
References
Simulations of Flow and Transport: Modeling, Algorithms and Computation
Numerical Simulation of Virus-Laden Droplets Transport from Lung to Lung by Using Eighth-Generation Airway Model
1 Introduction
2 Numerical Approach
2.1 Flow Field and Heat Analysis
2.2 Movement of Virus-Laden Droplets
3 Simulation of Droplets
3.1 Numerical Model
3.2 Computational Condition for Droplets Analysis
3.3 Assessing the Risk of Infection
3.4 Computational Conditions for Flow and Heat Analysis
4 Results and Discussion of Droplets Analysis
5 Conclusions
References
Constraint Energy Minimizing Generalized Multiscale Finite Element Method for Highly Heterogeneous Compressible Flow
1 Introduction
2 Formulation of the Problem
3 Construction of Multiscale Basis Function
4 Numerical Results
5 Conclusions and Future Directions
References
Numerical Simulation of Propeller Hydrodynamics Using the Open Source Software
1 Introduction
2 Numerical Method
2.1 Governing Equations
2.2 Open-Source Software
3 Numerical Setup
4 Results and Discussions
5 Conclusion
References
Numerical Simulation of Supersonic Jet Noise Using Open Source Software
1 Introduction
2 Mathematical Model and Numerical Method
2.1 OpenFOAM Software, HybridCentralSolvers
2.2 OpenFOAM Software, QGDSolver
2.3 AMReX Software, CNS Solver
2.4 LibAcoustics Library
3 Computational Setup
4 Results and Discussion
5 Conclusion
References
DNS of Thermocapillary Migration of a Bi-dispersed Suspension of Droplets
1 Introduction
2 Mathematical Formulation and Numerical Methods
2.1 One Fluid Formulation for Incompressible Two-Phase Flow
2.2 The Multi-marker UCLS Method
2.3 Marangoni Force
2.4 Equation of State = (T) and Energy Equation
2.5 Regularization of Physical Properties
2.6 Numerical Methods
3 Numerical Experiments
3.1 Thermocapillary Migration of a Single Droplet
3.2 Thermocapillary Interaction of Two Droplets
3.3 Thermocapillary Migration of a Bi-dispersed Suspension of Droplets
4 Conclusions
References
Unstructured Conservative Level-Set (UCLS) Simulations of Film Boiling Heat Transfer
1 Introduction
2 Mathematical Formulation and Numerical Methods
2.1 Incompressible Two-Phase Flow with Phase Change
2.2 Unstructured Conservative Level-Set (UCLS) Method
2.3 Liquid-Vapour Phase Change and Energy Equation
2.4 Finite-Volume Method: Unstructured Flux-Limiters
3 Numerical Experiments
3.1 Validations and Verifications of the UCLS Method
3.2 Film Boiling on a Horizontal Plane
4 Conclusions
References
Deswelling Dynamics of Chemically-Active Polyelectrolyte Gels
1 Introduction
2 Model
3 Simulation Results
3.1 Model Parameters and Problem Setup
3.2 Effect of Calcium Bath Concentration on Gel Deswelling
3.3 Effect of Interaction Parameter
4 Conclusion
References
Mathematical Modeling and Numerical Simulations for Drug Release from PLGA Particles
1 Introduction
2 Synthesis of PLGA Particles and Drug Encapsulation
3 Properties of PLGA Particles and Release Mechanisms
4 Mathematical Modeling for Drug Release from PLGA Particles
4.1 A Model for Radial Diffusion in Polymeric Shells
4.2 Other Existing Mathematical Models
5 Numerical Methods for Radial Diffusion
5.1 Node-Oriented Finite Volume Schemes for Spherical Diffusion
5.2 Computation of Mass and Fluxes
5.3 Nondimensionalization
6 Experimental and Numerical Results
7 Concluding Remarks
References
Molecular Dynamics Study of Hydrogen Dissolution and Diffusion in Different Nonmetallic Pipe Materials
1 Introduction
2 Molecular Dynamics Model
3 Molecular Dynamics Simulation
3.1 Dissolution Simulation
3.2 Diffusion Simulation
3.3 Permeation Simulation
4 Results Analysis and Discussion
4.1 Influences of Temperature on the Solubility Coefficient
4.2 Influences of Temperature on the Diffusion Coefficient
4.3 Influences of Pressure on the Diffusion Coefficient
4.4 Influences of Temperature and Pressure on the Permeability Coefficient
4.5 Diffusion Mechanism
5 Conclusions
References
Component-wise and Unconditionally Energy-Stable VT Flash Calculation
1 Introduction
2 Mathematical Model
2.1 Physical Problem
2.2 Dynamic Model
2.3 Prerequisites and Modified Energy
3 Numerical Scheme and Proof
3.1 Ideal Term
3.2 Repulsion Term
3.3 Attraction Term
3.4 Linear Scheme for Updating Volume
4 Numerical Experiments
4.1 Binary Mixture of Methane (C1) and n-penthane (n C5)
5 Conclusion
References
Smart Systems: Bringing Together Computer Vision, Sensor Networks and Artificial Intelligence
Feasibility and Performance Benefits of Directional Force Fields for the Tactical Conflict Management of UAVs
1 Introduction
2 Related Works
3 Proposed Solution
4 Simulation Results
4.1 Simulation Setup
4.2 Performance Analysis
5 Conclusions and Future Work
References
Payload Level Graph Attention Network for Web Attack Traffic Detection
1 Introduction
2 Related Work
2.1 Malicious Traffic Analysis Based on Machine Learning
2.2 Graph Neural Network
3 Approach
3.1 Overall Architecture
3.2 Data Processing
3.3 Graph Building
3.4 GAT-Based Classification
4 Experimental Evaluation
4.1 Dataset and Setup Description
4.2 Classification Results and Discussion
5 Conclusion and Feature Work
References
Feature Importances as a Tool for Root Cause Analysis in Time-Series Events
1 Introduction
2 Related Works and Motivation
3 Feature Understanding Method
3.1 Supervised Task
3.2 Unsupervised Task
4 Evaluation
4.1 Experiment on the C-MAPSS Dataset
4.2 Experiment on Hot-Rolling Process Dataset
5 Discussion
6 Conclusion
References
Smart Head-Mount Obstacle Avoidance Wearable for the Vision Impaired
1 Introduction
2 Literature Review
3 System Design
4 Data Collection
4.1 Data Processing
4.2 Data Labeling
5 Methodology
5.1 Learning Models
5.2 Model Evaluation and Analysis
6 Experimental Results
6.1 Hyper-parameter Tuning
6.2 Comparative Analysis of Learning Methods
6.3 Analysis of Ensemble Algorithms
6.4 Evaluation on Deep Learning Methods
7 Discussions
7.1 Combined Model Comparison
7.2 Real-Time Detection
8 Conclusion
References
Multimodal Emotion Classification Supported in the Aggregation of Pre-trained Classification Models
1 Introduction
2 Related Work
3 Multi-source Aggregator and Sentiment Classifier
3.1 Primary Classifiers
3.2 Dataset for the Aggregators
3.3 Voting Aggregator's Baseline
3.4 ML Aggregator Methods
4 Tests and Results
5 Conclusion
References
Cyber-physical System Supporting the Production Technology of Steel Mill Products Based on Ladle Furnace Tracking and Sensor Networks
1 Introduction
2 Preliminary Arrangements
2.1 Sensors
2.2 ML Position Tracking
2.3 Metamodeling for Temperature Drop Prediction
2.4 Related Works
3 Proposed Methodology and Architecture
3.1 Sensors Layer
3.2 ML Position Tracking
3.3 Metamodeling of Temperature Drop
4 Obtained Results
4.1 Sensor Layer Data Aggregation Module
4.2 Training, Accuracy, and Performance of LF Identification
4.3 Metamodeling
5 Summary and Further Works
References
SocHAP: A New Data Driven Explainable Prediction of Battery State of Charge
1 Introduction
2 Battery Basics and Related Works
3 SHAP Convolutional Neural Network for SOC Prediction (SocHAP)
3.1 Data Used in the Approach and Introduction of a New Dataset
3.2 State of Charge Explainable Prediction
4 Experiments and Results
4.1 Evaluation of the SocHAPModel
4.2 Explainability of the Model's Estimations
4.3 Real-Time Cell SoC Test Bench Under Development
5 Conclusion
References
ATS: A Fully Automatic Troubleshooting System with Efficient Anomaly Detection and Localization
1 Introduction
2 Related Work
3 Preliminaries
4 System Design
4.1 Overview of Framework
4.2 AutoDetect: A Novel Ensemble Anomaly Detection
4.3 Gunlock: Trigger
4.4 AutoRoot: Root Cause Localization
5 Evaluation
5.1 Dataset
5.2 Baseline and Evaluation Metrics
5.3 Performance of Anomaly Detection
5.4 Performance of ATS
6 Conclusion
References
Resource Consumption of Federated Learning Approach Applied on Edge IoT Devices in the AGV Environment
1 Introduction
2 Related Works
2.1 Automated Guided Vehicles
2.2 Federated Learning
3 Federated Learning in the Distributed AGV Environment
4 Determining Jetson Nano's Resource Consumption in Federated Learning
4.1 Using LSTM Without Federated Learning on the Entire Data Set
4.2 Using LSTM with 4-Round Federated Learning
4.3 Using LSTM with 8-Round Federated Learning
5 Discussion and Conclusions
References
Quantifying Parking Difficulty with Transport and Prediction Models for Travel Mode Choice Modelling
1 Introduction
2 Related Works
3 Estimating Parking Difficulty and Costs
4 Results
5 Conclusions
References
Cloud Native Approach to the Implementation of an Environmental Monitoring System for Smart City Based on IoT Devices
1 Introduction
2 Related Works and Contribution
3 Methodology, System Architecture and Implementation
3.1 Data Gathering
3.2 Data Processing
3.3 Cloud Native Approach to the System
4 Reliability and Performance Results
5 Summary and Further Works
References
Prediction of Casting Mechanical Parameters Based on Direct Microstructure Image Analysis Using Deep Neural Network and Graphite Forms Classification
1 Introduction
2 Related Research
3 Methodology
3.1 Direct Image Classification Using Deep Neural Networks
3.2 Microstructure-Based Classification
4 Experiments
4.1 Source Data
4.2 Direct Classification
4.3 Microstructure-based Classification
5 Conclusions
References
Breaking the Anti-malware: EvoAAttack Based on Genetic Algorithm Against Android Malware Detection Systems
1 Introduction
2 Proposed Framework for Adversarial Robustness
2.1 Framework Overview
2.2 Evolutionary Adversarial Attack (EvoAAttack)
2.3 Adversarial Defense (defPCA)
3 Experimental Setup
3.1 Data Curation and Feature Extraction
3.2 Classification Algorithms
3.3 Platform
3.4 Other Parameters
3.5 Evaluation Metrics
4 Experimental Results
4.1 Baseline Android Malware Detection Systems
4.2 EvoAAttack Against Malware Detection Systems
4.3 defPCA Defense Strategy
5 Related Work
6 Conclusion
References
Smart Control System for Sustainable Swimming Pools
1 Introduction
2 State of the Art
3 Problem Formulation
4 Systems Identification
4.1 Modelling the System
4.2 The Genetic Algorithm for Controlling the Boiler System
5 Simulation Tests and Results
5.1 Results with the ARMAX Model
6 Conclusions
References
Solving Problems with Uncertainties
Distributionally-Robust Optimization for Sustainable Exploitation of the Infinite-Dimensional Superposition of Affine Processes with an Application to Fish Migration
1 Introduction
2 SupOU Process
2.1 Formulation
2.2 Statistical Properties
3 Optimization Problem
3.1 Generalized Divergence
3.2 Problem Formulation
3.3 Regularization of CVaR
3.4 Numerical Discretization
4 Application
4.1 Study Site
4.2 Computational Results and Discussion
5 Conclusion
References
Global Sensitivity Analysis Using Polynomial Chaos Expansion on the Grassmann Manifold
1 Introduction
2 Related Work
3 Methods
3.1 Variance-Based Global Sensitivity Analysis: Sobol' Indices
3.2 GSA Using Grassmannian Diffusion Maps and PCE
3.3 Applications
4 Results
5 Discussion and Conclusions
References
Fuzzy Solutions of Boundary Problems Using Interval Parametric Integral Equations System
1 Introduction
2 Interval Parametric Integral Equations System
3 Fuzzy Solutions to Boundary Problems
4 Tests
5 Conclusions
References
Allocation of Distributed Resources with Group Dependencies and Availability Uncertainties
1 Introduction and Related Works
2 Resource Selection Algorithm
2.1 Probabilistic Model for Resource Utilization
2.2 Parallel Job Scheduling and Group Dependencies
2.3 Direct Solutions of the Resources Allocation Problem
2.4 Resources Allocation Algorithms with Group Dependencies
3 Simulation Study
3.1 Considered Algorithm Implementation
3.2 Proof of Optimization Efficiency
3.3 Practical Optimization Efficiency Study
4 Conclusion and Future Work
References
Creating Models for Predictive Maintenance of Field Equipment in the Oil Industry Using Simulation Based Uncertainty Modelling
1 Introduction
2 Related Work
3 Methodology
3.1 Predictive Analytics for Continuous Variables by Regression
3.2 Categorical Variable Prediction by Multi-label Classification
4 Results and Discussion
4.1 Dataset Description
4.2 Principal Component Analysis
4.3 Machine Learning Prediction
4.4 Performance Analysis: Mean Value Analysis
4.5 Modelling Uncertainty Using Simulation
5 Conclusions
References
On the Resolution of Approximation Errors on an Ensemble of Numerical Solutions
1 Introduction
2 The Linear Problem for the Approximation Error Estimation Using the Differences of Numerical Solutions
3 The Nonlinear Statements for the Estimation of the Approximation Error
4 The Numerical Algorithms
5 The Test Problem
6 Numerical Results
7 Discussion
8 Conclusion
References
Semantic Hashing to Remedy Uncertainties in Ontology-Driven Edge Computing
1 Introduction
2 Related Work
3 Semantic Hashing to Reduce Uncertainties
3.1 Formal Model of Operator
3.2 Unique Identifier of Operator
3.3 Embedded Reasoner Compatibility Check
4 EON 2.0 Ontology Representation Format
5 Discussion and Conclusion
References
Ontological Modelling and Social Networks: From Expert Validation to Consolidated Domains
1 Introduction
2 Research Background
2.1 Ontology and Data
2.2 Ontology and Social Networks
2.3 Hybrid Intelligence
3 Methodology and Approach
4 Ontology in Concept
4.1 Data Sub-ontology: Dataset and Atomic Data
4.2 CORE Sub-ontology: Retrieving and Processing Raw Data
4.3 Domain Sub-ontology: From Expert Validation to Consolidated Domains
5 Current Implementation
5.1 Ontological Modelling
5.2 Modelling Uncertainty
6 Applications
7 Conclusions and Future Work
References
Teaching Computational Science
The Idea of a Student Research Project as a Method of Preparing a Student for Professional and Scientific Work
1 Introduction
2 Literature Review
3 Concept of Students Research Project
3.1 Outline
3.2 Steps, Reporting and Monitoring Project Execution in the RPS Electronic System
4 Formal Setting and Agreements
5 Implementation of Research Projects
5.1 Methodology of Conducting Student Research Projects
5.2 Awarded Research Projects
5.3 Published Research Projects Results
6 Conclusions
References
Empirical Studies of Students Behaviour Using Scottie-Go Block Tools to Develop Problem-Solving Experience
1 Introduction
2 Related Work
2.1 Problem Solving for Programming Learning
2.2 Computational Thinking in Educational Context
3 Materials and Methods
3.1 Classic Course
3.2 Scratch Extension to the Classic Course
3.3 Scottie Go and Scratch Extensions to the Classic Course
3.4 Participants
3.5 Research Method
4 Results
5 Discussions and Conclusions
References
Symbolic Calculation Behind Floating-Point Arithmetic: Didactic Examples and Experiment Using CAS
1 Introduction
2 Didactic Motivations
3 ``Pathological'' and ``Non - Pathological'' Example of Linear Equations System Solution
4 ``Pathological'' and ``Non - Pathological'' Example of Limit of a Real Function
5 Floating-Point Arithmetic: Some Basic Definitions
6 Double Precision Representation of 110
7 Double Precision Representation of 210
8 Double Precision Representation of 110+110
9 Double Precision Addition of 110+110+110
10 Double Precision Representation of 310
11 The Didactic Experiment with Examples 1-4
12 Conclusions
References
Code Semantics Learning with Deep Neural Networks: An AI-Based Approach for Programming Education
1 Introduction
2 Related Work
3 Motivation
4 Proposed Approach
5 Experimental Results
5.1 Datasets
5.2 Evaluation Methods
5.3 Implementation Details
5.4 Results
6 Discussion
7 Concluding Remarks
References
A Framework for Effective Guided Mnemonic Journeys
1 Introduction
2 Background
2.1 Method of Loci: A Mnemonic-Specific Technique to Improve Memory
2.2 Brief Review of Previous Work on Virtual Memory Palaces
3 Guided Mnemonic Journeys
3.1 Virtual Tours as Memory Palaces
3.2 Combination of Mnemonic Techniques
3.3 Guided Learning Experience
3.4 Journey Dynamics
4 Pilot Study
5 Results and Discussion
6 Conclusions
References
Analysis of Outcomes from the Gamification of a Collaboration Intensive Course on Computer Networking Basics
1 Introduction
2 Background and Related Work
3 Selection of the Experimental Course
3.1 The Laboratory Classes Sequence
3.2 The Story Line of the Course
3.3 Mapping the Story to the Course Rules
4 Reflection on Conducting the Course in Varying Environments
4.1 Teachers' Subjective Reflection
4.2 Course Statistics and Educational Outcomes
4.3 Adjustments to Mapping and Roles
5 Conclusions and Future Work
References
Towards an Earned Value Management Didactic Simulator to Engineering Management Teaching
1 Introduction
1.1 Agile Development
1.2 Agile Practices in Education
1.3 Task-Board and Earned Value Management
2 Methodology
2.1 The Earned Value Management Model Adaptation
2.2 The Class Experiment Design and Implementation
2.3 The Assessment Questionnaire Application
3 Assessment Results
3.1 The Web Earned Value Management Simulation Didactic Tool
3.2 The Student's UX Assessment Results
3.3 The Student's Quiz Results and Feedback
4 Conclusion and Future Work
References
Author Index
A Bayesian Optimization Through Sequential Monte Carlo and Statistical Physics-Inspired Techniques
1 Introduction
2 Method Description
3 Numerical Experiments
3.1 Models
3.2 Experimental Results
4 Conclusions and Future Work
References

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Computational Science - ICCS 2023

Description

More details

Other editions

Additional editions

Content

System requirements