SYNASC 2025: 27TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
PROGRAM

Days: Monday, September 22nd Tuesday, September 23rd Wednesday, September 24th Thursday, September 25th

Monday, September 22nd

View this program: with abstractssession overviewtalk overview

08:00-09:00 Session 1: Registration

The registration desk will be on the ground floor of ICAM (Oituz, 4)

09:20-10:10 Session 3: Invited talk 1
Location: A102
09:20
The Making of Machine Minds: A Retrospective on AI (abstract)
10:30-11:20 Session 4: Invited talk 2
Location: A102
10:30
Explainability in AI-Driven Medical Diagnostics (abstract)
11:40-13:00 Session 5A: Artificial Intelligence track (1)
Location: A102
11:40
Exploring Compression as a Proxy for Mineability in LLM-Generated Text (abstract)
12:00
OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures (abstract)
PRESENTER: Mihai Dascalu
12:20
CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources (abstract)
12:40
LLMic: Building a Romanian Foundation Language Model (abstract)
11:40-13:00 Session 5B: IAFP workshop (1)
Location: B022
11:40
Unsaturated versus saturated classes of contractive type mappings (abstract)
12:00
Covers of fractal interpolation surfaces with finite families of octahedrons (abstract)
12:20
On the continuous dependence of the attractors generated by mixed possibly infinite iterated function systems (abstract)
12:40
A hierarchy of nonexpansivity and a natural transfer of fixed point properties (abstract)
15:50-17:50 Session 7A: Artificial Intelligence track (2)
Location: A102
15:50
PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning (abstract)
16:10
ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications (abstract)
PRESENTER: Cezar Tudor
16:30
Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability (abstract)
16:50
Source Code Metrics and LLMs Summaries: Do Correlations Exist? (abstract)
17:10
A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms (abstract)
17:30
Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks (abstract)
15:50-17:50 Session 7B: IAFP workshop (2)
Location: B022
15:50
A common fixed point theorem in strictly convex Fuzzy metric spaces (abstract)
16:10
Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves (abstract)
16:30
Fixed Points of Enriched Mappings with General Real Constants (abstract)
16:50
Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom (abstract)
17:10
SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran (abstract)
17:30
Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces (abstract)
Tuesday, September 23rd

View this program: with abstractssession overviewtalk overview

09:00-09:50 Session 8: Invited talk 3
Location: A102
09:00
Explainable Benchmarking of Optimisation Heuristics (abstract)
10:10-11:30 Session 9A: Numerical Computing track
Chair:
Location: A102
10:10
Reproducing kernels of Hilbert spaces (abstract)
10:30
From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles (abstract)
10:50
A new adaptive neural network schemes for a class of nonlinear systems. (abstract)
11:10
Evolutionary scheme for solving nonlinear equations by Newton’s method (abstract)
10:10-11:30 Session 9B: PhD session (1)
Location: B022
10:10
X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework (abstract)
10:30
Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support (abstract)
PRESENTER: Fabian Galiș
10:50
Increasing the training speed with batch size schedulers (abstract)
11:10
MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus (abstract)
10:10-11:30 Session 9C: WSAI workshop (1)
Location: A209
10:10
YMCQ: Reasoning-Enhanced MCQ Generation (abstract)
10:30
[Short Paper] Reaction-Diffusion Applications to Data Dynamic Clustering (abstract)
10:50
Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems (abstract)
11:10
Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data. (abstract)
11:50-13:10 Session 10A: Artificial Intelligence track (3)
Location: A102
11:50
Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning (abstract)
PRESENTER: Adrian Diac
12:10
Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook (abstract)
12:30
MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection (abstract)
11:50-13:10 Session 10B: PhD session (2)
Location: B022
11:50
Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis (abstract)
12:10
AI-Powered Issue Classification and Task Prioritization (abstract)
12:30
Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming (abstract)
12:50
Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder (abstract)
11:50-13:10 Session 10C: WSAI workshop (2)
Location: A209
11:50
Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications (abstract)
12:10
Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis (abstract)
12:30
Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery (abstract)
12:50
Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis (abstract)
14:00-14:50 Session 11: Invited talk 4
Location: A102
14:00
Learning stochastic geometry models and Convolutional Neural Networks. Application to multiple object detection in aerospatial data sets (abstract)
15:10-17:10 Session 12A: Logic and Programming track
Location: A102
15:10
Short proofs without interference (abstract)
15:30
Towards SAT-Based Learning of NNF Networks (abstract)
PRESENTER: Paul Seip
15:50
Local Memory Requirements in Embedded NUMA Architectures (abstract)
16:10
Structuring Definitions in Mathematical Libraries (abstract)
16:30
Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization (abstract)
16:50
Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework (abstract)
15:10-17:10 Session 12B: NCA workshop
Location: B022
15:10
Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics (abstract)
15:30
Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity (abstract)
15:50
Dynamic Flexible Scheduling with Extended Technical Constraints using Genetic Programming (abstract)
16:10
Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization (abstract)
16:30
Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos (abstract)
15:10-16:50 Session 12C: WSAI workshop (3)
Location: A209
15:10
Audio Deepfake Detection using MFCC Features and CNNs (abstract)
15:30
Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS (abstract)
PRESENTER: Oscar Gal
15:50
Panoptic segmentation techniques (abstract)
16:10
Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers (abstract)
PRESENTER: Paul Farago
16:30
Predictive Patient Scheduling with Random Forests and Agent-Based Coordination (abstract)
17:30-19:30 Session 13A: Artificial Intelligence track (4)
Location: A102
17:30
Optimized DeepLabV3+ Architecture for Semantic Segmentation (abstract)
17:50
Salivary ferning segmentation with a lightweight CNN (abstract)
18:10
Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects (abstract)
18:30
CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting (abstract)
18:50
Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network (abstract)
17:30-18:30 Session 13B: PhD session (3)
Location: B022
17:30
CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment (abstract)
17:50
Unmasking Emotions: A Robust Facial Recognition Ensemble System (abstract)
18:10
Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach (abstract)
Wednesday, September 24th

