SYNASC 2015: 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

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

\
\#SAT	Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
A
abstract interpretations	Static Analysis in Finitely Supported Mathematics
accuracy	Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Algebraic Petri Nets	An Algebraic Petri Nets Emulator
AMD	GPU solver for systems of linear equations with infinite precision
aperiodic pseudorandom number generators	On the existence of 1-bounded bi-ideals with the WELLDOC property.
approximate solutions	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
arithmetic with giant numbers	The Arithmetic of Even-Odd Trees
artificial neural networks	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Audio signal processing	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
automatic language identification	Automatic Language Identification for Romance Languages using Stop Words and Diacritics
B
BCI	A matter of trust: smart home system relying on logic, BCI and sensor agents
Bernstein expansions	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
bi-conjugate gradient method	Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
bifurcation analysis	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
bifurcations	Numerical investigations of equilibriums in a flight with high angle of attack
Biideals	On the existence of 1-bounded bi-ideals with the WELLDOC property.
binary encoding	High Probability Mutation and Error Thresholds in Genetic Algorithms
binary trees	Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
brain-computer interfacing	A matter of trust: smart home system relying on logic, BCI and sensor agents
branch and bound	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
C
Chirped Gaussian window	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
classification	Business reviews classification using sentiment analysis
Clifford-valued neural networks	Lie Algebra-Valued Hopfield Neural Networks
Cloud Computing	Scalable and fault tolerant monitoring of security parameters in the cloud
Clustering	Adaptations of the k-means algorithm to community detection in parallel environments
compiler verification	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
complex symmetric matrices	Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
Compressive sensing	Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
conjugate orthogonal conjugate gradient method	Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
consensus sequences	High Probability Mutation and Error Thresholds in Genetic Algorithms
constant forward velocity	Numerical investigations of equilibriums in a flight with high angle of attack
continuations	Continuation Semantics for Dynamic Hierarchical Systems
contour integration	Computation of Stirling numbers and generalizations
convolutional neural networks	Comparative Analysis of Existing Architectures for General Game Agents
crowd motion analysis	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
D
default parameters	Automatic definition of optimal default parameters of models
dense matrix representation	GPU solver for systems of linear equations with infinite precision
dense matrix-vector multiplication	GPU solver for systems of linear equations with infinite precision
diacritics	Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Discrete Gabor Transform	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Distributed System	Scalable and fault tolerant monitoring of security parameters in the cloud
dynamic hierarchical system	Continuation Semantics for Dynamic Hierarchical Systems
Dynamic systems	An Algebraic Petri Nets Emulator
E
EDP	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
elitism	High Probability Mutation and Error Thresholds in Genetic Algorithms
Energy efficient	An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring
Energy function	Lie Algebra-Valued Hopfield Neural Networks
epistemic logic	A matter of trust: smart home system relying on logic, BCI and sensor agents
equilibriums	Numerical investigations of equilibriums in a flight with high angle of attack
error thresholds	High Probability Mutation and Error Thresholds in Genetic Algorithms
evolutionary design optimization	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
evolutionary parameters	High Probability Mutation and Error Thresholds in Genetic Algorithms
Expert Systems	Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
extended Hensel construction	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Extensions	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
F
false positive rate	Feature creation using genetic programming with application in malware detection
Fault-tolerant	Scalable and fault tolerant monitoring of security parameters in the cloud
feature creation	Feature creation using genetic programming with application in malware detection
finite multiset	Simple Venn Diagrams for Finite Multisets
first-order theorem provers	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
G
games	Comparative Analysis of Existing Architectures for General Game Agents
General sum-connectivity index	General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
generation of well-typed combinator expressions	n Type Inference, Generation and Normalization of SK-combinator Trees
genetic algorithms	High Probability Mutation and Error Thresholds in Genetic Algorithms
genetic programming	Feature creation using genetic programming with application in malware detection
global surrogate models	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
GPGPU	GPU solver for systems of linear equations with infinite precision
GPU	GPU solver for systems of linear equations with infinite precision
group reasoning	A matter of trust: smart home system relying on logic, BCI and sensor agents
H
Hidden Markov Model	Forecasting Techniques for Time Series from Sensor Data
high performance numerical linear algebra	GPU solver for systems of linear equations with infinite precision Space and execution efficient formats for modern processor architectures
high probability mutation	High Probability Mutation and Error Thresholds in Genetic Algorithms
Homogenization	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Hopfield neural networks	Lie Algebra-Valued Hopfield Neural Networks
I
Inclusion-Exclusion Principle	Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
interval arithmetic	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
invariant correctness and invariant representation	Static Analysis in Finitely Supported Mathematics
invariant set theory	Static Analysis in Finitely Supported Mathematics
Inverse problems	Identifiability and noise robustness for l1-analysis regularizations in compressive sensing Automatic definition of optimal default parameters of models
K
Krylov subspace methods	Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
L
Lagrange inversion	Lagrange Inversion and series for Lambert W
Lambda calculus	Lambda Calculus with Regular Types n Type Inference, Generation and Normalization of SK-combinator Trees
Lambert W	Lagrange Inversion and series for Lambert W
large data sets	Feature creation using genetic programming with application in malware detection A Study on Techniques for Proactively Identifying Malicious URLs
large databases	Improving malware detection response time with behavior-based statistical analysis techniques
Large graphs	Adaptations of the k-means algorithm to community detection in parallel environments
Lie algebra-valued neural networks	Lie Algebra-Valued Hopfield Neural Networks
linear equations	Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
logic of trust	A matter of trust: smart home system relying on logic, BCI and sensor agents
logic programming as meta-language	n Type Inference, Generation and Normalization of SK-combinator Trees
Long Short-Term Memory	Forecasting Techniques for Time Series from Sensor Data
longitudinal flight	Numerical investigations of equilibriums in a flight with high angle of attack
lower and upper bound on processor number	An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
M
machine learning	A Study on Techniques for Proactively Identifying Malicious URLs Business reviews classification using sentiment analysis
Making decisions	Automatic definition of optimal default parameters of models
malicious behavior	Improving malware detection response time with behavior-based statistical analysis techniques
malicious URLs	A Study on Techniques for Proactively Identifying Malicious URLs
malware detection	Improving malware detection response time with behavior-based statistical analysis techniques
mathematical modeling	Automatic definition of optimal default parameters of models
mean-field model	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
membrane computing	Continuation Semantics for Dynamic Hierarchical Systems
metric semantics	Continuation Semantics for Dynamic Hierarchical Systems
mobile agents	A matter of trust: smart home system relying on logic, BCI and sensor agents
model-free algorithms	Comparative Analysis of Existing Architectures for General Game Agents
modular arithmetic	GPU solver for systems of linear equations with infinite precision
Monitoring Security	Scalable and fault tolerant monitoring of security parameters in the cloud
Monte-Carlo method	Automatic definition of optimal default parameters of models
Multi-agent system	An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring
multi-agent systems	Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
multi-criteria optimization	Automatic definition of optimal default parameters of models
multiprocessor scheduling	An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
multiset	Properties of Multiset Orders by Minimal and Maximal Submultisets
multiset order	Simple Venn Diagrams for Finite Multisets Properties of Multiset Orders by Minimal and Maximal Submultisets
N
neuroevolution	Comparative Analysis of Existing Architectures for General Game Agents
non-preemptive scheduling	An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
nonlinear differential equations	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
nonzero substitution	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
normalization	n Type Inference, Generation and Normalization of SK-combinator Trees
numerical solutions	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
O
OBJ specification language	An Algebraic Petri Nets Emulator
one side class perceptron	Feature creation using genetic programming with application in malware detection
OpenCL	GPU solver for systems of linear equations with infinite precision
OpenMP	GPU solver for systems of linear equations with infinite precision Space and execution efficient formats for modern processor architectures
opinion mining	Business reviews classification using sentiment analysis
optimal homotopy asymptotic method	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Optimal lattice	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Optimal window	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
ordinary differential equations	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
P
Parallel algorithms	Adaptations of the k-means algorithm to community detection in parallel environments
parallel execution	GPU solver for systems of linear equations with infinite precision Space and execution efficient formats for modern processor architectures
parallel multiset rewriting	Continuation Semantics for Dynamic Hierarchical Systems
partial differential equations	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
paving	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Pendant vertex	General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
Portfolio Optimization	Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
proactivity	A Study on Techniques for Proactively Identifying Malicious URLs
purely functional algorithms	The Arithmetic of Even-Odd Trees
Q
Q-learning	Comparative Analysis of Existing Architectures for General Game Agents
R
Recurrence relations	Computation of Stirling numbers and generalizations
Recurrent Neural Networks	Forecasting Techniques for Time Series from Sensor Data
Regular expressions	Lambda Calculus with Regular Types
Rewriting	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Risk Management	Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
S
SAT	Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
SAT Solver	Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
scheduling algorithm	An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
selection pressure	High Probability Mutation and Error Thresholds in Genetic Algorithms
sentiment analysis	Business reviews classification using sentiment analysis
series expansions	Lagrange Inversion and series for Lambert W
similarity transformations	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Simultaneous Temporal and Contextual Splits	Forecasting Techniques for Time Series from Sensor Data
singular leading coefficient	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
SK-combinator calculus	n Type Inference, Generation and Normalization of SK-combinator Trees
space-efficient formats	Space and execution efficient formats for modern processor architectures
Sparse analysis regularization	Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
sparse matrix-vector multiplication	Space and execution efficient formats for modern processor architectures
Sparse multivariate polynomial GCD	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
sparse storage formats	Space and execution efficient formats for modern processor architectures
Special functions	Lagrange Inversion and series for Lambert W
stability	Numerical investigations of equilibriums in a flight with high angle of attack
statistical analysis	Improving malware detection response time with behavior-based statistical analysis techniques
Stirling numbers	Computation of Stirling numbers and generalizations
stop words	Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Strategies	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
stretching rate	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
submultiset	Properties of Multiset Orders by Minimal and Maximal Submultisets
symbolic integration	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
synthesis	Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
system of linear equations	GPU solver for systems of linear equations with infinite precision
T
termination	Properties of Multiset Orders by Minimal and Maximal Submultisets
text reviews	Business reviews classification using sentiment analysis
Theorema	Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
tolerance/sensitivity analysis	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
tptp	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Tree	General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
tree-based number representations	The Arithmetic of Even-Odd Trees
type inference	n Type Inference, Generation and Normalization of SK-combinator Trees
Types	Lambda Calculus with Regular Types
U
unconventional numbering systems	The Arithmetic of Even-Odd Trees
Unicyclic graph	General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
unsupervised learning	A Study on Techniques for Proactively Identifying Malicious URLs
V
vanHelsing	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
variable weighting	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Venn diagram	Simple Venn Diagrams for Finite Multisets
viscous fluid	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Vital Signs Monitoring	An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring
W
well founded induction	Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
WELLDOC property	On the existence of 1-bounded bi-ideals with the WELLDOC property.
Wireless Body Area Network	An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring

Disclaimer | Powered by EasyChair Smart Program