SYNASC 2023: 25TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

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

*
*-b-enriched nonexpansive mapping	Fixed Point Theorems for Enriched Multivalued Nonexpansive Mappings in Hilbert Spaces
A
actor network	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Age-Related Macular Degeneration	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
air front	Overview of Machine Learning Methods for Stroke Detection using Weather Data
algebraic geometry	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations
anti-VEGF injections	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
API calls	Using sequences of API Calls to identify and classify ransomware families
Art	Aesthetic Evolution of Target 3D Volumes in Minecraft
artificial inteligence	New Techniques in Numerical Analysis for Artificial Intelligence
artificial intelligence	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach Predicting Blood Glucose Levels Using LSTM
Artificial Neural Networks	Landscape Analysis using Simulated Annealing
asynchronous contraction	r-Cyclic asynchronous cyclic contractions
AutoML	Neural Architecture Search with Zero-Cost Proxies
B
backend instruction	LLVM RISC-V Target Backend Instruction for Reshape Operator
Banach space	An early survey on enriched contractive type mappings
benchmarks	Experimental comparison of real root isolation implementations
BERT	Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
big data	Prediction of Cloud Service Failure using traditional Machine Learning
Binary Classification	Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
bisimulation	Quantitative Programming and Continuous Time Markov Chains
blood glucose	Predicting Blood Glucose Levels Using LSTM
Boltzmann method	Uniform SAmplINg with BOLTZmann
boosting	Enhancing the performance of software effort estimation through boosting ensemble learning
branch cuts	The Inverse of the Complex Gamma Function
C
C++	Maxpool operator for RISC-V processor
CAT(0) space	Strictly Pseudocontractive Mappings Beyond Linear Spaces
Classification	Using sequences of API Calls to identify and classify ransomware families Overview of Machine Learning Methods for Stroke Detection using Weather Data
classification algorithms	Prediction of Cloud Service Failure using traditional Machine Learning
Classification of tissues	Comparative Study of Machine learning methods to classify bowel polyps
closest vector problem	On the Variants of Subset Sum: Projected and Unbounded
clustering	Composite clustering crossover operator for improving genetic algorithms
Colonoscopy	Comparative Study of Machine learning methods to classify bowel polyps
Combinatorics	Uniform SAmplINg with BOLTZmann
Comet	Maxpool operator for RISC-V processor
Complexity	From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
computer aided diagnosis	Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
computer algebra	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations Can Explainable AI Give Insights for Symbolic Computation
Computer vision	Animatable Characters as Pixel Point Clouds
continued fractions	Experimental comparison of real root isolation implementations
continuous time Markov chains	Quantitative Programming and Continuous Time Markov Chains
contraction type mapping	Metric conditions, graphic contractions and weakly Picard operators
contractive mapping	An early survey on enriched contractive type mappings
contrast-enhanced ultrasound	Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
convolutional neural networks	Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data
corrosion	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
cost vs accuracy	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Counting linear extensions	Counting Linear Extensions of Modular Partial Orders
COVID-19	Machine Learning Predictive Models Applied on COVID-19 Datasets to Estimate Infection Risk in Specific Geographic Regions
COVID-19 pandemic	Automatic Text Summarization using Kernel Ridge Regression
Crawlers	Cyber vulnerabilities surveillance via web-scraped specialized documents
crossover	Composite clustering crossover operator for improving genetic algorithms
cyber attack	Cyber vulnerabilities surveillance via web-scraped specialized documents
cyber vulnerability	Cyber vulnerabilities surveillance via web-scraped specialized documents
Cyclotomic polynomials	Testing Cyclotomicity and related results
Cylindrical Algebraic Decomposition	A Poly-algorithmic Approach to Quantifier Elimination Seven Years of SC-Square On validating Lazard's projection in CAD (with James' help) Towards a New Projection for Cylindrical Algebraic Decomposition Can Explainable AI Give Insights for Symbolic Computation
D
data analysis	Cyber vulnerabilities surveillance via web-scraped specialized documents
data cleansing	Predicting Blood Glucose Levels Using LSTM
data extraction	Cyber vulnerabilities surveillance via web-scraped specialized documents
data quality	Predicting Blood Glucose Levels Using LSTM
data-driven thermal models	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
dataflow	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Dataset Distillation	Dataset Distillation via Multi-objective Genetic Algorithms
decision trees	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
deep learning	New Techniques in Numerical Analysis for Artificial Intelligence Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Deep Q-learning	Quantum Reinforcement Learning in Protein Folding
Degeneracy	Testing Cyclotomicity and related results
Delineability	Towards a New Projection for Cylindrical Algebraic Decomposition
demiclosedness-type property	Strictly Pseudocontractive Mappings Beyond Linear Spaces
Depth estimation	Animatable Characters as Pixel Point Clouds
design flow	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
design space exploration	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Discrete structures	Uniform SAmplINg with BOLTZmann
distributed systems	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
driver monitoring	Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data
E
early diagnosis	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Edge Detection	Aesthetic Evolution of Target 3D Volumes in Minecraft
ego-motion	Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles
ego-trajectory segmentation	Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles
electrical machines	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Emulators	Using sequences of API Calls to identify and classify ransomware families
encoding	Composite clustering crossover operator for improving genetic algorithms
Enrich non-expansive	Proximal-type methods for Approximation of Solutions to Equilibrium Problems over the Set of Fixed Points of Enriched Nonexpansive Mappings
enriched mapping	An early survey on enriched contractive type mappings
enriched multivalued nonexpansive mapping	Fixed Point Theorems for Enriched Multivalued Nonexpansive Mappings in Hilbert Spaces
enriched nonexpansive mapping	Strictly Pseudocontractive Mappings Beyond Linear Spaces
enriched nonexpansive operator	Weak snd Strong Convergence Theorems for Krasnoselskii Iterative algorithm in the class of enriched strictly pseudocontractive and enriched nonexpansive operators in Hilbert Spaces
enriched strictly pseudocontractive operator	Weak snd Strong Convergence Theorems for Krasnoselskii Iterative algorithm in the class of enriched strictly pseudocontractive and enriched nonexpansive operators in Hilbert Spaces
ensemble learning	Enhancing the performance of software effort estimation through boosting ensemble learning
EProver	PortfolioX – Multi-conjecture proving system
equivalence classes	Quantitative Programming and Continuous Time Markov Chains
evolutionary algorithms	Neural Architecture Search with Zero-Cost Proxies
Evolutionary Art	Aesthetic Evolution of Target 3D Volumes in Minecraft
evolving deep neural networks	Neural Architecture Search with Zero-Cost Proxies
Explainable AI	Can Explainable AI Give Insights for Symbolic Computation
exponential root mean squared log error	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
eye detection	Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data
F
failure prediction	Prediction of Cloud Service Failure using traditional Machine Learning
fixed point	Strictly Pseudocontractive Mappings Beyond Linear Spaces An early survey on enriched contractive type mappings Fixed point results for multi-valued nonlinear graph contractions on a set with two metrics Some stability results for multi-valued nonlinear graph contractions on a set with two metrics A Feng-Liu type fixed point theorem on a set endowed with two metrics r-Cyclic asynchronous cyclic contractions
focal liver lesion	Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
Forecasting	Solar flare classification using modified metaheuristic optimized XGBoost
formal power and Laurent series	On systems of linear homogeneous algebraic equations over truncated formal series
FP	Towards a virtual/mixed-reality graphical programming language
fraction-free algorithm	A couple of catch ups for the modified unit-circle zero location test
G
Gastrointestinal polyps	Comparative Study of Machine learning methods to classify bowel polyps
generalized metric space	Metric conditions, graphic contractions and weakly Picard operators
Genetic Algorithm	Aesthetic Evolution of Target 3D Volumes in Minecraft
Genetic Algorithms	Dataset Distillation via Multi-objective Genetic Algorithms Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations Composite clustering crossover operator for improving genetic algorithms
geometric mean relative error	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
Google Borg	Prediction of Cloud Service Failure using traditional Machine Learning
GPT	Ontology engineering with Large Language Models
graphic contraction	Metric conditions, graphic contractions and weakly Picard operators
GUIs	Towards a virtual/mixed-reality graphical programming language
H
Hashimoto’s Thyroiditis	Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
heuristics	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Hilbert space	Weak snd Strong Convergence Theorems for Krasnoselskii Iterative algorithm in the class of enriched strictly pseudocontractive and enriched nonexpansive operators in Hilbert Spaces
hybrid functions	Hybrid Intervals and Symbolic Block Matrices
hybrid intervals	Hybrid Intervals and Symbolic Block Matrices
hybrid sets	Hybrid Intervals and Symbolic Block Matrices
Hyperparameter tuning	Solar flare classification using modified metaheuristic optimized XGBoost
I
Indicator of Compromise	Cyber vulnerabilities surveillance via web-scraped specialized documents
infinite models	Towards Learning Infinite SMT Models
infrared camera	Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data
integer-preserving algorithms	A couple of catch ups for the modified unit-circle zero location test
integral inclusion	A Feng-Liu type fixed point theorem on a set endowed with two metrics
Integration	Rubi: Rule based integration
intent detection	Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
inter-observer variability	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Interpretation abstract	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach
inverse functions	The Inverse of the Complex Gamma Function
inverse gamma function	The Inverse of the Complex Gamma Function
IoT	IoT-based Traffic Management System
ISA	Maxpool operator for RISC-V processor
J
James H. Davenport's 70th Birthday	A Personal Tribute to James Davenport Decomposition and QE algorithms over the reals and over the integers Seven Years of SC-Square Rubi: Rule based integration On validating Lazard's projection in CAD (with James' help) The Maple legacy of James Davenport Testing Cyclotomicity and related results Towards a New Projection for Cylindrical Algebraic Decomposition Can Explainable AI Give Insights for Symbolic Computation
K
k-means	Composite clustering crossover operator for improving genetic algorithms
Kaggle Datasets	Machine Learning Predictive Models Applied on COVID-19 Datasets to Estimate Infection Risk in Specific Geographic Regions
kernel ridge regression	Automatic Text Summarization using Kernel Ridge Regression
Keyword1	Decomposition and QE algorithms over the reals and over the integers
Keyword2	Decomposition and QE algorithms over the reals and over the integers
Krasnoselskii algorithm	Weak snd Strong Convergence Theorems for Krasnoselskii Iterative algorithm in the class of enriched strictly pseudocontractive and enriched nonexpansive operators in Hilbert Spaces
Krasnoselskii iterative method	Fixed Point Theorems for Enriched Multivalued Nonexpansive Mappings in Hilbert Spaces
Krasnoselskii-Mann iteration	Strictly Pseudocontractive Mappings Beyond Linear Spaces
L
labeling automation	Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data
Landscape Analysis	Landscape Analysis using Simulated Annealing
lattice	On the Variants of Subset Sum: Projected and Unbounded
Lazard projection/lifting	On validating Lazard's projection in CAD (with James' help)
linear algebraic systems	On systems of linear homogeneous algebraic equations over truncated formal series
linear regression	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
LLM	Ontology engineering with Large Language Models
LLVM	Maxpool operator for RISC-V processor
LLVM compiler	LLVM RISC-V Target Backend Instruction for Reshape Operator
low resource language	Semantic Change Detection for the Romanian Language
LSTM	Predicting Blood Glucose Levels Using LSTM
Lung cancer	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
M
Mace4	PortfolioX – Multi-conjecture proving system
Machine Learning	Machine Learning Predictive Models Applied on COVID-19 Datasets to Estimate Infection Risk in Specific Geographic Regions Prediction of Cloud Service Failure using traditional Machine Learning Using sequences of API Calls to identify and classify ransomware families LLVM RISC-V Target Backend Instruction for Reshape Operator Overview of Machine Learning Methods for Stroke Detection using Weather Data Can Explainable AI Give Insights for Symbolic Computation
Machine learning algorithms	Comparative Study of Machine learning methods to classify bowel polyps
Machine Learning Models	Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
Maia type theorem	Fixed point results for multi-valued nonlinear graph contractions on a set with two metrics
malware	Cyber vulnerabilities surveillance via web-scraped specialized documents
manipulated citations	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
Maplesoft	The Maple legacy of James Davenport
mapping	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
mean absolute log error	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
mean squared log error	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
metric condition	Metric conditions, graphic contractions and weakly Picard operators
metric space	Metric conditions, graphic contractions and weakly Picard operators A Feng-Liu type fixed point theorem on a set endowed with two metrics
metric spaces	Fixed point results for multi-valued nonlinear graph contractions on a set with two metrics Some stability results for multi-valued nonlinear graph contractions on a set with two metrics
Minecraft	Aesthetic Evolution of Target 3D Volumes in Minecraft
MNIST	Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations
model interpretability	New Techniques in Numerical Analysis for Artificial Intelligence
Models Evaluation	Machine Learning Predictive Models Applied on COVID-19 Datasets to Estimate Infection Risk in Specific Geographic Regions
Modular decomposition	Counting Linear Extensions of Modular Partial Orders
MOEA/D	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Monotone	Proximal-type methods for Approximation of Solutions to Equilibrium Problems over the Set of Fixed Points of Enriched Nonexpansive Mappings
Multi-objective	Dataset Distillation via Multi-objective Genetic Algorithms
multi-valued nonlinear contraction	Fixed point results for multi-valued nonlinear graph contractions on a set with two metrics
multi-valued nonlinear graph contraction	Some stability results for multi-valued nonlinear graph contractions on a set with two metrics
multi-valued operator	A Feng-Liu type fixed point theorem on a set endowed with two metrics
N
natural language understanding	Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
network distortion	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
neural architecture search	Neural Architecture Search with Zero-Cost Proxies
Neural Network	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
Neural Networks	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations
Neuroevolution	Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations
node2vec embedding	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
nodule diagnosis	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
NSGA-II	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
NSGA-III	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
numerical analysis	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations
numerical ananlysis	New Techniques in Numerical Analysis for Artificial Intelligence
O
OCT	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
one-max	Composite clustering crossover operator for improving genetic algorithms
ONNX	Maxpool operator for RISC-V processor LLVM RISC-V Target Backend Instruction for Reshape Operator
ontology engineering	Ontology engineering with Large Language Models
ontology learning	Ontology engineering with Large Language Models
Optimisation	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach
Optimization	Solar flare classification using modified metaheuristic optimized XGBoost
Ostrowski property	Metric conditions, graphic contractions and weakly Picard operators
P
Parameterized Quantum Circuit	Quantum Reinforcement Learning in Protein Folding
partial differential equations	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations
Partial orders	Counting Linear Extensions of Modular Partial Orders
piecewise linear	Towards Learning Infinite SMT Models
Point Cloud	Animatable Characters as Pixel Point Clouds
pre-weakly Picard mapping	Metric conditions, graphic contractions and weakly Picard operators
prediction	Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction
Protein Folding Problem	Quantum Reinforcement Learning in Protein Folding
Protein Structure Prediction	Quantum Reinforcement Learning in Protein Folding
Prover9	PortfolioX – Multi-conjecture proving system
Q
Quantifier Elimination	A Poly-algorithmic Approach to Quantifier Elimination
quantitative programming	Quantitative Programming and Continuous Time Markov Chains
Quantum Reinforcement Learning	Quantum Reinforcement Learning in Protein Folding
R
r-cyclic covering	r-Cyclic asynchronous cyclic contractions
radiomics	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Random Forest	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
Ransomware	Using sequences of API Calls to identify and classify ransomware families
real root isolation	Experimental comparison of real root isolation implementations
Recurrent	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
Regression	Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
reshape	LLVM RISC-V Target Backend Instruction for Reshape Operator
ResNet architectures	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
Rewriting	Rubi: Rule based integration
RGBD Video	Animatable Characters as Pixel Point Clouds
RISC-V	Maxpool operator for RISC-V processor
root mean squared log error	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
S
Satisfiabiliy Checking	Seven Years of SC-Square
Scalability	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach
scheduling	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Schrodinger Equations	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations
Scrapers	Cyber vulnerabilities surveillance via web-scraped specialized documents
Screening	Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Self-Stabilizing Distributed Algorithms	From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
self-supervised learning	Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles
semantic change	Semantic Change Detection for the Romanian Language
semantic segmentation	Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Simulated Annealing	Landscape Analysis using Simulated Annealing
slot filling	Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
smart cities	IoT-based Traffic Management System
SMT	Towards Learning Infinite SMT Models
software development	Towards a virtual/mixed-reality graphical programming language
software effort estimation	Enhancing the performance of software effort estimation through boosting ensemble learning
Solar Flare	Solar flare classification using modified metaheuristic optimized XGBoost
Space Weather	Solar flare classification using modified metaheuristic optimized XGBoost
Splatting	Animatable Characters as Pixel Point Clouds
Sprites	Animatable Characters as Pixel Point Clouds
stability properties	Some stability results for multi-valued nonlinear graph contractions on a set with two metrics A Feng-Liu type fixed point theorem on a set endowed with two metrics
Statistics	Machine Learning Predictive Models Applied on COVID-19 Datasets to Estimate Infection Risk in Specific Geographic Regions
stream programs	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
strictly pseudocontractive mapping	Strictly Pseudocontractive Mappings Beyond Linear Spaces
stroke	Overview of Machine Learning Methods for Stroke Detection using Weather Data
strong convergence	Weak snd Strong Convergence Theorems for Krasnoselskii Iterative algorithm in the class of enriched strictly pseudocontractive and enriched nonexpansive operators in Hilbert Spaces
Sturm	Experimental comparison of real root isolation implementations
subarachnoid hemorrhage	Overview of Machine Learning Methods for Stroke Detection using Weather Data
subset sum	On the Variants of Subset Sum: Projected and Unbounded
successive approximation Picard mapping	Metric conditions, graphic contractions and weakly Picard operators
supervised learning	Enhancing the performance of software effort estimation through boosting ensemble learning
symbolic block matrices	Hybrid Intervals and Symbolic Block Matrices
Symbolic Computation	Hybrid Intervals and Symbolic Block Matrices A Personal Tribute to James Davenport The Maple legacy of James Davenport Can Explainable AI Give Insights for Symbolic Computation
symbolic domain decomposition	Hybrid Intervals and Symbolic Block Matrices
symbolic matrix algebra	Hybrid Intervals and Symbolic Block Matrices
Symbolic method	Uniform SAmplINg with BOLTZmann
symmetry	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations
T
TableGen	Maxpool operator for RISC-V processor
task oriented dialogue system	Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
tensor	LLVM RISC-V Target Backend Instruction for Reshape Operator
text summarization	Automatic Text Summarization using Kernel Ridge Regression
The Bistritz test	A couple of catch ups for the modified unit-circle zero location test
the unit-circle zero location problem	A couple of catch ups for the modified unit-circle zero location test
timeseries	Predicting Blood Glucose Levels Using LSTM
Topology optimisation	Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations
traffic flow	IoT-based Traffic Management System
traffic management	IoT-based Traffic Management System
traffic patterns	IoT-based Traffic Management System
Transformer	From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
transformer neural network	Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
Translation	PortfolioX – Multi-conjecture proving system
Tribute	A Personal Tribute to James Davenport
truncated series	On systems of linear homogeneous algebraic equations over truncated formal series
U
Ulam-Hyers stability	Metric conditions, graphic contractions and weakly Picard operators
unbounded subset sum	On the Variants of Subset Sum: Projected and Unbounded
Uniform random sampling	Uniform SAmplINg with BOLTZmann
urban development	Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction
V
Vampire	PortfolioX – Multi-conjecture proving system
Variable length	Dataset Distillation via Multi-objective Genetic Algorithms
Variational inequalities	Proximal-type methods for Approximation of Solutions to Equilibrium Problems over the Set of Fixed Points of Enriched Nonexpansive Mappings
Virtual Term Substitution	A Poly-algorithmic Approach to Quantifier Elimination
visual programming	Towards a virtual/mixed-reality graphical programming language
W
Waldmeister	PortfolioX – Multi-conjecture proving system
weak convergence	Weak snd Strong Convergence Theorems for Krasnoselskii Iterative algorithm in the class of enriched strictly pseudocontractive and enriched nonexpansive operators in Hilbert Spaces
weakly Picard mapping	Metric conditions, graphic contractions and weakly Picard operators
weather	Overview of Machine Learning Methods for Stroke Detection using Weather Data
well-posedness of fixed point problem	Metric conditions, graphic contractions and weakly Picard operators
word embeddings	Semantic Change Detection for the Romanian Language
X
XAI	Can Explainable AI Give Insights for Symbolic Computation
Z
zero-cost proxies	Neural Architecture Search with Zero-Cost Proxies

Disclaimer | Powered by EasyChair Smart Program