SYNASC2019: 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

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

A
adaptive	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
adversarial	An adversarial machine learning approach to evaluate the robustness of a security solution
agent-based platform	Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation
agent-oriented programming	A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture
algebraic curves	Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters
algorithmic music composition	Towards Automated Quality Assessment Methods in Algorithmic Music Composition
almost local contraction	Almost local contractions in b- pseudometric spaces
Ancient DNA	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
anomaly detection	Preventing File-less Attacks with Machine Learning Techniques
artificial intelligence	Identification of elastoplastic material properties using PIES and PSO Artificial Intelligence improving life of type 1 diabetes
artificial neural networks	Methods for training neural networks with zero false positives for malware detection
artificial pancreas	Artificial Intelligence improving life of type 1 diabetes
association rules	Applications of Equivalence Algorithms in Software Design
asteroid detection	A Visual Solution in Asteroids Detection
asteroids	A Visual Solution in Asteroids Detection
astronomical technique	A Visual Solution in Asteroids Detection
asymptotically stable solutions	Existence of asymptotically stable solutions to a nonlinear integral equation of mixed type
Autoencoders	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
automatic fitness raters	Towards Automated Quality Assessment Methods in Algorithmic Music Composition
B
b metric space	Almost local contractions in b- pseudometric spaces
Banach space	Some conjectures on global asymptotic stability for discrete dynamical systems
Bianchini contraction	Approximating fixed points of a general class of Kannan type contractive mappings
Bianchini type mappings	Fixed point theorems in partial ordered H-distance space
bicyclic graph	Bicyclic Connected Graphs Having Smallest Degree Distances
big data	Methods on estimation of trend component Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
Bioinformatics	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
biology	Motif Detection in Biological Networks
blood glucose	Artificial Intelligence improving life of type 1 diabetes
boundary value problems	Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
bounded linear operators	Fixed Point Theorems Applied to Invariant Subspaces Problem on Hilbert Spaces
bounding processor number	Improved Processor Bounding for Non-preemptive Task Scheduling
Buchberger's algorithm for Groebner bases	An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
business intelligence	Applications of Equivalence Algorithms in Software Design
Bézier extraction	Application of T-splines and Bézier extraction for boundary description in Parametric Integral Equation System for 3D Laplace's equation
Bézier patches	Application of T-splines and Bézier extraction for boundary description in Parametric Integral Equation System for 3D Laplace's equation
C
canonical elements	Applications of Equivalence Algorithms in Software Design
Car simulator	Multi-Control Virtual Reality Driving Simulator
cardinality constraint	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
cellular automata	Evolved Cellular Automata for Grey Images Particle Swarm Optimization of Cellular Automata Rules for Edge Detection Autonomous image segmentation by Competitive Unsupervised GrowCut
centroid tracking	A Visual Solution in Asteroids Detection
Cerebral Palsy	Assistive tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training
circle	Computing the Pompeiu-Hausdorff distance between some geometrical sets
circle detection	Computing the Pompeiu-Hausdorff distance between some geometrical sets
class weight	Methods for training neural networks with zero false positives for malware detection
Classification	Methods on estimation of trend component Harmony Search Algorithms for Optimizing Extreme Learning Machines Data driven sales prediction using communication sentiment analysis in B2B CRM systems
Classifier	Improving Detection of Malicious Office Documents using One-Side Classifiers
closed-loop	Artificial Intelligence improving life of type 1 diabetes
cloud	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
Cloud computing	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
cloud motion	Prediction of Cloud Movement from Satellite Images using Neural Networks
cloud services	Applications of Equivalence Algorithms in Software Design
CNN	Localizing Pulmonary Lesions using Fuzzy Deep Learning
cofactors (= Bezout coefficients)	An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
collaborative filtering	A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis
Combinatorial Whale Optimisation Algorithm	Protein Folding Simulation using Combinatorial Whale Optimization Algorithm
Common fixed point	A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
compact mapping	Iterative approximations for non-self operators
compact operator	Some conjectures on global asymptotic stability for discrete dynamical systems
computer vision	Autonomous image segmentation by Competitive Unsupervised GrowCut
condensing mapping	Iterative approximations for non-self operators
Consensus Sequence	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
contraction mapping	Iterative approximations for non-self operators
convolutional neural networks	Deep Learning Techniques Applied for Road Segmentation
critical points	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
curricula equivalence	Applications of Equivalence Algorithms in Software Design
Customer Relationship Management	Data driven sales prediction using communication sentiment analysis in B2B CRM systems
D
data dependence	Almost local contractions in b- pseudometric spaces
data interchange	Applications of Equivalence Algorithms in Software Design
Data Mining analysis	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
data processing	Methods on estimation of trend component
database representation	Applications of Equivalence Algorithms in Software Design
deep learning	Localizing Pulmonary Lesions using Fuzzy Deep Learning Deep Learning Techniques Applied for Road Segmentation An approach of segmentation method using deep learning for CT medical images Evolutionary Design of Deep Neural Networks
degree distance	Bicyclic Connected Graphs Having Smallest Degree Distances
Delay Detection	Solution Framework for Solving the Problem of Real-Time Vehicle Delay Determination within a Transport System
derivation algorithm	Inference System to Achieve Saturation of (F,R,N) Knowledge Bases
dewetted Bridgman technique	Existence and static stability of a capillary free surface appearing in a dewetted Bridgman process II.
Distributed Systems	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
Dixon resultant	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
DNA	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
E
eccentricity	Bicyclic Connected Graphs Having Smallest Degree Distances
edge detection	Evolved Cellular Automata for Grey Images Particle Swarm Optimization of Cellular Automata Rules for Edge Detection
elasticity	Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
elastoplastic properties	Identification of elastoplastic material properties using PIES and PSO
Elimination	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
ellipse	Computing the Pompeiu-Hausdorff distance between some geometrical sets
equivalence and simplification algorithms	Applications of Equivalence Algorithms in Software Design
Estimation of Distribution Algorithm	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
Evolutionary Algorithms	Evolved Cellular Automata for Grey Images Towards Automated Quality Assessment Methods in Algorithmic Music Composition
evolutionary strategies	Evolutionary Design of Deep Neural Networks
Extremal Optimization	Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
Extreme Learning Machine	Harmony Search Algorithms for Optimizing Extreme Learning Machines
Eye Tracking	Assistive tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training
F
false positive mitigation	Methods for training neural networks with zero false positives for malware detection
Feature extraction	Preventing File-less Attacks with Machine Learning Techniques Improving Detection of Malicious Office Documents using One-Side Classifiers
feature selection	Preventing File-less Attacks with Machine Learning Techniques Improving Detection of Malicious Office Documents using One-Side Classifiers
Fermat-Torricelli Problem	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
file-less attacks	Preventing File-less Attacks with Machine Learning Techniques
first-order theorem proving	Superposition Reasoning about Quantified Bitvector Formulas
fixed point	Fixed Point Theorems Applied to Invariant Subspaces Problem on Hilbert Spaces On strong fuzzy metric spaces Approximating fixed points of a general class of Kannan type contractive mappings Almost local contractions in b- pseudometric spaces Some conjectures on global asymptotic stability for discrete dynamical systems Iterative approximations for non-self operators
fixed points	Existence of asymptotically stable solutions to a nonlinear integral equation of mixed type
floods	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
forecasting	Prediction of Cloud Movement from Satellite Images using Neural Networks
forward chaining	Inference System to Achieve Saturation of (F,R,N) Knowledge Bases
fuzzy	Localizing Pulmonary Lesions using Fuzzy Deep Learning
Fuzzy metric spaces	A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
G
Generative Adversarial Networks (GANs)	An adversarial machine learning approach to evaluate the robustness of a security solution
Genetic Algorithm	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
gpu	An approach of segmentation method using deep learning for CT medical images
graceful chromatic number	The graceful chromatic number for some particular classes of graphs
graceful coloring	The graceful chromatic number for some particular classes of graphs
Gram-Schmidt	Rational Gram-Schmidt—Searching vs. Computing
graph	Motif Detection in Biological Networks
Grey Images	Evolved Cellular Automata for Grey Images
Groebner bases w.r.t. lexicographic order	An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
H
Hamming distance	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
Harmony Search	Harmony Search Algorithms for Optimizing Extreme Learning Machines
Hausdorff distance	Computing the Pompeiu-Hausdorff distance between some geometrical sets
High-probability mutation	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
Hilbert spaces	Fixed Point Theorems Applied to Invariant Subspaces Problem on Hilbert Spaces
HP 2D Model	Protein Folding Simulation using Combinatorial Whale Optimization Algorithm
Human-Computer Interaction	Assistive tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training
I
identification	Identification of elastoplastic material properties using PIES and PSO
image classification	Evolutionary Design of Deep Neural Networks
image processing	Particle Swarm Optimization of Cellular Automata Rules for Edge Detection A Visual Solution in Asteroids Detection Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
image segmentation	Autonomous image segmentation by Competitive Unsupervised GrowCut
Implicit function interpolation	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
implicit function problem	A global implicit operator theorem in terms of monotone operators
implicit operator problem	A global implicit operator theorem in terms of monotone operators
inference engine	Inference System to Achieve Saturation of (F,R,N) Knowledge Bases
Influence maximization	Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
integral equations	Existence of asymptotically stable solutions to a nonlinear integral equation of mixed type
interval arithmetic	Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
J
java agent development environment	A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture
K
Kannan contraction	Approximating fixed points of a general class of Kannan type contractive mappings
Kannan type mappings	Fixed point theorems in partial ordered H-distance space
knowledge base	Inference System to Achieve Saturation of (F,R,N) Knowledge Bases
Kransnoselskij iteration	Approximating fixed points of a general class of Kannan type contractive mappings
L
landscape changes	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
large collections	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
large-scale	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
learning components	Applications of Equivalence Algorithms in Software Design
linear genetic programming	Towards Automated Quality Assessment Methods in Algorithmic Music Composition
linear regresion	Artificial Intelligence improving life of type 1 diabetes
lowest and second-lowest elements of Groebner basis	An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
LSTM	Artificial Intelligence improving life of type 1 diabetes
lung cancer	Localizing Pulmonary Lesions using Fuzzy Deep Learning
lung tumor	An approach of segmentation method using deep learning for CT medical images
M
machine learning	Methods for training neural networks with zero false positives for malware detection Source code vulnerabilities detection using loosely coupled data and control flows An adversarial machine learning approach to evaluate the robustness of a security solution Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
malicious arguments	Preventing File-less Attacks with Machine Learning Techniques
malicious macros	Improving Detection of Malicious Office Documents using One-Side Classifiers
malware	An adversarial machine learning approach to evaluate the robustness of a security solution
Malware detection	Improving Detection of Malicious Office Documents using One-Side Classifiers
mathematical handwriting recognition	Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters
mathematical model	Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation
medical imaging	An approach of segmentation method using deep learning for CT medical images
Model Order Reduction	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
Modern DNA	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
monitoring	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
motif	Motif Detection in Biological Networks
multi-agent system	A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture Agent-based Hospital Scheduling System
multivariate polynomial remainder sequences	An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
Mutation	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
N
NEA	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
near-real time	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
networks	Motif Detection in Biological Networks
neural networks	An approach of segmentation method using deep learning for CT medical images Prediction of Cloud Movement from Satellite Images using Neural Networks
nodule detection	Localizing Pulmonary Lesions using Fuzzy Deep Learning
non-preemptive scheduling	Improved Processor Bounding for Non-preemptive Task Scheduling
Non-self mappings	A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
Numerical algebraic geometry	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
numerical approximation	Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters
O
Office documents	Improving Detection of Malicious Office Documents using One-Side Classifiers
older adults	A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson’s Disease
OMT	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
one side	Methods for training neural networks with zero false positives for malware detection
optimization	Sorting Algorithms - When Quick Is Too Fast Identification of elastoplastic material properties using PIES and PSO Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
Orbit Pairing	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
orthogonal polynomial series	Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters
P
parallel programming	Sorting Algorithms - When Quick Is Too Fast
Parametric integral equation system (PIES)	Application of T-splines and Bézier extraction for boundary description in Parametric Integral Equation System for 3D Laplace's equation
Parkinson’s disease	A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson’s Disease
partial ordered	Fixed point theorems in partial ordered H-distance space
particle swarm optimization	Particle Swarm Optimization of Cellular Automata Rules for Edge Detection Evolutionary Design of Deep Neural Networks
patient management	Agent-based Hospital Scheduling System
pattern matching	Applications of Equivalence Algorithms in Software Design
perceptron	Preventing File-less Attacks with Machine Learning Techniques
permafrost zones	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
Permanent Magnet Synchronous Reluctance Machine Switched Reluctance Motor	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
Picard iteration	Iterative approximations for non-self operators
Picard operator	Some conjectures on global asymptotic stability for discrete dynamical systems
PIES	Identification of elastoplastic material properties using PIES and PSO
pipeline	A Visual Solution in Asteroids Detection
Polynomial Interpolation	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
portfolio	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
powershell	Preventing File-less Attacks with Machine Learning Techniques
prediction	Methods on estimation of trend component
Principal Component Analysis	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
Protein Folding Simulation	Protein Folding Simulation using Combinatorial Whale Optimization Algorithm
PSO	Identification of elastoplastic material properties using PIES and PSO
publisher subscriber	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
Q
quantified bitvectors	Superposition Reasoning about Quantified Bitvector Formulas
R
Random Forest	Data driven sales prediction using communication sentiment analysis in B2B CRM systems
Random Search	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
rating prediction	A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis
rational matrices	Rational Gram-Schmidt—Searching vs. Computing
real solutions	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
Recommendation System	A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis
rectangular polynomial remainder sequences	An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
renewable energy	Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation
resnet	Deep Learning Techniques Applied for Road Segmentation
road detection	Deep Learning Techniques Applied for Road Segmentation
S
SAR images	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
SAT	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
SAT/SMT solving	Superposition Reasoning about Quantified Bitvector Formulas
satellite imagery	Prediction of Cloud Movement from Satellite Images using Neural Networks
satellite images processing	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
saturated contraction principle	A global implicit operator theorem in terms of monotone operators
saturation	Inference System to Achieve Saturation of (F,R,N) Knowledge Bases
scheduling	Agent-based Hospital Scheduling System
searching vs. computing	Rational Gram-Schmidt—Searching vs. Computing
security	An adversarial machine learning approach to evaluate the robustness of a security solution
seed radius choice	Existence and static stability of a capillary free surface appearing in a dewetted Bridgman process II.
segment	Computing the Pompeiu-Hausdorff distance between some geometrical sets
segmentation	An approach of segmentation method using deep learning for CT medical images
segnet	Deep Learning Techniques Applied for Road Segmentation
semantic segmentation	Deep Learning Techniques Applied for Road Segmentation
sensor network	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
Sentiment Analysis	A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis Data driven sales prediction using communication sentiment analysis in B2B CRM systems
sentiment recognition	A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson’s Disease
serious games	A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson’s Disease
Shapley value	Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
Simple Genetic Algorithm	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
single-instance tasks	Improved Processor Bounding for Non-preemptive Task Scheduling
smart hospital	Agent-based Hospital Scheduling System
SMT	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
software and application security	Source code vulnerabilities detection using loosely coupled data and control flows
software design	Applications of Equivalence Algorithms in Software Design
Software Engineering	Solution Framework for Solving the Problem of Real-Time Vehicle Delay Determination within a Transport System
software security engineering	Source code vulnerabilities detection using loosely coupled data and control flows
sorting algorithms	Sorting Algorithms - When Quick Is Too Fast
source code vulnerability	Source code vulnerabilities detection using loosely coupled data and control flows
Space with distance	Fixed point theorems in partial ordered H-distance space
spacenet	Deep Learning Techniques Applied for Road Segmentation
speech recognition	A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson’s Disease
Stacking	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
static stability	Existence and static stability of a capillary free surface appearing in a dewetted Bridgman process II.
Strictly convex structure	A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
strong fuzzy metric space	On strong fuzzy metric spaces
structure	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
superposition reasoning	Superposition Reasoning about Quantified Bitvector Formulas
Support Vector Machines	Data driven sales prediction using communication sentiment analysis in B2B CRM systems
Sylvester resultant	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
Symbolic-Numeric hybrid computation	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
T
T-splines	Application of T-splines and Bézier extraction for boundary description in Parametric Integral Equation System for 3D Laplace's equation
taxicab distance	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
Transport Network	Solution Framework for Solving the Problem of Real-Time Vehicle Delay Determination within a Transport System
type 1 diabetes	Artificial Intelligence improving life of type 1 diabetes
U
uncertainty	Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
undirected graph	The graceful chromatic number for some particular classes of graphs
unet	Deep Learning Techniques Applied for Road Segmentation
uniform space	On strong fuzzy metric spaces
User Experience	Multi-Control Virtual Reality Driving Simulator
V
Vampire	Superposition Reasoning about Quantified Bitvector Formulas
VBA macro	Improving Detection of Malicious Office Documents using One-Side Classifiers
Vehicle	Solution Framework for Solving the Problem of Real-Time Vehicle Delay Determination within a Transport System
vertex coloring	The graceful chromatic number for some particular classes of graphs
virtual network functions placement	A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture
virtual organisms	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
Virtual Reality	Multi-Control Virtual Reality Driving Simulator
W
Whale Optimisation Algorithm	Protein Folding Simulation using Combinatorial Whale Optimization Algorithm
wmi	Preventing File-less Attacks with Machine Learning Techniques
WSN	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
Z
zero false positives	Methods for training neural networks with zero false positives for malware detection

Disclaimer | Powered by EasyChair Smart Program