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

A
Abraham, Erika	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
Achirei, Stefan Daniel	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
Agache, Alexandru	LLMic: Building a Romanian Foundation Language Model
Albert, Ramona-Georgiana	Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming
Ancuta, Andrei	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Ancuti, Cosmin	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
Andrei, Stefan	Local Memory Requirements in Embedded NUMA Architectures
Anghelina, Bogdan-Cristian	On the continuous dependence of the attractors generated by mixed possibly infinite iterated function systems
Antonijevic, Milos	Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Avram, Alexandru-Andrei	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
Ayyıldız, Tülay	Certified Real Eigenvalue Location
B
Bacanin, Nebojsa	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Badica, Costin	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
Badoiu, Vlad-Andrei	LLMic: Building a Romanian Foundation Language Model
Barbura, Claudia-Georgiana	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Beck, Florian	Towards SAT-Based Learning of NNF Networks
Bejenaru, Andreea	A hierarchy of nonexpansivity and a natural transfer of fixed point properties
Bengueddoudj, Abdallah	A new adaptive neural network schemes for a class of nonlinear systems.
Bensidhoum, Tarek	A new adaptive neural network schemes for a class of nonlinear systems.
Berinde, Vasile	Unsaturated versus saturated classes of contractive type mappings
Berindeie, Alexandru	Unmasking Emotions: A Robust Facial Recognition Ensemble System
Boiangiu, Victor-Miron	CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources
Boonyam, Natthaya	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves Fixed Points of Enriched Mappings with General Real Constants SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran
Boonyam, Natthaya	Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom
Bouakrif, Farah	A new adaptive neural network schemes for a class of nonlinear systems.
Bouchachia, Hamid	Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks
Bouleanu, Daniel-Costel	An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
Brad, Andreea	Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook
Breabăn, Mihaela Elena	Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming
Bulaja, Dejan	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
Bulzan, Andrei-Ștefan	CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting
Butnaru, Vlad Andrei	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
Butunoi-Tichil, Bogdan-Petru	Multivariate Time Series Forecasting in Blood Glucose Monitoring
C
Cajic, Miroslav	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
Callanan, Gareth	Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition
Capra, Lorenzo	Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems
Cernăzanu-Glăvan, Cosmin	CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting
Chen, Yu-Hsuan	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Cheng, Albert	Local Memory Requirements in Embedded NUMA Architectures
Cheng, Han	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Cherrat, Nidhal	A new adaptive neural network schemes for a class of nonlinear systems.
Chileban, Dragoș-Andrei	CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting
Chiroiu-Jitianu, Doina	Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems
Chiru, Catalin-Mihail	MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification
Cincar, Kristijan	Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency Predictive Patient Scheduling with Random Forests and Agent-Based Coordination
Ciobanu, Gabriel	Metric Continuation-Passing Semantics for Multiparty Interactions
Cirovic, Natasa	A common fixed point theorem in strictly convex Fuzzy metric spaces
Constantin, Doru	Evolutionary scheme for solving nonlinear equations by Newton’s method
Corlan, Ana-Silvia	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
Corless, Robert M.	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition Factorial powers
Costi, Flavia	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
Covaci, Emanuel	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
Croitoru, Eugen	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
Crăciun, Florin	PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning
Csató, Lehel	Salivary ferning segmentation with a lightweight CNN
Cărunta, Cristina	Optimized DeepLabV3+ Architecture for Semantic Segmentation
D
Dascalu, Mihai	YMCQ: Reasoning-Enhanced MCQ Generation OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources Synthetic Data Generation with LLMs
Davenport, James	Symbolic Computation, Standardisation, and the EU AI Act On the Brown–Davenport construction
Deac, Iulian-Teodor	PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning
Dechboon, Premyuda	Fixed Points of Enriched Mappings with General Real Constants
Diac, Adrian	Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning
Dolca, Florica	Audio Deepfake Detection using MFCC Features and CNNs
Dumitru, Mihai-Valentin	LLMic: Building a Romanian Foundation Language Model
Dutulescu, Andreea	YMCQ: Reasoning-Enhanced MCQ Generation Synthetic Data Generation with LLMs
E
Ene, Mihai-Lucian	Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization
F
Farago, Paul	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Fazakas, Albert	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Florea, Adina	Explainability in AI-Driven Medical Diagnostics A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification
Fortino, Giancarlo	An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
Fortiș, Alexandra-Emilia	MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
Frincu, Marc	Using GIS and AI for large-scale orientation analysis of remote heritage sites Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Fürnkranz, Johannes	Towards SAT-Based Learning of NNF Networks
Főldvari, Harold-Nimród	PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning
G
Gal, Oscar	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
Galiș, Fabian	Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support
Gavrilut, Dragos	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
Gheorghe, Mihaela	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
Gherghescu, Alexandru M.	LLMic: Building a Romanian Foundation Language Model
Giurgiu, Mircea	Audio Deepfake Detection using MFCC Features and CNNs Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
Goina, Roxana Andreea	From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles
Groza, Adrian	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
Gruian, Flavius	Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition
Grzes, Tomasz	Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization
Guignard, Diane	Reproducing kernels of Hilbert spaces
Gusakov, Alena	Structuring Definitions in Mathematical Libraries
H
Hasan, Sm Mehedi	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios
Heghea, Mihail-Cristian	[Short Paper] Reaction-Diffusion Applications to Data Dynamic Clustering
Henzinger, Thomas	Neural Certificates
Hintea, Sorin	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Hochbauer, Helga	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Hofstadler, Clemens	Towards SAT-Based Learning of NNF Networks
I
Ide, Nancy	The Making of Machine Minds: A Retrospective on AI
Igret, Ioana-Cristina	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
Imani, Maryam	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Isac, Lucian-Constantin	Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis
Iuhasz, Gabriel	Earth Observation with STAC, Dask, and ML: From Discovery to Insight Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
Ivascu, Todor	Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency Predictive Patient Scheduling with Random Forests and Agent-Based Coordination
J
Jeffrey, David J.	Factorial powers Fraction-Free Comprehensive LU Decomposition and Variants
Jesic, Sinisa	A common fixed point theorem in strictly convex Fuzzy metric spaces
Jianu, Diana	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
Jirakitpuwapat, Wachirapong	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran
Jovanovic, Luka	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
Jovanovic, Luka	Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
K
Kaufmann, Daniela	Verifying Arithmetic Circuits with Polynomials
Khammahawong, Konrawut	Fixed Points of Enriched Mappings with General Real Constants
Khan, Muhammad Mubashir Ali	Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing
Kirei, Botond Sandor	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Kohler-Bussmeier, Michael	Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems
Kononova, Anna	Explainable Benchmarking of Optimisation Heuristics
Korodi, Adrian	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data.
Kumam, Poom	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran
L
Lafitte, Olivier	Reproducing kernels of Hilbert spaces
Lazăr, Claudia Iasmina	From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles
Lecu, Alexandru	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
Li, Qingze	Factorial powers
Lin, Jung-Hsin	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Lobont, Alesia	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
Logofătu, Doina	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
Lucanu, Dorel	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
M
Maathuis, Clara	Metacognitive AI Model for Target Selection in Military Operations
Maftei, Elena-Claudia	Panoptic segmentation techniques
Maier, Cristina	Exploring Compression as a Proxy for Mineability in LLM-Generated Text
Marinescu, Cristina	Source Code Metrics and LLMs Summaries: Do Correlations Exist?
Mate, Ditmár	Salivary ferning segmentation with a lightweight CNN
Micota, Flavia	Dynamic Flexible Scheduling with Extended Technical Constraints using Genetic Programming
Miculescu, Radu	Covers of fractal interpolation surfaces with finite families of octahedrons
Mihaita, Tudor-Octavian	CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment
Mihăilă, Laura-Ioana	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Mim, Sheikh Sharfuddin	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
Mircea-George, Prejban	Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework
Mitran, Madalina-Andreea	Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization
Mocanu, Irina	Image Geolocalization via Combined Classification and Regression Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images
Moreno Maza, Marc	Fraction-Free Comprehensive LU Decomposition and Variants
Muraretu, Ionut	Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
Măduța, Adrian-Pavel	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
N
Naiseh, Mohammad	Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks
Nan, Andrei-David	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
Nan, Mihai	Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification
Neagul, Marian	Earth Observation with STAC, Dask, and ML: From Discovery to Insight
Nedianu, Gabriel-Catalin	Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning
Negru, Viorel	Multivariate Time Series Forecasting in Blood Glucose Monitoring
Nelson, Peter	Structuring Definitions in Mathematical Libraries
Neremzoiu, Ionut-Dragos	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results
Nicolae, Andrei	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data.
Nikolić, Rale	A common fixed point theorem in strictly convex Fuzzy metric spaces
Norman, Arthur C.	Semi-Centennial Reduce
O
Olagunju, Aishat	Fraction-Free Comprehensive LU Decomposition and Variants
Olariu, Emanuel Florentin	Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis
Onchis, Darian	Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
Oșan, Mihai	Dynamic Flexible Scheduling with Extended Technical Constraints using Genetic Programming
P
Pacurar, Madalina	Unsaturated versus saturated classes of contractive type mappings
Pakkaranang, Nuttapol	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
Panyanak, Bancha	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
Peharz, Robert	Towards SAT-Based Learning of NNF Networks
Pfeiffer, Peter	Towards SAT-Based Learning of NNF Networks
Pholasa, Nattawut	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
Poncos, Valentin	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
Popa, Călin-Adrian	Optimized DeepLabV3+ Architecture for Semantic Segmentation
Pungila, Ciprian	Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework
R
Radomirovic, Branislav	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Radovancovici, Marco	Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification
Radu, Mircea-Andrei	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
Radu, Serban	Image Geolocalization via Combined Classification and Regression
Radulescu, Vlad	Local Memory Requirements in Embedded NUMA Architectures
Raiciu, Costin	LLMic: Building a Romanian Foundation Language Model
Rares-Danut, Patcas	AI-Powered Issue Classification and Task Prioritization
Ray, Jiban Kumar	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
Rebola Pardo, Adrian	Short proofs without interference
Remke, Anne	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
Robotin, George Catalin	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability
Ruseti, Stefan	YMCQ: Reasoning-Enhanced MCQ Generation CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources Synthetic Data Generation with LLMs
S
Saadat, Cyrus	Exploring Compression as a Proxy for Mineability in LLM-Generated Text
Saceleanu, Andrei-Iulian	Image Geolocalization via Combined Classification and Regression
Salisu, Sani	Fixed Points of Enriched Mappings with General Real Constants
Scoferta, Andrei	Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery
Scorobete, Cozmina	Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder
Secrieru, Ștefan	From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles
Seidl, Martina	Towards SAT-Based Learning of NNF Networks
Seip, Paul	Towards SAT-Based Learning of NNF Networks
Selea, Teodora	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
Serban, George-Cristian	X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework
Sima, Ioan	DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model
Simion, Ana-Maria	A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images
Simionescu, Cristian	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
Simovici, Dan	Exploring Compression as a Proxy for Mineability in LLM-Generated Text
Singh Kalhan, Deepak	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
Sinoi, Elena-Alexandra	Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches
Slavescu, Radu Razvan	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability
Solmaz, Baran	Certified Real Eigenvalue Location
Spătaru, Adrian Florin	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
Stefanescu, Alin	Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning
Stefea, Rares-Bogdan	Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery
Stoean, Catalin	Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Stoean, Ruxandra	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
Stoica, George	Increasing the training speed with batch size schedulers Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming
Stolojescu-Crisan, Cristina	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection Multivariate Time Series Forecasting in Blood Glucose Monitoring
Stulianec, Alexandra	MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus
Stübbe, Jonas	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
Szeider, Stefan	Towards SAT-Based Learning of NNF Networks
T
Tecliceanu, Mihai-Adrian	OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures
Teleagă, Delia	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
Todoran, Eneia Nicolae	Metric Continuation-Passing Semantics for Multiparty Interactions
Toma, Radu-Ionel	Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches
Trinc, Emanuel	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
Tudor, Cezar	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
U
Urrutia Aparicio, Maitane	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
V
Vancea, Vasile	Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network
W
Wairojjana, Nopparat	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
Watt, Stephen	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition Semi-Centennial Reduce Structuring Definitions in Mathematical Libraries
Wood, Isaac	Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
Worapitpong, Wiparat	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran
Wu, Zhuoqian	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Y
Yodjai, Petcharaporn	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran
Z
Zaharia, Raul	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
Zasadzinski, Michel	A new adaptive neural network schemes for a class of nonlinear systems.
Zeljkovic, Vico	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
Zerubia, Josiane	Learning stochastic geometry models and Convolutional Neural Networks. Application to multiple object detection in aerospatial data sets
Zinveliu, Ioana-Victoria	Audio Deepfake Detection using MFCC Features and CNNs
Zivkovic, Miodrag	Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Zivkovic, Tamara	Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Zvoristeanu, Otilia	Panoptic segmentation techniques

Disclaimer | Powered by EasyChair Smart Program