ICCS 2005: Atlanta, GA, USA

Numerical Methods

• Ran Baik, Karabi Datta, Yoopyo Hong:
  Computing for Eigenpairs on Globally Convergent Iterative Method for Hermitian Matrices. 1-8
  
• Hongtao Xu, Timothy S. Newman:
  2D FE Quad Mesh Smoothing via Angle-Based Optimization. 9-16
  
• Georgina Flores Becerra, Víctor M. García, Antonio M. Vidal:
  Numerical Experiments on the Solution of the Inverse Additive Singular Value Problem. 17-24
  
• Wilfried N. Gansterer:
  Computing Orthogonal Decompositions of Block Tridiagonal or Banded Matrices. 25-32
  
• Pierre-Antoine Absil, C. G. Baker, Kyle A. Gallivan, Ahmed H. Sameh:
  Adaptive Model Trust Region Methods for Generalized Eigenvalue Problems. 33-41
  
• Gennady Y. Kulikov, Sergey Konstantinovich Shindin:
  On Stable Integration of Stiff Ordinary Differential Equations with Global Error Control. 42-49
  
• David Bindel, James Demmel, Mark J. Friedman, Willy Govaerts, Yuri A. Kuznetsov:
  Bifurcation Analysis of Large Equilibrium Systems in Matlab. 50-57
  
• Nabil R. Nassif, Dolly Fayyad, Maria Cortas:
  Sliced-Time Computations with Re-scaling for Blowing-Up Solutions to Initial Value Differential Equations. 58-65
  
• Fred T. Tracy, Barbara P. Donnell, Stacy E. Howington, Jeffrey L. Hensley:
  Application of the Pseudo-Transient Technique to a Real-World Unsaturated Flow Groundwater Problem. 66-73
  
• J. A. Rod Blais, D. A. Provins, M. A. Soofi:
  Optimization of Spherical Harmonic Transform Computations. 74-81
  
• Jianwei Ju, Giovanni Lapenta:
  Predictor-Corrector Preconditioned Newton-Krylov Method For Cavity Flow. 82-89
  

Algorithms and Computational Kernels

• Qi Zhu, Shaohua Tan, Ying Qiao:
  A High-Order Recursive Quadratic Learning Algorithm. 90-98
  
• Eduardo F. D'Azevedo, Mark R. Fahey, Richard Tran Mills:
  Vectorized Sparse Matrix Multiply for Compressed Row Storage Format. 99-106
  
• Kasthuri Srinivasan, Hemant Mahawar, Vivek Sarin:
  A Multipole Based Treecode Using Spherical Harmonics for Potentials of the Form r^-lambda. 107-114
  
• Zizhong Chen, Jack Dongarra:
  Numerically Stable Real Number Codes Based on Random Matrices. 115-122
  
• Shujun Li, Elise de Doncker, Karlis Kaugars:
  On Iterated Numerical Integration. 123-130
  
• Andrei Bourchtein:
  Semi-Lagrangian Implicit-Explicit Two-Time-Level Scheme for Numerical Weather Prediction. 131-138
  
• Heungkyu Lee, Hanseok Ko:
  Occlusion Activity Detection Algorithm Using Kalman Filter for Detecting Occluded Multiple Objects. 139-146
  
• Suna Ertunc, Bulent Akay, Hale Hapoglu, Mustafa Alpbaz:
  A New Computer Algorithm Approach to Identification of Continuous-Time Batch Bioreactor Model Parameters. 147-154
  
• Albert Hartono, Alexander Sibiryakov, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, So Hirata, Chi-Chung Lam, Russell M. Pitzer, J. Ramanujam, P. Sadayappan:
  Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations. 155-164
  
• Elise de Doncker, Shujun Li, Yoshimitsu Shimizu, Junpei Fujimoto, Fukuko Yuasa:
  Regularization and Extrapolation Methods for Infrared Divergent Loop Integrals. 165-171
  
