Computational science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004 : proceedings

著者

書誌事項

Computational science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004 : proceedings

Marian Bubak ... [et al.] (eds.)

（Lecture notes in computer science, 3036-3039）

Springer, c2004

  • pt. 1
  • pt. 2
  • pt. 3
  • pt. 4

大学図書館所蔵 件 / 全20件

この図書・雑誌をさがす

注記

Includes bibliographies and index

Other editors: Geert Dick van Albada, Peter M.A. Sloot, Jack J. Dongarra

内容説明・目次

巻冊次

pt. 1 ISBN 9783540221142

内容説明

The International Conference on Computational Science (ICCS 2004) held in Krak ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St. Petersburg, Russia; ICCS 2002 in Amsterdam, The Netherlands; and ICCS 2001 in San Francisco, USA. As computational science is still evolving in its quest for subjects of inves- gation and e?cient methods, ICCS 2004 was devised as a forum for scientists from mathematics and computer science, as the basic computing disciplines and application areas, interested in advanced computational methods for physics, chemistry, life sciences, engineering, arts and humanities, as well as computer system vendors and software developers. The main objective of this conference was to discuss problems and solutions in all areas, to identify new issues, to shape future directions of research, and to help users apply various advanced computational techniques. The event harvested recent developments in com- tationalgridsandnextgenerationcomputingsystems,tools,advancednumerical methods, data-driven systems, and novel application ?elds, such as complex - stems, ?nance, econo-physics and population evolution.

目次

Track on Parallel and Distributed Computing.- Optimization of Collective Reduction Operations.- Predicting MPI Buffer Addresses.- An Efficient Load-Sharing and Fault-Tolerance Algorithm in Internet-Based Clustering Systems.- Dynamic Parallel Job Scheduling in Multi-cluster Computing Systems.- Hunting for Bindings in Distributed Object-Oriented Systems.- Design and Implementation of the Cooperative Cache for PVFS.- Track on Grid Computing.- Towards OGSA Compatibility in Alternative Metacomputing Frameworks.- DartGrid: Semantic-Based Database Grid.- A 3-tier Grid Architecture and Interactive Applications Framework for Community Grids.- Incorporation of Middleware and Grid Technologies to Enhance Usability in Computational Chemistry Applications.- An Open Grid Service Environment for Large-Scale Computational Finance Modeling Systems.- The Migrating Desktop as a GUI Framework for the "Applications on Demand" Concept.- Interactive Visualization for the UNICORE Grid Environment.- Efficiency of the GSI Secured Network Transmission.- An Idle Compute Cycle Prediction Service for Computational Grids.- Infrastructure for Grid-Based Virtual Organizations.- Air Pollution Modeling in the CrossGrid Project.- The Genetic Algorithms Population Pluglet for the H2O Metacomputing System.- Applying Grid Computing to the Parameter Sweep of a Group Difference Pseudopotential.- A Grid Enabled Parallel Hybrid Genetic Algorithm for SPN.- An Atmospheric Sciences Workflow and Its Implementation with Web Services.- Twins: 2-hop Structured Overlay with High Scalability.- Dispatching Mechanism of an Agent-Based Distributed Event System.- An Adaptive Communication Mechanism for Highly Mobile Agents.- Track on Models and Algorithms.- Knapsack Model and Algorithm for HW/SW Partitioning Problem.- A Simulated Annealing Algorithm for the Circles Packing Problem.- Parallel Genetic Algorithm for Graph Coloring Problem.- Characterization of Efficiently Parallel Solvable Problems on a Class of Decomposable Graphs.- The Computational Complexity of Orientation Search in Cryo-Electron Microscopy.- Track on Data Mining and Data Bases.- Advanced High Performance Algorithms for Data Processing.- Ontology-Based Partitioning of Data Steam for Web Mining: A Case Study of Web Logs.- Single Trial Discrimination between Right and Left Hand Movement-Related EEG Activity.- WINGS: A Parallel Indexer for Web Contents.- A Database Server for Predicting Protein-Protein Interactions.- PairAnalyzer: Extracting and Visualizing RNA Structure Elements Formed by Base Pairing.- A Parallel Crawling Schema Using Dynamic Partition.- Hybrid Collaborative Filtering and Content-Based Filtering for Improved Recommender System.- Object-Oriented Database Mining: Use of Object Oriented Concepts for Improving Data Classification Technique.- Data-Mining Based Skin-Color Modeling Using the ECL Skin-Color Images Database.- Maximum Likelihood Based Quantum Set Separation.- Chunking-Coordinated-Synthetic Approaches to Large-Scale Kernel Machines.- Computational Identification of -1 Frameshift Signals.- Track on Networking.- Mobility Management Scheme for Reducing Location Traffic Cost in Mobile Networks.- Performance Analysis of Active Queue Management Schemes for IP Network.- A Real-Time Total Order Multicast Protocol.- A Rule-Based Intrusion Alert Correlation System for Integrated Security Management.- Stable Neighbor Based Adaptive Replica Allocation in Mobile Ad Hoc Networks.- Mobile-Based Synchronization Model for Presentation of Multimedia Objects.- Synchronization Scheme of Multimedia Streams in Mobile Handoff Control.- Poster Papers.- The Development of a Language for Specifying Structure of a Distributed and Parallel Application.- Communication Primitives for Minimally Synchronous Parallel ML.- Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications.- Applying Loop Tiling and Unrolling to a Sparse Kernel Code.- A Combined Method for Texture Analysis and Its Application.- Reliability of Cluster System with a Lot of Software Instances.- A Structural Complexity Measure for UML Class Diagrams.- Parallelizing Flood Models with MPI: Approaches and Experiences.- Using Parallelism in Experimenting and Fine Tuning of Parameters for Metaheuristics.- DEVMA: Developing Virtual Environments with Awareness Models.- A Two-Leveled Mobile Agent System for E-commerce with Constraint-Based Filtering.- ABSDM: Agent Based Service Discovery Mechanism in Internet.- Meta Scheduling Framework for Workflow Service on the Grids.- Resources Virtualization in Fault-Tolerance and Migration Issues.- On the Availability of Information Dispersal Scheme for Distributed Storage Systems.- Virtual Storage System for the Grid Environment.- Performance Measurement Model in the G-PM Tool.- Paramedir: A Tool for Programmable Performance Analysis.- Semantic Browser: an Intelligent Client for Dart-Grid.- On Identity-Based Cryptography and Grid Computing.- The Cambridge CFD Grid Portal for Large-Scale Distributed CFD Applications.- Grid Computing Based Simulations of the Electrical Activity of the Heart.- Artificial Neural Networks and the Grid.- Towards a Grid-Aware Computer Algebra System.- Grid Computing and Component-Based Software Engineering in Computer Supported Collaborative Learning.- An NAT-Based Communication Relay Scheme for Private-IP-Enabled MPI over Grid Environments.- A Knowledge Fusion Framework in the Grid Environment.- A Research of Grid Manufacturing and Its Application in Custom Artificial Joint.- Toward a Virtual Grid Service of High Availability.- The Measurement Architecture of the Virtual Traffic Laboratory.- Adaptive QoS Framework for Multiview 3D Streaming.- CORBA-Based Open Platform for Processes Monitoring. An Application to a Complex Electromechanical Process.- An Approach to Web-Oriented Discrete Event Simulation Modeling.- Query Execution Algorithm in Web Environment with Limited Availability of Statistics.- Using Adaptive Priority Controls for Service Differentiation in QoS-Enabled Web Servers.- On the Evaluation of x86 Web Servers Using Simics: Limitations and Trade-Offs.- MADEW: Modelling a Constraint Awareness Model to Web-Based Learning Environments.- An EC Services System Using Evolutionary Algorithm.- A Fast and Efficient Method for Processing Web Documents.- Online Internet Monitoring System of Sea Regions.- Modeling a 3G Power Control Algorithm in the MAC Layer for Multimedia Support.- Network Probabilistic Connectivity: Exact Calculation with Use of Chains.- A Study of Anycast Application for Efficiency Improvement of Multicast Trees.- Performance Analysis of IP-Based Multimedia Communication Networks to Support Video Traffic.- Limited Deflection Routing with QoS-Support.- Advanced Multicasting for DVBMT Solution.- Server Mobility Using Domain Name System in Mobile IPv6 Networks.- Resource Reservation and Allocation Method for Next Generation Mobile Communication Systems.- Improved Location Scheme Using Circle Location Register in Mobile Networks.- An Energy Efficient Broadcasting for Mobile Devices Using a Cache Scheme.- On Balancing Delay and Cost for Routing Paths.- Performance of Optical Burst Switching in Time Division Multiplexed Wavelength-Routing Networks.- On Algorithm for All-Pairs Most Reliable Quickest Paths.- Performance Evaluation of the Fast Consistency Algorithms in Large Decentralized Systems.- Building a Formal Framework for Mobile Ad Hoc Computing.- Efficient Immunization Algorithm for Peer-to-Peer Networks.- A Secure Process-Service Model.- Multi-level Protection Building for Virus Protection Infrastructure.- Parallelization of the IDEA Algorithm.- A New Authorization Model for Workflow Management System Using the RPI-RBAC Model.- Reducing the State Space of RC4 Stream Cipher.- A Pair-Wise Key Agreement Scheme in Ad Hoc Networks.- Visual Analysis of the Multidimensional Meteorological Data.- Using Branch-Grafted R-trees for Spatial Data Mining.- Using Runtime Measurements and Historical Traces for Acquiring Knowledge in Parallel Applications.- Words as Rules: Feature Selection in Text Categorization.- Proper Noun Learning from Unannotated Corpora for Information Extraction.- Proposition of Boosting Algorithm for Probabilistic Decision Support System.- Efficient Algorithm for Linear Pattern Separation.- Improved Face Detection Algorithm in Mobile Environment.- Real-Time Face Recognition by the PCA (Principal Component Analysis) with Color Images.- Consistency of Global Checkpoints Based on Characteristics of Communication Events in Multimedia Applications.- Combining the Radon, Markov, and Stieltjes Transforms for Object Reconstruction.
巻冊次

