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

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

#
#P-complete
(
(Projective) Delineability
*
*-b-enriched nonexpansive mappings
3
3D volume analysis
\
\oplus P-complete
A
Abstract Interpretation
Actions of monoidal categories
admissible perturbations
agency
agent simulation
AI
AI and big data
AI planning
AI text detection
AI-generated content
alias analysis
all-optical
anomaly detection
ant colony
application
approximation algorithms
AR
architectural representation
Architecture
artificial
Artificial Intelligence
artificial labeling
Ascon
assembly
assembly scheduling
Attention Mechanism
autism
automated proving
automated reasoning
Automated Theorem Proving
automatic reasoning
automotive systems
B
b-enriched multivalued nonexpansive mappings
backdoor attacks
Banach space
battery energy storage system control
Bayesian regression
Best proximity point
binary file format
BioBERT
Block Matrices
Blockchain
boolean function
breast cancer
Business Process Model and Notation
C
C++
C/C++
caching
cancer segmentation
canonical model
ChatGPT
Chatterjea’s fixed point theorem
chemical graph theory
class-incremental learning
classical computing
Classification
cloud computing
Clustering
CNN
Code Navigation
cold start
common fixed point theorems
compiler optimizations
complete axiomatisation
complete metric space
completeness
computational complexity
computer algebra
computer vision
Conditional Rewriting
constraint satisfaction problem
Content integrity
continuations
continuous optimization
Control Flow Graph
Convolutional Layers
Convolutional Neural Networks
Coq
Counterfactual Hypothesis testing
coupled fixed point
covers
Crane Scheduling
critical path
crossing minimisation
cube testers
Cultural Heritage
Customization
CVP
Cybersecurity
cyclic operator
Cylindrical Algebraic Decomposition
D
data flow analysis
data race detection and explanation
Data-driven modeling
Dataflow Analysis
Decision Tree
Deep Learning
deep reinforcement learning
Deep Supervised Learning
democracy
densest-k-subgraph
Diabetes Dataset
diagnosis
digital survey
digital twin
Disassembly Viewer
dispatching rules
distributed
DNA computing
drone
Dynamic Stacking Optimization
E
early diagnosis
Earth observation
edge-tpu
Edutainment
Elliptic curve-based ElGamal
email
embedded software
employee satisfaction
Energy Distribution
enriched Banach contractions
enriched contraction
enriched nonexpansive mapping
enriched nonexpansive operator
entailment
entropy
ethics
event detection
Evolutionary Algorithm
exemplar selection
Explainability
extremal graph
F
f -metric space
fake medical content
Feature extraction
Feature Importance
federated solutions
Feng-Liu
first-order theorem proving
fixed point
Fixed point theorem
fluorescence lifetime
formal methods
formal proof
formal verification
FPGA
Fredholm integral equation
G
galaxy classification
Galaxy Zoo 2
game AI
Gaussian process
Gazebo
GECCO 2024
generative AI
genetic algorithm
geometry
Graph Neural Network
Graph Neural Networks
graphic design
graphs
group-valued multisets
GSO
GView
H
H-distance space
HDBSCAN
heritage
Heyting algebra
HIL
Hilbert space
Hilbert-style proof system
Histopathology
hybrid sets
Hybridization
hyper-heuristics
Hyperparameter optimization
Hyperparameter Tuning
I
icarl
Illumination
Image
Image Classification
image processing
image reconstruction
inductive reasoning
Industrial Scheduling
integral inclusion
intelligence
intelligent agents
interactive spatial description
Interval Analysis
Intuitionistic Propositional Logic
inverse multiquadric
inverse quadratic
irreducibility
K
k-means
Kannan’s fixed point theorem
Karp reduction
kNN
Krasnoselskii
Krasnoselskii-Mann iterative algorithm
Kripke semantics
L
Lamport vector clocks
large language models
latent vector spaces
lattice
Lean
Lean proof assistant
learning
Lempel-Ziv 77
Lenses
Level Design
Linear algebra
LLM
Logistics Optimization
Long Short-Term Memory
lossless crypto-compression
LU Decomposition
LU factors
Lumpability
lung cancer
M
machine learning
magnetometry
Maia fixed point theorem
makespan
Malware
malware analysis
Malware Detection
mammogram
matching logic
Mathematica
mathematical theories
Matkowski’s fixed point theorem
Matrices
Maude
medical image segmentation
memory model
Memory Safety
Metaheuristic algorithms
metric spaces
misbalance deg index
mixed-integer quadratic programming
mlaas
Modern Portfolio Theory
molecule structure prediction
Monant medical disinformation dataset
monomial prediction
Monte Carlo tree search
multi-agent path finding
multi-objective
multi-valued operator
multiobjective optimization
multisets
Multitask Learning
N
Natural language processing
neural networks
Newton's iterations
Nitrogen Vacancy
Non-linear Real Arithmetic
NP Hardness
NSGA-II
Nurse Rostering
NV center
O
Online harassment
online ontologies
online voting
OpenWhisk
operational semantics
operator
Optics
Optimization
optimization algorithms
Optimization Modulo Theories
OTCM
OTDE
overlaps
P
Parallel-Pipeline architecture
parameterized prediction
Parametric linear algebra
Partially ordered set
pate
PDDL
performance modeling
phased execution models
photovoltaic system
Picard iteration
Picard operators
Piece-wise Linear Regression
Polynomial factorisation
polynomial root-finding
Polynomials
Portfolio Optimization
power smoothing
Prediction
Predictive Maintenance
predictive methods
preemptive scheduling
Privacy Calculus
Probabilistic Forecast
probabilistic generating circuits
Probabilistic Graphical Models
Probabilistic Inference
Procedural Content Generation
process algebra
process calculi
Profunctors
proof assistant
provably secure systems
public intrusion tests
Q
quantum computing
Quantum Sensing
Quaternions
R
R weakly commuting
Rectangular b-metric space
red fox optimizer
reductions
regression
Regular chains
regulations
Remaining Useful Life
Rendering
renewable energy
repeatability
retraction-displacement conditions
retrieval-augmented generation
Rewritable Petri Nets
RLC
Robotics
Rolling Mill
Rule-Based
runtime
Rust
S
Satisfiability Modulo Theories
saturation algorithms
scientific visualization
scratchpad memory
search algorithms
secure protocols
securing smart contracts
security
semantic web
sentiment analysis
sequential sampling
Serious game
serious games
serverless computing
Sharpe Ratio
Shepard operator
simulated environments
Slither
Smart Contracts
Smart Grids
software defined network models
software deployment
software testing
Solidity
solution geometry
Space with distance
spearphishing
SPN Layers
SpOC3
stabilities
stability properties
Staff Scheduling
static analysis
Static Program Analysis
statistical methods
Statistical operations
stenography
Stochastic Petri Nets
strict fixed-point problems
strong convergence
Sum-Product Networks
swarm intelligence
symbolic computation
symbolic-numeric computing
synthetic dataset
T
Technical Debt
temperature
test case implementation
Text Processing
textural feature
Theorem proving
Theorema
time series
time series analysis
Time Series Forecast
time series forecasting
topological index
Transformers
tree
triangles
type systems
U
U-NET
Uncertain Environments
Undergraduate education
unification
unmanned systems
unsupervised learning
User Experience
V
Vampire theorem prover
Video Games
Visual Representation
visualization mode
VR
W
weak abstractness
weak convergence
Wolfram Language
X
XChaCha20
Z
zero-sum distinguisher
Zeus Temple
π
π-calculus