• Yusong Li, Eugene J. LeBoeuf, P. K. Basu:
  Use of a Least Squares Finite Element Lattice Boltzmann Method to Study Fluid Flow and Mass Transfer Processes. 172-179
  

Nonnumerical Algorithms

• K. Subramani, Dejan Desovski:
  On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks. 180-187
  
• Imdat Kara, Tolga Bektas:
  Minimal Load Constrained Vehicle Routing Problems. 188-195
  
• Kayhan Erciyes, Zehra Soysert:
  Multilevel Static Real-Time Scheduling Algorithms Using Graph Partitioning. 196-203
  
• Suely Oliveira, Sang-Cheol Seok:
  A Multi-level Approach for Document Clustering. 204-211
  
• Jung-Yup Kang, Jean-Luc Gaudiot:
  A Logarithmic Time Method for Two's Complementation. 212-219
  

Parallel Algorithms

• Pedro Alonso, Antonio M. Vidal:
  The Symmetric-Toeplitz Linear System Problem in Parallel. 220-228
  
• Pedro V. Alberti, Víctor M. García, Antonio M. Vidal:
  Parallel Resolution with Newton Algorithms of the Inverse Non-symmetric Eigenvalue Problem. 229-236
  
• Ioana Banicescu, Ricolindo Cariño, Jane L. Harvill, John Patrick Lestrade:
  Computational Challenges in Vector Functional Coefficient Autoregressive Models. 237-244
  
• Konrad Malkowski, Padma Raghavan:
  Multi-pass Mapping Schemes for Parallel Sparse Matrix Computations. 245-255
  
• Amik St.-Cyr, Stephen J. Thomas:
  High-Order Finite Element Methods for Parallel Atmospheric Modeling. 256-262
  

Environments and Libraries

• Mark J. Friedman, Willy Govaerts, Yuri A. Kuznetsov, Bart Sautois:
  Continuation of Homoclinic Orbits in Matlab. 263-270
  
• Hervé Bolvin, André Chambarel, Philippe Neveux:
  A Numerical Tool for Transmission Lines. 271-278
  
• Andrea Lani, Tiago Quintino, Dries Kimpe, Herman Deconinck, Stefan Vandewalle, Stefaan Poedts:
  The COOLFluiD Framework: Design Solutions for High Performance Object Oriented Scientific Computing Software. 279-286
  
• Lilit Abrahamyan, Jorrit A. Schaap, Alfons G. Hoekstra, Denis P. Shamonin, Frieke M. A. Box, Rob J. van der Geest, Johan H. C. Reiber, Peter M. A. Sloot:
  A Problem Solving Environment for Image-Based Computational Hemodynamics. 287-294
  
• Walter Schreppers, Franky Backeljauw, Annie A. M. Cuyt:
  MPL: A Multiprecision Matlab - Like Environment. 295-303
  

Performance and Scalability

• Sadaf R. Alam, Jeffrey S. Vetter:
  Performance and Scalability Analysis of Cray X1 Vectorization and Multistreaming Optimization. 304-312
  
• Christian Engelmann, Al Geist:
  Super-Scalable Algorithms for Computing on 100, 000 Processors. 313-321
  
• Laurentiu Cucos, Elise de Doncker:
  "gRpas", a Tool for Performance Testing and Analysis. 322-329
  
• Michael Kluge, Andreas Knüpfer, Wolfgang E. Nagel:
  Statistical Methods for Automatic Performance Bottleneck Detection in MPI Based Programs. 330-337
  

Programming Techniques

• Uwe Naumann, Jean Utke:
  Source Templates for the Automatic Generation of Adjoint Code Through Static Call Graph Reversal. 338-346
  

Networks and Distributed Algorithms

• Nasim Mahmood, Yusheng Feng, James C. Browne:
  A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes. 347-354
  
• Magdalena Slawiñska, Bogdan Wiszniewski:
  Determining Consistent States of Distributed Objects Participating in a Remote Method Call. 355-363
  