pt. 2 ISBN 9783540221159

内容説明

The International Conference on Computational Science (ICCS 2004) held in Krak ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St. Petersburg, Russia; ICCS 2002 in Amsterdam, The Netherlands; and ICCS 2001 in San Francisco, USA. As computational science is still evolving in its quest for subjects of inves- gation and e?cient methods, ICCS 2004 was devised as a forum for scientists from mathematics and computer science, as the basic computing disciplines and application areas, interested in advanced computational methods for physics, chemistry, life sciences, engineering, arts and humanities, as well as computer system vendors and software developers. The main objective of this conference was to discuss problems and solutions in all areas, to identify new issues, to shape future directions of research, and to help users apply various advanced computational techniques. The event harvested recent developments in com- tationalgridsandnextgenerationcomputingsystems,tools,advancednumerical methods, data-driven systems, and novel application ?elds, such as complex - stems, ?nance, econo-physics and population evolution.

目次

Track on Numerical Algorithms.- Hierarchical Matrix-Matrix Multiplication Based on Multiprocessor Tasks.- Improving Geographical Locality of Data for Shared Memory Implementations of PDE Solvers.- Cache Oblivious Matrix Transposition: Simulation and Experiment.- An Intelligent Hybrid Algorithm for Solving Non-linear Polynomial Systems.- A Jacobi-Davidson Method for Nonlinear Eigenproblems.- Numerical Continuation of Branch Points of Limit Cycles in MATCONT.- Online Algorithm for Time Series Prediction Based on Support Vector Machine Philosophy.- Improved A-P Iterative Algorithm in Spline Subspaces.- Solving Differential Equations in Developmental Models of Multicellular Structures Expressed Using L-systems.- On a Family of A-stable Collocation Methods with High Derivatives.- Local Sampling Problems.- Recent Advances in Semi-Lagrangian Modelling of Flow through the Strait of Gibraltar.- Efficiency Study of the "Black-Box" Component Decomposition Preconditioning for Discrete Stress Analysis Problems.- Direct Solver Based on FFT and SEL for Diffraction Problems with Distribution.- Non-negative Matrix Factorization for Filtering Chinese Document.- On Highly Secure and Available Data Storage Systems.- Track on Finite Element Method.- A Numerical Adaptive Algorithm for the Obstacle Problem.- Finite Element Model of Fracture Formation on Growing Surfaces.- An Adaptive, 3-Dimensional, Hexahedral Finite Element Implementation for Distributed Memory.- A Modular Design for Parallel Adaptive Finite Element Computational Kernels.- Load Balancing Issues for a Multiple Front Method.- Multiresolutional Techniques in Finite Element Method Solution of Eigenvalue Problem.- Track on Neural Networks.- Self-Organizing Multi-layer Fuzzy Polynomial Neural Networks Based on Genetic Optimization.- Information Granulation-Based Multi-layer Hybrid Fuzzy Neural Networks: Analysis and Design.- Efficient Learning of Contextual Mappings by Context-Dependent Neural Nets.- An Unsupervised Neural Model to Analyse Thermal Properties of Construction Materials.- Intrusion Detection Based on Feature Transform Using Neural Network.- Track on Applications.- Accelerating Wildland Fire Prediction on Cluster Systems.- High Precision Simulation of Near Earth Satellite Orbits for SAR-Applications.- Hybrid Approach to Reliability and Functional Analysis of Discrete Transport System.- Mathematical Model of Gas Transport in Anisotropic Porous Electrode of the PEM Fuel Cell.- Numerical Simulation of Anisotropic Shielding of Weak Magnetic Fields.- Functionalization of Single-Wall Carbon Nanotubes: An Assessment of Computational Methods.- Improved Sampling for Biological Molecules Using Shadow Hybrid Monte Carlo.- A New Monte Carlo Approach for Conservation Laws and Relaxation Systems.- A Parallel Implementation of Gillespie's Direct Method.- Simulation of Deformable Objects Using Sliding Mode Control with Application to Cloth Animation.- Constraint-Based Contact Analysis between Deformable Objects.- Prediction of Binding Sites in Protein-Nucleic Acid Complexes.- Prediction of Protein Functions Using Protein Interaction Data.- Interactions of Magainin-2 Amide with Membrane Lipids.- Dynamics of Granular Heaplets: A Phenomenological Model.- Modelling of Shear Zones in Granular Materials within Hypoplasticity.- Effective Algorithm for Detection of a Collision between Spherical Particles.- Vorticity Particle Method for Simulation of 3D Flow.- Crack Analysis in Single Plate Stressing of Particle Compounds.- A Uniform and Reduced Mathematical Model for Sucker Rod Pumping.- Distributed Computation of Optical Flow.- Analytical Test on Effectiveness of MCDF Operations.- An Efficient Perspective Projection Using VolumeProTM.- Reconstruction of 3D Curvilinear Wireframe Model from 2D Orthographic Views.- Surface Curvature Estimation for Edge Spinning Algorithm.- Visualization of Very Large Oceanography Time-Varying Volume Datasets.- Sphere-Spin-Image: A Viewpoint-Invariant Surface Representation for 3D Face Recognition.- Design and Implementation of Integrated Assembly Object Model for Intelligent Virtual Assembly Planning.- Adaptive Model Based Parameter Estimation, Based on Sparse Data and Frequency Derivatives.- Towards Efficient Parallel Image Processing on Cluster Grids Using GIMP.- Benchmarking Parallel Three Dimensional FFT Kernels with ZENTURIO.- The Proof and Illustration of the Central Limit Theorem by Brownian Numerical Experiments in Real Time within the Java Applet.- An Extended Coherence Protocol for Recoverable DSM Systems with Causal Consistency.- 2D and 3D Representations of Solution Spaces for CO Problems.- Effective Detector Set Generation and Evolution for Artificial Immune System.- Artificial Immune System against Viral Attack.- Proposal of the Programming Rules for VHDL Designs.- A Weight Adaptation Method for Fuzzy Cognitive Maps to a Process Control Problem.- A Method Based on Fuzzy Logic Technique for Smoothing in 2D.- Proportional-Integral-Derivative Controllers Tuning for Unstable and Integral Processes Using Genetic Algorithms.- Enabling Systems Biology: A Scientific Problem-Solving Environment.- Poster Papers.- Depth Recovery with an Area Based Version of the Stereo Matching Method with Scale-Space Tensor Representation of Local Neighborhoods.- Symbolic Calculation for Froelicher-Nijenhuis -Algebra for Exploring in Electromagnetic Field Theory.- Spherical Orthogonal Polynomials and Symbolic-Numeric Gaussian Cubature Formulas.- The Berlekamp-Massey Algorithm. A Sight from Theory of Pade Approximants and Orthogonal Polynomials.- An Advanced Version of the Local-Global Step Size Control for Runge-Kutta Methods Applied to Index 1 Differential-Algebraic Systems.- INTEGRATOR: A Computational Tool to Solve Ordinary Differential Equations with Global Error Control.- Reconstruction of Signal from Samples of Its Integral in Spline Subspaces.- The Vectorized and Parallelized Solving of Markovian Models for Optical Networks.- A Parallel Splitting up Algorithm for the Determination of an Unknown Coefficient in Multi Dimensional Parabolic Problem.- A-Posteriori Error Analysis of a Mixed Method for Linear Parabolic Problem.- Analysis of Parallel Numerical Libraries to Solve the 3D Electron Continuity Equation.- Parallel Solution of Cascaded ODE Systems Applied to 13C-Labeling Experiments.- A k-way Graph Partitioning Algorithm Based on Clustering by Eigenvector.- Network of Networks,.- MSL: An Efficient Adaptive In-Place Radix Sort Algorithm.- Parallel Chip Firing Game Associated with n-cube Edges Orientations.- A Fast Multifrontal Solver for Non-linear Multi-physics Problems.- Modelling of Interaction between Surface Waves and Mud Layer.- Computational Modelling of Pulsating Biological Flow.- Effect of Heterogeneity on Formation of Shear Zones in Granular Bodies.- Effect of Structural Disorder on the Electronic Density of States in One-Dimensional Chain of Atoms.- The Estimation of the Mathematical Exactness of System Dynamics Method on the Base of Some Economic System.- Size of the Stable Population in the Penna Bit-String Model of Biological Aging.- Velocity Field Modelling for Pollutant Plume Using 3-D Adaptive Finite Element Method.- Organization of the Mesh Structure.- Kernel Maximum Likelihood Hebbian Learning.- Discovery of Chemical Transformations with the Use of Machine Learning.- Extraction of Document Descriptive Terms with a Linguistic-Based Machine Learning Approach.- Application of Brain Emotional Learning Based Intelligent Controller (BELBIC) to Active Queue Management.- A Hybrid Algorithm Based on PSO and SA and Its Application for Two-Dimensional Non-guillotine Cutting Stock Problem.- Evolving TSP Heuristics Using Multi Expression Programming.- Improving the Performance of Evolutionary Algorithms for the Multiobjective 0/1 Knapsack Problem Using ?-Dominance.- Genetic Evolution Approach for Target Movement Prediction.- Adaptive Transfer Functions in Radial Basis Function (RBF) Networks.- Disturbance Rejection Control of Thermal Power Plant Using Immune Algorithm.- The Design Methodology of Fuzzy Controller Based on Information Granulation (IG)-Based Optimization Approach.- PID Controller Tuning of a Boiler Control System Using Immune Algorithm Typed Neural Network.- A Framework to Investigate and Evaluate Genetic Clustering Algorithms for Automatic Modularization of Software Systems.- An Artificial Immune Algorithms Apply to Pre-processing Signals.- Identification and Control Using Direction Basis Function Neural Network.- A New Dynamic Structure Neural Network for Control of Nonlinear Systems.- Proposing a New Learning Algorithm to Improve Fault Tolerance of Neural Networks.- Nonlinear Parametric Model Identification and Model Based Control of S. cerevisiae Production.- The Notion of Community in United States Computational Science Education Initiatives.
巻冊次

