SYNASC 2026: 28TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

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

3
3D fracture assembly	3D Object Reassembly of Broken Objects using Deep Learning Methods
A
Absorption	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
abstention	Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States
abstract state machines	A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines
Abstract Syntax Trees	Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach
Ackley	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
adaptive intervention	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention
Adaptive retraining	Improving Forecast Stability in Financial Time Series through Adaptive Retraining
Adaptive Simulation	A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
admissible perturbation	On some strict fixed point results for Ćirić type contractions
adrenocortical carcinoma	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
Affective computing	Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
agent-based simulation	Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps
agentic AI	FastSet: Verified Settlement for AI-Native Work
Agrawal iteration	New iteration process for approximating fixed points of enriched nonexpansive operators
AI	AIR-TV: Generating Scientific News Broadcasts Using Generative AI Models
AI tools	Exploring AI-Driven Research with DATA SWEEP
AI-assisted vulnerability discovery	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
AI-Generated Code Detection	Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach
AI-generated music detection	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
Air quality	A Hybrid Deep-Shallow Air Quality Anomaly Detection Method
Albu-mentations	Semantic Segmentation of Maize–Weed Fields for Precision Spraying
Algorithm transformation	Certification of Bilateral Patience Sort in Theorema and Rocq
Algorithm verification	Certification of Bilateral Patience Sort in Theorema and Rocq
allocation-oriented analysis	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
Alzheimer’s disease	Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
anomaly detection	A Hybrid Deep-Shallow Air Quality Anomaly Detection Method Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
Anonymization	ViTs and CNNs Under NPR Anonymization
anti-unification	Logic-Based Generalization: Theory and Applications
Apache OpenWhisk	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows
APX-hard	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
art museums	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Artificial Consciousness	Artificial Consciousness in Complex Computing Networks
artificial intelligence	MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
attention mechanism	3D Object Reassembly of Broken Objects using Deep Learning Methods
audio forensics	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
audit logs	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Authorisation flaws	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
autism	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring
automata	Foundations of a theory of bandwidth for timed automata
Automated Music Generation	Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization
automated reasoning	Logic-Based Generalization: Theory and Applications
automotive components	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics
autonomous driving	Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
AutoProof	Invisible Verification: the Eiffel experience
B
Banach space	New iteration process for approximating fixed points of enriched nonexpansive operators
banana trees	A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices
barrier synchronization	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Bayesian Ensemble modelling	Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling
behavioural theory of algorithms	A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines
belief propagation	Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding
Bellman’s Lost in a Forest Problem	Escaping Forests using Evolutionary Computation
benchmark	RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems
benchmark dataset	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics
benchmark datasets	TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
benchmark functions	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
Benchmarking	Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis
best proximity points	Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
Bi-GRU	Multi-Layered Semantic Validation: A Defense-in-Depth Approach against White-Box Adversarial Attacks on Deepfake Audio
Bias Reduction	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data
bilevel optimization	Solving bilevel multi-objective optimization problems with Lorenz dominance
bilingual benchmark	Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks
bioinformatics	Efficient Deep Learning and Homology Ensemble for Protein Function Prediction in CAFA 6
BiomedCLIP	Multimodal Hierarchical Retrieval for Medical Image Search
BIRD benchmark	Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness
Bit integer arithmetic	High-Level Big Integer Arithmetic in Futhark for GPUs
block-term decomposition	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
blockchain security	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
Bounded Model Checking	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking
brain tumor segmentation	A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
brain-computer interface	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
BraTS2020	A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities
breast ultrasound	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
Broadcasts	AIR-TV: Generating Scientific News Broadcasts Using Generative AI Models
C
calendar effects	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
calibration	Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States
camera	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
camera degradation	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention
candidate selection	Data-aware candidate selection in NL2SQL translation via small separating instances
CARLA	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
Catastrophic cancellation	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
CBT	Ami: a Chatbot for Emotional Support in Romanian
Certified Compilation	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
Change point detection	Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling
Chest X-ray	Score-CAM Guided Region-of-Interest Extraction with Attention-Based Classification for Chest X-Ray Pneumonia Detection
climate variables	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
clinical decision support	A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
CLIP	Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification
cluster	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
CNN-GRU model	A Hybrid Deep-Shallow Air Quality Anomaly Detection Method
co-Z arithmetic	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
Code Smell Detection	A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python
Combinatorial Optimization	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem
complete (total) ordering of graph families	A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices
complete metric space	Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
complete monotonicity	A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices
complex computing networks	Artificial Consciousness in Complex Computing Networks
compliance	Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps
computational intelligence	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
Computational Origami	Revisiting Computational Origami in the Era of Large Language Models
computational verification	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
computed tomography	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
computer vision	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics
computer-aided verification	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
computer-assisted mathematics	A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices
concurrency	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Constraint generation	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
constraint programming	Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study
consumer EEG	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
contamination detection	RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems
Content-Based Image Retrieval	Content-Based Image Retrieval of Roman Settlements Across Multiple Image Representations Using Canny-HOG Features and Orientation Data
continuation-passing style	A Semantic Investigation of Spiking Neural P Systems with Mute Rules
contraction-type conditions	On some strict fixed point results for Ćirić type contractions
conversational AI	Ami: a Chatbot for Emotional Support in Romanian
Convex hull	Reducing the computation of convex hulls to linear programming
convexity structure	Fixed point results for nonself contractions in strong b-metric spaces
convolutional autoencoder	Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method
convolutional neural networks	Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes
coordinated decision making	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention
corner detection	Corner-Guided Bottom-Up Wireframe Parsing
correctness	FastSet: Verified Settlement for AI-Native Work
Cosmetic Transformations	Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach
cross-corpus evaluation	Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines
Cross-Domain Analysis	ViTs and CNNs Under NPR Anonymization
cross-lingual NLP	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
CT imaging	A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation
cultural heritage	An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap AI-Assisted Contextualization of Museum Artefacts Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
cyclical representation	Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
D
Dafny	The formalization of two computational models in Dafny - Short Paper Formalizing the Omega Test in Dafny - Short Paper
data augmentation	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics
data dependence	On some strict fixed point results for Ćirić type contractions
data science	The role of nonexpansive type mappings in designing fixed point algorithms for Data Science problems
data sweep	Exploring AI-Driven Research with DATA SWEEP
dataset construction	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics
DBSCAN	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
decentralized exchange	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
decision trees	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
deep learning	ViTs and CNNs Under NPR Anonymization Multispectral Voice Extraction Biometric System for Wearable Medical Devices Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
Deepfake	Multi-Layered Semantic Validation: A Defense-in-Depth Approach against White-Box Adversarial Attacks on Deepfake Audio Hierarchical and Explainable Forensics of Manipulated Facial Images
degree-based graph descriptor	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
degree-based topological indices	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices
Delay Differential Equations	Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study
dependent types	Dependently Typed Model Composition for Matching Logic
deterministic execution	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
device classification	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
device identification	Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification
differential addition	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
differential equations	Improvements to the Frobenius Method
diffusion	Hierarchical and Explainable Forensics of Manipulated Facial Images
diffusion models	An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap AI-Assisted Contextualization of Museum Artefacts
digital health	MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
diminished Euler Sombor index	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
distance estimation	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
distributed perception	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention
distributed systems	Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
Diverse Back Translation	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
domain theory	Domain Theory Meets Interaction Trees in Rocq
domain-specific languages	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study
Doubly Linked List	Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
dynamic instrumentation	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Dynamic Programming	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
Dynamic Vehicle Routing Problem	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem
E
Easom	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
edge-swap Markov chains	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
efficient deep learning	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
Eiffel language	Invisible Verification: the Eiffel experience
electricity demand	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting
Electroencephalogram	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data
electromagnetic interference	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
electromyographic artifact	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
Elliptic Curve Cryptography	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
Emergency department attendance	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
emotional support	Ami: a Chatbot for Emotional Support in Romanian
Empirical Study	A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python
encoder-decoder	Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
encrypted traffic	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
enriched nonexpansive operator	New iteration process for approximating fixed points of enriched nonexpansive operators
ensemble learning	Efficient Deep Learning and Homology Ensemble for Protein Function Prediction in CAFA 6
Erlang language	Formally based tools for Erlang
error bound	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
escape analysis	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
evacuation modeling	Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps
evaluationbudget	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
Evolutionary Computation	Escaping Forests using Evolutionary Computation
exhaustive graph enumeration	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
Experiment	A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python
explainable AI	GEARXAI NeuroSymbolic@IJCAI2026 Competition Winner Model Presentation
explainable artificial intelligence	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma Score-CAM Guided Region-of-Interest Extraction with Attention-Based Classification for Chest X-Ray Pneumonia Detection
Explainable machine learning	Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
expressiveness	Matching-Logic-Based Domain Specific Reasoning
Extended convex hull	Reducing the computation of convex hulls to linear programming
extremal graph theory	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
F
face swapping	An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap
fairness	How AI Learns to See, Generate, and Judge Fairly
fault tolerance	Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
feature engineering	Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning
Feng-Liu contraction	Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
few-shot learning	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
Fibonacci-Mandelbrot polynomials	A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices
Fin-BERT	Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning
financial forecasting	Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning Improving Forecast Stability in Financial Time Series through Adaptive Retraining
Financial time series	Improving Forecast Stability in Financial Time Series through Adaptive Retraining
fixed point	Fixed point results for nonself contractions in strong b-metric spaces Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
fixed points	The role of nonexpansive type mappings in designing fixed point algorithms for Data Science problems
floating-point	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
Floating-point arithmetic	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
floating-point error analysis	Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study
Forecast stability	Improving Forecast Stability in Financial Time Series through Adaptive Retraining
formal knowledge retrieval	TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
formal languages	Foundations of a theory of bandwidth for timed automata
formal library	Monomial and Graded Orders in Rocq
formal methods	A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines
formal modelling	Formal Modeling and Analysis of Distributed and Real-Time Systems in Maude
formal proof	Program and Proof in F* of an LTL Model Checking Algorithm
formal semantics	Verifying Ladder Logic Programs in the Railway Domain – Theory and Practice
formal specification language	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
formal verification	The formalization of two computational models in Dafny - Short Paper Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification Invisible Verification: the Eiffel experience FastSet: Verified Settlement for AI-Native Work Formally based tools for Erlang
Formalization	The formalization of two computational models in Dafny - Short Paper Formalizing the Omega Test in Dafny - Short Paper
formalization of mathematics	Monomial and Graded Orders in Rocq
foundation models	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
Fourier-Motzkin	Formalizing the Omega Test in Dafny - Short Paper
FPT	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
fragment	Formalization of fragments of the theory of hereditarily finite sets
Frama-C	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
Frobenius method	Improvements to the Frobenius Method
fstar	Program and Proof in F* of an LTL Model Checking Algorithm
Function Block Diagram	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
function-as-a-service	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows
Functional programming	High-Level Big Integer Arithmetic in Futhark for GPUs
Futhark	High-Level Big Integer Arithmetic in Futhark for GPUs
fuzzy reasoning	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
G
Game Boy emulation	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Game Theory	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking
Gappa	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
GB10	Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study
Gene Ontology	Efficient Deep Learning and Homology Ensemble for Protein Function Prediction in CAFA 6
Gene regulatory networks	A Łukasiewicz-Moisil Abstraction of Gene Regulatory Networks
generative AI	AI-Assisted Contextualization of Museum Artefacts How AI Learns to See, Generate, and Judge Fairly
generative artificial intelligence	An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap
Generic programs	Progress in Benchmarking Generics for Mathematical Computation
generic recoverability	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
genetic algorithm	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
Genetic Algorithms	Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization
Gensim	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Global Optimization	Escaping Forests using Evolutionary Computation
GPU computation	High-Level Big Integer Arithmetic in Futhark for GPUs
Grad-CAM	Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method
GradCam2	Hierarchical and Explainable Forensics of Manipulated Facial Images
gradient boosting	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
gradient descent bit-flipping	Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding
gradient-boosted trees	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting
gradual typing	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows
Graph Attention Networks	Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach
graph irregularity	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
graph neural network	Corner-Guided Bottom-Up Wireframe Parsing
graph neural networks	Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach Neural Network-Based Prediction of N-Body System Evolution
graph realizability	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
graph search algorithm	Program and Proof in F* of an LTL Model Checking Algorithm
graphs	Robust and Effective Recognisability of Small Tree-Width Graphs
Ground deformation	Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling
GRPO	Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning
H
hallucination detection	Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States
Hammock network	On Counting the Shortest Paths for Hammocks
hard negatives	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
healthcare demand forecasting	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
Healthcare Informatics	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data
healthcare software architecture	MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
heap-to-stack promotion	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
hereditarily finite sets	Formalization of fragments of the theory of hereditarily finite sets
Heyting algebra semantics	Complete Heyting algebra semantics for an intuitionistic version of Matching Logic
hierarchical classification	Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
hierarchical clustering	Multimodal Hierarchical Retrieval for Medical Image Search
Higher-order programming	The Minimal Essence of Higher-Order Functions in Maude
Hospital Scheduling	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data
Hot-Swapping	A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
HPC	A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices
HuBERT	Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines
Human Action Recognition	ViTs and CNNs Under NPR Anonymization
Hybrid Deep-Shallow model	A Hybrid Deep-Shallow Air Quality Anomaly Detection Method
hybrid pipelines	Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
hyperparameter optimization	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
I
image classification	Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
image inpainting	AI-Assisted Contextualization of Museum Artefacts
image quality assessment	AI-Assisted Contextualization of Museum Artefacts
ImageNet	Semantic Segmentation of Maize–Weed Fields for Precision Spraying
implicit parallelism	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows
Improper privilege management	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
Improved Stochastic Ranking Evolution Strategy	Escaping Forests using Evolutionary Computation
incomplete images	Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks
independence number	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
industrial optimisation	Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study
industrial systems	Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification
inference systems	Matching-Logic-Based Domain Specific Reasoning
instruction decoding	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
integer solution	Formalizing the Omega Test in Dafny - Short Paper
interaction tree	Domain Theory Meets Interaction Trees in Rocq
interactive museums	An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap
internal states	Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States
Internet of Things	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
interpretable retrieval	Multimodal Hierarchical Retrieval for Medical Image Search
interpreter dispatch	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Intuitionistic logic	Complete Heyting algebra semantics for an intuitionistic version of Matching Logic
inverse degree index	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
Isabelle/HOL	Formalization of fragments of the theory of hereditarily finite sets
Ishikawa iteration	New iteration process for approximating fixed points of enriched nonexpansive operators
iterative decoding	Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding
iterative schemes	The role of nonexpansive type mappings in designing fixed point algorithms for Data Science problems
J
Jigsaw	3D Object Reassembly of Broken Objects using Deep Learning Methods
junction descriptor	Corner-Guided Bottom-Up Wireframe Parsing
junction detection	Corner-Guided Bottom-Up Wireframe Parsing
K
K framework	Matching-Logic-Based Domain Specific Reasoning
Kikkawa-Suzuki contraction	Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
knot coloring	The Search for Sharac Quandles
Krasnoselskii iteration	New iteration process for approximating fixed points of enriched nonexpansive operators
kubernetes	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
L
label distribution learning	Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents
label leakage	Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents
Ladder Logic	Verifying Ladder Logic Programs in the Railway Domain – Theory and Practice
Lambda Calculus	The formalization of two computational models in Dafny - Short Paper
large language models	Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization Ami: a Chatbot for Emotional Support in Romanian Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian Revisiting Computational Origami in the Era of Large Language Models
Large Language Models (LLMs)	Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis
layer probing	Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines
LDPC codes	Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding
Learnable Game Engine	How AI Learns to See, Generate, and Judge Fairly
LiDAR	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
LIME	Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method
Linear programming	Reducing the computation of convex hulls to linear programming
LLM	MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
LLM Agents	Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
LLM inference	Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study
LLM-as-a-judge	RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems
log-Mel spectrograms	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
logic-based generalization	Logic-Based Generalization: Theory and Applications
logo detection	Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification
Lorenz dominance	Solving bilevel multi-objective optimization problems with Lorenz dominance
low-precision arithmetic	Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study
low-rank tensor decomposition	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
LSTM	Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning
LTL model checking	Program and Proof in F* of an LTL Model Checking Algorithm
Lua scripting	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
M
machine learning	Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
Machine learning in finance	Improving Forecast Stability in Financial Time Series through Adaptive Retraining
Mackey-Glass Equation	Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study
malware detection	Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
Mamba	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
Maple	Improvements to the Frobenius Method
matching logic	Dependently Typed Model Composition for Matching Logic Complete Heyting algebra semantics for an intuitionistic version of Matching Logic Matching-Logic-Based Domain Specific Reasoning
mathematical reasoning	TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems
Mathematical software	Progress in Benchmarking Generics for Mathematical Computation
matrix-free operators	A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices
Matter protocol	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
Maude	The Minimal Essence of Higher-Order Functions in Maude Formal Modeling and Analysis of Distributed and Real-Time Systems in Maude
maximal extractable value	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
medical document analysis	MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
medical image classification	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
medical image retrieval	Multimodal Hierarchical Retrieval for Medical Image Search
medical pre-triage	Intelligent assistant for medical pre-triage
memory management	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
mental health	Ami: a Chatbot for Emotional Support in Romanian
Meta Quest 3	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring
meta-genetic algorithm	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
metadata ablation	Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness
Metaheuristics	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization
Method of Steps	Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study
metric semantics	A Semantic Investigation of Spiking Neural P Systems with Mute Rules
Microservices	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data
MIMIC-III	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data
Missing MRI Modalities	A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities
MiT-B5	Semantic Segmentation of Maize–Weed Fields for Precision Spraying
Model Checking	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
model composition	Dependently Typed Model Composition for Matching Logic
model theory	Dependently Typed Model Composition for Matching Logic
Models	AIR-TV: Generating Scientific News Broadcasts Using Generative AI Models
monadic second order logic	Robust and Effective Recognisability of Small Tree-Width Graphs
monitor	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
monitoring	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Montgomery ladder	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
MRI	Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
MRI scans	Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
Multi-Agent Systems	A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
Multi-modal Dataset	Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis
multi-objective optimization	Solving bilevel multi-objective optimization problems with Lorenz dominance
multi-scale fusion	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
Multi-Trip VRP	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem
multi-valued operator	Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications On some strict fixed point results for Ćirić type contractions
multi-view pedestrian detection	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention
multimodal fusion	Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
Multimodal MRI	A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities
multimodal retrieval	Multimodal Hierarchical Retrieval for Medical Image Search
multimodel fusion	Multimodal RGB–LiDAR Fusion for Robust Object Detection
multiple-instance learning	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
multispectral	Multispectral Voice Extraction Biometric System for Wearable Medical Devices
multitenancy	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
multitenant	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Music Generation	Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization
mutation operators	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
N
N-body problem	Neural Network-Based Prediction of N-Body System Evolution
Naccache-Stern	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
natural language processing	Intelligent assistant for medical pre-triage
Network reliability	On Counting the Shortest Paths for Hammocks
neural ordinary differential equations	Neural Network-Based Prediction of N-Body System Evolution
Neuro-Symbolic AI	A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
neuro-symbolic artificial intelligence	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
neurosymbolic models	GEARXAI NeuroSymbolic@IJCAI2026 Competition Winner Model Presentation
NISQ	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
nonexpansive operator	New iteration process for approximating fixed points of enriched nonexpansive operators
nonself multi-valued operator	Fixed point results for nonself contractions in strong b-metric spaces
NP completeness	The Search for Sharac Quandles
NP-hard	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
numerical linear algebra	A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices
numerical methods	Neural Network-Based Prediction of N-Body System Evolution
NVFP4	Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study
NVIDIA Jetson Orin Nano Super	Semantic Segmentation of Maize–Weed Fields for Precision Spraying
O
object detection	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics Multimodal RGB–LiDAR Fusion for Robust Object Detection Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
object swap	AI-Assisted Contextualization of Museum Artefacts
OCR	MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification
olympiad	RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems
Omega Test	Formalizing the Omega Test in Dafny - Short Paper
one-class learning	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
OpenCV	Semantic Segmentation of Maize–Weed Fields for Precision Spraying
operational semantics	Formally based tools for Erlang
Optimization	Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization
Optimization technique	Escaping Forests using Evolutionary Computation
orders	Monomial and Graded Orders in Rocq
ordinal classification	Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents
Orientation	Content-Based Image Retrieval of Roman Settlements Across Multiple Image Representations Using Canny-HOG Features and Orientation Data
Ostrowski property	On some strict fixed point results for Ćirić type contractions
P
P300	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
parameter-efficient fine-tuning	Intelligent assistant for medical pre-triage
Particle Swarm Optimization	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem
pathological input	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
Performance analysis	Progress in Benchmarking Generics for Mathematical Computation
phishing detection	Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning
Physics-Informed Neural Networks	Neural Network-Based Prediction of N-Body System Evolution Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study
Picard operators	On some strict fixed point results for Ćirić type contractions
Player modelling	Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
PLC Toolchain	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
Pneumonia Detection	Score-CAM Guided Region-of-Interest Extraction with Attention-Based Classification for Chest X-Ray Pneumonia Detection
Pohlig-Hellman	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
point cloud	3D Object Reassembly of Broken Objects using Deep Learning Methods
Polyhedral geometry	Reducing the computation of convex hulls to linear programming
polynomial maps	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
pose estimation	3D Object Reassembly of Broken Objects using Deep Learning Methods
Post algebras	A Łukasiewicz-Moisil Abstraction of Gene Regulatory Networks
post-quantum cryptography	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
power series	Improvements to the Frobenius Method
pre-registration	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
predictive maintenance	GEARXAI NeuroSymbolic@IJCAI2026 Competition Winner Model Presentation
Privilege escalation	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
probabilistic algorithms	A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines
problematic internet use	Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents
Programmable Logic Controllers	Verifying Ladder Logic Programs in the Railway Domain – Theory and Practice
progress monitoring	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring
Protein function prediction	Efficient Deep Learning and Homology Ensemble for Protein Function Prediction in CAFA 6
protocols	FastSet: Verified Settlement for AI-Native Work
provenance	Data-aware candidate selection in NL2SQL translation via small separating instances
PS-InSAR time series	Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling
Q
QLoRA	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
quandles	The Search for Sharac Quandles
quantization	Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study
quasipolynomial counting	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
Quick Sort	Certification of Bilateral Patience Sort in Theorema and Rocq
R
radiology report generation	A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation
radiomics	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
random forest	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
rank certificate	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
rbac	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
real-time	Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes
Real-time inference	Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
real-time systems	Formal Modeling and Analysis of Distributed and Real-Time Systems in Maude
registry-driven extensibility	Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification
regular grammars	Robust and Effective Recognisability of Small Tree-Width Graphs
regular singular point	Improvements to the Frobenius Method
Rehabilitation Exercise Recognition	Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
relation extraction	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
Reliability polynomial	On Counting the Shortest Paths for Hammocks
representation robustness	TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
reproducibility	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
ResNet	Multi-Layered Semantic Validation: A Defense-in-Depth Approach against White-Box Adversarial Attacks on Deepfake Audio
ResNet50	Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
Resolvable Network	Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving
Resolvable Network-Based SAT Solving	Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving
Resource Demand	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data
retrieval-augmented generation	Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation
Rewriting logic	The Minimal Essence of Higher-Order Functions in Maude
RGB-LiDAR	Multimodal RGB–LiDAR Fusion for Robust Object Detection
Ridge regression	Improving Forecast Stability in Financial Time Series through Adaptive Retraining
Robust Machine Learning	Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach
robustness	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
Robustness Assessment Framework	A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities
Rocq	Certification of Bilateral Patience Sort in Theorema and Rocq
Rocq proof assistant	Monomial and Graded Orders in Rocq
Rocq prover	Domain Theory Meets Interaction Trees in Rocq
role based access control	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Rolling-window training	Improving Forecast Stability in Financial Time Series through Adaptive Retraining
Roman Settlements	Content-Based Image Retrieval of Roman Settlements Across Multiple Image Representations Using Canny-HOG Features and Orientation Data
Romanian	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
Romanian benchmark dataset	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting
Romanian power grid	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting
Romanian Traffic Code	Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis
Rosenbrock	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
routing strategies	Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps
Runge-Kutta Methods	Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study
Runtime Verification	A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
Rust	Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
S
Safety I&C	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
sandwich attack	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
satellite imagery	Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
satisfiability	Dependently Typed Model Composition for Matching Logic
scalar multiplication	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
SCC decomposition	Program and Proof in F* of an LTL Model Checking Algorithm
scientific documentation	Exploring AI-Driven Research with DATA SWEEP
Score-CAM	Score-CAM Guided Region-of-Interest Extraction with Attention-Based Classification for Chest X-Ray Pneumonia Detection
SegFormer	Semantic Segmentation of Maize–Weed Fields for Precision Spraying
selective prediction	Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents
Self-supervised Learning	Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
semantic coherence	Multimodal Hierarchical Retrieval for Medical Image Search
semantic correctness	A Semantic Investigation of Spiking Neural P Systems with Mute Rules
semantic segmentation	Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
sensor degradation	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
sensor fusion	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
sentiment analysis	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning
separating instance	Data-aware candidate selection in NL2SQL translation via small separating instances
separation polynomial	A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices
serverless computing	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows
SHAP	Hierarchical and Explainable Forensics of Manipulated Facial Images Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method
short-term load forecasting	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting
Shortest path	On Counting the Shortest Paths for Hammocks
Shor’s algorithm	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
side-channel analysis	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
signal quality	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
signature composition	Dependently Typed Model Composition for Matching Logic
SimSwap	Hierarchical and Explainable Forensics of Manipulated Facial Images
Simulation Observability	A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
sinh cosh optimizer	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Skills	Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
Sliding window	A Hybrid Deep-Shallow Air Quality Anomaly Detection Method
SMT solver	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
soft labels	Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents
software engineering	Invisible Verification: the Eiffel experience
software model checking	Verifying Ladder Logic Programs in the Railway Domain – Theory and Practice
software testing	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Software Verification	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
Sombor index	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
Source-code auditing	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
source-to-source transformation	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
speech emotion recognition	Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines
spiking neural P systems with mute rules	A Semantic Investigation of Spiking Neural P Systems with Mute Rules
SPIN	Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
stability properties	Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
state space models	Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes
state-space models	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
static analysis	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
strict fixed point	On some strict fixed point results for Ćirić type contractions
strong b-metric space	Fixed point results for nonself contractions in strong b-metric spaces
strong convergence	New iteration process for approximating fixed points of enriched nonexpansive operators
Structural Analysis	Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
StyleGAN2	Hierarchical and Explainable Forensics of Manipulated Facial Images
Submodular Set Cover	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
Subsumption-Free Private-Pivot Learning	Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving
symbolic computation	Revisiting Computational Origami in the Era of Large Language Models
Symbolic Execution	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
Symbolic invariants	Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
Symbolic rule extraction	Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
symbolic-numeric computation	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
Symmetric Petri Nets	Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
symptom checker	Intelligent assistant for medical pre-triage
Synthetic Data Generation	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data
T
TED-S	Multimodal RGB–LiDAR Fusion for Robust Object Detection
temperature outliers	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
temporal patterns	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
termination	The formalization of two computational models in Dafny - Short Paper
text-to-SQL	Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness
text2SQL	Data-aware candidate selection in NL2SQL translation via small separating instances
theorem recognition	TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
Theorema	Certification of Bilateral Patience Sort in Theorema and Rocq
theory composition	Dependently Typed Model Composition for Matching Logic
theory of recognisability	Robust and Effective Recognisability of Small Tree-Width Graphs
therapeutic applications	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring
Time Series Classification	Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
time series forecasting	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting
time-series reconstruction	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
Time-slice architecture	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem
timed languages	Foundations of a theory of bandwidth for timed automata
timing analysis	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
tla	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
tlaplus	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
topological index	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
traffic congestion	Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps
transfer learning	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
Transformer	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
Transformer models	Intelligent assistant for medical pre-triage
TransResU-Net	Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
trapdoor	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
Trustworthy AI	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data
Turing machine	The formalization of two computational models in Dafny - Short Paper
twisted Edwards curves	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
U
Ulam-Hyers stability	On some strict fixed point results for Ćirić type contractions
uncertainty	Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks
uncertainty estimation	Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States
Unity	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring
Update Scheduling	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking
Updates at Runtime	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking
V
Variable Neighborhood Search	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem
variational autoencoder	Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method
Variational Autoencoders	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data
verification problems	Foundations of a theory of bandwidth for timed automata
vertex-degree-function indices	A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices
Verus	Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
VGG16	Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
video processing	How AI Learns to See, Generate, and Judge Fairly
virtual organisms	Artificial Consciousness in Complex Computing Networks
virtual reality	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring
vision backbone	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
Vision Transformers	ViTs and CNNs Under NPR Anonymization
vision-language models	Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation
visitor engagement	An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap
visual art	Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks
voiceprint	Multispectral Voice Extraction Biometric System for Wearable Medical Devices
volatility	Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning
W
Wav2Vec2	Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines
weak convergence	New iteration process for approximating fixed points of enriched nonexpansive operators
wearable healthcare devices	Multispectral Voice Extraction Biometric System for Wearable Medical Devices
Wearables	Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
well-posedness	On some strict fixed point results for Ćirić type contractions
white-box	Multi-Layered Semantic Validation: A Defense-in-Depth Approach against White-Box Adversarial Attacks on Deepfake Audio
wireframe parsing	Corner-Guided Bottom-Up Wireframe Parsing
Word2Vec	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
WordPress plugin security	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
work in progress	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
workflow orchestration	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows
X
XAI	Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method
XGBoost	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
Y
YOLOv11	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics
YOLOv8	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
YOLOv8m	Multimodal RGB–LiDAR Fusion for Robust Object Detection
Ł
Łukasiewicz-Moisil	A Łukasiewicz-Moisil Abstraction of Gene Regulatory Networks

Disclaimer | Powered by EasyChair Smart Program