• Mikel Luján, Anila Usman, Patrick Hardie, T. L. Freeman, John R. Gurd:
  Storage Formats for Sparse Matrices in Java. 364-371
  
• Wael R. Elwasif, Donald B. Batchelor, David E. Bernholdt, Lee A. Berry, Eduardo F. D'Azevedo, Wayne A. Houlberg, E. F. Jaeger, James Arthur Kohl, Shuhui Li:
  Coupled Fusion Simulation Using the Common Component Architecture. 372-379
  
• Sang-Jun Hwang, Jaechun No, Sung-Soon Park:
  A Case Study in Distributed Locking Protocol on Linux Clusters. 380-387
  
• Geoffrey Marshall, Kayhan Erciyes:
  Implementation of a Cluster Based Routing Protocol for Mobile Networks. 388-395
  
• Cuneyt Akinlar, Sarit Mukherjee:
  A Bandwidth Sensitive Distributed Continuous Media File System Using the Fibre Channel Network. 396-404
  
• Soon-Young Park, Hae-Young Bae:
  A Distributed Spatial Index for Time-Efficient Aggregation Query Processing in Sensor Networks. 405-410
  
• Mauricio Marín:
  Fast Concurrency Control for Distributed Inverted Files. 411-418
  
• Eunseuk Oh, Hongsik Choi, David Primeaux:
  An All-Reduce Operation in Star Networks Using All-to-All Broadcast Communication Pattern. 419-426
  

Parallel and Distributed Computing

• Germán Bianchini, Ana Cortés, Tomàs Margalef, Emilio Luque:
  S²F²M - Statistical System for Forest Fire Management. 427-434
  
• Adam K. L. Wong, Andrzej M. Goscinski:
  Concurrent Execution of Multiple NAS Parallel Programs on a Cluster. 435-442
  
• W. Thomas Swain, Stephen L. Scott:
  Model-Based Statistical Testing of a Cluster Utility. 443-450
  
• Bryson R. Payne, G. Scott Owen, Irene Weber:
  Accelerating Protein Structure Recovery Using Graphics Processing Units. 451-459
  
• Jing-Ru C. Cheng, Robert M. Hunter, Hwai-Ping Cheng, David R. Richards:
  A Parallel Software Development for Watershed Simulations. 460-468
  

Grid Computing

• Choonhan Youn, Tim Kaiser, Cindy Santini, Dogan Seber:
  Design and Implementation of Services for a Synthetic Seismogram Calculation Tool on the Grid. 469-476
  
• James V. S. Watson, Sang-Min Park, Marty Humphrey:
  Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET. 477-484
  
• Jaechun No, Hyoungwoo Park:
  GEDAS: A Data Management System for Data Grid Environments. 485-492
  
• Tomasz Haupt, Anand Kalyanasundaram, Nisreen Ammari, Krishnendu Chandra, Kamakhya Das, Shravan Durvasula:
  SPURport: Grid Portal for Earthquake Engineering Simulations. 493-500
  
• Jonathan Martin, Jim Basney, Marty Humphrey:
  Extending Existing Campus Trust Relationships to the Grid Through the Integration of Pubcookie and MyProxy. 501-508
  
• Ulisses Kendi Hayashida, Kunio Okuda, Jairo Panetta, Siang Wun Song:
  Generating Parallel Algorithms for Cluster and Grid Computing. 509-516
  
• Lei Gao, Yongsheng Ding:
  Relationship Networks as a Survivable and Adaptive Mechanism for Grid Resource Location. 517-525
  
• Isabelle Attali, Denis Caromel, Arnaud Contes:
  Deployment-Based Security for Grid Applications. 526-533
  
• Alfredo Tirado-Ramos, George Tsouloupas, Marios D. Dikaiakos, Peter M. A. Sloot:
  Grid Resource Selection by Application Benchmarking for Computational Haemodynamics Applications. 534-543
  
