Pushout Complements for Arbitrary Partial Algebras / Francesc Rosselló
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Local Views on Distributed Systems and Their Communication / Ingrid Fischer ; Manuel Koch ; Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems / Michael Goedicke ; Torsten Meyer
A Framework for NLC and ESM: Local Action Systems / Nico Verlinden ; Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems / Hans-Jörg Kreowski ; Gabriel Valiente
Knowledge Representation and Graph Transformation / Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching / Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages / Roswitha Bardohl
From Formulae to Rewriting Systems / Paolo Bottoni ; Francesco Parisi-Presicce ; Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model / Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java / Thorsten Fischer ; Jörg Niere ; Lars Torunski ; Albert Zündorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic / Fabio Gadducci
More About Control Conditions for Transformation Units / Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES / Manfred Münch ; Andy Schürr ; Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches / Giorgio Busatto ; Gregor Engels ; Katharina Mehner ; Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions / Martin Große-Rhode
Simple Modules for Grace / Berthold Hoffmann ; Peter Knirsch
UML Packages for PROgrammed Graph REwriting Systems
Incremental Development of Safety Properties in Petri Net Transformations / Maike Gajewsky ; Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW / Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism / Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products / Carl-Arndt Krapp ; Sven Kruppel ; Ansgar Schleicher ; Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations / Dorina C. Petriu ; Xin Wang
Author Index
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
Dynamic Compressed Hyperoctrees with Application to the N-body Problem / Srinivas Aluru ; Fatih E. Sevilgen
Largest Empty Rectangle among a Point Set / Jeet Chaudhuri ; Subhas C. Nandy
Session 1(b)
Renaming Is Necessary in Timed Regular Expressions / Philippe Herrmann
Product Interval Automata: A Subclass of Timed Automata / Deepak D'Souza ; P. S. Thiagarajan
Session 2(a)
The Complexity of Rebalancing a Binary Search Tree / Rolf Fagerberg
Fast Allocation and Deallocation with an Improved Buddy System / Erik D. Demaine ; Ian J. Munro
Session 2(b)
Optimal Bounds for Transformations of ω-Automata / Christof Löding
CTL+ Is Exponentially More Succinct than CTL / Thomas Wilke
A Top-Down Look at a Secure Message / Martín Abadi ; Cédric Fournet ; Georges Gonthier
Session
Explaining Updates by Minimal Sums / Jürgen Dix ; Karl Schlechta
A Foundation for Hybrid Knowledge Bases / James J. Lu ; Neil V. Murray ; Erik Rosenthal
Hoare Logic for Mutual Recursion and Local Variables / David von Oheimb
Explicit Substitutions and Programming Languages / Jean-Jacques Lévy ; Luc Maranget
Session 5(a)
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings / Luca Becchetti ; Miriam Di Ianni ; Alberto Marchetti-Spaccamela
A Randomized Algorithm for Flow Shop Scheduling / Naveen Garg ; Sachin Jain ; Chaitanya Swamy
Session 5(b)
Synthesizing Distributed Transition Systems from Global Specifications / Ilaria Castellani ; Madhavan Mukund
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata / Supratik Mukhopadhyay ; Andreas Podelski
Implicit Temporal Query Languages: Towards Completeness / Nicole Bidoit ; Sandra de Amo
On the Undecidability of Some Sub-classical First-Order Logics / Matthias Baaz ; Agata Ciabattoni ; Christian Fermüller ; Helmut Veith
How to Compute with DNA* / Lila Kari ; Mark Daley ; Greg Gloor ; Rani Siromoney ; Laura F. Landweber
Session 7(a)
A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles / L. Sunil Chandran
Protecting Facets in Layered Manufacturing / Jörg Schwerdt ; Michiel Smid ; Ravi Janardan ; Eric Johnson ; Jayanth Majhi
Session 7(b)
The Receptive Distributed π-Calculus (Extended Abstract) / Roberto M. Amadio ; Gérard Boudol ; Cédric Lhoussaine
Series and Parallel Operations on Pomsets / Zoltán Ésik ; Satoshi Okawa
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus / Achour Mostéfaoui ; Michel Raynal
Graph Isomorphism: Its Complexity and Algorithms / Seinosuke Toda
Session 9(a)
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables / Martin Sauerhoff
Lower Bounds for Linear Transformed OBDDs and FBDDs (Extended Abstract) / Detlef Sieling
Session 9(b)
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems / Michael Huth
Graded Modalities and Resource Bisimulation / Flavio Corradini ; Rocco De Nicola ; Anna Labella
Session 10(a)
The Non-recursive Power of Erroneous Computation / Christian Schindelhauer ; Andreas Jakoby
Analysis of Quantum Functions (Preliminary Version) / Tomoyuki Yamakami
Session 10(b)
On Sets Growing Continuously / Bernhard Heinemann
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) / Ron van der Meyden ; Nikolay V. Shilov
FST&TCS - ISAAC Joint Session Talks
The Engineering of Some Bipartite Matching Programs / Kurt Mehlhorn
Author Index
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond
Emerging Application Domains and the Computing Fabric / K. V. Palem
Regular Papers
The Game of the Name in Cryptographic Tables / R. M. Amadio ; S. Prasad
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs / T. Calamoneri ; I. Finocchi ; Y. Manoussakis ; R. Petreschi
Rapid Prototyping Techniques for Fuzzy Controllers / C. Chantrapornchai ; S. Tongsima ; E. Sha
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments / I. Chung ; C.-S. Hwang
Observable Sharing for Functional Circuit Description / K. Claessen ; D. Sands
Relating May and Must Testing Semantics for Discrete Timed Process Algebras / L. F. L. DÃaz ; D. de Frutos Escrig
A Framework for Formal Reasoning about Open Distributed Systems / a. Fredlund ; D. Gurov
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic / D. Galmiche ; D. Larchey-Wendling
Verifying Probabilistic Programs Using a Hoare like Logic / J. I. den Hartog
An Expressive Extension of TLC / J. G. Henriksen
Completeness and Decidability of a Fragment of Duration Calculus with Iteration / D. V. Hung ; D. P. Guelev
Logical Relations in Circuit Verification / M. Indrika
Lemma Generalization and Non-unit Lemma Matching for Model Elimination / K. Iwanuma ; K. Kishino
On Automating Inductive and Non-inductive Termination Methods / F. Kamareddine ; F. Monin
Asynchronous Links in the PBC and M-Nets / H. Klaudel ; F. Pommereau
Demand-Driven Model Checking for Context-Free Processes / J. Knoop
Programming the Mobility Behaviour of Agents by Composing Itineraries / S. W. Loke ; H. Schmidt ; A. Zaslavsky
Faster Model Checking for Open Systems / M. Mukund ; K. N. Kumar ; S. A. Smolka
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance / E. Nantajeewarawat ; V. Wuwongse
Entailment of Non-structural Subtype Constraints / J. Niehren ; T. Priesnitz
A CPS-Transform of Constructive Classical Logic / I. Ogata
Formal Verification of the MCS List-Based Queuing Lock / K. Ogata ; K. Futatsugi
BDD-Nodes Can Be More Expressive / F. Reffel
Formal Verification of Descriptions with Distinct Order of Memory Operations / G. Ritter ; H. Hinrichsen ; H. Eveking
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs / A. Roychoudhury ; C. R. Ramakrishnan ; I. V. Ramakrishnan
Separators Are as Simple as Cutsets / A. Seth ; H. Shen ; K. Li ; S.-Q. Zheng
Ant Colony Optimization for the Ship Berthing Problem / C. J. Tong ; H. C. Lau ; A. Lim
Poster Session Abstracts
Security Modeling and Evaluation for the Mobile Code Paradigm / A. H. W. Chan ; M. R. Lyu
CASA - Structured Design of a Specification Language for Intelligent Agents / S. Flake ; C. Geiger
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks / J.-M. Gil
Programming with Explicit Regions / K. Kagawa
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic / M. Majster-Cederbaum ; F. Salger
Formal Verification of Secret Sharing Protocol Using Coq / K. M. Yew ; M. Z. Rahman ; S. P. Lee
Deduction in Logic of Association Rules / N. D. Quang ; J. Rauch
Asynchronous Migration in Parallel Genetic Programming / S. Tongchim ; P. Chongstitvatana
Verification Results for a Multimedia Protocol / T. Tsang ; R. Lai
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks / Q. Yu ; D. B. Hoang
Author Index
Invited Talks
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond
Emerging Application Domains and the Computing Fabric / K. V. Palem
Enhanced Control Flow Graphs in Montages / M. Anlauff ; Ph. W. Kutter ; A. Pierantonio
Abstract State Machines for the Composition of Architectural Styles / A. Sünbül
Partial Evaluation and Supercompilation
The Essence of Program Transformation by Partial Evaluation and Driving (Invited Talk) / N. D. Jones
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All / N. H. Christensen ; R. Glück ; S. Laursen
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification / M. Leuschel
Sonic Partial Deduction / J. Martin ; M.Leuschel
On Perfect Supercompilation / J. P. Secher ; M. H. Sørensen
Linear Time Self-Interpretation of the Pure Lambda Calculus / T. Æ. Mogensen
An Optimal Algorithm for Purging Regular Schemes / D. L. Uvarov
Polymorphism in OBJ-P / M. Plümicke
Concurrency and Parallelism
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem (Invited Talk) / P. Gibson ; D. Méry
Serializability Preserving Extensions of Concurrency Control Protocols / D. Chkliaev ; J. Hooman ; P. van der Stok
Platform Independent Approach for Detecting Shared Memory Parallelism / Yu. V. Chelomin
Hierarchical Cause-Effect Structures / A. P. Ustimenko
Some Decidability Results for Nested Petri Nets / I. A. Lomazova ; Ph. Schnoebelen
Abstract Structures for Communication between Processes / G. Ciobanu ; E. F. Olariu
Logic and Processes
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs / M. I. Dekhtyar ; A. Ja. Dikovsky, ; M. K. Valiev
On Semantics and Correctness of Reactive Rule-Based Programs / M. Lin ; J. Malec ; S. Nadjm-Tehrani
Compositional Verification of CCS Processes / M. Dam ; D. Gurov
Compositional Style of Programming FPGAs / E. Trichina
Languages and Software
Using Experiments to Build a Body of Knowledge (Invited Talk) / V. Basili ; F.Shull ; F. Lanubile
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results / G. Kucherov ; M. Rusinowitch
Extensions: A Technique for Structuring Functional-Logic Programs / R. Caballero ; F. J. López-Fraguas
Language Tools and Programming Systems in Educational Informatics. / S. S. Kobilov
Database Programming
Current Directions in Hyper-Programming (Invited Talk) / R. Morrison ; R. C. H. Connor ; Q. I. Cutts ; A. Dearie ; A. Farkas,G. N. C. Kirby ; R. McGettrick ; E. Zirintsis
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data / L. Frank
A General Object-Oriented Model for Spatial Data / S. Asgari ; N. Yonezaki
Object-Oriented Programming
Twin - A Design Pattern for Modeling Multiple Inheritance / H. Mössenböck
A Partial Semantics for Object Data Models with Static Binding / K. Lellahi ; R. Souah
Heterogeneous, Nested STL Containers in C++ / V. Simonis ; R. Weiss
Data Flow Analysis of Java Programs in the Presence of Exceptions / V. I. Shelekhov ; S. V. Kuksenko
Late Adaptation of Method Invocation Semantics / M. Hof
Constraint Programming
A Control Language for Designing Constraint Solvers / C. Castro ; E. Monfroy
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints / F. Benhamou ; F. Goualard ; É. Languénou ; M. Christie
Constraint Programming Techniques for Solving Problems on Graphs / V. Sidorov ; V. Telerman ; D. Ushakov
Extensional Set Library for ECLiPSe / T. Yakhno ; E. Petrov
Model & Program Checking
Introducing Mutual Exclusion in Esterel / K. Schneider ; V. Sabelfeld
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications / R. J. Anderson ; P. Beame ; W. Chan ; D. Notkin
Formal Verification of a Compiler Back-End Generic Checker Program. / A. Dold ; V. Vialard
Construction of Verified Compiler Front-Ends with Program-Checking / A. Heberle ; Th. Gaul ; W. Goerigk ; G. Goos ; W. Zimmermann
Translating SA/RT Models to Synchronous Reactive Systems:An Approximation to Modular Verification Using the SMV Model Checker / C. de la Riva ; J. Tuya ; J. R. de Diego
Artificial Intelligence
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles / F. A. Kolushev ; A. A. Bogdanov
Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique / I. S. Kononenko ; I. G. Popov ; Yu. A. Zagorulko
Approach to Development of a System for Speech Interaction with an Intelligent Robot / G. B. Cheblakov ; F. G. Dinenberg ; D. Ya. Levin ; I. G. Popov,Yu. A. Zagorulko
Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages / S. Herath ; Ch. Saito ; A. Herath
Author Index
Algebraic Specifications
The Common Framework Initiative for Algebraic Specification and Development of Software (Invited Talk) / D. Sannella
A Logical Approach to Specification of Hybrid Systems / M. V. Korovina ; O.V.Kudinov
A Classification of Symbolic Transition Systems / Thomas A. Henzinger ; Rupak Majumdar
Circuits versus Trees in Algebraic Complexity / Pascal Koiran
On the Many Faces of Block Codes / Kaustubh Deshmukh ; Priti Shankar ; Amitava Dasgupta ; B. Sundar Rajan
A New Algorithm for MAX-2-SAT / Edward A. Hirsch
Bias Invariance of Small Upper Spans / Jack H. Lutz ; Martin J. Strauss
The Complexity of Planarity Testing / Eric Allender ; Meena Mahajan
About Cube-Free Morphisms / Gwénaël Richomme ; Francis Wlazinski
Linear Cellular Automata with Multiple State Variables / Jarkko Kari
Two-Variable Word Equations / Lucian Hie ; Wojciech Plandowski
Average-Case Quantum Query Complexity / Andris Ambainis ; Ronald de Wolf
Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs / Juraj Hromkovič ; Martin Sauerhoff
The Boolean Hierarchy of NP-Partitions / Sven Kosub ; Klaus W. Wagner
Binary Exponential Backoff Is Stable for High Arrival Rates / Hesham Al-Ammal ; Leslie Ann Goldberg ; Phil MacKenzie
The Data Broadcast Problem with Preemption / Nicolas Schabanel
An Approximate Lp-Difference Algorithm for Massive Data Streams / Jessica H. Fong
Succinct Representations of Model Based Belief Revision / Paolo Penna
Logics Capturing Local Properties / Leonid Libkin
The Complexity of Poor Man's Logic / Edith Hemaspaandra
Fast Integer Sorting in Linear Space / Yijie Han
On the Performance of WEAK-HEAPSORT / Stefan Edelkamp ; Ingo Wegener
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers / Luca Aceto ; Zoltán Ésik ; Anna Ingólfsdóttir
Real-Time Automata and the Kleene Algebra of Sets of Real Numbers. / Cătălin Dima
Small Progress Measures for Solving Parity Games / Marcin Jurdziński
Multi-linearity Self-Testing with Relative Error / Frédéric Magniez
Nondeterministic Instance Complexity and Hard-to-Prove Tautologies / Vikraman Arvind ; Johannes Köbler ; Martin Mundhenk ; Jacobo Torán
Hard Instances of Hard Problems / Vikram Mhetre ; Sridhar Srinivasan
Simulation and Bisimulation over One-Counter Processes / Petr Jančar ; Antonín Kučera ; Faron Moller
Decidability of Reachability Problems for Classes of Two Counters Automata / Alain Finkel ; Grégoire Sutre
Hereditary History Preserving Bisimilarity Is Undecidable / Mogens Nielsen
The Hardness of Approximating Spanner Problems / Michael Elkin ; David Peleg
An Improved Lower Bound on the Approximability of Metric TSP and Approximation Algorithms for the TSP with Sharpened Triangle Inequality / Hans-Joachim Böckenhauer ; Ralf Klasing ; Sebastian Seibert ; Walter Unger
λ-Coloring of Graphs / Hans L. Bodlaender ; Ton Kloks ; Richard B. Tan ; Jan van Leeuwen
Optimal Proof Systems and Sparse Sets / Harry Buhrman ; Steve Fenner ; Lance Fortnow ; Dieter van Melkebeek
Almost Complete Sets / Klaus Ambos-Spies ; Wolfgang Merkle ; Jan Reimann ; Sebastiaan A. Terwijn
Graph Isomorphism Is Low for ZPP(NP) and Other Lowness Results
An Approximation Algorithm for the Precedence Constrained Scheduling Problem with Hierarchical Communications / Evripidis Bampis ; Rodolphe Giroudeau ; Jean-Claude König
Polynomial Time Approximation Schemes for the Multiprocessor Open and Flow Shop Scheduling Problem / Klaus Jansen ; Maxim I. Sviridenko
Controlled Conspiracy-2 Search / Ulf Lorenz
The Stability of Saturated Linear Dynamical Systems Is Undecidable / Vincent D. Blondel ; Olivier Bournez ; John N. Tsitsiklis
Tilings: Recursivity and Regularity / Julien Cervelle ; Bruno Durand
Listing All Potential Maximal Cliques of a Graph / Vincent Bouchitté ; loan Todinca
Distance Labeling Schemes for Well-Separated Graph Classes / Michal Katz ; Nir A. Katz
Pruning Graphs with Digital Search Trees. Application to Distance Hereditary Graphs / Jean-Marc Lanlignel ; Olivier Raynaud ; Eric Thierry
Characterizing and Deciding MSO-Definability of Macro Tree Transductions / Joost Engelfriet ; Sebastian Maneth
Languages of Dot-Depth 3/2 / Christian Glaßer ; Heinz Schmitz
Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures / Alberto Bertoni ; Massimiliano Goldwurm ; Massimo Santini
The CNN Problem and Other fc-Server Variants / Elias Koutsoupias ; David Scot Taylor
The Weighted 2-Server Problem / Marek Chrobak ; Jiří Sgall
On the Competitive Ratio of the Work Function Algorithm for the k-Server Problem / Yair Bartal
Spectral Bounds on General Hard Core Predicates / Mikael Goldmann ; Alexander Russell
Randomness in Visual Cryptography / Annalisa De Bonis ; Alfredo De Santis
Online Dial-a-Ride Problems: Minimizing the Completion Time / Norbert Ascheuer ; Sven O. Krumke ; Jörg Rambau
The Power Range Assignment Problem in Radio Networks on the Plane / Andrea E.F. Clementi ; Riccardo Silvestri
Author Index
Codes and Graphs / M. Amin Shokrollahi
A Classification of Symbolic Transition Systems / Thomas A. Henzinger ; Rupak Majumdar
Circuits versus Trees in Algebraic Complexity / Pascal Koiran
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
On Text Mining Techniques for Personalization / C. C. Aggarwal ; P. S. Yu
A Road to Discovery Science / S. Arikawa
Rough Computing: Foundations and Applications
Calculi of Granules Based on Rough Set Theory: Approximate Distributed Synthesis and Granular Semantics for Computing with Words / L. Polkowski ; A. Skowron
Discovery of Rules about Complications / S. Tsumoto
Rough Genetic Algorithms / P. Lingras ; C. Davies
Classifying Faults in High Voltage Power Systems: A Rough-Fuzzy Neural Computational Approach / L. Han ; J. F. Peters ; S. Ramanna ; R. Zhai
Rough Set Theory and Its Applications
Toward Spatial Reasoning in the Framework of Rough Mereology
An Algorithm for Finding Equivalence Relations from Tables with Non-deterministic Information / H. Sakai ; A. Okuma
On the Extension of Rough Sets under Incomplete Information / J. Stefanowski ; A. Tsoukias
On Rough Relations: An Alternative Formulation / Y. Y. Yao ; T. Wang
Formal Rough Concept Analysis / J. Saquer ; J. S. Deogun
Noise Reduction in Telecommunication Channels Using Rough Sets and Neural Networks / R. Krolikowski ; A. Czyzewski
Rough Set Analysis of Electrostimilation Test Database for the Prediction of Post-Operative Profits in Cochlear Implanted Patients / H. Skarzynski ; B. Kostek
A Rough Set-Based Approach to Text Classification / A. Chouchoulas ; Q. Shen
Modular Rough Fuzzy MLP: Evolutionary Design / P. Mitra ; S. Mitra ; S. K. Pal
Approximate Reducts and Association Rules: Correspondence and Complexity Results / H. S. Nguyen ; D. Slezak
Handling Missing Values in Rough Set Analysis of Multi-Attribute and Multi-Criteria Decision Problems / S. Greco ; B. Matarazzo ; R. Slowinski
The Generic Rough Set Inductive Logic Programming Model and Motifs in Strings / A. Siromoney ; K. Inoue
Rough Problem Settings for Inductive Logic Programming / C. Liu ; N. Zhong
Using Rough Sets with Heuristics to Feature Selection / J. Z. Dong ; S. Ohsuga
The Discretization of Continuous Attributes Based on Compatibility Rough Set and Genetic Algorithm / L. Sun ; W. Gao
Fuzzy Set Theory and Its Applications
Level Cut Conditioning Approach to the Necessity Measure Specification / M. Inuiguchi ; T. Tanino
Four c-regression Methods and Classification Functions / S. Miyamoto ; K. Umayahara ; T. Nemoto
Context-Free Fuzzy Sets in Data Mining Context / T. Y. Lin
Applying Fuzzy Hypothesis Testing to Medical Data / M. Last ; A. Schenker ; A. Kandel
Generating A Macroeconomic Fuzzy Forecasting System Using Evolutionary Search / R. Veliev ; A. Rubinov ; A. Stranieri
Fuzzy Control of Nonlinear Systems Using Nonlinearized Parameterization / H. Han ; H. Kawabata
Control of Chaotic Systems Using Fuzzy Model-Based Regulators / K. Watanabe ; L. Udawatta ; K. Kiguchi ; K. Izumi
Fuzzy Behavior-Based Control for the Obstacle Avoidance of Multi-Link Manipulators / P. Dassanayake
Fuzzy Future Value and Annual Cash Flow Analyses / N. Cetin ; C. Kahraman
Semi-Linear Equation with Fuzzy Parameters / S. Melliani
Non-Classical Logic and Approximate Reasoning
First Order Rough Logic-Revisited / Q. Liu
A Generalized Decision Logic in Interval-set-valued Information Tables
Many-Valued Dynamic Logic for Qualitative Decision Theory / C. J. Liau
Incorporating Fuzzy Set Theory and Matrix Logic in Multi-Layer Logic / H. Yamauchi
Fuzzy Logic as Interfacing Media for Constraint Propagation Based on Theories of Chu Space and Information Flow / K. Sato ; T. Horiuchi ; T. Hiraoka ; H. Kawakami ; O. Katai
Pattern Reasoning: A New Solution for Knowledge Acquisition Problem / H. Tsukimoto
Probabilistic Inference and Bayesian Theorem Based on Logical Implication / Y. Yamauchi ; M. Mukaidono
Reasoning with Neural Logic Networks / R. Yasdi
The Resolution for Rough Propositional Logic with Lower (L) and Upper (H) Approximate Operators
Information Granulation and Granular Computing
Information Granules in Distributed Environment / J. Stepaniuk
Evolving Granules for Classification for Discovering Difference in the Usage of Words / T. Yoshida ; T. Kondo ; S. Nishida
Interval Evaluation by AHP with Rough Sets Concept / K. Sugihara ; Y. Maeda ; H. Tanaka
Interval Density Functions in Conflict Analysis / K. Senoo
Incorporating Personal Databases by Granular Computing / Y. Kakemoto
Data Mining and Knowledge Discovery
Knowledge-Driven Discovery of Operational Definitions / J. M. Żytkow
A Closest Fit Approach to Missing Attribute Values in Preterm Birth Data / J. W. Grzymala-Busse ; W. J. Grzymala-Busse ; L. K. Goodwin
Visualizing Discovered Rule Sets with Visual Graphs Based on Compressed Entropy Density / E. Suzuki ; H. Ishihara
A Distance-Based Clustering and Selection of Association Rules on Numeric Attributes / X. Du ; S. Suzuki ; N. Ishii
Knowledge Discovery for Protein Tertiary Substructures / C. K. Chen ; D. Y. Y. Yun
Integrating Classification and Association Rule Mining: A Concept Lattice Framework / K. Hu ; Y. Lu ; L. Zhou ; C. Shi
Using Rough Genetic and Kohonen's Neural Network for Conceptual Cluster Discovery in Data Mining / H. Kiem ; D. Phuc
Towards Automated Optimal Equity Portfolios Discovery in A Knowledge Sharing Financial Data Warehouse / Y. C. Lu ; H. Cheng
Rule-Evolver: An Evolutionary Approach for Data Mining / C. Lopes ; M. Pacheco ; M. Vellasco ; E. Passos
Machine Learning
Decision Making with Probabilistic Decision Tables / W. Ziarko
The Iterated Version Space Learning / J. J. Zhang ; N. Cercone
An Empirical Study on Rule Quality Measures / A. An
Rules as Attributes in Classifier Construction / M. S. Szczuka
An Algorithm to Find the Optimized Network Structure in An Incremental Learning / J. C. Lee ; W. D. Lee ; M. S. Han
Patterns in Numerical Data: Practical Approximations to Kolmogorov Complexity
Performance Prediction for Classification Systems / F. Sun
Intelligent Agents and Systems
Flexible Optimization and Evolution of Underwater Autonomous Agents / E. Eberbach ; R. Brooks ; S. Phoha
Ontology-Based Multi-Agent Model of An Information Security System / V. I. Gorodetski ; L. J. Popyack ; I. V. Kotenko ; V. A. Skormin
Optimal Multi-Scale Time Series Decomposition for Financial Forecasting Using Wavelet Thresholding Techniques / T. Shin ; I. Han
Computerized Spelling Recognition of Words Expressed in the Sound Approach / M. Higgins
An Adaptive Handwriting Recognition System / G. Qian
Author Index
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions
The papers address a variety of graph-theoretic issues relevant from the computer science point of view such as graph algorithms, cycles, graph decompositions, interconnection networks, local search, graph orderings, graph matching, graph languages, tree-width computation, etc
The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions
The papers address a variety of graph-theoretic issues relevant from the computer science point of view such as graph algorithms, cycles, graph decompositions, interconnection networks, local search, graph orderings, graph matching, graph languages, tree-width computation, etc
Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width / B. Courcelle ; J.A. Makowsky ; U. Rotics
Minus Domination in Small-Degree Graphs / Peter Damaschke
The Vertex-Disjoint Triangles Problem / V. Guruswami ; C.P. Rangan ; M.S. Chang ; G.J. Chang ; C.K. Wong
Communication in the Two-Way Listen-in Vertex-disjoint Paths Mode / Hans-Joachim Böckenhauer
Broadcasting on Anonymous Unoriented Tori / S. Dobrev ; P. Ru icka
Families of Graphs Having Broadcasting and Gossiping Properties / Guillaume Fertin ; André Raspaud
Optical All-to-All Communication in Inflated Networks / Olivier Togni
A Generalization of AT-free Graphs and a Generic Algorithm for Sol- ving Treewidth, Minimum Fill-In and Vertex Ranking / Hajo Broersma ; Ton Kloks ; Dieter Kratsch ; Haiko Müller
A Polynomial-Time Algorithm for Finding Total Colorings of Partial k-Trees / Shuji Isobe ; Xiao Zhou ; Takao Nishizeki
Rankings of Directed Graphs / Jan Kratochv'il ; Zsolt Tuza
Drawing Planar Partitions II: HH-Drawings / Therese Biedl ; Michael Kaufmann ; Petra Mutzel
Triangles in Euclidean Arrangements / Stefan Felsner ; Klaus Kriegel
Graphs with Bounded Induced Distance / Serafino Cicerone ; Gabriele Di Stefano
Diameter Determination on Restricted Graph Families / Derek G. Corneil ; Feodor F. Dragan ; Michel Habib ; Christophe Paul
Independent Tree Spanners / Dagmar Handke
Upgrading Bottleneck Constrained Forests / S. O. Krumke ; M. V. Marathe ; H. Noltemeier ; S. S. Ravi ; H.-C. Wirth
Routing in Recursive Circulant Graphs: Edge Forwarding Index and Hamiltonian Decomposition / G. Gauyacq ; C. Micheneau ; A. Raspaud
Improved Compressions of Cube-Connected Cycles Networks / Ralf Klasing
Efficient Embeddings of Grids into Grids / Markus Röttger ; Ulf-Peter Schroeder
Integral Uniform Flows in Symmetric Networks / Farhad Shahrokhi ; László A. Székely
Splitting Number is NP-complete / L. Faria ; C. M. H. de Figueiredo ; C. F. X. Mendonça
Tree Spanners in Planar Graphs / Sandor P. Fekete ; Jana Kremer
A Linear-Time Algorithm to Find Four Independent Spanning Trees in Four-Connected Planar Graphs / Kazuyuki Miura ; Daishiro Takahashi ; Shin-ichi Nakano
Linear Algorithms for a k-partition Problem of Planar Graphs without Specifying Bases / Koichi Wada ; Wei Chen
Domination and Steiner Tree Problems on Graphs with Few P4s / Luitpold Babel ; Stephan Olariu
Minimum Fill-in and Treewidth for Graphs Modularly Decomposable into Chordal Graphs / Elias Dahlhaus
Interval Completion with the Smallest Max-degree / Fedor V. Fomin ; Petr A. Golovach
An Estimate of the Tree-Width of a Planar Graph Which Has Not a Given Planar Grid as a Minor / K.Yu. Gorbunov
Author Index
Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width / B. Courcelle ; J.A. Makowsky ; U. Rotics
Minus Domination in Small-Degree Graphs / Peter Damaschke
The Vertex-Disjoint Triangles Problem / V. Guruswami ; C.P. Rangan ; M.S. Chang ; G.J. Chang ; C.K. Wong
Abstracting a Human's Decision Process by PRISM / Yoshitaka Kameya ; Taisuke Sato
Mechanisms of Self-Organized Renormalizability / Hiroshi H. Hasegawa ; Yoshikazu Ohtaki
An Efficient Tool for Discovering Simple Combinatorial Patterns from Large Text Databases / Hiroki Arimura ; Atsushi Wataki ; Ryoichi Fujino ; Shinichi Shimozono
A Similarity Finding System under a Goal Concept / Makoto Haraguchi ; Tokuyasu Kakuta
Parallel Induction Algorithms for Large Samples / Tohgoroh Matsui ; Nobuhiro Inuzuka ; Hirohisa Seki ; Hidenori Itoh
Toward Effective Knowledge Acquisition with First Order Logic Induction / Xiaolong Zhang ; Tetsuo Narita ; Masayuki Numao
A Logic of Discovery / Jānis Bārzdiņ&sbreve; ; Rūsiņš Freivalds ; Carl H. Smith
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery / Jingde Cheng
Four-Fold Table Calculi for Discovery Science / Jan Ranch
Parallel Organization Algorithm for Graph Matching and Subgraph Isomorphism Detection / Yoshinori Nakanishi
Visualizing Semantic Clusters in the Internet Information Space / Etsuya Shibayama ; Jun Yabe ; Shin Takahashi ; Mitsuru Matsuda
KN on ZK - Knowledge Network on Network Note Pad ZK / Sachio Hirokawa ; Tsuyoshi Taguchi
Virtual Integration of Distributed Database by Multiple Agents / Takao Mohri ; Yuji Takada
Development of Some Methods and Tools for Discovering ConceptualKnowledge / Tu Bao Ho ; Trong Dung Nguyen ; Ngoc Binh Nguyen ; Takuya Ito
Reducing the Dimensions of Attributes by Selection and Aggregation / Akiko Aizawa
On the Number of Clusters in Cluster Analysis / Atsuhiro Takasu
Geometric Clustering Models in Feature Space / Mary Inaba ; Hiroshi Imai
Efficient Mining of Association Rules with Item Constraints / Shin-Mu Tseng
GDT-RS: A Probabilistic Rough Induction Approach / Juzhen Dong ; Ning Zhong ; Setsuo Ohsuga
A Constructive Fuzzy NGE Learning System / Maria do Carmo Nicoletti ; Flavia Oliveira Santos
Composing Inductive Applications Using Ontologies for Machine Learning / Akihiro Suyama ; Naoya Negishi ; Takahira Yamagchi
TDDA, a Data Mining Tool for Text Databases: A Case History in a Lung Cancer Text Database / Jeffrey A. Goldman ; Wesley Chu ; D. Stott Parker ; Robert M. Goldman
Crowww Classification and Retrieval on WWW / Phyllis Anwyl ; Atsushi Itoh ; Ayako Oono
Extracting Knowledge Patterns from Ticket Data / Maria de Fatima Rodrigues ; Carlos Ramos ; Pedro Rangel Henriques
Automatic Acquisition of Phoneme Models and Its Application to Phoneme Labeling of a Large Size of Speech Corpus / Motoyuki Suzuki ; Teruhiko Maeda ; Hiroki Mori ; Shozo Makino
An Experimental Agricultural Data Mining System / Kazunori Matsumoto
Data Mining Oriented System for Business Applications / Yukinobu Hamuro ; Naoki Katoh ; Katsutoshi Yada
Moving Object Recognition Using Wavelets and Learning of Eigenspaces / Shigeru Takano ; Teruya Minamoto
Search for New Methods for Assignment of Complex Molecular Spectra and a Program Package for Simulation of Molecular Spectra / Takehiko Tanaka ; Takashi Imajo
Computer Aided Hypotheses Based Drug Discovery Using CATALYSTRTM and PC GUHA Software Systems (A Case Study of Catechol Analogs Against Malignant Melanoma) / Jaroslava Halova ; Oldrich Strouf ; Premysl Zak ; Anna Sochorova ; Noritaka Uchida ; Hiroshi Okimoto ; Tomoaki Yuzuri ; Kazuhisa Sakakibara ; Minora Hirota
Knowledge Discovery through the Navigation Inside the Human Body / Toyofumi Saito ; Jun-ichiro Toriwaki ; Kensaku Mori
The UK e-Science Core Program and the Grid / T. Hey ; A.E. Trefethen
Community Grids / G. Fox ; O. Balsoy ; S. Pallickara ; A. Uyar ; D. Gannon ; A. Slominski
Conference Papers
Computer Science - Information Retrieval
A Conceptual Model for Surveillance Video Content and Event-Based Indexing and Retrieval / F. Marir ; K. Zerzour ; K. Ouazzane ; Y. Xue
Comparison of Overlap Detection Techniques / K. Monostori ; R. Finkel ; A. Zaslavsky ; G. Hodász ; M. Pataki
Using a Passage Retrieval System to Support Question Answering Process / F. Llopis ; J.L. Vicedo ; A. Ferrández
XML Design Patterns Used in the EnterTheGrid Portal / A. Emmen
Modeling Metadata-Enabled Information Retrieval / M.J. Fernández-Iglesias ; J.S. Rodríguez ; L. Anido ; J. Santos ; M. Caeiro ; M. Llamas
Complex Systems Applications 1
Spontaneous Branching in a Polyp Oriented Model of Stony Coral Growth / R. Merks ; A. Hoekstra ; J. Kaandorp ; P. Sloot
Local Minimization Paradigm in Numerical Modeling of Foraminiferal Shells / P. Topa ; J. Tyszka
Using PDES to Simulate Individual-Oriented Models in Ecology: A Case Study / R. Suppi ; P. Munt ; E. Luque
In Silico Modeling of the Human Intestinal Microflora / D.J. Kamerman ; M.H.F. Wilkinson
A Mesoscopic Approach to Modeling Immunological Memory / Y. Liu ; H.J. Ruskin
Computer Science - Computer Systems Models
A New Method for Ordering Binary States Probabilities in Reliability and Risk Analysis / L. González
Reliability Evaluation Using Monte Carlo Simulation and Support Vector Machine / C.M. Rocco Sanseverino ; J.A. Moreno
On Models for Time-Sensitive Interactive Computing / M. Meriste ; L. Motus
Induction of Decision Multi-trees Using Levin Search / C. Ferri-Ramírez ; J. Hernández-Orallo ; M.J. Ramírez-Quintana
A Versatile Simulation Model for Hierarchical Treecodes / P.F. Spinnato ; G.D. van Albada ; P.M.A. Sloot
Scientific Computing - Stochastic Algorithms
Computational Processes in Iterative Stochastic Control Design / I.V. Semoushin ; O.Yu. Gorokhov
An Efficient Approach to Deal with the Curse of Dimensionality in Sensitivity Analysis Computations / M. Ratto ; A. Saltelli
Birge and Qi Method for Three-Stage Stochastic Programs Using IPM / G. Ch. Pflug ; L. Halada
Multivariate Stochastic Models of Metocean Fields: Computational Aspects and Applications / A.V. Boukhanovsky
Complex Systems Applications 2
Simulation of Gender Artificial Society: Multi-agent Models of Subject-Object Interactions / J. Frolova ; V. Korobitsin
Memory Functioning in Psychopathology / R.S. Wedemann ; R. Donangelo ; L.A.V. de Carvalho ; I.H. Martins
Investigating e-Market Evolution / J. Debenham
Markets as Global Scheduling Mechanisms: The Current State / J. Nakai
Numerical Simulations of Combined Effects of Terrain Orography and Thermal Stratification on Pollutant Distribution in a Town Valley / S. Kenjereš ; K. Hanjalić ; G. Krstović
Computer Science - Networks
The Differentiated Call Processing Based on the Simple Priority-Scheduling Algorithm in SIP6 / C. Kim ; B. Choi ; K. Kim ; S. Han
A Fuzzy Approach for the Network Congestion Problem / G. Di Fatta ; G. Lo Re ; A. Urso
Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster / M. Lobosco ; V. Santos Costa ; C.L. de Amorim
Basic Operations on a Partitioned Optical Passive Stars Network with Large Group Size / A. Datta ; S. Soundaralakshmi
Scientific Computing - Domain Decomposition
3D Mesh Generation for the Results of Anisotropic Etch Simulation / E.V. Zudilova ; M.O. Borisov
A Fractional Splitting Algorithm for Non-overlapping Domain Decomposition / D.S. Daoud ; D.S. Subasi
Tetrahedral Mesh Generation for Environmental Problems over Complex Terrains / R. Montenegro ; G. Montero ; J.M. Escobar ; E. Rodríguez ; J.M. González-Yuste
Domain Decomposition and Multigrid Methods for Obstacle Problems / X.-C. Tai
Domain Decomposition Coupled with Delaunay Mesh Generation / T. Jurczyk ; B. Glut
Complex Systems Applications 3
Accuracy of 2D Pulsatile Flow in the Lattice Boltzmann BGK Method / A.M. Artoli ; A.G. Hoekstra
Towards a Microscopic Traffic Simulation of All of Switzerland / B. Raney ; A. Voellmy ; N. Cetin ; M. Vrtic ; K. Nagel
Modeling Traffic Flow at an Urban Unsignalized Intersection / R. Wang
A Discrete Model of Oil Recovery / G. González-Santos ; C. Vargas-Jarillo
Virtual Phase Dynamics for Constrained Geometries in a Soap Froth / Y. Feng ; B. Zhu
Computer Science - Code Optimization
A Correction Method for Parallel Loop Execution / V. Beletskyy
A Case Study for Automatic Code Generation on a Coupled Ocean-Atmosphere Model / P. van der Mark ; R. van Engelen ; K. Gallivan ; W. Dewar
Data-Flow Oriented Visual Programming Libraries for Scientific Computing / J.M. Maubach ; W. Drenth
Methods for Complex Systems Simulation
One Dilemma - Different Points of View / I. Ferdinandova
Business Agent / I.-H. Meng ; W.-P. Yang ; W.-C. Chen ; L.-P. Chang
On the Use of Longitudinal Data Techniques for Modeling the Behavior of a Complex System / X. Benavent ; F. Vegara ; J. Domingo ; G. Ayala
Problem of Inconsistent and Contradictory Judgements in Pairwise Comparison Method in Sense of AHP / M. Kwiesielewicz ; E. van Uden
Grid and Applications
An Integration Platform for Metacomputing Applications / T. Nguyen ; C. Plumejeaud
Large-Scale Scientific Irregular Computing on Clusters and Grids / P. Brezany ; M. Bubak ; M. Malawski ; K. Zaj&acedil;ac
High Level Trigger System for the LHC ALICE Experiment / H. Helstrup ; J. Lien ; V. Lindenstruth ; D. Röhrich ; B. Skaali ; T. Steinbeck ; K. Ullaland ; A. Vestbø ; A. Wiebalck
The Gateway Computational Web Portal: Developing Web Services for High Performance Computing / M. Pierce ; C. Youn
Evolutionary Optimization Techniques on Computational Grids / B Abdalhaq ; A. Cortés ; T. Margalef
Problem Solving Environment 1
Eclipse and Ellipse: PSEs for EHL Solutions Using IRIS Explorer and SCIRun / C Goodyer ; M. Berzins
Parallel Newton-Krylov-Schwarz Method for Solving the Anisotropic Bidomain Equations from the Excitation of the Heart Model / M. Murillo ; X.-C. Cai
Parallel Flood Modeling Systems / L. Hluchy ; V.D. Tran ; J. Astalos ; M. Dobrucky ; G.T. Nguyen ; D. Froehlich
Web Based Real Time System for Wavepacket Dynamics / A. Nowiński ; K. Nowiński ; P. Ba&lslash;a
The Taylor Center for PCs: Exploring, Graphing and Integrating ODEs with the Ultimate Accuracy / A.Gofen
Data Mining
Classification Rules + Time = Temporal Rules / P. Cotofrei ; K. Stoffel
Parametric Optimization in Data Mining Incorporated with GA-Based Search / L. Tam ; D. Taniar ; K. Smith
Implementing Scalable Parallel Search Algorithms for Data-Intensive Applications / L. Ladányi ; T.K. Ralphs ; M.J. Saltzman
Techniques for Estimating the Computation and Communication Costs of Distributed Data Mining / S. Krishnaswamy ; S.W. Loke
Computer Science - Scheduling and Load Balancing
Distributed Resource Allocation in Ad Hoc Networks / Z. Cai ; M. Lu
The Average Diffusion Method for the Load Balancing Problem / G. Karagiorgos ; N.M. Missirlis
Remote Access and Scheduling for Parallel Applications on Distributed Systems / M. Tehver ; E. Vainikko ; K. Skaburskas ; J. Vedru
Workload Scheduler with Fault Tolerance for MMSC / J. Hong ; H. Sung ; H. Lee
A Simulation Environment for Job Scheduling on Distributed Systems / J. Santoso ; T. Basaruddin
Problem Solving Environment 2
ICT Environment for Multi-disciplinary Design and Multi-objective Optimisation: A Case Study / W.J. Vankan ; R. Maas ; M. ten Dam
A Web-Based Problem Solving Environment for Solution of Option Pricing Problems and Comparison of Methods / M.D. Koulisianis ; G.K. Tsolis ; T.S. Papatheodorou
Cognitive Computer Graphics for Information Interpretation in Real Time Intelligence Systems / Yu.I. Nechaev ; A.B. Degtyarev
AG-IVE: An Agent Based Solution to Constructing Interactive Simulation Systems / Z. Zhao ; R.G. Belleman
Computer-Assisted Learning of Chemical Experiments through a 3D Virtual Lab / I.L. Ruiz ; E.L. Espinosa ; G.C. García ; M.Á. Gómez-Nieto
Computational Fluid Dynamics 1
Lattice-Boltzmann Based Large-Eddy Simulations Applied to Industrial Flows / J. Derksen
Computational Study of the Pyrolysis Reactions and Coke Deposition in Industrial Naphtha Cracking / A. Niaei ; J. Towfighi ; M. Sadrameli ; M.E. Masoumi
An Accurate and Efficient Frontal Solver for Fully-Coupled Hygro-Thermo-Mechanical Problems / M. Bianco ; G. Bilardi ; F. Pesavento ; G. Pucci ; B.A. Schrefler
Utilising Computational Fluid Dynamics (CFD) for the Modelling of Granular Material in Large-Scale Engineering Processes / N. Christakis ; P. Chapelle ; M.K. Patel ; M. Cross ; I. Bridle ; H. Abou-Chakra ; J. Baxter
Parallel Implementation of the INM Atmospheric General Circulation Model on Distributed Memory Multiprocessors / V. Gloukhov
Cellular Automata
A Realistic Simulation for Highway Traffic by the Use of Cellular Automata / E.G. Campari ; G. Levi
Application of Cellular Automata Simulations to Modeling of Dynamic Recrystallization / J. Kroc
A Distributed Cellular Automata Simulation on Cluster of PCs
Evolving One Dimensional Cellular Automata to Perform Non-trivial Collective Behavior Task: One Case Study / F. Jiménez-Morales ; M. Mitchell ; J.P. Crutchfield
Scientific Computing - Computational Methods 1
New Unconditionally Stable Algorithms to Solve the Time-Dependent Maxwell Equations / J.S. Kole ; M.T. Figge ; H. De Raedt
Coupled 3-D Finite Difference Time Domain and Finite Volume Methods for Solving Microwave Heating in Porous Media / D.D. Din&cbreve;ov ; K.A. Parrott ; K.A. Pericleous
Numerical Solution of Reynolds Equations for Forest Fire Spread / V. Perminov
FEM-Based Structural Optimization with Respect to Shakedown Constraints / M. Heitzer
Tight Bounds on Capacity Misses for 3D Stencil Codes / C. Leopold
Problem Solving Environments 3
A Distributed Co-Operative Problem Solving Environment / M. Walkley ; J. Wood ; K. Brodlie
The Software Architecture of a Problem Solving Environment for Enterprise Computing / X.J. Gang ; W.H. An ; D.G. Zhong
Semi-automatic Generation of Web-Based Computing Environments for Software Libraries / P. Johansson ; D. Kressner
The Development of a Grid Based Engineering Design Problem Solving Environment / A.D. Scurr ; A.J. Keane
TOPAS - Parallel Programming Environment for Distributed Computing / M. Kotocova
Computational Fluid Dynamics 2
Parallel Implementation of a Least-Squares Spectral Element Solver for Incompressible Flow Problems / M. Nool ; M.M.J. Proot
Smooth Interfaces for Spectral Element Approximations of Navier-Stokes Equations / S. Meng ; X.K. Li ; G. Evans
Simulation of a Compressible Flow by the Finite Element Method Using a General Parallel Computing Approach / A. Chambarel ; H. Bolvin
A Class of the Relaxation Schemes for Two-Dimensional Euler Systems of Gas Dynamics / M.K. Banda ; M. Seaïd
OpenMP Parallelism for Multi-dimensional Grid-Adaptive Magnetohydrodynamic Simulations / R. Keppens ; G. Tóth
Complex Systems Applications 4
Parameter Estimation in a Three-Dimensional Wind Field Model Using Genetic Algorithms
Minimizing Interference in Mobile Communications Using Genetic Algorithms / S. Li ; S.C. La ; W.H. Yu ; L. Wang
KERNEL: A Matlab Toolbox for Knowledge Extraction and Refinement by NEural Learning / G. Castellano ; C. Castiello ; A.M. Fanelli
Damages Recognition on Crates of Beverages by Artificial Neural Networks Trained with Data Obtained from Numerical Simulation / J. Zacharias ; C. Hartmann ; A. Delgado
Simulation Monitoring System Using AVS / T. Watanabe ; E. Kume ; K. Kato
Scientific Computing - Computational Methods 2
ODEs and Redefining the Concept of Elementary Functions / A. Gofen
Contour Dynamics Simulations with a Parallel Hierarchical-Element Method / R.M. Schoemaker ; P.C.A. de Haas ; H.J.H. Clercx ; R.M.M. Mattheij
A Parallel Algorithm for the Dynamic Partitioning of Particle-Mesh Computational Systems / J.-R.C. Cheng ; P.E. Plassmann
Stable Symplectic Integrators for Power Systems / D. Okunbor ; E. Akinjide
A Collection of Java Class Libraries for Stochastic Modeling and Simulation / A. Prodan ; R. Prodan
Scientific Computing - Computational Methods 3
Task-Oriented Petri Net Models for Discrete Event Simulation / E. Ochmanska
A Subspace Semidefinite Programming for Spectral Graph Partitioning / S. Oliveira ; D. Stewart ; T. Soma
A Study on the Pollution Error in r-h Methods Using Singular Shape Functions / H.S. Yoo ; J.-H. Jang
Device Space Design for Efficient Scale-Space Edge Detection / B.W. Scotney ; S.A. Coleman ; M.G. Herron
Author Index
Keynote Papers
The UK e-Science Core Program and the Grid / T. Hey ; A.E. Trefethen
Community Grids / G. Fox ; O. Balsoy ; S. Pallickara ; A. Uyar ; D. Gannon ; A. Slominski
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata Arnaud Carayol, Stefan Woehrle 112
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents Yannick Chevalier, Ralf Kuesters, Michaeel Rusinowitch, Mathieu Turuani 124
Subtyping Constraints in Quasi-lattices Emmanuel Coquery, Francois Fages 136
An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case Nikhil R. Devanur, Vijay V. Vazirani 149
Word Equations over Graph Products Volker Diekert, Markus Lohrey 156
Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models Devdatt Dubhashi, Luigi Laura, Alessandro Panconesi 168
Comparing Sequences with Segment Rearrangements Funda Ergun, S. Muthukrishnan, S. Cenk Sahinalp 183
On Logically Defined Recognizable Tree Languages Zoltan Esik, Pascal Weil 195
Randomized Time-Space Tradeoffs for Directed Graph Connectivity Parikshit Gopalan, Richard J. Lipton, Aranyak Mehta 208
Distance-Preserving Approximations of Polygonal Paths Joachim Gudmundsson, Giri Narasimhan, Michiel Smid 217
Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra Sumanta Guha 229
On the Covering Steiner Problem Anupam Gupta, Aravind Srinivasan 244
Minimality Results for the Spatial Logics D. Hirschkoff, E. Lozes, D. Sangiorgi 252
Algorithms for Non-uniform Size Data Placement on Parallel Disks Srinivas Kashyap, Samir Khuller 265
Efficient Algorithms for Abelian Group Isomorphism and Related Problems T. Kavitha 277
Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees Jochen Koenemann, R. Ravi 289
Model Checking and Satisfiability for Sabotage Modal Logic Christof Loeding, Philipp Rohde 302
Merging and Sorting By Strip Moves Meena Mahajan, Raghavan Rama, Venkatesh Raman, S. Vijayakumar 314
The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase Sebastian Maneth 326
Distributed Games Swarup Mohalik, Igor Walukiewicz 338
Maintenance of Multidimensional Histograms S. Muthukrishnan, Martin Strauss 352
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well R. Ramanujam, S.P. Suresh 363
Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties Holger Spakowski, Mayur Thakur, Rahul Tripathi 375
On the Greedy Superstring Conjecture Maik Weinard, Georg Schnitger 387
Invited Papers
Reasoning about Infinite State Systems Using Boolean Methods Randal E. Bryant 399
On the Computational Complexity of Cut-Elimination in Linear Logic / Harry G. Mairson ; Kazushige Terui
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics / Claudio Sacerdoti Coen
Finite Horizon Analysis of Stochastic Systems with the Mur Verifier / Giuseppe Della Penna ; Benedetto Intrigila ; Igor Melatti ; Enrico Tronci ; Marisa Venturini Zilli
Towards Compact and Tractable Automaton-Based Representations of Time Granularities / Ugo Dal Lago ; Angelo Montanari ; Gabriele Puppis
Lower Bounds on the Size of Quantum Automata Accepting Unary Languages / Alberto Bertoni ; Carlo Mereghetti ; Beatrice Palano
A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set / Jens Gustedt ; Jan Arne Telle
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality / Alessandro Ferrante ; Mimmo Parente
Channel Assignment in Honeycomb Networks / Alan A. Bertossi ; Cristina M. Pinotti ; Romea Rizzi ; Anil M. Shende
Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks / Tiziana Calamoneri
The Complexity of Checking Consistency of Pedigree Information and Related Problems / Luca Aceto ; Jens A. Hansen ; Anna Ingólfsdóttir ; Jacob Johnsen ; John Knudsen
On Clausal Equivalence and Hull Inclusion / K. Subramani
Semantics and Formal Languages
Logical Semantics for the First Order ?-Calculus / Steffen van Bakel ; Ugo de'Liguoro
On the Expressive Power of Light Affine Logic
Reasoning about Self and Others: Communicating Agents in a Modal Action Logic / Matteo Baldoni ; Cristina Baroglio ; Alberto Martelli ; Viviana Patti
Decidability Properties of Recursive Types / Felice Cardone ; Mario Coppo
Algebraic Theories for Contextual Pre-nets / Roberto Bruni ; Jose Meseguer ; Ugo Montanari ; Vladimiro Sassone
A Coalgebraic Description of Web Interactions / Daniela Cancila ; Furio Honsell
A Calculus for Dynamic Linking / Davide Ancona ; Sonia Fagorzi ; Elena Zucca
Towards a Smart Compilation Manager for Java / Giovanni Lagorio
Security and Cryptography
Anonymous Group Communication in Mobile Networks / Stelvio Cimato ; Paolo D'Arco ; Ivan Visconti
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences / Amparo Fúster-Sabater
An Information-Theoretic Approach to the Access Control Problem / Anna Lisa Ferrara ; Barbara Masucci
Security-Aware Program Transformations / Massimo Bartoletti ; Pierpaolo Degano ; Gian Luigi Ferrari
Information Flow Security and Recursive Systems / Annalisa Bossi ; Damiano Macedonio ; Carla Piazza ; Sabina Rossi
Compositional Verification of Secure Streamed Data: A Case Study with EMSS / Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli
Author Index
Invited Talks
Extreme Nash Equilibria / Martin Gairing ; Thomas Lücking ; Marios Mavronicolas ; Burkhard Monien ; Paul Spirakis
Canonical Decomposition of Outerplanar Maps and Application to Enumeration, Coding, and Generation / Nicolas Bonichon ; Cyril Gavoille ; Nicolas Hanusse
The Complexity of the Matching-Cut Problem for Planar Graphs and Other Graph Classes / Paul Bonsma
Tree Spanners for Bipartite Graphs and Probe Interval Graphs / Andreas Brandstädt ; Feodor F. Dragan ; Hoang-Oanh Le ; Van Bang Le ; Ryuhei Uehara
A Simple Linear Time LexBFS Cograph Recognition Algorithm / Anna Bretscher ; Derek Corneil ; Michel Habib ; Christophe Paul
Backbone Colorings for Networks / Hajo Broersma ; Fedor V. Fomin ; Petr A. Golovach ; Gerhard J. Woeginger
Greedy Edge-Disjoint Paths in Complete Graphs / Paz Carmi ; Thomas Erlebach ; Yoshio Okamoto
Graph-Based Approaches to Software Watermarking / Christian Collberg ; Stephen Kobourov ; Edward Carter ; Clark Thomborson
Densification of Digital Terrain Elevations Using Shape from Shading with Single Satellite Imagery / Mohammad A. Rajabi ; J.A. Rod Blais
PC-Based System for Calibration, Reconstruction, Processing, and Visualization of 3D Ultrasound Data Based on a Magnetic-Field Position and Orientation Sensing System / Emad Boctor ; A. Saad ; Dar-Jen Chang ; K. Kamel ; A.M. Youssef
Automatic Real-Time XRII Local Distortion Correction Method for Digital Linear Tomography / Christian Forlani ; Giancarlo Ferrigno
Meeting the Computational Demands of Nuclear Medical Imaging Using Commodity Clusters / Wolfgang Karl ; Martin Schulz ; Martin Volk ; Sibylle Ziegler
An Image Registration Algorithm Based on Cylindrical Prototype Model / Joong-Jae Lee ; Gye-Young Kim ; Hyung-Il Choi
An Area-Based Stereo Matching Using Adaptive Search Range and Window Size / Han-Suh Koo ; Chang-Sung Jeong
Environmental Modeling
Methods of Sensitivity Theory and Inverse Modeling for Estimation of Source Term and Risk/Vulnerability Areas / Vladimir Penenko ; Alexander Baklanov
The Simulation of Photochemical Smog Episodes in Hungary and Central Europe Using Adaptive Gridding Models / István Lagzi ; Alison S. Tomlin ; Tamás Turámji ; László Haszpra ; Róbert Mészáros ; Martin Berzins
Numerical Solution of the Aerosol Condensation/Evaporation Equation / Kohi Nguyen ; Donald Dabdub
Efficient Treatment of Large-Scale Air Pollution Models on Supercomputers / Zahari Zlatev
High Performance Computational Tools and Environments
Pattern Search Methods for Use-Provided Points / Pedro Alberto ; Fernando Nogueira ; Humberto Rocha ; Louís N. vicente
Adaptive Load Balancing for MPI Programs / M.C. Baracca ; G. Clai ; P. Ornelli ; Milind Bhandarkar ; L.V. Kalé ; ERic de Sturler ; Jay HoeflingerIn-situ Bioremediation: Advantages of Parallel Computing and Graphical Investigating Techniques：
Performance and Irregular Behavior of Adaptive Task Partitioning / Elise de Doncker ; Rodger Zanny ; Karlis Kaugars ; Laurentiu Cucos
Optimizing Register Spills for Eager Functional Languages / S. MIshra ; K. Sikdar ; M. Satpathy
A Protocol for Multi-threaded Processes with Choice in $$-Calculus / Kazunori Iwata ; Shingo Itabashi ; Naohiro Ishi
Mapping Parallel Programs onto Distributed Computer Systems with Faulty Elements / Mikhail S. Tarkov ; Youngsong Mun ; Jaeyoung Choi
Enabling Interoperation of High Performance, Scientific Computing Applications: Modeling Scientific Data with the Sets and Fields (SAF) Modeling System / Mark C. Miller ; James F. Reus ; Robb P. Matzke ; William J. Arrighi ; Larry A. Schoof ; Ray T. Hitt ; Peter K. Espen
Intelligent Systems Design and Applications
ALEC: An Adaptive Learning Framework for Optimizing Artificial Neural Networks / Ajith Abraham ; Baikunth Nath
Solving Nonlinear Differential Equations by a Neural Network Method / Lucie P. Aarts ; Peter Van der Veer
Fuzzy Object Blending in 2D / Ahmet Çinar ; Ahmet Arslan
An Adaptive Neuro-Fuzzy Approach for Modeling and Control of Nonlinear Systems / Otman M. Ahtiwash ; Mohd Zaki Abdulmui
The Match Fit Algorithm-ATestbed for Computational Motivation of Attention / Joseph G. Billock ; Demetri Psaltis ; ChristofKoch
Automatic Implementation and Simulation of Qualitative Cognitive Maps / Joao Paulo Carvalho ; José Alberto Tomé
Inclusion-Based Approximate Reasoning / Chris Cornelis ; Etienne E. Kerre
Attractor Density Models with Application to Analyzing the Stability of Biological Neural Networks / Christian Storm ; Walter J. Freeman
MARS: Still an Alien Planet in Soft Computing? / Dan Steinberg
Data Reduction Based on Spatial Partitioning / Gongde Guo ; Hui Wang ; David Bell ; Qingxiang Wu
Alternate Methods in Reservoir Simulation / Guadalupe I. Janoski ; Andrew H. Sung
Intuitionistic Fuzzy Sets in Intelligent Data Analysis for Medical Diagnosis / Eulalia Szmidt ; Janusz Kacprzyk
Design of a Fuzzy Controller Using a Genetic Algorithm for Stator Flux Estimation / Mehmet Karakose ; Mehmet Kaya ; Erhan Akin
Object Based Image Ranking Using Neural Networks / Gour C. Karmakar ; Syed M. Rahman ; Laurence S. Dooley
A Genetic Approach for Two Dimensional Packing with Constraints / Wee Sng Khoo ; P. Saratchandran ; N. Sundararajan
Task Environments for the Dynamic Development of Behavior / Derek Harter ; Robert Kozma
Wavelet Packet Multi-layer Perceptron for Chaotic Time Series Prediction: Effects of Weight Initialization / Kok Keong Teo ; Lipo Wang ; Zhiping Lin
Genetic Line Search / S. Lozano ; J.J. Domínguez ; F. Guerrero ; K. Smith
HARPIC, an Hybrid Architecture Based on Representations, Perceptions, and Intelligent Control: A Way to Provide Autonomy to Robots / Dominique Luzeaux ; André Dalgalarrondo
Hybrid Intelligent Systems for Stock Market Analysis / P.K. Mahanti
On the Emulation of Kohonen's Self-Organization via Single-Map Metropolis-Hastings Algorithms / Jorge Muruzádbal
Quasi Analog Formal Neuron and Its Learning Algorithm Hardware / Karen Nazaryan
Producing Non-verbal Output for an Embodied Agent in an Intelligent Tutoring System / Roger Nkambou ; Yan Laporte
Co-evolving a Neural-Net Evaluation Function for Othello by Combining Genetic Algorithms and Reinforcement Learning / Joshua A. Singer
Modeling the Effect of Premium Changes on Motor Insurance Customer Retention Rates Using Neural Networks / Ai Cheo Yeo ; Kate A. Smith ; Robert J. Willis ; Malcolm Brooks
On the Predictability of Rainfall in Kerala - An Application of ABF Neural Network / Ninan Sajeeth Philip ; K. Babu Joseph
A Job-Shop Scheduling Problem with Fuzzy Processing Times / Feng-Tse Lin
Speech Synthesis Using Neural Networks Trained by an Evolutionary Algorithm / Trandafir Moisa ; Dan Ontanu ; Adrian H. Dediu
A Two-Phase Fuzzy Mining and Learning Algorithm for Adaptive Learning Environment / Chang Jiun Tsai ; S.S. Tseng ; Chih-Yang Lin
Applying Genetic Algorithms and Other Heuristic Methods to Handle PC Configuration Problems / Vincent Tam ; K.T. Ma
Forecasting Stock Market Performance Using Hybrid Intelligent System / Xiaodan Wu ; Ming Fung ; Andrew Flitman
Multimedia
The MultiMedia Maintenance Management (M4) System / Rachel J. McCrindle
Visualisations; Functionality and Interaction / Claire Knight ; Malcolm Munro
DMEFS Web Portal: A METOC Application / Avichal Mehra ; Jim Corbin
The Validation Web Site: A Combustion Collaboratory over the Internet / Angela Violi ; Xiaodong Chen ; Gary Lindstrom ; Eric Eddings ; Adel F. Sarofim
The Policy Machine for Security Policy Management / Vincent C. Hu ; Deborah A. Frincke ; David F. Ferraiolo
Multi-spectral Scene Generation and Projection
The Javelin Integrated Flight Simulation / Charles Bates ; Jeff Lucas ; Joe Robinson
A Multi-spectral Test and Simulation Facility to Support Missile Development, Production, and Surveillance Programs / James B. Johnson ; Jerry A. Ray
Correlated, Real Time Multi-spectral Sensor Test and Evaluation (T&E) in an Installed Systems Test Facility (ISTF) Using High Performance Computing / John Kriz ; Tom Joyner ; Ted Wilson ; Greg McGraner
Infrared Scene Projector Digital Model Development / Mark A. Manzardo ; Brett Gossage ; J. Brent Spears ; Kenneth G. LeSueur
Infrared Scene Projector Digital Model Mathematical Description
Distributed Test Capability Using Infrared Scene Projector Technology / David R. Anderson ; Ken Allred ; Kevin Dennen ; Patrick Roberts ; William R. Brown ; Ellis E. Burroughs ; TimClardy
Development of Infrared and Millimeter Wave Scene Generators for the P3I BAT High Fidelity Flight Simulation / Jeremy R. Farris ; Marsha Drake
Novel Models for Parallel Computation
A Cache Simulator for Shared Memory Systems / Florian Schintke ; Jens Simon ; Alexander Reinefeld
Coarse Grained Parallel On-Line Analytical Processing (OLAP) for Data Mining / Gianfranco Bilardi ; Carlo Fantozzi ; Andrea Pietracaprina ; Geppino Pucci ; Frank Dehne ; Todd Eavis ; Andrew Rau-Chaplin
Strong Fault-Tolerance: Parallel Routing in Networks with Faults / Jianer Chen ; Eunseuk Oh
Parallel Algorithm Design with Coarse-Grained Synchronization / Vijaya Ramachandran
Parallel Bridging Models and Their Impact on Algorithm Design / Friedhelm Meyer auf der Heide\CRolf Wanka
A Coarse-Grained Parallel Algorithm for Maximal Cliques in Circle Graphs / E.N. Caceres ; S.W. Song ; J.L. Szwarcfiter
Parallel Models and Job Characterization for System Scheduling / X. Deng ; H. Ip ; K. Law ; J. Li ; W. Zheng ; S. Zhu
Optimization
Heuristic Solutions for the Multiple-Choice Multi-dimension Knapsack Problem / M. Mostofa Akbar ; Eric G. Manning ; Gholamali C. Shoja ; Shahadat Khan
Tuned Annealing for Optimization / Mir M. Atiqullah ; S.S. Rao
A Hybrid Global Optimization Algorithm Involving Simplex and Inductive Search / Chetan Offord ; Željko Bajzer
Sami Khuri / Enrique Alba Torres
Program and Visualization
Exploratory Study of Scientific Visualization Techniques for Program Visualization / Brian J. d'Auriol ; Claudia V. Casas ; Pramod K. Chikkappaiah ; L. Susan Draper ; Ammar J. Esper ; Jorge López ; Rajesh Molakaseema ; Seetharami R. Seelam ; René Saenz ; Qian Wen ; Zhengjing Yang
Immersive Visualization Using AVS/Express / Ian Curington
VisBench: A Framework for Remote Data Visualization and Analysis / Randy W. Heiland ; M. Pauline Baker ; Danesh K. Tafti
The Problem of Time Scales in Computer Visualization / Mark Burgin, Damon Liu ; Walter Karplus
Making Movies: Watching Software Evolve through Visualisation / James Westland Chain
Tools and Environments for Parallel and Distributed Programming
Performance Optimization for Large Scale Computing: The Scalable VAMPIR Approach / Holger Brunst ; Manuela Winkler ; Wolfgang E. Nagel ; Hans-Christian Hoppe
TRaDe: Data Race Detection for Java / Mark Christiaens ; Koen De Bosschere
Automation of Data Traffic Control on DSM Architectures / Michael Frumkin, Haoqiang Jin ; Jerry Yan771
The Monitoring and Steering Environment / Christian Glasner ; Roland Hougl ; Bernhard Reitinger ; Dieter Kranzlmuoller ; Jens Volkert
Token Finding Using Mobile Agents / Delbert Hart ; Mihail E. Tudoreanu ; Eileen Kraemer
Load Balancing for the Electronic Structure Program GREMLIN in a Very Heterogenous SSH-Connected WAN-Cluster of UNIX-Type Hosts / Siegfried Ho finger
DeWiz - Modular Debugging for Supercomputers and Computational Grids
Fiddle: A Flexible Distributed Debugger Architecture / João Lourenço ; José C. Cunha
Visualization of Distributed Applications for Performance Debugging / F.-G. Ottogalli ; C. Labbé ; V. Olive ; B. de Oliveira Stein ; J. Chassin de Kergommeaux ; J.-M. Vincent
Achieving em Performance Portability with em SKaMPI for High-Performance MPI Programs / Ralf Reussner ; Gunnar Hunzelmann
Cyclic Debugging Using Execution Replay / Michiel Ronsse
Visualizing the Memory Access Behavior of Shared Memory Applications on NUMA Architectures / Jie Tao
CUMULVS Viewers for the ImmersaDesk / Torsten Wilde ; James A. Kohl ; Raymond E. Flanery
Simulation
N-Body Simulation on Hybrid Architectures / P.M.A. Sloot ; P.F. Spinnato ; G.D. van Albada
Quantum Mechanical Simulation of Vibration-Torsion-Rotation Levels of Methanol / Yun-Bo Duan ; Anne B. McCoy
Simulation-Visualization Complexes as Generic Exploration Environment / Elena V. Zudilova
Efficient Random Process Generation for Reliable Simulation of Complex Systems / Alexey S. Rodionov ; Hyunseung Choo ; Hee Y. Youn ; Tai M. Chung ; Kiheon Park
Replicators & Complementarity: Solving the Simplest Complex System without Simulation / Anil Menon
Soft Computing: Systems and Applications
More Autonomous Hybrid Models in Bang2 / Roman Neruda ; Pavel KruÜina ; Zuzana Petrová
Model Generation of Neural Network Ensembles Using Two-Level Cross-Validation / S. Vasupongayya ; R.S. Renner ; B.A. Juliano
A Comparison of Neural Networks and Classical Discriminant Analysis in Predicting Students' Mathematics Placement Examination Scores / Stephen J. Sheel ; Deborah Vrooman ; Shanda K. Dawsey
Neural Belief Propagation without Multiplication / Michael J. Barber
Fuzzy Logic Basis in High Performance Decision Support Systems / A. Bogdanov ; A. Degtyarev ; Y. Nechaev
Scaling of Knowledge in Random Conceptual Networks / Lora J. Durak ; Alfred W. Hübler
Implementation of Kolmogorov Learning Algorithm for Feedforward Neural Networks / ArnoÜt ètědrý ; Jitka DrkoÜová
Noise-Induced Signal Enhancement in Heterogeneous Neural Networks / Babette K. Dellen
Phylogenetic Inference for Genome Rearrangement Data Evolutionary Puzzles: An Introduction to Genome Rearrangement / Mathieu Blanchette
High-Performance Algorithmic Engineering for Computationa Phylogenetics / Bernard M.E. Moret ; David A. Bader ; Tandy Warnow
Phylogenetic Inference from Mitochondrial Genome Arrangement Data / Donald L. Simon ; Bret Larget
Late Submissions
Genetic Programming: A Review of Some Concerns / Maumita Bhattacharya
Numerical Simulation of Quantum Distributions: Instability and Quantum Chaos / G.Y. Kryuchkyan ; H.H. Adamyan ; S.B. Manvelyan
Identification of MIMO Systems by Input-Output Takagi-Sugeno Fuzzy Model / Nirmal Singh ; Renu Vig ; J.K. Sharma
Control of Black Carbon, the Most Effective Means of Slowing Global Warming / Mark Z. Jacobson
Comparison of Two Schemes for the Redistribution of Moments for Modal Aerosol Model Application / U. Shankar ; A.L. Trayanov
A Scale-Dependent Dynamic Model for Scalar Transport in the Atmospheric Boundary Layer / Fernando Port-Agel ; Qiao Qin
Advances in Molecular Algorithms
MDT - The Molecular Dynamics Test Set / Eric Barth
Numerical Methods for the Approximation of Path Integrals Arising in Quantum Statistical Mechanics / Steve D. Bond
The Multigrid N-Body Solver / David J. Hardy
Do Your Hard-Spheres Have Tails? A Molecular Dynamics Integration Algorithm for Systems with Mixed Hard-Core/Continuous Potentials / Brian B. Laird
An Improved Dynamical Formulation for Constant Temperature and Pressure Dynamics, with Application to Particle Fluid Models / Benedict J. Leimkuhler
Author Index
Digital Imaging Applications
Densification of Digital Terrain Elevations Using Shape from Shading with Single Satellite Imagery / Mohammad A. Rajabi ; J.A. Rod Blais
PC-Based System for Calibration, Reconstruction, Processing, and Visualization of 3D Ultrasound Data Based on a Magnetic-Field Position and Orientation Sensing System / Emad Boctor ; A. Saad ; Dar-Jen Chang ; K. Kamel ; A.M. Youssef
図書
