The Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

COMPUTATION TOOLS 2018

February 18, 2018 to February 22, 2018 - Barcelona, Spain

Deadlines

Submission

Nov 06, 2017

Notification

Dec 05, 2017

Registration

Dec 19, 2017

Camera ready

Jan 15, 2018

Publication

Published by IARIA XPS Press

Archived in the free access ThinkMind Digital Library

Prints available at Curran Associates, Inc.

Authors of selected papers will be invited to submit extended versions to a IARIA Journal

Affiliated Journals

COMPUTATION TOOLS 2018 - The Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

February 18, 2018 - February 22, 2018

COMPUTATION TOOLS 2018: Program

ComputationWorld 2018 - Preliminary Program

Conference Venue Location:

Novotel Barcelona Sant Joan Despi
Carrer de la TV3, 2
08970 Sant Joan Despi
Spain

Conference rooms
Time slots

Room A

Room B

Room C

Sunday, February 18

12:00

Registration starts
The registration desk is located in front of the conference rooms
Operating during the entire conference

13:30 - 16:00

Tutorial I

16:00 - 16:15

Coffee

16:15 - 18:45

Tutorial II

19:00 - 20:00

Welcome Cocktail
You must have your badge to attend the cocktail

Monday, February 19

09:00 - 09:15

Opening Session

09:15 - 10:15

Keynote Speech

10:15 - 10:30

Coffee Break

10:30 - 12:15

CLOUD COMP 1 / FAST - CFP I

ADAPTIVE 1

PATTERNS 1

12:15 - 13:45

Lunch on your own

13:45 - 15:30

CLOUD COMP 1 / FAST - CFP II

FUTURE COMP 1

CONTENT 1

15:30 - 15:45

Coffee

15:45 - 17:30

SERVICE COMP 1

COGNITIVE 1

COMP TOOLS 1

17:30 - 17:45

Coffee Break

17:45 - 19:30

Panel on ADAPTIVE / COGNITIVE
Topic: Adaptive/Cognitive Mobility: Deep Self-Services

Tuesday, February 20

09:15 - 10:15

Keynote Speech

10:15 - 10:30

Coffee Break

10:30 - 12:15

CLOUD COMP 3 / FAST - CFP III

ADAPTIVE 2

PATTERNS 2 / COVAPR

12:15 - 13:45

Lunch on your own

13:45 - 15:30

Panel on CLOUD/SERVICES
Topic:Security and Safety in Cloud-based Systems and Services

15:30 - 15:45

Coffee

15:45 - 17:30

CLOUD COMP 4 / FAST - CFP IV

BUSTECH 1

PATTERNS 4 / EMPAT

17:30 - 17:45

Coffee Break

17:45 - 19:30

Panel on COMP TOOLS / BUSTECH
Topic: Computing Challenges in Information Systems

Wednesday, February 21

09:15 - 10:15

Keynote Speech

10:15 - 10:30

Coffee Break

10:30 - 12:15

CLOUD COMP 5

ADAPTIVE 3 / ESREM

BUSTECH 2 / TELTSA

12:15 - 13:45

Lunch on your own

13:45 - 15:30

SERVICE COMP 2 / MicS

COGNITIVE 2 / AEMACOS

CONTENT 2

15:30 - 15:45

Coffee

15:45 - 17:30

SERVICE COMP 3 / SERVQUAL

COGNITIVE 3

PATTERNS 3

17:30 - 17:45

Coffee Break

17:45 - 18:15

Invited Speech
IARPA Cloud Computing Programs
Kerry Long, Program Manager, IARPA, USA

18:15 - 20:00

Panel on CLOUD COMPUTING/SERVICE COMPUTATION
Topic:Challenges in Cloud Computing-based Systems

20:00 : 23:00

CONFERENCE DINNER

Thursday, February 22

09:15 - 10:15

Keynote Speech

10:15 - 10:30

Coffee Break

10:30 - 12:15

CLOUD COMP 6

COGNITIVE 4

 

12:15 - 13:45

Lunch on your own

13:45 - 15:30

CLOUD COMP 7

COGNITIVE 5

 

15:30 - 15:45

Coffee

15:45 - 17:30

BUSTECH 3

CLOUD COMP 8

17:30 - 17:45

Coffee Break

17:45 - 19:30

Panel on PATTERNS / CONTENT
Topic: Finding Essentials from Cloud-based Systems and Big Data

19:30 - 20:00

Coffee and Closing session

Friday, February 23

Recommended tourist objectives to be visited on your own:

General information: www.barcelonatourguides.com
Contact: info@barcelonatourguides.com

Barcelona
Park Güell
Sagrada Familia
Picasso Museum
Gaudi Museum
Museum of Catalan Art
Montjuic Hill
La Rambla
La Marina

Girona
Salvador Dali Museum [one day trip from Barcelona]

Detailed Program

ADAPTIVE 2018

ADAPTIVE 1: Adaptive applications
Self-Reconfigurable Manufacturing System For Personalized Mass Customisation
Low Power Tristate Buffer for Mobile Applications
Adaptive Petri Nets - A Petri Net Extension for Reconfigurable Structures
Managing Communication Paradigms with a Dynamic Adaptive Middleware

ADAPTIVE 2: Self-adaptation applications
Towards A Cubesat Aautonomicity Capability Model
Improvement of Self-optimizing in Selection and Composition of Services Using Reinforcement Learning Algorithm Based on Convex Hull
Conception of PubSub Mechanism for DAiSI and prototypical implementation on EXLAP
Distributed Simulation for Evolutionary Design of Swarms of Cyber-Physical Systems

ADAPTIVE 3: ESREM
To be completed

