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

Days: Monday, September 21st Tuesday, September 22nd Wednesday, September 23rd Thursday, September 24th

Monday, September 21st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:10-10:30Coffee Break
10:30-12:10 Session 4B: MICAS Workshop (I)
Chair:
Location: 045C
10:30
Expressive Data Storage Policies for Multi-cloud Storage Configurations ( abstract )
10:50
SLA-based Secure Cloud Application Development: the SPECS Framework ( abstract )
11:10
A Model-Driven DevOps framework for QoS-aware Cloud applications ( abstract )
11:30
Supporting heterogeneous pools in a single Ceph storage cluster ( abstract )
11:50
An Overview of Monitoring Tools for Big Data and Cloud Applications ( abstract )
12:10-13:30Lunch Break
14:20-14:40Coffee Break
16:20-16:40Coffee Break
Tuesday, September 22nd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-10:50Coffee Break
10:50-12:10 Session 9B: IAFP Workshop (I)
Location: 045C
10:50
Some Hyers-Ulam Stability Results Related To Fixed Point Theorems ( abstract )
11:10
Coupled fixed point theorems for almost contractive mappings ( abstract )
11:30
Fixed point theorems for local almost contractions ( abstract )
11:50
Fixed point theorems for almost convex contractive mappings ( abstract )
12:10-13:10Lunch Break
14:00-14:20Coffee Break
14:20-15:50 Session 11B: IAFP Workshop (II)
Location: 045C
14:20
A comparative study on some recent iterative schemes ( abstract )
14:40
Error estimations and convergence properties of Picard and Mann iteration for strongly demicontractive mappings ( abstract )
15:00
Common fixed points and coupled coincidence points in fuzzy metric spaces ( abstract )
15:20
Fixed point theorems in ordered metric spaces ( abstract )
15:40
Fixed point theorems for non-self multi-valued almost contractions ( abstract )
15:50-16:10Coffee Break
16:10-17:10 Session 12B: IAFP Workshop (III)
Location: 045C
16:10
on the role of the coefficients on the convergence of general type iterative algorithms ( abstract )
16:30
Iterative algorithms for nonself mappings ( abstract )
16:50
A Presic-Maia fixed point theorem ( abstract )
17:10
Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space ( abstract )
Wednesday, September 23rd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:50-10:10Coffee Break
10:10-12:10 Session 14B: IAFP Workshop (IV)
Location: 045C
10:10
A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces ( abstract )
10:30
A JUNGCK TYPE ITERATITON PROCESS IN CONVEX METRIC SPACES ( abstract )
10:50
Some Common Fixed Point Results for Quasi-contractive Type Operators ( abstract )
11:10
On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces ( abstract )
11:30
Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems ( abstract )
11:50
Parallel Solving Systems of Equations – a survey ( abstract )
12:10-13:10Lunch Break
14:00-14:20Coffee Break
14:20-15:40 Session 16B: NCA Workshop
Location: 045C
14:20
Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing ( abstract )
14:40
Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach ( abstract )
15:00
NSC-PSO, a novel PSO variant without speeds and coefficients ( abstract )
15:20
Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps ( abstract )
15:40-16:00Coffee Break
16:00-17:00 Session 17B: HPC-E5 Workshop
Location: A01
16:00
Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures ( abstract )
16:20
Extensions over OpenCL for latency reduction and critical applications ( abstract )
16:00-17:00 Session 17C: ACSys Workshop (I)
Location: A11
16:00
A Framework for Integrating Heterogeneous Agent Communication Platforms ( abstract )
16:20
A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults ( abstract )
16:40
Incremental Reasoning on Strongly Distributed Multi-Agent Systems ( abstract )
17:00-17:20Coffee Break
17:20-18:40 Session 18B: GeoInfo Workshop
Location: 045C
17:20
Evaluation of geomorphons as a basis for quantifying contextual information ( abstract )
17:40
A comparison of pixel-based and geographic object-based image analysis for the classification of soil types ( abstract )
18:00
Assessing the potential of segmentation methods applied on digital terrain models as support for soil mapping ( abstract )
18:20
The impact of using a 4D data assimilation scheme in WRF-ARW Model ( abstract )
Thursday, September 24th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:50-10:10Coffee Break
10:10-11:00 Session 20B: Tutorial: HPC

HPC Tutorial

Location: 045C
11:00-11:20Coffee Break
11:20-12:20 Session 21B: Tutorial: HPC

HPC Tutorial

Location: 045C
12:10-13:30Lunch Break
13:20-14:40 Session 22B: ACSys Workshop (II)
Location: 045C
13:20
A multi-agent architecture for ontology-based diagnosis of mental disorders ( abstract )
13:40
Complex Network Analysis of a Tourism Content Sharing Network ( abstract )
14:00
Modeling Design Flaw Evolution Using Complex Systems ( abstract )
14:20
Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior ( abstract )