• Wenju Zhang, Shudong Chen, Liang Zhang, Shui Yu, Fanyuan Ma:
  AGARM: An Adaptive Grid Application and Resource Monitor Framework. 544-551
  

Failure Handling

• Huaizhong Lin, Zengwei Zheng, Chun Chen:
  Reducing Transaction Abort Rate of Epidemic Algorithm in Replicated Databases. 552-559
  
• Doina Bein, Ajoy Kumar Datta, Mehmet Hakan Karaata, Safaa Zaman:
  Snap-Stabilizing k-Wave Synchronizer. 560-567
  
• Lei Wang, Peiyu Li, Zhaohui Wu, Shangjian Chen:
  A Service Oriented Implementation of Distributed Status Monitoring and Fault Diagnosis Systems. 568-575
  
• Soo Myoung Lee, Hee Yong Youn, We-Duke Cho:
  Adaptive Fault Monitoring in Fault Tolerant CORBA. 576-584
  

Optimization

• Juan Manuel Górriz, Carlos García Puntonet, J. D. Morales, Juan José González de la Rosa:
  Simulated Annealing Based-GA Using Injective Contrast Functions for BSS. 585-592
  
• Intaek Kim, HeSong Lian, Hwan Il Kang:
  A DNA Coding Scheme for Searching Stable Solutions. 593-598
  
• Xianchuang Su, Xiaogang Jin, Yong Min, Bo Peng:
  Study on Asymmetric Two-Lane Traffic Model Based on Cellular Automata. 599-606
  
• Grzegorz Tosik, Zbigniew Lisik, Malgorzata Langer, Janusz Wozny:
  Simulation of Parasitic Interconnect Capacitance for Present and Future ICs. 607-614
  
• Jingmei Yang, Huoping Chen, Salim Hariri, Manish Parashar:
  Self-optimization of Large Scale Wildfire Simulations. 615-622
  

Modeling and Simulation

• Giancarlo Alfonsi, Leonardo Primavera:
  Description of Turbulent Events Through the Analysis of POD Modes in Numerically Simulated Turbulent Channel Flow. 623-630
  
• Adnan Salman, Sergei Turovets, Allen D. Malony, Jeff Eriksen, Don M. Tucker:
  Computational Modeling of Human Head Conductivity. 631-638
  
• André Chambarel, Hervé Bolvin:
  Modeling of Electromagnetic Waves in Media with Dirac Distribution of Electric Properties. 639-646
  
• Arnaud Mesgouez, Gaëlle Lefeuve-Mesgouez, André Chambarel:
  Simulation of Transient Mechanical Wave Propagation in Heterogeneous Soils. 647-654
  
• Jong-Suk Ruth Lee, Hae-Duck Joshua Jeong:
  Practical Modelling for Generating Self-similar VBR Video Traffic. 655-663
  

Image Analysis and Processing

• Hong Zhou, Benjamin Ray Seyfarth:
  A Pattern Search Method for Image Registration. 664-670
  
• Lanfen Lin, Shenghui Liao, Ruofeng Tong, Jinxiang Dong:
  Water Droplet Morphing Combining Rigid Transformation. 671-678
  
• Rastislav Lukac, Konstantinos N. Plataniotis:
  A Cost-Effective Private-Key Cryptosystem for Color Image Encryption. 679-686
  
• Rastislav Lukac, Konstantinos N. Plataniotis:
  On a Generalized Demosaicking Procedure: A Taxonomy of Single-Sensor Imaging Solutions. 687-694
  
• Christos-Nikolaos Anagnostopoulos, Athanassios Koutsonas, Ioannis Anagnostopoulos, Vassilis Loumos, Eleftherios Kayafas:
  Tile Classification Using the CIELAB Color Model. 695-702
  

Graphics and Visualization

• Hans-Peter Bischof, Jonathan Coles:
  A Movie Is Worth More Than a Million Data Points. 703-710
  
