Advanced Computer Systems: Eighth International Conference, ACS' 2001 Mielno, Poland October 17-19, 2001 Proceedings

by Jerzy Soldek (Editor), Khalid Saeed (Editor), Jerzy Pejas (Editor)

Overview

Advanced Computer Systems is a collection of forty selected papers presented to the Eighth International Conference on Computer Systems, October 2001 in Mielno, Poland. These papers provide a comprehensive summary of practice and research progress in information technologies:

• Recognition, Security and Safety concentrates on the widely-known problems of information systems security.
• Methods of Artificial Intelligence presents methods and algorithms which are the basics for the applications of artificial intelligence environments.
• Intelligent Agents and Distributed Activities includes laboratory research on multiagent intelligent systems as well as upon their applications in searching information, negotiating and supporting decision.
• Distributed Productions Networks and Modeling Complex Systems present production processes in distributed shared virtual environment, virtual solution of integer optimization problems, and a queuing approach to performance optimization in the distributed production network.

Product Details

ISBN-13:	9780792376514
Publisher:	Springer US
Publication date:	01/31/2002
Series:	The Springer International Series in Engineering and Computer Science , #664
Edition description:	2002
Pages:	500
Product dimensions:	6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

1 Methods of Artificial Intelligence.- Fuzzy Expert Systems: Economic and Financial Applications.- Backprojection of data vectors using a given covariance matrix.- Peculiarities of Genetic Algorithm Usage When Synthesizing Neural and Fuzzy Regulators.- Application of the Probabilistic RBF Neural Network in Multidimensional Classification Problems.- Visual Solution of Integer Optimization Problems.- Two methods of robust estimation of a covariance matrix — a practice study for some liver data.- Visualisation of multivariate data using parallel coordinate plots and Kohonen’s SOM’s. Which is better?.- Application of semantic analysis of Polish speech for purpose of automatic gender identification.- 2 Intelligent Agents and Distributed Activities.- Agent Based Freight Distrbution System.- Improvement of The User Interface for Autonomous Load Distributing Algorithm.- The ROLCoDE framework used in a computational distributed calculation.- Some Tasks of Intelligent Tutoring Systems Design for Civil Aviation Pilots.- Presence Production in a Distributed Shared Virtual Environment for Exploring Mathematics.- Basic workflow model at distributed intelligent production and its verification.- MEME: An Adaptive Email-based Knowledge Sharing System for Educational Institutions.- 3 Distributed Production Networks and Modelling Complex Systems.- Models and Methods of Optimal Planning of Sales Volume for Manufacture With Probability Character of Technological Process.- Approximation-Decomposition Method for Modelling Thermal Systems.- An analysis of performance of CAN (Controller Area Network) Fieldbus.- Effective Methods of Temporal Data Representation in Data Warehouse Systems.- Outsourcing it and Virtualization in E-Business Solutions (Selected Issues).- Algorithmic Models forSupervectoring Calculation in Solving Base DSP Problems.- 4 Computer Graphics and Pattern Recognition.- Perception-Driven Global Illumination and Rendering Computation.- Real-Time Shadow Casting in Virtual Studio.- JaTrac — an exercise in designing educational raytracer.- A Few Approaches To Face Detection In Face Recognition Systems.- 5 Computer Security and Safety.- Software support for collaborative risk management.- New Experimental Results in Differential — Linear Cryptanalysis of Reduced Variants of DES.- A Complete Logic ofAuthentication.- Generating Bent Functions.- Multilevel Lattice-Based Authorization in Distributed Supervisory and Control Systems.- Specification of timed authentication prools with colored Petri nets.- A Combinatorial Algorithm for Sharing a Key.- Distributed Password.- 6 Logic Synthesis and Simulation.- Utilizing High-Level Information for Formal Hardware Verification.- Tabular Teclmiques for MVLogic.- A Method of Analysis of Operational Petri Nets.- Method and Validation for VHDL Case Statement Optimization.- Algorithms of Generation Boolean Equations for a Multiplication Operation.- Consideration of Task’s Deadline for Scheduling Method with Used Processors Limitation.- Author Index.