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

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

\
\#SAT	(Conference) Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
A
ABC	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
abstract interpretations	(Conference) Static Analysis in Finitely Supported Mathematics
accuracy	(Conference) Automatic Language Identification for Romance Languages using Stop Words and Diacritics
adaptive data structure	(Workshops) Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures
agent framework	(Workshops) A Framework for Integrating Heterogeneous Agent Communication Platforms
Algebraic Petri Nets	(Conference) An Algebraic Petri Nets Emulator
almost contraction	(Workshops) Coupled fixed point theorems for almost contractive mappings (Workshops) Fixed point theorems for local almost contractions
ambient intelligence	(Workshops) A Framework for Integrating Heterogeneous Agent Communication Platforms
AMD	(Conference) GPU solver for systems of linear equations with infinite precision
aperiodic pseudorandom number generators	(Conference) On the existence of 1-bounded bi-ideals with the WELLDOC property.
API	(Workshops) Extensions over OpenCL for latency reduction and critical applications
approximate solutions	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
approximation	(Workshops) Some Common Fixed Point Results for Quasi-contractive Type Operators
arithmetic with giant numbers	(Conference) The Arithmetic of Even-Odd Trees
Artificial Bee Colony	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
artificial neural networks	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
asymptotic behaviour	(Workshops) on the role of the coefficients on the convergence of general type iterative algorithms
Audio signal processing	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Auto-Scaling	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
automatic language identification	(Conference) Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Automatic security enforcement	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
B
Banach space	(Workshops) Fixed point theorems for non-self multi-valued almost contractions
BCI	(Conference) A matter of trust: smart home system relying on logic, BCI and sensor agents
Bernstein expansions	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
bi-conjugate gradient method	(Conference) Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
bifurcation analysis	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
bifurcations	(Conference) Numerical investigations of equilibriums in a flight with high angle of attack
big data	(Workshops) An Overview of Monitoring Tools for Big Data and Cloud Applications
Biideals	(Conference) On the existence of 1-bounded bi-ideals with the WELLDOC property.
binary encoding	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
binary relation	(Workshops) Fixed point theorems in ordered metric spaces
binary trees	(Conference) Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
brain-computer interfacing	(Conference) A matter of trust: smart home system relying on logic, BCI and sensor agents
branch and bound	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
C
C Sharp	(Workshops) Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space
canonical PSO	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
Capacity allocation	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
CAT(k)-spaces	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces
Ceph	(Workshops) Supporting heterogeneous pools in a single Ceph storage cluster
CGOP	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
Chirped Gaussian window	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
classification	(Conference) Business reviews classification using sentiment analysis
Clifford-valued neural networks	(Conference) Lie Algebra-Valued Hopfield Neural Networks
Cloud Computing	(Conference) Scalable and fault tolerant monitoring of security parameters in the cloud (Workshops) An Overview of Monitoring Tools for Big Data and Cloud Applications (Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders
Cloud SLA	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
Cloud Storage	(Workshops) Supporting heterogeneous pools in a single Ceph storage cluster
Clustering	(Conference) Adaptations of the k-means algorithm to community detection in parallel environments
Common fixed point	(Workshops) Common fixed points and coupled coincidence points in fuzzy metric spaces (Workshops) A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces
compiler verification	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
complex networks	(Workshops) Complex Network Analysis of a Tourism Content Sharing Network
complex symmetric matrices	(Conference) Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
Compressive sensing	(Conference) Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
conjugate orthogonal conjugate gradient method	(Conference) Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
consensus sequences	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
constant forward velocity	(Conference) Numerical investigations of equilibriums in a flight with high angle of attack
content sharing network	(Workshops) Complex Network Analysis of a Tourism Content Sharing Network
continuations	(Conference) Continuation Semantics for Dynamic Hierarchical Systems
Continuous Global Optimization Problem	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
contour integration	(Conference) Computation of Stirling numbers and generalizations
contraction	(Workshops) Fixed point theorems for non-self multi-valued almost contractions
convergence rate	(Workshops) Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems
convergence theorem	(Workshops) on the role of the coefficients on the convergence of general type iterative algorithms
convex almost contraction	(Workshops) Fixed point theorems for almost convex contractive mappings
convex metric space	(Workshops) A JUNGCK TYPE ITERATITON PROCESS IN CONVEX METRIC SPACES
convolutional neural networks	(Conference) Comparative Analysis of Existing Architectures for General Game Agents
coupled coincidence point	(Workshops) Common fixed points and coupled coincidence points in fuzzy metric spaces
coupled fixed point	(Workshops) Fixed point theorems in ordered metric spaces
cPSO	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
crowd motion analysis	(Conference) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
D
D-convergence	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces
Data access middleware	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
data assimilation	(Workshops) The impact of using a 4D data assimilation scheme in WRF-ARW Model
Data storage policies	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
default parameters	(Conference) Automatic definition of optimal default parameters of models
Demicontractive mapping	(Workshops) Error estimations and convergence properties of Picard and Mann iteration for strongly demicontractive mappings
dense matrix representation	(Conference) GPU solver for systems of linear equations with infinite precision
dense matrix-vector multiplication	(Conference) GPU solver for systems of linear equations with infinite precision
design flaw	(Workshops) Modeling Design Flaw Evolution Using Complex Systems
diacritics	(Conference) Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Digital Elevation Model	(Workshops) A comparison of pixel-based and geographic object-based image analysis for the classification of soil types
Discrete Gabor Transform	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Distributed System	(Conference) Scalable and fault tolerant monitoring of security parameters in the cloud
distributed systems	(Workshops) An Overview of Monitoring Tools for Big Data and Cloud Applications
dynamic hierarchical system	(Conference) Continuation Semantics for Dynamic Hierarchical Systems
Dynamic systems	(Conference) An Algebraic Petri Nets Emulator
E
e-Health	(Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders
EDP	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
eldergames	(Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
elitism	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
Energy efficient	(Conference) An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring
Energy function	(Conference) Lie Algebra-Valued Hopfield Neural Networks
epistemic logic	(Conference) A matter of trust: smart home system relying on logic, BCI and sensor agents
equations system	(Workshops) Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems
equations systems	(Workshops) Parallel Solving Systems of Equations – a survey
equilibriums	(Conference) Numerical investigations of equilibriums in a flight with high angle of attack
error thresholds	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
ESP	(Workshops) Assessing the potential of segmentation methods applied on digital terrain models as support for soil mapping
evolutionary algorithms	(Workshops) Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems
evolutionary design optimization	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
evolutionary parameters	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
Expert Systems	(Conference) Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
extended Hensel construction	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Extensions	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
F
false positive rate	(Conference) Feature creation using genetic programming with application in malware detection
Fault-tolerant	(Conference) Scalable and fault tolerant monitoring of security parameters in the cloud
feature creation	(Conference) Feature creation using genetic programming with application in malware detection
File systems	(Workshops) Supporting heterogeneous pools in a single Ceph storage cluster
finite multiset	(Conference) Simple Venn Diagrams for Finite Multisets
first-order theorem provers	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
fitness function	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
fixed point	(Workshops) Coupled fixed point theorems for almost contractive mappings (Workshops) Some Hyers-Ulam Stability Results Related To Fixed Point Theorems (Workshops) Fixed point theorems for almost convex contractive mappings (Workshops) Error estimations and convergence properties of Picard and Mann iteration for strongly demicontractive mappings (Workshops) Some Common Fixed Point Results for Quasi-contractive Type Operators (Workshops) Iterative algorithms for nonself mappings (Workshops) A comparative study on some recent iterative schemes
Fixed point theory	(Workshops) Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space
fixed points	(Workshops) Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems (Workshops) Fixed point theorems for local almost contractions
fuzzy metric	(Workshops) Common fixed points and coupled coincidence points in fuzzy metric spaces
G
games	(Conference) Comparative Analysis of Existing Architectures for General Game Agents
General sum-connectivity index	(Conference) General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
generation of well-typed combinator expressions	(Conference) n Type Inference, Generation and Normalization of SK-combinator Trees
Genetic algorithm	(Workshops) Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space
genetic algorithms	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
genetic programming	(Conference) Feature creation using genetic programming with application in malware detection
geomorphometry	(Workshops) Evaluation of geomorphons as a basis for quantifying contextual information
geomorphon	(Workshops) Evaluation of geomorphons as a basis for quantifying contextual information
global surrogate models	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
GPGPU	(Conference) GPU solver for systems of linear equations with infinite precision (Workshops) Extensions over OpenCL for latency reduction and critical applications
GPU	(Conference) GPU solver for systems of linear equations with infinite precision
group reasoning	(Conference) A matter of trust: smart home system relying on logic, BCI and sensor agents
Growing Hierarchical Self-organizing Maps	(Workshops) Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps
H
healthy menu recommendation	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Hessian Matrix	(Workshops) Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space
Hidden Markov Model	(Conference) Forecasting Techniques for Time Series from Sensor Data
high performance numerical linear algebra	(Conference) GPU solver for systems of linear equations with infinite precision (Conference) Space and execution efficient formats for modern processor architectures
high probability mutation	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
high-performance computing	(Workshops) Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures
hJ1 triangulation	(Workshops) Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space
Homogenization	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Honey Bees Mating Optimization	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Hopfield neural networks	(Conference) Lie Algebra-Valued Hopfield Neural Networks
host	(Workshops) Extensions over OpenCL for latency reduction and critical applications
I
image processing	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Inclusion-Exclusion Principle	(Conference) Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
incremental reasoning	(Workshops) Incremental Reasoning on Strongly Distributed Multi-Agent Systems
Integer labels	(Workshops) Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space
Internet of Things	(Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders
interval arithmetic	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
invariant correctness and invariant representation	(Conference) Static Analysis in Finitely Supported Mathematics
invariant set theory	(Conference) Static Analysis in Finitely Supported Mathematics
Inverse problems	(Conference) Identifiability and noise robustness for l1-analysis regularizations in compressive sensing (Conference) Automatic definition of optimal default parameters of models
iteration method	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces
iteration process	(Workshops) A JUNGCK TYPE ITERATITON PROCESS IN CONVEX METRIC SPACES
iterative method	(Workshops) on the role of the coefficients on the convergence of general type iterative algorithms
iterative methods	(Workshops) Parallel Solving Systems of Equations – a survey
iterative scheme	(Workshops) A comparative study on some recent iterative schemes
iterative sequence	(Workshops) Iterative algorithms for nonself mappings
K
kinect	(Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
Knowledge Extraction	(Workshops) Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior
Krylov subspace methods	(Conference) Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
L
Lagrange inversion	(Conference) Lagrange Inversion and series for Lambert W
Lambda calculus	(Conference) Lambda Calculus with Regular Types (Conference) n Type Inference, Generation and Normalization of SK-combinator Trees
Lambert W	(Conference) Lagrange Inversion and series for Lambert W
landform	(Workshops) Evaluation of geomorphons as a basis for quantifying contextual information
landscape metrics	(Workshops) Evaluation of geomorphons as a basis for quantifying contextual information
Landscape segmentation	(Workshops) A comparison of pixel-based and geographic object-based image analysis for the classification of soil types (Workshops) Assessing the potential of segmentation methods applied on digital terrain models as support for soil mapping
large data sets	(Conference) Feature creation using genetic programming with application in malware detection (Conference) A Study on Techniques for Proactively Identifying Malicious URLs
large databases	(Conference) Improving malware detection response time with behavior-based statistical analysis techniques
Large graphs	(Conference) Adaptations of the k-means algorithm to community detection in parallel environments
latency	(Workshops) Extensions over OpenCL for latency reduction and critical applications
Lie algebra-valued neural networks	(Conference) Lie Algebra-Valued Hopfield Neural Networks
linear equations	(Conference) Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
local contraction	(Workshops) Fixed point theorems for local almost contractions
logic of trust	(Conference) A matter of trust: smart home system relying on logic, BCI and sensor agents
logic programming as meta-language	(Conference) n Type Inference, Generation and Normalization of SK-combinator Trees
logical reductions	(Workshops) Incremental Reasoning on Strongly Distributed Multi-Agent Systems
Long Short-Term Memory	(Conference) Forecasting Techniques for Time Series from Sensor Data
longitudinal flight	(Conference) Numerical investigations of equilibriums in a flight with high angle of attack
lower and upper bound on processor number	(Conference) An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
M
machine learning	(Conference) A Study on Techniques for Proactively Identifying Malicious URLs (Conference) Business reviews classification using sentiment analysis
Maia's fixed point theorem	(Workshops) A Presic-Maia fixed point theorem
Making decisions	(Conference) Automatic definition of optimal default parameters of models
malicious behavior	(Conference) Improving malware detection response time with behavior-based statistical analysis techniques
malicious URLs	(Conference) A Study on Techniques for Proactively Identifying Malicious URLs
malware detection	(Conference) Improving malware detection response time with behavior-based statistical analysis techniques
Mann iteration	(Workshops) Error estimations and convergence properties of Picard and Mann iteration for strongly demicontractive mappings
mathematical modeling	(Conference) Automatic definition of optimal default parameters of models
mean-field model	(Conference) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
membrane computing	(Conference) Continuation Semantics for Dynamic Hierarchical Systems
metric semantics	(Conference) Continuation Semantics for Dynamic Hierarchical Systems
metric space	(Workshops) Fixed point theorems for almost convex contractive mappings (Workshops) A Presic-Maia fixed point theorem
mobile agents	(Conference) A matter of trust: smart home system relying on logic, BCI and sensor agents
model-free algorithms	(Conference) Comparative Analysis of Existing Architectures for General Game Agents
modular arithmetic	(Conference) GPU solver for systems of linear equations with infinite precision
monitoring	(Workshops) An Overview of Monitoring Tools for Big Data and Cloud Applications
Monitoring Security	(Conference) Scalable and fault tolerant monitoring of security parameters in the cloud
Monte-Carlo method	(Conference) Automatic definition of optimal default parameters of models
Multi-agent architecture	(Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders
Multi-agent system	(Conference) An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring (Workshops) Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior
multi-agent systems	(Conference) Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence (Workshops) Incremental Reasoning on Strongly Distributed Multi-Agent Systems (Workshops) A Framework for Integrating Heterogeneous Agent Communication Platforms
Multi-cloud	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
multi-criteria optimization	(Conference) Automatic definition of optimal default parameters of models
multi-grid-like solver concept	(Workshops) Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures
multiprocessor scheduling	(Conference) An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
multiset	(Conference) Properties of Multiset Orders by Minimal and Maximal Submultisets
multiset order	(Conference) Simple Venn Diagrams for Finite Multisets (Conference) Properties of Multiset Orders by Minimal and Maximal Submultisets
multivalued map	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces
N
neuroevolution	(Conference) Comparative Analysis of Existing Architectures for General Game Agents
No Speeds and Coefficients Particle Swarm Optimization	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
non expansive map	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces
non-preemptive scheduling	(Conference) An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
non-self operator	(Workshops) Fixed point theorems for non-self multi-valued almost contractions
nonlinear differential equations	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
nonself mapping	(Workshops) Iterative algorithms for nonself mappings
nonzero substitution	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
normalization	(Conference) n Type Inference, Generation and Normalization of SK-combinator Trees
NoSQL	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
NSC-PSO	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
numerical solutions	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
numerical weather prediction	(Workshops) The impact of using a 4D data assimilation scheme in WRF-ARW Model
O
OBIA	(Workshops) Assessing the potential of segmentation methods applied on digital terrain models as support for soil mapping
OBJ specification language	(Conference) An Algebraic Petri Nets Emulator
Object	(Workshops) A comparison of pixel-based and geographic object-based image analysis for the classification of soil types
one side class perceptron	(Conference) Feature creation using genetic programming with application in malware detection
Ontology	(Workshops) Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior
Ontology-based diagnosis	(Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders
OpenCL	(Conference) GPU solver for systems of linear equations with infinite precision (Workshops) Extensions over OpenCL for latency reduction and critical applications
OpenMP	(Conference) GPU solver for systems of linear equations with infinite precision (Conference) Space and execution efficient formats for modern processor architectures
opinion mining	(Conference) Business reviews classification using sentiment analysis
optimal homotopy asymptotic method	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Optimal lattice	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Optimal window	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Optimization	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
optimization problem	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
ordered set	(Workshops) Coupled fixed point theorems for almost contractive mappings
ordinary differential equations	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
P
Parallel algorithms	(Conference) Adaptations of the k-means algorithm to community detection in parallel environments
parallel computing	(Workshops) Parallel Solving Systems of Equations – a survey
parallel execution	(Conference) GPU solver for systems of linear equations with infinite precision (Conference) Space and execution efficient formats for modern processor architectures
parallel multiset rewriting	(Conference) Continuation Semantics for Dynamic Hierarchical Systems
parameter tuning	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
partial differential equations	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Particle Swarm Optimization	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
paving	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Pendant vertex	(Conference) General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
Picard iteration	(Workshops) Error estimations and convergence properties of Picard and Mann iteration for strongly demicontractive mappings
Policy rewriting	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
Portfolio Optimization	(Conference) Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
Presic's fixed point theorem	(Workshops) A Presic-Maia fixed point theorem
proactivity	(Conference) A Study on Techniques for Proactively Identifying Malicious URLs
Probabilistic metric spaces	(Workshops) A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces
PSO	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
purely functional algorithms	(Conference) The Arithmetic of Even-Odd Trees
Q
Q-learning	(Conference) Comparative Analysis of Existing Architectures for General Game Agents
QoS	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
quasi-contractive map	(Workshops) Some Common Fixed Point Results for Quasi-contractive Type Operators
R
R-weakly commuting mappings	(Workshops) A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces
rate of convergence	(Workshops) A comparative study on some recent iterative schemes
Recurrence relations	(Conference) Computation of Stirling numbers and generalizations
Recurrent Neural Networks	(Conference) Forecasting Techniques for Time Series from Sensor Data
refactoring advice	(Workshops) Modeling Design Flaw Evolution Using Complex Systems
Regular expressions	(Conference) Lambda Calculus with Regular Types
remote patient health monitoring	(Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
response surface model	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Rewriting	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Risk Management	(Conference) Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
S
SAT	(Conference) Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
SAT Solver	(Conference) Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
scheduling algorithm	(Conference) An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
Security Service Level Agreement	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
selection pressure	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
sentiment analysis	(Conference) Business reviews classification using sentiment analysis (Workshops) Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps
series expansions	(Conference) Lagrange Inversion and series for Lambert W
serious games for health	(Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
SI	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
similarity transformations	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Simultaneous Temporal and Contextual Splits	(Conference) Forecasting Techniques for Time Series from Sensor Data
singular leading coefficient	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
SK-combinator calculus	(Conference) n Type Inference, Generation and Normalization of SK-combinator Trees
software	(Workshops) Extensions over OpenCL for latency reduction and critical applications
Soil type	(Workshops) A comparison of pixel-based and geographic object-based image analysis for the classification of soil types
Soil Units	(Workshops) Assessing the potential of segmentation methods applied on digital terrain models as support for soil mapping
space-efficient formats	(Conference) Space and execution efficient formats for modern processor architectures
Sparse analysis regularization	(Conference) Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
sparse matrix-vector multiplication	(Conference) Space and execution efficient formats for modern processor architectures
Sparse multivariate polynomial GCD	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
sparse storage formats	(Conference) Space and execution efficient formats for modern processor architectures
Special functions	(Conference) Lagrange Inversion and series for Lambert W
speed-up measurements	(Workshops) Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures
stability	(Conference) Numerical investigations of equilibriums in a flight with high angle of attack (Workshops) Some Hyers-Ulam Stability Results Related To Fixed Point Theorems
statistical analysis	(Conference) Improving malware detection response time with behavior-based statistical analysis techniques
Stirling numbers	(Conference) Computation of Stirling numbers and generalizations
Stock Market Prediction	(Workshops) Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior
stop words	(Conference) Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Strategies	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
stretching rate	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
strong convergence	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces (Workshops) A JUNGCK TYPE ITERATITON PROCESS IN CONVEX METRIC SPACES
submultiset	(Conference) Properties of Multiset Orders by Minimal and Maximal Submultisets
Swarm Intelligence	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
symbolic integration	(Conference) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
symmetrical condition	(Workshops) Fixed point theorems in ordered metric spaces
syntactically defined translation schemes	(Workshops) Incremental Reasoning on Strongly Distributed Multi-Agent Systems
synthesis	(Conference) Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
system evolution	(Workshops) Modeling Design Flaw Evolution Using Complex Systems
system graph	(Workshops) A Framework for Integrating Heterogeneous Agent Communication Platforms
system of linear equations	(Conference) GPU solver for systems of linear equations with infinite precision
T
termination	(Conference) Properties of Multiset Orders by Minimal and Maximal Submultisets
text reviews	(Conference) Business reviews classification using sentiment analysis
Theorema	(Conference) Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
tolerance/sensitivity analysis	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
tourism information	(Workshops) Complex Network Analysis of a Tourism Content Sharing Network
tptp	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Tree	(Conference) General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
tree-based number representations	(Conference) The Arithmetic of Even-Odd Trees
type inference	(Conference) n Type Inference, Generation and Normalization of SK-combinator Trees
Types	(Conference) Lambda Calculus with Regular Types
U
Ulam-Hyers	(Workshops) Some Hyers-Ulam Stability Results Related To Fixed Point Theorems
unconventional numbering systems	(Conference) The Arithmetic of Even-Odd Trees
Unicyclic graph	(Conference) General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
unsupervised learning	(Conference) A Study on Techniques for Proactively Identifying Malicious URLs
unsupervised neural network	(Workshops) Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps
User-centric security negotiation	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
V
vanHelsing	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
variable weighting	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Venn diagram	(Conference) Simple Venn Diagrams for Finite Multisets
viscous fluid	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Vital Signs Monitoring	(Conference) An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring
W
well founded induction	(Conference) Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
well-being	(Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
WELLDOC property	(Conference) On the existence of 1-bounded bi-ideals with the WELLDOC property.
Wireless Body Area Network	(Conference) An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring
WRF Model	(Workshops) The impact of using a 4D data assimilation scheme in WRF-ARW Model

Disclaimer | Powered by EasyChair Smart Program