pt. 3 ISBN 9783540221166

内容説明

The International Conference on Computational Science (ICCS 2004) held in Krak ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St. Petersburg, Russia; ICCS 2002 in Amsterdam, The Netherlands; and ICCS 2001 in San Francisco, USA. As computational science is still evolving in its quest for subjects of inves- gation and e?cient methods, ICCS 2004 was devised as a forum for scientists from mathematics and computer science, as the basic computing disciplines and application areas, interested in advanced computational methods for physics, chemistry, life sciences, engineering, arts and humanities, as well as computer system vendors and software developers. The main objective of this conference was to discuss problems and solutions in all areas, to identify new issues, to shape future directions of research, and to help users apply various advanced computational techniques. The event harvested recent developments in com- tationalgridsandnextgenerationcomputingsystems,tools,advancednumerical methods, data-driven systems, and novel application ?elds, such as complex - stems, ?nance, econo-physics and population evolution.

目次

Workshop on Programming Grids and Metasystems.- High-Performance Parallel and Distributed Scientific Computing with the Common Component Architecture.- Multiparadigm Model Oriented to Development of Grid Systems.- The Effect of the 2 nd Generation Clusters: Changes in the Parallel Programming Paradigms.- JavaSymphony, a Programming Model for the Grid.- Adaptation of Legacy Software to Grid Services.- Grid Service Registry for Workflow Composition Framework.- A-GWL: Abstract Grid Workflow Language.- Design of Departmental Metacomputing ML.- A Grid-Enabled Scene Rendering Application.- Rule-Based Visualization in a Computational Steering Collaboratory.- Placement of File Replicas in Data Grid Environments.- Generating Reliable Conformance Test Suites for Parallel and Distributed Languages, Libraries, and APIs.- A Concept of Replicated Remote Method Invocation.- Workshop on First International Workshop on Active and Programmable Grids Architectures and Components.- Discovery of Web Services with a P2P Network.- Achieving Load Balancing in Structured Peer-to-Peer Grids.- A Conceptual Model for Grid-Adaptivity of HPC Applications and Its Logical Implementation Using Components Technology.- Global Discovery Service for JMX Architecture.- Towards a Grid Applicable Parallel Architecture Machine.- A XKMS-Based Security Framework for Mobile Grid into the XML Web Services.- A Proposal of Policy-Based System Architecture for Grid Services Management.- Self-Management GRID Services - A Programmable Network Approach.- Application-Specific Hints in Reconfigurable Grid Scheduling Algorithms.- Self-Configuration of Grid Nodes Using a Policy-Based Management Architecture.- Context-Aware GRID Services: Issues and Approaches.- Security Issues in Virtual Grid Environments.- Implementation and Evaluation of Integrity Protection Facilities for Active Grids.- A Convergence Architecture for GRID Computing and Programmable Networks.- Programmable Grids Framework Enabling QoS in an OGSA Context.- Active and Logistical Networking for Grid Computing: The E-toile Architecture.- Distributed Resource Discovery in Wide Area Grid Environments.- Trusted Group Membership Service for JXTA.- Workshop on Next Generation Computing.- An Implementation of Budget-Based Resource Reservation for Real-Time Linux.- Similarity Retrieval Based on SOM-Based R*-Tree.- Extending the Power of Server Based Computing.- Specifying Policies for Service Negotiations of Response Time.- Determination and Combination of Quantitative Weight Value from Multiple Preference Information.- Forwarding Based Data Parallel Handoff for Real-Time QoS in Mobile IPv6 Networks.- Mobile Agent-Based Load Monitoring System for the Safety Web Server Environment.- A Study on TCP Buffer Management Algorithm for Improvement of Network Performance in Grid Environment.- Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2004).- Evaluating the Performance of Skeleton-Based High Level Parallel Programs.- Towards a Generalised Runtime Environment for Parallel Haskells.- Extending Camelot with Mutable State and Concurrency.- EVE, an Object Oriented SIMD Library.- Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.- Parallel I/O in Bulk-Synchronous Parallel ML.- Workshop on Parallel Input/Output Management Techniques (PIOMT04).- File Replacement Algorithm for Storage Resource Managers in Data Grids.- Optimizations Based on Hints in a Parallel File System.- Using DMA Aligned Buffer to Improve Software RAID Performance.- mNFS: Multicast-Based NFS Cluster.- Balanced RM2: An Improved Data Placement Scheme for Tolerating Double Disk Failures in Disk Arrays.- Diagonal Replication on Grid for Efficient Access of Data in Distributed Database Systems.- Workshop on OpenMP for Large Scale Applications.- Performance Comparison between OpenMP and MPI on IA64 Architecture.- Defining Synthesizable OpenMP Directives and Clauses.- Efficient Translation of OpenMP to Distributed Memory.- ORC-OpenMP: An OpenMP Compiler Based on ORC.- Workshop on Tools for Program Development and Analysis in Computational Science.- Performance Analysis, Data Sharing, and Tools Integration in Grids: New Approach Based on Ontology.- Accurate Cache and TLB Characterization Using Hardware Counters.- A Tool Suite for Simulation Based Analysis of Memory Access Behavior.- Platform-Independent Cache Optimization by Pinpointing Low-Locality Reuse.- Teuta: Tool Support for Performance Modeling of Distributed and Parallel Applications.- MPI Application Development Using the Analysis Tool MARMOT.- Monitoring System for Distributed Java Applications.- Automatic Parallel-Discrete Event Simulation.- Workshop on Modern Technologies for Web-Based Adaptive Systems.- Creation of Information Profiles in Distributed Databases as a n-Person Game.- Domain Knowledge Modelling for Intelligent Instructional Systems.- Hybrid Adaptation of Web-Based Systems User Interfaces.- Collaborative Web Browsing Based on Ontology Learning from Bookmarks.- Information Retrieval Using Bayesian Networks.- An Application of the DEDS Control Synthesis Method.- Using Consistency Measures and Attribute Dependencies for Solving Conflicts in Adaptive Systems.- Logical Methods for Representing Meaning of Natural Language Texts.- Software Self-Adaptability by Means of Artificial Evolution.- Professor:e - An IMS Standard Based Adaptive E-learning Platform.- Workshop on Agent Day 2004 - Intelligent Agents in Computing Systems.- Towards Measure of Semantic Correlation between Messages in Multiagent System.- Modelling Intelligent Virtual Agent Skills with Human-Like Senses.- Reuse of Organisational Experience Harnessing Software Agents.- The Construction and Analysis of Agent Fault-Tolerance Model Based on ?-Calculus.- REMARK - Reusable Agent-Based Experience Management and Recommender Framework.- Behavior Based Detection of Unfavorable Resources.- Policy Modeling in Four Agent Economy.- Multi-Agent System for Irregular Parallel Genetic Computations.- Strategy Extraction for Mobile Embedded Control Systems Apply the Multi-agent Technology.- Multi-agent Environment for Dynamic Transport Planning and Scheduling.- Agent-Based Models and Platforms for Parallel Evolutionary Algorithms.- A Co-evolutionary Multi-agent System for Multi-modal Function Optimization.- Workshop on Dynamic Data Driven Applications Systems.- Dynamic Data Driven Applications Systems: A New Paradigm for Application Simulations and Measurements.- Distributed Collaborative Adaptive Sensing for Hazardous Weather Detection, Tracking, and Predicting.- Rule-Based Support Vector Machine Classifiers Applied to Tornado Prediction.- Adaptive Coupled Physical and Biogeochemical Ocean Predictions: A Conceptual Basis.- Dynamic-Data-Driven Real-Time Computational Mechanics Environment.- A Note on Data-Driven Contaminant Simulation.- Computational Aspects of Data Assimilation for Aerosol Dynamics.- A Framework for Online Inversion-Based 3D Site Characterization.- A Note on Dynamic Data Driven Wildfire Modeling.- Agent-Based Simulation of Data-Driven Fire Propagation Dynamics.- Model Reduction of Large-Scale Dynamical Systems.- Data Driven Design Optimization Methodology Development and Application.- A Dynamic Data Driven Computational Infrastructure for Reliable Computer Simulations.- Improvements to Response-Surface Based Vehicle Design Using a Feature-Centric Approach.- An Experiment for the Virtual Traffic Laboratory: Calibrating Speed Dependency on Heavy Traffic.- SAMAS: Scalable Architecture for Multi-resolution Agent-Based Simulation.- Simulation Coercion Applied to Multiagent DDDAS.- O'SOAP - A Web Services Framework for DDDAS Applications.- Application of Grid-Enabled Technologies for Solving Optimization Problems in Data-Driven Reservoir Studies.- Image-Based Stress Recognition Using a Model-Based Dynamic Face Tracking System.- Developing a Data Driven System for Computational Neuroscience.- Karhunen-Loeve Representation of Periodic Second-Order Autoregressive Processes.- Workshop on HLA-Based Distributed Simulation on the Grid.- Using Web Services to Integrate Heterogeneous Simulations in a Grid Environment.- Support for Effective and Fault Tolerant Execution of HLA-Based Applications in the OGSA Framework.- Federate Migration in HLA-Based Simulation.- FT-RSS: A Flexible Framework for Fault Tolerant HLA Federations.- Design and Implementation of GPDS.- HLA_AGENT: Distributed Simulation of Agent-Based Systems with HLA.- FedGrid: An HLA Approach to Federating Grids.- Workshop on Interactive Visualisation and Interaction Technologies.- Do Colors Affect Our Recognition Memory for Haptic Rough Surfaces?.- Enhancing Human Computer Interaction in Networked Hapto-Acoustic Virtual Reality Environments on the CeNTIE Network.- Collaborative Integration of Speech and 3D Gesture for Map-Based Applications.- Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques.- User Interface Design for a Navigation and Communication System in the Automotive World.- Target Selection in Augmented Reality Worlds.- Towards Believable Behavior Generation for Embodied Conversational Agents.- A Performance Analysis of Movement Patterns.- On the Motivation and Attractiveness Scope of the Virtual Reality User Interface of an Educational Game.- A Client-Server Engine for Parallel Computation of High-Resolution Planes.- A Framework for 3D Polysensometric Comparative Visualization.- An Incremental Editor for Dynamic Hierarchical Drawing of Trees.- Using Indexed-Sequential Geometric Glyphs to Explore Visual Patterns.- Studying the Acceptance or Rejection of Newcomers in Virtual Environments.- Open Standard Based Visualization of Complex Internet Computing Systems.- General Conception of the Virtual Laboratory.- Individual Differences in Virtual Environments.- Ecological Strategies and Knowledge Mapping.- Need for a Prescriptive Taxonomy of Interaction for Mathematical Cognitive Tools.- Workshop on Computational Modeling of Transport on Networks.- Evolution of the Internet Map and Load Distribution.- Complex Network of Earthquakes.- Universal Features of Network Topology.- Network Brownian Motion: A New Method to Measure Vertex-Vertex Proximity and to Identify Communities and Subcommunities.- Contagion Flow through Banking Networks.- Local Search with Congestion in Complex Communication Networks.- Guided Search and Distribution of Information Flow on Complex Graphs.- Network Topology in Immune System Shape Space.- An Evolutionary Approach to Pickup and Delivery Problem with Time Windows.- Automatic Extraction of Hierarchical Urban Networks: A Micro-Spatial Approach.- Workshop on Modeling and Simulation in Supercomputing and Telecommunications.- Design and Implementation of the Web-Based PSE GridGate.- Performance Evaluation of ENUM Directory Service Design.- A Single Thread Discrete Event Simulation Toolkit for Java: STSimJ.- Routing and Wavelength Assignments in Optical WDM Networks with Maximum Quantity of Edge Disjoint Paths.- Parallelism for Nested Loops with Non-uniform and Flow Dependences.- Comparison Based Diagnostics as a Probabilistic Deduction Problem.- Dynamic Threshold for Monitor Systems on Grid Service Environments.- Multiuser CDMA Parameters Estimation by Particle Filter with Resampling Schemes.- Workshop on QoS Routing.- Routing, Wavelength Assignment in Optical Networks Using an Efficient and Fair EDP Algorithm.- Route Optimization Technique to Support Multicast in Mobile Networks.- PRED: Prediction-Enabled RED.- An Efficient Aggregation and Routing Algorithm Using Multi-hop Clustering in Sensor Networks.- Explicit Routing for Traffic Engineering in Labeled Optical Burst-Switched WDM Networks.- A Mutual Authentication and Route Optimization Method between MN and CN Using AAA in Mobile IPv6.- Studies on a Class of AWG-Based Node Architectures for Optical Burst-Switched Networks.- Self-Organizing Sensor Networks.- Workshop on Evolvable Hardware.- The Application of GLS Algorithm to 2 Dimension Irregular-Shape Cutting Problem.- Biologically-Inspired: A Rule-Based Self-Reconfiguration of a Virtex Chip.- Designing Digital Circuits for the Knapsack Problem.- Improvements in FSM Evolutions from Partial Input/Output Sequences.- Intrinsic Evolution of Analog Circuits on a Programmable Analog Multiplexer Array.- Encoding Multiple Solutions in a Linear Genetic Programming Chromosome.- Evolutionary State Assignment for Synchronous Finite State Machines.
巻冊次