• Donghoon Lee, Byoung-Hyun Ju, Kyungsook Han:
  A Layout Algorithm for Signal Transduction Pathways as Two-Dimensional Drawings with Spline Curves. 711-718
  
• Jeongjin Lee, Helen Hong, Yeong-Gil Shin:
  Interactive Fluid Animation and Its Applications. 719-726
  
• Paula Farago, Ligia Barros, Gerson G. Cunha, Luiz Landau, Rosa Maria Costa:
  ATDV: An Image Transforming System. 727-734
  
• Sunhwa Jung, Min Hong, Min-Hyung Choi:
  An Adaptive Collision Detection and Resolution for Deformable Objects Using Spherical Implicit Surface. 735-742
  

Computation as a Scientific Paradigm

• Xiaohui Guan, Gang Pan, Zhaohui Wu:
  Automatic Categorization of Traditional Chinese Painting Images with Statistical Gabor Feature and Color Feature. 743-750
  
• Xin-She Yang, Janet M. Lees, Chris T. Morley:
  Nonlinear Finite Element Analysis of Structures Strengthened with Carbon Fibre Reinforced Polymer: A Comparison Study. 751-756
  
• Boguslaw Cyganek:
  Machine Efficient Adaptive Image Matching Based on the Nonparametric Transformations. 757-765
  
• Lech Znamirowski:
  Non-gradient, Sequential Algorithm for Simulation of Nascent Polypeptide Folding. 766-774
  

Hybrid Computational Methods

• Yusuf Oysal:
  Time Delay Dynamic Fuzzy Networks for Time Series Prediction. 775-782
  
• Defu Zhang, Ansheng Deng, Yan Kang:
  A Hybrid Heuristic Algorithm for the Rectangular Packing Problem. 783-791
  
• Ho-Sung Park, Sung-Kwun Oh, Witold Pedrycz, Yong-Kab Kim:
  Genetically Dynamic Optimization Based Fuzzy Polynomial Neural Networks. 792-797
  
• Sung-Kwun Oh, Byoung-Jun Park, Witold Pedrycz, Tae-Chon Ahn:
  Genetically Optimized Hybrid Fuzzy Neural Networks Based on Simplified Fuzzy Inference Rules and Polynomial Neurons. 798-803
  
• Changyong Zhang, Robert Rodosek:
  Modelling and Constraint Hardness Characterisation of the Unique-Path OSPF Weight Setting Problem. 804-811
  

Complex Systems

• Zhou Li, He You, Wang Xiao-jing:
  Application of Four-Dimension Assignment Algorithm of Data Association in Distributed Passive-Sensor System. 812-819
  
• Antoine Spicher, Olivier Michel:
  Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling. 820-827
  
• Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo Aldeguer:
  Specifying Complex Systems with Bayesian Programming. An Alife Application. 828-836
  
• Elzbieta Kasperska, Damian Slota:
  Optimization Embedded in Simulation on Models Type System Dynamics - Some Case Study. 837-842
  
• Gonca Tuncel, Gunhan Mirac Bayhan:
  A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach. 843-851
  

Applications

• David J. Horntrop:
  Mesoscopic Simulation for Self-organization in Surface Processes. 852-859
  
• Pavel Herman, Ivan Barvík:
  Computer Simulation of the Anisotropy of Fluorescence in Ring Molecular Systems. 860-867
  
• J. Verkaik, C. Vuik, B. D. Paarhuis, A. Twerda:
  The Deflation Accelerated Schwarz Method for CFD. 868-875
  
• Ewa Raj, Zbigniew Lisik, Malgorzata Langer, Grzegorz Tosik, Janusz Wozny:
  The Numerical Approach to Analysis of Microchannel Cooling Systems. 876-883
  
• Linxiang X. Wang, Roderick V. N. Melnik:
  Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model. 884-891
  
• Can Elmar Balas:
  A Computational Risk Assessment Model for Breakwaters. 892-899
  
