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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com