The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b- den of working out suitable tools for solving complex problems. For this reason ComputationalScience,thoughoriginatingfromtheneedtosolvethemostch- lenging problems in science and engineering (computational science is the key player in the ?ght to gain fundamental advances in astronomy, biology, che- stry, environmental science, physics and several other scienti?c and engineering disciplines) is increasingly turning its attention to all ?elds of human activity. In all activities, in fact, intensive computation, information handling, kn- ledge synthesis, the use of ad-hoc devices, etc. increasingly need to be exploited and coordinated regardless of the location of both the users and the (various and heterogeneous) computing platforms. As a result the key to understanding the explosive growth of this discipline lies in two adjectives that more and more appropriately refer to Computational Science and its applications: interoperable and ubiquitous. Numerous examples of ubiquitous and interoperable tools and applicationsaregiveninthepresentfourLNCSvolumescontainingthecontri- tions delivered at the 2004 International Conference on Computational Science and its Applications (ICCSA 2004) held in Assisi, Italy, May 14-17, 2004.

Inhalt

Workshop on Computational Geometry and Applications (CGA 04).- Geometric Graphs Realization as Coin Graphs.- Disc Covering Problem with Application to Digital Halftoning.- On Local Transformations in Plane Geometric Graphs Embedded on Small Grids.- Reducing the Time Complexity of Minkowski-Sum Based Similarity Calculations by Using Geometric Inequalities.- A Practical Algorithm for Approximating Shortest Weighted Path between a Pair of Points on Polyhedral Surface.- Plane-Sweep Algorithm of O(nlogn) for the Inclusion Hierarchy among Circles.- Shortest Paths for Disc Obstacles.- Improving the Global Continuity of the Natural Neighbor Interpolation.- Combinatories and Triangulations.- Approximations for Two Decomposition-Based Geometric Optimization Problems.- Computing Largest Empty Slabs.- 3D-Color-Structure-Code - A New Non-plainness Island Hierarchy.- Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices.- Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of Pieces.- On the Time Complexity of Rectangular Covering Problems in the Discrete Plane.- Approximating Smallest Enclosing Balls.- Geometry Applied to Designing Spatial Structures: Joining Two Worlds.- A Robust and Fast Algorithm for Computing Exact and Approximate Shortest Visiting Routes.- Automated Model Generation System Based on Freeform Deformation and Genetic Algorithm.- Speculative Parallelization of a Randomized Incremental Convex Hull Algorithm.- The Employment of Regular Triangulation for Constrained Delaunay Triangulation.- The Anchored Voronoi Diagram.- Implementation of the Voronoi-Delaunay Method for Analysis of Intermolecular Voids.- Approximation of the Boat-Sail Voronoi Diagram and Its Application.- Incremental Adaptive Loop Subdivision.- Reverse Subdivision Multiresolution for Polygonal Silhouette Error Correction.- Cylindrical Approximation of a Neuron from Reconstructed Polyhedron.- Skeletizing 3D-Objects by Projections.- Track on Computational Geometry.- An Efficient Algorithm for Determining 3-D Bi-plane Imaging Geometry.- Error Concealment Method Using Three-Dimensional Motion Estimation.- Confidence Sets for the Aumann Mean of a Random Closed Set.- An Algorithm of Mapping Additional Scalar Value in 2D Vector Field Visualization.- Network Probabilistic Connectivity: Exact Calculation with Use of Chains.- Curvature Dependent Polygonization by the Edge Spinning.- SOM: A Novel Model for Defining Topological Line-Region Relations.- Track on Adaptive Algorithms.- On Automatic Global Error Control in Multistep Methods with Polynomial Interpolation of Numerical Solution.- Approximation Algorithms for k-Source Bottleneck Routing Cost Spanning Tree Problems.- Efficient Sequential and Parallel Algorithms for Popularity Computation on the World Wide Web with Applications against Spamming.- Decentralized Inter-agent Message Forwarding Protocols for Mobile Agent Systems.- Optimization of Usability on an Authentication System Built from Voice and Neural Networks.- An Efficient Simple Cooling Schedule for Simulated Annealing.- A Problem-Specific Convergence Bound for Simulated Annealing-Based Local Search.- Comparison and Selection of Exact and Heuristic Algorithms.- Adaptive Texture Recognition in Image Sequences with Prediction through Features Interpolation.- Fuzzy Matching of User Profiles for a Banner Engine.- Track on Biology, Biochemistry, Bioinformatics.- Genome Database Integration.- Protein Structure Prediction with Stochastic Optimization Methods: Folding and Misfolding the Villin Headpiece.- High Throughput in-silico Screening against Flexible Protein Receptors.- A Sequence-Focused Parallelisation of EMBOSS on a Cluster of Workstations.- A Parallel Solution to Reverse Engineering Genetic Networks.- Deformable Templates for Recognizing the Shape of the Zebra Fish Egg Cell.- Multiple Parameterisation of Human Immune Response in HIV: Many-Cell Models.- Track on Cluster Computing.- Semantic Completeness in Sub-ontology Extraction Using Distributed Methods.- Distributed Mutual Exclusion Algorithms on a Ring of Clusters.- A Cluster Based Hierarchical Routing Protocol for Mobile Networks.- Distributed Optimization of Fiber Optic Network Layout Using MATLAB.- Cache Conscious Dynamic Transaction Routing in a Shared Disks Cluster.- A Personalized Recommendation Agent System for E-mail Document Classification.- An Adaptive Prefetching Method for Web Caches.- Track on Computational Medicine.- Image Processing and Retinopathy: A Novel Approach to Computer Driven Tracing of Vessel Network.- Automatic Extension of Korean Predicate-Based Sub-categorization Dictionary from Sense Tagged Corpora.- Information Fusion for Probabilistic Reasoning and Its Application to the Medical Decision Support Systems.- Robust Contrast Enhancement for Microcalcification in Mammography.- Track on Computational Methods.- Exact and Approximate Algorithms for Two-Criteria Topological Design Problem of WAN with Budget and Delay Constraints.- Data Management with Load Balancing in Distributed Computing.- High Performance Modeling with Quantized System.- New Digit-Serial Systolic Arrays for Power-Sum and Division Operation in GF(2 m ).- Generation of Unordered Binary Trees.- A New Systolic Array for Least Significant Digit First Multiplication in GF(2 m ).- Asymptotic Error Estimate of Iterative Newton-Type Methods and Its Practical Application.- Numerical Solution of Linear High-Index DAEs.- Fast Fourier Transform for Option Pricing: Improved Mathematical Modeling and Design of Efficient Parallel Algorithm.- Global Concurrency Control Using Message Ordering of Group Communication in Multidatabase Systems.- Applications of Fuzzy Data Mining Methods for Intrusion Detection Systems.- Pseudo-Random Binary Sequences Synchronizer Based on Neural Networks.- Calculation of the Square Matrix Determinant: Computational Aspects and Alternative Algorithms.- Differential Algebraic Method for Aberration Analysis of Electron Optical Systems.- Optimizing Symmetric FFTs with Prime Edge-Length.- A Spectral Technique to Solve the Chromatic Number Problem in Circulant Graphs.- A Method to Establish the Cooling Scheme in Simulated Annealing Like Algorithms.- Packing: Scheduling, Embedding, and Approximating Metrics.- Track on Computational Science Education.- Design Patterns in Scientific Software.- Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing.- Computational Science a…