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 | |
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 |