Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: $(*A B C D E F G H I J K L M N O P Q R S T U V W Z

$
$\theta$ functions	Some New Results for Fixed Point Theory in Modular Spaces
$G$-nonexpansive	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery
(
(Common) fixed point	Some New Results for Fixed Point Theory in Modular Spaces
*
*-nonexpansive mapping	Multivalued *-nonexpansive mapping
A
ABC-fractional operator	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
ADABOOST	Combining weak classifiers: a logical analysis
AI	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
Alexnets	Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification
Alk	Extended Z3 Array
almost contractions in generalized metric spaces	Main developments around the concept of almost contractions in generalized metric spaces
ALOGTIME	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
analytic special functions	An analytic and symbolic analysis of a coupled thermo-neutronics problem
approximate GCD	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
approximation	Enriching contractive mappings in Banach spaces and convex metric spaces
archaeological artefact	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
architecture	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
area reduction	Approximation of convex polygons by polygons
arithmetic optimization	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
arrays	Extended Z3 Array
automated reasoning	Automated Reasoning with Vampire
B
BAN Logic	DELP: Dynamic Epistemic Logic for Security Protocols
Banach contraction principle	FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE Some fixed point theorems on equivalent metric spaces
Banach space	Main developments around the concept of almost contractions in generalized metric spaces
Banat black pine	Mapping the black pine trees using the integration of CNN and OBIA
benchmarking	Digital Collections of Examples in Mathematical Sciences
Berinde multivalued contraction	Local fixed point results and applications for multivalued generalized contractions
Berinde type contraction	FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE Some fixed point theorems on equivalent metric spaces
BERT language model	Severity Prediction of Software Vulnerabilities based on their Text Description
Bianchini type mappings	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
blockchain	The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm
Boundary Constraint	Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms
bounded solutions	Bounded Solutions of an Iterative Differential Equations
Braids	Untangling Braids with Multi-agent Q-Learning
bronchoscopy	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
C
Canny Edge Detection	Methods of acceleration for feature extractions in medical imaging using GPU processing
CAT$(\kappa)$ Space	Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications
CAT(1) space	A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
chaos game representation	Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation
Chatterjea multivalued contraction	Local fixed point results and applications for multivalued generalized contractions
Ciric operator	On some qualitative properties of Ciric fixed point theorem
Ciric-Reich-Rus multivalued contraction	Local fixed point results and applications for multivalued generalized contractions
classification	Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation
cloud computing	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
clustering	How the Events in the Life of Painters Influence the Colors of their Paintings
coefficients of generators	Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
Combining weak classifiers	Combining weak classifiers: a logical analysis
common fixed point	Common fixed point for enriched contraction under the assumption of R-weakly commuting condition
comparison function	Main developments around the concept of almost contractions in generalized metric spaces
complex branch	Tree $T$ and Lambert $W$
computational origami	Computation models in e-origami system Eos
computer algebra	Digital Collections of Examples in Mathematical Sciences Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD Computer Algebra Methods in Probing the Physics at Shortest Distances of the Microcosm Mechanization of mathematics: some examples for discussion
Computer vision	Extracting football players video sprites from broadcast video Glacier Movement Prediction through Computer Vision and Satellite Imagery
conceptual cohesion	New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction
concurrent programming language	Equivalence Classes in Performance Evaluation Programming
consensus algorithms	The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm
continuous time Markov chain	Equivalence Classes in Performance Evaluation Programming
contraction	A fixed point result for a convex type contraction
contractive condition of integral	FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE
contractive mapping	Enriching contractive mappings in Banach spaces and convex metric spaces
Control System	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
convergence	A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications
Convex minimization	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery
Convex Optimization	Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications
convex orbital Lipschitz operator	A fixed point result for a convex type contraction
convex polygon	Approximation of convex polygons by polygons
convexified risk	Combining weak classifiers: a logical analysis
convolutional neural network	Mapping the black pine trees using the integration of CNN and OBIA
convolutional neural networks	Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification
Coordinate affine	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery
coordinated table selective substitution systems	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
Coronavirus	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
corrosion	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
COVID-19	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
Crack-Nicholson numerical scheme	An analytic and symbolic analysis of a coupled thermo-neutronics problem
Creating datasets	Extracting football players video sprites from broadcast video
CUDA	Methods of acceleration for feature extractions in medical imaging using GPU processing
curriculum planning	Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform
CVE	Severity Prediction of Software Vulnerabilities based on their Text Description
CVSS score	Severity Prediction of Software Vulnerabilities based on their Text Description
cyber-security	IoT security: The good the bad and the ugly
Cybersecurity Trends	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models
Cylindrical Algebraic Coverings	On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
Cylindrical Algebraic Decomposition	On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD
D
data dependence	On some qualitative properties of Ciric fixed point theorem
decidability	Decidability of membership problems in 2 × 2 matrices over rational numbers
decreasing operator	A fixed point result for a convex type contraction
deep neural networks	IBM Federated Learning
Dense Optical Flow	Glacier Movement Prediction through Computer Vision and Satellite Imagery
diagnostic platform	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
Differential Evolution	Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms
Discrete Stochastic Arithmetic	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
dissimilarities	Ultrametrics and Outlier Identification
distributed systems	Local Reasoning about Parameterized Reconfigurable Distributed Systems
Doc2Vec	New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction
driver monitoring	Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data
Dynamic Epistemic Logic	DELP: Dynamic Epistemic Logic for Security Protocols
E
e-type contractions	Some New Results for Fixed Point Theory in Modular Spaces
efsm	Software Testing Using Formal Methods
elimination	Resultant-based Elimination for Skew Polynomials
enriched contraction	Common fixed point for enriched contraction under the assumption of R-weakly commuting condition
enumerative combinatorics	Mechanization of mathematics: some examples for discussion
Eos	Computation models in e-origami system Eos Origami programming in E-origami system Eos
equivalence class	Equivalence Classes in Performance Evaluation Programming
Euclidean method and extended method	Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
examples	Digital Collections of Examples in Mathematical Sciences
Existence and uniqueness	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
expressiveness	An Editor Calculus With Undo/Redo
extragradient method	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems
eye detection	Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data
F
fake news	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
federated learning	IBM Federated Learning
Fermat-Weber location problem	Convergence Results for Inertial Krasnoselskii-Mann Iterations in Hilbert Spaces with Applications
Firmly nonexpansive operator	A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
first-order theorem proving	Automated Reasoning with Vampire
fixed point	On graphic p-convex contractions A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications A fixed point result for a convex type contraction Enriching contractive mappings in Banach spaces and convex metric spaces On some qualitative properties of Ciric fixed point theorem
fixed point algorithm	A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems
Fixed point set	A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
fixed point theorem	Bounded Solutions of an Iterative Differential Equations
fixed point theorems	FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE Some fixed point theorems on equivalent metric spaces
fixed points	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
flat rational sets	Decidability of membership problems in 2 × 2 matrices over rational numbers
floating-point arithmetic	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
Football	Extracting football players video sprites from broadcast video
forest management	Mapping the black pine trees using the integration of CNN and OBIA
formal methods	Software Testing Using Formal Methods
formal reasoning	Local Reasoning about Parameterized Reconfigurable Distributed Systems
formalized mathematics	Applications of the Lean theorem prover to proof mining
forward-backward algorithm	A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems
fruits dataset	Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification
fsm	Software Testing Using Formal Methods
functional programming	An Editor Calculus With Undo/Redo
G
Gaussian Mixture Model	How the Events in the Life of Painters Influence the Colors of their Paintings
generalized contraction	On graphic p-convex contractions A fixed point result for a convex type contraction
geometric processing	Computation models in e-origami system Eos
Geraghty Contractions	Common fixed points of generalized (alpha,beta )-Geraghty-Simulative contraction in non-Archimedean modular metric spaces
Glacier retreat	Glacier Movement Prediction through Computer Vision and Satellite Imagery
governance	The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm
graph hard-to-process	Graphs hard-to-process for greedy algorithm MIN
graphic contraction	A fixed point result for a convex type contraction
greedy algorithm	Graphs hard-to-process for greedy algorithm MIN
Groebner basis and M-reduction	Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
Gödel Incompleteness	Gödel Incompleteness and Proof Assistants
H
H-distance space	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
Hadamard manifolds	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
Hadamard space	A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications
Halpern type algorithms	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
Handling Methods	Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms
higher-order logic	Types-to-Sets for Theorem Proving in Higher-Order Logic
Hilbert space	A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems A fixed point result for a convex type contraction
HMAS	Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform
holonic	Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform
Hough Transform	Methods of acceleration for feature extractions in medical imaging using GPU processing
I
iCaRL algorithm	Double distillation for class incremental learning
Image alignment	Glacier Movement Prediction through Computer Vision and Satellite Imagery
Image restoration problem	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery
imprecise information	Symbolic constraints and quantitative extensions of equality
inclusion problems	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
incremental learning	Double distillation for class incremental learning
independence number	Graphs hard-to-process for greedy algorithm MIN
indexing alternating Turing machines	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
Induction	A Special Case of Schematic Syntactic Unification
inertial iteration	Convergence Results for Inertial Krasnoselskii-Mann Iterations in Hilbert Spaces with Applications
Inertial method	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Inertial techniques	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery
Inertial term	An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem
infrared camera	Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data
infrastructure	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
integer arithmetic	Questioning the Assumptions Behind Symbolic Computation Systems
integers	Secure Multiparty Computation in arbitrary rings
interactive theorem proving	Applications of the Lean theorem prover to proof mining
Intersection theory	Excess intersections and numerical irreducible decompositions
invariant	Local Reasoning about Parameterized Reconfigurable Distributed Systems
IoT	IoT security: The good the bad and the ugly
Isosingular sets	Excess intersections and numerical irreducible decompositions
iterative differential equation	Bounded Solutions of an Iterative Differential Equations
J
Jungfrau-Aletsch-Bietschhorn Glacier	Glacier Movement Prediction through Computer Vision and Satellite Imagery
K
K-means	How the Events in the Life of Painters Influence the Colors of their Paintings
Kannan type mappings	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
kernel functions	Relation Extraction - A Study on Kernel Functions
knowledge distillation	Double distillation for class incremental learning
L
labeling automation	Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data
Lambert W	Tree $T$ and Lambert $W$
Landsat 8	Glacier Movement Prediction through Computer Vision and Satellite Imagery
Language Model	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models
Lean	Applications of the Lean theorem prover to proof mining
Lean Theorem Prover	DELP: Dynamic Epistemic Logic for Security Protocols
Linear Algebra	Parametric Linear Algebra in Maple (Work in progress paper)
local fixed point theorem	Local fixed point results and applications for multivalued generalized contractions
logical risk	Combining weak classifiers: a logical analysis
M
machine learning	Double distillation for class incremental learning New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction IBM Federated Learning
Mask R-CNN	Extracting football players video sprites from broadcast video
matching	Symbolic Techniques for Fuzzy Relations
Mathematical Model	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
matrix rings	Secure Multiparty Computation in arbitrary rings
Maude	An Efficient Maude Formalization of (Rewritable) PT Nets
memory management	Questioning the Assumptions Behind Symbolic Computation Systems
metaheuristics	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
metric space	On graphic p-convex contractions
microcosm	Computer Algebra Methods in Probing the Physics at Shortest Distances of the Microcosm
microscope image analysis	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Minimization problem	A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
model training pipelines	Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification
Models coupling	Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions
modular method	Resultant-based Elimination for Skew Polynomials
modular spaces	Some New Results for Fixed Point Theory in Modular Spaces
monoids	Decidability of membership problems in 2 × 2 matrices over rational numbers
monotone inclusion	A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications
monotone vector fields	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
motion planning	On the use of spline functions in motion planning
Multi-Task Learning	Severity Prediction of Software Vulnerabilities based on their Text Description
multiagent systems	Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform
Multiple-sets split feasibility problem	An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem
multiprocessor scheduling	Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform
Multivalued	Multivalued *-nonexpansive mapping
multivalued functions	Tree $T$ and Lambert $W$
multivariate polynomial arithmetic with exponent cutoff	Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
N
NC1	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
Neutronics	Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions
News classification	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models
Newton method	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
Non-Archimedean Modular Metric Spaces	Common fixed points of generalized (alpha,beta )-Geraghty-Simulative contraction in non-Archimedean modular metric spaces
non-associative rings	Secure Multiparty Computation in arbitrary rings
non-commutative rings	Secure Multiparty Computation in arbitrary rings
non-preemptive scheduling	Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform
nonasymptotic convergence	Convergence Results for Inertial Krasnoselskii-Mann Iterations in Hilbert Spaces with Applications
noncommutative algebra	Resultant-based Elimination for Skew Polynomials
nonexpansive	A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications
Nonexpansive mapping	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
nonexpansive mappings	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
NSPACE(log n)	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
number theory	Mechanization of mathematics: some examples for discussion
Numerical algebraic geometry	Excess intersections and numerical irreducible decompositions
Numerical irreducible decomposition	Excess intersections and numerical irreducible decompositions
numerical validation	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
O
object-based image analysis	Mapping the black pine trees using the integration of CNN and OBIA
obstacle avoidance	On the use of spline functions in motion planning
one counter machines	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
open mapping theorem	Local fixed point results and applications for multivalued generalized contractions
OpenAI Gym	Untangling Braids with Multi-agent Q-Learning
operational semantics	An Editor Calculus With Undo/Redo
operator splitting	Convergence Results for Inertial Krasnoselskii-Mann Iterations in Hilbert Spaces with Applications
optimization	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm Combining weak classifiers: a logical analysis
Ordinary differential equation	Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions
Ordinary differential equations	An analytic and symbolic analysis of a coupled thermo-neutronics problem
Ore algebra	Resultant-based Elimination for Skew Polynomials
origami geometry	Origami programming in E-origami system Eos
Orikoto language	Origami programming in E-origami system Eos
Orthogonal modular b−metric space	On Common Fixed Point Theorems Satisfying Z_Σ-⊥-Contraction Mappings in Orthogonal Modular b-Metric Spaces
Ostrowski stability	On some qualitative properties of Ciric fixed point theorem
P
Parallel Computing	Methods of acceleration for feature extractions in medical imaging using GPU processing
Parametric Linear Algebra	Parametric Linear Algebra in Maple (Work in progress paper)
partially ordered	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
path condition	Extended Z3 Array
performance evaluation programming	Equivalence Classes in Performance Evaluation Programming
personalized learning	Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform
Petri nets	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
Picard iteration	On graphic p-convex contractions
Planning	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
Polynomial system	Excess intersections and numerical irreducible decompositions
Pompeiu-Hausdorff distance	Multivalued *-nonexpansive mapping
Population-Based Metaheuristics	Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms
privacy and vulnerabilities	IoT security: The good the bad and the ugly
Proinov type contraction	On Common Fixed Point Theorems Satisfying Z_Σ-⊥-Contraction Mappings in Orthogonal Modular b-Metric Spaces
Proof Assistants	Gödel Incompleteness and Proof Assistants
proof mining	Applications of the Lean theorem prover to proof mining
Proximal point algorithm	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
proximity relations	Symbolic Techniques for Fuzzy Relations
pseudomonotone bifunction	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems
Q
quantum field theories	Computer Algebra Methods in Probing the Physics at Shortest Distances of the Microcosm
quasi-contraction	On some qualitative properties of Ciric fixed point theorem
R
R-weakly commuting	Common fixed point for enriched contraction under the assumption of R-weakly commuting condition
rational numbers	Secure Multiparty Computation in arbitrary rings
Real Algebraic Numbers	Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD
Reduced Row Echelon Form	Parametric Linear Algebra in Maple (Work in progress paper)
regression and classification problems	A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems
Reinforcement Learning	Untangling Braids with Multi-agent Q-Learning
relation extraction	Relation Extraction - A Study on Kernel Functions
relaxed SoftMax	Double distillation for class incremental learning
ReLU network	Approximation of convex polygons by polygons
Resolvent operator	A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
resultant	Resultant-based Elimination for Skew Polynomials
Rewritable Petri nets	An Efficient Maude Formalization of (Rewritable) PT Nets
Rewriting logic	An Efficient Maude Formalization of (Rewritable) PT Nets
Robotics	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
rounding errors	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
S
Satellite images	Glacier Movement Prediction through Computer Vision and Satellite Imagery
Satisfiability Modulo Theories	On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD
Schematic Representation	A Special Case of Schematic Syntactic Unification
secure multiparty computation	Secure Multiparty Computation in arbitrary rings
Security protocols	DELP: Dynamic Epistemic Logic for Security Protocols
semantic change	Improving WordNet using Word Embeddings
semantic cohesion	New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction
semantic segmentation	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
semantic similarity	Improving WordNet using Word Embeddings
Sensitivity analysis	Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions
sentiment analysis	Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation How the Events in the Life of Painters Influence the Colors of their Paintings
shape approximation	Approximation of convex polygons by polygons
shrinking method	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems
silhouettes	Ultrametrics and Outlier Identification
Simulation functions	On Common Fixed Point Theorems Satisfying Z_Σ-⊥-Contraction Mappings in Orthogonal Modular b-Metric Spaces Common fixed points of generalized (alpha,beta )-Geraghty-Simulative contraction in non-Archimedean modular metric spaces
skew polynomials	Resultant-based Elimination for Skew Polynomials
soft and hard deadlines	Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform
software cohesion	New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction
software defect prediction	New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction
Software Engineer	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
software engineering	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
Software platform	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
software stacks	Questioning the Assumptions Behind Symbolic Computation Systems
software testing	Software Testing Using Formal Methods
Software vulnerability	Severity Prediction of Software Vulnerabilities based on their Text Description
Space with distance	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
SPACE(log n)	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
Specialization problem	Parametric Linear Algebra in Maple (Work in progress paper)
species distribution	Mapping the black pine trees using the integration of CNN and OBIA
spline functions	On the use of spline functions in motion planning
split equilibrium problems	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems
Split feasibility problem	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
split fixed point problems	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems
Split minimization problem	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Split variational inclusion problem	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Splitting Proximal Algorithms	Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications
Stochastic optimization	Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms
Strong convergence	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Sublevel set	An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem
submonoids	Decidability of membership problems in 2 × 2 matrices over rational numbers
supervised learning	Combining weak classifiers: a logical analysis
support vector machines	Relation Extraction - A Study on Kernel Functions
swarm intelligence	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
symbolic computation	Resultant-based Elimination for Skew Polynomials Questioning the Assumptions Behind Symbolic Computation Systems
symbolic constraint solving	Symbolic constraints and quantitative extensions of equality
symbolic execution	Extended Z3 Array
syntax-directed editors	An Editor Calculus With Undo/Redo
T
term—interpolation	Secure Multiparty Computation in arbitrary rings
text processing	Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation
Thermohydraulics	Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions
Three-term conjugate gradient method	A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
Topic Clustering	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models
Tree T	Tree $T$ and Lambert $W$
Turing machines	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
type	FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE
type-based reasoning	Types-to-Sets for Theorem Proving in Higher-Order Logic
types-to-sets framework	Types-to-Sets for Theorem Proving in Higher-Order Logic
U
ultrametrics	Ultrametrics and Outlier Identification
Undecidability	Gödel Incompleteness and Proof Assistants
Unification	A Special Case of Schematic Syntactic Unification Symbolic Techniques for Fuzzy Relations
unification and anti-unification constraints	Symbolic constraints and quantitative extensions of equality
V
VAE	Extracting football players video sprites from broadcast video
Vampire	Automated Reasoning with Vampire
Variational inequality	A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
Video sprites	Extracting football players video sprites from broadcast video
W
weak convergence	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem
word embeddings	Improving WordNet using Word Embeddings
Word2Vec	Improving WordNet using Word Embeddings
WordNet	Improving WordNet using Word Embeddings
Z
Z3	Extended Z3 Array