TALK KEYWORD INDEX

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

A | |

acceptance rate | |

Adam | |

adjectives | |

Admissible substitution | |

aerial photograph | |

aggregated coupling | |

agricultural vegetation | |

almost contractions | |

AlphaZero | |

Ancient DNA | |

application orchestration | |

Approximate GCD | |

artificial intelligence | |

automatic theorem proving | |

automation | |

B | |

Banach space | |

Banach spaces | |

Berinde operator | |

bibliometrics | |

big data | |

Big Five | |

Binomial Ideals | |

Bioinformatics | |

Black-and-White SAT Problem | |

blockchain | |

C | |

Canny algorithm | |

cantilever beam | |

carbon footprint | |

Caristi maping | |

Chatterjea operator | |

citation | |

citation context | |

Classical first-order logic | |

Classification algorithms | |

Cloud | |

cloud computing | |

Clustering algorithm | |

Clustering Heuristic | |

CMK | |

CNN | |

Cohesion Network Analysis | |

collaborative filtering | |

Common fixed point theorems | |

comparison function | |

complete metric space | |

Computer Algebra | |

computer science | |

computer vision | |

conceptual coupling | |

conference analysis | |

construction of Infrastructures as Code | |

continuation semantics for concurrency | |

contraction mapping | |

Convolution Neural Network | |

convolutional neural network | |

Convolutional Neural Network (CNN) | |

convolutional neural networks | |

Copernicus | |

crack identification | |

crop type classification | |

cryptographic systems | |

CUDA | |

Curriculum Customization | |

customer relationship management | |

Cylindrical Algebraic Decomposition | |

D | |

damage detection | |

Darbo’s ﬁxed point theorem | |

data dependence | |

Data Science | |

data-intensive computing | |

decidability | |

Decision Support Systems | |

Deducibility | |

deep convolutional architectures | |

deep learning | |

Deep learning algorithm | |

deeplearning | |

dependency parsing | |

Development frameworks and environments | |

differential equation | |

Differential Evolution | |

digit expansion | |

digital footprints | |

Dilated filters | |

distributed ledger | |

distributed systems | |

Driver Monitoring System (DMS) | |

Driver Safety | |

dynamic | |

E | |

Edge detection | |

Edge detection operator | |

Enriched | |

enriched contraction | |

Equational Constraints | |

erinched contractions | |

EvoMan | |

exact algorithms | |

explainable AI | |

extractive summarization | |

F | |

filtration | |

Firefly | |

Fischer-Ladner closure | |

fixed point | |

fixed points | |

FP | |

fractional-order systems | |

G | |

game-playing agent | |

gender isssues | |

generator | |

Genetic Algorithm | |

governance | |

GP-GPU | |

GPU processing | |

graceful chromatic number | |

graceful coloring | |

Graph Theory | |

GUIs | |

H | |

H-distance space | |

Halpern algorithm | |

heterogeneous computing | |

high-throughput | |

HPC | |

HPC processing | |

Human computer interaction | |

hyper-parameter | |

hyper-parameter optimization | |

hyperparameters | |

I | |

Image inpainting | |

image processing | |

implementation | |

implicit induction | |

Inception V3 | |

intelligent sensors | |

Interactive systems and tools | |

IoT | |

J | |

Julia programming language | |

Jupyter | |

K | |

keyword1 | |

keyword2 | |

keyword3 | |

knot coloring | |

knots | |

Krasnoselkij iteration | |

Krasnoselskii | |

Krasnoselskij-Mann algorithm | |

L | |

Lagrange Bases | |

Lambert W function | |

landscape changes | |

LBP | |

Learning Management System | |

Lex-Least Invariance | |

Local fixed point theorems | |

logic programming | |

lung tumor | |

M | |

machine learning | |

Maia’s fixed point theorem | |

Mann iteration | |

many-sorted modal logic | |

mappings | |

Marriage Problem | |

mathematical logic | |

Matrix Normal Distribution | |

measure of noncompacteness | |

medical | |

Meir-Keeler contraction | |

metaheuristics | |

metric semantics | |

metric space | |

Minimal Unsatisfiability | |

Mizar | |

modeling and design | |

Modern DNA | |

Morpion Solitaire | |

Multi-Agent Systems | |

multi-valued Berinde type contraction | |

multi-valued graphic contraction | |

multiparty interactions | |

multivalued mapping | |

N | |

natural language processing | |

Natural Language Processing in Romanian | |

Neuroevolution | |

neuroticism | |

News classification | |

NIST test | |

nonexpansive mapping | |

Normal Distribution | |

normal forms of matrices | |

numerical simulation | |

O | |

object detection | |

On-demand GPUs | |

Open mapping results | |

open source | |

OpenMP | |

operational semantics | |

opinion mining | |

Optimization | |

Order Invariance | |

Ostrowski stability | |

P | |

palmprint datasets | |

palmprint recognition | |

paper graph | |

parallel algorithm | |

parallel computing | |

parallel implementations | |

parallel processing | |

Particle Swarm Optimization | |

PDE | |

Periodic solutions | |

permafrost | |

PixelCNN | |

Pompeiu-Hausdorff distance | |

PRNG | |

Probabilistic Machine Learning | |

program | |

programmability | |

programmability adoption | |

Prolog | |

Proof search | |

propositional dynamic logic | |

Proximal point algorithm | |

Proximal Policy Optimization | |

Publication ranking | |

Pyramid Level feature extraction | |

Q | |

Q-learning | |

quandles | |

Quantifier rule | |

quasi nonexpansive mappings | |

R | |

Ranked Reward | |

Real-Time | |

Recommendation System | |

recommender | |

Reich operator | |

Reinforcement Learning | |

research lab | |

research projects | |

retraction-displacement condition | |

Reversible Chemical Reaction Networks | |

Rust | |

S | |

satellite data | |

scalability | |

Scheduling | |

Scopus | |

segmentation | |

Self-play | |

semantic abstractions | |

semantic segmentation | |

Sentiment Analysis | |

Sentiment Score | |

Sequent calculus | |

Similarity Measure | |

Simplification | |

small model property | |

smart contracts | |

social media | |

software coupling | |

software defect prediction | |

software development | |

software tools | |

software-defined infrastructures | |

Space with distance | |

spaCy framework | |

sparse models | |

Species--Reaction Graphs | |

SPIKE | |

statistical randomness | |

statistics | |

Strong Digraphs | |

structural coupling | |

structured grid | |

submissions | |

submodular functions | |

supernode | |

Suzuki | |

Symbolic Computation | |

T | |

TBB | |

TextRank | |

TF-IDF | |

theoretical computer science | |

Tissue Classification | |

tourism | |

transfer learning | |

transprecision | |

U | |

U-Net | |

Ulam-Hyers stability | |

undirected graph | |

V | |

Vanishing Point | |

vertex coloring | |

VHR satellite images | |

virtual machine | |

visual domain adaptation | |

visual programming | |

VOSViewer | |

W | |

wave propagation | |

weak abstractness | |

weak and strong convergence | |

Web of Science | |

web technologies | |

well-posedness | |

Word Mover’s Distance |