Advanced Computer Systems

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 protocols 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.