• Juan José González de la Rosa, Carlos García Puntonet, Isidro Lloret Galiana, Juan Manuel Górriz Sáez:
  Wavelets and Wavelet Packets Applied to Termite Detection. 900-907
  
• Yanning Guan, Shan Guo, Jiangui Liu, Xia Zhang:
  Algorithms for the Estimation of the Concentrations of Chlorophyll A and Carotenoids in Rice Leaves from Airborne Hyperspectral Data. 908-915
  
• Kyung Ha Min, In-Kwon Lee:
  Multiresolution Reconstruction of Pipe-Shaped Objects from Contours. 916-924
  

Biomedical Applications

• Kai Xie, Jie Yang, Yue Min Zhu:
  Multi-resolution LOD Volume Rendering in Medicine. 925-933
  
• Seung-Jin Park, Kyung-Sik Seo, Jong-An Park:
  Automatic Hepatic Tumor Segmentation Using Statistical Optimal Threshold. 934-940
  
• Jung Ae Kim, Sunyoung Cho, Sang-Kun Lee, Hyunwoo Nam, Seung Kee Han:
  Spatio-Temporal Patterns in the Depth EEG During the Epileptic Seizure. 941-947
  
• Yanga Byun, Sanghoon Moon, Kyungsook Han:
  Prediction of Ribosomal Frameshift Signals of User-Defined Models. 948-955
  
• Fumihiko Takeuchi, Kenji Yamamoto:
  Effectiveness of Vaccination Strategies for Infectious Diseases According to Human Contact Networks. 956-962
  

Data Mining and Computation

• Min Wang, Jiancheng Luo, Chenghu Zhou, Dongping Ming:
  A Shape Constraints Based Method to Recognize Ship Objects from High Spatial Resolution Remote Sensed Imagery. 963-970
  
• Sanggil Kang, Jeongyeon Lim, Munchurl Kim:
  Statistical Inference Method of User Preference on Broadcasting Content. 971-978
  
• Tianqiang Huang, Xiaolin Qin, Chongcheng Chen, Qinmin Wang:
  Density-Based Spatial Outliers Detecting. 979-986
  
• Guiyi Wei, Guangming Wang, Yao Zheng, Wei Wang:
  The Design and Implementation of Extensible Information Services. 987-994
  
• Xumin Liu, Houkuan Huang, Weixiang Xu:
  Approximate B-Spline Surface Based on RBF Neural Networks. 995-1002
  
• Mauricio Marín, Nora Reyes:
  Efficient Parallelization of Spatial Approximation Trees. 1003-1010
  

Education in Computational Science

• Christopher Andrews, Rodney Cooper, Ghislain Deslongchamps, Olivier Spet:
  The Visualization of Linear Algebra Algorithms in Apt Apprentice. 1011-1018
  
• Paul Agron, Leo Bachmair, Frank Nielsen:
  A Visual Interactive Framework for Formal Derivation. 1019-1026
  
• Ouyang Yang, Yabo Dong, Miaoliang Zhu, Huang Yuewei, Mao Song, Mao Yunjie:
  ECVlab: A Web-Based Virtual Laboratory System for Electronic Circuit Simulation. 1027-1034
  
• Jeongheon Lee, YoungTak Cho, Hoon Heo, Oksam Chae:
  MTES: Visual Programming Environment for Teaching and Research in Image Processing. 1035-1042
  

Emerging Trends

• Mark Stewart:
  Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis. 1043-1050
  
• Rex K. Kincaid, Natalia M. Alexandrov:
  Scale-Free Networks: A Discrete Event Simulation Approach. 1051-1058
  
• Myron Ginsberg:
  Impediments to Future Use of Petaflop Class Computers for Large-Scale Scientific/Engineering Applications in U.S. Private Industry. 1059-1066
  
• H'sien J. Wong, Alistair P. Rendell:
  The SCore Cluster Enabled OpenMP Environment: Performance Prospects for Computational Science. 1067-1075