Computational Science - ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, ProceedingsYong Shi Annotation The four-volume set LNCS 4487-4490 constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. More than 2400 submissions were made to the main conference and its 35 topical workshops. The 80 revised full papers and 11 revised short papers of the main track were carefully reviewed and selected from 360 submissions and are presented together with 624 accepted workshop papers in four volumes. According to the ICCS 2007 theme "Advancing Science and Society through Computation" the papers cover a large volume of topics in computational science and related areas, from multiscale physics, to wireless networks, and from graph theory to tools for program development. The papers are arranged in topical sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data, computational methods in energy economics, risk analysis, advances in computational geomechanics and geophysics, meta-synthesis and complex systems, scientific computing in electronics engineering, wireless and mobile systems, high performance networked media and services, evolution toward next generation internet, real time systems and adaptive applications, evolutionary algorithms and evolvable systems. |
Contents
A Composite Finite ElementFinite Difference Model Applied to Turbulence Modelling | 1 |
Vortex Identification in the Wall Region of Turbulent Channel Flow | 9 |
Numerical Solution of a TwoClass LWR Traffic Flow Model by HighResolution CentralUpwind Scheme | 17 |
UserControllable GPGPUBased TargetDriven Smoke Simulation | 25 |
Variable Relaxation Solvefor Nonlinear Thermal Conduction | 30 |
A Moving Boundary Wave RunUp Model | 38 |
Enabling VeryLarge Scale Earthquake Simulations onParallel Machines | 46 |
Fast Insolation Computation in Large Territories | 54 |
Traffic Routing Through OffLine LSP Creation | 628 |
Simulating Trust Overlay in P2P Networks | 632 |
Detecting Shrew HTTP Flood Attacks for Flash Crowds | 640 |
A New FaultTolerant Routing Algorithm for mary ncube Multicomputers and Its Performance Analysis | 648 |
ContextAware Resource Provisioning for Multimedia over 4G Wireless Networks | 652 |
Improved Fast Handovers for Mobile IPv6 over IEEE 80216e Network | 660 |
Advanced Bounded Shortest Multicast Algorithm for Delay Constrained Minimum Cost | 668 |
Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing | 676 |
Nonequilibrium Thermodynamics ThermomechanicsGeodynamics | 62 |
A Finite Element Model for Epidermal WoundHealing | 70 |
Predicting Binding Sites of Hepatitis C VirusComplexes Using Residue Binding Propensityand Sequence Entropy | 78 |
Use of Parallel Simulated Annealing for ComputationalModeling of Human Head Conductivity | 86 |
Mining Molecular Structure Data for the Patterns ofInteractions Between Protein and RNA | 94 |
Detecting Periodically Expression in Unevenly SpacedMicroarray Time Series | 102 |
Creating Individual Based Models of thePlankton Ecosystem | 111 |
A Hybrid AgentBased Model of Chemotaxis | 119 |
BlockBased Approach to Solving LinearSystems | 128 |
Numerical Tests with GaussType NestedImplicit RungeKutta Formulas | 136 |
An Efficient Implementation of theThomasAlgorithm for Block PentadiagonalSystems on Vector Computers | 144 |
Compatibility of Scalapack with the DiscreteWavelet Transform | 152 |
A Model for Representing Topological RelationsBetween Simple Concave Regions | 160 |
Speech Emotion Recognition Based on a Fusionof AllClass and PairwiseClass Feature Selection | 168 |
Regularized KnowledgeBased Kernel Machine | 176 |
ThreePhase Inverse Design Stefan Problem | 184 |
Semisupervised Clustering Using IncompletePrior Knowledge | 192 |
Distributed Reasoning with Fuzzy Description Logics | 196 |
Effective Pattern Similarity Match for MultidimensionalSequence Data Sets | 204 |
GPUAccelerated Montgomery Exponentiation | 213 |
HierarchicalMatrix Preconditioners forParabolic Optimal Control Problems | 221 |
Searching and Updating Metric Space Databases Using the Parallel EGNAT | 229 |
An Efficient Algorithm and Its Parallelization for Computing PageRank | 237 |
A Query Index for Stream Data Using Interval Skip Lists Exploiting Locality | 245 |
Accelerating XML Structural Matching Using Suffix Bitmaps | 253 |
Improving XML Querying with Maximal Frequent Query Patterns | 261 |
A LogicBased Approach to Mining Inductive Databases | 270 |
An Efficient QuantumBehaved Particle Swarm Optimization for Multiprocessor Scheduling | 278 |
Toward Optimizing ParticleSimulation Systems | 286 |
A Modified QuantumBehaved Particle Swarm Optimization | 294 |
Neural Networks for Predicting the Behavior of Preconditioned Iterative Solvers | 302 |
On the Normal Boundary Intersection Method for Generation of Efficient Front | 310 |
An Improved Laplacian Smoothing Approach for Surface Meshes | 318 |
RedBlack HalfSweep Iterative Method Using Triangle Finite Element Approximation for 2D Poisson Equations | 326 |
Optimizing Surface Triangulation Via Near Isometry with Reference Meshes | 334 |
Efficient Adaptive Strategy for Solving Inverse Problems | 342 |
Topology Preserving Tetrahedral Decomposition of Trilinear Cell | 350 |
A Portal to Fit Potential Energy Functionals to ab initio Points | 358 |
Impact of QoS on Replica Placementin Tree Networks | 366 |
Generating Traffic Time Series Based on Generalized Cauchy Process | 374 |
Reliable and Scalable State Management Using Migration of State Information in Web Services | 382 |
Efficient and Reliable Execution of Legacy Codes Exposed as Services | 390 |
Provenance Provisioning in Mobile AgentBased Distributed Job Workflow Execution | 398 |
An Epistemic Programming Language for All Scientists | 406 |
Translation of Common Information Model to Web Ontology Language | 414 |
XML Based Semantic Data Grid Service | 418 |
CommunicationAware Scheduling Algorithm Based on Heterogeneous Computing Systems | 426 |
Macro Adjustment Based Task Scheduling in Hierarchical Grid Market | 430 |
A Dependability Guided Job Scheduling System for Grid Environment | 434 |
An Exact Algorithm for the Servers Allocation Capacity and Flow Assignment Problem with Cost Criterion and Delay Constraint in Wide Area Netw... | 442 |
Adaptive Divisible Load Model for Scheduling DataIntensive Grid Applications | 446 |
Providing FaultTolerance in Unreliable Grid Systems Through Adaptive Checkpointing and Replication | 454 |
A MachineLearning Based Load Prediction Approach for Distributed ServiceOriented Applications | 462 |
A Balanced Resource Allocation and Overload Control Infrastructure for the Service Grid Environment | 466 |
Recognition and Optimization of LoopCarried Stream Reusing of Scientific Computing Applications on the Stream Processor | 474 |
A Scalable Parallel Software Volume Rendering Algorithm for LargeScale Unstructured Data | 482 |
GeometryDriven Nonlinear Equation with an Accelerating Coupled Scheme for Image Enhancement | 490 |
A Graph Clustering Algorithm Based on Minimum and Normalized Cut | 497 |
Adaptive Division of Subcells in the PARM for Efficient Volume Ray Casting | 505 |
Inaccuracies of Shape Averaging Method Using Dynamic Time Warping for Time Series Data | 513 |
An Algebraic Substructuring Method for HighFrequency Response Analysis of Microsystems | 521 |
Multilevel Task Partition Algorithm for Parallel Simulation of Power System Dynamics | 529 |
An Extended Implementation of the Great Deluge Algorithm for Course Timetabling | 538 |
CubageWeight Balance Algorithm for the Scattered Goods Loading with Two Aims | 546 |
A Multi Scale Nonlinear Ensemble Approach Incorporating Wavelet Analysis and ANN | 554 |
On the Assessment of Petroleum Corporations Sustainability Based on Linguistic Fuzzy Method | 562 |
A Multiagent Model for Supporting Tourism PolicyMaking by Market Simulations | 567 |
An Improved ChaosBased Image Encryption Scheme | 575 |
A Factory Pattern in Fortran 95 | 583 |
Mapping Pipeline Skeletons onto Heterogeneous Platforms | 591 |
On the Optimal ObjectOriented Program Remodularization | 599 |
A BufferedMode MPI Implementation for the Cell BETM Processor | 603 |
Implementation of the Parallel Superposition in BulkSynchronous Parallel ML | 611 |
Parallelization of Generic Libraries Based on Type Properties | 620 |
TypeBased Query Expansion for Sentence Retrieval | 684 |
An Extended RTree Indexing Method Using Selective Prefetching in Main Memory | 692 |
Single Data Copying for MPI Communication Optimization on Shared Memory System | 700 |
Adaptive Sparse Grid Classification Using Grid Environments | 708 |
LatencyOptimized Parallelization of the FMM NearField Computations | 716 |
Efficient Generation of Parallel Quasirandom Faure Sequences Via Scrambling | 723 |
Complexity of Monte Carlo Algorithms for a Class of Integral Equations | 731 |
Modeling of Carrier Transport in Nanowires | 739 |
Monte Carlo Numerical Treatment of Large Linear Algebra Problems | 747 |
Introduction to the ICCS2007 Workshop | 755 |
Simulating Weed Propagation Via Hierarchical PatchBased Cellular Automata | 762 |
A Multiscale CellBased Framework for Modeling Cancer Development | 770 |
The her1her7 Genes | 778 |
Multiscale Modeling of Biopolymer Translocation Through a Nanopore | 786 |
Advanced User Methods for Simulation of Biological Systems with ANSYSCFX | 794 |
Lattice Boltzmann Simulation of Mixed Convection in a Driven Cavity Packed with Porous Medium | 802 |
Numerical Study of Cross Diffusion Effects on Double Diffusive Convection with Lattice Boltzmann Method | 810 |
Lattice Boltzmann Simulation of Some Nonlinear Complex Equations | 818 |
Hyperdynamics in Entropy Dominated Systems | 826 |
A New Constitutive Model for the Analysis of Semiflexible Polymers with Internal Viscosity | 834 |
Coupled NavierStokesDSMC Method for Transient and SteadyState Gas Flows | 842 |
Multiscale Simulations of Gas Flows with Unified Flow Solver | 850 |
Coupling Atomistic and Continuum Models for Multiscale Simulations of Gas Flows | 858 |
An Application to Lava Flows | 866 |
Acceleration of Preconditioned Krylov Solvers for Bubbly Flow Problems | 874 |
An Efficient Characteristic Method for the Magnetic Induction Equation with Various Resistivity Scales | 882 |
Multiscale Discontinuous Galerkin Methods for Modeling Flow and Transport in Porous Media | 890 |
Fourier Spectral Solver for the Incompressible NavierStokes Equations with VolumePenalization | 898 |
High Quality Surface Mesh Generation for Multiphysics Biomedical Simulations | 906 |
Macromicro Interlocked Simulation for Multiscale Phenomena | 914 |
Formalism and the Scale Separation Map | 922 |
Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems | 931 |
Derivation Asymptotic Analysis and Simulation | 939 |
A Submodel for the Solid Fuel Layer | 947 |
Introduction to the ICCS 2007 Workshop on Dynamic Data Driven Applications Systems | 955 |
Pharmaceutical Informatics and the Pathway to Personalized Medicines | 963 |
Towards RealTime Distributed Signal Modeling for BrainMachine Interfaces | 964 |
Using CyberInfrastructure for Dynamic Data Driven Laser Treatment of Cancer | 972 |
GridEnabled Software Environment for Enhanced Dynamic DataDriven Visualization and Navigation During ImageGuided Neurosurgery | 980 |
ModelMediated Wireless Sensing of the Physical Environment | 988 |
An Autonomous ModelBased Reactive Observing System | 995 |
Dynamically Identifying and Tracking Contaminants in Water Bodies | 1002 |
HessianBased Model Reduction for LargeScale Data Assimilation Problems | 1010 |
Localized Ensemble Kalman Dynamic Data Assimilation for Atmospheric Chemistry | 1018 |
Data Assimilation in Multiscale Chemical Transport Models | 1026 |
Building a Dynamic Data Driven Application System for Hurricane Forecasting | 1034 |
A Dynamic Data Driven Wildland Fire Model | 1042 |
Ad Hoc Distributed Simulation of Surface Transportation Systems | 1050 |
Cyberinfrastructure for Contamination Source Characterization in Water Distribution Systems | 1058 |
Integrated Decision Algorithms for Autosteered Electric Transmission System Asset Management | 1066 |
The National Energy Infrastructure | 1074 |
Implementing Virtual Buffer for Electric Power Grids | 1083 |
Application of DDDAS Concepts to Emergency and Disaster Management | 1090 |
An Architecture for Data Driven Simulations in the Social Sciences | 1098 |
Bioterror Preparedness Exercise in a Mixed Reality Environment | 1106 |
Dynamic Tracking of Facial Expressions Using Adaptive Overlapping Subspaces | 1114 |
Four Years Down the Road | 1122 |
Active Learning with Support Vector Machines for Tornado Prediction | 1130 |
Adaptive Observation Strategies for Forecast Error Minimization | 1138 |
Two Extensions of Data Assimilation by Field Alignment | 1147 |
A Realtime Observatory for Laboratory Simulation of Planetary Circulation | 1155 |
A Numerical FluidLaboratory System | 1163 |
Compressed Sensing and TimeParallel ReducedOrder Modeling for Structural Health Monitoring Using a DDDAS | 1171 |
Multilevel Coupling of Dynamic DataDriven Experimentation with Material Identification | 1180 |
Evaluation of FluidThermal Systems by Dynamic Data Driven Application Systems Part II | 1189 |
Dynamic DataDriven Fault Diagnosis of Wind Turbine Systems | 1197 |
Building Verifiable Sensing Applications Through Temporal Logic Specification | 1205 |
Dynamic DataDriven Systems Approach for Simulation Based Optimizations | 1213 |
A Data Mining and Exploration Middleware for Grid and Distributed Computing | 1222 |
A Combined HardwareSoftware Optimization Framework for Signal Representation and Recognition | 1230 |
Validating Evolving Simulations in COERCE | 1238 |
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata | 1246 |
Author Index | 1254 |
Other editions - View all
Common terms and phrases
algorithm analysis applications approach average Berlin Heidelberg 2007 Boltzmann Boltzmann equation boundary cache calculated cell checkpointing cluster communication complex Computer Science dataset defined denoted density distribution domain DSMC dynamics efficient epistemic equation error evaluation flow fluid Fortran function graph grid heuristics ICCS IEEE implementation initial input interactions isosurface iteration lattice Boltzmann method linear LNCS load balancing mapping matrix memory mesh method Monte Carlo MPICH multiscale NEC SX-8 node nonlinear OpenMP operations optimal paper parallel parallel computing parameters Particle Swarm Optimization particles partition performance points preconditioner prediction problem processors proposed QPSO quasirandom query R-Tree replicas resource scale scheduling scheme semantic sequence server simulation solution solve solver space sparse grid sparse matrix spatial Springer-Verlag Berlin Heidelberg step structure suffix bitmap superthread technique tree University vector velocity web service