PROGRAM
Days: Monday, July 7th Tuesday, July 8th Wednesday, July 9th
Monday, July 7th
View this program: with abstractssession overviewtalk overview
09:20-10:10 Session 2: Keynote Lecture 1
09:20 | An Overview of High Performance Computing and Responsibly Reckless Algorithms (abstract) |
10:10-10:40Coffee Break
10:40-12:20 Session 3A: MT 1
10:40 | Tensorial Implementation for Robust Variational Physics-Informed Neural Networks (abstract) |
11:00 | Physics Informed Neural Network Code for 2D Transient Problems (PINN-2DT) Compatible with Google Colab (abstract) |
11:20 | Discovering Governing Equations of Geomagnetic Storm Dynamics with Symbolic Regression (abstract) |
11:40 | Adaptive Physics Refinement for Anatomic Adhesive Dynamics Simulations (abstract) |
12:00 | A Dynamic Model of Customers Behavior: Integrating Econophysics and Physics-Informed Neural Networks (abstract) |
10:40-12:20 Session 3B: MT 2
10:40 | Comparative Analysis of Black-Box Optimization Methods for Weather Intervention Design (abstract) |
11:00 | Applying a Genetic Algorithm to Optimize Hail Prediction Using the Weather Research and Forecasting Model (abstract) |
11:20 | Neural parabolic wave equation for refractivity estimation (abstract) |
11:40 | Exploring the effect of spatial scales in studying urban mobility pattern (abstract) |
12:00 | Estimating Airborne Transmission Risk for Indoor Space: Coupling Agent-based Model and Computational Fluid Dynamics (abstract) |
10:40-12:20 Session 3C: MCDM 1
10:40 | Issues Importance Analysis for Reaching High-Quality Consensus in Preference-Based Conflict Scenarios (abstract) |
11:00 | Integrating Conflict Analysis and Rule-Based Systems for Dispersed Data Classification (abstract) |
11:20 | Using SSP-VIKOR in Sustainable Share of Renewable Energy Sources Assessment (abstract) |
11:40 | Strong Sustainability Paradigm in TOPSIS Method: New Approach to Wind Farm Selection Problem (abstract) |
10:40-12:20 Session 3D: MLDADS 1
10:40 | Cluster-based Reduced-order Modelling and Control for Chaotic Systems with Extreme Events (abstract) |
11:00 | First Experiences on Exploiting Physics-Informed Neural Networks for Approximating Solutions of a Biological model (abstract) |
11:20 | SHAP-prioritised Machine Learning for Diagnostic grade Prediction of Lung Function (abstract) |
10:40-12:20 Session 3E: SmartSys
10:40 | Microscopic Binary Engagement Model (abstract) |
11:00 | Formal Security Analysis of the Authentication Protocol in Smart Cities using AVISPA (abstract) |
11:20 | Automatic Help Summoning through Speech Analysis on Mobile Devices (abstract) |
11:40 | Enhancing Learning in Augmented Reality (AR): A Deep Learning Framework for Predicting Memory Retention in AR Environments (abstract) |
12:00 | Joint Spatial-Temporal Representation for Host Intrusion Detection System (abstract) |
10:40-12:20 Session 3F: CDMDD
10:40 | Exploration and Learning Algorithms Used for Predicting Casting Properties (abstract) |
11:00 | Data-Driven Prediction of Glass Transition Temperature Using Molecular Structural Features (abstract) |
11:20 | Structural response of bijels stabilized by ellipsoidal magnetic particles (abstract) |
10:40-12:20 Session 3G: RAGW
10:40 | AggTruth: Contextual Hallucination Detection using Aggregated Attention Scores in LLMs (abstract) |
11:00 | CiteVerifier: How Good Are Citation Verifiers and How to Use Them? (abstract) |
11:20 | From Statement of Facts to Statutory Provisions – Efficient Retrieval of Relevant Legislation (abstract) |
11:40 | PoliChat: Retrieval Augmented Generation on University Documents and Regulations (abstract) |
12:00 | The use of the Chat GPT to solve mathematical programming tasks: a didactic experiment with the participation of Warsaw University of Life Sciences students (abstract) |
12:20-12:50 Session 4: Poster Session
Data-Centric Parallel Programming Abstractions for High Performance Computations (abstract) |
SOPMOA*: Unleashing Shared-Open Parallelism for High-Performance Multi-Objective Pathfinding (abstract) |
Modelling AI Applications using PAS2P on HPC Cloud Environments (abstract) |
Fast prediction of job execution times in the ALICE Grid through GPU-Based Inference with Quantization and Sparsity Techniques (abstract) |
Remote Sensing AI for Crop Planting in Wildfire Fuel Mapping (abstract) |
Information flow between neighboring housing markets: A case from the Seoul metropolitan area (abstract) |
Simulation of Blood Flow in the Left Ventricle Considering Purkinje Fibers (abstract) |
From Recursion to Parallelism: Plug & Play Dynamic Programming (abstract) |
Computer simulations of pollution propagation from power plant and in-field measurements of pollution from snowmobiles in the town of Longyearbyen at Spitsbergen (abstract) |
Advancing Bird Species Classification: A Fusion of Audio and Image Data (abstract) |
Investigation of CUDA Graphs performance for selected parallel applications (abstract) |
Instance selection by fast local set border selector (abstract) |
Prototype-pairs Decomposition for Extracting Simple and Meaningful Rules (abstract) |
Rockburst Forecasting using Composite Modeling for Seismic Sensors Data (abstract) |
Adaptive Modular Housing Design for Crisis Situations (abstract) |
Simulation Modelling of Clinical Decision making for Personalized Policy Identification (abstract) |
Modelling the Transient Evolution of Queues in Plugged-in Electric Vehicles(PEV) Fast Charging Stations (abstract) |
An Algorithm for Calculating the Multidimensional Solution of the Fuzzy Sylvester Matrix Equation (abstract) |
Accelerating LBM with C++ STL Asynchronous Parallel Model (abstract) |
Modeling Firm Birth and Death Dynamics using Survival Fractions and Age Distributions (abstract) |
Accelerating Cloud-Based Transcriptomics: Performance Analysis and Optimization of the STAR Aligner Workflow (abstract) |
Verified Eigenvalue Calculation for the Laplace Operator (abstract) |
Is heterogeneous model soup tasty? A Multidimensional Evaluation of Diverse Model Soups in Language Model Alignment (abstract) |
Reversed Model Verification by Inferring Conceptual Models from Simulation Code (abstract) |
NeoN: A Tool for Automated Detection, Linguistic and LLM-Driven Analysis of Neologisms in Polish (abstract) |
A Hybrid Q-LA approach to routing in Wireless Sensor Networks (abstract) |
Leveraging positional bias of LLM in-context learning with Class-few-shot and Maj-Min alternating ordering (abstract) |
F3cake: A Julia-Based Platform for Automatic Discretization and Solution of Partial Differential Equations (abstract) |
Regularization Algorithm for Eliminating Singularities in the PIES Formula for 3D Multidomain Orthotropic Problems (abstract) |
Predicting future collaborations in a scientific community using graph neural networks (abstract) |
Algorithm Selection in Short-Range Molecular Dynamics Simulations (abstract) |
A fast MPI-based Distributed Hash-Table as Surrogate Model for HPC Applications (abstract) |
Improving project-level code generation using combined relevant context (abstract) |
Actionable Fire Modeling in Firemap for Extended Attack Decision Support (abstract) |
AI-enhanced agent-based modelling approach for forced displacement predictions (abstract) |
12:50-13:50Lunch
14:50-16:30 Session 6A: MT 3
14:50 | Control synthesis of homogeneous approximations of nonlinear systems (abstract) |
15:10 | A Connectionist Approach to Federated Digital Twins (abstract) |
15:30 | Bus Loop Scheduling with Dueling Double Deep Q Network (abstract) |
15:50 | Discover the Tractable Latent Space of Floating Offshore Wind Turbine based on a Novel GNN-Encoder-Decoder-LSTM Deep Learning Architecture (abstract) |
16:10 | i-QLS: Quantum-supported Algorithm for Least Squares Optimization in Non-Linear Regression (abstract) |
14:50-16:30 Session 6B: MT 4
14:50 | A customizable Agent-Based Simulation Framework for Emergency Departments (abstract) |
15:10 | Explainable Artificial Intelligence for Bioactivity Prediction: Unveiling the Challenges with Curated CDK2/4/6 Breast Cancer Dataset (abstract) |
15:30 | Efficient Peptide MRM Transition Prediction via Convolutional Hashing (abstract) |
15:50 | Microfluidic Digital Twin for Enhanced Single-Cell Analysis (abstract) |
16:10 | Adaptive PCA-Based Outlier Detection for Multi-Feature Time Series in Space Missions (abstract) |
14:50-16:30 Session 6C: MCDM 2
14:50 | Compromise Fuzzy Ranking: a novel method for reaching consensus in complex multi-criteria decision problems (abstract) |
15:10 | A new approach to large-scale multi-criteria group decision-making based on the RANCOM method (abstract) |
15:30 | Incorporating Performance Ordering in MCDA: A Study of the Frobenius SPOTIS Method (abstract) |
14:50-16:30 Session 6D: MLDADS 2
14:50 | Latent Three-dimensional Variational Data Assimilation with Convolutional Autoencoder and LSTM for Flood Forecasting (abstract) |
15:10 | Online model learning with data-assimilated reservoir computers (abstract) |
15:30 | Data-Assimilated Model-Based Reinforcement Learning for Partially Observed Chaotic Flows (abstract) |
15:50 | Assimilation of Data for Dynamic Digital Twins by Learning Covariance Information (abstract) |
16:10 | Turn Detection in Alpine Skiing Using Smartphone Sensors (abstract) |
14:50-16:30 Session 6E: SOFTMAC 1
14:50 | A mixed finite element projection method for unsteady incompressible flow (abstract) |
15:10 | A Thermodynamically Consistent Model for Fluid-Solid Coupling in Fractured Porous Elastic Media with Strongly Compressible Fluid Flow (abstract) |
15:30 | Model-Based Reinforcement Learning for Efficient Active Flow Control (abstract) |
15:50 | An Unconditionally Stable Split-Parallel Algorithm for the Coupled Stokes-Parabolic System Based on the Three-Field Biot Model (abstract) |
16:10 | Application of molecular dynamics and cDFT for gas adsorption (abstract) |
14:50-16:30 Session 6F: CMAISS
14:50 | Accelerated Approximation of Bellman Equation Solutions for Agent Policy Optimization with a Feedforward Neural Network (abstract) |
15:10 | Simulation-based inference in agent-based models using spatio-temporal summary statistics (abstract) |
15:30 | Emergent Communication in Merging Artificial Agent Populations (abstract) |
15:50 | Evolutionary game selection leads to emergent Inequality (abstract) |
14:50-16:30 Session 6G: NACA
14:50 | Low Latency Recoding CORDIC Algorithm for FPGA Implementation (abstract) |
15:10 | Time and energy consumption of multithreaded matrix factorization using various compilers optimizations (abstract) |
15:30 | On floating point approximation of the reciprocal cube root function (abstract) |
15:50 | Fourier Error Analysis of Caputo Derivative Approximations based on Lagrange Interpolation over Uniform Mesh (abstract) |
16:30-17:00Coffee Break
Tuesday, July 8th
View this program: with abstractssession overviewtalk overview
09:50-10:20Coffee Break
10:20-12:00 Session 8A: MT 5
10:20 | Precise Language Deception: XAI Driven Targeted Adversarial Examples with Restricted Knowledge (abstract) |
10:40 | Towards weight-space interpretation of Low-Rank Adapters for Diffusion Models (abstract) |
11:00 | Dynamic neural network with matrix-extended residual connections (abstract) |
11:20 | An Empirical Assessment of LLM-Based Approaches to Malicious Webpage Detection (abstract) |
10:20-12:00 Session 8B: MT 6
10:20 | Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach (abstract) |
10:40 | cuTeBool: Fast and Scalable Boolean matrix factorization on GPUs using Tensor Cores (abstract) |
11:00 | Dimensionality reduction in product of metric spaces (abstract) |
11:20 | Hierarchical Structural Information -- Theory and Applications (abstract) |
11:40 | Proof of Training: Obtaining Verifiable ML Models by Delegating Training to a Blockchain Network (abstract) |
10:20-12:00 Session 8C: AIHPC4AS 1
10:20 | MinRNNs for Lagrangian-Based Simulations of Transient Flow Problems (abstract) |
10:40 | Uncertainty-Aware Well Placement: Simulator-Verified Dual-Network Reinforcement Learning Approach meets Particle Filters (abstract) |
11:00 | Performance-energy investigation of selected applications using a parallel multi-GPU genetic algorithm under power capping (abstract) |
11:20 | Discrete Residual Loss Functions for Training Physics-Informed Neural Networks (abstract) |
10:20-12:00 Session 8D: CompHealth 1
10:20 | Graph-augmented Large Language Models Can Reach Human Intelligence in Clinical Applications (abstract) |
10:40 | Cross-Scale Modeling of Healthcare Norms and Patient Features Dynamics with Interpretable Machine Learning (abstract) |
11:00 | A Fractional Computation Based Deep Learning Framework for Silicosis Detection (abstract) |
11:20 | Combining XAI and graph cuts for skin-lesion segmentation (abstract) |
11:40 | Automatic Detection and Segmentation of Coronary Artery Stenosis in Coronary Angiography Images (abstract) |
10:20-12:00 Session 8E: SOFTMAC 2
10:20 | Numerical Analysis of Dolphin Kick in Competitive Swimming with Free Surface Effects (abstract) |
10:40 | Robust, Efficient, and Long-Time Accurate Schemes to Simulate Gas Storage in Geological Formation (abstract) |
11:00 | Massively Parallel Computational Modeling of Porous Electrode Formation and Performance via Non-Solvent Induced Phase Separation for Redox Flow Batteries (abstract) |
11:20 | Study on hydrogen dissociation and adsorption behavior in hydrogen-blended natural gas pipelines (abstract) |
11:40 | Study on consequences and safety distance for leakage and explosion in pipelines of hydrogen-blended natural gas stations (abstract) |
10:20-12:00 Session 8G: AIxNA
10:20 | A Multilayer and temporal network for studying the connections of cross-listed stocks (abstract) |
10:40 | A novel routing algorithm for optical networks based on ML methods (abstract) |
11:00 | Covering the online spectrum of opinion in social context: the benefit of network node sampling through an Italian case study (abstract) |
11:20 | Decision Trees and Machine Learning for Cybersecurity: How Model Settings Affect Attack Detection (abstract) |
11:40 | A machine learning-based framework for predicting candidate drug side effects from biological networks (abstract) |
12:00 | Biological Community Detection with Graph neural network and Network Curvature analysis on Gene Co-expression Networks. (abstract) |
10:20-12:00 Session 8H: IHPCES
10:20 | Understanding the Limitations of Deep Transformer Models for Sea Ice Forecasting (abstract) |
10:40 | Generation of quality Green’s function libraries in complex three-dimensional crustal structures by adaptive mesh refinement (abstract) |
11:00 | Large-scale nonlinear viscoelastic simulation for crustal deformation accelerated by data-driven method and multi-grid solver (abstract) |
12:00-12:30 Session 9: Poster Session
The posters are the same for all three poster sessions. For the list of posters, please refer to the poster session on Monday, July 7th.
12:30-13:30Lunch
13:30-15:10 Session 10A: MT 7
13:30 | Simple error estimation for PIES in 2D elasticity problems (abstract) |
13:50 | Using B-spline function properties in the PIES method to handle singularities in boundary value problems (abstract) |
14:10 | Comparison of crash simulations on two types of flying cars (abstract) |
14:30 | Domain solutions obtained by the FPIES for potential 2D BVPs (abstract) |
14:50 | Physics-Aware Compression of Plasma Distribution Functions with GPU-Accelerated Gaussian Mixture Models (abstract) |
13:30-15:10 Session 10B: MT 8
13:30 | Meta-Instance Selection. Combining the Properties of Multiple Instance-Selection Methods. (abstract) |
13:50 | Preliminary comparison of different EDs performance, using Simulation (abstract) |
14:10 | Improving Object Detection Quality in Football Through Super-Resolution Techniques (abstract) |
14:30 | To select or not to select? The role of meta-features selection in meta-learning tasks with tabular data (abstract) |
14:50 | Backtranslation and paraphrasing in the LLM era? Comparing data augmentation methods for emotion classification. (abstract) |
13:30-15:10 Session 10C: AIHPC4AS 2
13:30 | A test space refinement strategy for Robust Variational Physics-Informed Neural Networks (abstract) |
13:50 | Augmenting Petrov-Galerkin method with optimal test functions by DNN learning the inverse of the Gram matrix (abstract) |
14:10 | Graph grammar model for h-adaptation for meshes with quadrilateral, pentagon, and hexagon elements (abstract) |
14:30 | EXPBrain: Exponential Integrators for Glioblastoma Brain Tumor Simulations (abstract) |
14:50 | Introducing B-spline basis functions in neural network approximations (abstract) |
13:30-15:10 Session 10D: CompHealth 2
13:30 | A Computational Framework for Modelling Biomechanical Tumour Dynamics and Tissue Interactions: A Proof-of-Concept in Pleural Mesothelioma (abstract) |
13:50 | Towards sensitivity analysis: 3D venous modelling in the lower limb (abstract) |
14:10 | Accelerating Two-Dimensional k-Wave Ultrasound Simulations Through Pruned FFT: A Treatment Planning Optimisation (abstract) |
14:30 | Predicting disease transmission rates for hybrid modeling of epidemic outbreaks: statistical and machine learning approaches (abstract) |
14:50 | Lightweight heterogeneous SEIR models for epidemic surveillance in Russian cities: turning synthetic populations into equations (abstract) |
13:30-15:10 Session 10E: SOFTMAC 3
13:30 | {\tt DarcyLite} Modules for Property-preserving Transport Solvers (abstract) |
13:50 | An Iterative Scheme for the Solidification and Macro-segregation Benchmark Modeling (abstract) |
14:10 | Natural convection in periodically heated porous-fluid system under local thermal non-equilibrium conditions: a numerical study for enhanced thermal management (abstract) |
13:30-15:10 Session 10G: CGIPAI
13:30 | A New Technique for Enhanced Monochrome Visualization of Non-Visual Data (abstract) |
13:50 | SupResDiffGAN a new approach for the Super-Resolution task (abstract) |
14:10 | Enhancing AI Face Realism: Cost-Efficient Quality Improvement in Distilled Diffusion Models with a Fully Synthetic Dataset (abstract) |
14:30 | Transferability of UNet-Based Downscaling Model for High-Resolution Temperature Data Across Diverse Regions (abstract) |
14:50 | Bat Algorithm for Automatic Chaos Control Method Driven by Multiplicative Pulses to the System Variables on the Logistic Map (abstract) |
13:30-15:10 Session 10H: MMS
13:30 | Multiscale Parallel Simulation of Malignant Pleural Mesothelioma via Adaptive Domain Partitioning – an Efficiency Analysis Study (abstract) |
13:50 | Novel Hierarchical Decision Tree Frameworks Introducing Tree Method Bagging-Stump Integration and Height Optimization (abstract) |
14:10 | Node-level Performance of Adaptive Resolution in ls1 mardyn (abstract) |
14:30 | Static Load Balancing for Molecular-Continuum Flow Simulations with Heterogeneous Particle Systems and on Heterogeneous Hardware (abstract) |
14:50 | FUMEplot: a Prototype Tool for Automated Visualisation of Uncertainties in Ensemble Modelling Outputs (abstract) |
16:30-17:00Coffee Break
Wednesday, July 9th
View this program: with abstractssession overviewtalk overview
09:50-10:20Coffee Break
10:20-12:00 Session 14A: AIHPC4AS 3
10:20 | Adaptive Integration Point Selection for Robust Variational Physics-Informed Neural Networks (abstract) |
10:40 | Structural Limiting Range of Perception in PSO (abstract) |
11:00 | Socio-cognitive agent-oriented evolutionary algorithm with trust-based optimization (abstract) |
11:20 | Towards Novel Migration Topologies for Parallel Evolutionary Algorithms (abstract) |
11:40 | Sequential, parallel and consecutive hybrid evolutionary-swarm optimization metaheuristics (abstract) |
10:20-12:00 Session 14B: BBC 1
10:20 | From the synaptome to the connectome: data bigness estimation for the human connectome at the nanoscale (abstract) |
10:40 | Enzyme Stability Prediction: Advancing with Ensemble Machine Learning and Explainable Artificial Intelligence (abstract) |
11:00 | Development of a pH-Responsive Bio-robotics for Targeted Drug Delivery to Lung Cancer in the Vascular System (abstract) |
11:20 | Accelerating Super-Resolution Magnetic Resonance Imaging Using Toeplitz k-Space Matrices and Deep Learning Reconstruction (abstract) |
11:40 | Logistic Regression with Covariate Clustering in Genome-wide Association Interaction Studies (abstract) |
10:20-12:00 Session 14C: QCW 1
10:20 | Optimization Framework for Reducing Mid-circuit Measurements and Resets (abstract) |
10:40 | Dead Gate Elimination (abstract) |
11:00 | Hyperspectral image segmentation with a machine learning model trained using quantum annealer (abstract) |
11:20 | On the status of current quantum machine learning software (abstract) |
10:20-12:00 Session 14E: SPU 1
10:20 | Unified and Diverse Coalition Formation in Dispersed Data Classification -- A Conflict Analysis Approach with Weighted Decision Trees (abstract) |
10:40 | Uncertainties in Modeling Psychological Symptom Networks: the case of Suicide (abstract) |
11:00 | Making Astrometric Solver Tractable through In-Situ Visual Analytics (abstract) |
10:20-12:00 Session 14F: LLM-IDDE
10:20 | Dataset Distillation via Kantorovich-Rubinstein Dual of Wasserstein Distance (abstract) |
10:40 | Predicting stock prices with ChatGPT-annotated Reddit sentiment: Hype or reality? (abstract) |
11:00 | AIOps for Reliability: Evaluating Large Language Models for Automated Root Cause Analysis in Chaos Engineering (abstract) |
12:00-12:30 Session 15: Poster Session
The posters are the same for all three poster sessions. For the list of posters, please refer to the poster session on Monday, July 7th.
12:30-13:30Lunch
13:30-15:10 Session 16B: BBC 2
13:30 | Predicting Antibody Responses to Type V GBS-TT Conjugate Vaccine Using Computational Modelling (abstract) |
13:50 | A Computational Immune Approach for Modeling Different Levels of Severity in COVID-19 Infections (abstract) |
14:10 | Implementation of Convolutional Neural Networks for the Purpose of Five Types of White Blood Cells Automatic Counting (abstract) |
14:30 | BioSkel - Towards a framework for OMICS applications (abstract) |
14:50 | Uncertainty Quantification of Thermal Damage in Hyperthermia as a Cancer Therapy (abstract) |
13:30-15:10 Session 16C: QCW 2
13:30 | Quantum-Classical Dual Kernel SVMs for Power Quality Classification (abstract) |
13:50 | Classification of the Polish Handwritten Letters by the use of Quantum Convolutional Neural Network (abstract) |
14:10 | Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing (abstract) |
13:30-15:10 Session 16E: SPU 2
13:30 | Global Sensitivity Analysis for a Mathematical Model of General Escape Theory of Suicide (abstract) |
13:50 | Multidimensional granular approach to solving fuzzy complex system of linear equations (abstract) |
14:10 | Modelling Extreme Uncertainty: Queues with Pareto Inter-Arrival Times and Pareto Service Times (abstract) |
13:30-15:10 Session 16F: COMS
13:30 | Physics Informed Neural Networks for Non-Stationary Material Science Problems (abstract) |
13:50 | Exact and approximate methods for solving the edge-strength problem (abstract) |
14:10 | Enhancing Gaussian Mixture Model Fitting via Equiprobable Binning and Adaptive Differential Evolution (abstract) |
14:30 | Asymptotics in Curve Estimation by Modified Cubic Spline and Exponential Parameterization (abstract) |
15:40-16:10Coffee Break