SYNASC2022: 24TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

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

$
$r$-cyclic covering	Synchronous and Asynchronous cyclic contractions
*
*-b-enriched nonexpansive mapping	Fixed points of multivalued b-enriched multivalued nonexpansive mappings and *-b-enriched nonexpansive mappings
A
admissible perturbation	Quasi, enriched, and admissible perturbations for some classes of operators in the iterative approximation of fixed points
adversarial machine learning	Reducing Adversarial Vulnerability Using GANs
Affective computing	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
Aho-Corasick	Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
algebraic geometry	Algorithm for intersecting symbolic and approximate linear differential varieties
Algorithms	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
Amigos	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
analytic combinatorics in several variables	Homotopy Techniques for Analytic Combinatorics in Several Variables
Ant Colony Optimization	An Ant Colony Optimization Approach to the Densest $k$-Subgraph Problem
antibiotics	Different approaches for biological strings
artificial intelligence	Data cleansing in Continuous Glucose Monitor time series AI-based healthcare application for medical image processing and diagnosis prediction On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection Astronomical Object Detection Using Artificial Intelligence
artificial life	Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
astronomy	Astronomical Object Detection Using Artificial Intelligence
asymptotics	Homotopy Techniques for Analytic Combinatorics in Several Variables
augmented data	Symbolic Regression with augmented dataset using RuleFit
author ranking	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
automata	Deciding Whether two Codes Have the Same Ambiguities is in co-NP
automated deduction	Proofs by Induction in a Saturation Theorem Prover
automated fact-checking	Fact-checking with explanations
B
b-enriched multivalued nonexpansive mapping Krasnoselskii iterative process	Fixed points of multivalued b-enriched multivalued nonexpansive mappings and *-b-enriched nonexpansive mappings
b-enriched nonexpansive mapping	Fixed points of multivalued b-enriched multivalued nonexpansive mappings and *-b-enriched nonexpansive mappings
bacteria	Different approaches for biological strings
Banach contraction prin-ciple	An integral type fixed point theorem
Banach space	A new class of nonlinear operators and fixed point convergence using K iteration process
Berenstein-Kazhdan potential	F-polynomials and Newton polytopes
Bert	Unsupervised Extractive Summarization with BERT Building customized Named Entity Recognition models for specific process automation tasks
bibliometrics	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
big data	A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
binding site prediction	AlphaFold-based protein analysis pipeline
bio-inspired dynamic systems	Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
bioinformatics	AlphaFold-based protein analysis pipeline
blockchain	Proof of Computation A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection
blood glucose	Data cleansing in Continuous Glucose Monitor time series
body part classification	Automatic Wound Assessment Using 2D Photos and Mapping onto Patient-specific 3D Models
body shape estimation	Automatic Wound Assessment Using 2D Photos and Mapping onto Patient-specific 3D Models
boosting	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
BrainMetShare	Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
BraTS	Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
Breast Cancer	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
broadcasting	Fully-adaptive Model for Broadcasting with Universal Lists
C
cellular automata	Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
centrality measures	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
Certification	FERPModels: A Certification Framework for Expansion-Based QBF Solving
CEUS	Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion
chatbot	Game Digger Creating an adaptive recommender system
Ciric type operators	On some fixed point theorems for Ciric operators
Class Activation Mapping	Evaluation of Class Activation Methods for Understanding Image Classification Tasks
classical first-order logic	Maslov’s Inverse Method and Favorable M-sequent Calculus
closed-loop	Data cleansing in Continuous Glucose Monitor time series
closest vector problem	On the bases of Z^n lattice
co-authorship	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
code equivalence	Deciding Whether two Codes Have the Same Ambiguities is in co-NP
coextensivity	Maslov’s Inverse Method and Favorable M-sequent Calculus
collaborator group ranking	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
combinatorial optimization	An Ant Colony Optimization Approach to the Densest $k$-Subgraph Problem
Combinatorial testing	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
COMET	The new COMET Centre INTEGRATE
common fixed point	Common fixed point theorems for enriched Jungck contractions in convex metric spaces
compatible	Common fixed point theorems for enriched Jungck contractions in convex metric spaces
compiler	Hardware-software co-design
completeness	Maslov’s Inverse Method and Favorable M-sequent Calculus
complexity	Deciding Whether two Codes Have the Same Ambiguities is in co-NP Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
compressed pattern matching	Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
compression	A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
computational complexity	Why is quantifier elimination doubly exponential?
computational logic	Approaches to the Skolem Problem Proofs by Induction in a Saturation Theorem Prover
computer algebra	Algorithm for intersecting symbolic and approximate linear differential varieties Balanced Dense Multivariate Multiplcation: The General Case Proving properties of linear operators via ideal membership of noncommutative polynomials Why is quantifier elimination doubly exponential?
Computer Vision	Evaluation of Class Activation Methods for Understanding Image Classification Tasks Semi-Supervised Pipeline for Human Sprites Neural Rendering
conceptual modelling	Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
concurrent programming language	Quantitative Programming and Markov Decision Processes
conference analysis	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
Conflicting Points	Artificial Conflict Sampling for Real Satisfiability Problems
consensus	Proof of Computation
Contractive condition of integral type	An integral type fixed point theorem
convergence theorem	Quasi, enriched, and admissible perturbations for some classes of operators in the iterative approximation of fixed points
convex metric spaces	Common fixed point theorems for enriched Jungck contractions in convex metric spaces
Convolutional Neural Network (CNN)	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
Convolutional Neural Networks	Evaluation of Class Activation Methods for Understanding Image Classification Tasks Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data
Covering arrays	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
cryptanalysis	Using N-Gram Variations in Static Analysis for Malware Detection
cryptocurrency	On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection
cultural heritage	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
cyclic contraction	Synchronous and Asynchronous cyclic contractions
D
data augmentation	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
data cleansing	Data cleansing in Continuous Glucose Monitor time series
data dependence	On some fixed point theorems for Ciric operators
data distillation	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
data mining	Astronomical Object Detection Using Artificial Intelligence
data quality	Data cleansing in Continuous Glucose Monitor time series
dataset	FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments
Debugging	Detecting Implicit Indeterminates in Symbolic Computation
decidability	Approaches to the Skolem Problem
Decision Regression Forest	AI-based healthcare application for medical image processing and diagnosis prediction
deducibility	Maslov’s Inverse Method and Favorable M-sequent Calculus
deep learning	Intelligent Agent for Food Recognition in a Smart Fridge Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
deep neural classifier	Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
deep neural networks	Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion
Def-use chains	Detecting Implicit Indeterminates in Symbolic Computation
demicontractive operator	On a M\u aru\s ster problem in the iterative approximations of fixed points for demicontractive operators
densest k-subgraph problem	An Ant Colony Optimization Approach to the Densest $k$-Subgraph Problem
description logics	Fact-checking with explanations
Detection Rate	One side class SVM training methods for malware detection
development	R&D at University of Applied Sciences Upper Austria in Hagenberg”
diffusion equation	A Neural Network based approach to find solutions to diffusion equations
digital twin	Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
distance methods	Different approaches for biological strings
distributed computing	Proof of Computation
DNA	A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
docker	Game Digger Creating an adaptive recommender system
driver monitoring	Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data
dynamic models	Steel Phase Kinetics Modeling using Symbolic Regression
Dynamical Systems	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
E
E-Health	AI-based healthcare application for medical image processing and diagnosis prediction
eigenpairs	A Neural Network based approach to find solutions to diffusion equations
Emotion prediction	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
Emotional Psychology	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
encryption	A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
enriched contraction	Quasi, enriched, and admissible perturbations for some classes of operators in the iterative approximation of fixed points
enriched nonexpansive operator	Weak Convergence Teorems for Inertial Krasnoselskii-Mann Iterations in the class of enriched nonexpansive operators in Hilbert Spaces
Equational Constraints	Artificial Conflict Sampling for Real Satisfiability Problems
equivalence class	Quantitative Programming and Markov Decision Processes
explainable AI	Evaluation of Class Activation Methods for Understanding Image Classification Tasks Fact-checking with explanations
Expression explosion	Detecting Implicit Indeterminates in Symbolic Computation
extraction	Building a Machine Learning Model for Malware Detection from Ground Zero
extractive summarization	Unsupervised Extractive Summarization with BERT
extreme points	Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm
eye detection	Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data
F
F-polynomials	F-polynomials and Newton polytopes
F4 Algorithm	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
fake news	Fact-checking with explanations
False Positive Rate	One side class SVM training methods for malware detection
Fast Fourier transform	Balanced Dense Multivariate Multiplcation: The General Case
feature mining	Building a Machine Learning Model for Malware Detection from Ground Zero
feature selection	Building a Machine Learning Model for Malware Detection from Ground Zero Reducing Adversarial Vulnerability Using GANs
features	Building a Machine Learning Model for Malware Detection from Ground Zero
financial crime	On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection
firefly algorithm	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
fixed point	Synchronous and Asynchronous cyclic contractions On some fixed point theorems for Ciric operators On a M\u aru\s ster problem in the iterative approximations of fixed points for demicontractive operators Quasi, enriched, and admissible perturbations for some classes of operators in the iterative approximation of fixed points A new class of nonlinear operators and fixed point convergence using K iteration process
Fixed point theorems	An integral type fixed point theorem
food recognition	Intelligent Agent for Food Recognition in a Smart Fridge
fully-adaptive	Fully-adaptive Model for Broadcasting with Universal Lists
Function Extraction	FERPModels: A Certification Framework for Expansion-Based QBF Solving
G
GAN	Semi-Supervised Pipeline for Human Sprites Neural Rendering
GANs	Reducing Adversarial Vulnerability Using GANs
Generative Adversarial Networks	Reducing Adversarial Vulnerability Using GANs
Genetic Algorithm	Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
Genetic Programming	Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression Steel Phase Kinetics Modeling using Symbolic Regression
genome	Different approaches for biological strings
genomic information	A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
GrabCut	Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
graph neural networks	Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks
graph theory	Fully-adaptive Model for Broadcasting with Universal Lists
graph-rewriting automata	Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
Gross-Hacking-Keel-Kontsevich potential	F-polynomials and Newton polytopes
H
H-distance space	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
Hagenberg	Software Park Hagenberg R&D at University of Applied Sciences Upper Austria in Hagenberg”
hate-speech	FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments
Hilbert space	Weak Convergence Teorems for Inertial Krasnoselskii-Mann Iterations in the class of enriched nonexpansive operators in Hilbert Spaces On a M\u aru\s ster problem in the iterative approximations of fixed points for demicontractive operators
Hill-Climbing	Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
homotopy	Homotopy Techniques for Analytic Combinatorics in Several Variables
HPO	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
HW/SW co-design	Hardware-software co-design
I
Image approximation	Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
image processing	An Evaluation of Image Texture Descriptors and their Invariant Properties AI-based healthcare application for medical image processing and diagnosis prediction Astronomical Object Detection Using Artificial Intelligence
imbalanced data classification	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
index of coincidence	Using N-Gram Variations in Static Analysis for Malware Detection
inertial iteration	Weak Convergence Teorems for Inertial Krasnoselskii-Mann Iterations in the class of enriched nonexpansive operators in Hilbert Spaces
information systems	Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
infrared camera	Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data
intrusion detection	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
IT alerts	Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
K
k-means	Using N-Gram Variations in Static Analysis for Malware Detection
L
labeling automation	Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data
lattice basis	On the bases of Z^n lattice
lattices	On the bases of Z^n lattice
Lempel-Ziv	Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
less-than-one -shot learning	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
licence plate recognition	Motorage - Computer vision-based self-sufficient smart parking system
linear operators	Proving properties of linear operators via ideal membership of noncommutative polynomials
liver lesion detection	Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion
logic tensor networks	Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
LSTM	Data cleansing in Continuous Glucose Monitor time series
LZW	Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
M
machine learning	On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection
malicious code detection	Using N-Gram Variations in Static Analysis for Malware Detection
malware	Building a Machine Learning Model for Malware Detection from Ground Zero Reducing Adversarial Vulnerability Using GANs
Malware Detection	One side class SVM training methods for malware detection
Mammogram Classification	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
Markov decision processes	Quantitative Programming and Markov Decision Processes
Maslov's inverse method	Maslov’s Inverse Method and Favorable M-sequent Calculus
mathematical modeling	Application of Symbolic Regression in Polymer Processing
matrix	Different approaches for biological strings
matrix computation	Proof of Computation
mean squared error	A Neural Network based approach to find solutions to diffusion equations
Memetic local optimization	Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression
Mental health matters.	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
meta-learning	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
metaheuristics	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Metric Evaluation	Machine Learning Models to Predict Soil Moisture for Irrigation Schedule (online)
metric space	On some fixed point theorems for Ciric operators
mobile application	Intelligent Agent for Food Recognition in a Smart Fridge
model-driven process execution	Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
molecular docking	AlphaFold-based protein analysis pipeline
money laundering	On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection
multi-objective	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
multiple sequence alignment	AlphaFold-based protein analysis pipeline
N
n-gram	Using N-Gram Variations in Static Analysis for Malware Detection
named entity recognition	Building customized Named Entity Recognition models for specific process automation tasks
natural language processing	FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments Building customized Named Entity Recognition models for specific process automation tasks
natural language understanding	Fact-checking with explanations
network analysis	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
network hyper-parameters	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
neural networks	A Neural Network based approach to find solutions to diffusion equations
Neural Rendering	Semi-Supervised Pipeline for Human Sprites Neural Rendering
neuro-symbolic model	Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
Newton polytopes	F-polynomials and Newton polytopes
NFT	A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
non-linear regression	Application of Symbolic Regression in Polymer Processing
Non-Linear System Identification	Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
noncommutative polynomials	Proving properties of linear operators via ideal membership of noncommutative polynomials
Nonexpansive mapping	A new class of nonlinear operators and fixed point convergence using K iteration process
nonexpansive operator	Weak Convergence Teorems for Inertial Krasnoselskii-Mann Iterations in the class of enriched nonexpansive operators in Hilbert Spaces
Nonlinear least squares	Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression
numerical analysis	Algorithm for intersecting symbolic and approximate linear differential varieties
O
object detection	Intelligent Agent for Food Recognition in a Smart Fridge
ODE Systems	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
offensive speech	FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments
optical flow	Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion
optimization	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Ostrowski stability	On some fixed point theorems for Ciric operators
P
parallel algorithms	Fully-adaptive Model for Broadcasting with Universal Lists
Parallel computing	Balanced Dense Multivariate Multiplcation: The General Case
Parameter Identifiability	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
parameter optimization	Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions
parametrization	Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm
parking monitoring	Motorage - Computer vision-based self-sufficient smart parking system
partial differential equations	Algorithm for intersecting symbolic and approximate linear differential varieties
partially ordered	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
pattern matching	Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
pattern-matching	Using N-Gram Variations in Static Analysis for Malware Detection
Perceptron	One side class SVM training methods for malware detection
Personality detection	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
phase kinetics	Steel Phase Kinetics Modeling using Symbolic Regression
physical twin	Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
Picard iteration	Synchronous and Asynchronous cyclic contractions
polymer processing	Application of Symbolic Regression in Polymer Processing
Polynomial Multiplication	Balanced Dense Multivariate Multiplcation: The General Case
polynomial system	Homotopy Techniques for Analytic Combinatorics in Several Variables
porting	A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets
Power Amplifier	Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
prediction methods	Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks
privacy	A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
Program Analysis	Detecting Implicit Indeterminates in Symbolic Computation
proof of useful work	Proof of Computation
proof of work	Proof of Computation
protein structure prediction	AlphaFold-based protein analysis pipeline
Q
Quantified Boolean Formulas	FERPModels: A Certification Framework for Expansion-Based QBF Solving
quantifier elimination	Why is quantifier elimination doubly exponential?
quantitative programming	Quantitative Programming and Markov Decision Processes
R
R-squared Score	Machine Learning Models to Predict Soil Moisture for Irrigation Schedule (online)
random identifiers	Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts
real quantifier elimination	A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm
recipe recommendation	Intelligent Agent for Food Recognition in a Smart Fridge
recommendation systems	Game Digger Creating an adaptive recommender system
regression analysis	Symbolic Regression with augmented dataset using RuleFit
Regression Model	Machine Learning Models to Predict Soil Moisture for Irrigation Schedule (online)
representation	Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions
research	Software Park Hagenberg RISC: A center for symbolic computation and its applications The new COMET Centre INTEGRATE R&D at University of Applied Sciences Upper Austria in Hagenberg”
research and development	Research and Development at RISC Software
reservation	Motorage - Computer vision-based self-sufficient smart parking system
review study	On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection
RISC	RISC: A center for symbolic computation and its applications Research and Development at RISC Software
RISC-V	Hardware-software co-design
Romanian	Unsupervised Extractive Summarization with BERT
Romanian language	FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments
Root Isolation	Artificial Conflict Sampling for Real Satisfiability Problems
S
SAT solving	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
semantic inpainting	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
sequent calculus	Maslov’s Inverse Method and Favorable M-sequent Calculus
shortest vector problem	On the bases of Z^n lattice
Simulated Annealing	Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
simulation	Application of Symbolic Regression in Polymer Processing
Skolem Problem	Approaches to the Skolem Problem
smart fridge	Intelligent Agent for Food Recognition in a Smart Fridge
smart parking	Motorage - Computer vision-based self-sufficient smart parking system
social networks	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
software	Software Park Hagenberg Research and Development at RISC Software The new COMET Centre INTEGRATE
Soil Moisture	Machine Learning Models to Predict Soil Moisture for Irrigation Schedule (online)
soundness	Maslov’s Inverse Method and Favorable M-sequent Calculus
Space with distance	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
Sparse Identification	Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
static analysis	Using N-Gram Variations in Static Analysis for Malware Detection
steel	Steel Phase Kinetics Modeling using Symbolic Regression
Strict Inequalities	Artificial Conflict Sampling for Real Satisfiability Problems
Strong Convergence	A new class of nonlinear operators and fixed point convergence using K iteration process
structural biology	AlphaFold-based protein analysis pipeline
Support Vector Machine	One side class SVM training methods for malware detection
supremum norm	Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm
swarm intelligence	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Symbolic calculations	F-polynomials and Newton polytopes
symbolic combinatorics	Homotopy Techniques for Analytic Combinatorics in Several Variables
symbolic computation	Detecting Implicit Indeterminates in Symbolic Computation Homotopy Techniques for Analytic Combinatorics in Several Variables RISC: A center for symbolic computation and its applications
symbolic regression	Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression Steel Phase Kinetics Modeling using Symbolic Regression Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions Symbolic Regression with augmented dataset using RuleFit
symmetry	Algorithm for intersecting symbolic and approximate linear differential varieties
synthetic training data	Automatic Wound Assessment Using 2D Photos and Mapping onto Patient-specific 3D Models
T
textile artefacts	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
textural features	An Evaluation of Image Texture Descriptors and their Invariant Properties
texture analysis	An Evaluation of Image Texture Descriptors and their Invariant Properties
theorem proving	Proofs by Induction in a Saturation Theorem Prover
traditional motifs	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
trajectory	Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks
U
Ulam-Hyers stability	On some fixed point theorems for Ciric operators
Unet	Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
unit ball	Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm
universal lists	Fully-adaptive Model for Broadcasting with Universal Lists
V
validity	Maslov’s Inverse Method and Favorable M-sequent Calculus
VBA obfuscation	Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts
video games	Game Digger Creating an adaptive recommender system
Video sprites	Semi-Supervised Pipeline for Human Sprites Neural Rendering
Visual Basic for Application	Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts
Voronoi cell	On the bases of Z^n lattice
W
weak convergence	Weak Convergence Teorems for Inertial Krasnoselskii-Mann Iterations in the class of enriched nonexpansive operators in Hilbert Spaces
weakly Picard operator	On a M\u aru\s ster problem in the iterative approximations of fixed points for demicontractive operators
WebAssembly	A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets
Weighted Monomial Ordering	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
wekly commuting	Common fixed point theorems for enriched Jungck contractions in convex metric spaces
well-posedness	On some fixed point theorems for Ciric operators
wound segmentation	Automatic Wound Assessment Using 2D Photos and Mapping onto Patient-specific 3D Models
Z
Z^n isomorphism	On the bases of Z^n lattice

Disclaimer | Powered by EasyChair Smart Program