ADVCOMP 2016, The Tenth International Conference on Advanced Engineering Computing and Applications in Sciences

Type: conference

Notes: IARIA Conference.

Editors:
Alexey Cheptsov, High Performance Computing Center - Stuttgart, Germany
Abir Alharbi, King Saud University, Riyadh, Saudi Arabia

ISSN: 2308-4499

ISBN: 978-1-61208-506-7

Location: Venice, Italy

Dates: from October 9, 2016 to October 13, 2016

Articles: there are 19 articles

A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction
René Haberland and Kirill Krinkin
keywords: heap logic, points-to heap specification and verification, spatial heap operation ambiguity

Reliability Assessment Based on Modelling and Simulations
Zhibo Ma and Ming Yu
keywords: modelling & simulation;uncertainty quantification; calibration; verification & validation; reliability assessment.

On the Implementation of Novel Velocity-based 3D Beam
Eva Zupan and Dejan Zupan
keywords: non-linear dynamics; spatial beams; finite-element method; velocity-based approach;

An Algorithm for Expensive Optimization Problems
Yoel Tennne
keywords: expensive optimization problems; metamodels; ensembles; computational intelligence

Parallel Program Complex “Express-3D” for 3D Flows Simulation on Hybrid Computer Systems
Alexander A. Davydov and Evgeny V. Shilnikov
keywords: quasi gas dynamic equations; explicit scheme; finite volume method, nonorthogonal grid; hybrid supercomputer architecture

Mathematical Modeling of Water Purification Process of Iron Containing Impurities
Tatiana Kudryashova and Sergey Polyakov
keywords: mathematical modeling; numerical methods; parallel algorithms; water treatment processes

Optimum Angle-Cut of Collimator for Dense Objects in High-Energy Proton Radiography
Haibo Xu
keywords: proton radiography; multiple Coulomb scattering; angualr collimator; Geant4

Study of Search Optimization Opportunities of Heuristic Algorithms for Solving Multi-Extremal Problems
Rudolf Neydorf, Ivan Chernogorov, Victor Polyakh, Orkhan Yarakhmedov, Yulia Goncharova, and Dean Vucinic
keywords: searching optimization; multi-extremal; genetic algorithm; swarm algorithm; ant algorithm

Prototype Design of Computationally Efficient Digital Down Converter for 3G Applications
Rajesh Mehra
keywords: 3G Mobile Communication; Base Stations; Radio Transceivers; Reconfigurable Logic; Software Radio

A 3D Model Skeleton Correcting Algorithm using Templates of Inspecting Voxel Disconnection
Xun Jin and Jongweon Kim
keywords: 3D model; voxelization; thinning; skeletonization; correcting.

Non-rigid 3D Model Retrieval Based on Topological Approximation and Shape Diameter Function
Yiyu Hong and Jongweon Kim
keywords: non-rigid model retrieval; integral geodesic distance; shape diameter function; the Hungarian algorithm;

Robust Digital Image Watermarking Algorithm against RST Attacks using Self-patch Correlation
Ruichen Jin and JongWeon Kim
keywords: image watermakring; radon transform; self-patch corrilation; digital wavelte transfotm; robust.

Learning Method by Sharing Activity Logs in Multiagent Environment
Keinosuke Matsumoto, Takuya Gohara, and Naoki Mori
keywords: machine learning; Q-learning; sharing of activity history; agents; hunter game

Higher Education Cloud Computing in Zimbabwe: Towards Understanding Trends of Adoption
Maxmillan Giyane and Sheryl Buckley
keywords: Cloud computing; Cloud adoption; Zimbabwe state universities; Higher education.

Fixed and Variable Sized Block Techniques for Sparse Matrix Vector Multiplication with General Matrix Structures
Javed Razzaq, Rudolf Berrendorf, Soenke Hack, Max Weierstall, and Florian Manuss
keywords: Sparse Matrix Vector Multiplication; Blocking; Vector Intrinsics

A Genetic Algorithm solution for the Doctor Scheduling Problem
Abir Alharbi and Kholood AlQahtani
keywords: Doctor Scheduling Problem, Genetic Algorithms, cost bit matrix.

Lyapunov’s Inequality for a Fractional Differential Equation Subject to a Non-linear Integral Condition
Maysaa Al Qurashi and Lakhdar Ragoub
keywords: Lyapunov’s inequality, non linear boundary condition, Caputo fractional derivative, Green function.

Graph Coloring Applied to Medical Doctors Schedule
Fordous Toufic and Kholoud Khalid S Al-qahtani
keywords: graph coloring; doctors roster; greedy algorithm.