SYNASC2020: INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

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

A
acceptance rate	SYNASC 2020 Opening
Adam	Hybrid Hyper-parameter Optimization for Collaborative Filtering
adjectives	An Experiment on Mizar Adjectives with Visible Arguments
Admissible substitution	On One Approach to Goal-driven Proof Search in Classical First-order Logic
aerial photograph	Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation
aggregated coupling	An analysis of aggregated coupling's suitability for software defect prediction
agricultural vegetation	Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation
almost contractions	Some developments around the concept of almost contractions
AlphaZero	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
Ancient DNA	Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
application orchestration	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Approximate GCD	Approximate GCD in Lagrange bases
artificial intelligence	Increasing the Upper Bound for the EvoMan Game Competition Hybrid Hyper-parameter Optimization for Collaborative Filtering Frontiers of Data-Intensive Compute Algorithms: Sustainable MLOps and Beyond AI – coming of age Carbon footprint for training deep learning models on accelerated AI systems
automatic theorem proving	SPIKE, an automatic theorem prover -- revisited
automation	An Experiment on Mizar Adjectives with Visible Arguments
B
Banach space	The technique of enrichment of contractive type operators and applications On a measure of noncompactness and a generalized Darbo’s fixed point theorem Approximating fixed points of enriched Caristi type mappings Some developments around the concept of almost contractions
Banach spaces	Common fixed point theorems for enriched contraction in Banach spaces
Berinde operator	Iterative approximations for local fixed point theorems and applications
bibliometrics	A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
big data	Frontiers of Data-Intensive Compute Algorithms: Sustainable MLOps and Beyond Big Data Lab presentation
Big Five	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
Binomial Ideals	A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
Bioinformatics	Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
Black-and-White SAT Problem	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
blockchain	Blockchain Market Engineering Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution
C
Canny algorithm	Edge map response of dilated and reconstructed classical filters
cantilever beam	Should I trust a deep learning condition monitoring prediction ?
carbon footprint	Carbon footprint for training deep learning models on accelerated AI systems
Caristi maping	Approximating fixed points of enriched Caristi type mappings
Chatterjea operator	Iterative approximations for local fixed point theorems and applications
citation	A dynamic contextual citation graph of academic papers
citation context	A dynamic contextual citation graph of academic papers
Classical first-order logic	On One Approach to Goal-driven Proof Search in Classical First-order Logic
Classification algorithms	The Driver's Attention Level
Cloud	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
cloud computing	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Clustering algorithm	Approximate GCD in Lagrange bases
Clustering Heuristic	Approximate GCD in Lagrange bases
CMK	Knot Coloring as Verification
CNN	Automatic Real-Time Road Crack Identification System
Cohesion Network Analysis	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions Cohesion Network Analysis: Customized Curriculum Management in Moodle
collaborative filtering	Hybrid Hyper-parameter Optimization for Collaborative Filtering
Common fixed point theorems	Common fixed point theorems for enriched contraction in Banach spaces
comparison function	Some developments around the concept of almost contractions
complete metric space	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems
Computer Algebra	Lambert W function
computer science	Gender Issues in Computer Science Research, Education, and Society
computer vision	Deep Learning at scale with applications to Computer Vision
conceptual coupling	An analysis of aggregated coupling's suitability for software defect prediction
conference analysis	A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
construction of Infrastructures as Code	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
continuation semantics for concurrency	A Study of Multiparty Interactions in Continuation Semantics
contraction mapping	The technique of enrichment of contractive type operators and applications
Convolution Neural Network	Gastrointestinal polyps classification based on Deep Learning
convolutional neural network	Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation
Convolutional Neural Network (CNN)	The Driver's Attention Level
convolutional neural networks	Quality of Pre-trained Deep-Learning Models for Palmprint Recognition
Copernicus	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
crack identification	Automatic Real-Time Road Crack Identification System
crop type classification	AgriSen - A Dataset for Crop Classification
cryptographic systems	Blockchain Market Engineering
CUDA	Efficient Parallel Simulations of Wireless Signal Wave Propagation
Curriculum Customization	Cohesion Network Analysis: Customized Curriculum Management in Moodle
customer relationship management	Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems Business Decisions Support using Sentiment Analysis in CRM Systems
Cylindrical Algebraic Decomposition	The CAD Conundrum: Lex-Least vs Order
D
damage detection	Should I trust a deep learning condition monitoring prediction ?
Darbo’s fixed point theorem	On a measure of noncompactness and a generalized Darbo’s fixed point theorem
data dependence	An extended version of Meir-Keeler theorem
Data Science	DS Lab Notebook: A new tool for data science applications
data-intensive computing	Frontiers of Data-Intensive Compute Algorithms: Sustainable MLOps and Beyond
decidability	A Logical Revolution
Decision Support Systems	Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems
Deducibility	On One Approach to Goal-driven Proof Search in Classical First-order Logic
deep convolutional architectures	Recent Trends in Domain Adaptation for Visual Applications
deep learning	Quality of Pre-trained Deep-Learning Models for Palmprint Recognition Deep Learning at scale with applications to Computer Vision AgriSen - A Dataset for Crop Classification Carbon footprint for training deep learning models on accelerated AI systems
Deep learning algorithm	Gastrointestinal polyps classification based on Deep Learning
deeplearning	Optimizations for Deep Learning Models for Object Detection
dependency parsing	Business Decisions Support using Sentiment Analysis in CRM Systems
Development frameworks and environments	DS Lab Notebook: A new tool for data science applications
differential equation	Periodic solutions of a class of third-order differential equations with two delays depending on time and state
Differential Evolution	Experimental Study on Parallelization of Metaheuristic Algorithms
digit expansion	A general construction for generating pseudorandom sequences using the digit expansion of real functions
digital footprints	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
Dilated filters	Edge map response of dilated and reconstructed classical filters
distributed ledger	A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution
distributed systems	Blockchain Market Engineering
Driver Monitoring System (DMS)	The Driver's Attention Level
Driver Safety	The Driver's Attention Level
dynamic	A dynamic contextual citation graph of academic papers
E
Edge detection	Edge map response of dilated and reconstructed classical filters
Edge detection operator	Edge map response of dilated and reconstructed classical filters
Enriched	Approximating fixed points of Suzuki type mapping
enriched contraction	The technique of enrichment of contractive type operators and applications
Equational Constraints	The CAD Conundrum: Lex-Least vs Order
erinched contractions	Common fixed point theorems for enriched contraction in Banach spaces
EvoMan	Increasing the Upper Bound for the EvoMan Game Competition
exact algorithms	Canonical forms over arbitrary fields with Julia
explainable AI	Should I trust a deep learning condition monitoring prediction ?
extractive summarization	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions
F
filtration	Fischer-Ladner Closure for Many-sorted Modal Logic with Application for Operational Semantics
Firefly	Experimental Study on Parallelization of Metaheuristic Algorithms
Fischer-Ladner closure	Fischer-Ladner Closure for Many-sorted Modal Logic with Application for Operational Semantics
fixed point	The technique of enrichment of contractive type operators and applications A retraction-displacement condition related to some stability properties for multi-valued fixed point problems An extended version of Meir-Keeler theorem Convergence of the Mann iterative process to fixed points of enriched quasi nonexpansive mappings Convex optimization with fixed point constraints. Iterative parallel methods
fixed points	Approximating fixed points of enriched Caristi type mappings
FP	Functional Programming GUIs state of the art
fractional-order systems	Numerical simulation algorithm for fractional-ordersystems implemented in CUDA
G
game-playing agent	Increasing the Upper Bound for the EvoMan Game Competition
gender isssues	Gender Issues in Computer Science Research, Education, and Society
generator	A general construction for generating pseudorandom sequences using the digit expansion of real functions
Genetic Algorithm	Increasing the Upper Bound for the EvoMan Game Competition
governance	Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
GP-GPU	Efficient Parallel Simulations of Wireless Signal Wave Propagation
GPU processing	Numerical simulation algorithm for fractional-ordersystems implemented in CUDA
graceful chromatic number	Results on graceful chromatic number for particular graphs
graceful coloring	Results on graceful chromatic number for particular graphs
Graph Theory	A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
GUIs	Functional Programming GUIs state of the art
H
H-distance space	Maia’s fixed point theorems for discontinous mappings
Halpern algorithm	Convex optimization with fixed point constraints. Iterative parallel methods
heterogeneous computing	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures Infrastructure as Code for Heterogeneous Computing
high-throughput	Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
HPC	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
HPC processing	Numerical simulation algorithm for fractional-ordersystems implemented in CUDA
Human computer interaction	DS Lab Notebook: A new tool for data science applications
hyper-parameter	Hybrid Hyper-parameter Optimization for Collaborative Filtering
hyper-parameter optimization	Hybrid Hyper-parameter Optimization for Collaborative Filtering
hyperparameters	Optimizations for Deep Learning Models for Object Detection
I
Image inpainting	Semantic Image Inpainting via Maximum Likelihood
image processing	The Driver's Attention Level Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture Recent Trends in Domain Adaptation for Visual Applications
implementation	Canonical forms over arbitrary fields with Julia
implicit induction	SPIKE, an automatic theorem prover -- revisited
Inception V3	Gastrointestinal polyps classification based on Deep Learning
intelligent sensors	AI – coming of age
Interactive systems and tools	DS Lab Notebook: A new tool for data science applications
IoT	AI – coming of age
J
Julia programming language	Canonical forms over arbitrary fields with Julia
Jupyter	DS Lab Notebook: A new tool for data science applications
K
keyword1	Cancelled
keyword2	Cancelled
keyword3	Cancelled
knot coloring	Knot Coloring as Verification
knots	Knot Coloring as Verification
Krasnoselkij iteration	Common fixed point theorems for enriched contraction in Banach spaces
Krasnoselskii	Periodic solutions of a class of third-order differential equations with two delays depending on time and state
Krasnoselskij-Mann algorithm	Convex optimization with fixed point constraints. Iterative parallel methods
L
Lagrange Bases	Approximate GCD in Lagrange bases
Lambert W function	Lambert W function
landscape changes	Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia
LBP	Automatic Real-Time Road Crack Identification System
Learning Management System	Cohesion Network Analysis: Customized Curriculum Management in Moodle
Lex-Least Invariance	The CAD Conundrum: Lex-Least vs Order
Local fixed point theorems	Iterative approximations for local fixed point theorems and applications
logic programming	Knot Coloring as Verification
lung tumor	Lung Tumor Segmentation Accelerated by CUDA
M
machine learning	Hybrid Hyper-parameter Optimization for Collaborative Filtering Business Decisions Support using Sentiment Analysis in CRM Systems Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
Maia’s fixed point theorem	Maia’s fixed point theorems for discontinous mappings
Mann iteration	Convergence of the Mann iterative process to fixed points of enriched quasi nonexpansive mappings
many-sorted modal logic	Fischer-Ladner Closure for Many-sorted Modal Logic with Application for Operational Semantics Operational Semantics and Program Verification using Many-sorted Hybrid Modal Logic
mappings	Approximating fixed points of Suzuki type mapping
Marriage Problem	Approximate GCD in Lagrange bases
mathematical logic	A Logical Revolution
Matrix Normal Distribution	Semantic Image Inpainting via Maximum Likelihood
measure of noncompacteness	On a measure of noncompactness and a generalized Darbo’s fixed point theorem
medical	Lung Tumor Segmentation Accelerated by CUDA
Meir-Keeler contraction	An extended version of Meir-Keeler theorem
metaheuristics	Experimental Study on Parallelization of Metaheuristic Algorithms
metric semantics	A Study of Multiparty Interactions in Continuation Semantics
metric space	Approximating fixed points of enriched Caristi type mappings
Minimal Unsatisfiability	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
Mizar	An Experiment on Mizar Adjectives with Visible Arguments
modeling and design	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Modern DNA	Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
Morpion Solitaire	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
Multi-Agent Systems	Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems
multi-valued Berinde type contraction	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems
multi-valued graphic contraction	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems
multiparty interactions	A Study of Multiparty Interactions in Continuation Semantics
multivalued mapping	Multivalued mapping
N
natural language processing	Business Decisions Support using Sentiment Analysis in CRM Systems
Natural Language Processing in Romanian	What’s Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques
Neuroevolution	Increasing the Upper Bound for the EvoMan Game Competition
neuroticism	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
News classification	What’s Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques
NIST test	A general construction for generating pseudorandom sequences using the digit expansion of real functions
nonexpansive mapping	Multivalued mapping
Normal Distribution	Semantic Image Inpainting via Maximum Likelihood
normal forms of matrices	Canonical forms over arbitrary fields with Julia
numerical simulation	Efficient Parallel Simulations of Wireless Signal Wave Propagation
O
object detection	Optimizations for Deep Learning Models for Object Detection
On-demand GPUs	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Open mapping results	Iterative approximations for local fixed point theorems and applications
open source	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
OpenMP	Efficient Parallel Simulations of Wireless Signal Wave Propagation
operational semantics	Operational Semantics and Program Verification using Many-sorted Hybrid Modal Logic
opinion mining	Business Decisions Support using Sentiment Analysis in CRM Systems
Optimization	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Order Invariance	The CAD Conundrum: Lex-Least vs Order
Ostrowski stability	An extended version of Meir-Keeler theorem
P
palmprint datasets	Quality of Pre-trained Deep-Learning Models for Palmprint Recognition
palmprint recognition	Quality of Pre-trained Deep-Learning Models for Palmprint Recognition
paper graph	A dynamic contextual citation graph of academic papers
parallel algorithm	Convex optimization with fixed point constraints. Iterative parallel methods Numerical simulation algorithm for fractional-ordersystems implemented in CUDA
parallel computing	Experimental Study on Parallelization of Metaheuristic Algorithms
parallel implementations	Deep Learning at scale with applications to Computer Vision
parallel processing	Lung Tumor Segmentation Accelerated by CUDA
Particle Swarm Optimization	Increasing the Upper Bound for the EvoMan Game Competition Experimental Study on Parallelization of Metaheuristic Algorithms
PDE	Efficient Parallel Simulations of Wireless Signal Wave Propagation
Periodic solutions	Periodic solutions of a class of third-order differential equations with two delays depending on time and state
permafrost	Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia
PixelCNN	Semantic Image Inpainting via Maximum Likelihood
Pompeiu-Hausdorff distance	Multivalued mapping
PRNG	A general construction for generating pseudorandom sequences using the digit expansion of real functions
Probabilistic Machine Learning	Semantic Image Inpainting via Maximum Likelihood
program	SYNASC 2020 Opening
programmability	A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution
programmability adoption	Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
Prolog	Knot Coloring as Verification
Proof search	On One Approach to Goal-driven Proof Search in Classical First-order Logic
propositional dynamic logic	Operational Semantics and Program Verification using Many-sorted Hybrid Modal Logic
Proximal point algorithm	Convex optimization with fixed point constraints. Iterative parallel methods
Proximal Policy Optimization	Increasing the Upper Bound for the EvoMan Game Competition
Publication ranking	What’s Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques
Pyramid Level feature extraction	Edge map response of dilated and reconstructed classical filters
Q
Q-learning	Increasing the Upper Bound for the EvoMan Game Competition
quandles	Knot Coloring as Verification
Quantifier rule	On One Approach to Goal-driven Proof Search in Classical First-order Logic
quasi nonexpansive mappings	Convergence of the Mann iterative process to fixed points of enriched quasi nonexpansive mappings
R
Ranked Reward	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
Real-Time	DS Lab Notebook: A new tool for data science applications
Recommendation System	A Sentiment-based Similarity Model for Recommendation Systems
recommender	Hybrid Hyper-parameter Optimization for Collaborative Filtering
Reich operator	Iterative approximations for local fixed point theorems and applications
Reinforcement Learning	Increasing the Upper Bound for the EvoMan Game Competition Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
research lab	Big Data Lab presentation
research projects	Big Data Lab presentation
retraction-displacement condition	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems
Reversible Chemical Reaction Networks	A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
Rust	Efficient Parallel Simulations of Wireless Signal Wave Propagation
S
satellite data	WeCTOU: web platform for climate and environmental information dissemination in touristic locations AgriSen - A Dataset for Crop Classification
scalability	Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
Scheduling	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Scopus	A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
segmentation	Lung Tumor Segmentation Accelerated by CUDA
Self-play	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
semantic abstractions	Infrastructure as Code for Heterogeneous Computing
semantic segmentation	AgriSen - A Dataset for Crop Classification Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation
Sentiment Analysis	Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems A Sentiment-based Similarity Model for Recommendation Systems Business Decisions Support using Sentiment Analysis in CRM Systems
Sentiment Score	A Sentiment-based Similarity Model for Recommendation Systems
Sequent calculus	On One Approach to Goal-driven Proof Search in Classical First-order Logic
Similarity Measure	A Sentiment-based Similarity Model for Recommendation Systems
Simplification	Lambert W function
small model property	Fischer-Ladner Closure for Many-sorted Modal Logic with Application for Operational Semantics
smart contracts	A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution
social media	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
software coupling	An analysis of aggregated coupling's suitability for software defect prediction
software defect prediction	An analysis of aggregated coupling's suitability for software defect prediction
software development	Functional Programming GUIs state of the art
software tools	Web Technologies for Next Generation Symbolic Computation
software-defined infrastructures	Infrastructure as Code for Heterogeneous Computing
Space with distance	Maia’s fixed point theorems for discontinous mappings
spaCy framework	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions
sparse models	Deep Learning at scale with applications to Computer Vision
Species--Reaction Graphs	A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
SPIKE	SPIKE, an automatic theorem prover -- revisited
statistical randomness	A general construction for generating pseudorandom sequences using the digit expansion of real functions
statistics	Gender Issues in Computer Science Research, Education, and Society
Strong Digraphs	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
structural coupling	An analysis of aggregated coupling's suitability for software defect prediction
structured grid	Efficient Parallel Simulations of Wireless Signal Wave Propagation
submissions	SYNASC 2020 Opening
submodular functions	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions
supernode	Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
Suzuki	Approximating fixed points of Suzuki type mapping
Symbolic Computation	Lambert W function Web Technologies for Next Generation Symbolic Computation
T
TBB	Efficient Parallel Simulations of Wireless Signal Wave Propagation
TextRank	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions
TF-IDF	Business Decisions Support using Sentiment Analysis in CRM Systems
theoretical computer science	A Logical Revolution
Tissue Classification	Gastrointestinal polyps classification based on Deep Learning
tourism	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
transfer learning	Quality of Pre-trained Deep-Learning Models for Palmprint Recognition
transprecision	Optimizations for Deep Learning Models for Object Detection
U
U-Net	Automatic Real-Time Road Crack Identification System
Ulam-Hyers stability	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems An extended version of Meir-Keeler theorem
undirected graph	Results on graceful chromatic number for particular graphs
V
Vanishing Point	Automatic Real-Time Road Crack Identification System
vertex coloring	Results on graceful chromatic number for particular graphs
VHR satellite images	Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia
virtual machine	A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution
visual domain adaptation	Recent Trends in Domain Adaptation for Visual Applications
visual programming	Functional Programming GUIs state of the art
VOSViewer	A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
W
wave propagation	Efficient Parallel Simulations of Wireless Signal Wave Propagation
weak abstractness	A Study of Multiparty Interactions in Continuation Semantics
weak and strong convergence	Convergence of the Mann iterative process to fixed points of enriched quasi nonexpansive mappings
Web of Science	A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
web technologies	Web Technologies for Next Generation Symbolic Computation
well-posedness	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems An extended version of Meir-Keeler theorem
Word Mover’s Distance	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions

Disclaimer | Powered by EasyChair Smart Program