The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006, held in Reading, UK, in May 2006.
The main conference and its 32 topical workshops attracted over 1400 submissions. The 98 revised full papers and 29 revised poster papers of the main track presented together with 500 accepted workshop papers were carefully reviewed and selected for inclusion in the four volumes.
The papers span the whole range of computational science, with focus on the following major themes: tackling grand challenges problems; modelling and simulations of complex systems; scalable algorithms and tools and environments for computational science. Of particular interest were the following major recent developments in novel methods and modelling of complex systems for diverse areas of science, scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, fin
Author(s): Jean-Charles Matéo-Vélez, Francois Rogier, Frédéric Thivet, Pierre Degond (auth.), Vassil N. Alexandrov, Geert Dick van Albada, Peter M. A. Sloot, Jack Dongarra (eds.)
Series: Lecture Notes in Computer Science 3992 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 1122
Tags: Theory of Computation; Software Engineering/Programming and Operating Systems; Numeric Computing; Information Systems and Communication Service; Computer Imaging, Vision, Pattern Recognition and Graphics; Simulation and Modeling
Front Matter....Pages -
Numerical Modeling of Plasma – Flow Interaction....Pages 1-9
Numerical Methods for Reacting Gas Flow Simulations....Pages 10-17
Reduced Flame Kinetics Via Rate-Controlled Constrained Equilibrium....Pages 18-25
Flow Patterns in the Vicinity of Triple Line Dynamics Arising from a Local Surface Tension Model....Pages 26-33
A Multilevel-Multigrid Approach to Multiscale Electromagnetic Simulation....Pages 34-40
Scalable Simulation of Electromagnetic Hybrid Codes....Pages 41-49
Numerical Modelling of Poroviscoelastic Grounds in the Time Domain Using a Parallel Approach....Pages 50-57
Numerical Modeling of Tidal Effects and Hydrodymanics in the Po River Estuary....Pages 58-65
Adaptive Mesh Refinement and Domain Decomposition: A Framework to Study Multi-physical and Multi-scale Phenomena. First Application to Reacting Gas Flows....Pages 66-69
Time Splitting and Grid Refinement Methods in the Lattice Boltzmann Framework for Solving a Reaction-Diffusion Process....Pages 70-77
Mesoscopic Simulations of Unsteady Shear-Thinning Flows....Pages 78-85
A Multiphysics Model of Capillary Growth and Remodeling....Pages 86-93
Liquid Computations and Large Simulations of the Mammalian Visual Cortex....Pages 94-101
Which Meshes Are Better Conditioned: Adaptive, Uniform, Locally Refined or Locally Adjusted?....Pages 102-105
Parallel Simulation of Three–Dimensional Bursting with MPI and OpenMP....Pages 106-113
Numerical Simulation of Phase Transformations in Shape Memory Alloy Thin Films....Pages 114-121
A Virtual Test Facility for Simulating Detonation-Induced Fracture of Thin Flexible Shells....Pages 122-130
Data-Driven Inverse Modelling of Ionic Polymer Conductive Composite Plates....Pages 131-138
Exploiting Real-Time 3d Visualisation to Enthuse Students: A Case Study of Using Visual Python in Engineering....Pages 139-146
Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges....Pages 147-154
A Project Based Approach to Teaching Parallel Systems....Pages 155-160
Learning by Doing: Software Projects in CSE Education....Pages 161-168
Computational Math, Science, and Technology (CMST): A Strategy to Improve STEM Workforce and Pedagogy to Improve Math and Science Education....Pages 169-176
The School of Computational Science at Florida State University....Pages 177-184
Teaching the Foundations of Computational Science on the Undergraduate Level....Pages 185-192
Computational Science: An Intermingling of Science, Mathematics, and Computer Science....Pages 193-198
A Framework for Conceptually Modelling the Domain Knowledge of an Instructional System....Pages 199-206
Platyhelminthes Are [Re]constructed Recursively....Pages 207-214
Extensions for 3D Graphics Rendering Engine Used for Direct Tessellation of Spline Surfaces....Pages 215-222
An Evolution Computation Based Approach to Synthesize Video Texture....Pages 223-230
Deformation of Dynamic Surfaces....Pages 231-238
A New Smoothing Algorithm for Quadrilateral and Hexahedral Meshes....Pages 239-246
The Calculation of Parametric NURBS Surface Interval Values Using Neural Networks....Pages 247-254
Characterizing and Covering Some Subclasses of Orthogonal Polygons....Pages 255-262
Techniques for Computing Viewpoint Entropy of a 3D Scene....Pages 263-270
3D Object Repair Using 2D Algorithms....Pages 271-278
Extraction of Ridges-Valleys for Feature-Preserving Simplification of Polygonal Models....Pages 279-286
Multiresolution 3D Rendering on Mobile Devices....Pages 287-294
Multiresolution Remeshing Using Weighted Centroidal Voronoi Diagram....Pages 295-301
Metric 3D Surface Mesh Generation Using Delaunay Criteria....Pages 302-309
A Multiresolution Model for Non-photorealistic Rendering of Trees....Pages 310-317
Model Creation by Velocity Controlled Surface Deformation....Pages 318-325
Rendering of Unorganized Points with Octagonal Splats....Pages 326-333
Statistical Based Vectorization for Standard Vector Graphics....Pages 334-341
Robustly Computing Intersection Curves of Two Canal Surfaces with Quadric Decomposition....Pages 342-349
Triangle Strip Multiresolution Modelling Using Sorted Edges....Pages 350-357
Improvement Construction for Planar G2 Transition Curve Between Two Separated Circles....Pages 358-361
B-Spline Curve Fitting Using Dominant Points....Pages 362-366
Quality and Performance Evaluation of Ray-Space Interpolation for Free Viewpoint Video Systems....Pages 367-370
Framework for Adaptive Sampling of Point-Based Surfaces Using Geometry and Color Attributes....Pages 371-374
Normalizing Relational Database Schemas Using Mathematica....Pages 375-382
Extending Maple Capabilities for Solving and Displaying Inequalities....Pages 383-390
Phase Response Curves, Delays and Synchronization in Matlab ....Pages 391-398
A Hybrid Approach for Normal Factorization of Polynomials....Pages 399-406
Computer Algebra for the Formation of Structural Matrices of Piezoceramic Finite Elements....Pages 407-413
Symbolic Analysis of Economical Models with Mathematica....Pages 414-421
Polarizable Theta-Stable Parabolic Subalgebras and K ℂ -Saturation in the Non-compact Real Forms of G 2 and F 4 ....Pages 422-429
Dynamic Load Balancing with MatlabMPI....Pages 430-437
Maple Implementation of the Chor-Rivest Cryptosystem....Pages 438-445
Development of TRIP: Fast Sparse Multivariate Polynomial Multiplication Using Burst Tries....Pages 446-453
A Symbolic Approach to Quantum Computation Simulation....Pages 454-461
Development of SyNRAC ....Pages 462-469
Automated Discovery in Elementary Extrema Problems....Pages 470-477
Stabilizing Second-Order Linear Dynamic Systems Via Hybrid Output Feedback Controls....Pages 478-485
Computation of the Adjoint Matrix....Pages 486-489
MathBlackBoard as Effective Tool in Classroom....Pages 490-493
Finding Inefficiencies in OpenMP Applications Automatically with Periscope....Pages 494-501
Analysis of the Spatial and Temporal Locality in Data Accesses....Pages 502-509
A Performance Profile and Test Tool for Development of Embedded Software Using Various Report Views....Pages 510-517
SCE Toolboxes for the Development of High-Level Parallel Applications....Pages 518-525
Introducing the Open Trace Format (OTF)....Pages 526-533
Dynamic Instrumentation of Distributed Java Applications Using Bytecode Modifications....Pages 534-541
Fine-Grained Instrumentation and Monitoring of Legacy Applications in a Service-Oriented Environment....Pages 542-548
Monitoring of WS-Based Applications....Pages 549-556
Using Sequential Debugging Techniques with Massively Parallel Programs....Pages 557-564
Workflow for Integrated Object Detection in Collaborative Video Annotation Environments....Pages 565-572
RMIX: A Dynamic, Heterogeneous, Reconfigurable Communication Framework....Pages 573-580
Developing Collaborative Social Software....Pages 581-586
An Efficient and Reflective Event Filtering for Context-Awareness in Ubiquitous Computing....Pages 587-594
Creation and Control of Interactive Virtual Environments....Pages 595-602
Using Haptics to Improve Immersion in Virtual Environments....Pages 603-609
A Novel Navigation Algorithm for Locomotion Interfaces with Programmable Platforms....Pages 610-617
Efficient and Practical Algorithms for Deducing the History of Recombination in Populations....Pages 618-619
Chordal Graphs in Computational Biology – New Insights and Applications....Pages 620-621
Exemplar Longest Common Subsequence....Pages 622-629
Synonymous Codon Substitution Matrices....Pages 630-637
SEPA: Approximate Non-subjective Empirical p -Value Estimation for Nucleotide Sequence Alignment....Pages 638-645
Multiple Sequence Alignment by Ant Colony Optimization and Divide-and-Conquer....Pages 646-653
COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching....Pages 654-661
Missing Values Estimation in Microarray Data with Partial Least Squares Regression....Pages 662-669
Boost Feature Subset Selection: A New Gene Selection Algorithm for Microarray Dataset....Pages 670-677
A Hybrid Feature Selection Approach for Microarray Gene Expression Data....Pages 678-685
A Self-supervised Learning Framework for Classifying Microarray Gene Expression Data....Pages 686-693
Pooling Evidence to Identify Cell Cycle–Regulated Genes....Pages 694-701
Discovering Sequence-Structure Patterns in Proteins with Variable Secondary Structure....Pages 702-709
Clustering Support Vector Machines and Its Application to Local Protein Tertiary Structure Prediction....Pages 710-717
Extracting Protein-Protein Interactions from the Literature Using the Hidden Vector State Model....Pages 718-725
A Multilevel Approach to Identify Functional Modules in a Yeast Protein-Protein Interaction Network....Pages 726-733
Towards Detecting Protein Complexes from Protein Interaction Data....Pages 734-741
High-Throughput SNP Genotyping by SBE/SBH....Pages 742-749
Tag SNP Selection Based on Multivariate Linear Regression....Pages 750-757
Minimum Multicolored Subgraph Problem in Multiplex PCR Primer Set Selection and Population Haplotyping....Pages 758-766
Phasing of 2-SNP Genotypes Based on Non-random Mating Model....Pages 767-774
Event Models for Tumor Classification with SAGE Gene Expression Data....Pages 775-782
Genomes Containing Duplicates Are Hard to Compare....Pages 783-790
Rearrangement of Noisy Genomes....Pages 791-798
Simple Reconstruction of Binary Near-Perfect Phylogenetic Trees....Pages 799-806
Reconstructing Ancestor-Descendant Lineages from Serially-Sampled Data: A Comparison Study....Pages 807-814
Robustness of Greedy Type Minimum Evolution Algorithms....Pages 815-821
Space and Time Efficient Algorithms for Planted Motif Search....Pages 822-829
Predictability of Rules in HIV-1 Protease Cleavage Site Analysis....Pages 830-837
Statistical Feature Selection from Chaos Game Representation for Promoter Recognition....Pages 838-845
Blue Matter: Strong Scaling of Molecular Dynamics on Blue Gene/L....Pages 846-854
DigitalTree: A Tool for Displaying Biological Data in Tree Structure....Pages 855-862
HiSP: A Probabilistic Data Mining Technique for Protein Classification....Pages 863-870
Cross-Ontological Analytics: Combining Associative and Hierarchical Relations in the Gene Ontologies to Assess Gene Product Similarity....Pages 871-878
A GO-Based Method for Assessing the Biological Plausibility of Regulatory Hypotheses....Pages 879-886
Delays in Biological Regulatory Networks (BRN)....Pages 887-894
Phase Transitions in Gene Knockdown Networks of Transitive RNAi....Pages 895-903
Compile-Time Energy Optimization for Parallel Applications in On-Chip Multiprocessors....Pages 904-911
Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains....Pages 912-919
Higher Order Flattening....Pages 920-928
Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm....Pages 929-936
Joint Structured/Unstructured Parallelism Exploitation in muskel ....Pages 937-944
Co-Array Collectives: Refined Semantics for Co-Array Fortran....Pages 945-952
An Approach to Buffer Management in Java HPC Messaging....Pages 953-960
A Low Complexity and Robust Frequency Offset Estimation Algorithm for OFDM-Based WLAN Systems....Pages 961-968
Simplified Signal Detection for BLAST Architecture with ML and DFE Detectors....Pages 969-976
Scenario Decomposition Based Analysis of Next Generation Mobile Services....Pages 977-984
A Power Saving Scheme for Integrated WLAN and Cellular Networks....Pages 985-991
The Optimal Subchannel and Bit Allocation Problem for OFDM....Pages 992-995
Bluetooth Broadcasting Performance: Reliability and Throughput....Pages 996-999
An Optimized Two Factor Authenticated Key Exchange Protocol in PWLANs....Pages 1000-1007
Adaptive Clustering with Virtual Subnets Support in Ad Hoc Networks....Pages 1008-1015
A Service Management Architecture for NEMO in IPv4 and IPv6 Networks....Pages 1016-1023
Overlapped Detection Via Approximate Entropy Estimation Against Flooding Attack in Mobile Sensor Networks....Pages 1024-1032
Implementation of Next Generation Mobile Service: The Context-Aware Follow-Me Service....Pages 1033-1040
Multi-piconet Formation to Increase Channel Utilization in IEEE 802.15.3 High-Rate WPAN....Pages 1041-1049
Unencapsulated Mobile Multicast Routing for Next Generation Video Networks....Pages 1050-1057
Channel Estimation of High Rate WPAN System with Diversity Technique....Pages 1058-1064
A Timestamp Tree-Based Cache Invalidation Report Scheme in Mobile Computing Environments....Pages 1065-1068
Clustering Versus Evenly Distributing Energy Dissipation in Wireless Sensor Routing for Prolonging Network Lifetime....Pages 1069-1072
On the Effect of Heterogeneous Traffic Sources on the Network Availability for Wireless Sensor Grids....Pages 1073-1080
Selective Handover Technique on Multihomed Mobile Network Environment....Pages 1081-1088
Collaborative Trust-Based Shortest Secure Path Discovery in Mobile Ad Hoc Networks....Pages 1089-1096
An Efficient Neighbor Knowledge Based Broadcasting for Mobile Ad Hoc Networks....Pages 1097-1100
Maximum Lifetime Paths for the High Packet Delivery Ratio Using Fast Recovery in a Mobile Ad Hoc Network....Pages 1101-1104
Synonymous Codon Substitution Matrices....Pages E1-E1
Compile-Time Energy Optimization for Parallel Applications in On-Chip Multiprocessors....Pages E1-E1
Back Matter....Pages -