Table of Contents

• Engineering Cyber-Physical SystemsVolker Gruhn, Stefan Gries 0001, Marc Hesenius, Julius Ollesch, Shafiq-Ur Rehman, Nils Schwenzfeier, Christian Wahl, Florian Wessling. 3-18 [doi]
• Intelligent Problem Solver in Education for Discrete MathematicsHien D. Nguyen, Nhon V. Do. 21-34 [doi]
• Perfect COKB Model and Reasoning Methods for the Design of Intelligent Problem SolversNhon V. Do, Thanh T. Mai. 35-50 [doi]
• Research on Genetic Algorithm and Nash Equilibrium in Multi-Round ProcurementBao Ngoc Trinh, Quyet Thang Huynh, Thuy-Linh Nguyen. 51-64 [doi]
• Flat Finishing Skill Training Software System Based on Personal Peculiarity ClassificationMasaru Teranishi, Shinpei Matsumoto, Hidetoshi Takeno. 65-72 [doi]
• Online Handwritten Signatures Verificaton Using Dynamic Threshold Combined with Local and Global FeaturesRebwar M. Nabi, Rania Azad, Rebaz M. Nabi, Sardasht M.-Raouf Mahmood. 73-87 [doi]
• Software Categorization Using Low-Level Distributional FeaturesZalán Bodó, Bipin Indurkhya. 88-98 [doi]
• A Holistic Domain Knowledge Discovery and Recommendation System for Collaborative WikisJuan Bernabé-Moreno, Álvaro Tejeda-Lorente, Carlos Porcel, Enrique Herrera-Viedma. 99-114 [doi]
• Flower Pollination Freeman Chain Code (FP-FCC) Extraction Algorithm for Handwritten Character RecognitionMuhammad Arif Mohamad, Habibollah Haron, Haswadi Hassan. 117-123 [doi]
• Support Vector Machines with Neural NetworkHidekazu Yanagimoto. 124-138 [doi]
• A Conversational Chatbot Based on Kowledge-Graphs for Factoid Medical QuestionsAniello Minutolo, Massimo Esposito, Giuseppe De Pietro. 139-152 [doi]
• Security Requirements Engineering (SRE) Framework for Cyber-Physical Systems (CPS): SRE for CPSShafiq-Ur Rehman, Volker Gruhn. 153-163 [doi]
• Towards Developing an Approach to Confluence Innovative in Requirements EngineeringSa'adah Hassan, Azrina Kamaruddin, Novia Admodisastro, Marzanah A. Jabar. 164-175 [doi]
• Confidence Based Consensus in Environments with High Uncertainty and Incomplete InformationRaquel Ureña, Francisco Chiclana, Hamido Fujita, Enrique Herrera-Viedma. 176-189 [doi]
• Asymmetry Based Parsing and Semantic CompositionalityAnna-Maria Di Sciullo. 190-203 [doi]
• Evaluation of Image Descriptors for Urban-Rural Classification of Aerial ImagesDaniel Cortés, Mariko Nakano, Hisashi Koga, Hector Perez. 204-213 [doi]
• Analysis of Heart Rate Variability from Multichannel PhotoplethysmographyLukas Peter, Martina Ladrova, Iveta Bryjova, Martin Cerný. 217-225 [doi]
• Relation Extraction for Circadian Rhythm Using the EEGEisaku Ohta, Mikito Ogino, Yasue Mitsukura. 226-232 [doi]
• Data Based Feature Identification of Polymorphic Functional Marker from Transcriptome ComparisonCin-Han Yang, Tun-Wen Pai, Ron-Shan Chen, Hsin-Yiu Chou. 233-241 [doi]
• Time Deformable Segmentation Model Based on the Active Contour Driven by Gaussian Energy Distribution: Extraction and Modeling of Early Articular Cartilage Pathological InteruptionsJan Kubicek, Veronika Vicianova, Marek Penhaker, Martin Augustynek. 242-255 [doi]
• Automated Extraction and Modeling of Calcifications and Blood Stream Volumetric ParametersJan Kubicek, Marek Penhaker, Tomas Ondraczka, Zdenek Machacek, Martin Cerný, Martin Augustynek, Petra Maresová. 256-269 [doi]
• Segmentation Based on Gabor Transformation with Machine Learning: Modeling of Retinal Blood Vessels System from RetCam Images and Tortuosity ExtractionJan Kubicek, Jana Kosturikova, Marek Penhaker, Martin Augustynek, Kamil Kuca. 270-283 [doi]
• mBalance: An Intelligent Android Application to Assess and Analyze Body BalanceJosé Antonio Moral-Muñoz, Adan Toscano, Manuel J. Cobo, Ignacio J. Perez. 284-297 [doi]
• Computational Visualization of Customer Mood Using Affective Space Model ApproachNorhaslinda Kamaruddin, Dini Handayani, Abdul Wahab. 298-311 [doi]
• An Overview of Myocardial Infarction Registries and Results from the Hungarian Myocardial Infarction RegistryPeter Piros, Rita Fleiner, Tamas Ferenci, Péter Andréka, Hamido Fujita, Péter Ofner, Levente Kovács, András Jánosi. 312-320 [doi]
• Automated Characterization of Breast Cancer Using Steerable FiltersHamido Fujita, U. Raghavendra, Anjan Gudigar, Vinoy Vishnu Vadakkepat, U. Rajendra Acharya. 321-327 [doi]
• A Proposal of the Tourism Course Recommendation System (TCRS) for Foreign Tourists by Using Photo Data in Social Network ServiceShuang Li, Shizune Takahashi, Keizo Yamada, Masanori Takagi, Jun Sasaki. 331-338 [doi]
• Case Study of Tourism Course Recommendation System Using Data from Social Network ServicesShizune Takahashi, Shuang Li, Keizo Yamada, Masanori Takagi, Jun Sasaki. 339-347 [doi]
• A Derivation of Factors Influencing the Concept Development of Virtual Reality Products by Hybrid MADM MethodsChi-Yo Huang, Jeng-Chieh Cheng. 348-361 [doi]
• A Review on Service Oriented Architecture Approach in Flood Disaster Management Framework for Sentiment Analysis: Malaysia ContextUmmu Hani' Hair Zaki, Roliana Ibrahim, Shahliza Abd Halim, Takeru Yokoi. 362-377 [doi]
• Behavior Support for Residents During Typhoon Based on Association Rule MiningKyosuke Takahashi, Hitoshi Inomo, Wataru Shiraki, Shiho Okamoto. 378-384 [doi]
• Stampede Prediction Based on Individual Activity Recognition for Context-Aware Framework Using Sensor-Fusion in a Crowd ScenariosFatai Idowu Sadiq, Ali Selamat, Roliana Ibrahim, Md. Hafiz Selamat, Ondrej Krejcar. 385-396 [doi]
• Tracing Cascading Data Corruption in CPS with the Information Flow MonitorStefan Gries 0001, Marc Hesenius, Volker Gruhn. 399-408 [doi]
• Safety Verification Method for Priority-Based Real-Time SoftwareFumio Narisawa, Yoshikazu Ueda. 409-424 [doi]
• Wr2Fdr Tool Maintenance for Models CheckingTaoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa. 425-440 [doi]
• Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov ModelsJaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Emil Pricop, Ouejdene Samoud. 441-453 [doi]
• Towards Taming Variability Models in the WildDavid Fernández-Amorós, Ruben Heradio, Carlos Cerrada, Enrique Herrera-Viedma, Manuel J. Cobo. 454-465 [doi]
• Towards a Formal Verification Approach for Service Component ArchitectureWael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui. 466-479 [doi]
• Leveraging Test Case Generation in the Testing Process - An Integration of Human Oracles with Derived OraclesVincent von Hof. 480-489 [doi]
• Towards a Formal Verification Approach for Cloud Software ArchitectureAmal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui. 490-502 [doi]
• Software Protection Against Illegal Copy Using Software WatermarkingMario Sotelo-Garrido, Mariko Nakano-Miyatake, Gabriel Sanchez-Perez, Manuel Cedillo-Hernandez, Héctor Pérez-Meana. 503-511 [doi]
• An Interaction Consensus in Group Decision Making Under Distributed Linguistic Trust InformationLifang Dai, Jian Wu, Francisco Chiclana, Hamido Fujita, Enrique Herrera-Viedma. 512-524 [doi]
• Facial Expression Recogntion in Unconstrained EnvironmentAndres Hernandez-Matamoros, Takayuki Nagai, Muhammad Attamimi, Mariko Nakano, Héctor Pérez-Meana. 525-538 [doi]
• Estimation of Rice Area from Satellite Data Using Neural NetworksSigeru Omatu. 539-549 [doi]
• A Framework for Idea Mining EvaluationMostafa Ahmed Alksher, Azreen Azman, Razali Yaakob, Rabiah Abdul Kadir, Abdulmajid Mohamed, Eissa Alshari. 550-559 [doi]
• Unified User-Interface and Protocol for Managing Heterogeneous Deep Learning ServicesAbsalom Shu, Konstantin Markov, Alexander Vazhenin, Ruth Cortez, Subhash Bhalla, Shashank Shrestha. 563-575 [doi]
• The Software Using Digital Databases and GIS Interface for Detecting Geodynamic StructuresAlexander Vazhenin, Anna Mikheeva, Petr Dyadkov, Andrey Marchuk. 576-592 [doi]
• Formulating Evaluation Model to Assess the Effectiveness of Coordination Processes in Global Software Development ProjectsAnusuyah Subbarao, Mohd Naz'ri Mahrin. 593-603 [doi]
• Convolutional Neural Networks for Question Classification in Italian LanguageMarco Pota, Massimo Esposito, Giuseppe De Pietro. 604-615 [doi]
• An Innovative Approach for Rolling Mill and Forge Scheduling Based on Modified COTS AlgorithmsRoberto Chiarvetto, Guido Guizzi, Enrique Kremers, Elpidio Romano, Lorenzo Damiani, Roberto Revetria, Pietro Giribone. 616-627 [doi]
• The Changeable Space Theories Based Capacity Configuration for TFT-LCD FabsChi-Yo Huang, Hsueh-Hsin Lu, Wen-Hsin Tseng, Meng-Ru Li, Wan-Jung Chang, Yun-Hsuan Yang, Yi-Chia Wu, Ming-Jen Yang, Ming-Jenn Wu. 628-640 [doi]
• Twitter Hate Aspect Extraction Using Association Analysis and Dictionary-Based ApproachNurulhuda Zainuddin, Ali Selamat, Roliana Ibrahim. 641-651 [doi]
• Robust Technical Trading with Fuzzy Knowledge-Based SystemsMasafumi Nakano, Akihiko Takahashi, Soichiro Takahashi. 652-667 [doi]
• An Ontology Based Model for the Optimization of the Shutters Cutting Stock for Compressor ValvesGuido Guizzi, Elpidio Romano, Lorenzo Damiani, Pietro Giribone, Roberto Revetria, Matteo Toma. 668-677 [doi]
• Driving Engineering Model Generation on Functional and Logical LevelsLászló Horváth, Imre J. Rudas. 678-690 [doi]
• A New Soft Rough Set Parameter Reduction Method for an Effective Decision-MakingMasurah Mohamad, Ali Selamat. 691-704 [doi]
• Applying Data Analytics Approach in Systematic Literature Review: Master Data Management Case StudyFaizura Haneem, Nazri Kama, Rosmah Ali, Ali Selamat. 705-718 [doi]
• Workflow Based Query Management System for Astronomical Data RepositoryShashank Shrestha, Wanming Chu, Yilang Wu, Ruth Cortez, Alexander Vazhenin, Absalom Shu, Subhash Bhalla. 719-730 [doi]
• Usability Prioritization Using Performance Metrics and Hierarchical Agglomerative Clustering in MAR-Learning ApplicationLim Kok Cheng, Ali Selamat, Mohd Hazli Mohamed Zabil, Md. Hafiz Selamat, Rose Alinda Alias, Fatimah Puteh, Farhan Mohamed, Ondrej Krejcar. 731-744 [doi]
• A New Code Generation Method for Software Engineering: From Requirements Model to Source CodeBo Huang, Zhijun Fang, Guoqing Wu, Xiankun Sun, Yongbin Gao. 747-765 [doi]
• An Aspect-Based Unsupervised Approach for Classifying Non-Functional Requirements on Software ReviewsYinglin Wang, Jianzhang Zhang. 766-778 [doi]
• Construction of Intelligent Tutoring System Based on Semantic Web779-793 [doi]
• The Combat of Unmanned Surface Vehicles Based on Wolves AttackJuan Pu, Xing Wu, Yike Guo, Shaorong Xie, Huayan Pu, Yan Peng. 794-805 [doi]
• The Cooperative Defense Strategy by Multi-USVsYuan Liu, Xing Wu, Yike Guo, Shaorong Xie, Huayan Pu, Yan Peng. 806-814 [doi]
• The Cooperative Defense System by Team of USVs in Complicated Sea EnvironmentXing Wu, Yuan Liu, Yike Guo, Shaorong Xie, Huayan Pu, Yan Peng. 815-823 [doi]
• Deep Correct: Deep Learning Color Correction for Color BlindnessGajo Petrovic, Hamido Fujita. 824-834 [doi]