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

This page contains an index consisting of author-provided keywords.

3
3D gaussian splatting	CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting
3D segmentation	CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting
A
abstract reasoning	Neural Certificates
AbstractSwarm	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios
Active tokens	Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems
Actors	Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition
Adaptive control	A new adaptive neural network schemes for a class of nonlinear systems.
aerospatial images	Learning stochastic geometry models and Convolutional Neural Networks. Application to multiple object detection in aerospatial data sets
Agent-Based	An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
Agentic AI	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
AI	Metacognitive AI Model for Target Selection in Military Operations
AI architecture
AI in education	MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus
AI-powered issue classification	AI-Powered Issue Classification and Task Prioritization
Aldor	Structuring Definitions in Mathematical Libraries
Algebraic Petri nets	Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems
algorithm design	Explainable Benchmarking of Optimisation Heuristics
Algorithms Speed Performance	From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles
Alternations	On the Brown–Davenport construction
anomaly detection	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data. Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder
ArcFace	Image Geolocalization via Combined Classification and Regression
ARIMA	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
arithmetic analysis	Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification
arithmetic circuit verification	Verifying Arithmetic Circuits with Polynomials
artifacts	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
artificial intelligence	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data. Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios The Making of Machine Minds: A Retrospective on AI Explainability in AI-Driven Medical Diagnostics Symbolic Computation, Standardisation, and the EU AI Act Using GIS and AI for large-scale orientation analysis of remote heritage sites Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Artificial Intelligence	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
assistive systems	Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems
Attention	A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images
autoencoder	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data.
autoencoders	Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder
autoregressive methods	Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery
averaged mapping	A hierarchy of nonexpansivity and a natural transfer of fixed point properties
Azadirachta indica	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves
B
Bankruptcy prediction	Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches
Batch Size	Increasing the training speed with batch size schedulers
battery SOH	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
BCHM	Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization
BCI
bci robustness
BERT	Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning
Big Data	Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing
Binary Reverse Engineering	Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework
black-box optimization	Explainable Benchmarking of Optimisation Heuristics
blood glucose prediction	Multivariate Time Series Forecasting in Blood Glucose Monitoring
Boolean Classifiers	Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming
Borderline-SMOTE	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
BPMN	Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning
brain-computer interface
Breast Ultrasound	A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images
C
calculus	MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus
Calibration Objects	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
change point detection	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
Chebyshev polynomials	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
Chest X-ray	CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment
Chest X-ray (CXR)	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
Cityscapes dataset	Panoptic segmentation techniques
Classification	A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity Image Geolocalization via Combined Classification and Regression Towards SAT-Based Learning of NNF Networks
clinical decision making	Explainability in AI-Driven Medical Diagnostics
Cloud Computing	Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing
clustering	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
CNN	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
code summarization	Source Code Metrics and LLMs Summaries: Do Correlations Exist?
cognitive interference
Combinatorial Problem	DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model
Common fixed point	A common fixed point theorem in strictly convex Fuzzy metric spaces
commutative matrix multiplication schemes	Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
compact computer algebra	Semi-Centennial Reduce
complex SAR reconstruction	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
Compression algorithms	Exploring Compression as a Proxy for Mineability in LLM-Generated Text
Computer Algebra	Structuring Definitions in Mathematical Libraries Verifying Arithmetic Circuits with Polynomials
concurrent systems	Metric Continuation-Passing Semantics for Multiparty Interactions
Constructible sets	Fraction-Free Comprehensive LU Decomposition and Variants
context extraction	Optimized DeepLabV3+ Architecture for Semantic Segmentation
continuation-passing style	Metric Continuation-Passing Semantics for Multiparty Interactions
continuous dependence	On the continuous dependence of the attractors generated by mixed possibly infinite iterated function systems
continuous glucose monitoring	Multivariate Time Series Forecasting in Blood Glucose Monitoring
contractive mapping	Unsaturated versus saturated classes of contractive type mappings
Contrastive Learning	CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment
Control-Flow Graph (CFG)	Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework
convolutional neural network	Unmasking Emotions: A Robust Facial Recognition Ensemble System Salivary ferning segmentation with a lightweight CNN
Convolutional Neural Networks	A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images Learning stochastic geometry models and Convolutional Neural Networks. Application to multiple object detection in aerospatial data sets
Convolutional Neural Networks (CNN)	Audio Deepfake Detection using MFCC Features and CNNs
Cooperative Problem Solving	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios
correctness	Neural Certificates
correlation coefficient matrix	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
correlations	Source Code Metrics and LLMs Summaries: Do Correlations Exist?
COSMO-SkyMed (CSK)	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
covers	Covers of fractal interpolation surfaces with finite families of octahedrons
Cross-Modal Retrieval	CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment
cross-sensor image translation	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
Cross-source data integration
CRP prediction	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
cybersecurity risk	Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning
D
data augmentation	Synthetic Data Generation with LLMs
Data Integration	Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing
data locality	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
data visualization	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
data-driven pattern formation	[Short Paper] Reaction-Diffusion Applications to Data Dynamic Clustering
Deep learning	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data. Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images Increasing the training speed with batch size schedulers
Deep learning	Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network
deep learning (DL)	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
Deep neural networks	MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification
Deepfake Audio Detection	Audio Deepfake Detection using MFCC Features and CNNs
deepfake video detection	Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook
DEHB	Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization
denoising	Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder
DenseNet	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
Dependent type theory	Structuring Definitions in Mathematical Libraries
deployment readiness	Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems
desert detection indices	Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery
Detection	A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images
Detectron2	Panoptic segmentation techniques
differential evolution	Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization
Digital Forensics	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
Digital ink	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
digital passport	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
discrete optimization	Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis
Disinformation	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
displaced nonexpansive operator	A hierarchy of nonexpansivity and a natural transfer of fixed point properties
distributed computing environments	Earth Observation with STAC, Dask, and ML: From Discovery to Insight
Distributed Systems	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
DNA nanotechnology	Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network
DNA-BERT	Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network
domain adaptation	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
DPR proofs	Short proofs without interference
DRAT proofs	Short proofs without interference
DSR proofs	Short proofs without interference
dynamic environment	Dynamic Flexible Scheduling with Extended Technical Constraints using Genetic Programming
dynamical systems	Neural Certificates
E
Earth Observation	Earth Observation with STAC, Dask, and ML: From Discovery to Insight
ECG	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Edge Computing	An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
edge computing	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
Edge-Cloud Continuum	An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
educational badges	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
educational technology	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
eeg	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
efficient semantic segmentation	Optimized DeepLabV3+ Architecture for Semantic Segmentation
EfficientNet	Image Geolocalization via Combined Classification and Regression
EfficientPS	Panoptic segmentation techniques
Encrypted Character Streaming	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
enriched contraction	Fixed Points of Enriched Mappings with General Real Constants
enriched nonexpansive	Fixed Points of Enriched Mappings with General Real Constants
enriched nonexpansive mapping	A hierarchy of nonexpansivity and a natural transfer of fixed point properties
ensemble	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
Ensemble Learning	Unmasking Emotions: A Robust Facial Recognition Ensemble System
epilepsy	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
equation discovery	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
Equilibrium problem	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
EU AI Act	Symbolic Computation, Standardisation, and the EU AI Act
evolutionary computation	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
evolutionary dynamics	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
explainability	Explainability in AI-Driven Medical Diagnostics
Explainable AI	X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming
Explainable AI	Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support
eXplainable AI (XAI)	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks
explainable benchmarking	Explainable Benchmarking of Optimisation Heuristics
Explainable Machine Learning	SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves
F
Face Detection	Unmasking Emotions: A Robust Facial Recognition Ensemble System
facial action unit	Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook
Facial Emotion Recognition	Unmasking Emotions: A Robust Facial Recognition Ensemble System
Fact Checking	CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources
Factorial powers	Factorial powers
Fake News	CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources
Falling Factorials	Factorial powers
fast function extraction	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
Feature engineering
feature extraction	Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification
Feature Importance	SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran
features	Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
fetal	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
filtering	YMCQ: Reasoning-Enhanced MCQ Generation
financial NLP	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
Financial ratios	Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches
finite elements method	Reproducing kernels of Hilbert spaces
fitness landscapes	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
fixed point	Unsaturated versus saturated classes of contractive type mappings Fixed Points of Enriched Mappings with General Real Constants
flexible jobshop scheduling	Dynamic Flexible Scheduling with Extended Technical Constraints using Genetic Programming
flip graphs	Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
Fog Computing	Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing
forecasting	Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery
Forecasting	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
Formal proof systems	Structuring Definitions in Mathematical Libraries
formal verification	Verifying Arithmetic Circuits with Polynomials
Foundation Language Model	LLMic: Building a Romanian Foundation Language Model
Fourier-Motzkin	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
fractal interpolation surfaces	Covers of fractal interpolation surfaces with finite families of octahedrons
Fraction free Gaussian elimination	Fraction-Free Comprehensive LU Decomposition and Variants
Fraud Detection	Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming
free energy landscape	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
FSM	Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization
Functional approximation	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
Fuzzy metric spaces	A common fixed point theorem in strictly convex Fuzzy metric spaces
G
G protein-coupled receptors	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
gamification	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus
Gaussian Mixture Model	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments
gemma	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results
generalized correlation analysis	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
genetic algorithms	Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder
genetic algorithms	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
Genetic Algorithms (GA)	Evolutionary scheme for solving nonlinear equations by Newton’s method
genetic programming	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime Dynamic Flexible Scheduling with Extended Technical Constraints using Genetic Programming Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming
Geographic Information System	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Geographic information systems
geolocalization	Image Geolocalization via Combined Classification and Regression
Geospatial Data Integration	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Gershgorin Disks	Certified Real Eigenvalue Location
Ghidra API	Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework
GIS	Using GIS and AI for large-scale orientation analysis of remote heritage sites
GitHub issue prioritization	AI-Powered Issue Classification and Task Prioritization
Glasses	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
Glow-TTS	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
Grad-CAM	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
graph coloring	Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis
graph-based PDE approaches for large-scale clustering	[Short Paper] Reaction-Diffusion Applications to Data Dynamic Clustering
Gravitational Search Algorithm	DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model
Grobner basis	Verifying Arithmetic Circuits with Polynomials
GRU	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
H
Heatmap Segmentation	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
Hermite Matrices	Certified Real Eigenvalue Location
hexagonal segmentation	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments
High-dimensional data	Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches
history of computer algebra systems	Semi-Centennial Reduce
Hospital Process Optimization	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios
hospital resource management	Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency
HRNet	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
human action recognition	Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems
Human-Centred AI	Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks
Hybrid Energy	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
hybrid RAG	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
Hybridization	Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Hydrophobic-Polar Model	DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model
Hypergraphs	Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support
hyperparameter optimization	Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization
I
Image preprocessing	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
Image Processing	Evolutionary scheme for solving nonlinear equations by Newton’s method Using GIS and AI for large-scale orientation analysis of remote heritage sites
image segmentation	Salivary ferning segmentation with a lightweight CNN
in-context learning	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results
Inception	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
InSAR	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
integer linear programming	Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis
intelligent tutoring systems	MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus
Interference-based proofs	Short proofs without interference
Internet of Things (IoT)	An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
Interpretability	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework
IoT	Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
Islamic architectural facades
iterated function systems	Covers of fractal interpolation surfaces with finite families of octahedrons
iteration procedure	A hierarchy of nonexpansivity and a natural transfer of fixed point properties
K
K-Nearest Neighbors (KNN)	Evolutionary scheme for solving nonlinear equations by Newton’s method
kNN	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
Krasnoselskij iteration	Fixed Points of Enriched Mappings with General Real Constants
Kubernetes	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
L
language model	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Language Models	CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources
languages	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
Large Language Model	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability
Large Language Models	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications Source Code Metrics and LLMs Summaries: Do Correlations Exist? Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework LLMic: Building a Romanian Foundation Language Model Synthetic Data Generation with LLMs
Lean mathlib 4	Structuring Definitions in Mathematical Libraries
learning portfolios	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
Learning Rate	Increasing the training speed with batch size schedulers
limits of functions	MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus
linear resize	Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification
Llama 3	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability
LLM	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
LLM-Augmented XAI	Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks
Local memory mapping	Local Memory Requirements in Embedded NUMA Architectures
Logistics	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios
low-power	Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization
low-resource	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
low-resource languages	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
LSTM	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
LSTM	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
LU decomposition.	Fraction-Free Comprehensive LU Decomposition and Variants
Lyapunov theory	A new adaptive neural network schemes for a class of nonlinear systems.
M
machine learning	Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data. Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook The Making of Machine Minds: A Retrospective on AI Earth Observation with STAC, Dask, and ML: From Discovery to Insight Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers
Machine Learning	Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
mae	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results
Malignancy classification	MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification
Malware Analysis	Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework
malware detection	Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification
Marker Detection	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
Markov model state analysis	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Mathematical definitions	Structuring Definitions in Mathematical Libraries
Mathematical software library structure	Structuring Definitions in Mathematical Libraries
matrix multiplication	Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
Maude	Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems
Maximum reachability probabilities	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
MCQ Generation	YMCQ: Reasoning-Enhanced MCQ Generation
medical	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
medical image analysis	Salivary ferning segmentation with a lightweight CNN
medical imaging	Explainability in AI-Driven Medical Diagnostics
Medical segmentation	MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification
Mel-Frequency Cepstral Coefficients (MFCC)	Audio Deepfake Detection using MFCC Features and CNNs
Meta-model	Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems
metacognitive AI	Metacognitive AI Model for Target Selection in Military Operations
metaheuristic algorithm	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
metric semantics	Metric Continuation-Passing Semantics for Multiparty Interactions
Microwave-Assisted Extraction	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves
military distinction	Metacognitive AI Model for Target Selection in Military Operations
military operations	Metacognitive AI Model for Target Selection in Military Operations
mineability	Exploring Compression as a Proxy for Mineability in LLM-Generated Text
mining monitoring	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
Misinformation	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
mixed possibly infinite iterated function system	On the continuous dependence of the attractors generated by mixed possibly infinite iterated function systems
MLP classifier	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
mobile learning	MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus
MobileNetV3	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
Model Context Protocol (MCP)	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
Model Fine-tuning	CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources
Model interpretability	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
model transparency	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
Models of Computation	Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition
molecular dynamics simulations	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Mountain-Car Problem	Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning
MS	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
Multi-agent system	Predictive Patient Scheduling with Random Forests and Agent-Based Coordination
Multi-Agent Systems	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios
Multi-agent systems	Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency
Multi-Agent Systems (MAS)	An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems
multi-criteria optimization	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
Multi-task learning	MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification
Multicore systems	Local Memory Requirements in Embedded NUMA Architectures
multiparty interactions	Metric Continuation-Passing Semantics for Multiparty Interactions
multiplicative complexity	Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
multispectral bands	Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery
multivariate time series	Multivariate Time Series Forecasting in Blood Glucose Monitoring
N
n-gram analysis	Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification
NASNetLarge	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
Natural Language Processing	OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures
ndcg	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results
neural network	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data.
neural networks	Neural Certificates
neural symbolic learning	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
neutral networks	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
News Comparison	CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources
Nimbolide	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves
Non-functioning adrenal adenoma	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
nonexpansive mapping	A hierarchy of nonexpansivity and a natural transfer of fixed point properties
Nonlinear systems	A new adaptive neural network schemes for a class of nonlinear systems.
NP Problem	DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model
NUMA architectures	Local Memory Requirements in Embedded NUMA Architectures
numeric methods	Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook
O
object detection	Learning stochastic geometry models and Convolutional Neural Networks. Application to multiple object detection in aerospatial data sets
objective evaluation	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
octahedrons	Covers of fractal interpolation surfaces with finite families of octahedrons
offline travel time prediction	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments
Open-Source Tooling	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
OpenFace	Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook
Optimisation	PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning
Optimization	Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
optimization heuristics	Explainable Benchmarking of Optimisation Heuristics
optimized DeepLabV3+	Optimized DeepLabV3+ Architecture for Semantic Segmentation
Orthogonal	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
P
Panoptic segmentation	Panoptic segmentation techniques
parameter-efficient fine-tuning	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
Parametric linear algebra	Fraction-Free Comprehensive LU Decomposition and Variants
Particle swarm optimization	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
patient scheduling	Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency
Performance	From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles
perplexity	Exploring Compression as a Proxy for Mineability in LLM-Generated Text
Persistent Homology	Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support
Persona	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability
phase preservation	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
Pilot Cases	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Pneumonia detection	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
polynomials	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
prediction	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
Predictive modeling
Predictive modeling	Predictive Patient Scheduling with Random Forests and Agent-Based Coordination
Pretraining Corpus	LLMic: Building a Romanian Foundation Language Model
principal component analysis	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Principal Component Analysis (ICA)	Evolutionary scheme for solving nonlinear equations by Newton’s method
privacy preservation	Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems
proactive	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
programming education	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
Prompt engineering	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability
Propositional dynamic logic	Short proofs without interference
prosody	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
Protein Structure Prediction	DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model
protein-ligand interactions	Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions
Proximal Policy Optimization	X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework
Pseudomonotone bifunction	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
psychometrics	Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning
PySR	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
PyStash	PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning
Q
Q-learning	Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning
QLoRA	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
QR Decomposition	Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition
Quantifier Elimination	On the Brown–Davenport construction
Quantum convolutional neural network	Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network
Question answering support system	Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability
R
Radial Basis Functionneural network	A new adaptive neural network schemes for a class of nonlinear systems.
Radiological AI	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
RAG	PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning
Random Forest	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
Random Forest Regressor	Predictive Patient Scheduling with Random Forests and Agent-Based Coordination
RandomForest	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
Raw accounting data	Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches
Reaction-diffusion systems	[Short Paper] Reaction-Diffusion Applications to Data Dynamic Clustering
Real Eigenvalue Location	Certified Real Eigenvalue Location
Real Root Isolation	Certified Real Eigenvalue Location
recommendation systems	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results
Reduce	Semi-Centennial Reduce
regression	Image Geolocalization via Combined Classification and Regression
Regular chains	Fraction-Free Comprehensive LU Decomposition and Variants
Reinforcement Learning from Human Feedback	X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework
Relation Extraction (RE)	MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection
remote sensing	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications Using GIS and AI for large-scale orientation analysis of remote heritage sites
reproducing kernels	Reproducing kernels of Hilbert spaces
ReseNet	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
ResNet50	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
Responsible Artificial Intelligence	Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis
Retrieval Augmented Generation	OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures
Retrieval-Augmented Generation	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning
Rising factorials	Factorial powers
rmse	Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results
RNN	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
Romanian atypical companies	Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches
Romanian language	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
Romanian TTS	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
Rule Learning	Towards SAT-Based Learning of NNF Networks
runtime efficiency	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
S
salivary ferning	Salivary ferning segmentation with a lightweight CNN
SAT solving	Towards SAT-Based Learning of NNF Networks Short proofs without interference
satisfiability modulo theory	Neural Certificates
saturated class of mappings	Unsaturated versus saturated classes of contractive type mappings
Schedulers	Increasing the training speed with batch size schedulers
scheduling	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
schema theorem	A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms
Secure Communication	Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture
Semantic Search	OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures
Semantic segmentation	A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images
Sentinel-1	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
Sentinel-1 (S1)	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
serverless computing	Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum
SHAP	SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran 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	Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support
Siam cardamom	Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom
signal processing	Evolutionary scheme for solving nonlinear equations by Newton’s method
simulation	Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning
Sobolev polynomials	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
Sobolev spaces	Reproducing kernels of Hilbert spaces
Software defect prediction	AI-Powered Issue Classification and Task Prioritization
software portability	Semi-Centennial Reduce
Solar Heating	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
SonarQube analysis	AI-Powered Issue Classification and Task Prioritization
source code metrics	Source Code Metrics and LLMs Summaries: Do Correlations Exist?
SoVLite dataset	Panoptic segmentation techniques
sparse data environments	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments
SpatioTemporal Asset Catalog	Earth Observation with STAC, Dask, and ML: From Discovery to Insight
speech synthesis	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
Stable Diffusion Lora Model
Standardisation	Symbolic Computation, Standardisation, and the EU AI Act
state assignment	Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization
state splitting	Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization
Static Code Analysis	Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework
Stirling numbers	Factorial powers
stochastic geometry models	Learning stochastic geometry models and Convolutional Neural Networks. Application to multiple object detection in aerospatial data sets
Stochastic hybrid automata	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
Streamlit applications
Strictly convex structure	A common fixed point theorem in strictly convex Fuzzy metric spaces
structural model	Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization
student motivation	Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach
Sudoku	From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles
super-resolution	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
support vector machine	Reproducing kernels of Hilbert spaces
survey	Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook
swarm intelligence	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics
Swarm Systems	Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios
Symbolic Computation	Symbolic Computation, Standardisation, and the EU AI Act
Symbolic Reasoning	The Making of Machine Minds: A Retrospective on AI
symbolic regression	Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime
Synthetic Aperture Radar (SAR)	Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications
synthetic data	YMCQ: Reasoning-Enhanced MCQ Generation Synthetic Data Generation with LLMs
Systemic inflammation	Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas
T
target selection	Metacognitive AI Model for Target Selection in Military Operations
tax compliance	ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications
temporal aggregation	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments
tensor rank	Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
Thai Pigmented Rice Bran	SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran
Theory of learning	Reproducing kernels of Hilbert spaces
time series	Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets
time series analysis	Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis
time-series	Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder
Toehold-mediated strand displacement	Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network
Tool	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
Topological Data Analysis	Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support
Tourism recommendation system
Tourist behavior modeling
Transfer Learning	CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment
transfer-return dynamics	A hierarchy of nonexpansivity and a natural transfer of fixed point properties
Trustworthy AI	Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks
type 1 diabetes	Multivariate Time Series Forecasting in Blood Glucose Monitoring
U
ultrasound	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
unsaturated class of mappings	Unsaturated versus saturated classes of contractive type mappings
V
Variational inequality problem	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
VAWT	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
Vehicle damage	CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting
VeriPB proofs	Short proofs without interference
Vision Transformer	Unmasking Emotions: A Robust Facial Recognition Ensemble System
Vision-Language Pretraining	CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment
visual oddball
Visualization	Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning
VITS	Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS
W
water industry	Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data.
weak abstractness	Metric Continuation-Passing Semantics for Multiparty Interactions
Weak convergence theorem	Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces
weakly Picard fractal operator	On the continuous dependence of the attractors generated by mixed possibly infinite iterated function systems
Wind Power	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
Winter Resilience	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
Worst-case complexity	On the Brown–Davenport construction
X
Xception	Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection
XGBoost	Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity
XGBoost	Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems
Y
YOLO	Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos
YOLO	Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects
Z
zonal estimation	Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments

Disclaimer | Powered by EasyChair Smart Program