pt. 4 ISBN 9783540221296

内容説明

The International Conference on Computational Science (ICCS 2004) held in Krak ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St. Petersburg, Russia; ICCS 2002 in Amsterdam, The Netherlands; and ICCS 2001 in San Francisco, USA. As computational science is still evolving in its quest for subjects of inves- gation and e?cient methods, ICCS 2004 was devised as a forum for scientists from mathematics and computer science, as the basic computing disciplines and application areas, interested in advanced computational methods for physics, chemistry, life sciences, engineering, arts and humanities, as well as computer system vendors and software developers. The main objective of this conference was to discuss problems and solutions in all areas, to identify new issues, to shape future directions of research, and to help users apply various advanced computational techniques. The event harvested recent developments in com- tationalgridsandnextgenerationcomputingsystems,tools,advancednumerical methods, data-driven systems, and novel application ?elds, such as complex - stems, ?nance, econo-physics and population evolution.

目次

Workshop on Advanced Methods of Digital Image Processing.- The New Graphic Description of the Haar Wavelet Transform.- On New Radon-Based Translation, Rotation, and Scaling Invariant Transform for Face Recognition.- On Bit-Level Systolic Arrays for Least-Squares Digital Contour Smoothing.- Bayer Pattern Demosaicking Using Local-Correlation Approach.- Edge Preserving Filters on Color Images.- Segmentation of Fundus Eye Images Using Methods of Mathematical Morphology for Glaucoma Diagnosis.- Automatic Detection of Glaucomatous Changes Using Adaptive Thresholding and Neural Networks.- Analytical Design of 2-D Narrow Bandstop FIR Filters.- Analytical Design of Arbitrary Oriented Asteroidal 2-D FIR Filters.- A {k, n}-Secret Sharing Scheme for Color Images.- Workshop on Computer Graphics and Geometric Modelling (CGGM 2004).- Declarative Modelling in Computer Graphics: Current Results and Future Issues.- Geometric Snapping for 3D Meshes.- Multiresolution Approximations of Generalized Voronoi Diagrams.- LodStrips: Level of Detail Strips.- Declarative Specification of Ambiance in VRML Landscapes.- Using Constraints in Delaunay and Greedy Triangulation for Contour Lines Improvement.- An Effective Modeling of Single Cores Prostheses Using Geometric Techniques.- GA and CHC. Two Evolutionary Algorithms to Solve the Root Identification Problem in Geometric Constraint Solving.- Manifold Extraction in Surface Reconstruction.- Expression of a Set of Points' Structure within a Specific Geometrical Model.- Effective Use of Procedural Shaders in Animated Scenes.- Real-Time Tree Rendering.- A Brush Stroke Generation Using Magnetic Field Model for Painterly Rendering.- Reuse of Paths in Final Gathering Step with Moving Light Sources.- Real Time Tree Sketching.- Facial Expression Recognition Based on Dimension Model Using Sparse Coding.- An Application to the Treatment of Geophysical Images through Orthogonal Projections.- A Derivative-Free Tracking Algorithm for Implicit Curves with Singularities.- Framework for Simulating the Human Behavior for Intelligent Virtual Agents. Part I: Framework Architecture.- Framework for Simulating the Human Behavior for Intelligent Virtual Agents. Part II: Behavioral System.- Point-Based Modeling from a Single Image.- Introducing Physical Boundaries in Virtual Environments.- Thin Client Access to a Visualization Environment.- Interactive Visualization of Relativistic Effects with the Hardware Acceleration.- Workshop on Computer Algebra Systems and Applications (CASA 2004).- Design of Interactive Environment for Numerically Intensive Parallel Linear Algebra Calculations.- Computer Algebra for Real-Time Dynamics of Robots with Large Numbers of Joints.- Development of SyNRAC-Formula Description and New Functions.- DisCAS: A Distributed-Parallel Computer Algebra System.- A Mathematica Package for Solving and Displaying Inequalities.- Choleski-Banachiewicz Approach to Systems with Non-positive Definite Matrices with Mathematica (R).- A Closed Form Solution of the Run-Time of a Sliding Bead along a Freely Hanging Slinky.- Analytical Theory of Motion of a Mars Orbiter.- Computing Theta-Stable Parabolic Subalgebras Using LiE.- Graphical and Computational Representation of Groups.- First Order ODEs: Mathematica and Symbolic-Numerical Methods.- Evaluation of the Fundamental Physical Constants in Mathematica.- Symbolic Polynomial Interpolation Using Mathematica.- Constant Weight Codes with Package CodingTheory.m in Mathematica.- Graph Coloring with webMathematica.- Construction of Solutions for Nonintegrable Systems with the Help of the Painleve Test.- Computer Algebra Manipulations in Astronomy.- Workshop on New Numerical Methods for DEs: Applications to Linear Algebra, Control and Engineering.- Higher Order Quadrature on Sparse Grids.- Application of Extrapolation Methods to Numerical Solution of Fredholm Integral Equations Related to Boundary Value Problems.- Extrapolation Techniques for Computing Accurate Solutions of Elliptic Problems with Singular Solutions.- Vandermonde-Type Matrices in Two Step Collocation Methods for Special Second Order Ordinary Differential Equations.- Direct Optimization Using Gaussian Quadrature and Continuous Runge-Kutta Methods: Application to an Innovation Diffusion Model.- The ReLPM Exponential Integrator for FE Discretizations of Advection-Diffusion Equations.- Function Fitting Two-Step BDF Algorithms for ODEs.- Pseudospectral Iterated Method for Differential Equations with Delay Terms.- A Hybrid Numerical Technique for the Solution of a Class of Implicit Matrix Differential Equation.- A Continuous Approach for the Computation of the Hyperbolic Singular Value Decomposition.- Workshop on Parallel Monte Carlo Algorithms for Diverse Applications in a Distributed Setting.- Using P-GRADE for Monte Carlo Computations in a Distributed Environment.- Calculating Activation Energies in Diffusion Processes Using a Monte Carlo Approach in a Grid Environment.- Using Parallel Monte Carlo Methods in Large-Scale Air Pollution Modelling.- Parallel Importance Separation for Multiple Integrals and Integral Equations.- Investigation of the Sensitivity of the Monte Carlo Solution for the Barker-Ferry Equation with Sequential and Parallel Pseudo-Random Number Generators.- Design and Distributed Computer Simulation of Thin p?+?-i-n?+? Avalanche Photodiodes Using Monte Carlo Model.- Convergence Proof for a Monte Carlo Method for Combinatorial Optimization Problems.- Monte Carlo Algorithm for Maneuvering Target Tracking and Classification.- Workshop on Modelling and Simulation of Multi-physics Multi-scale Systems.- Coupling a Lattice Boltzmann and a Finite Difference Scheme.- Accuracy versus Performance in Lattice Boltzmann BGK Simulations of Systolic Flows.- Mesoscopic Modelling of Droplets on Topologically Patterned Substrates.- Soot Particle Deposition within Porous Structures Using a Method of Moments - Lattice Boltzmann Approach.- Numerical Bifurcation Analysis of Lattice Boltzmann Models: A Reaction-Diffusion Example.- Particle Models of Discharge Plasmas in Molecular Gases.- Fully Kinetic Particle-in-Cell Simulation of a Hall Thruster.- Standard of Molecular Dynamics Modeling and Simulation of Relaxation in Dense Media.- Implicit and Explicit Higher Order Time Integration Schemes for Fluid-Structure Interaction Computations.- Accounting for Nonlinear Aspects in Multiphysics Problems: Application to Poroelasticity.- Computational Modelling of Multi-field Ionic Continuum Systems.- Formation of Dwarf Galaxies in Reionized Universe with Heterogeneous Multi-computer System.- A Multi-scale Numerical Study of the Flow, Heat, and Mass Transfer in Protective Clothing.- Thermomechanical Waves in SMA Patches under Small Mechanical Loadings.- Direct and Homogeneous Numerical Approaches to Multiphase Flows and Applications.- Molecular Dynamics and Monte Carlo Simulations for Heat Transfer in Micro and Nano-channels.- Improved Semi-Lagrangian Stabilizing Correction Scheme for Shallow Water Equations.- Bose-Einstein Condensation Studied by the Real-Time Monte Carlo Simulation in the Frame of Java Applet.- Workshop on Gene, Genome, and Population Evolution.- Life History Traits and Genome Structure: Aerobiosis and G+C Content in Bacteria.- Differential Gene Survival under Asymmetric Directional Mutational Pressure.- How Gene Survival Depends on Their Length.- Super-tree Approach for Studying the Phylogeny of Prokaryotes: New Results on Completely Sequenced Genomes.- Genetic Paralog Analysis and Simulations.- Evolutionary Perspectives on Protein Thermodynamics.- The Partition Function Variant of Sankoff's Algorithm.- Simulation of Molecular Evolution Using Population Dynamics Modelling.- Lotka-Volterra Model of Macro-Evolution on Dynamical Networks.- Simulation of a Horizontal and Vertical Disease Spread in Population.- Evolution of Population with Interaction between Neighbours.- The Role of Dominant Mutations in the Population Expansion.- Workshop on Computational Methods in Finance and Insurance.- On the Efficiency of Simplified Weak Taylor Schemes for Monte Carlo Simulation in Finance.- Time-Scale Transformations: Effects on VaR Models.- Environment and Financial Markets.- Pricing of Some Exotic Options with NIG-Levy Input.- Construction of Quasi Optimal Portfolio for Stochastic Models of Financial Market.- Euler Scheme for One-Dimensional SDEs with Time Dependent Reflecting Barriers.- On Approximation of Average Expectation Prices for Path Dependent Options in Fractional Models.- Confidence Intervals for the Autocorrelations of the Squares of GARCH Sequences.- Performance Measures in an Evolutionary Stock Trading Expert System.- Stocks' Trading System Based on the Particle Swarm Optimization Algorithm.- Parisian Options - The Implied Barrier Concept.- Modeling Electricity Prices with Regime Switching Models.- Modeling the Risk Process in the XploRe Computing Environment.- Workshop on Computational Economics and Finance.- A Dynamic Stochastic Programming Model for Bond Portfolio Management.- Communication Leading to Nash Equilibrium without Acyclic Condition.- Support Vector Machines Approach to Credit Assessment.- Measuring Scorecard Performance.- Parallelism of Association Rules Mining and Its Application in Insurance Operations.- No Speculation under Expectations in Awareness.- A Method on Solving Multiobjective Conditional Value-at-Risk.- Cross-Validation and Ensemble Analyses on Multiple-Criteria Linear Programming Classification for Credit Cardholder Behavior.- Workshop on GeoComputation.- A Cache Mechanism for Component-Based WebGIS.- A Data Structure for Efficient Transmission of Generalised Vector Maps.- Feasibility Study of Geo-spatial Analysis Using Grid Computing.- An Optimum Vehicular Path Solution with Multi-heuristics.- An Extended Locking Method for Geographical Database with Spatial Rules.- Preliminary Study on Unsupervised Classification of Remotely Sensed Images on the Grid.- Experience of Remote Sensing Information Modelling with Grid Computing.- Load Analysis and Load Control in Geo-agents.- Workshop on Simulation and Modeling of 3D Integrated Circuits.- Challenges in Transmission Line Modeling at Multi-gigabit Data Rates.- MPI-Based Parallelized Model Order Reduction Algorithm.- 3D-VLSI Design Tool.- Analytical Solutions of the Diffusive Heat Equation as the Application for Multi-cellular Device Modeling - A Numerical Aspect.- Layout Based 3D Thermal Simulations of Integrated Circuits Components.- Simulation of Electrical and Optical Interconnections for Future VLSI ICs.- Balanced Binary Search Trees Based Approach for Sparse Matrix Representation.- Principles of Rectangular Mesh Generation in Computational Physics.- Workshop on Computational Modeling and Simulation on Biomechanical Engineering.- Inter-finger Connection Matrices.- Biomechanics of Bone Cement Augmentation with Compression Hip Screw System for the Treatment of Intertrochanteric Fractures.- Comparison of Knee Cruciate Ligaments Models Using Kinematics from a Living Subject during Chair Rising-Sitting.- Computer and Robotic Model of External Fixation System for Fracture Treatment.- Robust Path Design of Biomechanical Systems Using the Concept of Allowable Load Set.- A New Modeling Method for Objects with Branching Problem Using Non-uniform B-Spline.- Motion Design of Two-Legged Locomotion Process of a Man.- Adaptive Microcalcification Detection in Computer Aided Diagnosis.- Workshop on Information Technologies Enhancing Health Care Delivery.- The Impact of Information Technology on Quality of Healthcare Services.- Computer Generated Patient Plans Based on Patterns of Care.- On Direct Comparing of Medical Guidelines with Electronic Health Record.- Managing Information Models for E-health via Planned Evolutionary Pathways.- An Attributable Role-Based Access Control for Healthcare.- Aspects of a Massively Distributed Stable Component Space.- Demonstrating Wireless IPv6 Access to a Federated Health Record Server.- Collaborative Teleradiology.- Workshop on Computing in Science and Engineering Academic Programs.- Some Remarks on CSE Education in Germany.- The Computational Science and Engineering (CS&E) Program at Purdue University.- Adapting the CSE Program at ETH Zurich to the Bologna Process.- Computational Engineering and Science Program at the University of Utah.- A Comparison of C, MATLAB, and Python as Teaching Languages in Engineering.- Teaching Computational Science Using VPython and Virtual Reality.- Student Exercises on Fossil Fuels, Global Warming, and Gaia.- Teaching Scientific Computing.- Creating a Sustainable High-Performance Scientific Computing Course.- CSE without Math? A First Course in Modeling and Simulation.

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