Soft Computing in Computer and Information Science

✍ Scribed by Antoni Wiliński, Imed El Fray, Jerzy Pejaś (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 445
• Series: Advances in Intelligent Systems and Computing 342
• Edition: 1
• Category: Library

✦ Synopsis

This book presents a carefully selected and reviewed collection of papers presented during the 19th Advanced Computer Systems conference ACS-2014. The Advanced Computer Systems conference concentrated from its beginning on methods and algorithms of artificial intelligence. Further future brought new areas of interest concerning technical informatics related to soft computing and some more technological aspects of computer science such as multimedia and computer graphics, software engineering, web systems, information security and safety or project management. These topics are represented in the present book under the categories Artificial Intelligence, Design of Information and Multimedia Systems, Information Technology Security and Software Technologies.

✦ Table of Contents

Front Matter....Pages i-xvi
Front Matter....Pages 1-1
What Is Machine Intelligence? A Case Study: Stock Market Forecasting Agents....Pages 3-10
Boosted Classifiers for Antitank Mine Detection in C-Scans from Ground-Penetrating Radar....Pages 11-25
Detection Accuracy of the Temporary State of Complex Signals Using Phase-Frequency Tracking Methods with Equilibrium and Non-equilibrium Processing....Pages 27-36
Application of Mini-Models to the Interval Information Granules Processing....Pages 37-48
A Parametric Interval Approximation of Fuzzy Numbers....Pages 49-62
Application of the Horizontal Membership Function to the Uncertain Displacement Calculation of a Composite Massless Rod Under a Tensile Load....Pages 63-72
Multi-agent Processes Analysis System in Prediction Task....Pages 73-84
Method of Static Classifiers Selection Using the Weights of Base Classifiers....Pages 85-94
E-book Reader Application Driven by Commands Provided by a Brain-Computer Interface Based on Motor Imagery Paradigm....Pages 95-105
Comparison Between Mini-models Based on Multidimensional Polytopes and k -nearest Neighbor Method: Case Study of 4D and 5D Problems....Pages 107-118
Front Matter....Pages 119-119
Sushi: A Lightweight Distributed Image Storage System for Mobile and Web Services....Pages 121-137
Verification of Identity Based on Palm Vein and Palm-Print....Pages 139-146
The Concept of Automation in Conventional Systems Creation Applied to the Preliminary Aircraft Design....Pages 147-156
Video Stream Analysis for Fish Detection and Classification....Pages 157-169
The Jitter Use to Reduce EMI on the Power Lines for Multi-core Processors....Pages 171-180
A Study on Various Dimensionality Reduction Techniques Applied in the General Shape Analysis....Pages 181-189
Knowledge-Based Approach to COTS Software Selection Processes....Pages 191-205
The Investment Strategy Based on the Difference of Moving Averages with Parameters Adapted by Machine Learning....Pages 207-225
Pattern Recognition in the Japanese Candlesticks....Pages 227-234
Front Matter....Pages 235-235
ProToc—An Universal Language for Security Protocols Specifications....Pages 237-248
Front Matter....Pages 235-235
Parallelization of Block Encryption Algorithm Based on Piecewise Nonlinear Map....Pages 249-256
Statistical Properties Analysis of Key Schedule Modification in Block Cipher PP-1....Pages 257-268
Fault Detection in PP-2 Symmetric Block Cipher....Pages 269-277
Secure Pseudo-Random Linear Binary Sequences Generators Based on Arithmetic Polynoms....Pages 279-290
Front Matter....Pages 291-291
Energy-Efficient Network Services as Smart Grid Issue....Pages 293-308
Perfectly Nested Loop Tiling Transformations Based on the Transitive Closure of the Program Dependence Graph....Pages 309-320
Parallel Byzantine Fault Tolerance....Pages 321-333
Increasing Web Services Discovery Relevancy in the Multi-ontological Environment....Pages 335-344
Advanced Approach to Web Service Composition....Pages 345-358
Based on Force-Directed Algorithms Method for Metagraph Visualization....Pages 359-369
Structural Analysis of Singularly Perturbed State Models....Pages 371-383
The Formal Model of Data Mining Algorithms for Parallelize Algorithms....Pages 385-394
Toward Generalization of Mutant Clustering Results in Mutation Testing....Pages 395-407
TRACO Parallelizing Compiler....Pages 409-421
On the Multiplication of Biquaternions....Pages 423-434
Model of Collaborative Data Exchange for Inland Mobile Navigation....Pages 435-444
Back Matter....Pages 445-446

✦ Subjects

Computational Intelligence; Artificial Intelligence (incl. Robotics); Information Systems and Communication Service; Computer Science, general