View this program: with abstractssession overviewtalk overview

09:00-09:50 Session 14: Invited talk 5
Location: A102
09:00
Verifying Arithmetic Circuits with Polynomials (abstract)
10:10-11:50 Session 15A: Distributed Computing track
Chair:
Location: A102
10:10
Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum (abstract)
10:30
Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition (abstract)
10:50
Metric Continuation-Passing Semantics for Multiparty Interactions (abstract)
11:10
Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems (abstract)
11:30
Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture (abstract)
PRESENTER: Raul Zaharia
10:10-11:50 Session 15B: Tutorial 2
Location: B223
10:10
Earth Observation with STAC, Dask, and ML: From Discovery to Insight (abstract)
PRESENTER: Gabriel Iuhasz
12:10-13:30 Session 17A: Artificial Intelligence track (5)
Location: A102
12:10
Metacognitive AI Model for Target Selection in Military Operations (abstract)
12:30
Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments (abstract)
12:50
Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas (abstract)
12:10-13:30 Session 17B: Tutorial 3
Location: B223
12:10
Using GIS and AI for large-scale orientation analysis of remote heritage sites (abstract)
14:30-15:20 Session 19: Invited Talk 6
Location: A102
14:30
Symbolic Computation, Standardisation, and the EU AI Act (abstract)
15:40-17:00 Session 21A: Symbolic Computation (1)
Location: A102
15:40
On the Brown–Davenport construction (abstract)
16:00
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks (abstract)
16:20
Fraction-Free Comprehensive LU Decomposition and Variants (abstract)
16:40
Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime (abstract)
15:40-17:20 Session 21B: ACSys workshop (1)
Chair:
Location: B223
15:40
Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results (abstract)
16:00
Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning (abstract)
16:20
An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems (abstract)
16:40
Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions (abstract)
17:00
MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification (abstract)
17:30-21:00 Conference dinner

Trip and dinner at Recas vineyard (https://cramelerecas.ro/)

Thursday, September 25th

View this program: with abstractssession overviewtalk overview

09:00-10:40 Session 22A: Symbolic Computation track (2)
Location: A102
09:00
Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition (abstract)
09:20
Factorial powers (abstract)
09:40
Certified Real Eigenvalue Location (abstract)
PRESENTER: Baran Solmaz
10:00
Semi-Centennial Reduce (abstract)
10:20
Exploring Commutative Matrix Multiplication Schemes via Flip Graphs (abstract)
09:00-10:20 Session 22B: ACSys workshop (2)
Location: B223
09:00
Image Geolocalization via Combined Classification and Regression (abstract)
09:20
Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios (abstract)
09:40
Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing (abstract)
10:00
Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency (abstract)
12:10-13:10 Session 24A: Artificial Intelligence track (6)
Location: A102
12:10
A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images (abstract)
12:30
Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets (abstract)
12:50
Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches (abstract)
PRESENTER: Radu-Ionel Toma
14:00-15:40 Session 25A: Artificial Intelligence track (7)
Location: A102
14:00
DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model (abstract)
14:20
Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection (abstract)
PRESENTER: Emanuel Trinc
14:40
Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems (abstract)
15:00
Multivariate Time Series Forecasting in Blood Glucose Monitoring (abstract)
15:20
Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification (abstract)