SYNASC 2024: 26TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

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

#
#P-complete	Complexity of Monomial Prediction in Cryptography and Machine Learning
(
(Projective) Delineability	On Projective Delineability
*
*-b-enriched nonexpansive mappings	Fixed Points of b-Enriched Multivalued Nonexpansive Mappings and *-b-enriched nonexpansive mappings in Hilbert Spaces
3
3D volume analysis	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
\
\oplus P-complete	Complexity of Monomial Prediction in Cryptography and Machine Learning
A
Abstract Interpretation	Leveraging Slither and Interval Analysis to build a static analysis tool
Actions of monoidal categories	Optics, functorially: Extended abstract
admissible perturbations	Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued operator
agency	Fostering Agentic Play Between Technology and Democracy
agent simulation	Multi-Agent Path Finding in Gazebo
AI	Technical Debt Prediction
AI and big data	Fostering Agentic Play Between Technology and Democracy
AI planning	Handling abort commands for household kitchen robots
AI text detection	A Dual-Approach for AI-Generated Text Detection
AI-generated content	A Dual-Approach for AI-Generated Text Detection
alias analysis	A type system for data flow and alias analysis in ReScript
all-optical	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
anomaly detection	Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method
ant colony	Detecting triangle-densest-k-subgraphs with simple nature-inspired algorithms
application	Best proximity points and their applications
approximation algorithms	A Study on the topic of Crossing Minimisation
AR	AR and VR for the Casa Romei Museum
architectural representation	Graphic design for architectural serious games
Architecture	A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE
artificial	Pre-Diagnosis of Autism in Children Using Distributed Learning
Artificial Intelligence	Level Generation Using ChatGPT: A Case Study on the Science Birds Game Formal Methods at Microsoft in the age of AI
artificial labeling	Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method
Ascon	Complexity of Monomial Prediction in Cryptography and Machine Learning
assembly	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
assembly scheduling	Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning
Attention Mechanism	On applying GraphLime for trustworthy diabet prediction
autism	Pre-Diagnosis of Autism in Children Using Distributed Learning
automated proving	Introduction to the Theorema system (part 1) Introduction to the Theorema system (part 2)
automated reasoning	Symbolic Computation in Automated Program Reasoning
Automated Theorem Proving	Gray-Box Proving in Theorema
automatic reasoning	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
automotive systems	Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection
B
b-enriched multivalued nonexpansive mappings	Fixed Points of b-Enriched Multivalued Nonexpansive Mappings and *-b-enriched nonexpansive mappings in Hilbert Spaces
backdoor attacks	Using backdoor attacks to find area of interest in images
Banach space	On some local versions of contraction mapping principle with applications to integral equations Recent developments in the fixed point theory of enriched contractive mappings. A survey
battery energy storage system control	Optimal decision tree design for near real-time control of battery energy storage systems
Bayesian regression	An introduction to Gaussian processes applied to Bayesian regression
Best proximity point	Best proximity points and their applications
binary file format	A software engineering approach into analyzing Microsoft Office-based email attacks Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
BioBERT	How to Tackle Fake Medical Content with Clustering and Transformers
Block Matrices	An Abstraction-Preserving Block Matrix Implementation in Maple
Blockchain	Leveraging Slither and Interval Analysis to build a static analysis tool
boolean function	Complexity of Monomial Prediction in Cryptography and Machine Learning
breast cancer	A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning
Business Process Model and Notation	Converting BPMN Diagrams to Privacy Calculus
C
C++	Static Analysis framework for detecting use-after-free bugs in C++
C/C++	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
caching	Optimizing Cold Start Performance in Serverless Computing Environments
cancer segmentation	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
canonical model	Intuitionistic Propositional Logic in Lean
ChatGPT	Level Generation Using ChatGPT: A Case Study on the Science Birds Game
Chatterjea’s fixed point theorem	SOME FIXED POINT THEOREMS IN THE FRAMEWORK OF f -METRIC SPACES
chemical graph theory	Extremal Graphs for the Misbalance Deg Index
class-incremental learning	Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL Framework
classical computing	Can Quantum Computing Solve my Favorite Problem?
Classification	Technical Debt Prediction
cloud computing	Multi-disciplinary research at ICAM. Case study on Cloud-native processing of remote sensing data
Clustering	MACE: Malware Analysis and Clustering Engine
CNN	A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning
Code Navigation	Concepts involved in creating a viewer for disassembly
cold start	Optimizing Cold Start Performance in Serverless Computing Environments
common fixed point theorems	Common fixed point theorems for enriched contraction under the assumption of R-weakly commuting condition
compiler optimizations	Software Model Checking for Memory Consistency Verification
complete axiomatisation	Tracer: A Tool for Race Detection in Software Defined Network Models
complete metric space	Fixed points and coupled fixed points with applications
completeness	Intuitionistic Propositional Logic in Lean
computational complexity	Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
computer algebra	Newton's Polynomial Root-Finder Can Be Strengthened Symbolic Computation in Automated Program Reasoning
computer vision	An Analysis of Multitask Deep Learning Models for Histopathology SUDS: A Simplified UNet with Depth-wise Separable Convolutions
Conditional Rewriting	Gray-Box Proving in Theorema
constraint satisfaction problem	Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
Content integrity	A Dual-Approach for AI-Generated Text Detection
continuations	Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS Abstract Continuation Semantics for a Biologically-Inspired Formalism
continuous optimization	Improving the Nested Markov Chain hyper-heuristic (NMHH) framework efficiency through sequential probability ratio testing
Control Flow Graph	Control Flow Graphs against malware: methods of analysis and detection
Convolutional Layers	Exploring sum-product networks for image classification. Applications
Convolutional Neural Networks	Prepared for Lift-off: Hybrid CNN-LSTM Architecture for Aircraft Engine Remaining Useful Life Estimation
Coq	Unification in Matching Logic — Revisited A Hands-on Introduction to the Coq Proof Assistant (part 1) A Hands-on Introduction to the Coq Proof Assistant (part 2)
Counterfactual Hypothesis testing	Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series
coupled fixed point	Fixed points and coupled fixed points with applications
covers	Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
Crane Scheduling	Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
critical path	Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning
crossing minimisation	A Study on the topic of Crossing Minimisation
cube testers	Complexity of Monomial Prediction in Cryptography and Machine Learning
Cultural Heritage	Graphic design for architectural serious games A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE
Customization	Concepts involved in creating a viewer for disassembly
CVP	On the Maximum Distance Sublattice Problem and Closest Vector Problem
Cybersecurity	A software engineering approach into analyzing Microsoft Office-based email attacks Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
cyclic operator	Best proximity points and their applications
Cylindrical Algebraic Decomposition	On Projective Delineability
D
data flow analysis	A type system for data flow and alias analysis in ReScript
data race detection and explanation	Tracer: A Tool for Race Detection in Software Defined Network Models
Data-driven modeling	Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
Dataflow Analysis	Leveraging Slither and Interval Analysis to build a static analysis tool Static Analysis framework for detecting use-after-free bugs in C++
Decision Tree	Optimal decision tree design for near real-time control of battery energy storage systems Assessing Features Importance in the 15-Class Galaxy Classification Problem
Deep Learning	The Nurse Rostering Problem solved using Machine Learning solutions – state of the art and promising future research directions An Analysis of Multitask Deep Learning Models for Histopathology Exploring sum-product networks for image classification. Applications Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting Advanced Methodologies for Time Series Analysis: From Preprocessing to Deep Learning for Event Detection and Variable Prediction
deep reinforcement learning	Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning
Deep Supervised Learning	On applying GraphLime for trustworthy diabet prediction
democracy	Fostering Agentic Play Between Technology and Democracy
densest-k-subgraph	Detecting triangle-densest-k-subgraphs with simple nature-inspired algorithms
Diabetes Dataset	On applying GraphLime for trustworthy diabet prediction
diagnosis	Pre-Diagnosis of Autism in Children Using Distributed Learning
digital survey	AR and VR for the Casa Romei Museum
digital twin	AR and VR for the Casa Romei Museum
Disassembly Viewer	Concepts involved in creating a viewer for disassembly
dispatching rules	Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning
distributed	Pre-Diagnosis of Autism in Children Using Distributed Learning
DNA computing	Abstract Continuation Semantics for a Biologically-Inspired Formalism
drone	Synthetic dataset generation for edge drone inference and training
Dynamic Stacking Optimization	Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
E
early diagnosis	A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning
Earth observation	Multi-disciplinary research at ICAM. Case study on Cloud-native processing of remote sensing data
edge-tpu	Synthetic dataset generation for edge drone inference and training
Edutainment	A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE
Elliptic curve-based ElGamal	Novel lossless crypto-compression scheme for medical images
email	A software engineering approach into analyzing Microsoft Office-based email attacks
embedded software	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
employee satisfaction	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
Energy Distribution	Frequency generation for a quantum current sensor in smart grids
enriched Banach contractions	Common fixed point theorems for enriched contraction under the assumption of R-weakly commuting condition
enriched contraction	Recent developments in the fixed point theory of enriched contractive mappings. A survey
enriched nonexpansive mapping	Recent developments in the fixed point theory of enriched contractive mappings. A survey
enriched nonexpansive operator	Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type Algorithms
entailment	How to Tackle Fake Medical Content with Clustering and Transformers
entropy	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
ethics	Ethics and Human Rights in Artificial Intelligence R&D
event detection	Advanced Methodologies for Time Series Analysis: From Preprocessing to Deep Learning for Event Detection and Variable Prediction
Evolutionary Algorithm	Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge
exemplar selection	Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL Framework
Explainability	On applying GraphLime for trustworthy diabet prediction
extremal graph	Extremal Graphs for the Misbalance Deg Index
F
f -metric space	SOME FIXED POINT THEOREMS IN THE FRAMEWORK OF f -METRIC SPACES
fake medical content	How to Tackle Fake Medical Content with Clustering and Transformers
Feature extraction	MACE: Malware Analysis and Clustering Engine
Feature Importance	Assessing Features Importance in the 15-Class Galaxy Classification Problem
federated solutions	Multi-disciplinary research at ICAM. Case study on Cloud-native processing of remote sensing data
Feng-Liu	Fixed points for Feng-Liu multi-valued operators with an application
first-order theorem proving	Induction in Saturation-based Proving
fixed point	On some local versions of contraction mapping principle with applications to integral equations Fixed points and coupled fixed points with applications Recent developments in the fixed point theory of enriched contractive mappings. A survey
Fixed point theorem	Examples of b-Metric Spaces Endowed with a Partial Order
fluorescence lifetime	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
formal methods	Formal Methods at Microsoft in the age of AI A Hands-on Introduction to the Coq Proof Assistant (part 1) A Hands-on Introduction to the Coq Proof Assistant (part 2)
formal proof	Towards Verified Polynomial Factorisation
formal verification	General elections over the Internet: what could possibly go wrong?
FPGA	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
Fredholm integral equation	On some local versions of contraction mapping principle with applications to integral equations
G
galaxy classification	Assessing Features Importance in the 15-Class Galaxy Classification Problem
Galaxy Zoo 2	Assessing Features Importance in the 15-Class Galaxy Classification Problem
game AI	Multi-objective sequence learning for Chemistry and Computer games
Gaussian process	An introduction to Gaussian processes applied to Bayesian regression
Gazebo	Multi-Agent Path Finding in Gazebo
GECCO 2024	Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge
generative AI	Ethics and Human Rights in Artificial Intelligence R&D
genetic algorithm	Detecting triangle-densest-k-subgraphs with simple nature-inspired algorithms A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
geometry	On the Maximum Distance Sublattice Problem and Closest Vector Problem
Graph Neural Network	On applying GraphLime for trustworthy diabet prediction
Graph Neural Networks	The Nurse Rostering Problem solved using Machine Learning solutions – state of the art and promising future research directions
graphic design	Graphic design for architectural serious games
graphs	Detecting triangle-densest-k-subgraphs with simple nature-inspired algorithms
group-valued multisets	Generalized multisets over infinite alphabets with atoms
GSO	On the Maximum Distance Sublattice Problem and Closest Vector Problem
GView	A software engineering approach into analyzing Microsoft Office-based email attacks Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
H
H-distance space	Maia’s fixed point theorems in a space with distance
HDBSCAN	Assessing Features Importance in the 15-Class Galaxy Classification Problem
heritage	AR and VR for the Casa Romei Museum
Heyting algebra	Intuitionistic Propositional Logic in Lean
HIL	Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection
Hilbert space	Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type Algorithms
Hilbert-style proof system	Intuitionistic Propositional Logic in Lean
Histopathology	An Analysis of Multitask Deep Learning Models for Histopathology
hybrid sets	Generalized multisets over infinite alphabets with atoms
Hybridization	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
hyper-heuristics	Improving the Nested Markov Chain hyper-heuristic (NMHH) framework efficiency through sequential probability ratio testing
Hyperparameter optimization	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
Hyperparameter Tuning	Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series
I
icarl	Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL Framework
Illumination	An introduction to Gaussian processes applied to Bayesian regression
Image	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
Image Classification	Exploring sum-product networks for image classification. Applications
image processing	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
image reconstruction	An application of the Shepard operator in image reconstruction
inductive reasoning	Induction in Saturation-based Proving
Industrial Scheduling	Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System
integral inclusion	Fixed points for Feng-Liu multi-valued operators with an application
intelligence	Pre-Diagnosis of Autism in Children Using Distributed Learning
intelligent agents	Ethics and Human Rights in Artificial Intelligence R&D
interactive spatial description	Graphic design for architectural serious games
Interval Analysis	Leveraging Slither and Interval Analysis to build a static analysis tool
Intuitionistic Propositional Logic	Intuitionistic Propositional Logic in Lean
inverse multiquadric	An application of the Shepard operator in image reconstruction
inverse quadratic	An application of the Shepard operator in image reconstruction
irreducibility	Towards Verified Polynomial Factorisation
K
k-means	Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL Framework
Kannan’s fixed point theorem	SOME FIXED POINT THEOREMS IN THE FRAMEWORK OF f -METRIC SPACES
Karp reduction	On the Maximum Distance Sublattice Problem and Closest Vector Problem
kNN	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
Krasnoselskii	Fixed Points of b-Enriched Multivalued Nonexpansive Mappings and *-b-enriched nonexpansive mappings in Hilbert Spaces
Krasnoselskii-Mann iterative algorithm	Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type Algorithms
Kripke semantics	Intuitionistic Propositional Logic in Lean
L
Lamport vector clocks	Tracer: A Tool for Race Detection in Software Defined Network Models
large language models	A Dual-Approach for AI-Generated Text Detection Ethics and Human Rights in Artificial Intelligence R&D Demystifying Latent Vector Spaces and Large Language Models
latent vector spaces	Demystifying Latent Vector Spaces and Large Language Models
lattice	On the Maximum Distance Sublattice Problem and Closest Vector Problem
Lean	First steps towards Computational Polynomials in Lean
Lean proof assistant	Intuitionistic Propositional Logic in Lean
learning	Pre-Diagnosis of Autism in Children Using Distributed Learning
Lempel-Ziv 77	Novel lossless crypto-compression scheme for medical images
Lenses	Optics, functorially: Extended abstract
Level Design	Level Generation Using ChatGPT: A Case Study on the Science Birds Game
Linear algebra	An Abstraction-Preserving Block Matrix Implementation in Maple Some Family Relations for Rational Orthogonal Matrices
LLM	Technical Debt Prediction
Logistics Optimization	Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
Long Short-Term Memory	Prepared for Lift-off: Hybrid CNN-LSTM Architecture for Aircraft Engine Remaining Useful Life Estimation Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting
lossless crypto-compression	Novel lossless crypto-compression scheme for medical images
LU Decomposition	Comprehensive LU Decomposition and True Path
LU factors	An Abstraction-Preserving Block Matrix Implementation in Maple
Lumpability	Efficient Performance Analysis of Modular Rewritable Petri Nets
lung cancer	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
M
machine learning	Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection A Dual-Approach for AI-Generated Text Detection
magnetometry	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Maia fixed point theorem	Maia’s fixed point theorems in a space with distance
makespan	Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning
Malware	Control Flow Graphs against malware: methods of analysis and detection MACE: Malware Analysis and Clustering Engine
malware analysis	A software engineering approach into analyzing Microsoft Office-based email attacks Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
Malware Detection	Control Flow Graphs against malware: methods of analysis and detection
mammogram	A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning
matching logic	Unification in Matching Logic — Revisited
Mathematica	Gray-Box Proving in Theorema
mathematical theories	Introduction to the Theorema system (part 1) Introduction to the Theorema system (part 2)
Matkowski’s fixed point theorem	SOME FIXED POINT THEOREMS IN THE FRAMEWORK OF f -METRIC SPACES
Matrices	Some Family Relations for Rational Orthogonal Matrices
Maude	Efficient Performance Analysis of Modular Rewritable Petri Nets Tracer: A Tool for Race Detection in Software Defined Network Models
medical image segmentation	SUDS: A Simplified UNet with Depth-wise Separable Convolutions
memory model	Software Model Checking for Memory Consistency Verification
Memory Safety	Static Analysis framework for detecting use-after-free bugs in C++
Metaheuristic algorithms	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
metric spaces	Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS Abstract Continuation Semantics for a Biologically-Inspired Formalism
misbalance deg index	Extremal Graphs for the Misbalance Deg Index
mixed-integer quadratic programming	Optimal decision tree design for near real-time control of battery energy storage systems
mlaas	Using backdoor attacks to find area of interest in images
Modern Portfolio Theory	A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
molecule structure prediction	Multi-objective sequence learning for Chemistry and Computer games
Monant medical disinformation dataset	How to Tackle Fake Medical Content with Clustering and Transformers
monomial prediction	Complexity of Monomial Prediction in Cryptography and Machine Learning
Monte Carlo tree search	Multi-objective sequence learning for Chemistry and Computer games
multi-agent path finding	Multi-Agent Path Finding in Gazebo
multi-objective	Multi-objective sequence learning for Chemistry and Computer games
multi-valued operator	Fixed points and coupled fixed points with applications
multiobjective optimization	A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
multisets	Generalized multisets over infinite alphabets with atoms
Multitask Learning	An Analysis of Multitask Deep Learning Models for Histopathology
N
Natural language processing	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
neural networks	Using backdoor attacks to find area of interest in images Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
Newton's iterations	Newton's Polynomial Root-Finder Can Be Strengthened
Nitrogen Vacancy	Frequency generation for a quantum current sensor in smart grids
Non-linear Real Arithmetic	On Projective Delineability
NP Hardness	A Study on the topic of Crossing Minimisation
NSGA-II	A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
Nurse Rostering	The Nurse Rostering Problem solved using Machine Learning solutions – state of the art and promising future research directions
NV center	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
O
Online harassment	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
online ontologies	Handling abort commands for household kitchen robots
online voting	General elections over the Internet: what could possibly go wrong?
OpenWhisk	Optimizing Cold Start Performance in Serverless Computing Environments
operational semantics	Tracer: A Tool for Race Detection in Software Defined Network Models
operator	Fixed points for Feng-Liu multi-valued operators with an application
Optics	Optics, functorially: Extended abstract
Optimization	Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge
optimization algorithms	Can Quantum Computing Solve my Favorite Problem?
Optimization Modulo Theories	Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 1) Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 2)
OTCM	A Study on the topic of Crossing Minimisation
OTDE	A Study on the topic of Crossing Minimisation
overlaps	Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
P
Parallel-Pipeline architecture	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
parameterized prediction	Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method
Parametric linear algebra	Comprehensive LU Decomposition and True Path
Partially ordered set	Examples of b-Metric Spaces Endowed with a Partial Order
pate	Pre-Diagnosis of Autism in Children Using Distributed Learning
PDDL	Handling abort commands for household kitchen robots
performance modeling	Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
phased execution models	Preemptive Phased Execution Models with Scratchpad Memory Requirements
photovoltaic system	Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
Picard iteration	On some local versions of contraction mapping principle with applications to integral equations
Picard operators	Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued operator
Piece-wise Linear Regression	Prepared for Lift-off: Hybrid CNN-LSTM Architecture for Aircraft Engine Remaining Useful Life Estimation
Polynomial factorisation	Towards Verified Polynomial Factorisation
polynomial root-finding	Newton's Polynomial Root-Finder Can Be Strengthened
Polynomials	First steps towards Computational Polynomials in Lean
Portfolio Optimization	A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
power smoothing	Optimal decision tree design for near real-time control of battery energy storage systems
Prediction	Frequency generation for a quantum current sensor in smart grids
Predictive Maintenance	Prepared for Lift-off: Hybrid CNN-LSTM Architecture for Aircraft Engine Remaining Useful Life Estimation
predictive methods	Advanced Methodologies for Time Series Analysis: From Preprocessing to Deep Learning for Event Detection and Variable Prediction
preemptive scheduling	Preemptive Phased Execution Models with Scratchpad Memory Requirements
Privacy Calculus	Converting BPMN Diagrams to Privacy Calculus
Probabilistic Forecast	Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series
probabilistic generating circuits	Complexity of Monomial Prediction in Cryptography and Machine Learning
Probabilistic Graphical Models	Exploring sum-product networks for image classification. Applications
Probabilistic Inference	Exploring sum-product networks for image classification. Applications
Procedural Content Generation	Level Generation Using ChatGPT: A Case Study on the Science Birds Game
process algebra	Tracer: A Tool for Race Detection in Software Defined Network Models
process calculi	Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
Profunctors	Optics, functorially: Extended abstract
proof assistant	A Hands-on Introduction to the Coq Proof Assistant (part 1) A Hands-on Introduction to the Coq Proof Assistant (part 2)
provably secure systems	Formal Methods at Microsoft in the age of AI
public intrusion tests	General elections over the Internet: what could possibly go wrong?
Q
quantum computing	Can Quantum Computing Solve my Favorite Problem?
Quantum Sensing	Frequency generation for a quantum current sensor in smart grids
Quaternions	Some Family Relations for Rational Orthogonal Matrices
R
R weakly commuting	Common fixed point theorems for enriched contraction under the assumption of R-weakly commuting condition
Rectangular b-metric space	Examples of b-Metric Spaces Endowed with a Partial Order
red fox optimizer	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
reductions	Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
regression	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
Regular chains	Comprehensive LU Decomposition and True Path
regulations	Synthetic dataset generation for edge drone inference and training
Remaining Useful Life	Prepared for Lift-off: Hybrid CNN-LSTM Architecture for Aircraft Engine Remaining Useful Life Estimation
Rendering	An introduction to Gaussian processes applied to Bayesian regression
renewable energy	Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting
repeatability	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
retraction-displacement conditions	Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued operator
retrieval-augmented generation	Demystifying Latent Vector Spaces and Large Language Models
Rewritable Petri Nets	Efficient Performance Analysis of Modular Rewritable Petri Nets
RLC	Novel lossless crypto-compression scheme for medical images
Robotics	Handling abort commands for household kitchen robots
Rolling Mill	Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System
Rule-Based	Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
runtime	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
Rust	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
S
Satisfiability Modulo Theories	Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 1) Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 2)
saturation algorithms	Induction in Saturation-based Proving
scientific visualization	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
scratchpad memory	Preemptive Phased Execution Models with Scratchpad Memory Requirements
search algorithms	Can Quantum Computing Solve my Favorite Problem?
secure protocols	General elections over the Internet: what could possibly go wrong?
securing smart contracts	Formal Methods at Microsoft in the age of AI
security	Using backdoor attacks to find area of interest in images
semantic web	Handling abort commands for household kitchen robots
sentiment analysis	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
sequential sampling	Improving the Nested Markov Chain hyper-heuristic (NMHH) framework efficiency through sequential probability ratio testing
Serious game	A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE
serious games	Graphic design for architectural serious games Fostering Agentic Play Between Technology and Democracy
serverless computing	Optimizing Cold Start Performance in Serverless Computing Environments
Sharpe Ratio	A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
Shepard operator	An application of the Shepard operator in image reconstruction
simulated environments	Synthetic dataset generation for edge drone inference and training
Slither	Leveraging Slither and Interval Analysis to build a static analysis tool
Smart Contracts	Leveraging Slither and Interval Analysis to build a static analysis tool
Smart Grids	Frequency generation for a quantum current sensor in smart grids
software defined network models	Tracer: A Tool for Race Detection in Software Defined Network Models
software deployment	Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 1) Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 2)
software testing	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Solidity	Leveraging Slither and Interval Analysis to build a static analysis tool
solution geometry	Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
Space with distance	Maia’s fixed point theorems in a space with distance
spearphishing	A software engineering approach into analyzing Microsoft Office-based email attacks
SPN Layers	Exploring sum-product networks for image classification. Applications
SpOC3	Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge
stabilities	Fixed points and coupled fixed points with applications
stability properties	Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued operator
Staff Scheduling	The Nurse Rostering Problem solved using Machine Learning solutions – state of the art and promising future research directions
static analysis	Software Model Checking for Memory Consistency Verification A software engineering approach into analyzing Microsoft Office-based email attacks Concepts involved in creating a viewer for disassembly Static Analysis framework for detecting use-after-free bugs in C++ Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
Static Program Analysis	Leveraging Slither and Interval Analysis to build a static analysis tool
statistical methods	Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection
Statistical operations	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
stenography	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
Stochastic Petri Nets	Efficient Performance Analysis of Modular Rewritable Petri Nets
strict fixed-point problems	Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued operator
strong convergence	Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type Algorithms
Sum-Product Networks	Exploring sum-product networks for image classification. Applications
swarm intelligence	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
symbolic computation	Symbolic Computation in Automated Program Reasoning
symbolic-numeric computing	Newton's Polynomial Root-Finder Can Be Strengthened
synthetic dataset	Synthetic dataset generation for edge drone inference and training
T
Technical Debt	Technical Debt Prediction
temperature	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
test case implementation	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Text Processing	Technical Debt Prediction
textural feature	A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning
Theorem proving	First steps towards Computational Polynomials in Lean
Theorema	Gray-Box Proving in Theorema Introduction to the Theorema system (part 1) Introduction to the Theorema system (part 2)
time series	Advanced Methodologies for Time Series Analysis: From Preprocessing to Deep Learning for Event Detection and Variable Prediction
time series analysis	Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method
Time Series Forecast	Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series
time series forecasting	Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting
topological index	Extremal Graphs for the Misbalance Deg Index
Transformers	How to Tackle Fake Medical Content with Clustering and Transformers
tree	A Study on the topic of Crossing Minimisation
triangles	Detecting triangle-densest-k-subgraphs with simple nature-inspired algorithms
type systems	A type system for data flow and alias analysis in ReScript
U
U-NET	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans SUDS: A Simplified UNet with Depth-wise Separable Convolutions
Uncertain Environments	Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
Undergraduate education	Some Family Relations for Rational Orthogonal Matrices
unification	Unification in Matching Logic — Revisited
unmanned systems	Synthetic dataset generation for edge drone inference and training
unsupervised learning	Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method
User Experience	Concepts involved in creating a viewer for disassembly
V
Vampire theorem prover	Induction in Saturation-based Proving
Video Games	Level Generation Using ChatGPT: A Case Study on the Science Birds Game
Visual Representation	Concepts involved in creating a viewer for disassembly
visualization mode	A software engineering approach into analyzing Microsoft Office-based email attacks Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
VR	AR and VR for the Casa Romei Museum
W
weak abstractness	Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS Abstract Continuation Semantics for a Biologically-Inspired Formalism
weak convergence	Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type Algorithms
Wolfram Language	Gray-Box Proving in Theorema
X
XChaCha20	Novel lossless crypto-compression scheme for medical images
Z
zero-sum distinguisher	Complexity of Monomial Prediction in Cryptography and Machine Learning
Zeus Temple	A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE
π
π-calculus	Converting BPMN Diagrams to Privacy Calculus

Disclaimer | Powered by EasyChair Smart Program