BUSTECH 2018

BUSTECH 1: Features of business/technology development
Calculating Test Coverage for BPEL Processes with Process Log Analysis
Maximizing Operational Performance in Dyadic Business Relationships: The Moderating Impact of Interorganizational Information Systems
Enablers of Business Process Transformation Success in Japan: How Super-ordinate Groups Achieve Effectiveness?

BUSTECH 2: TELTSA
To be completed

BUSTECH 3: BPM and Intelligence
Information Systems: From Innovations to Innovation Generators
Two levels rule-based approach for Business Process Management Systems
Detecting Adverse Events in an Active Theater of War Using Data Mining Techniques
Revenue Optimization of Telecom Marketing Campaigns for Prepaid Customers

CLOUD COMPUTING 2018

CLOUD COMPUTING 1: FAST-CFP I
To be completed

CLOUD COMPUTING 2: FAST-CFP II
To be completed

CLOUD COMPUTING 3: FAST-CFP III
To be completed

CLOUD COMPUTING 4: FAST-CFP IV
To be completed

CLOUD COMPUTING 5: Computing in virtualization-based environments
Let's do VDI right this time. VirtUE- A virtuous user environment.
Management of virtual desktops in energy efficient office environments using thin clients
Virtual Machines’ Migration for Cloud Computing

CLOUD COMPUTING 6: Platforms, Infrastructures and Applications
Cloud Documents Storage Correctness
CloudMediate: Showcase Implementation with Google Firebase
A Comparison and Critique of Natural Language Understanding Tools
An Architecture Model for a Distributed Virtualization System

CLOUD COMPUTING 7: Challenging features
Capturing Data Topology using Graph-based Association Mining
Analysis of Energy Saving Technique in CloudSim using Gaming Workload
Shade: Addressing Interoperability Gaps among OpenStack Clouds
Joint Orchestration of Cloud-Based Microservices and Virtual Network Functions
Real Time Cloud Computing to Visualize Noise Map for Smart Cities

COGNITIVE 2018

COGNITIVE 1: Brain information processing and informatics
Cartesian Systemic Emergence: Tackling Underspecified Notions in Incomplete Domains
Feature extraction process with an adaptive filter on brain signals motion intention classification
The Impact of Human Factors on Digitization: An Eye-tracking Study of OCR Proofreading Strategies
Strategies for Learning Lexemes Efficiently: A Graph-Based Approach

COGNITIVE 2: AEMACOS
To be completed

COGNITIVE 3: Applications
A Conceptual Architecture of Cognitive Electronic Warfare System
Implementing Systemic Thinking for Automatic Schema Matching: an Agent-Based Modeling Approach
Subjective Evaluation on Three Types of Cognitive Load and its Learning Effects

COGNITIVE 4: Artificial intelligence and cognition I
EEG based valence recognition using Convolutional kernel on Time-Frequency axis
A Model of Free Will for Artificial Entities
Teaching Innu through an Intelligent Tutoring System

COGNITIVE 5: Artificial intelligence and cognition II
A Multilayer Architecture for Cognitive Systems
Human and Machine Capabilities for Place Recognition: a Comparison Study
NiHA: A Conscious Agent

COMPUTATION TOOLS 2018

COMPUTATION TOOLS 1: Computation tools
Diagonalization and the complexity of programs
HPC-Bench: A Tool to Optimize HPC Benchmarking Workflow
License Plates Recognition From Mexican Private Vehicles Using Artificial Vision

CONTENT 2018

CONTENT 1: Domains and approaches
Schemas for Context-aware Content Storage
Social Media Analytics in Support of Documentary Production
GR-Media: Spatial Reference Model for Geo-Referenced Media

CONTENT 2: Auditory and visual contents
Subjective Assessment for Text with Super Resolution on Smartphone Displays
Scalable Video Summarization based on Visual Attention Model
An Efficient HDR Video Compression Scheme based on a Modified Lab Color Space
A sonification algorithm using human body movements

FUTURE COMPUTING 2018

FUTURE COMPUTING 1: Future computational technologies and applications
A Novel Training Algorithm based on Limited-Memory quasi-Newton Method with Nesterov's Accelerated Gradient for Neural Networks
Four-State Partial Synchronizers for a Large-Scale of Processors
Work in Progress: Energy Efficient Real-time Scheduling Algorithm for Microcontroller Units
Representing Medication Guidelines for Use in Production Rule Systems in the Context of the POLYCARE Project

PATTERNS 2018

PATTERNS 1: Patterns at work I
Improving Speech Emotion Recognition with Phonological Representations
How an optimized DB-SCAN implementation reduce execution-time and memory-requirements for large data-sets
Finding and implementing patterns for creative spaces

PATTERNS 2: COVAPR
To be completed

PATTERNS 3: Patterns at work II
Control Transition Interfaces in Level 3 Automated Vehicles: Four Preliminary Design Patterns
Massively Parallel Optical Flow using Distributed Local Search
Improved Gas Detection Algorithm for FTIR-Based Hyperspectral Imaging System Using Matched Filter

PATTERNS 4: EMPAT
To be completed

SERVICE COMPUTATION 2018

SERVICE COMPUTATION 1: Advanced service computing
Using Service-oriented Architectures for Online Surveys in coast
Incorporating Virtuality in Ubiquitous Computing Services for Influencing Human Behavior
A Generic Measurement Model for Service-based Systems
Digital brain as a service: An approach for achieving organic web services

SERVICE COMPUTATION 2: MicS
To be completed

SERVICE COMPUTATION 3: SERVQUAL
To be completed

Technical Co-Sponsors and Logistic Supporters