Computational Science – ICCS 2007: 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

Front Matter....Pages -
A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling....Pages 1-8
Vortex Identification in the Wall Region of Turbulent Channel Flow....Pages 9-16
Numerical Solution of a Two-Class LWR Traffic Flow Model by High-Resolution Central-Upwind Scheme....Pages 17-24
User-Controllable GPGPU-Based Target-Driven Smoke Simulation....Pages 25-29
Variable Relaxation Solve for Nonlinear Thermal Conduction....Pages 30-37
A Moving Boundary Wave Run-Up Model....Pages 38-45
Enabling Very-Large Scale Earthquake Simulations on Parallel Machines....Pages 46-53
Fast Insolation Computation in Large Territories....Pages 54-61
Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics....Pages 62-69
A Finite Element Model for Epidermal Wound Healing....Pages 70-77
Predicting Binding Sites of Hepatitis C Virus Complexes Using Residue Binding Propensity and Sequence Entropy....Pages 78-85
Use of Parallel Simulated Annealing for Computational Modeling of Human Head Conductivity....Pages 86-93
Mining Molecular Structure Data for the Patterns of Interactions Between Protein and RNA....Pages 94-101
Detecting Periodically Expression in Unevenly Spaced Microarray Time Series....Pages 102-110
Creating Individual Based Models of the Plankton Ecosystem....Pages 111-118
A Hybrid Agent-Based Model of Chemotaxis....Pages 119-127
Block-Based Approach to Solving Linear Systems....Pages 128-135
Numerical Tests with Gauss-Type Nested Implicit Runge-Kutta Formulas....Pages 136-143
An Efficient Implementation of the Thomas-Algorithm for Block Penta-diagonal Systems on Vector Computers....Pages 144-151
Compatibility of Scalapack with the Discrete Wavelet Transform....Pages 152-159
A Model for Representing Topological Relations Between Simple Concave Regions....Pages 160-167
Speech Emotion Recognition Based on a Fusion of All-Class and Pairwise-Class Feature Selection....Pages 168-175
Regularized Knowledge-Based Kernel Machine....Pages 176-183
Three-Phase Inverse Design Stefan Problem....Pages 184-191
Semi-supervised Clustering Using Incomplete Prior Knowledge....Pages 192-195
Distributed Reasoning with Fuzzy Description Logics....Pages 196-203
Effective Pattern Similarity Match for Multidimensional Sequence Data Sets....Pages 204-212
GPU-Accelerated Montgomery Exponentiation....Pages 213-220
Hierarchical-Matrix Preconditioners for Parabolic Optimal Control Problems....Pages 221-228
Searching and Updating Metric Space Databases Using the Parallel EGNAT....Pages 229-236
An Efficient Algorithm and Its Parallelization for Computing PageRank....Pages 237-244
A Query Index for Stream Data Using Interval Skip Lists Exploiting Locality....Pages 245-252
Accelerating XML Structural Matching Using Suffix Bitmaps....Pages 253-260
Improving XML Querying with Maximal Frequent Query Patterns....Pages 261-269
A Logic-Based Approach to Mining Inductive Databases....Pages 270-277
An Efficient Quantum-Behaved Particle Swarm Optimization for Multiprocessor Scheduling....Pages 278-285
Toward Optimizing Particle-Simulation Systems....Pages 286-293
A Modified Quantum-Behaved Particle Swarm Optimization....Pages 294-301
Neural Networks for Predicting the Behavior of Preconditioned Iterative Solvers....Pages 302-309
On the Normal Boundary Intersection Method for Generation of Efficient Front....Pages 310-317
An Improved Laplacian Smoothing Approach for Surface Meshes....Pages 318-325
Red-Black Half-Sweep Iterative Method Using Triangle Finite Element Approximation for 2D Poisson Equations....Pages 326-333
Optimizing Surface Triangulation Via Near Isometry with Reference Meshes....Pages 334-341
Efficient Adaptive Strategy for Solving Inverse Problems....Pages 342-349
Topology Preserving Tetrahedral Decomposition of Trilinear Cell....Pages 350-357
FITTING: A Portal to Fit Potential Energy Functionals to ab initio Points....Pages 358-365
Impact of QoS on Replica Placement in Tree Networks....Pages 366-373
Generating Traffic Time Series Based on Generalized Cauchy Process....Pages 374-381
Reliable and Scalable State Management Using Migration of State Information in Web Services....Pages 382-389
Efficient and Reliable Execution of Legacy Codes Exposed as Services....Pages 390-397
Provenance Provisioning in Mobile Agent-Based Distributed Job Workflow Execution....Pages 398-405
EPLAS: An Epistemic Programming Language for All Scientists....Pages 406-413
Translation of Common Information Model to Web Ontology Language....Pages 414-417
XML Based Semantic Data Grid Service....Pages 418-425
Communication-Aware Scheduling Algorithm Based on Heterogeneous Computing Systems....Pages 426-429
Macro Adjustment Based Task Scheduling in Hierarchical Grid Market....Pages 430-433
DGSS: A Dependability Guided Job Scheduling System for Grid Environment....Pages 434-441
An Exact Algorithm for the Servers Allocation, Capacity and Flow Assignment Problem with Cost Criterion and Delay Constraint in Wide Area Networks....Pages 442-445
Adaptive Divisible Load Model for Scheduling Data-Intensive Grid Applications....Pages 446-453
Providing Fault-Tolerance in Unreliable Grid Systems Through Adaptive Checkpointing and Replication....Pages 454-461
A Machine-Learning Based Load Prediction Approach for Distributed Service-Oriented Applications....Pages 462-465
A Balanced Resource Allocation and Overload Control Infrastructure for the Service Grid Environment....Pages 466-473
Recognition and Optimization of Loop-Carried Stream Reusing of Scientific Computing Applications on the Stream Processor....Pages 474-481
A Scalable Parallel Software Volume Rendering Algorithm for Large-Scale Unstructured Data....Pages 482-489
Geometry-Driven Nonlinear Equation with an Accelerating Coupled Scheme for Image Enhancement....Pages 490-496
A Graph Clustering Algorithm Based on Minimum and Normalized Cut....Pages 497-504
A-PARM: Adaptive Division of Sub-cells in the PARM for Efficient Volume Ray Casting....Pages 505-512
Inaccuracies of Shape Averaging Method Using Dynamic Time Warping for Time Series Data....Pages 513-520
An Algebraic Substructuring Method for High-Frequency Response Analysis of Micro-systems....Pages 521-528
Multilevel Task Partition Algorithm for Parallel Simulation of Power System Dynamics....Pages 529-537
An Extended Implementation of the Great Deluge Algorithm for Course Timetabling....Pages 538-545
Cubage-Weight Balance Algorithm for the Scattered Goods Loading with Two Aims....Pages 546-553
Modeling VaR in Crude Oil Market: A Multi Scale Nonlinear Ensemble Approach Incorporating Wavelet Analysis and ANN....Pages 554-561
On the Assessment of Petroleum Corporation’s Sustainability Based on Linguistic Fuzzy Method....Pages 562-566
A Multiagent Model for Supporting Tourism Policy-Making by Market Simulations....Pages 567-574
An Improved Chaos-Based Image Encryption Scheme....Pages 575-582
A Factory Pattern in Fortran 95....Pages 583-590
Mapping Pipeline Skeletons onto Heterogeneous Platforms....Pages 591-598
On the Optimal Object-Oriented Program Re-modularization....Pages 599-602
A Buffered-Mode MPI Implementation for the Cell BE TM Processor....Pages 603-610
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML....Pages 611-619
Parallelization of Generic Libraries Based on Type Properties....Pages 620-627
Traffic Routing Through Off-Line LSP Creation....Pages 628-631
Simulating Trust Overlay in P2P Networks....Pages 632-639
Detecting Shrew HTTP Flood Attacks for Flash Crowds....Pages 640-647
A New Fault-Tolerant Routing Algorithm for m -ary n -cube Multi-computers and Its Performance Analysis....Pages 648-651
CARP : Context-Aware Resource Provisioning for Multimedia over 4 G Wireless Networks....Pages 652-659
Improved Fast Handovers for Mobile IPv6 over IEEE 802.16e Network....Pages 660-667
Advanced Bounded Shortest Multicast Algorithm for Delay Constrained Minimum Cost....Pages 668-675
Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing....Pages 676-683
Type-Based Query Expansion for Sentence Retrieval....Pages 684-691
An Extended R-Tree Indexing Method Using Selective Prefetching in Main Memory....Pages 692-699
Single Data Copying for MPI Communication Optimization on Shared Memory System....Pages 700-707
Adaptive Sparse Grid Classification Using Grid Environments....Pages 708-715
Latency-Optimized Parallelization of the FMM Near-Field Computations....Pages 716-722
Efficient Generation of Parallel Quasirandom Faure Sequences Via Scrambling....Pages 723-730
Complexity of Monte Carlo Algorithms for a Class of Integral Equations....Pages 731-738
Modeling of Carrier Transport in Nanowires....Pages 739-746
Monte Carlo Numerical Treatment of Large Linear Algebra Problems....Pages 747-754
Simulation of Multiphysics Multiscale Systems: Introduction to the ICCS’2007 Workshop....Pages 755-761
Simulating Weed Propagation Via Hierarchical, Patch-Based Cellular Automata....Pages 762-769
A Multiscale, Cell-Based Framework for Modeling Cancer Development....Pages 770-777
Stochastic Modelling and Simulation of Coupled Autoregulated Oscillators in a Multicellular Environment: The her1/her7 Genes....Pages 778-785
Multiscale Modeling of Biopolymer Translocation Through a Nanopore....Pages 786-793
Multi-physics and Multi-scale Modelling in Cardiovascular Physiology: Advanced User Methods for Simulation of Biological Systems with ANSYS/CFX....Pages 794-801
Lattice Boltzmann Simulation of Mixed Convection in a Driven Cavity Packed with Porous Medium....Pages 802-809
Numerical Study of Cross Diffusion Effects on Double Diffusive Convection with Lattice Boltzmann Method....Pages 810-817
Lattice Boltzmann Simulation of Some Nonlinear Complex Equations....Pages 818-825
A General Long-Time Molecular Dynamics Scheme in Atomistic Systems: Hyperdynamics in Entropy Dominated Systems....Pages 826-833
A New Constitutive Model for the Analysis of Semi-flexible Polymers with Internal Viscosity....Pages 834-841
Coupled Navier-Stokes/DSMC Method for Transient and Steady-State Gas Flows....Pages 842-849
Multi-scale Simulations of Gas Flows with Unified Flow Solver....Pages 850-857
Coupling Atomistic and Continuum Models for Multi-scale Simulations of Gas Flows....Pages 858-865
Modelling Macroscopic Phenomena with Cellular Automata and Parallel Genetic Algorithms: An Application to Lava Flows....Pages 866-873
Acceleration of Preconditioned Krylov Solvers for Bubbly Flow Problems....Pages 874-881
An Efficient Characteristic Method for the Magnetic Induction Equation with Various Resistivity Scales....Pages 882-889
Multiscale Discontinuous Galerkin Methods for Modeling Flow and Transport in Porous Media....Pages 890-897
Fourier Spectral Solver for the Incompressible Navier-Stokes Equations with Volume-Penalization....Pages 898-905
High Quality Surface Mesh Generation for Multi-physics Bio-medical Simulations....Pages 906-913
Macro-micro Interlocked Simulation for Multiscale Phenomena....Pages 914-921
Towards a Complex Automata Framework for Multi-scale Modeling: Formalism and the Scale Separation Map....Pages 922-930
Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems....Pages 931-938
On a New Isothermal Quantum Euler Model: Derivation, Asymptotic Analysis and Simulation....Pages 939-946
Grate Furnace Combustion: A Submodel for the Solid Fuel Layer....Pages 947-954
Introduction to the ICCS 2007 Workshop on Dynamic Data Driven Applications Systems....Pages 955-962
Pharmaceutical Informatics and the Pathway to Personalized Medicines....Pages 963-963
Towards Real-Time Distributed Signal Modeling for Brain-Machine Interfaces....Pages 964-971
Using Cyber-Infrastructure for Dynamic Data Driven Laser Treatment of Cancer....Pages 972-979
Grid-Enabled Software Environment for Enhanced Dynamic Data-Driven Visualization and Navigation During Image-Guided Neurosurgery....Pages 980-987
From Data Reverence to Data Relevance: Model-Mediated Wireless Sensing of the Physical Environment....Pages 988-994
AMBROSia: An Autonomous Model-Based Reactive Observing System....Pages 995-1001
Dynamically Identifying and Tracking Contaminants in Water Bodies....Pages 1002-1009
Hessian-Based Model Reduction for Large-Scale Data Assimilation Problems....Pages 1010-1017
Localized Ensemble Kalman Dynamic Data Assimilation for Atmospheric Chemistry....Pages 1018-1025
Data Assimilation in Multiscale Chemical Transport Models....Pages 1026-1033
Building a Dynamic Data Driven Application System for Hurricane Forecasting....Pages 1034-1041
A Dynamic Data Driven Wildland Fire Model....Pages 1042-1049
Ad Hoc Distributed Simulation of Surface Transportation Systems....Pages 1050-1057
Cyberinfrastructure for Contamination Source Characterization in Water Distribution Systems....Pages 1058-1065
Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management....Pages 1066-1073
DDDAS for Autonomic Interconnected Systems: The National Energy Infrastructure....Pages 1074-1082
Implementing Virtual Buffer for Electric Power Grids....Pages 1083-1089
Enhanced Situational Awareness: Application of DDDAS Concepts to Emergency and Disaster Management....Pages 1090-1097
AIMSS: An Architecture for Data Driven Simulations in the Social Sciences....Pages 1098-1105
Bio-terror Preparedness Exercise in a Mixed Reality Environment....Pages 1106-1113
Dynamic Tracking of Facial Expressions Using Adaptive, Overlapping Subspaces....Pages 1114-1121
Realization of Dynamically Adaptive Weather Analysis and Forecasting in LEAD: Four Years Down the Road....Pages 1122-1129
Active Learning with Support Vector Machines for Tornado Prediction....Pages 1130-1137
Adaptive Observation Strategies for Forecast Error Minimization....Pages 1138-1146
Two Extensions of Data Assimilation by Field Alignment....Pages 1147-1154
A Realtime Observatory for Laboratory Simulation of Planetary Circulation....Pages 1155-1162
Planet-in-a-Bottle: A Numerical Fluid-Laboratory System....Pages 1163-1170
Compressed Sensing and Time-Parallel Reduced-Order Modeling for Structural Health Monitoring Using a DDDAS....Pages 1171-1179
Multi-level Coupling of Dynamic Data-Driven Experimentation with Material Identification....Pages 1180-1188
Evaluation of Fluid-Thermal Systems by Dynamic Data Driven Application Systems - Part II....Pages 1189-1196
Dynamic Data-Driven Fault Diagnosis of Wind Turbine Systems....Pages 1197-1204
Building Verifiable Sensing Applications Through Temporal Logic Specification....Pages 1205-1212
Dynamic Data-Driven Systems Approach for Simulation Based Optimizations....Pages 1213-1221
DDDAS/ITR: A Data Mining and Exploration Middleware for Grid and Distributed Computing....Pages 1222-1229
A Combined Hardware/Software Optimization Framework for Signal Representation and Recognition....Pages 1230-1237
Validating Evolving Simulations in COERCE....Pages 1238-1245
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata....Pages 1246-1253
Back Matter....Pages -