Last update:
Sun Mar 12 07:57:16 MDT 2017
G. J. Chaitin The Limits of Mathematics --- Course
Outline and Software . . . . . . . . . . 1
J. Tarski Historical Background of Goedel's
Theorem . . . . . . . . . . . . . . . . 3
A. L. Perrone A Formal Scheme for Avoiding Undecidable
Problems --- Applications to Chaotic
Behaviour, Characterization and Parallel
Computation . . . . . . . . . . . . . . 9
L. O. Chua and
T. Roska and
T. Kozek Cellular Neural Networks --- A Tutorial
on Programmable Nonlinear Dynamics in
Space . . . . . . . . . . . . . . . . . 53
J. L. Van Hemmen and
R. Ritz Neural Coding --- A Theoretical Vista of
Mechanisms, Techniques, and Applications 75
S. Wimbauer and
J. L. Van Hemmen Hebbian Unlearning . . . . . . . . . . . 121
A. Murgu Mapping Discounted and Undiscounted
Markov Decision Problems onto Hopfield
Neural Networks . . . . . . . . . . . . 137
S. Molander ``Blob'' Analysis of Biomedical Image
Sequences --- A Model-Based and an
Inductive Approach . . . . . . . . . . . 169
P. K\rurka Simplicity Criteria for Dynamical
Systems . . . . . . . . . . . . . . . . 189
M. Sintzoff and
F. Geurts Analysis of Dynamical Systems Using
Predicate Transformers --- Attraction
and Composition . . . . . . . . . . . . 227
Anonymous An Introduction to CSCW . . . . . . . . 7
Anonymous Foundations of Scientific Cooperation 60
Anonymous Today's Organisational and Technical
Environment for Scientific Cooperation
in Europe . . . . . . . . . . . . . . . 74
Anonymous An European ``Collaboratory'' for
Supporting Scientific Cooperation . . . 102
Anonymous Implications of the ``E-Collaboratory
for a Future European Computing and
Network Infrastructure'' . . . . . . . . 140
Anonymous Migrating Towards an European Scientific
Collaboratory . . . . . . . . . . . . . 190
J. Bell Changing Attitudes . . . . . . . . . . . 40
C. Castelfranchi Guarantees for Autonomy in Cognitive
Agent Architecture . . . . . . . . . . . 56
A. Cimatti and
L. Serafini Multi-Agent Reasoning with Belief
Contexts: the Approach and a Case Study 71
P. Dongha Toward a Formal Model of Commitment for
Resource Bounded Agents . . . . . . . . 86
B. Dunin-Keplicz and
J. Treur Compositional Formal Specification of
Multi-Agent Systems . . . . . . . . . . 102
F. Guichard and
J. Ayel Logical Reorganization of DAI Systems 118
M. Soutchanski and
E. Ternovskaia Logical Formalization of Concurrent
Actions for Multi-Agent Systems . . . . 129
G. Staniford and
R. Paton Simulating Animal Societies with
Adaptive Communicating Agents . . . . . 145
M. Wooldridge This is MyWorld: The Logic of an
Agent-Oriented DAI Testbed . . . . . . . 160
J. S. Aitken and
F. Schmalhofer and
N. Shadbolt A Knowledge Level Characterisation of
Multi-Agent Systems . . . . . . . . . . 179
B. Ekdahl and
E. Astor and
P. Davidsson Towards Anticipatory Agents . . . . . . 191
I. A. Ferguson Integrated Control and Coordinated
Behaviour: a Case for Agent Models . . . 203
J. Huang and
N. R. Jennings and
J. Fox An Agent Architecture for Distributed
Medical Care . . . . . . . . . . . . . . 219
J. Malec A Unified Approach to Intelligent Agency 233
D. Moffat and
N. Frijda Where There's a Will There's an Agent 245
J. P. Mueller and
M. Pischel and
M. Thiel Modelling Reactive Behaviour in
Vertically Layered Agent Architectures 261
T. J. Norman and
D. Long Goal Creation in Motivated Agents . . . 277
H.-D. Burkhard Agent-Oriented Programming for Open
Systems . . . . . . . . . . . . . . . . 291
M. Fisher Representing and Executing Agent-Based
Systems . . . . . . . . . . . . . . . . 307
F. G. McCabe and
K. L. Clark April --- Agent Process Interaction
Language . . . . . . . . . . . . . . . . 324
A. Poggi DAISY: An Object-Oriented System for
Distributed Artificial Intelligence . . 341
S. R. Thomas The PLACA Agent Programming Language . . 355
P. Wavish and
M. Graham Roles, Skills and Behaviour: a Situated
Action Approach to Organising Systems of
Interacting Agents . . . . . . . . . . . 371
D. Weerasooriya and
A. Rao and
K. Ramamohanarao Design of a Concurrent Agent-Oriented
Language . . . . . . . . . . . . . . . . 386
T. Lindner Task Description . . . . . . . . . . . . 7
C. Lewerentz and
T. Lindner Comparative Survey . . . . . . . . . . . 21
K. Noekel and
K. Winkelmann CSL . . . . . . . . . . . . . . . . . . 55
R. Budde ESTEREL . . . . . . . . . . . . . . . . 75
L. Holenderski Lustre . . . . . . . . . . . . . . . . . 101
T. Pascalin Amagbegnon and
P. Le Guernic and
H. Marchand and
E. Rutten Signal . . . . . . . . . . . . . . . . . 113
W. Damm and
H. Hungar and
P. Kelb and
R. Schloer Statecharts . . . . . . . . . . . . . . 131
J. Cuellar and
M. Huber TLT . . . . . . . . . . . . . . . . . . 151
S. Heinkel and
T. Lindner SDL . . . . . . . . . . . . . . . . . . 171
M. Fuchs and
J. Philipps Focus . . . . . . . . . . . . . . . . . 185
D. Dranidis and
S. Gastinger Spectrum . . . . . . . . . . . . . . . . 199
G. Schellhorn and
A. Burandt KIV . . . . . . . . . . . . . . . . . . 229
S. Klingenbeck and
T. Kaeuft Tatzelwurm . . . . . . . . . . . . . . . 247
R. Cardell-Oliver HTTDs and HOL . . . . . . . . . . . . . 261
F. Erasmy and
E. Sekerinski Raise . . . . . . . . . . . . . . . . . 277
J. Burghardt Deductive Synthesis . . . . . . . . . . 295
F. Korf and
R. Schloer Symbolic Timing Diagrams . . . . . . . . 311
R. Wieringa LCM and MCM . . . . . . . . . . . . . . 333
A. Rueping and
E. Sekerinski Modula-3 . . . . . . . . . . . . . . . . 357
R. Herzig and
N. Vlachantonis Troll light . . . . . . . . . . . . . . 373
A. Brauer and
T. Lindner Simulation . . . . . . . . . . . . . . . 383
P. Feautrier Fine-Grain Scheduling under Resource
Constraints . . . . . . . . . . . . . . 1
S. Novack and
A. Nicolau Mutation Scheduling: A Unified Approach
to Compiling for Fine-Grain Parallelism 16
H. G. Dietz and
W. E. Cohen and
T. Muhammad and
T. I. Mattox Compiler Techniques for Fine-Grain
Execution on Workstation Clusters Using
PAPERS . . . . . . . . . . . . . . . . . 31
D. Bau and
I. Kodukula and
V. Kotlyar and
K. Pingali Solving Alignment Using Elementary
Linear Algebra . . . . . . . . . . . . . 46
E. Ayguade and
J. Garcia and
M. Girones and
J. Labarta Detecting and Using Affinity in an
Automatic Data Distribution Tool . . . . 61
S. Chatterjee and
R. Schreiber and
T. J. Sheffler and
J. R. Gilbert Array Distribution in Data-Parallel
Programs . . . . . . . . . . . . . . . . 76
A. W. Lim and
M. S. Lam Communication-Free Parallelization via
Affine Transformations . . . . . . . . . 92
W. Kelly and
W. Pugh Finding Legal Reordering Transformations
Using Mappings . . . . . . . . . . . . . 107
B. Appelbe and
S. Doddapaneni and
C. Hardnett A New Algorithm for Global Optimization
for Parallelism and Locality . . . . . . 125
W. Blume and
R. Eigenmann and
K. Faigin and
J. Grout Polaris: Improving the Effectiveness of
Parallelizing Compilers . . . . . . . . 141
J. A. Trescher and
L. C. Breebaart and
P. F. G. Dechering and
A. B. Poelman A Formal Approach to the Compilation of
Data-Parallel Languages . . . . . . . . 155
T. Nakanishi and
K. Joe and
A. Fukuda and
K. Araki The Data Partitioning Graph: Extending
Data and Control Dependencies for Data
Partitioning . . . . . . . . . . . . . . 170
E. Stoltz and
M. Wolfe Detecting Value-Based Scalar Dependence 186
Y.-Q. Yang and
C. Ancourt and
F. Irigoin Minimal Data Dependence Abstractions for
Loop Transformations . . . . . . . . . . 201
V. Sgro and
B. G. Ryder Differences in Algorithmic Parallelism
in Control Flow and Call Multigraphs . . 217
M. Burke and
P. Carini and
J.-D. Choi and
M. Hind Flow-Insensitive Interprocedural Alias
Analysis in the Presence of Pointers . . 234
S. D. Kaushik and
C.-H. Huang and
P. Sadayappan Incremental Generation of Index Sets for
Array Statement Execution on
Distributed-Memory Machines . . . . . . 251
M. Gupta and
E. Schonberg and
H. Srinivasan A Unified Data-Flow Framework for
Optimizing Communication . . . . . . . . 266
G. Agrawal and
J. Saltz Interprocedural Communication
Optimizations for Distributed Memory
Compilation . . . . . . . . . . . . . . 283
J. Ramanujam and
A. Mathew Analysis of Event Synchronization in
Parallel Programs . . . . . . . . . . . 300
J. Ferrante Computing Communication Sets for Control
Parallel Programs . . . . . . . . . . . 316
A. Krishnamurthy and
K. Yelick Optimizing Parallel SPMD Programs . . . 331
P. Mehrotra and
M. Haines An Overview of the Opus Language and
Runtime System . . . . . . . . . . . . . 346
C. Lin and
L. Snyder SIMPLE Performance Results in ZPL . . . 361
R. S. Nikhil Cid: A Parallel, ``Shared-Memory'' C for
Distributed-Memory Machines . . . . . . 376
T. Derby and
R. Schnabel and
B. Zorn EQ: Overview of a New Language Approach
for Prototyping Scientific Computation 391
A. J. C. Bik and
P. M. W. Knijnenburg and
H. A. G. Wijshoff Reshaping Access Patterns for Generating
Sparse Codes . . . . . . . . . . . . . . 406
F. Bodin and
T. Montaut and
E. D. Granston Evaluating Two Loop Transformations for
Reducing Multiple-Writer False Sharing 423
J. A. Solworth and
B. B. Reagan Parallelizing Tree Algorithms: Overhead
vs. Parallelism . . . . . . . . . . . . 440
J. E. Moreira and
C. D. Polychronopoulos Autoscheduling in a Distributed
Shared-Memory Environment . . . . . . . 455
K. Kunchithapadam and
B. P. Miller Optimizing Array Distributions in
Data-Parallel Programs . . . . . . . . . 472
K. Hiraki Automatic Reduction Tree Generation for
Fine-Grain Parallel Architectures when
Iteration Count is Unknown . . . . . . . 487
T. Imielinski Data on Air --- What's in it for the
Database Theorist . . . . . . . . . . . 1
J. Paredaens Spatial Databases, the Final Frontier 14
G. Weikum Parallel Database Systems . . . . . . . 33
P. G. Kolaitis Languages for Polynomial-Time Queries
--- An Ongoing Quest . . . . . . . . . . 38
S. Salza and
G. Barone and
T. Morzy Distributed Query Optimization in
Loosely Coupled Multidatabase Systems 40
S. Cluet and
G. Moerkotte On the Complexity of Generating Optimal
Left-Deep Processing Trees with Cross
Products . . . . . . . . . . . . . . . . 54
P. A. Bonatti and
T. Eiter Querying Disjunctive Databases Through
Nonmonotonic Logics . . . . . . . . . . 68
S. Greco and
D. Sacca and
C. Zaniolo DATALOG Queries with Stratified Negation
and Choice: from P to D0P . . . . . . . 82
J. Tyszkiewicz On the Kolmogorov Expressive Power of
Boolean Query Languages . . . . . . . . 97
D. Suciu and
L. Wong On Two Forms of Structural Recursion . . 111
V. Sazonov and
A. Lisitsa cap delta-Languages for Sets and
Sub-PTIME Graph Transformers . . . . . . 125
E. Soisalon-Soininen and
T. Yloenen Partial Strictness in Two-Phase Locking 139
R. Vingralek and
H. Ye and
Y. Breitbart and
H.-J. Schek Unified Transaction Model for
Semantically Rich Operations . . . . . . 148
Y. Raz The Dynamic Two-Phase-Commitment (D2PC)
Protocol . . . . . . . . . . . . . . . . 162
D. Suciu Domain-Independent Queries on Databases
with External Functions . . . . . . . . 177
S. Grumbach and
T. Milo An Algebra for Pomsets . . . . . . . . . 191
L. Cabibbo On the Power of Stratified Logic
Programs with Value Invention for
Expressing Database Transformations . . 208
M. Bugliesi and
H. M. Jamil A Stable Model Semantics for Behavioral
Inheritance in Deductive Object Oriented
Languages . . . . . . . . . . . . . . . 222
D. Montesi and
R. Torlone A Rewriting Technique for the Analysis
and the Optimization of Active Databases 238
W. Chen and
M. Kifer Sorted HiLog: Sorts in Higher-Order
Logic Data Languages . . . . . . . . . . 252
J. Demetrovics and
G. O. H. Katona and
D. Miklos and
O. Seleznjev The Average Length of Keys and
Functional Dependencies in (Random)
Databases . . . . . . . . . . . . . . . 266
C. A. Galindo-Legaria and
A. Pellenkoft and
M. L. Kersten Uniformly-Distributed Random Generation
of Join Orders . . . . . . . . . . . . . 280
S. Lifschitz and
V. Vianu A Probabilistic View of Datalog
Parallelization . . . . . . . . . . . . 294
N. Bidoit and
S. De Amo A First Step Towards Implementing
Dynamic Algebraic Dependencies . . . . . 308
M. Baudinet and
J. Chomicki and
P. Wolper Constraint-Generating Dependencies . . . 322
V. Harinarayan and
A. Gupta Optimization Using Tuple Subsumption . . 338
D. Sacca Deterministic and Non-Deterministic
Stable Model Semantics for Unbound
DATALOG Queries . . . . . . . . . . . . 353
V. Wiktor Marek and
M. Trusczynski Revision Programming, Database Updates
and Integrity Constraints . . . . . . . 368
K. Wang Some Positive Results for Boundedness of
Multiple Recursive Rules . . . . . . . . 383
G. Dong and
J. Su Increment Boundedness and Nonrecursive
Incremental Evaluation of Datalog
Queries . . . . . . . . . . . . . . . . 397
L. Libkin Approximation in Databases . . . . . . . 411
P. Z. Revesz Datalog Queries of Set Constraint
Databases . . . . . . . . . . . . . . . 425
S. Abiteboul and
G. Hillebrand Space Usage in Functional Query
Languages . . . . . . . . . . . . . . . 439
R. F. Cohen and
P. Eades and
T. Lin and
F. Ruskey Three-Dimensional Graph Drawing . . . . 1
S. P. Reiss $3$-D Visualization of Program
Information . . . . . . . . . . . . . . 12
T. Jeron and
C. Jard $3$D Layout of Reachability Graphs of
Communicating Processes . . . . . . . . 25
B. Mohar and
P. Rosenstiehl A Flow Approach to Upward Drawings of
Toroidal Maps . . . . . . . . . . . . . 33
A. Papakostas and
I. G. Tollis Improved Algorithms and Bounds for
Orthogonal Drawings . . . . . . . . . . 40
U. Foessmeier and
M. Kaufmann On Bend-Minimum Orthogonal Upward
Drawing of Directed Planar Graphs . . . 52
S. Even and
G. Granot Grid Layouts of Block Diagrams ---
Bounding the Number of Bends in Each
Connection . . . . . . . . . . . . . . . 64
H. N. Djidjev On Drawing a Graph Convexly in the Plane 76
A. Garg On Drawing Angle Graphs . . . . . . . . 84
X. He and
M.-Y. Kao Regular Edge Labelings and Drawings of
Planar Graphs . . . . . . . . . . . . . 96
M. Chrobak and
S. Nakano Minimum-Width Grid Drawings of Plane
Graphs . . . . . . . . . . . . . . . . . 104
H. De Fraysseix and
P. O. De Mendez Regular Orientations, Arboricity, and
Augmentation . . . . . . . . . . . . . . 111
M. Juenger and
P. Mutzel The Polyhedral Approach to the Maximum
Planar Subgraph Problem: New Chances for
Related Problems . . . . . . . . . . . . 119
F. Shahrokhi and
L. A. Szekely and
I. Vrt'o Crossing Numbers of Graphs, Lower Bound
Techniques and Algorithms . . . . . . . 131
P. Eades and
J. Marks Graph Drawing Contest Report . . . . . . 143
J. Abello and
K. Kumar Visibility Graphs and Oriented Matroids 147
A. M. Dean and
J. P. Hutchinson Rectangle-Visibility Representations of
Bipartite Graphs . . . . . . . . . . . . 159
E. Kranakis and
D. Krizanc and
J. Urrutia On the Number of Directions in
Visibility Representations of Graphs . . 167
K. Romanik Directed VR-Representable Graphs have
Unbounded Dimension . . . . . . . . . . 177
M. Himsolt GraphEd: a Graphical Platform for the
Implementation of Graph Algorithms . . . 182
G. Sander Graph Layout through the VCG Tool . . . 194
I. G. Tollis and
C. Xia Drawing Telecommunication Networks . . . 206
D. Kimelman and
B. Leban and
T. Roth and
D. Zernik Reduction of Visual Complexity in
Dynamic Graphs . . . . . . . . . . . . . 218
F. Vogt and
R. Wille TOSCANA --- a Graphical Tool for
Analyzing and Exploring Data . . . . . . 226
P. J. Tanenbaum and
M. T. Goodrich and
E. R. Scheinerman Characterization and Recognition of
Point-Halfspace and Related Orders . . . 234
M. Abellanas and
F. Hurtado and
P. A. Ramos Redrawing a Graph within a Geometric
Tolerance . . . . . . . . . . . . . . . 246
M. Godau On the Difficulty of Embedding Planar
Graphs with Inaccuracies . . . . . . . . 254
J. Manning and
M. Atallah and
K. Cudjoe and
J. Lozito A System for Drawing Graphs with
Geometric Symmetry . . . . . . . . . . . 262
M. Froehlich and
M. Werner Demonstration of the Interactive
Graph-Visualization System da Vinci . . 266
C. McCreary and
F.-S. Shieh and
H. Gill CG: a Graph Drawing System Using
Graph-Grammar Parsing . . . . . . . . . 270
J. D. McWhirter A Demonstration of Interactive Graph
Based Visual Language Applications . . . 274
K. Kaugars and
J. Reinfelds and
A. Brazma A Simple Algorithm for Drawing Large
Graphs on Small Screens . . . . . . . . 278
P. W. Fowler and
T. Pisanski and
J. Shawe-Taylor Molecular Graph Eigenvectors for
Molecular Coordinates . . . . . . . . . 282
A. Garg and
R. Tamassia On the Computational Complexity of
Upward and Rectilinear Planarity Testing 286
A. Papakostas Upward Planarity Testing of Outerplanar
Dags . . . . . . . . . . . . . . . . . . 298
P. Crescenzi and
A. Piperno Optimal-Area Upward Drawings of AVL
Trees . . . . . . . . . . . . . . . . . 307
G.-V. Jourdan and
I. Rival and
N. Zaguia Upward Drawing on the Plane Grid Using
Less Ink . . . . . . . . . . . . . . . . 318
G. Di Battista and
W. Lenhart and
G. Liotta Proximity Drawability . . . . . . . . . 328
P. Bose and
G. Di Battista and
W. Lenhart and
G. Liotta Proximity Constraints and Representable
Trees . . . . . . . . . . . . . . . . . 340
H. ElGindy and
G. Liotta and
A. Lubiw and
H. Meijer Recognizing Rectangle of Influence
Drawable Graphs . . . . . . . . . . . . 352
K. Sugiyama and
K. Misue A Simple and Unified Method for Drawing
Graphs: Magnetic-Spring Algorithm . . . 364
T. Lin and
P. Eades Integration of Declarative and
Algorithmic Approaches for Layout
Creation . . . . . . . . . . . . . . . . 376
A. Frick and
A. Ludwig and
H. Mehldau A Fast Adaptive Layout Algorithm for
Undirected Graphs . . . . . . . . . . . 388
I. F. Cruz and
A. Garg Drawing Graphs by Example Efficiently:
Trees and Planar Acyclic Diagraphs . . . 404
F. J. Brandenburg Designing Graph Drawings by Layout Graph
Grammars . . . . . . . . . . . . . . . . 416
E. G. Noik Encoding Presentation Emphasis
Algorithms for Graphs . . . . . . . . . 428
J. Luo and
K. Miriyala A Practical Approach to Static Node
Positioning . . . . . . . . . . . . . . 436
A. Saalfeld Map Generalization as a Graph Drawing
Problem . . . . . . . . . . . . . . . . 444
G. Stumme and
R. Wille A Geometrical Heuristic for Drawing
Concept Lattices . . . . . . . . . . . . 452
S. H. Whitesides Poster Gallery Report . . . . . . . . . 461
R. E. Fairley Some Hard Questions for Software
Engineering Educators . . . . . . . . . 1
L. Zucconi Essential Knowledge for the Practising
Software Engineer and the
Responsibilities of University and
Industry for Her Education . . . . . . . 5
K. J. Maly and
D. E. Ray and
J. C. Wild and
I. B. Levinstein Computer Productivity Initiative: Past,
Present, and Future . . . . . . . . . . 15
J. Gorski Software Engineering Education: A
Dragging-Through Approach . . . . . . . 31
M. Barbacci and
P. Douglas and
D. Carver and
J. Werth Establishing Software Engineering as a
Profession . . . . . . . . . . . . . . . 47
G. N. Dick and
S. F. Jones Industry Involvement in Undergraduate
Curricula: Reinforcing Learning by
Applying the Principles . . . . . . . . 51
D. Garlan and
A. Brown and
D. Jackson and
J. Tomayko The CMU Master of Software Engineering
Core Curriculum . . . . . . . . . . . . 65
T. B. Hilburn and
I. Hirmanpour and
A. Kornecki The Integration of Software Engineering
into a Computer Science Curriculum . . . 87
C. Atkinson and
D. Eichmann and
C. McKay An Evolution of a Software Engineering
Curriculum . . . . . . . . . . . . . . . 99
M. L. Manns and
G. I. Puhr Object-Oriented Technology Education and
Training: Bridging the Gap Between
Academia and Industry . . . . . . . . . 115
K. Beckman and
R. Burd CMM-Based Software Process Improvement
Training: The First Year . . . . . . . . 117
R. O. Waddoups Education --- The World's Best
Investment . . . . . . . . . . . . . . . 119
M. M. Moore and
T. Brennan Process Improvement in the Classroom . . 123
S. Khajenoori and
I. Hirmanpour Personal Software Process: An
Experiential Report . . . . . . . . . . 131
J.-P. Jacquot The Process of Teaching Process . . . . 147
N. R. Mead and
M. F. Browning and
D. Carter and
N. Gibbs Managing Software Engineering Education
in Diverse Environments . . . . . . . . 159
C. L. Hoover The Role of the Software Engineer in
Real-Time Software Development: An
Introductory Course . . . . . . . . . . 167
M. Paprzycki and
R. Wasniowski and
J. Zalewski Parallel and Distributed Computing
Education: A Software Engineering
Approach . . . . . . . . . . . . . . . . 187
R. B. France and
M. M. Larrondo-Petrie Understanding the Role of Formal
Specification Techniques in Requirements
Engineering . . . . . . . . . . . . . . 207
P. Allen and
L. Semmens An Integrated Approach to Teaching
Requirements Modelling . . . . . . . . . 223
D. Budgen Is Teaching Software Design a `Wicked'
Problem Too? . . . . . . . . . . . . . . 239
J. S. Robinson Software Engineering Curriculum
Development Model . . . . . . . . . . . 257
R. Holeman The Software Process Improvement Game 261
M. C. Stinson Academic Freedom versus Quality
Assurance . . . . . . . . . . . . . . . 263
M. F. Browning Endangered Species? The Single-Skilled
Information Worker . . . . . . . . . . . 267
A. Parrish and
D. Brown and
D. Cordes Experience in Teaching a
Management-Oriented Capstone Software
Engineering Course . . . . . . . . . . . 279
T. J. Scott and
J. H. Cross Team Selection Methods for Student
Programming Projects . . . . . . . . . . 295
I. Burnstein and
C. R. Carlson Developing Leadership Skills in Software
Engineering Students Through an
Undergraduate Research Program . . . . . 305
K. E. Smith CARDS Training: Transferring Reuse
Knowledge . . . . . . . . . . . . . . . 325
R. F. Coyne and
A. H. Dutoit and
B. Bruegge and
D. Rothenberger Teaching More Comprehensive Model-Based
Software Engineering: Experience with
Objectory's Use Case Approach . . . . . 339
T. Shepard On Teaching Software Verification and
Validation . . . . . . . . . . . . . . . 375
J. D. Geier The Delphi Survey Methodology: An
Approach to Determine Training Needs . . 389
S. Bayman and
M. H. Blumberg and
H. Cumm and
C. Diallo A Skills-Driven Process for Training
Computer Professionals . . . . . . . . . 403
P. D. Fortin and
C. A. Jeske and
J. R. Lakey and
K. B. Urquhart Is this Training? A Unique Approach to
Software Process Training in Industry 409
N. R. Mead Education Trends and Their Impact on
Management of Software Engineering
Education . . . . . . . . . . . . . . . 419
W. E. Hefley Understanding, Using and Designing for
Educational Uses of the World-Wide Web 431
I. Mahy From TRAINING to LEARNING: The
Reengineering of Training at DMR Group
Inc . . . . . . . . . . . . . . . . . . 433
S. Talbert and
E. Gyalokay Managing Quality in Course Staging --- A
Working Paper . . . . . . . . . . . . . 437
J. Livingston and
K. Wright and
L. Shafer A Russian Software Center Ascends the
SEI Maturity: Education by Motorola
University . . . . . . . . . . . . . . . 439
D. N. Card Teaching Practical Principles of
Software Measurement . . . . . . . . . . 443
J. C. McKim Teaching Object Oriented Programming and
Design with Eiffel . . . . . . . . . . . 445
W. S. Humphrey The Personal Process in Software
Engineering . . . . . . . . . . . . . . 447
V. L. Almstrum and
D. Burton and
C. Christi and
A. Fleury Research Methods in Computer Science
Education . . . . . . . . . . . . . . . 449
J. Grudin and
R. T. Fielding Working Group on Design Methods and
Processes . . . . . . . . . . . . . . . 4
R. Chimera Working Group on Evaluating User
Interfaces and User Interface Tools . . 9
L. Bass Working Group on Formal Methods in HCl
and Software Engineering . . . . . . . . 14
L. Bass and
G. Abowd and
R. Kazman Issues in the Evaluation of User
Interface Tools . . . . . . . . . . . . 17
R. Chimera Platform Independent GUI Builders
Advance Software Engineering to Handle
HCl Issues . . . . . . . . . . . . . . . 28
J. Coutaz Evaluation Techniques: Exploring the
Intersection of HCl and Software
Engineering . . . . . . . . . . . . . . 35
M. D. Harrison and
D. J. Duke A Review of Formalisms for Describing
Interactive Behaviour . . . . . . . . . 49
P. Szekely User Interface Prototyping: Tools and
Techniques . . . . . . . . . . . . . . . 76
J. Grudin and
S. Poltrock Software Engineering and the CHI and
CSCW Communities . . . . . . . . . . . . 93
R. N. Taylor User Interface Technology and Software
Engineering Environments . . . . . . . . 113
A. Beck and
C. Janssen and
A. Weisbecker and
J. Ziegler Integrating Object-Oriented Analysis and
Graphical User Interface Design . . . . 127
L. M. F. Carneiro-Coffin and
D. D. Cowan and
C. J. P. Lucena and
D. Smith An Experience Using JASMINUM ---
Formalization Assisting with the Design
of User Interfaces . . . . . . . . . . . 141
D. J. Duke and
M. D. Harrison From Formal Models to Formal Methods . . 159
D. Fafchamps and
P. Garg Computing Environments for Flexible
Teams . . . . . . . . . . . . . . . . . 174
B. Fields and
P. Wright and
M. Harrison Applying Formal Methods for Human Error
Tolerant Design . . . . . . . . . . . . 185
H.-W. Gellersen Support of User Interface Design Aspects
in a Framework for Distributed
Cooperative Applications . . . . . . . . 196
M. W. Godfrey and
R. C. Holt and
S. Mancoridis Prototyping a Visual Formalism for
System Modelling . . . . . . . . . . . . 211
R. K. Keller User Interface Tools: a Survey and
Perspective . . . . . . . . . . . . . . 225
E. A. Isaacs and
T. Morris and
T. K. Rodriguez Lessons Learned from a Successful
Collaboration Between Software Engineers
and Human Interface Engineers . . . . . 232
J. M. Pickering and
R. E. Grinter Software Engineering and CSCW: A Common
Research Ground . . . . . . . . . . . . 241
M. L. Van De Vanter Practical Language-Based Editing for
Software Engineers . . . . . . . . . . . 251
H. Ziv and
L. J. Osterweil Research Issues in the Intersection of
Hypertext and Software Development
Environments . . . . . . . . . . . . . . 268
C. Brzoska Temporal Logic Programming with Metric
and Past Operators . . . . . . . . . . . 21
S. Kono A Combination of Clausal and Non Clausal
Temporal Logic Programs . . . . . . . . 40
T. Fruehwirth Temporal Logic and Annotated Constraint
Logic Programming . . . . . . . . . . . 58
S. Merz Efficiently Executable Temporal Logic
Programs . . . . . . . . . . . . . . . . 69
M. Fisher Towards a Semantics for Concurrent
METATEM . . . . . . . . . . . . . . . . 86
J. Koehler and
R. Treinen Constraint Deduction in an
Interval-based Temporal Logic . . . . . 103
M. Reynolds Towards First-Order Concurrent METATEM 118
M. Cavalcanti Solving Air-Traffic Problems with
``Possible Worlds'' . . . . . . . . . . 144
N. Den Haan Investigations into the Application of
Deontic Logic . . . . . . . . . . . . . 157
N. Ide and
J. Veronis Knowledge Extraction from
Machine-Readable Dictionaries: An
Evaluation . . . . . . . . . . . . . . . 19
A. Storrer and
U. Schwall Description and Acquisition of Multiword
Lexemes . . . . . . . . . . . . . . . . 35
K. Ahmad Pragmatics of Specialist Terms: The
Acquisition and Representation of
Terminology . . . . . . . . . . . . . . 51
P. Procter The Cambridge Language Survey . . . . . 77
W. Daelemans Memory-Based Lexical Acquisition and
Processing . . . . . . . . . . . . . . . 85
H.-U. Krieger Typed Feature Formalisms as a Common
Basis for Linguistic Specification . . . 101
N. Calzolari European Efforts Towards Standardizing
Language Resources . . . . . . . . . . . 121
K. Koch Machine Translation and Terminology
Database --- Uneasy Bedfellows? . . . . 131
D. Bachut and
I. Duquennoy and
L. Humphreys and
T. Kyriakopoulou A Generic Lexical Model . . . . . . . . 141
B. Blaeser TransLexis: An Integrated Environment
for Lexicon and Terminology Management 159
E. Karkaletsis and
C. Spyropoulos and
G. Vouros The Use of Terminological Knowledge
Bases in Software Localisation . . . . . 175
R. Mayer Navigation Through Terminological
Databases . . . . . . . . . . . . . . . 189
F. Caroli Types of Lexical Co-Occurrences:
Descriptive Parameters . . . . . . . . . 203
N. Ostler Perception Vocabulary in Five Languages
--- Towards an Analysis Using Frame
Elements . . . . . . . . . . . . . . . . 219
U. Heid Relating Parallel Monolingual Lexicon
Fragments for Translation Purposes . . . 231
W. J. Ewens and
A. Hastings Aspects of Optimality Behavior in
Population Genetics Theory . . . . . . . 7
A. Hastings and
G. A. Fox Optimization as a Technique for Studying
Population Genetics Equations . . . . . 18
G. Duchateau-Nguyen and
G. Weisbuch and
L. Peliti Emergence of Mutualism . . . . . . . . . 27
M. A. Bedau Three Illustrations of Artificial Life's
Working Hypothesis . . . . . . . . . . . 53
W. Banzhaf Self-Organizing Algorithms Derived from
RNA Interactions . . . . . . . . . . . . 69
E. Mjolsness and
C. D. Garrett and
J. Reinitz and
D. H. Sharp Modeling the Connection Between
Development and Evolution . . . . . . . 103
H.-M. Voigt Soft Genetic Operators in Evolutionary
Algorithms . . . . . . . . . . . . . . . 123
H. Muehlenbein and
D. Schlierkamp-Voosen Analysis of Selection, Mutation and
Recombination in Genetic Algorithms . . 142
G. F. Miller and
P. M. Todd The Role of Mate Choice in
Biocomputation: Sexual Selection as a
Process of Search, Optimization and
Diversification . . . . . . . . . . . . 169
L. Altenberg Genome Growth and the Evolution of the
Genotype-Phenotype Map . . . . . . . . . 205
W. Thomas On the Synthesis of Strategies in
Infinite Games . . . . . . . . . . . . . 1
G. Louchard Finding the Maximum with Linear Error
Probabilities: A Sequential Analysis
Approach . . . . . . . . . . . . . . . . 14
D. W. Juedes and
J. H. Lutz Completeness and Weak Completeness Under
Polynomial-Size Circuits . . . . . . . . 26
J.-Y. Cai and
R. J. Lipton and
L. Longpre and
M. Ogihara Communication Complexity of Key
Agreement on Small Ranges . . . . . . . 38
Y. Han and
L. A. Hemaspaandra Pseudorandom Generators and the
Frequency of Simplicity . . . . . . . . 50
U. Hertrampf Classes of Bounded Counting Type and
their Inclusion Relations . . . . . . . 60
F. Green Lower Bounds for Depth-Three Circuits
With Equals and Mod-Gates . . . . . . . 71
M. Krause On Realizing Iterated Multiplication by
Small Depth Threshold Circuits . . . . . 83
B. Durand A Random NP-Complete Problem for
Inversion of $2$D Cellular Automata . . 95
I. Fagnot On the Subword Equivalence Problem for
Infinite Words . . . . . . . . . . . . . 107
E. Garel On the Separators on an Infinite Word
Generated by a Morphism . . . . . . . . 119
A. Monti and
A. Peron Systolic Tree omega-Languages . . . . . 131
S. C. Krishnan and
A. Puri and
R. K. Brayton Structural Complexity of omega-Automata 143
T. Minkwitz Algorithms Explained by Symmetries . . . 157
P. F. Fischer and
F. P. Preparata and
J. E. Savage Generalized Scans and Tri-Diagonal
Systems . . . . . . . . . . . . . . . . 168
M. Crochemore and
L. Gasieniec and
W. Plandowski and
W. Rytter Two-Dimensional Pattern Matching in
Linear Time and Small Space . . . . . . 181
H. N. Djidjev and
G. E. Pantziou and
C. D. Zaroliagis On-line and Dynamic Algorithms for
Shortest Path Problems . . . . . . . . . 193
M. Cadoli and
F. M. Donini and
M. Schaerf On Compact Representations of
Propositional Circumscription . . . . . 205
G. D'Agostino and
A. Montanari and
A. Policriti A Set-Theoretic Translation Method for
(Poly)modal Logics . . . . . . . . . . . 217
O. Maler and
A. Pnueli and
J. Sifakis On the Synthesis of Discrete Controllers
for Timed Systems . . . . . . . . . . . 229
M. Boreale and
D. Sangiorgi A Fully Abstract Semantics for Causality
in the $\pi$-Calculus . . . . . . . . . 243--254
J. Hromkovic and
K. Lorys and
P. Kanarek and
R. Klasing On the Sizes of Permutation Networks and
Consequences for Efficient Simulation of
Hypercube Algorithms on Bounded-Degree
Networks . . . . . . . . . . . . . . . . 255
F. Meyer auf der Heide and
C. Scheideler and
V. Stemann Exploiting Storage Redundancy to Speed
Up Randomized Shared Memory Simulations 267
M. Flammini and
G. Gambosi and
S. Salomone Interval Routing Schemes . . . . . . . . 279
F. Meyer auf der Heide and
B. Voecking A Packet Routing Protocol for Arbitrary
Networks . . . . . . . . . . . . . . . . 291
C. Bercoff A Family of Tag Systems for Paperfolding
Sequences . . . . . . . . . . . . . . . 303
G. Buntrock and
F. Otto Growing Context-Sensitive Languages and
Church--Rosser Languages . . . . . . . . 313
D. Giammarresi and
R. Montalbano Deterministic Generalized Automata . . . 325
P. Indyk Optimal Simulation of Automata by Neural
Nets . . . . . . . . . . . . . . . . . . 337
A. R. Meyer Concurrent Process Equivalences: Some
Decision Problems . . . . . . . . . . . 349
P. Duris and
J. D. P. Rolim Optimal Lower Bounds on the Multiparty
Communication Complexity . . . . . . . . 350
L. Babai and
P. G. Kimmel and
S. V. Lokam Simultaneous Messages vs. Communication 361
V. Bruyere and
C. De Felice Coding and Strong Coding in Trace
Monoids . . . . . . . . . . . . . . . . 373
V. Diekert and
A. Muscholl and
K. Reinhardt On Codings of Traces . . . . . . . . . . 385
A. Gupta and
N. Nishimura Finding Largest Common Embeddable
Subtrees . . . . . . . . . . . . . . . . 397
D. Kaller and
A. Gupta and
T. Shermer The Xt-Coloring Problem . . . . . . . . 409
S. E. Nikoletseas and
P. G. Spirakis Expander Properties in Random Regular
Graphs with Edge Faults . . . . . . . . 421
D. Gardy and
G. Louchard Dynamic Analysis of the Sizes of
Relations . . . . . . . . . . . . . . . 433
D. Raz On Slender Context-free Languages . . . 445
V. Antimirov Partial Derivatives of Regular
Expressions and Finite Automata
Constructions . . . . . . . . . . . . . 455
F. Bracho and
M. Droste and
D. Kuske Dependence Orders for Computations of
Concurrent Automata . . . . . . . . . . 467
A.-C. Fabret and
A. Petit On the Undecidability of Deadlock
Detection in Families of Nets . . . . . 479
C. Rueb On the Average Running Time of Odd-Even
Merge Sort . . . . . . . . . . . . . . . 491
M. Kunde and
R. Niedermeier and
K. Reinhardt and
P. Rossmanith Optimal Average Case Sorting on Arrays 503
M. Strauss Normal Numbers and Sources for BPP . . . 515
T. Hancock and
T. Jiang and
M. Li and
J. Tromp Lower Bounds on Learning Decision Lists
and Trees . . . . . . . . . . . . . . . 527
P. Damaschke Line Segmentation of Digital Curves in
Parallel . . . . . . . . . . . . . . . . 539
M. Kummer and
M. Schaefer Computability of Convex Sets . . . . . . 550
T. Ottmann and
S. Schuierer and
S. Soundaralakshmi Enumerating Extreme Points in Higher
Dimensions . . . . . . . . . . . . . . . 562
S. Petitjean The Number of Views of Piecewise-Smooth
Algebraic Objects . . . . . . . . . . . 571
I. I. Macarie On the Structure of log-Space
Probabilistic Complexity Classes . . . . 583
L. Fortnow and
M. Kummer Resource-Bounded Instance Complexity . . 597
H. Buhrman and
M. Hermo On the Sparse Set Conjecture for Sets
with Low Density . . . . . . . . . . . . 609
S. A. Fenner and
L. Fortnow Beyond P0N0P = NEXP . . . . . . . . . . 619
A. Jakoby and
R. Reischuk and
C. Schindelhauer Malign Distributions for Average Case
Circuit Complexity . . . . . . . . . . . 628
D. G. Arques and
C. J. Michel A Possible Code in the Genetic Code . . 640
T. Kropf Benchmark-Circuits for
Hardware-Verification . . . . . . . . . 1
M. Aagaard and
M. Leeser Reasoning About Pipelines with
Structural Hazards . . . . . . . . . . . 13
P. J. Windley and
M. L. Coe A Correctness Model for Pipelined
Microprocessors . . . . . . . . . . . . 33
J. O'Leary and
M. Leeser and
J. Hickey and
M. Aagaard Non-Restoring Integer Square Root: A
Case Study in Design by Principled
Optimization . . . . . . . . . . . . . . 52
L. Pierre An Automatic Generalization Method for
the Inductive Proof of Replicated and
Parallel Architectures . . . . . . . . . 72
Z. Zhu A Compositional Circuit Model and
Verification by Composition . . . . . . 92
C. A. J. Van Eijk and
G. L. J. M. Janssen Exploiting Structural Similarities in a
BDD-Based Verification Method . . . . . 110
S. D. Johnson and
P. S. Miner and
A. Camilleri Studies of the Single Pulser in Various
Reasoning Systems . . . . . . . . . . . 126
M. Kishinevsky and
J. Staunstrup Mechanized Verification of
Speed-independence . . . . . . . . . . . 146
J. Kitamichi and
S. Morioka and
T. Higashino and
K. Taniguchi Automatic Correctness Proof of the
Implementation of Synchronous Sequential
Circuits Using an Algebraic Approach . . 165
N. Maretti Mechanized Verification of Refinement 185
D. Cyrluk and
S. Rajan and
N. Shankar and
M. K. Srivas Effective Theorem Proving for Hardware
Verification . . . . . . . . . . . . . . 203
T. Kropf and
K. Schneider and
R. Kumar A Formal Framework for High Level
Synthesis . . . . . . . . . . . . . . . 223
N. Mellergaard and
J. Staunstrup Tutorial on Design Verification with
Synchronized Transitions . . . . . . . . 239
S. Owre and
J. M. Rushby and
N. Shankar and
M. K. Srivas A Tutorial on Using PVS for Hardware
Verification . . . . . . . . . . . . . . 258
H. Busch A Reduced Instruction Set Proof
Environment . . . . . . . . . . . . . . 280
G. Bezzi and
M. Bombana and
P. Cavalloro and
S. Conigliaro Quantitative Evaluation of Formal Based
Synthesis in ASIC Design . . . . . . . . 286
M. Allemand Formal Verification of Characteristic
Properties . . . . . . . . . . . . . . . 292
K. Fisler Extending Formal Reasoning with Support
for Hardware Diagrams . . . . . . . . . 298
A. Asperti and
C. Laneve Comparing lambda-calculus translations
in sharing graphs . . . . . . . . . . . 1
G. Barthe Extensions of pure type systems . . . . 16
R. Bellucci and
M. Abadi and
P.-L. Curien A model for formal parametric
polymorphism: a PER interpretation for
System R . . . . . . . . . . . . . . . . 32
S. Berardi and
M. Bezem and
T. Coquand A realization of the negative
interpretation of the Axiom of Choice 47
S. Berardi and
L. Boerio Using subtyping in program optimization 63
G. M. Bierman What is a categorical model of
intuitionistic linear logic? . . . . . . 78
D. Briaud An explicit Eta rewrite rule . . . . . . 94
Y. Coscoy and
G. Kahn and
L. Thery Extracting text from proofs . . . . . . 109
J. Despeyroux and
A. Felty and
A. Hirschowitz Higher-order abstract syntax in Coq . . 124
R. Di Cosmo and
A. Piperno Expanding extensional polymorphism . . . 139
G. Dowek Lambda-calculus, combinators and the
comprehension scheme . . . . . . . . . . 154
N. Ghani eta-equality for coproducts . . . . . . 171
H. Goguen Typed operational semantics . . . . . . 186
P. De Groote A simple calculus of exception handling 201
M. Hofman A simple model for quotient types . . . 216
M. R. Holmes Untyped lambda-calculus with relative
typing . . . . . . . . . . . . . . . . . 235
F. Honsell and
M. Lenisa Final semantics for untyped
lambda-calculus . . . . . . . . . . . . 249
A. J. C. Hurkens A simplification of Girard's paradox . . 266
H. Kondoh Basic properties of data types with
inequational refinements . . . . . . . . 279
T. Kurata and
M. Takahashi Decidable properties of intersection
type systems . . . . . . . . . . . . . . 297
F. Leclerc Termination proof of term rewriting
system with the multiset path ordering.
A complete development in the system Coq 312
P. A. Mellies Typed lambda-calculi with explicit
substitutions may not terminate . . . . 328
V. Padovani On equivalence classes of interpolation
equations . . . . . . . . . . . . . . . 335
J. Van de Pol and
H. Schwichtenberg Strict functionals for termination
proofs . . . . . . . . . . . . . . . . . 350
R. Pollack A verified typechecker . . . . . . . . . 365
A. Pravato and
S. Ronchi della Rocca and
L. Roversi Categorical semantics of the
call-by-value lambda-calculus . . . . . 381
E. Ritter and
A. M. Pitts A fully abstract translation between a
lambda-calculus with reference types and
standard ML . . . . . . . . . . . . . . 397
A. K. Simpson Categorical completeness results for the
simply-typed lambda-calculus . . . . . . 414
J. Springintveld Third-order matching in the presence of
type constructors . . . . . . . . . . . 428
H. L. Bodlaender and
J. Engelfriet Domino Treewidth . . . . . . . . . . . . 1
S. Ramachandramurthi A Lower Bound for Treewidth and Its
Consequences . . . . . . . . . . . . . . 14
R. Garbe Tree-width and Path-width of
Comparability Graphs of Interval Orders 26
J. Ebert and
A. Franzke A Declarative Approach to Graph Based
Modeling . . . . . . . . . . . . . . . . 38
F. Parisi-Presicce and
G. Piersanti Multilevel Graph Grammars . . . . . . . 51
A. Brandstaedt and
V. D. Chepoi and
F. F. Dragan The Algorithmic Use of Hypertree
Structure and Maximum Neighbourhood
Orderings . . . . . . . . . . . . . . . 65
E. Dahlhaus and
P. Hammer and
F. Maffray and
S. Olariu On Domination Elimination Orderings and
Domination Graphs . . . . . . . . . . . 81
J. Kratochvil and
A. Proskurowski and
J. A. Telle Complexity of Graph Covering Problems 93
T. Kloks and
D. Kratsch and
H. Mueller Dominoes . . . . . . . . . . . . . . . . 106
V. Turau and
W. Chen GLB-Closures in Directed Acyclic Graphs
and Their Applications . . . . . . . . . 121
P. Crescenzi and
L. Trevisan Minimum Vertex Cover, Distributed
Decision-Making, and Communication
Complexity . . . . . . . . . . . . . . . 130
T. Andreae and
M. Noelle and
G. Schreiber Cartesian Products of Graphs as Spanning
Subgraphs of De Bruijn Graphs . . . . . 140
A. Schuerr Specification of Graph Translators with
Triple Graph Grammars . . . . . . . . . 151
B. Westfechtel Using Programmed Graph Rewriting for the
Formal Specification of a Configuration
Management System . . . . . . . . . . . 164
K. Skodinis and
E. Wanke Exponential Time Analysis of Confluent
and Boundary eNCE Graph Languages . . . 180
D. Bhagavathi and
V. Bokka and
H. Gurla and
S. Olariu Time-Optimal Tree Computations on Sparse
Meshes . . . . . . . . . . . . . . . . . 193
S. Chaudhuri and
T. Hagerup Prefix Graphs and Their Applications . . 206
A. Jakoby and
R. Reischuk and
C. Schindelhauer The Complexity of Broadcasting in Planar
and Decomposable Graphs . . . . . . . . 219
Z.-Z. Chen The Maximal $f$-Dependent Set Problem
for Planar Graphs is in NC . . . . . . . 232
G. Di Battista and
R. Tamassia and
L. Vismara On-Line Convex Planarity Testing . . . . 242
F. Shahrokhi and
O. Sykora and
L. A. Szekely and
I. Vrt'o Book Embeddings and Crossing Numbers . . 256
V. Naumann Measuring the Distance to
Series-Parallelity by Path Expressions 269
M. Golin and
S. Zaks Labelled Trees and Pairs of Input-Output
Permutations in Priority Queues . . . . 282
H. L. Bodlaender and
J. S. Deogun and
K. Jansen and
T. Kloks Rankings of Graphs . . . . . . . . . . . 292
H. Doerr Bypass Strong V-Structures and Find an
Isomorphic Labelled Subgraph in Linear
Time . . . . . . . . . . . . . . . . . . 305
K. Wada and
A. Takaki and
K. Kawaguchi Efficient Algorithms for a Mixed
$k$-partition Problem of Graphs without
Specifying Bases . . . . . . . . . . . . 319
N. D. Dendris and
L. M. Kirousis and
D. M. Thilikos Fugitive-Search Games on Graphs and
Related Parameters . . . . . . . . . . . 331
Y. Kajitani and
J. D. Cho and
M. Sarrafzadeh New Approximation Results on Graph
Matching and Related Problems . . . . . 343
D. Sieling and
I. Wegener New Lower Bounds and Hierarchy Results
for Restricted Branching Programs . . . 359
R. Giaccio On-line Algorithms for Satisfiability
Problems with Uncertainty . . . . . . . 371
E. Bampis and
Y. Manoussakis and
I. Milis NC Algorithms for Antidirected
Hamiltonian Paths and Cycles in
Tournaments . . . . . . . . . . . . . . 387
L. Babel and
I. Ponomarenko and
G. Tinhofer Directed Path Graph Isomorphism . . . . 395
R. J. Solomonoff The discovery of algorithmic
probability: A guide for the programming
of true creativity . . . . . . . . . . . 1
Y. Freund and
R. E. Schapire A decision-theoretic generalization of
on-line learning and an application to
boosting . . . . . . . . . . . . . . . . 23
S. Ben-David and
E. Kushilevitz and
Y. Mansour Online learning versus offline learning 38
S. Ben-David and
M. Lindenbaum Learning distributions by their density
levels --- a paradigm for learning
without a teacher . . . . . . . . . . . 53
D. Haussler and
J. Kivinen and
M. K. Warmuth Tight worst-case loss bounds for
predicting with expert advice . . . . . 69
K. Yamanishi On-line maximum likelihood prediction
with respect to general loss functions 84
A. Ambainis The power of procrastination in
inductive inference: How it depends on
used ordinal notations . . . . . . . . . 99
J. L. Balcazar and
H. Buhrman and
M. Hermo Learnability of Kolmogorov-easy circuit
expressions via queries . . . . . . . . 112
S. Lange and
T. Zeugmann Trading monotonicity demands versus mind
changes . . . . . . . . . . . . . . . . 125
J. Case and
S. Kaufmann and
E. Kinber and
M. Kummer Learning recursive functions from
approximations . . . . . . . . . . . . . 140
R. Freivalds and
E. Kinber and
C. H. Smith On the intrinsic complexity of learning 154
S. Jain and
A. Sharma The structure of intrinsic complexity of
learning . . . . . . . . . . . . . . . . 169
R. Freivalds and
S. Jain Kolmogorov numberings and minimal
identification . . . . . . . . . . . . . 182
J. Rissanen Stochastic complexity in learning . . . 196
M. Anthony and
P. Bartlett Function learning from interpolation . . 211
L. Gurvits and
P. Koiran Approximation and learning of convex
superpositions . . . . . . . . . . . . . 222
V. G. Vovk Minimum description length estimators
under the optimal coding scheme . . . . 237
P. Kilpelaeinen and
H. Mannila and
E. Ukkonen MDL learning of unions of simple pattern
languages from positive examples . . . . 252
E. Martin and
D. Osherson A note on the use of probabilities by
mechanical learners . . . . . . . . . . 261
D. Schuurmans Characterizing rational versus
exponential learning curves . . . . . . 272
M. Muselli Is Pocket algorithm optimal? . . . . . . 287
J. Van den Berg and
J. C. Bioch Some theorems concerning the free energy
of (un)constrained stochastic Hopfield
neural networks . . . . . . . . . . . . 298
F. Ameur A space-bounded learning algorithm for
axis-parallel rectangles . . . . . . . . 313
H. U. Simon Learning decision lists and trees with
equivalence-queries . . . . . . . . . . 322
M. Karpinski and
A. Macintyre Bounding VC-dimension of neural
networks: Progress and prospects . . . . 337
M. Golea Average case analysis of a learning
algorithm for -DNF expressions . . . . . 342
E. Shamir and
C. Shwartzman Learning by extended statistical queries
and its relation to PAC learning . . . . 357
T. Koshiba Typed pattern languages and their
learnability . . . . . . . . . . . . . . 367
F. Bergadano and
S. Varricchio Learning behaviors of automata from
shortest counterexamples . . . . . . . . 380
A. Brazma Learning of regular expressions by
pattern matching . . . . . . . . . . . . 392
C. Domingo and
V. Lavin The query complexity of learning some
subclasses of context-free grammars . . 404
W. E. L. Grimson and
G. J. Ettinger and
S. J. White and
P. L. Gleason Evaluating and Validating an Automated
Registration System for Enhanced Reality
Visualization in Surgery . . . . . . . . 3
M. Uenohara and
T. Kanade Vision-Based Object Registration for
Real-Time Image Overlay . . . . . . . . 13
O. Peria and
L. Chevalier and
A. Francois-Joubert and
J.-P. Caravel Using a $3$D Position Sensor for
Registration of SPECT and US Images of
the Kidney . . . . . . . . . . . . . . . 23
F. Betting and
J. Feldmar and
N. Ayache and
F. Devernay A New Framework for Fusing Stereo Images
with Volumetric Medical Images . . . . . 30
J. Zhao and
A. C. F. Colchester and
C. J. Henri and
D. J. Hawkes Visualisation of Multimodal Images for
Neurosurgical Planning and Guidance . . 40
C. J. Henri and
A. C. F. Colchester and
J. Zhao and
D. J. Hawkes Registration of $3$D Surface Data for
Intra-Operative Guidance and
Visualization in Frameless Stereotactic
Neurosurgery . . . . . . . . . . . . . . 47
W. M. Wells and
W. E. L. Grimson and
R. Kikinis and
F. A. Jolesz Adaptive Segmentation of MRI Data . . . 59
L. Serra and
T. Poston and
H. Ng and
P. A. Heng Virtual Space Editing of Tagged MRI
Heart Data . . . . . . . . . . . . . . . 70
F. Maes and
D. Vandermeulen and
P. Suetens and
G. Marchal Computer-Aided Interactive Object
Delineation Using an Intelligent
Paintbrush Technique . . . . . . . . . . 77
G. Klinker and
I. Carlbom and
W. Hsu and
D. Terzopoulos Biomedical Data Exploration Meets
Telecollaboration . . . . . . . . . . . 84
T. McInerney and
D. Terzopoulos Medical Image Segmentation Using
Topologically Adaptable Snakes . . . . . 92
P. Meseure and
J.-F. Rouland and
P. Dubois and
S. Karpf SOPHOCLE: A Retinal Laser
Photocoagulation Simulator: Overview . . 105
P. S. Schenker and
H. Das and
T. R. Ohm A New Robot for High Dexterity
Microsurgery . . . . . . . . . . . . . . 115
R. V. O'Toole and
D. A. Simon and
B. Jaramaz and
O. Ghattas Towards More Capable and Less Invasive
Robotic Surgery in Orthopaedics . . . . 123
R. Tombropoulos and
A. Schweikard and
J.- C. Latombe and
J. R. Adler Treatment Planning for Image-Guided
Robotic Radiosurgery . . . . . . . . . . 131
A. Schweikard and
R. Tombropoulos and
J. R. Adler Robotic Radiosurgery with Beams of
Adaptable Shapes . . . . . . . . . . . . 138
J. Declerck and
G. Subsol and
J.-P. Thirion and
N. Ayache Automatic Retrieval of Anatomical
Structures in $3$D Medical Images . . . 153
A. R. Kancherla and
J. P. Rolland and
D. L. Wright and
G. Burdea A Novel Virtual Reality Tool for
Teaching Dynamic $3$D Anatomy . . . . . 163
H. Suzuki and
K. Yoshizaki and
M. Matsuo and
J. Kashio A Supporting System for Getting
Tomograms and Screening with a
Computerized $3$D Brain Atlas and a
Knowledge Database . . . . . . . . . . . 170
J.-F. Mangin and
J. Regis and
I. Bloch and
V. Frouin A MRF Based Random Graph Modelling the
Human Cortical Topography . . . . . . . 177
F. L. Bookstein Combining ``Vertical'' and
``Horizontal'' Features from Medical
Images . . . . . . . . . . . . . . . . . 184
A. Collignon and
D. Vandermeulen and
P. Suetens and
G. Marchal $3$D Multi-Modality Medical Image
Registration Using Feature Space
Clustering . . . . . . . . . . . . . . . 195
J.-J. Jacq and
C. Roux Registration of Non-Segmented Images
Using a Genetic Algorithm . . . . . . . 205
A. Hamadeh and
S. Lavallee and
R. Szeliski and
P. Cinquin Anatomy-Based Registration for
Computer-Integrated Surgery . . . . . . 212
J. B. A. Maintz and
P. A. Van den Elsen and
M. A. Viergever Comparison of Feature-Based Matching of
CT and MR Brain Images . . . . . . . . . 219
F. Kruggel Automatical Adaption of Anatomical Masks
to the Neocortex . . . . . . . . . . . . 231
G. Mittelhaeusser and
F. Kruggel Fast Segmentation of Brain Magnetic
Resonance Tomograms . . . . . . . . . . 237
W. Beil and
H. S. Stiehl Comparison of Two Multi-Scale Approaches
to Edge Detection in Medical Images . . 242
Y. Masutani and
K. Masamune and
M. Suzuki and
T. Dohi Computer Aided Surgery (CAS) System for
Stereotactic Neurosurgery . . . . . . . 247
G. Burel and
H. Henocq and
J.-Y. Catros Registration of $3$D Objects Using
Linear Algebra . . . . . . . . . . . . . 252
W. L. Nowinski and
A. Fang and
B. T. Nguyen and
R. Raghavan Talairach-Tournoux/Schaltenbrand-Wahren
Based Electronic Brain Atlas System . . 257
B. Kim and
K. A. Frey and
S. Mukhopadhyay and
B. D. Ross Co-Registration of MRI and
Autoradiography of Rat Brain in
Three-Dimensions Following Automatic
Reconstruction of $2$D Data Set . . . . 262
A. Giachetti and
G. Gigli and
V. Torre Computer Assisted Analysis of
Echocardiographic Image Sequences . . . 267
D. Reynard and
A. Blake and
A. Azzawi and
P. Styles Computer Tracking of Tagged 01H MR
Images for Motion Analysis . . . . . . . 272
B. Geiger and
R. Kikinis Simulation of Endoscopy . . . . . . . . 277
R. Ziegler and
W. Mueller and
G. Fischer and
M. Goebel A Virtual Reality Medical Training
System . . . . . . . . . . . . . . . . . 282
R. Bendl and
A. Hoess and
W. Schlegel Virtual Simulation in Radiotherapy
Planning . . . . . . . . . . . . . . . . 287
J.-L. Coatrieux and
F. Mao and
C. Toumoulin and
R. Collorec $2$D and $3$D Motion Analysis in Digital
Subtraction Angiography . . . . . . . . 295
Y. Sato and
J. Chen and
S. Yamamoto and
S. Tamura Measuring Microcirculation Using
Spatiotemporal Image Analysis . . . . . 302
S. Benayoun and
C. Nastar and
N. Ayache Dense Non-Rigid Motion Estimation in
Sequences of $3$D Images Using
Differential Constraints . . . . . . . . 309
E. Bardinet and
L. D. Cohen and
N. Ayache Superquadrics and Free-Form
Deformations: A Global Model to Fit and
Track $3$D Medical Data . . . . . . . . 319
P. Shi and
G. Robinson and
A. Chakraborty and
L. Staib A Unified Framework to Assess Myocardial
Function from $4$D Images . . . . . . . 327
S. Ruan and
C. Jaggi and
J. M. Constans and
D. Bloyet Detection of Brain Activation from MRI
Data by Likelihood-Ratio Test . . . . . 341
K. L. Vincken and
A. S. E. Koster and
M. A. Viergever Probabilistic Hyperstack Segmentation of
MR Brain Data . . . . . . . . . . . . . 351
M. Fidrich and
J.- P. Thirion Multiscale Representation and Analysis
of Features from Medical Images . . . . 358
R. Highnam and
M. Brady and
B. Shepstone A Representation for Mammographic Image
Processing . . . . . . . . . . . . . . . 365
N. Cerneaz and
M. Brady Finding Curvilinear Structures in
Mammograms . . . . . . . . . . . . . . . 372
S. Sullivan and
A. Noble and
J. Ponce On reconstructing Curved Object
Boundaries from Sparse Sets of X-Ray
Images . . . . . . . . . . . . . . . . . 385
I. Bloch and
C. Pellot and
F. Sureda and
A. Herment $3$D Reconstruction of Blood Vessels by
Multi-Modality Data Fusion Using Fuzzy
and Markovian Modelling . . . . . . . . 392
J. Lengyel and
D. P. Greenberg and
A. Yeung and
E. Alderman Three-Dimensional Reconstruction and
Volume Rendering of Intravascular
Ultrasound Slices Imaged on a Curved
Arterial Path . . . . . . . . . . . . . 399
M. Kluytmans and
C. J. Bouma and
B. M. Ter Haar Romeny and
G. Pasterkamp Analysis and $3$D Display of 30 MHz
Intravascular Ultrasound Images . . . . 406
A. Gourdon Simplification of Irregular Surface
Meshes in $3$D Medical Images . . . . . 413
M.-E. Algorri and
F. Schmitt Deformable Models For Reconstructing
Unstructured $3$D Data . . . . . . . . . 420
T. Kapur and
W. E. L. Grimson and
R. Kikinis Segmentation of Brain Tissue from MR
Images . . . . . . . . . . . . . . . . . 429
H. Tek and
B. B. Kimia Shock-Based Reaction-Diffusion Bubbles
for Image Segmentation . . . . . . . . . 434
J. Bezy-Wendling and
A. Bruno and
P. Reuze MRI Texture Analysis Applied to
Trabecular Bone: An Experimental Study 439
R. Benjamin Object-Based $3$D X-Ray Imaging . . . . 444
Y. Masutani and
T. Kurihara and
M. Suzuki and
T. Dohi Quantitative Vascular Shape Analysis for
$3$D MR-Angiography Using Mathematical
Morphology . . . . . . . . . . . . . . . 449
M. Neveu and
D. Faudot and
B. Derdouri B-Deformable Superquadrics for $3$D
Reconstruction . . . . . . . . . . . . . 455
I. Bricault and
O. Monga Modeling $3$D Objects with Patches of
Quadratic Surfaces: Application to the
Recognition and Locating of Anatomic
Structures . . . . . . . . . . . . . . . 460
S. Ishikawa and
H. Kosaka and
K. Kato and
Y. Otsuka A Method of Analyzing a Shape with
Potential Symmetry and Its Application
to Detecting Spinal Deformity . . . . . 465
J. P. Mellor Realtime Camera Calibration for Enhanced
Reality Visualization . . . . . . . . . 471
V. Dessenne and
S. Lavallee and
R. Julliard and
P. Cinquin Computer Assisted Knee Anterior Cruciate
Ligament Reconstruction: First Clinical
Tests . . . . . . . . . . . . . . . . . 476
D. B. Karron and
J. Cox Extracting $3$D Objects from Volume Data
Using Digital Morse Theory . . . . . . . 481
B. Pflesser and
U. Tiede and
K. H. Hoehne Towards Realistic Visualization for
Surgery Rehearsal . . . . . . . . . . . 487
G. Szekely and
A. Kelemen and
C. Brechbuehler and
G. Gerig Segmentation of $3$D Objects from MRI
Volume Data Using Constrained Elastic
Deformations of Flexible Fourier Surface
Models . . . . . . . . . . . . . . . . . 495
J. L. Boes and
C. R. Meyer and
T. E. Weymouth Liver Definition in CT Using a
Population-Based Shape Model . . . . . . 506
C. R. Meyer and
P. H. Bland and
J. Pipe Retrospective Correction of MRI
Amplitude Inhomogeneities . . . . . . . 513
C. Hamitouche and
C. Roux and
J.-L. Coatrieux Design of New Surface Detection
Operators in the Case of an Anisotropic
Sampling of $3$D Volume Data . . . . . . 523
M. Bro-Nielsen Modelling Elasticity in Solids Using
Active Cubes --- Application to
Simulated Operations . . . . . . . . . . 535
K. Mori and
J. Hasegawa and
J. Toriwaki and
H. Anno Automated Extraction and Visualization
of Bronchus from $3$D CT Images of Lung 542
B. Peuchot and
A. Tanguy and
M. Eude Virtual Reality as an Operative Tool
During Scoliosis Surgery . . . . . . . . 549
P. J. Edwards and
D. L. G. Hill and
D. J. Hawkes and
R. Spink Neurosurgical Guidance Using the Stereo
Microscope . . . . . . . . . . . . . . . 555
L. Bachmair and
H. Ganzinger and
J. Stuber Combining Algebra and Universal Algebra
in First-Order Theorem Proving: The Case
of Commutative Rings . . . . . . . . . . 1
C. Beeri Bulk Types and Query Language Design . . 30
J. Meseguer and
N. Marti-Oliet From Abstract Data Types to Logical
Frameworks . . . . . . . . . . . . . . . 48
M. Wirsing Algebraic Specification Languages: An
Overview . . . . . . . . . . . . . . . . 81
D. Aspinall Types, Subtypes, and ASL . . . . . . . . 116
D. Bert and
R. Echahed On the Operational Semantics of the
Algebraic and Logic Programming Language
LPG . . . . . . . . . . . . . . . . . . 132
M. Bidoit and
R. Hennicker Behavioural Theories . . . . . . . . . . 153
M. Broy Equations for Describing Dynamic Nets of
Communicating Systems . . . . . . . . . 170
M. Cerioli A Lazy Approach to Partial Algebras . . 188
G. Denker Transactions in Object-Oriented
Specifications . . . . . . . . . . . . . 203
H.-D. Ehrich and
A. Sernadas Local Specification of Distributed
Families of Sequential Objects . . . . . 219
H. Ehrig and
M. Loewe and
F. Orejas Dynamic Abstract Data Types Based on
Algebraic Graph Transformations . . . . 236
M. Fernandez and
J. P. Jouannaud Modular Termination of Term Rewriting
Systems Revisited . . . . . . . . . . . 255
J. L. Fiadeiro and
J. F. Costa Institutions for Behaviour Specification 273
M. Gogolla and
R. Herzig An Algebraic Semantics for the Object
Specification Language TROLL light . . . 290
U. Hensel and
H. Reichel Defining Equations in Terminal
Coalgebras . . . . . . . . . . . . . . . 307
C. Hintermeier and
C. Kirchner and
H. Kirchner Sort Inheritance for Order-Sorted
Equational Presentations . . . . . . . . 319
H. Hussmann Axiomatic Specification of Large
Information Systems: Experiences and
Consequences . . . . . . . . . . . . . . 336
U. Lechner and
C. Lengauer and
M. Wirsing An Object-Oriented Airport:
Specification and Refinement in Maude 351
K. Meinke Topological Methods for Algebraic
Specification . . . . . . . . . . . . . 368
T. Mossakowski A Hierarchy of Institutions Separated by
Properties of Parameterized Abstract
Data Types . . . . . . . . . . . . . . . 389
F. Parisi-Presicce and
A. Pierantonio Dynamical Behavior of Object Systems . . 406
A. Sernadas and
C. Sernadas and
J. M. Valenca A Theory-Based Topological Notion of
Institution . . . . . . . . . . . . . . 420
J. Underwood Typing Abstract Data Types . . . . . . . 437
M. Walicki and
S. Meldal Multialgebras, Power Algebras and
Complete Calculi of Identities and
Inclusions . . . . . . . . . . . . . . . 453
U. Wolter Institutional Frames . . . . . . . . . . 469
E. Zucca Implementation of Data Structures in an
Imperative Framework . . . . . . . . . . 483
M. Gogolla and
M. Cerioli What is an Abstract Data Type after all? 499
V. Pratt Time and Information in Sequential and
Concurrent Computation . . . . . . . . . 1
K. Honda Notes on P-Algebra 1: Process Structure 25
M. I. Kanovich Simulating Guarded Programs in Linear
Logic . . . . . . . . . . . . . . . . . 45
C. Queinnec Sharing Mutable Objects and Controlling
Groups of Tasks in a Concurrent and
Distributed Language . . . . . . . . . . 70
S.-I. Kawamoto and
T. Ito Multi-threaded PaiLisp with Granularity
Adaptive Parallel Execution . . . . . . 94
K. Taura and
S. Matsuoka and
A. Yonezawa StackThreads: An Abstract Machine for
Scheduling Fine-Grain Threads on Stock
CPUs . . . . . . . . . . . . . . . . . . 121
N. Kobayashi and
A. Yonezawa Higher-Order Concurrent Linear Logic
Programming . . . . . . . . . . . . . . 137
H. Konaka and
T. Tomokiyo and
M. Maeda and
Y. Ishikawa A Parallel Object-Oriented Language
OCore . . . . . . . . . . . . . . . . . 167
B. C. Pierce and
D. N. Turner Concurrent Objects in a Process Calculus 187
I. Satoh and
M. Tokoro A Formalism for Remotely Interacting
Processes . . . . . . . . . . . . . . . 216
A. Togashi and
S. Yoshida and
S. Kimura and
N. Shiratori ProCSuS: A Meta System for Concurrent
Process Calculi Based on SOS . . . . . . 229
J. H. Reppy First-class Synchronous Operations . . . 235
R. H. Halstead Self-Describing Files + Smart Modules =
Parallel Program Visualization . . . . . 253
J. Tatemura and
H. Koike and
H. Tanaka A Performance Debugger for a Parallel
Logic Programming Language Fleng . . . . 284
K. Wakita First Class Continuation Facilities in
Concurrent Programming Language
Harmony/2 . . . . . . . . . . . . . . . 300
S. Jagannathan Locality Abstractions for Parallel and
Distributed Computing . . . . . . . . . 320
T. Kamada and
S. Matsuoka and
A. Yonezawa An Algorithm for Efficient Global
Garbage Collection on Massively Parallel
Computers . . . . . . . . . . . . . . . 346
K. Ueda I/O Mode Analysis in Concurrent Logic
Programming . . . . . . . . . . . . . . 356
M. Broy Advanced Component Interface
Specification . . . . . . . . . . . . . 369
N. Yoshida Graph Notation for Concurrent
Combinators . . . . . . . . . . . . . . 393
S. Nishimura and
A. Ohori A Calculus for Exploiting Data
Parallelism on Recursively Defined Data 413
T. Yuasa and
T. Kijima and
Y. Konishi The Data-Parallel C Language NCX and Its
Implementation Strategies . . . . . . . 433
S. Kusakabe and
M. Amamiya A Dataflow-Based Massively Parallel
Programming Language ``V'' and Its
Implementation on a Stock Parallel
Machine . . . . . . . . . . . . . . . . 457
M. Sato and
Y. Kodama and
H. Sakane and
Y. Yamaguchi Programming with Distributed Data
Structure for EM-X Multiprocessor . . . 472
Anonymous An Introduction to UNITY . . . . . . . . 17
Anonymous The Role of Commutativity in Parallel
Program Design . . . . . . . . . . . . . 33
Anonymous On the Design of Proof Rules for Fair
Parallel Programs . . . . . . . . . . . 59
Anonymous Reasoning About Probabilistic Parallel
Programs . . . . . . . . . . . . . . . . 99
Anonymous Eventual Determinism: Using
Probabilistic Means to Achieve
Deterministic Ends . . . . . . . . . . . 149
N. Dershowitz 33 Examples of Termination . . . . . . . 16
G. Lallement The Word Problem for Thue Rewriting
Systems . . . . . . . . . . . . . . . . 27
Y. Matiyasevich Word Problem for Thue Systems with a Few
Relations . . . . . . . . . . . . . . . 39
H. Kirchner Some Extensions of Rewriting . . . . . . 54
B. Courcelle Graph Rewriting: A Bibliographical Guide 74
G. Senizergues Formal Languages and Word-Rewriting . . 75
M. Dauchet Rewriting and Tree Automata . . . . . . 95
M. Bertol and
V. Diekert On Efficient Reduction Algorithms for
Some Trace Rewriting Systems . . . . . . 114
R. H. Gilman Automatic Groups and String Rewriting 127
P. Le Chenadec A Survey of Symmetrized and Complete
Group Presentations . . . . . . . . . . 135
C. Marche Normalized Rewriting --- Application to
Ground Completion and Standard Bases . . 154
Y. Lafont Equational Reasoning with
Two-Dimensional Diagrams . . . . . . . . 170
P. Balbiani and
L. F. Del Cerro Affine Geometry of Collinearity and
Conditional Term Rewriting . . . . . . . 196
J.-F. Rey Burnside Monoids, Word Problem and the
Conjecture of Brzozowski . . . . . . . . 214
F. Benhamou Interval Constraint Logic Programming 1
A. Bockmayr Solving Pseudo-Boolean Constraints . . . 22
P. Codognet and
G. Nardiello Enhancing the Constraint-Solving Power
of clp(FD) by means of Path-Consistency
Methods . . . . . . . . . . . . . . . . 39
H. Comon Constraints in Term Algebras . . . . . . 62
F. Fages Constructive Negation by Pruning and
Optimization Higher-Order Predicates for
CLP and CC Languages . . . . . . . . . . 68
T. Fruehwirth Constraint Handling Rules . . . . . . . 90
J.-L. J. Imbert Linear Constraint Solving in
CLP-Languages . . . . . . . . . . . . . 108
H. Kirchner On the Use of Constraints in Automated
Deduction . . . . . . . . . . . . . . . 128
B. Le Charlier Abstract Interpretation and Finite
Domain Symbolic Constraints . . . . . . 147
U. Montanari and
F. Rossi Concurrency and Concurrent Constraint
Programming . . . . . . . . . . . . . . 171
A. Rauzy Toupie: A Constraint Language for Model
Checking . . . . . . . . . . . . . . . . 193
O. Ridoux Imagining CLP (cap delta, ) . . . . . . 209
M. Rueher An Architecture for Cooperating
Constraint Solvers on Reals . . . . . . 231
G. Smolka The Definition of Kernel Oz . . . . . . 251
P. Van Hentenryck and
V. Saraswat and
Y. Deville Design, Implementation, and Evaluation
of the Constraint Language cc(FD) . . . 293
J. Abello and
K. Kumar Visibility Graphs of 2-Spiral Polygons 1
L. Alonso and
R. Schott Random Generation of Colored Trees . . . 16
T. Asano and
D. Ranjan and
T. Roos and
E. Welzl Space Filling Curves and Their Use in
the Design of Geometric Data Structures 36
R. Balasubramanian and
V. Raman and
G. Srinivasaraghavan Tight Bounds for Finding Degrees from
the Adjacency Matrix . . . . . . . . . . 49
D. M. Barrington and
H. Straubing Lower Bounds for Modular Counting by
Circuits with Modular Gates . . . . . . 60
B. Becker and
R. Drechsler and
R. Werchner On the Relation Between BDDs and FDDs 72
S. L. Bloom and
Z. Esik Free Shuffle Algebras in Language
Varieties . . . . . . . . . . . . . . . 99
P. G. Bradford and
V. Choppella and
G. J. E. Rawlins Lower Bounds for the Matrix Chain
Ordering Problem . . . . . . . . . . . . 112
S. Brands Off-Line Electronic Cash Based on
Secret-Key Certificates . . . . . . . . 131
V. Bruyere and
G. Hansel Recognizable Sets of Numbers in
Nonstandard Bases . . . . . . . . . . . 167
G. Buntrock and
G. Niemann On Weak Growing Context-Sensitive
Grammars . . . . . . . . . . . . . . . . 180
B. R. Callejas Bedregal and
B. M. Acioly Logic of Plotkin Continuous Domain . . . 195
S. Chaudhuri and
D. Dubhashi (Probabilistic) Recurrence Relations
Revisited . . . . . . . . . . . . . . . 207
M. Crochemore and
W. Rytter On Linear-Time Alphabet-Independent
$2$-Dimensional Pattern Matching . . . . 220
J. Durand-Lose Reversible Cellular Automaton Able to
Simulate Any Other Reversible One Using
Partitioning Automata . . . . . . . . . 230
P. Eades and
S. Whitesides Nearest Neighbour Graph Realizability is
NP-hard . . . . . . . . . . . . . . . . 245
D. Fernandez-Baca and
G. Slutzki Linear-Time Algorithms for Parametric
Minimum Spanning Tree Problems on Planar
Graphs . . . . . . . . . . . . . . . . . 257
E. Feuerstein Paging More Than One Page . . . . . . . 272
C. M. Herrera de Figueiredo and
J. Meidanis and
C. P. De Mello On Edge-Colouring Indifference Graphs 286
G. Galbiati and
A. Morzenti and
F. Maffioli On the Approximability of Some Maximum
Spanning Tree Problems . . . . . . . . . 300
S. Gao and
J. Von zur Gathen and
D. Panario Gauss Periods and Fast Exponentiation in
Finite Fields . . . . . . . . . . . . . 311
W. I. Gasarch and
K. S. Guimaraes Unbounded Search and Recursive Graph
Problems . . . . . . . . . . . . . . . . 323
L. Gonzalez-Vega On the Complexity of Computing the
Greatest Common Divisor of Several
Univariate Polynomials . . . . . . . . . 332
J. Gruska and
A. Monti and
M. Napoli and
D. Parente State Complexity of SBTA Languages . . . 346
C. Herzog Pushdown Automata with Bounded
Nondeterminism and Bounded Ambiguity . . 358
I. I. Macarie Multihead Two-Way Probabilistic Finite
Automata . . . . . . . . . . . . . . . . 371
M. Margenstern Non-Erasing Turing Machines: a New
Frontier Between a Decidable Halting
Problem and Universality . . . . . . . . 386
M. Matamala and
E. Goles Cyclic Automata Networks on Finite
Graphs . . . . . . . . . . . . . . . . . 398
J. Meidanis and
J. C. Setubal Multiple Alignment of Biological
Sequences with Gap Flexibility . . . . . 411
C. Meinel and
S. Waack Lower Bounds for the Modular
Communication Complexity of Various
Graph Accessibility Problems . . . . . . 427
M. Mundhenk On Monotonous Oracle Machines . . . . . 436
B. J. Oommen and
E. V. De St. Croix On Using Learning Automata for Fast
Graph Partitioning . . . . . . . . . . . 449
H. Prodinger Solution of a Problem of Yekutieli and
Mandelbrot . . . . . . . . . . . . . . . 461
G. Richard and
F. Saubion A Rewrite Approach for Constraint Logic
Programming . . . . . . . . . . . . . . 469
Z. Roka Simulations Between Cellular Automata on
Cayley Graphs . . . . . . . . . . . . . 483
F. Wang A Temporal Logic for Real-Time
Partial-Ordering with Named Transactions 494
P. M. Yamakawa and
H. Ebara and
H. Nakano A New Approach for Routing in
Arrangement Graphs and Its Performance
Evaluation . . . . . . . . . . . . . . . 509
J. Gebhardt and
R. Kruse Reasoning and Learning in Probabilistic
and Possibilistic Networks: An Overview 3
D. Michie Problem Decomposition and the Learning
of Skills . . . . . . . . . . . . . . . 17
T. M. Mitchell Machine Learning in the World Wide Web 32
S. Ohlsson and
J. J. Jewett Abstract Computer Models: Towards a New
Method for Theorizing About Adaptive
Agents . . . . . . . . . . . . . . . . . 33
R. Bergmann and
W. Wilke Learning Abstract Planning Cases . . . . 55
Y. Biberman The Role of Prototypicality in
Exemplar-Based Learning . . . . . . . . 77
H. Bostroem Specialization of Recursive Predicates 92
J. Branke and
U. Kohlmorgen and
H. Schmeck A Distributed Genetic Algorithm
Improving the Generalization Behavior of
Neural Networks . . . . . . . . . . . . 107
Y. Dimopoulos and
A. Kakas Learning Non-Monotonic Logic Programs:
Learning Exceptions . . . . . . . . . . 122
A. G. Francis and
A. Ram A Comparative Utility Analysis of
Case-Based Reasoning and Control-Rule
Learning Systems . . . . . . . . . . . . 138
D. Gamberger A Minimization Approach to Propositional
Inductive Learning . . . . . . . . . . . 151
A. D. Griffiths and
D. G. Bridge On Concept Space and Hypothesis Space in
Case-Based Learning Algorithms . . . . . 161
R. Kohavi The Power of Decision Tables . . . . . . 174
M. Kubat and
D. Flotzinger Pruning Multivariate Decision Trees by
Hyperplane Merging . . . . . . . . . . . 190
T. Van de Merckt and
C. Decaestecker Multiple-Knowledge Representations in
Concept Learning . . . . . . . . . . . . 200
G. Paliouras and
D. S. Bree The Effect of Numeric Features on the
Scalability of Inductive Learning
Programs . . . . . . . . . . . . . . . . 218
K. Sadohara and
M. Haraguchi Analogical Logic Program Synthesis from
Examples . . . . . . . . . . . . . . . . 232
B. Tausend A Guided Tour Through Hypothesis Spaces
in ILP . . . . . . . . . . . . . . . . . 245
H. Ade and
H. Bostroem JIGSAW: Puzzling Together RUTH and
SPECTRE . . . . . . . . . . . . . . . . 263
S. Bell and
P. Brockhausen Discovery of Constraints and Data
Dependencies in Relational Databases . . 267
C. Escazut and
P. Collard Learning Disjunctive Normal Forms in a
Dual Classifier System . . . . . . . . . 271
G. V. Conroy and
D. M. Dutton The Effects of Noise on Efficient
Incremental Induction . . . . . . . . . 275
M. J. Dovey Analysis of Rachmaninoff's Piano
Performances Using Inductive Logic
Programming . . . . . . . . . . . . . . 279
S. Dzeroski and
L. Todorovski and
T. Urbancic Handling Real Numbers in Inductive Logic
Programming: A Step Towards Better
Behavioural Clones . . . . . . . . . . . 283
F. Esposito and
D. Malerba and
G. Semeraro Simplifying Decision Trees by Pruning
and Grafting: New Results . . . . . . . 287
J. Fuernkranz A Tight Integration of Pruning and
Learning . . . . . . . . . . . . . . . . 291
I. Ivanova and
M. Kubat Decision-Tree Based Neural Network . . . 295
A. Jorge and
P. Brazdil Learning Recursion with Iterative
Bootstrap Induction . . . . . . . . . . 299
T. Kolbe and
C. Walther Patching Proofs for Reuse . . . . . . . 303
M. Kubat and
G. Widmer Adapting to Drift in Continuous Domains 307
A. Likas and
K. Blekas and
A. Stafylopatis Parallel Recombinative Reinforcement
Learning . . . . . . . . . . . . . . . . 311
M. Martin and
U. Cortes Learning to Solve Complex Tasks for
Reactive Systems . . . . . . . . . . . . 315
S. Mikami and
Y. Kakazu and
T. C. Fogarty Co-operative Reinforcement Learning by
Payoff Filters . . . . . . . . . . . . . 319
W. Mueller and
F. Wysotzki Automatic Synthesis of Control Programs
by Combination of Learning and Problem
Solving Methods . . . . . . . . . . . . 323
N. J. Nikolaev and
E. N. Smirnov Analytical Learning Guided by Empirical
Technology: An Approach to Integration 327
B. Pfahringer A New MDL Measure for Robust Rule
Induction . . . . . . . . . . . . . . . 331
M. Richeldi and
M. Rossotto Class-Driven Statistical Discretization
of Continuous Attributes . . . . . . . . 335
M. Sahami Generating Neural Networks Through the
Induction of Threshold Logic Unit Trees 339
M. Sahami Learning Classification Rules Using
Lattices . . . . . . . . . . . . . . . . 343
B. Schulmeister and
M. Bleich Hybrid Classification: Using
Axis-Parallel and Oblique Subdivisions
of the Attribute Space . . . . . . . . . 347
M. Sebag and
M. Schoenauer and
C. Ravise An Induction-based Control for Genetic
Algorithms . . . . . . . . . . . . . . . 351
E. Sommer FENDER: An Approach to Theory
Restructuring . . . . . . . . . . . . . 356
I. Weber and
B. Tausend and
I. Stahl Language Series Revisited: The
Complexity of Hypothesis Spaces in ILP 360
C. Wisotzki and
F. Wysotzki Prototype, Nearest Neighbor and Hybrid
Algorithms for Time Series
Classification . . . . . . . . . . . . . 364
J. H. Obbink Metrics and Analysis Session . . . . . . 1
I. Sommerville and
G. Kotonya and
S. Viller and
P. Sawyer Process Viewpoints . . . . . . . . . . . 2
A. Broeckers Process-Based Software Risk Assessment 9
C. Lott and
B. Hoisl and
H. D. Rombach The Use of Roles and Measurement to
Enact Project Plans in MVP-S . . . . . . 30
T. De Bunje and
A. Saunders Combining Process Models and Metrics in
Practice . . . . . . . . . . . . . . . . 49
N. H. Madhavji Application Experiments . . . . . . . . 54
L. B. Strader and
M. K. Aune and
J. A. Rodgers and
M. A. Beims Space Shuttle Onboard Software (OBS)
Development and Maintenance Process
Automation . . . . . . . . . . . . . . . 55
I. Robertson PM Case Studies: A Tentative
Characterisation . . . . . . . . . . . . 60
T. Totland and
R. Conradi A Survey and Comparison of Some Research
Areas Relevant to Software Process
Modeling . . . . . . . . . . . . . . . . 65
G. Perez and
K. El Emam and
N. H. Madhavji Customising Software Process Models . . 70
J. H. Obbink Process differentiation and integration:
the key to just-in-time in product
development . . . . . . . . . . . . . . 79
C. Montangero Open Issues in the Design of PM
Languages . . . . . . . . . . . . . . . 93
C. Montangero In Favour of a Coherent Process Coding
Language . . . . . . . . . . . . . . . . 94
R. Conradi and
C. Liu Process Modelling Languages: One or
Many? . . . . . . . . . . . . . . . . . 98
D. C. Carr and
A. Dandekar and
D. E. Perry Experiments in Process Interface
Descriptions, Visualizations and
Analyses . . . . . . . . . . . . . . . . 119
C. Tully The Software Process and the Modelling
of Complex Systems . . . . . . . . . . . 138
G. Chroust Interpretable Process Models for
Software Development and Workflow . . . 144
E. Di Nitto and
A. Fuggetta Integrating Process Technology and CSCW 154
G. Engels Distributed Modelling Session . . . . . 162
G. Graw and
V. Gruhn Process Management In-the-Many . . . . . 163
J. Estublier and
N. Belkhatir A Generalized Multi-View Approach . . . 179
B. Nuseibeh and
J. Kramer and
A. Finkelstein and
U. Leonhardt Decentralised Process Modelling . . . . 185
L. Groenewegen and
G. Engels Coordination by Behavioural Views and
Communication Patterns . . . . . . . . . 189
S. Brinkkemper and
F. Harmsen and
H. Oei Configuration of Situational Process
Models: an Information Systems
Engineering Perspective . . . . . . . . 193
V. Ambriola and
G. A. Cignoni and
C. Fernstroem Current Issues on Integration . . . . . 197
G. Valetto and
G. Kaiser Enveloping ``Persistent'' Tools for a
Process-Centered Environment . . . . . . 200
Y. Yang Coordination for Process Support is not
Enough! . . . . . . . . . . . . . . . . 205
R. M. Greenwood Coordination Theory and Software Process
Technology . . . . . . . . . . . . . . . 209
J.-O. Larsen and
P. Lago Transaction Technology for Process
Modelling . . . . . . . . . . . . . . . 214
C. Godart and
D. Dietrich Stepwise Specification of Interactive
Processes in COO . . . . . . . . . . . . 220
R. Conradi Session on Change and Meta-process . . . 240
J. Sa and
B. C. Warboys A Reflexive Formal Software Process
Model . . . . . . . . . . . . . . . . . 241
A. B. Kaba and
J.-C. Derniame Transients Change Processes in Process
Centered Environments . . . . . . . . . 255
Y. Matiyasevich On Some Mathematical Logic Contributions
to Rewriting Techniques: Lost Heritage 1
M. Marchiori Modularity of Completeness Revisited . . 2
J. Steinbach Automatic Termination Proofs with
Transformation Orderings . . . . . . . . 11
O. Lysne and
J. Piris A Termination Ordering for Higher Order
Rewrite Systems . . . . . . . . . . . . 26
H. Zantema and
A. Geser A Complete Characterization of
Termination O0p101 $\rightarrow$ 10rO0s 41
R. Nieuwenhuis On Narrowing, Refutation Proofs and
Constraints . . . . . . . . . . . . . . 56
M. Kurihara and
H. Kondo and
A. Ohuchi Completion for Multiple Reduction
Orderings . . . . . . . . . . . . . . . 71
K. Schmid and
R. Fettig Towards an Efficient Construction of
Test Sets for Deciding Ground
Reducibility . . . . . . . . . . . . . . 86
M. E. Stickel Term Rewriting in Contemporary
Resolution Theorem Proving . . . . . . . 101
A. Asperti o! = 1: Optimizing Optimal
lambda-Calculus Implementations . . . . 102
P. Graf Substitution Tree Indexing . . . . . . . 117
I. Alouini Concurrent Garbage Collection for
Concurrent Rewriting . . . . . . . . . . 132
J. F. T. Kamperman and
H. R. Walters Lazy Rewriting and Eager Machinery . . . 147
S. Anantharaman and
G. Richard A Rewrite Mechanism for Logic Programs
with Negation . . . . . . . . . . . . . 163
T. Suzuki and
A. Middeldorp and
T. Ida Level-Confluence of Conditional Rewrite
Systems with Extra Variables in
Right-Hand Sides . . . . . . . . . . . . 179
G. Senizergues A Polynomial Algorithm Testing Partial
Confluence of Basic Semi-Thue Systems 194
W. Gehrke Problems in Rewriting Applied to
Categorical Concepts by the Example of a
Computational Comonad . . . . . . . . . 210
A. Corradini and
F. Gadducci and
U. Montanari Relating Two Categorical Models of Term
Rewriting . . . . . . . . . . . . . . . 225
S. Kahrs Towards a Domain Theory for Termination
Proofs . . . . . . . . . . . . . . . . . 241
T. Nipkow Higher-Order Rewrite Systems . . . . . . 256
R. Kennaway and
J. W. Klop and
R. Sleep and
F.- J. De Vries Infinitary Lambda Calculi and Boehm
Models . . . . . . . . . . . . . . . . . 257
J. Kuper Proving the Genericity Lemma by Leftmost
Reduction is Simple . . . . . . . . . . 271
S. Van Bakel and
M. Fernandez (Head-)Normalization of Typeable Rewrite
Systems . . . . . . . . . . . . . . . . 279
P. Lescanne and
J. Rouyer-Degli Explicit Substitutions with de Bruijn's
Levels . . . . . . . . . . . . . . . . . 294
R. J. Boulton A Restricted Form of Higher-Order
Rewriting Applied to an HDL Semantics 309
H. R. Walters and
H. Zantema Rewrite Systems for Integer Arithmetic 324
H. Abdulrab and
M. Maksimenko General Solution of Systems of Linear
Diophantine Equations and Inequations 339
F. Baader and
K. U. Schulz Combination of Constraint Solving
Techniques: An Algebraic Point of View 352
F. Otto and
P. Narendran and
D. J. Dougherty Some Independence Results for Equational
Unification . . . . . . . . . . . . . . 367
J. Burghardt Regular Substitution Sets: A Means of
Controlling E-Unification . . . . . . . 382
J. Avenhaus and
J. Denzinger and
M. Fuchs DISCOUNT: A System for Distributed
Equational Deduction . . . . . . . . . . 397
F. Bellegarde ASTRE: Towards a Fully Automated Program
Transformation System . . . . . . . . . 403
R. Buendgen and
M. Goebel and
W. Kuechlin Parallel ReDux $\rightarrow$ PaReDuX . . 408
T. Chen and
S. Anantharaman STORM: A Many-to-One
Associative-Commutative Matcher . . . . 414
J. Chazarain and
S. Muller LEMMA: a System for Automated Synthesis
of Recursive Programs in Equational
Theories . . . . . . . . . . . . . . . . 420
J. Giesl Generating Polynomial Orderings for
Termination Proofs . . . . . . . . . . . 426
M. R. Holmes Disguising Recursively Chained Rewrite
Rules as Equational Theorems, as
Implemented in the Prover EFTTP Mark 2 432
H. Kirchner and
P.-E. Moreau Prototyping Completion with Constraints
Using Computational Systems . . . . . . 438
A. Paccanaro Guiding Term Reduction Through A Neural
Network: Some Preliminary Results for
the Group Theory . . . . . . . . . . . . 444
M. E. Stickel and
H. Zhang Studying Quasigroup Identities by
Rewriting Techniques: Problems and First
Results . . . . . . . . . . . . . . . . 450
N. Dershowitz and
J.-P. Jouannaud and
J. W. Klop Problems in Rewriting III . . . . . . . 457
H. Ehrig and
B. Mahr A Decade of TAPSOFT: Aspects of Progress
and Prospects in Theory and Practice of
Software Development . . . . . . . . . . 3
C. Floyd Theory and Practice of Software
Development --- Stages in a Debate . . . 25
D. Kozen Rational Spaces and Set Constraints . . 42
J. A. Goguen and
Luqi Formal Methods and Social Context in
Software Development . . . . . . . . . . 62
M.-C Gaudel Testing Can Be Formal, Too . . . . . . . 82
V. Pratt Anatomy of the Pentium Bug . . . . . . . 97--107
V. Pratt Rational Mechanics and Natural
Mathematics . . . . . . . . . . . . . . 108
A. Potthoff First-Order Logic on Finite Trees . . . 125
K. Salomaa Decidability of Equivalence for
Deterministic Synchronized Tree Automata 140
Y. Andre and
F. Bossut The Equivalence Problem for
Letter-to-Letter Bottom-up Tree
Transducers in Solvable . . . . . . . . 155
D. Sangiorgi I: A Symmetric Calculus based on
Internal Mobility . . . . . . . . . . . 172
H. Lin Complete Inference Systems for Weak
Bisimulation Equivalences in the
$\pi$-Calculus . . . . . . . . . . . . . 187--201
R. M. Amadio and
M. Dam Reasoning about Higher-Order Processes 202
X. Liu and
D. Walker Confluence of Processes and Systems of
Objects . . . . . . . . . . . . . . . . 217
B. Von Karger An Algebraic Approach to Temporal Logic 232
M. Hofmann and
D. Sannella On Behavioural Abstraction and
Behavioural Satisfaction in Higher-Order
Logic . . . . . . . . . . . . . . . . . 247
B. Jonsson and
Y.-K. Tsay Assumption/Guarantee Specifications in
Linear-Time Temporal Logic . . . . . . . 262
V. Selivanov Fine Hierarchy of Regular
omega-Languages . . . . . . . . . . . . 277
T. Wilke and
H. Yoo Computing the Wadge Degree, the
Lifschitz Degree, and the Rabin Index of
a Regular Language of Infinite Words in
Polynomial Time . . . . . . . . . . . . 288
P.-A. Wacrenier Semi-Trace Morphisms and Rational
Transductions . . . . . . . . . . . . . 303
S. L. Bloom and
Z. Esik Nonfinite Axiomatizability of Shuffle
Inequalities . . . . . . . . . . . . . . 318
V. Sassone On the Category of Petri Net
Computations . . . . . . . . . . . . . . 334
P. Jancar High Undecidability of Weak Bisimilarity
for Petri Nets . . . . . . . . . . . . . 349
E. Badouel and
L. Bernardinello and
P. Darondeau Polynomial Algorithms for the Synthesis
of Bounded Nets . . . . . . . . . . . . 364
M. R. K. Krishna Rao Semi-Completeness of Hierarchical and
Super-Hierarchical Combinations of Term
Rewriting Systems . . . . . . . . . . . 379
S. Okui and
A. Middeldorp and
T. Ida Lazy Narrowing: Strong Completeness and
Eager Variable Elimination . . . . . . . 394
A. Wagner On the Expressive Power of Algebraic
Graph Grammars with Application
Conditions . . . . . . . . . . . . . . . 409
M. Walicki and
S. Meldal Generated Models and the omega-Rule: The
Nondeterministic Case . . . . . . . . . 424
L. Aceto and
A. Ingolfsdottir CPO Models for a Class of GSOS Languages 439
A. Peron Statecharts, Transition Structures and
Transformations . . . . . . . . . . . . 454
M. Abadi and
L. Cardelli An Imperative Object Calculus . . . . . 471
I. Karali and
C. Halatsis A Refinement of Import/Export
Declarations in Modular Logic
Programming and Its Semantics . . . . . 486
K. L. Solberg Strictness and Totality Analysis with
Conjunction . . . . . . . . . . . . . . 501
F. Tip Generic Techniques for Source-Level
Debugging and Dynamic Program Slicing 516
Y. Bertot and
R. Fraer Reasoning with Executable Specifications 531
R. B. Kieburtz and
F. Bellegarde and
J. Bell and
J. Hook Calculating Software Generators from
Solution Specifications . . . . . . . . 546
J. Palsberg Comparing Flow-Based Binding-Time
Analyses . . . . . . . . . . . . . . . . 561
P. Oerbaek Can you Trust your Data? . . . . . . . . 575
H. R. Nielson and
F. Nielson Static and Dynamic Processor Allocation
for Higher-Order Concurrent Languages 590
A. Geser Mechanized Inductive Proof of Properties
of a Simple Code Optimizer . . . . . . . 605
H. R. Andersen and
M. Mendler Describing a Signal Analyzer in the
Process Algebra PMC . . . . . . . . . . 620
S. Kleuker A Gentle Introduction to Specification
Engineering Using a Case Study in
Telecommunications . . . . . . . . . . . 636
M. Sagiv and
T. Reps and
S. Horwitz Precise Interprocedural Dataflow
Analysis with Applications to Constant
Propagation . . . . . . . . . . . . . . 651
S. Blazy and
P. Facon Formal Specification and Prototyping of
a Program Specializer . . . . . . . . . 666
D. Sands Proving the Correctness of
Recursion-Based Automatic Program
Transformations . . . . . . . . . . . . 681
K. Lano Reactive System Specification and
Refinement . . . . . . . . . . . . . . . 696
C. Bareau and
B. Caillaud and
C. Jard and
R. Thoraval Measuring Concurrency of Regular
Distributed Computations . . . . . . . . 711
L. Moreau Non-Speculative and Upward Invocation of
Continuations in a Parallel Language . . 726
D. Bert and
C. Oriat A Model Inference System for Generic
Specification with Application to Code
Sharing . . . . . . . . . . . . . . . . 741
H. Baumeister Relations as Abstract Datatypes: An
Institution to Specify Relations Between
Algebras . . . . . . . . . . . . . . . . 756
I. Schieferdecker Performance-Oriented Formal
Specifications --- the LotoTis Approach 772
Anonymous Signal: A Formal Design Environment for
Real-Time Systems . . . . . . . . . . . 789--790
B. Steffen and
T. Margaria and
A. Classen The META-Frame: An Environment for
Flexible Tool Management . . . . . . . . 791
Z. Manna and
N. Bjoerner and
A. Browne and
E. Chang STeP: The Stanford Temporal Prover . . . 793
F. Andersen and
U. Binau and
K. Nyblad and
K. D. Petersen The HOL-UNITY Verification System . . . 795
A. J. Sampaio and
A. M. Haeberer and
C. T. Prates and
C. D. Ururahy PLATO: A Tool to Assist Programming as
Term Rewriting and Theorem Proving . . . 797
B. Marre LOFT: A Tool for Assisting Selection of
Test Data Sets from Algebraic
Specifications . . . . . . . . . . . . . 799
E. Astesiano and
G. Reggio and
F. Morando The SMoLCS ToolSet . . . . . . . . . . . 801
M. G. J. Van den Brand and
E. Visser The ASF+SDF Meta-Environment:
Documentation Tools for Free! . . . . . 803
B. Core The B-Toolkit Demonstration . . . . . . 805--806
L. C. C. Guedes and
E. H. Haeusler and
J. L. Rangel Object Oriented Semantics Directed
Compiler Generation: A Prototype . . . . 807
N. R. Adam and
B. S. Fordham and
Y. Yesha Some Key Issues in Database Systems in a
Digital Library Setting . . . . . . . . 9
N. R. Adam and
M. Halem and
S. Naqvi Promising Research Direction in Digital
Libraries . . . . . . . . . . . . . . . 21
M. Lesk Which Way to the Future? The Control of
Scholarly Publication . . . . . . . . . 33
J. Slonim and
L. BaronLaurie Networked Information Systems As Digital
Libraries . . . . . . . . . . . . . . . 51
A. Myka and
U. Guentzer Automatic Hypertext Conversion of Paper
Document Collections . . . . . . . . . . 65
K. Boehm and
K. Aberer and
E. Neuhold Administering Structured Documents in
Digital Libraries . . . . . . . . . . . 91
S. N. Srihari and
S. W. Lam and
J. J. Hull Document Recognition for a Digital
Library . . . . . . . . . . . . . . . . 119
D. Rus and
K. Summers Using Non-Textual Cues for Electronic
Document Browsing . . . . . . . . . . . 129
R. P. Futrelle and
X. Zhang and
Y. Sekiya Corpus Linguistics for Establishing the
Natural Language Content of Digital
Library Documents . . . . . . . . . . . 165
I. H. Witten and
A. Moffat and
T. C. Bell Compression and Full-Text Indexing for
Digital Libraries . . . . . . . . . . . 181
A. Sloane The Digital Library and The Home-based
User . . . . . . . . . . . . . . . . . . 203
I. Smotroff and
L. Hirschman and
S. Bayer Integrating Natural Language With Large
Dataspace Visualization . . . . . . . . 209
U. M. Fayyad and
P. Smyth The Automated Analysis, Cataloging and
Searching of Digital Image Libraries: A
Machine Learning Approach . . . . . . . 225
H. J. Zhang and
S. W. Smoliar and
Jian Hua Wu and
Chien Yong Low A Video Database System for Digital
Libraries . . . . . . . . . . . . . . . 253
L. E. Stackpole and
R. D. Atkinson and
J. Yokley Developing The Scientific-Technical
Digital Library at a National Laboratory 265
B. Bhargava and
M. Annamalai and
S. Goel and
S. Li DL-Raid: An Environment for Supporting
Digital Library Services . . . . . . . . 281
Kaoru Kurosawa and
Koji Okada and
Shigeo Tsujii Low exponent attack against elliptic
curve RSA . . . . . . . . . . . . . . . 376--383
T. Beth Multifeature security through
homomorphic encryption . . . . . . . . . 1
Y. Desmedt and
G. Di Crescenzo and
M. Burmester Multiplicative non-Abelian sharing
schemes and their application to
threshold cryptography . . . . . . . . . 21--32
K. Okada and
K. Kurosawa Lower bound on the size of shares of
nonperfect secret sharing schemes . . . 33
W.-A. Jackson and
K. M. Martin and
C. M. O'Keefe On sharing many secrets . . . . . . . . 42
K. Kurosawa and
K. Okada Combinatorial interpretation of secret
sharing schemes . . . . . . . . . . . . 55
M. J. Mihaljevic A correlation attack on the binary
sequence generators with time-varying
output function . . . . . . . . . . . . 67
A. Fuster-Sabater and
P. Caballero-Gil On the linear complexity of nonlinearly
filtered PN-sequences . . . . . . . . . 80
J. D. Golic Intrinsic statistical weakness of
keystream generators . . . . . . . . . . 91
S. Chee and
S. Lee and
K. Kim Semi-bent functions . . . . . . . . . . 107
J. Seberry and
X.-M. Zhang and
Y. Zheng Structures of cryptographic functions
with strong avalanche characteristics 119
C. A. Meadows Formal verification of cryptographic
protocols: a survey . . . . . . . . . . 133
Y. Yacobi Efficient electronic money . . . . . . . 153
V. Niemi and
A. Renvall How to prevent buying of votes in
computer elections . . . . . . . . . . . 164
C. Boyd and
W. Mao Design and analysis of key exchange
protocols via secure channel
identification . . . . . . . . . . . . . 171
A. De Santis and
T. Okamoto and
G. Persiano Zero-knowledge proofs of computational
power in the shared string model . . . . 182
H. Imai Information security aspects of spread
spectrum systems . . . . . . . . . . . . 193
R. Safavi-Naini and
L. Tombak Combinatorial structure of A-codes with
$r$-fold security . . . . . . . . . . . 211
P. Horster and
M. Michels and
H. Petersen Meta-message recovery and meta-blind
signature schemes based on the discrete
logarithm problem and their applications 224
M. Alabbadi and
S. B. Wicker A digital signature scheme based on
linear error-correcting block codes . . 238
P. Beguin and
J.-J. Quisquater Secure acceleration of DSS signatures
using insecure server . . . . . . . . . 249
D. Atkins and
M. Graff and
A. K. Lenstra and
P. C. Leyland The magic words are squeamish ossifrage 263
E. Biham Cryptanalysis of multiple modes of
operation . . . . . . . . . . . . . . . 278
T. Tokita and
T. Sorimachi and
M. Matsui Linear cryptanalysis of LOKI and s02DES 293
J. Patarin Collisions and inversions for Damgaard's
whole hash function . . . . . . . . . . 307--321
C. Charnes and
J. Pieprzyk Attacking the SL2 hashing scheme . . . . 322
K. Kurosawa and
K. Okada and
K. Sakano Security of the center in key
distribution schemes . . . . . . . . . . 333
T. Matsumoto Incidence Structures for Key Sharing . . 342
P. Smith and
C. Skinner A public-key cryptosystem and a digital
signature system based on the Lucas
function analogue to discrete logarithms 357
M. Abe and
H. Morita Higher radix nonrestoring modular
multiplication algorithm and public-key
LSI architecture with limited hardware
resources . . . . . . . . . . . . . . . 365
L. O'Connor and
J. D. Golic A unified Markov approach to
differential and linear cryptanalysis 387
E. Biham and
A. Biryukov How to strengthen DES using existing
hardware . . . . . . . . . . . . . . . . 398
X. Chang and
Z.-D. Dai and
G. Gong Some cryptographic properties of
exponential functions . . . . . . . . . 415
D. Beaver Factoring: the DNA solution . . . . . . 419
J. Stern Can one design a signature scheme based
on error-correcting codes? . . . . . . . 424
G. Carter and
A. Clark and
L. Nielsen DESV-1: a variation of the data
encryption standard (DES) . . . . . . . 427
W. Bibel and
S. Bruening and
U. Egly and
D. Korn Issues in Theorem Proving Based on the
Connection Method . . . . . . . . . . . 1
E. De Kogel Rigid E-Unification Simplified . . . . . 17
S. Klingenbeck Generating Finite Counter Examples with
Semantic Tableaux . . . . . . . . . . . 31
I. Neumann Semantic Tableaus for Inheritance Nets 47
S. Demri Using Connection Method in Modal Logics:
Some Advantages . . . . . . . . . . . . 63
G. Governatori Labelled Tableaux for Multi-Modal Logics 79
P. Miglioli and
U. Moscato and
M. Ornaghi Refutation systems for propositional
modal logics . . . . . . . . . . . . . . 95
S. Schmitt and
C. Kreitz On Transforming Intuitionistic Matrix
Proofs into Standard-Sequent Proofs . . 106
J. Otten and
C. Kreitz A Connection Based Proof Method for
Intuitionistic Logic . . . . . . . . . . 122
J. Underwood Tableau for Intuitionistic Predicate
Logic as Metatheory . . . . . . . . . . 138
R. Caferra and
N. Peltier Model Building and Interactive Theory
Discovery . . . . . . . . . . . . . . . 154
K. Mayr Link Deletion in Model Elimination . . . 169
G. Neugebauer and
U. Petermann Specifications of Inference Rules and
Their Automatic Translation . . . . . . 185
P. Baumgartner and
F. Stolzenburg Constraint Model Elimination and a
PTTP-Implementation . . . . . . . . . . 201
M. Baaz and
C. G. Fermueller Non-elementary Speedups between
Different Versions of Tableaux . . . . . 217
J. Komara and
P. J. Voda Syntactic Reduction of Predicate
Tableaux to Propositional Tableaux . . . 231
J. Hudelmaier and
P. Schroeder-Heister Classical Lambek Logic . . . . . . . . . 247
P. De Groote Linear Logic with Isabelle: Pruning the
Proof Search Tree . . . . . . . . . . . 263
R. K. Meyer and
M. A. McRobbie and
N. D. Belnap Linear Analytic Tableaux . . . . . . . . 278
M. Kohlhase Higher-Order Tableaux . . . . . . . . . 294
A. Heuerding and
G. Jaeger and
S. Schwendimann and
M. Seyfried Propositional Logics on the Computer . . 310
J. Pitt MacKE: Yet Another Proof Assistant and
Automated Pedagogic Tool . . . . . . . . 324
J. Schumann Using the Theorem Prover SETHEO for
Verifying the Development of a
Communication Protocol in FOCUS . . . . 338
P. P. Delsanto and
S. Biancotto and
M. Scalerandi and
M. Rebaudengo Exploiting massively parallel
architectures for the solution of
diffusion and propagation problems . . . 1
B. Bacci and
M. Danelutto and
S. Pelagatti and
M. Vanneschi Summarising an experiment in parallel
programming language design . . . . . . 7
P. Brezany and
T. A. Mueck and
E. Schikuta Language, compiler and parallel database
support for I/O intensive applications 14
A. Back and
S. Turner Using optimistic execution techniques as
a parallelisation tool for general
purpose computing . . . . . . . . . . . 21
H. Guenther and
F. Brockners and
T. Bemmerl System management tools for SHPC systems
--- partition management . . . . . . . . 27
W. Mao Multi-operation multi-machine scheduling 33
F. Corno and
P. Prinetto and
M. Rebaudeng and
M. Sonza Reorda A PVM tool for automatic test generation
on parallel and distributed systems . . 39--44
D. Tolmie Gigabit LAN issues --- HIPPI, fibre
channel, or ATM? . . . . . . . . . . . . 45
Anonymous The European meta computing utilizing
integrated broadband communications
(E=MC02) project . . . . . . . . . . . . 54--59
P. Manzoni Obtaining high performance data
transmission in the Internet . . . . . . 60
A. Clematis and
B. Falcidieno and
D. Fernandez Prieto and
M. Spagnuolo Parallel processing on heterogeneous
networks for GIS applications . . . . . 67
V. Srinivasan and
A. Ghanwani and
E. Gelenbe Block loss reduction in ATM networks . . 73
E. Pozzetti and
G. Serazzi and
V. Vetland and
J. Rolia Characterizing the resource demands of
TCP/IP . . . . . . . . . . . . . . . . . 79
V. Strumpen and
T. L. Casavant Implementing communication latency
hiding in high-latency computer networks 86
E. Smirni and
E. Rosti Modeling speedup of SPMD applications on
the Intel Paragon . . . . . . . . . . . 94
M. Calzarossa and
A. Merlo and
D. Tessera and
G. Haring A hierarchical approach to workload
characterization for parallel systems 102
P. Marenzoni Performance analysis of Cray T3D and
Connection Machine CM-5: a comparison 110
K. Boryczko and
J. Kitowski and
J. Moscinski and
A. Leszczynski Numerically intensive computing as a
benchmark for parallel computer
architectures . . . . . . . . . . . . . 118
M. Piccardi and
T. Salmon Cinotti and
S. Zuffi A preliminary performance evaluation of
the quadrics architecture with the DARPA
image understanding benchmark . . . . . 124
A. Brachini and
A. Marconi and
M. R. Nazzarelli and
S. Sabina An integrated approach to performance
and testing analysis for parallel
systems . . . . . . . . . . . . . . . . 130
M. R. Roest and
E. A. H. Vollebregt and
E. Ten Cate and
H.-X. Lin Structured parallelisation of the flow
simulation package TRIWAQ . . . . . . . 136
C. R. Mechoso High-performance computing and
networking for climate research . . . . 142
A. Sunderland Parallel solution strategies for
triangular systems arising from oil
reservoir simulations . . . . . . . . . 148
G. M. Van Waveren and
I. M. Godfrey Parallelisation of surface-related
multiple elimination . . . . . . . . . . 156
B. Radi and
J.-F. Estrade Preliminary results on the
parallelization of ARPEGE/IFS with the
implementation of the full Meteo-France
physics . . . . . . . . . . . . . . . . 164
P. M. Meijer and
S. Poedts and
J. P. Goedbloed and
A. Jakoby A parallel semi-implicit method for $3$D
nonlinear magnetohydrodynamics . . . . . 170
F. Andre and
M. Le Fur and
Y. Maheo and
J.-L. Pazat The Pandore data-parallel compiler and
its portable runtime . . . . . . . . . . 176
M. Dion and
Y. Robert Mapping affine loop nests: new results 184
S. S. Anand and
D. A. Bell and
J. G. Hughes and
C. M. Shapcott Evidential techniques in parallel
database mining . . . . . . . . . . . . 190
F. Stamatelopoulos and
G. Manis and
G. Papakonstantinou A portable platform for parallel
databases . . . . . . . . . . . . . . . 196
K. M. Decker and
J. J. Dvorak and
R. M. Rehmann and
R. Ruehl Satisfying application user
requirements: A next-generation tool
environment for parallel systems . . . . 206
E. De Doncker and
A. Gupta and
P. Ealy and
K. Rathbun Development of a parallel and
distributed integration package --- PART
I . . . . . . . . . . . . . . . . . . . 229
S. Grabner and
D. Kranzlmueller and
J. Volkert and
J. Kepler Debugging parallel programs using ATEMPT 235
V. A. Saletore and
T. F. Neff Message-driven parallel computations on
the MEIKO CS-2 parallel supercomputer 241
S. Veronese and
H. Othmer A computational study of wave
propagation in a model for anisotropic
cardiac ventricular tissue . . . . . . . 248
F. Fatin and
R. J. Paul Programming parallel simulations . . . . 254
P. Carboni and
M. Fruscione and
F. Guindani and
S. Punzi XHIVE: interactive parallel application
development using the PCF methodology 257
V. Loechner and
C. Mongenet A toolbox for affine recurrence
equations parallelization . . . . . . . 263
D. Anguita and
F. Passaggio and
R. Zunino Learning in large neural networks . . . 269
J. Mattes and
D. Trystram and
J. Demongeot Neural networks for parallel contrast
enhancement in medical images . . . . . 275
H. Kihl and
J. P. Urban and
J. Gresser and
S. Hagmann Neural network based hand-eye
positioning with a Transputer-based
system . . . . . . . . . . . . . . . . . 281
F. Willien and
E. Piault and
F.-X. Roux Parallel preconditioners on MIMD
computers applied to petroleum industry 287
M. Hortmann and
M. Pophal and
M. Schaefer and
K. Wechsler Computation of heat transfer with
methods of high performance scientific
computing . . . . . . . . . . . . . . . 293
A. Marsh and
D. I. Kaklamani Solution of large electromagnetic
problems made feasible by HPC-Reducing
execution times from months to hours . . 300
A. Stoessel An efficient tool for the study of $3$D
turbulent combustion phenomena on MPP
computers . . . . . . . . . . . . . . . 306
F. Seyl and
R. Schinke and
O. Haan A parallel code for simulating the
ionization of hydrogen with short
intense laser pulses . . . . . . . . . . 312
G. Erbacci and
R. Ansaloni and
B. Montagnini and
R. Scardovelli Porting a coarse-mesh neutron diffusion
code on a Cray T3D massively parallel
computer . . . . . . . . . . . . . . . . 318
M. Bubak and
J. Moschinski and
M. Pogoda and
R. Slota Load balancing for lattice gas and
molecular dynamics simulations on
networked workstations . . . . . . . . . 329
A. D. Pimentel and
J. Van Brummen and
T. Papathanassiadis and
P. M. A. Sloot Mermaid: modelling and evaluation
research in MIMD architecture design . . 335
A. Emmen A framework for analysis of European
HPCN centres . . . . . . . . . . . . . . 341
H. Stueben The Cray T3D as a production machine at
Konrad-Zuse-Zentrum Berlin . . . . . . . 347
J. Kallrath and
A. Schreieck Discrete optimisation and real-world
problems . . . . . . . . . . . . . . . . 351
G. C. Fox and
K. A. Hawick and
M. Podgorny and
K. Mills The electronic InfoMall --- HPCN
enabling industry and commerce . . . . . 360
D. Conforti and
L. De Luca Optimal management of electric power
systems via high performance computing 366
J. Vounckx and
G. Deconinck and
R. Lauwereins Reconfiguration of massively parallel
systems . . . . . . . . . . . . . . . . 372
D. Thevenin and
F. Behrendt and
U. Maas and
J. Warnatz Simulation of reacting flows with a
portable parallel code using dynamic
load balancing . . . . . . . . . . . . . 378
A. Stathopoulos and
A. Ynnerman Dynamic load balancing of atomic
structure programs on a PVM cluster . . 384--391
R. Van Driessche and
D. Roose Dynamic load balancing with a spectral
bisection algorithm for the constrained
graph partitioning problem . . . . . . . 392
W. Joosen and
S. Bijnens and
B. Robben and
J. Van Oeyen Flexible load balancing software for
parallel applications in a time-sharing
environment . . . . . . . . . . . . . . 398
W. Becker Dynamic balancing complex workload in
workstation networks --- challenge,
concepts and experience . . . . . . . . 407
K. A. Hawick and
G. C. Fox Exploiting high performance Fortran for
computational fluid dynamics . . . . . . 413--419
P. Kruizinga and
N. Petkov Person identification based on
multiscale matching of cortical images 420
M. Fruscione and
P. Stofella and
H.-J. Denuell PARCS: a scalable parallel multimedia
server for fast archiving and
communication of medical images . . . . 428
J. G. Carter and
D. Cokljat and
R. J. Blake Computation of turbulent coaxial jet
flow on parallel systems . . . . . . . . 434
J. G. E. M. Fraaije and
O. A. Evers Implementation of dynamic density
functional theory for self-organizing
complex fluids on parallel computers . . 441
M. E. S. Vogels and
H. Van der Ven and
G. J. Hameetman The need for super computers in
aerospace research and industry . . . . 448
Z. W. Song and
D. Roose and
C. S. Yu and
J. Berlamont Parallelisation of a hydrodynamic model
for the Northwest European continental
shelf . . . . . . . . . . . . . . . . . 455
M. Bernaschi and
G. Richelli PVMe: an enhanced implementation of PVM
for the IBM 9076 SP2 . . . . . . . . . . 461--471
N. Topham and
K. McDougall Performance of the decoupled ACRI-1
architecture: the perfect club . . . . . 472
B. Tiemann and
H. V. Muehll and
I. Hasler and
E. Hiltebrand Architecture and implementation of a
single-board desktop supercomputer . . . 481
R. Ansaloni and
E. Rossi and
S. Evangelisti Porting and optimizing a
quantum-chemistry FCI algorithm on the
Cray T3D . . . . . . . . . . . . . . . . 488
K. Boehm High performance computing for one of
the grand challenges . . . . . . . . . . 496
H. Ellingworth and
S. R. Eddy RNA structure alignment on a massively
parallel computer . . . . . . . . . . . 502
W. Dzwinel and
J. Blasiak Pattern recognition via molecular
dynamics on vector supercomputers and
networked workstations . . . . . . . . . 508
T. Schnekenburger and
H. Spruth Parallelization of an iterative
placement algorithm using ParMod-C . . . 514
M. Vajtersic High-Performance VLSI Model Elliptic
Solvers . . . . . . . . . . . . . . . . 520
P. Brezany and
K. Sanjari and
O. Cheron and
E. Van Konijnenburg Processing irregular codes containing
arrays with multi-dimensional
distributions by the PREPARE HPF
compiler . . . . . . . . . . . . . . . . 526
O. Kremien Scalability in distributed systems,
parallel systems and supercomputers . . 532
K. Wolf and
A. Holtz and
M. Lang High performance C++ . . . . . . . . . . 542
A. Dunlop and
E. Hernandez and
O. Naim and
T. Hey A toolkit for optimising parallel
performance . . . . . . . . . . . . . . 548
R. Baraglia and
D. Laforenza and
A. Lagana Parallelization strategies for a reduced
dimensionality calculation of quantum
reactive scattering cross sections on a
hypercube machine . . . . . . . . . . . 554
M. Hausner and
M. Burrows and
C. A. Thekkath Efficient implementation of PVM on the
AN2 ATM network . . . . . . . . . . . . 562--569
G. Aloisio and
M. A. Bochicchio The use of PVM with workstation clusters
for distributed SAR data processing . . 570--581
A. Alves and
L. Silva and
J. Carreira and
J. G. Silva WPVM: parallel computing for the people 582
E. Appiani and
M. Bologna and
M. Corvi and
M. Iardella PVM in a shared-memory industrial
multiprocessor . . . . . . . . . . . . . 588--593
A. Mitschele-Thiel The DSPL Project --- An overview . . . . 594
C. Calvin and
L. Colombet and
P. Michallon Overlapping techniques of communications 600
A. Blaszczyk and
Z. Andjelic and
P. Levin and
A. Ustundag Parallel computation of electric fields
in a heterogeneous workstation cluster 606
X. Huang and
C. Steigner A model-driven tool for performance
measurement and analysis of parallel
programs . . . . . . . . . . . . . . . . 612
G. Schulz-Ziemer and
A. Geiger HPF on Intel Paragon and CRAFT on CRAY
T3D: basic performance measurements and
experiments with a block-sparse
CG-algorithm . . . . . . . . . . . . . . 618
H. D. Simon and
E. Strohmaier Statistical analysis of NAS parallel
benchmarks and LINPACK results . . . . . 626
B. J. Overeinder and
P. M. A. Sloot Parallel performance evaluation through
critical path analysis . . . . . . . . . 634
G. Bachler and
R. Greimel and
H. Schiffermuller and
M. Bernaschi Benchmarking the parallel FIRE code on
IBM SP1-2 scalable parallel platforms 640
M. D. Cozzi High performance disk systems for
workstation environments . . . . . . . . 646
B. Boulter Performance evaluation of HPF for
scientific computing . . . . . . . . . . 652
P. Vezolle Parallel computational electromagnetics
on the CRAY T3D using boundary element
method . . . . . . . . . . . . . . . . . 658
S. Taraglio and
C. R. Casaccia and
F. Massaieli An efficient implementation of a
backpropagation learning algorithm on a
Quadrics parallel supercomputer . . . . 664
T. Hakulinen and
F. Rademakers Experience of running PIAF on the CS-2
at CERN . . . . . . . . . . . . . . . . 672
W. Alda and
W. Dzwinel and
J. Kitowski and
J. Moscinski Convection driven by sedimentation using
molecular dynamics approach . . . . . . 678
R. Hauser and
I. Legrand A real-time application for the CS-2 . . 684
R. Asenjo and
E. L. Zapata Sparse LU factorization on the Cray T3D 690
T. Rauber and
G. Ruenger Parallel solution of a
Schrödinger--Poisson system . . . . . . . 697
K. Birken and
C. Helf A dynamic data model for parallel
adaptive PDE solvers . . . . . . . . . . 703
S. Caselli and
G. Conte and
P. Marenzoni Analysis and solution of generalized
stochastic Petri nets: a data parallel
CM-5 approach . . . . . . . . . . . . . 709
R. Pavani and
U. De Ros A distributed divide-and-conquer
approach to the parallel tridiagonal
symmetric eigenvalue problem . . . . . . 717
M. Van Gijzen Parallel iterative solution methods for
linear finite element computations on
the Cray T3D . . . . . . . . . . . . . . 723
G. Bruno and
A. D'Acierno The multi-algorithmic approach to
optimisation problems . . . . . . . . . 729
T. Rauber and
G. Ruenger and
R. Wilhelm An application specific parallel
programming paradigm . . . . . . . . . . 735
C. Ronchi and
R. Iacono and
P. S. Paolucci Finite difference approximation to the
shallow water equations on a
quasi-uniform spherical grid . . . . . . 741
A. Corana and
C. Rolando A parallel approach to compute the
Kolmogorov entropy from a time series 748
E. Apolloni and
M. Talamo ITU-Land ESPRIT project: a parallel DSS
for environmental impact assessment . . 754
J.-M. Letteron and
J. Bancroft HOOD and parallelism in the Softpar
project . . . . . . . . . . . . . . . . 762
J. W. L. J. Mager and
A. Ten Dam HAMLET: HPCN technology for real-time,
embedded applications . . . . . . . . . 772
M. Roettger and
U.-P. Schroeder and
J. Simon Implementation of a parallel and
distributed mapping kernel for PARIX . . 781
J.-J. Codani and
E. Glemet Parallelism in LASSAP, a LArge Scale
Sequence compArisons Package . . . . . . 787
M. Gerndt and
R. Berrendorf Parallelizing applications with
SVM-Fortran . . . . . . . . . . . . . . 793
M. Patron and
T. Porcher and
F. Robin An evaluation of the Cray T3D at
CEA/CEL-V . . . . . . . . . . . . . . . 799
H. Mierendorff and
K. Stueben and
C.-A. Thole and
O. Thomas Europort-1: Porting industrial codes to
parallel architectures . . . . . . . . . 806
D. Robinson and
J. Demirdzic and
R. Krishna Parallel STAR promises bright future . . 813
G. Degrez and
L. Giraud and
M. Loriot and
A. Micelotta Parallel industrial CFD calculations
with N3S . . . . . . . . . . . . . . . . 820
F. Debae and
Y. Jiang and
J. M. Marchal and
P. Henriksen A parallel version of Polyflow . . . . . 826
C. S. Ierotheou and
C. R. Forsey and
U. Block Parallelisation of a novel $3$D hybrid
structured/unstructured grid CFD
production code . . . . . . . . . . . . 831
V. Van Kemenade and
M. J. Dayde and
J. B. Vos Parallel Navier-Stokes multi-block code
to solve industrial aerodynamic design
problems on high performance computers 837
M. Ast and
H. Manz and
J. Labarta and
A. Perez A general approach for an automatic
parallelization applied to the finite
element code PERMAS . . . . . . . . . . 844
S. Mayer and
P. Poschmann and
S. Shamsian and
L. Komzsik Parallel MSC/NASTRAN on distributed
memory computers . . . . . . . . . . . . 850
G. Lonsdale and
B. Elsner and
J. Clinckemaillie and
S. Vlachoutsis Experiences with industrial
crashworthiness simulation using the
portable, message-passing PAM-CRASH code 856
J.-P. Delsemme SAMMI: S.A.M.C.E.F. migration onto
parallel platforms . . . . . . . . . . . 863
A. Colbrook and
J. A. Elliott and
M. Lemke and
F. Wray EUROPORT2 --- ESPRIT European Porting
Action No 2 . . . . . . . . . . . . . . 869
A. Frieze and
M. Jerrum Improved Approximation Algorithms for
MAX $k$-CUT and MAX BISECTION . . . . . 1
G. Even and
J. Naor and
B. Schieber and
M. Sudan Approximating Minimum Feedback Sets and
Multi-Cuts in Directed Graphs . . . . . 14
D. Bertsimas and
C. Teo and
R. Vohra Nonlinear Formulations and Improved
Randomized Approximation Algorithms for
Multicut Problems . . . . . . . . . . . 29
R. D. Carr Separating Clique Tree and Bipartition
Inequalities in Polynomial Time . . . . 40
R. Mueller and
A. S. Schulz The Interval Order Polytope of a Digraph 50
E. Cheng and
W. H. Cunningham Separation Problems for the Stable Set
Polytope . . . . . . . . . . . . . . . . 65
D. Bienstock Computational Study of a Family of
Mixed-Integer Quadratic Programming
Problems . . . . . . . . . . . . . . . . 80
D. Pisinger A Minimal Algorithm for the Bounded
Knapsack Problem . . . . . . . . . . . . 95
L. F. Escudero and
S. Martello and
P. Toth A Framework for Tightening 0-1 Programs
Based on Extensions of Pure 0-1 KP and
SS Problems . . . . . . . . . . . . . . 110
C. Helmberg and
S. Poljak and
F. Rendl and
H. Wolkowicz Combining Semidefinite and Polyhedral
Relaxations for Integer Programs . . . . 124
X. Deng Distributed Near-Optimal Matching . . . 135
U. Pferschy The Random Linear Bottleneck Assignment
Problem . . . . . . . . . . . . . . . . 145
B. V. Cherkassky and
A. V. Goldberg On Implementing Push-Relabel Method for
the Maximum Flow Problem . . . . . . . . 157
A. I. Ali and
H.-S. Han and
J. L. Kennington Use of Hidden Network Structure in the
Set Partitioning Problem . . . . . . . . 172
D. Hartvigsen Generalized Max Flows and Augmenting
Paths . . . . . . . . . . . . . . . . . 185
P. Kleinschmidt and
S. Onn Oriented Matroid Polytopes and
Polyhedral Fans are Signable . . . . . . 198
B. Novick and
A. Seboe On Combinatorial Properties of Binary
Spaces . . . . . . . . . . . . . . . . . 212
A. Bouchet Coverings and Delta-Coverings . . . . . 228
I. Barany and
H. E. Scarf and
D. Shallcross The Topological Structure of Maximal
Lattice Free Convex Bodies: The General
Case . . . . . . . . . . . . . . . . . . 244
F. Laburthe The Hilbert Basis of the Cut Cone over
the Complete Graph K6 . . . . . . . . . 252
S. Hosten and
B. Sturmfels GRIN: An Implementation of Gröbner Bases
for Integer Programming . . . . . . . . 267
Y. Crama and
F. C. R. Spieksma Scheduling Jobs of Equal Length:
Complexity, Facets and Computational
Results . . . . . . . . . . . . . . . . 277
H. Hoogeveen and
S. Van de Velde Formulating a Scheduling Problem with
Almost Identical Jobs by Using
Positional Completion Times . . . . . . 292
M. Queyranne and
A. S. Schulz Scheduling Unit Jobs with Compatible
Release Dates on Parallel Machines with
Nonstationary Speeds . . . . . . . . . . 307
M. Conforti and
G. Cornuejols and
A. Kapoor and
K. Vuskovic A Mickey-Mouse Decomposition Theorem . . 321
B. Klinz and
G. J. Woeginger Minimum Cost Dynamic Flows: The
Series-Parallel Case . . . . . . . . . . 329
P. Nobili and
A. Sassano (0, 1) Ideal Matrices . . . . . . . . . 344
M. Juvan and
J. Marincek and
B. Mohar Embedding Graphs in the Torus in Linear
Time . . . . . . . . . . . . . . . . . . 360
A. A. Ageev and
A. V. Kostochka and
Z. Szigeti A Characterization of Seymour Graphs . . 364
J. E. Bartels and
D. J. A. Welsh The Markov Chain of Colourings . . . . . 373
H. N. Gabow and
K. S. Manu Packing Algorithms for Arborescences
(and Spanning Trees) in Capacitated
Graphs . . . . . . . . . . . . . . . . . 388
H. Nagamochi and
T. Ibaraki A Faster Edge Splitting Algorithm in
Multigraphs and its Application to the
Edge-Connectivity Augmentation Problem 403
A. Frank and
T. Jordan How to Make a Strongly Connected Digraph
Two-Connected . . . . . . . . . . . . . 414
G. Dahl Polyhedra and Optimization in Connection
with a Weak Majorization Ordering . . . 426
S. Ceria and
G. Cornuejols and
M. Dawande Combining and Strengthening Gomory Cuts 438
Z. Gu and
G. L. Nemhauser and
M. W. P. Savelsbergh Sequence Independent Lifting of Cover
Inequalities . . . . . . . . . . . . . . 452
Kenji Koyama Fast RSA-type schemes based on singular
cubic curves $ y^2 + a x y \equiv x^3
\pmod n $ . . . . . . . . . . . . . . . 329--340
Claus P. Schnorr and
H. H. Hörner Attacking the Chor--Rivest cryptosystem
by improved lattice reduction . . . . . 1
Luke O'Connor Convergence in Differential
Distributions . . . . . . . . . . . . . 13
Carlo Harpes and
Gerhard G. Kramer and
James L. Massey A generalization of linear cryptanalysis
and the applicability of Matsui's
piling-up lemma . . . . . . . . . . . . 24
Lidong Chen and
Torben Pryds Pedersen On the efficiency of group signatures
providing information-theoretic
anonymity . . . . . . . . . . . . . . . 39
Matthew K. Franklin and
Michael K. Reiter Verifiable Signature Sharing . . . . . . 50
Chae Hoon Lim and
Pil Joong Lee Server (Prover/Signer)-Aided
Verification of Identity Proofs and
Signatures . . . . . . . . . . . . . . . 64
Reynald Lercier and
François Morain Counting the number of points on
elliptic curves over finite fields:
strategies and performances . . . . . . 79
Damian Weber An implementation of the general number
field sieve to compute discrete
logarithms mod $p$ . . . . . . . . . . . 95
Peter L. Montgomery A Block Lanczos Algorithm for Finding
Dependencies over \em GF$ (2) $ . . . . 106
Birgit Pfitzmann and
Matthias Schunter and
Michael Waidner How to break another ``provably secure''
payment system . . . . . . . . . . . . . 121
Claude Crépeau and
Louis Salvail Quantum Oblivious Mutual Identification 133
Yvo Desmedt Securing traceability of ciphertexts ---
Towards a secure software key escrow
system . . . . . . . . . . . . . . . . . 147
Christian Gehrmann Secure Multiround Authentication
Protocols . . . . . . . . . . . . . . . 158
Rosario Gennaro and
Silvio Micali Verifiable Secret Sharing as Secure
Computation . . . . . . . . . . . . . . 168
Wen-Ai Jackson and
Keith M. Martin and
Christine M. O'Keefe Efficient secret sharing without a
mutually trusted authority . . . . . . . 183
Philippe Béguin and
Antonella Cresti General Short Computational Secret
Sharing Schemes . . . . . . . . . . . . 194
Markus A. Stadler and
Jean-Marc Piveteau and
Jan L. Camenisch Fair Blind Signatures . . . . . . . . . 209
Markus Jakobsson Ripping Coins for a Fair Exchange . . . 220
Stefan Brands Restrictive Blinding of Secret-Key
Certificates . . . . . . . . . . . . . . 231
Jovan Dj. Golic Towards fast correlation attacks on
irregularly clocked shift registers . . 248
Andrew Klapper and
Mark Goresky Large periods nearly de Bruijn FCSR
sequences . . . . . . . . . . . . . . . 263
Xian-Mo Zhang and
Yuliang Zheng On Nonlinear Resilient Functions . . . . 274
Kaoru Kurosawa and
Satoshi Obana Combinatorial bounds for authentication
codes with arbitration . . . . . . . . . 289
Hugo Krawczyk New Hash Functions for Message
Authentication . . . . . . . . . . . . . 301--310
Jürgen Bierbrauer $ {A}^2 $-Codes from Universal Hash
Classes . . . . . . . . . . . . . . . . 311--318
David Pointcheval A new identification scheme based on the
perceptrons problem . . . . . . . . . . 319
Kouichi Sakurai and
Hiroki Shizuya Relationships among the computational
powers of breaking discrete log
cryptosystems . . . . . . . . . . . . . 341
M. Naeslund Universal hash functions and hard core
bits . . . . . . . . . . . . . . . . . . 356--366
Mats Näslund Universal Hash Functions & Hard Core Bits 356
Giovanni Di Crescenzo Recycling Random Bits in Composed
Perfect Zero-Knowledge . . . . . . . . . 367
G. Di Crescenzo Recycling random bits in composed
perfect zero-knowledge . . . . . . . . . 367
Chih-Hung Wang and
Tzonelih Hwang and
Jiun-Jang Tsai On the Matsumoto and Imai's human
identification scheme . . . . . . . . . 382
Kazue Sako and
Joe Kilian Receipt-free mix-type voting scheme ---
A practical solution to the
implementation of a voting booth . . . . 393
David Naccache and
David M'Raihi and
William Wolfowicz and
Adina Di Porto Are crypto-accelerators really
inevitable? 20 bit zero-knowledge in
less than a second on simple 8-bit
microcontrollers . . . . . . . . . . . . 404
Stefano D'Amiano and
Giovanni Di Crescenzo Anonymous NIZK proofs of knowledge with
preprocessing . . . . . . . . . . . . . 413
Anonymous Author Index . . . . . . . . . . . . . . 417
Anonymous Graph Rewriting Systems --- The Basic
Concepts . . . . . . . . . . . . . . . . 10
Anonymous UBS-Graph Rewriting Systems --- Matching
Subgraphs Constant Time . . . . . . . . 38
Anonymous Programmed Attributed Graph Rewrite
Systems --- An Advanced Modelling
Formalism . . . . . . . . . . . . . . . 92
Anonymous The Abstract Machine for Graph Rewriting
--- Supporting a Fast Implementation . . 125
Anonymous A Graphical Implementation of Functional
Languages --- A Case Study in UBS-Graph
Rewriting Systems . . . . . . . . . . . 165
A. Podelski and
P. Van Roy A Detailed Algorithm Testing Guards over
Feature Trees . . . . . . . . . . . . . 11
C. Codognet and
P. Codognet A Generalized Semantics for Concurrent
Constraint Languages and Their Abstract
Interpretation . . . . . . . . . . . . . 39
M. Anton Ertl and
A. Krall High-Level Constraints over Finite
Domains . . . . . . . . . . . . . . . . 51
J. Gensel Integrating Constraints in an
Object-Based Knowledge Representation
System . . . . . . . . . . . . . . . . . 67
P. Boizumault and
Y. Delon and
L. Peridy A CLP Approach for Examination Planning 85
E. C. Freuder The Many Paths to Satisfaction . . . . . 103
R. J. Wallace Directed Arc Consistency Preprocessing 121
B. M. Smith In Search of Exceptionally Difficult
Constraint Satisfaction Problems . . . . 139
C. Bessiere and
J.-C. Regin Using Bidirectionality to Speed Up
Arc-Consistency Processing . . . . . . . 157
E. C. Freuder Using Metalevel Constraint Knowledge to
Reduce Constraint Checking . . . . . . . 171
P. Prosser Forward Checking with Backmarking . . . 185
F. Rossi Redundant Hidden Variables in Finite
Domain Constraint Problems . . . . . . . 205
G. File and
G. Nardiello and
A. Tirabosco Semantic Properties of CHIP (FD) . . . . 225
D. R. Vlasie Combining Hill Climbing and Forward
Checking . . . . . . . . . . . . . . . . 247
A. Eiben and
P.-E. Raue and
Z. Ruttkay GA-easy and GA-hard Constraint
Satisfaction Problems . . . . . . . . . 267
J.- M. Andreoli and
H. Gallaire and
R. Pareschi Rule-based Object Coordination . . . . . 1
S. Bijnens and
W. Joosen and
P. Verbaeten Sender-Initiated and Receiver-Initiated
Coordination in a Global Object Space 14
N. Brown Correctness-Preserving Transformations
for the Design of Parallel Programs . . 29
N. Busi and
R. Gorrieri Distributed Conflicts in Communicating
Systems . . . . . . . . . . . . . . . . 49
N. Carriero and
D. Gelernter and
L. Zuck Bauhaus Linda . . . . . . . . . . . . . 66
P. Ciancarini and
K. K. Jensen and
D. Yankelevich On the Operational Semantics of a
Coordination Language . . . . . . . . . 77
S. Froelund and
G. Agha Abstracting Interactions Based on
Message Sets . . . . . . . . . . . . . . 107
N. H. Minsky and
J. Leichter Law-Governed Linda as a Coordination
Model . . . . . . . . . . . . . . . . . 125
O. Nierstrasz and
T. D. Meijler Requirements for a Composition Language 147
M. Papathomas and
G. S. Blair and
G. Coulson A Model for Active Object Coordination
and for Distributed Multimedia
Applications . . . . . . . . . . . . . . 162
R. Tolksdorf A Machine for Uncoupled Coordination and
Its Concurrent Behavior . . . . . . . . 176
J. Fokker Functional Parsers . . . . . . . . . . . 1
P. Wadler Monads for functional programming . . . 24
J. Hughes The Design of a Pretty-printing Library 53
M. P. Jones Functional Programming with Overloading
and Higher-Order Polymorphism . . . . . 97
T. Hallgren and
M. Carlsson Programming with Fudgets . . . . . . . . 137
M. C. J. D. Van Eekelen and
R. M. J. Plasmeijer Constructing Medium Sized Efficient
Functional Programs in Clean . . . . . . 183
E. Meijer and
J. Jeuring Merging Monads and Folds for Functional
Programming . . . . . . . . . . . . . . 228
R. B. Kieburtz and
J. Lewis Programming with Algebras . . . . . . . 267
J. Launchbury Graph Algorithms with a Functional
Flavour . . . . . . . . . . . . . . . . 308
G. Bucci The Impact of Software Quality . . . . . 10
A. Kuntzmann-Combelles Quantitative Approach to Software
Process Improvement . . . . . . . . . . 16
P. Kuvaja BOOTSTRAP: A Software Process Assessment
and Improvement Methodology . . . . . . 31
A. Coletta The SPICE Project: An International
Standard for Software Process
Assessment, Improvement and Capability
Determination . . . . . . . . . . . . . 49
M. Campanai and
E. Ferretti and
V. Valori Quality Estimation of Software
Applications for Banking . . . . . . . . 64
G. Bruno and
R. Agarwal Validating Software Requirements Using
Operational Models . . . . . . . . . . . 78
G. Lofrumento and
S. Pileri Object-Oriented Design of the UPT
Service: Evaluation of the Design
Quality and Experience Learned . . . . . 94
T. Staalhane Development of a Model for Reusability
Assessment . . . . . . . . . . . . . . . 111
E.-A. Karlsson and
J.-M. Morel The Impact of Reuse on Software Quality 124
I. Sommerville and
L. Masera and
C. Demaria Practical Guidelines for Ada Reuse in an
Industrial Environment . . . . . . . . . 138
A. Cicu Process Quality Problems from the Point
of View of the User and of the Purchaser
of Software . . . . . . . . . . . . . . 148
L. Binucci Software Quality of Use: Evaluation by
MUSiC . . . . . . . . . . . . . . . . . 165
G. Bakker and
F. P. Hirdes Recent Industrial Experiences with
Software Product Metrics . . . . . . . . 179
A. Spinelli and
D. Pina and
P. Salvaneschi and
E. Crivelli Quality Measurement of Software
Products: an Experience about a Large
Automation System . . . . . . . . . . . 192
G. Bazzana and
R. Delmiglio and
A. Lora and
O. Balestrini Quantifying the Benefits of Software
Testing: an Experience Report from the
GSM Application Domain . . . . . . . . . 207
G. Bruno and
M. Varani and
V. Vico and
C. Offerman Benefits of Using Model-based Testing
Tools . . . . . . . . . . . . . . . . . 224
A. Bertolino Software Testing for Dependability
Assessment . . . . . . . . . . . . . . . 236
J. J. Alferes and
L. M. Pereira An Argumentation Theoretic Semantics
Based on Non-Refutable Falsity . . . . . 3
V. Lifschitz and
H. Turner From Disjunctive Programs to Abduction 23
T. C. Przymusinski Semantics of Normal and Disjunctive
Logic Programs: A Unifying Framework . . 43
C. Witteveen Every Normal Program has a Nearly-Stable
Model . . . . . . . . . . . . . . . . . 68
J.-H. You and
L. Y. Yuan Logic Programming with Assumption Denial 85
M. D. Barback and
J. Lobo A Resolution-based Procedure for Default
Theories with Extensions . . . . . . . . 101
S. Brass and
J. Diz A General Approach to Bottom-Up
Computation of Disjunctive Semantics . . 127
S. Costantini and
G. A. Lanzarone Static Semantics as Program
Transformation and Well-founded
Computation . . . . . . . . . . . . . . 156
L. Degerstedt and
U. Nilsson Magic Computation for Well-founded
Semantics . . . . . . . . . . . . . . . 181
C. Ruiz and
J. Minker Computing Stable and Partial Stable
Models of Extended Disjunctive Logic
Programs . . . . . . . . . . . . . . . . 205
T. Eiter and
G. Gottlob and
N. Leone Complexity Results for Abductive Logic
Programming . . . . . . . . . . . . . . 1
M. Denecker A Terminological Interpretation of
(Abductive) Logic Programming . . . . . 15
C. V. Damasio and
L. M. Pereira Abduction over 3-valued Extended Logic
Programs . . . . . . . . . . . . . . . . 29
V. W. Marek and
A. Nerode and
J. B. Remmel On Logical Constraints in Logic
Programming . . . . . . . . . . . . . . 43
D. Aquilino and
P. Asirelli and
C. Renso and
F. Turini An Operator for Composing Deductive Data
Bases with Theories of Constraints . . . 57
M. Halfeld Ferrari Alves and
D. Laurent and
N. Spyratos Update Rules in Datalog Programs . . . . 71
S. Brass and
J. Dix Characterizations of the Stable
Semantics by Partial Evaluation . . . . 85
H. A. Blair Game Characterizations of Logic Program
Properties . . . . . . . . . . . . . . . 99
K. A. Berman and
J. S. Schlipf and
J. V. Franco Computing the Well-Founded Semantics
Faster . . . . . . . . . . . . . . . . . 113
V. Lifschitz and
N. McCain and
T. C. Przymusinski and
R. F. Staerk Loop Checking and the Well-Founded
Semantics . . . . . . . . . . . . . . . 127
M. Fitting Annotated Revision Specification
Programs . . . . . . . . . . . . . . . . 143
T. C. Przymusinski and
H. Turner Update by Means of Inference Rules . . . 156
J. C. P. Da Silva and
S. R. M. Veloso A Sphere World Semantics for Default
Reasoning . . . . . . . . . . . . . . . 175
C. Witteveen and
W. Van der Hoek Revision by Communication . . . . . . . 189
D. Gabbay and
L. Giordano and
A. Martelli and
N. Olivetti Hypothetical Updates, Priority and
Inconsistency in a Logic Programming
Language . . . . . . . . . . . . . . . . 203
R. Miller Situation Calculus Specifications for
Event Calculus Logic Programs . . . . . 217
L.-Y. Yuan and
J.-H. You On the Extension of Logic Programming
with Negation through Uniform Proofs . . 231
A. Bochman Default Consequence Relations as a
Logical Framework for Logic Programs . . 245
A. Mikitiuk and
M. Truszczynski Skeptical Rational Extensions . . . . . 259
P. Cholewinski Reasoning with Stratified Default
Theories . . . . . . . . . . . . . . . . 273
R. T. Ng and
X. Tian Incremental Methods for Optimizing
Partial Instantiation . . . . . . . . . 287
R. F. Staerk A Transformation of Propositional Prolog
Programs into Classical Logic . . . . . 302
P. M. Dung and
T. C. Son Nonmonotonic Inheritance, Argumentation
and Logic Programming . . . . . . . . . 316
A. Brogi and
E. Lamma and
P. Mancarella and
P. Mello An Abductive Framework for Extended
Logic Programming . . . . . . . . . . . 330
C. Sakama and
K. Inoue Embedding Circumscriptive Theories in
General Disjunctive Programs . . . . . . 344
J. Kalinski Stable Classes and Operator Pairs for
Disjunctive Programs . . . . . . . . . . 358
D. Pearce Nonmonotonicity and Answer Set Inference 372
A. Rajasekar Trans-Epistemic Semantics for Logic
Programs . . . . . . . . . . . . . . . . 388
F. Toni and
A. C. Kakas Computing the Acceptability Semantics 401
P. Schuster Artificial Life and Molecular
Evolutionary Biology . . . . . . . . . . 3
H. H. Pattee Artificial Life Needs a Real
Epistemology . . . . . . . . . . . . . . 23
E. Prem Grounding and the Entailment Structure
in Robots and Artificial Life . . . . . 39
H. Gutowitz and
C. Langton Mean Field Theory of the Edge of Chaos 52
M. Wheeler Escaping from the Cartesian Mind-Set:
Heidegger and Artificial Life . . . . . 65
J. Umerez Semantic Closure: A Guiding Notion to
Ground Artificial Life . . . . . . . . . 77
G. Kampis The Inside and Outside Views of Life . . 95
A. Lazcano Prebiotic Chemistry, Artificial Life,
and Complexity Theory: What Do They Tell
us About the Origin of Biological
Systems? . . . . . . . . . . . . . . . . 105
J. C. Nutho and
P. Chacon and
A. Moreno and
F. Moran Compartimentation in Replicator Models 116
C. V. Forst and
C. Reidys and
J. Weber Evolutionary Dynamics and Optimization:
Neutral Networks as Model-Landscapes for
RNA Secondary-Structure
Folding-Landscapes . . . . . . . . . . . 128
G. Woodcock and
P. G. Higgs Population Evolution in a Single Peak
Fitness Landscape --- How High are the
Clouds? . . . . . . . . . . . . . . . . 148
B. McMullin Replicators Don't! . . . . . . . . . . . 158
A. Moya and
E. Domingo and
J. J. Holland RNA Viruses: a Bridge Between Life and
Artificial Life . . . . . . . . . . . . 170
G. Yagil Complexity Analysis of a Self-organizing
vs. a Template-Directed System . . . . . 179
T. Yamamoto and
K. Kaneko Tile Automaton for Evolution of
Metabolism . . . . . . . . . . . . . . . 188
D. Cliff and
G. F. Miller Tracking the Red Queen: Measurements of
Adaptive Progress in Co-Evolutionary
Simulations . . . . . . . . . . . . . . 200
C. Maley The Coevolution of Mutation Rates . . . 219
T. Ikegami and
T. Hashimoto Coevolution of Machines and Tapes . . . 234
H. Juille Incremental Co-Evolution of Organisms: A
New Approach for Optimization and
Discovery of Strategies . . . . . . . . 246
C. Numaoka Symbiosis and Co-Evolution in Animals 261
L. Bull and
T. C. Fogarty and
A. G. Pipe Artificial Endosymbiosis . . . . . . . . 273
T. Maeshiro and
M. Kimura Mathematical Analysis of Evolutionary
Process . . . . . . . . . . . . . . . . 290
F. Oppacher and
D. Deugo The Evolution of Hierarchical
Representations . . . . . . . . . . . . 302
G. P. Wagner Adaptation and the Modular Design of
Organisms . . . . . . . . . . . . . . . 317
K. Kaneko and
T. Yomo A Theory of Differentiation with Dynamic
Clustering . . . . . . . . . . . . . . . 329
S. Nolfi and
D. Parisi Evolving Artificial Neural Networks that
Develop in Time . . . . . . . . . . . . 353
L. Mateus Rocha Contextual Genetic Algorithms: Evolving
Developmental Rules . . . . . . . . . . 368
J. C. Rutkowska Can Development Be Designed? What we May
Learn from the Cog Project . . . . . . . 383
N. Ono and
T. Ohira and
A. T. Rahmani Emergent Organization of Interspecies
Communication in Q-Learning Artificial
Organisms . . . . . . . . . . . . . . . 396
J. Carneiro and
J. Stewart Self and Nonself Revisited: Lessons from
Modelling the Immune Network . . . . . . 406
J. Vaario and
K. Shimohara On Formation of Structures . . . . . . . 421
D. Parisi and
F. Cecconi Learning in the Active Mode . . . . . . 439
A. G. Pipe and
B. Carse and
T. C. Fogarty and
A. Winfield Learning Subjective ``Cognitive Maps''
in the Presence of Sensory-Motor Errors 463
H. Hautop Lund Specialization Under Social Conditions
in Shared Environments . . . . . . . . . 477
E. A. Stanley and
D. Ashlock and
M. D. Smucker Iterated Prisoner's Dilemma with Choice
and Refusal of Partners: Evolutionary
Results . . . . . . . . . . . . . . . . 490
C. Adami and
C. Titus Brown and
M. R. Haggerty Abundance-Distributions in Artificial
Life and Stochastic Models: ``Age and
Area'' Revisited . . . . . . . . . . . . 503
S. Rasmussen and
C. L. Barrett Elements of a Theory of Simulation . . . 515
G. R. Mulhauser To Simulate or Not to Simulate: A
Problem of Minimising Functional Logic
Depth . . . . . . . . . . . . . . . . . 530
M. Sipper Quasi-Uniform Computation-Universal
Cellular Automata . . . . . . . . . . . 544
G. Tempesti A New Self-Reproducing Cellular
Automaton Capable of Construction and
Computation . . . . . . . . . . . . . . 555
J. Ibathez and
D. Anabitarte and
I. Azpeitia and
O. Barrera Self-Inspection Based Reproduction in
Cellular Automata . . . . . . . . . . . 564
M. J. Mataric Evaluation of Learning Performance of
Situated Embodied Agents . . . . . . . . 579
K. Teimoorzadeh Seeing in the Dark with Artificial Bats 590
D. Lambrinos Navigating with an Adaptive Light
Compass . . . . . . . . . . . . . . . . 602
R. Zapata and
P. Lepinay and
P. Deplanques Collision Avoidance Using an Egocentric
Memory of Proximity . . . . . . . . . . 614
L. Correia and
A. Steiger-Garcao A Useful Autonomous Vehicle with a
Hierarchical Behavior Control . . . . . 625
A. Thompson Evolving Electronic Robot Controllers
that Exploit Hardware Resources . . . . 640
C. Scheier and
R. Pfeifer Classification as Sensory-Motor
Coordination: A Case Study on Autonomous
Agents . . . . . . . . . . . . . . . . . 657
H. Cruse and
C. Bartling and
T. Kindermann High-Pass Filtered Positive Feedback.
Decentralized Control of Cooperation . . 668
M. Pebody Learning and Adaptivity: Enhancing
Reactive Behaviour Architectures in
Real-World Interaction Systems . . . . . 679
S. Cherian and
W. Troxell Interactivistm: a Functional Model of
Representation for Behavior-based
Systems . . . . . . . . . . . . . . . . 691
N. Jakobi and
P. Husbands and
I. Harvey Noise and the Reality Gap: The Use of
Simulation in Evolutionary Robotics . . 704
J. Tani Essential Dynamical Structure in
Learnable Autonomous Robots . . . . . . 721
M. Vainio and
T. Schoenberg and
A. Halmest and
P. Jakubik Optimizing the Performance of a Robot
Society in Structured Environment
Through Genetic Algorithms . . . . . . . 733
R. M. May and
S. Bohoeffer and
M. A. Nowak Spatial Games and Evolution of
Cooperation . . . . . . . . . . . . . . 749
P. De Bourcier and
M. Wheeler Aggressive Signaling Meets Adaptive
Receiving: Further Experiments in
Synthetic Behavioural Ecology . . . . . 760
R. P. Fletcher and
C. Cannings and
P. G. Blackwell Modelling Foraging Behaviour of Ant
Colonies . . . . . . . . . . . . . . . . 772
M. Lachmann and
G. Sella The Computationally Complete Ant Colony:
Global Coordination in a System with No
Hierarchy . . . . . . . . . . . . . . . 784
P. Bourgine and
D. Snyers Mimicry and Coevolution of Hedonic
Agents . . . . . . . . . . . . . . . . . 801
T. Hashimoto and
T. Ikegami Evolution of Symbolic Grammar Systems 812
W. Sulis Driven Cellular Automata, Adaptation and
the Binding Problem . . . . . . . . . . 824
C. Ouzounis and
A. Valencia and
J. Tamames and
P. Bork The Functional Composition of Living
Machines as a Design Principle for
Artificial Organisms . . . . . . . . . . 843
P. G. Higgs and
S. R. Morgan Thermodynamics of RNA Folding: When is
an RNA Molecule in Equilibrium . . . . . 852
R. Calabretta and
S. Nolfi and
D. Parisi An Artificial Life Model for Predicting
the Tertiary Structure of Unknown
Proteins that Emulates the Folding
Process . . . . . . . . . . . . . . . . 862
R. Lahoz-Beltra and
S. R. Hameroff Energy Cost Evaluation of Computing
Capabilities in Biomolecular and
Artificial Matter . . . . . . . . . . . 876
H.-P. Schwefel and
G. Rudolph Contemporary Evolution Strategies . . . 893
W. Hordijk and
B. Manderick The Usefulness of Recombination . . . . 908
E. Bartscht and
J. Engel and
C. Mueller-Schloer The Investigation of Lamarckian
Inheritance with Classifier Systems in a
Massively Parallel Simulation
Environment . . . . . . . . . . . . . . 920
A. E. Eiben and
C. H. M. Van Kemenade and
J. N. Kok Orgy in the Computer: Multi-Parent
Reproduction in Genetic Algorithms . . . 934
S. Lobo and
A. J. Garcia-Tejedor and
R. Rodriguez-Galan and
L. Lopez A Simplification of the Theory of Neural
Groups Selection for Adaptive Control 946
S. Grossberg Are There Universal Principles of Brain
Computation? . . . . . . . . . . . . . . 1
L. Menendez de la Prida Modeling Cortical Networks . . . . . . . 7
J. Mira and
A. Manjarres and
S. Ros and
A. E. Delgado Cooperative Organization of Connectivity
Patterns and Receptive Fields in the
Visual Pathway: Application to Adaptive
Thresholding . . . . . . . . . . . . . . 15
F. Alexandre and
F. Guyot Neurobiological Inspiration for the
Architecture and Functioning of
Cooperating Neural Networks . . . . . . 24
R. J. Duro and
J. Santos and
A. Gomez Synaptic Modulation Based Artificial
Neural Networks . . . . . . . . . . . . 31
M. Stetter and
M. Kussinger and
A. Schels and
E. Seeger Self-Organization of Cortical Receptive
Fields and Columnar Structures in a Hebb
Trained Neural Network . . . . . . . . . 37
J. Hoekstra and
M. Maouli An Analytical Solution of the
Compartmental Model for Use in Local
Learning in Artificial Neural Networks 45
J. G. Wallace and
K. Bluff Should ANN be ANGN? . . . . . . . . . . 53
T. Lourens Modeling Retinal High and Low Contrast
Sensitivity Filters . . . . . . . . . . 61
J. Miro Neural Micro-Structures. Three Simple
Models . . . . . . . . . . . . . . . . . 69
A. Daffertshofer and
H. Haken Adaptive Hierarchical Structures . . . . 76
E. Andreu and
B. Soria and
S. Bolea and
J. V. Sanchez-Andres Optimal Range of Input Resistance in the
Oscillatory Behavior of the Pancreatic $
\beta $-Cell . . . . . . . . . . . . . . 85--89
P. Kruizinga and
N. Petkov A Computational Model of
Periodic-Pattern-Selective Cells . . . . 90
I. A. Rybak and
J. F. R. Paton and
J. S. Schwaber Modeling and Analysis of Some Neural
Mechanisms for the Genesis and Control
of Respiratory Pattern . . . . . . . . . 100
F. Moran and
M. A. Andrade A Neural Network Model for Plasticity in
Adult Striate Cortex . . . . . . . . . . 108
E. Valderrama and
R. Villa and
E. Cabruja and
P. Garrido Regenerative-Type Neural Interface . . . 114
R. Villa and
J. Aguilo New Perspectives in Auditory Coding:
Bases for a New Cochlear Behavioural
Model . . . . . . . . . . . . . . . . . 121
J. Mpodozis and
J.-C. Letelier and
H. Maturana Nervous System as a Closed Neural
Network: Behavioral and Cognitive
Consequences . . . . . . . . . . . . . . 130
M. A. Fernandez and
J. Mira and
M. T. Lopez and
J. R. Alvarez Local Accumulation of Persistent
Activity at Synaptic Level: Application
to Motion Analysis . . . . . . . . . . . 137
M. Gratha and
A. D'Anjou and
F. X. Albizuri and
A. De la Hera High Order Boltzmann Machines with
Continuous Units: Some Experimental
Results . . . . . . . . . . . . . . . . 144
J. Nishii An Adaptive Control Model of a
Locomotion by the Central Pattern
Generator . . . . . . . . . . . . . . . 151
I. Grabec Self-Consistent Neural Receptive Fields 158
P. M. Hofman and
F. B. Rodriguez and
J. A. Sigueenza and
V. Lopez A Simple Probabilistic Neural Model
Producing Multimodal ISHs . . . . . . . 166
M. T. Signes Pont and
J. V. Sanchez-Andres An Associative Neural Network to Model
the Developing Mammalian Hippocampus . . 174
M.-D. Weitze and
G. L. Hofacker The Implementation of Propositional
Logic in Random Neural Networks . . . . 180
J. V. Stone and
A. Bray A Learning Rule for Extracting Temporal
Invariances . . . . . . . . . . . . . . 189
J. Han and
C. Moraga The Influence of the Sigmoid Function
Parameters on the Speed of
Backpropagation Learning . . . . . . . . 195
A. M. C.-L. Ho and
P. De Wilde General Transient Length Upper Bound for
Recurrent Neural Networks . . . . . . . 202
R. Moreno-Diaz and
K. N. Leibovic On Some Methods in Neuromathematics . . 209
N. H. Farhat and
E. Del Moral Hernandez Logistic Networks With DNA-Like Encoding
and Interactions . . . . . . . . . . . . 216
C. Christodoulou and
T. Clarkson A Review on the Stochastic Firing
Behaviour of Real Neurons and How it can
be Modelled . . . . . . . . . . . . . . 223
B. Augereau and
T. Simon and
J. Bernard and
B. Heit The BP-gammaL1 Algorithm: Non-Chaotic
and Accelerated Learning in a MLP
Network . . . . . . . . . . . . . . . . 231
T. Jasic and
H. L. Poh Analysis of Pruning in Backpropagation
Networks for Artificial and Real World
Mapping Problems . . . . . . . . . . . . 239
M. G. Kuzmina and
E. A. Manykin and
I. I. Surina Oscillatory Networks with Hebbian Matrix
of Connections . . . . . . . . . . . . . 246
V. Gimenez and
P. Gomez-Vilda and
E. Torrano and
M. Perez-Castellanos A new Algorithm for Implementing a
Recursive Neural Network . . . . . . . . 252
J. Barahona da Fonseca and
I. Barahona da Fonseca and
J. Simoes da Fonseca Visual Information Processing from the
Viewpoint of Symbolic Operations . . . . 260
I. Barahona da Fonseca and
J. Barahona da Fonseca and
J. Simoes da Fonseca Dentritic Computation in the Brain . . . 268
P. Hruby Stochastic Neuronal Models with
Realistic Synaptic Inputs and
Oscillatory Inputs . . . . . . . . . . . 276
G. Joya and
F. Sandoval A Neural Paradigm for Controlling
Autonomous Systems with Reflex Behaviour
and Learning Capability . . . . . . . . 283
A. M. Gonzalez and
C. Santa Cruz and
V. Lopez and
J. R. Dorronsoro Fast Automatic Architecture Selection in
RBF Networks . . . . . . . . . . . . . . 291
L. Viana Collective Behaviour of a Chain of
Hopfield Subnetworks Interconnected
Unidirectionally . . . . . . . . . . . . 298
K. Butchart and
N. Davey and
R. Adams A Comparative Study of Three Neural
Networks that use Soft Competition . . . 308
D. C. Dracopoulos and
A. J. Jones Neural Networks and Genetic Algorithms
for the Attitude Control Problem . . . . 315
J. A. Flanagan and
M. Hasler Self-Organising Artificial Neural
Networks . . . . . . . . . . . . . . . . 322
E. Stocker and
Y. Lecourtier and
A. Ennaji A Distributed Classifier Based on Yprel
Networks Cooperation . . . . . . . . . . 330
A. Kosak and
K. Goser A Fractal Selforganizing Map with
Partially Chaotic Neurons . . . . . . . 338
E. Cervera and
A. P. Del Pobil Multiple Self-Organizing Maps for
Supervised Learning . . . . . . . . . . 345
J. Feng and
B. Tirozzi An Application of the Saturated
Attractor Analysis to Three Typical
Models . . . . . . . . . . . . . . . . . 353
C. Jutten Learning in Evolute Neural
Architectures: An Ill-Posed Problem? . . 361
A. P. Engelbrecht and
I. Cloete and
J. Geldenhuys and
J. M. Zurada Automatic Scaling using Gamma Learning
for Feedforward Neural Networks . . . . 374
A. P. Engelbrecht and
I. Cloete and
J. M. Zurada Determining the Significance of Input
Parameters using Sensitivity Analysis 382
N. N. Aizenberg and
I. N. Aizenberg and
G. A. Krivosheev Multi-Valued Neurons: Learning,
Networks, Application to Image
Recognition and Extrapolation of
Temporal Series . . . . . . . . . . . . 389
Q. Zhao and
T. Higuchi Individual Evolutionary Algorithm and
its Application to Learning of Nearest
Neighbor Based MLP . . . . . . . . . . . 396
J.-L. Voz and
M. Verleysen and
P. Thissen and
J.-D. Legat A Practical View of Suboptimal Bayesian
Classification with Radial Gaussian
Kernels . . . . . . . . . . . . . . . . 404
F. J. Corbacho and
M. A. Arbib Schema Based Learning and Learning to
Detour . . . . . . . . . . . . . . . . . 412
J. Goeppert and
W. Rosenstiel Neurons with Continuous Varying
Activation in Self-Organizing Maps . . . 419
L. A. Trejo and
C. Sandoval Improving Back-Propagation:
Epsilon-Back-Propagation . . . . . . . . 427
M. A. Castatho and
E. Vidal and
F. Casacuberta Finite State Automata and Connectionist
Machines . . . . . . . . . . . . . . . . 433
Y. Guan and
T. Clarkson and
J. G. Taylor Learning Transformed Prototypes (LTP)
--- A Statistical Pattern Classification
Technique of Neural Networks . . . . . . 441
R. Ferreiro Garcia and
F. J. Perez Castelo Fuzzy Function Estimators as Basis on
Learning from Experience . . . . . . . . 448
A. Flexer Connectionists and Statisticians,
Friends or Foes? . . . . . . . . . . . . 454
M. Leisenberg Unsupervised Neural Networks for Speech
Perception with Cochlear Implant Systems
for the Profoundly Deaf . . . . . . . . 462
E. Zalama and
P. Gaudiano and
J. L. Lopez Coronado Obstacle Avoidance by Means of an
Operant Conditioning Model . . . . . . . 471
B. Morcego Seix and
A. Catala Mallofre and
N. Piera Carrete Qualitative Approach to Gradient Based
Learning Algorithms . . . . . . . . . . 478
F. J. Vico and
F. Ortega and
J. Almaraz and
F. Sandoval Character Recognition with Neural
Assemblies . . . . . . . . . . . . . . . 486
Z. Schreter Learning by Attentional Scanning . . . . 492
J. Lis The Synthesis of the Ranked Neural
Networks Applying Genetic Algorithm with
the Dynamic Probability of Mutation . . 498
F. J. Marin and
F. Garcia and
F. Sandoval Global Versus Local Heuristic Terminal
Attractor . . . . . . . . . . . . . . . 505
A. Kanstein and
K. Goser Dynamic Learning of Radial Basis
Functions for Fuzzy Clustering . . . . . 513
R. Chentouf and
C. Jutten Incremental Learning with a Stopping
Criterion --- Experimental Results . . . 519
D. Benitez-Diaz and
J. Garcia-Quesada Learning Algorithm with Gaussian
Membership Function for Fuzzy RBF Neural
Networks . . . . . . . . . . . . . . . . 527
G. Thimm and
E. Fiesler Neural Network Initialization . . . . . 535
A. F. Nejad and
T. D. Gedeon Bidirectional Neural Networks Reduce
Generalisation Error . . . . . . . . . . 543
T. D. Gedeon and
P. M. Wong and
D. Harris Balancing Bias and Variance: Network
Topology and Pattern Set Reduction
Techniques . . . . . . . . . . . . . . . 551
D. Puzenat Priming an Artificial Neural Classifier 559
I. Aleksander Artificial Neuroconsciousness an Update 566
P. De Wilde Physical and Linguistic problems in the
Modelling of Consciousness by Neural
Networks . . . . . . . . . . . . . . . . 584
K.-I. Miura and
T. Nagano A Neural Network Model for the Velocity
Vector of an Object and its Consistency
with Psychological Phenomena . . . . . . 589
F. Crestani Implementation and Evaluation of a
Relevance Feedback Device Based on
Neural Networks . . . . . . . . . . . . 597
R. C. Carrasco and
M. L. Forcada Second-Order Recurrent Neural Networks
Can Learn Regular Grammars from Noisy
Strings . . . . . . . . . . . . . . . . 605
H. L. Viktor and
I. Cloete Extracting DNF Rules From Artificial
Neural Networks . . . . . . . . . . . . 611
E. Prem Dynamic Symbol Grounding, State
Construction and the Problem of
Teleology . . . . . . . . . . . . . . . 619
E. Monte and
J. M. Calvet and
S. Vilarrubla Analysis of Industrial Economics by
means of Neural Nets . . . . . . . . . . 627
F. Diaz-Otero and
A. Caballero and
A. Lorenzo and
J. A. Sigueenza Effects of Spatial Frequency and
Stimulus Size on the Orientation
Sensitivity of Humans . . . . . . . . . 634
J. M. Adamo and
D. Anguita Object Oriented Design of a Simulator
for Large BP Neural Networks . . . . . . 642
P. Varona and
J. A. Sigueenza Introducing XSim: A Neural Network
Simulator that Incorporates Biological
Parameters . . . . . . . . . . . . . . . 650
J. Santos and
R. P. Otero and
J. Mira NETTOOL: A Hybrid Connectionist-Symbolic
Development Environment . . . . . . . . 658
M. Chiaberge and
G. Di Bene and
S. Di Pascoli and
R. Lambert EL-SIM: a Development Environment for
Neuro-Fuzzy Intelligent Controllers . . 666
Y. Cheneval Packlib, an Interactive Environment to
Develop Modular Software for Data
Processing . . . . . . . . . . . . . . . 673
A. Weitzenfeld NSL-Neural Simulation Language . . . . . 683
A. Torralba Low-Cost Accelerator for the Simulation
of Cellular Neural Networks . . . . . . 689
P. Thissen and
M. Verleysen and
J.-D. Legat and
J. Madrenas A VLSI System for Neural Bayesian and
LVQ Classification . . . . . . . . . . . 696
P. Thissen and
M. Verleysen and
J.-D. Legat An Associative Processor Dedicated to
Classification by Neural Methods . . . . 704
B. Martin-del-Brio and
J. Blasco-Alberto Hardware-Oriented Models for VLSI
Implementation of Self-Organizing Maps 712
U. Roth and
A. Jahnke and
H. Klar Hardware Requirements for
Spike-Processing Neural Networks . . . . 720
F. J. Pelayo and
E. Ros and
P. Martin-Smith and
F. J. Fernandez A VLSI Approach to the Implementation of
Additive and Shunting Neural Networks 728
M. Anguita and
F. J. Pelayo and
F. J. Fernandez and
A. Prieto A Low-Power Analog Implementation of
Cellular Neural Networks . . . . . . . . 736
J. M. Benitez and
J. Ortega and
I. Requena Asynchronously Parallel Boltzmann
Machines Mapped onto Distributed-Memory
Multiprocessors . . . . . . . . . . . . 744
F. Castillo and
J. A. Garcia and
J. M. Moreno and
J. Cabestany A Coprocessor Card for Fast Neural
Network Emulation . . . . . . . . . . . 752
J. M. Moreno and
J. Madrenas and
S. San Anselmo and
F. Castillo Digital Hardware Implementation of ROI
Incremental Algorithms . . . . . . . . . 761
N. Maria and
A. Guerin-Dugue and
J. M. Moreno and
F. Blayo Comparing Implementations of Radial
Basis Function Neural Networks on Three
Parallel Machines . . . . . . . . . . . 771
F. Blayo and
A. Guerin-Dugue and
N. Maria Implementing Radial Basis Functions
Neural Networks on the Systolic MANTRA
Machine . . . . . . . . . . . . . . . . 781
A. Torralba and
F. Colodro and
L. G. Franquelo A Mixed Parallel-Sequential SHNN for
Large Networks . . . . . . . . . . . . . 789
O. Vermesan A Modular VLSI Architecture for Neural
Networks Implementation . . . . . . . . 794
A. Strey and
N. Avellana and
R. Holgado and
J. A. Fernandez A Massively Parallel Neurocomputer with
a Reconfigurable Arithmetical Unit . . . 800
I. Saxena and
E. Fiesler An All-Optical Forward Propagation
Multilayer Neural Network . . . . . . . 807
D. J. Mayes and
A. Hamilton A VLSI Current Mode Synapse Chip . . . . 815
V. Beiu and
J. G. Taylor Optimal Mapping of Neural Networks onto
FPGA's --- A New Constructive Algorithm 822
E. Miranda and
L. M. Reyneri A CPWM Synapsis for Weighted Radial
Basis Functions . . . . . . . . . . . . 830
J. L. Bernier and
J. J. Merelo and
J. Ortega and
A. Prieto Test Pattern Generation for Analog
Circuits Using Neural Networks and
Evolutive Algorithms . . . . . . . . . . 838
J. Herault About Some Perception Problems in Neural
Networks . . . . . . . . . . . . . . . . 845
D. L. Vilaritho and
D. Cabello and
A. Mosquera Optimization Neural Networks for Image
Segmentation . . . . . . . . . . . . . . 860
W. P. Cheung and
C. K. Lee and
K. C. Li Segmentation of Range Images: A Neural
Network Approach . . . . . . . . . . . . 868
J. Ruiz-del-Solar and
M. Koeppen A Neural Architecture for Preattentive
Segmentation of Sewage Pipes Video
Images . . . . . . . . . . . . . . . . . 875
M. A. Jaramillo-Moran and
F. J. Lopez-Aligue and
M. Macias-Macias A CNN Model For Grey Scale Image
Processing . . . . . . . . . . . . . . . 882
R. Natowicz Kohonen's Self Organizing Maps for
Contour Segmentation of Gray Level and
Color Images . . . . . . . . . . . . . . 890
C. G. Puntonet and
M. Rodriguez-Alvarez and
A. Prieto A Geometrical Based Procedure for Source
Separation Mapped to a Neural Network 898
A. Ruiz Garcia and
F. J. Arcas Tunez Quasi-Optimum Combination of Multilayer
Perceptrons for Adaptive Multiclass
Pattern Recognition . . . . . . . . . . 906
J. Echanobe and
J. R. Gonzalez De Mendivil and
J. R. Garitagoitia A Text Recognition System Based on a
Neural Network and on a Deformed System 913
S. Shams Simultaneous Recognition of Multiple
Objects Using the MEM Model . . . . . . 919
J.-W. Cho and
S.-Y. Lee and
C. H. Park On-line Handwritten Character
Recognition by a Hybrid Method based on
Neural Networks and Pattern Matching . . 926
J. Perez Maroto and
Y. A. Dimitriadis and
J. M. Cano Izquierdo and
J. L. Lopez Coronado Analysis and Application of the STORE
Neural Model in Recognizing Handwritten
Symbols . . . . . . . . . . . . . . . . 934
F. Ibarra-Pico and
J. M. Garcia-Chamizo and
R. Rizo-Aldeguer and
D. Corredor Lacha An Adaptative Orthogonal Asociative
Memory and its Application to Character
Recognition . . . . . . . . . . . . . . 942
D. Asensi Muthoz and
A. Almagro Leon and
F. Ibarra Pico Texture Classification on Real Time
Using Semi-cover Vector and an
Orthogonal Neural Network . . . . . . . 948
P. M. Palagi and
A. Guerin-Dugue An Architecture for Texture
Segmentation: from Energy Features to
Region Detection . . . . . . . . . . . . 956
P. Gomez-Vilda and
V. Rodellar and
V. Nieto and
M. A. Hombrados A Lattice-Based Time-Delay Neural
Network for Speech Processing . . . . . 963
I. Noda Acquisition of Internal Representation
by Learning of Identity-mapping Using
Overload Learning . . . . . . . . . . . 971
C. Bandera and
I. M. Conde and
J. Jerez and
M. Gonzalez A Multiacuity Connectionist Model for
Local Speed Estimation . . . . . . . . . 979
F. Arroyo and
A. Gonzalo and
J. R. Hilera Using Artificial Neural Networks for
Ultrasonic Signals Processing from
Simple Geometric Shapes . . . . . . . . 987
P. J. Braspenning Neural Networks as Associative Devices 1
A. J. M. M. Weijters and
G. A. J. Hoppenbrouwers Backpropagation Networks for
Grapheme-Phoneme Conversion . . . . . . 11
J. Henseler Back Propagation . . . . . . . . . . . . 37
H. J. M. Peters Perceptrons . . . . . . . . . . . . . . 67
O. J. Vrieze Kohonen Network . . . . . . . . . . . . 83
E. O. Postma and
P. T. W. Hudson Adaptive Resonance Theory . . . . . . . 101
F. C. R. Spieksma Boltzmann Machines . . . . . . . . . . . 119
J. H. J. Lenting Representation Issues in Boltzmann
Machines . . . . . . . . . . . . . . . . 131
E. O. Postma Optimization Networks . . . . . . . . . 145
Y. Crama and
A. W. J. Kolen and
E. J. Pesch Local Search in Combinatorial
Optimization . . . . . . . . . . . . . . 157
P. Boekhoudt Process Identification and Control . . . 175
W. T. C. Van Luenen Learning Controllers Using Neural
Networks . . . . . . . . . . . . . . . . 205
H. R. A. Cardon and
R. Hoogstraten Key Issues for Successful Industrial
Neural-Network Applications: an
Application in Geology . . . . . . . . . 235
P. J. Braspenning Neural Cognodynamics . . . . . . . . . . 247
P. T. W. Hudson and
E. O. Postma Choosing and Using a Neural Net . . . . 273
M. M. Lehman Process Improvement: The Way Forward . . 1
A. Olive and
M.-R. Sancho A Method for Explaining the Behaviour of
Conceptual Models . . . . . . . . . . . 12
J. F. M. Burg and
R. P. Van de Riet COLOR-X: Linguistically-based Event
Modeling: A General Approach to Dynamic
Modeling . . . . . . . . . . . . . . . . 26
J. A. Pastor-Collado and
A. Olive Supporting Transaction Design in
Conceptual Modelling of Information
Systems . . . . . . . . . . . . . . . . 40
A. L. Opdahl and
G. Sindre Facet Models for Problem Analysis . . . 54
D. Duffy and
C. MacNish and
J. McDermid and
P. Morris A Framework for Requirements Analysis
Using Automated Reasoning . . . . . . . 68
J. Krogstie and
O. I. Lindland and
G. Sindre Towards a Deeper Understanding of
Quality in Requirements Engineering . . 82
E. Andonoff and
G. Hubert and
A. Le Parc and
G. Zurfluh Modelling inheritance, composition and
relationship links between objects,
object versions and class versions . . . 96
A. Dattolo and
V. Loia Hypertext Version Management in an
Actor-based Framework . . . . . . . . . 112
V. Plihon and
C. Rolland Modelling Ways-of-Working . . . . . . . 126
F. Dignum and
H. Weigand Modelling Communication between
Cooperative Systems . . . . . . . . . . 140
J.-M. Aalto Challenges in Applying Objects Large
Systems . . . . . . . . . . . . . . . . 154
T. F. Verhoef and
A. H. M. Ter Hofstede Feasibility of Flexible Information
Modelling Support . . . . . . . . . . . 168
H. Herbst A Meta-Model for Business Rules in
Systems Analysis . . . . . . . . . . . . 186
M. Rossi and
S. Brinkkemper Metrics in Method Engineering . . . . . 200
L. Shklar and
A. Sheth and
V. Kashyap and
K. Shah InfoHarness: Use of Automatically
Generated Metadata for Search and
Retrieval of Heterogeneous Information 217
M. Pettersson Designing the User Interface on Top of a
Conceptual Model . . . . . . . . . . . . 231
G. Viehstaedt and
M. Minas Graphical Representation and
Manipulation of Complex Structures Based
on a Formal Model . . . . . . . . . . . 243
J. C. Grundy and
J. R. Venable Providing Integrated Support for
Multiple Development Notations . . . . . 255
M. Bounab and
C. Godart A Federated Approach to Tool Integration 269
M. D. Gibson and
K. Conheeney Domain Knowledge Reuse During
Requirements Engineering . . . . . . . . 283
A. Geppert and
K. R. Dittrich Strategies and Techniques: Reusable
Artifacts for the Construction of
Database Management Systems . . . . . . 297
G. Bracchi The Impact of New Information
Architectures on Industry and Government
Transformation . . . . . . . . . . . . . 311
O. Rauh and
E. Stickel Standard Transformations for the
Normalization of ER Schemata . . . . . . 313
M. Albrecht and
E. Buchholz and
A. Duesterhoeft and
M. Altus The Rapid Application and Database
Development (RADD) Workbench --- A
Comfortable Database Design Tool . . . . 327
K. Siau and
Y. Wand and
I. Benbasat A Psychological Study on the Use of
Relationship Concept --- Some
Preliminary Findings . . . . . . . . . . 341
P. Parmakson Alignment of Software Quality and
Service Quality . . . . . . . . . . . . 355
V. Narat and
A. Vila A Guide for Software Maintenance
Evaluation: Experience Report . . . . . 366
K. Laitinen Natural Naming in Software Development:
Feedback from Practitioners . . . . . . 375
D. Aspinall Subtyping with Singleton Types . . . . . 1
V. Bono and
L. Liquori A Subtyping for the
Fisher-Honsell-Mitchell Lambda Calculus
of Objects . . . . . . . . . . . . . . . 16
T. Brauener The Girard Translation Extended with
Recursion . . . . . . . . . . . . . . . 31
A. B. Compagnoni Decidability of Higher-Order Subtyping
with Intersection Types . . . . . . . . 46
H. Herbelin A lambda-calculus Structure Isomorphic
to Gentzen-style Sequent Calculus
Structure . . . . . . . . . . . . . . . 61
J. Kuper Usability: Formalising (un)definedness
in Typed Lambda Calculus . . . . . . . . 76
M. Zaionc Lambda Representation of Operations
Between Different Term Algebras . . . . 91
M. Baaz and
G. Salzer Semi-Unification and Generalizations of
a Particularly Simple Form . . . . . . . 106
N. Benton A Mixed Linear and Non-Linear Logic:
Proofs, Terms and Models . . . . . . . . 121
L. Gordeev Cut Free Formalization of Logic with
Finitely Many Variables Part I . . . . . 136
P. Pudlak and
S. R. Buss How to Lie without Being (easily)
Convicted and the Lengths of Proofs in
Propositional Calculus . . . . . . . . . 151
B. Courcelle Monadic Second-Order Logic and Linear
Orderings of Finite Structures . . . . . 163
A. Durand and
S. Ranaivoson First-Order Spectra with One Binary
Predicate . . . . . . . . . . . . . . . 177
E. Grandjean and
F. Olive Monadic Logical Definability of
NP-Complete Problems . . . . . . . . . . 190
C. Lautemann and
T. Schwentick and
D. Therien Logics For Context-Free Languages . . . 205
A. Malmstroem Log-Approximable Minimization Problems
on Random Inputs . . . . . . . . . . . . 217
M. McArthur Convergence and 0-1 Laws for L0k,omega
under Arbitrary Measures . . . . . . . . 228
A. P. Stolboushkin and
M. A. Taitslin Is First Order Contained in an Initial
Segment of PTIME? . . . . . . . . . . . 242
S. E. Finkelstein and
P. Freyd and
J. Lipton Logic Programming in Tau Categories . . 249
V. Kriauciukas and
M. Walicki Reasoning and Rewriting with
Set-Relations I: Ground Completeness . . 264
H. De Nivelle Resolution Games and Non-Liftable
Resolution Orderings . . . . . . . . . . 279
K. U. Schulz On Existential Theories of List
Concatenation . . . . . . . . . . . . . 294
T. Tammet Completeness of Resolution for Definite
Answers with Case Analysis . . . . . . . 309
P. J. Voda Subrecursion as a Basis for a Feasible
Programming Language . . . . . . . . . . 324
R. L. Crole and
A. D. Gordon A Sound Metalogical Semantics for
Input/Output Effects . . . . . . . . . . 339
M. Fairtlough and
M. Mendler An Intuitionistic Modal Logic with
Applications to the Formal Verification
of Hardware . . . . . . . . . . . . . . 354
D. Lester and
S. Mintchev Towards Machine-checked Compiler
Correctness for Higher-order Pure
Functional Languages . . . . . . . . . . 369
Y. N. Moschovakis and
G. T. Whitney Powerdomains, Powerstructures and
Fairness . . . . . . . . . . . . . . . . 382
F. Piessens and
E. Steegmans Canonical Forms for Data-Specifications 397
C. Hermida and
B. Jacobs An Algebraic View of Structural
Induction . . . . . . . . . . . . . . . 412
M. Hofmann On the Interpretation of Type Theory in
Locally Cartesian Closed Categories . . 427
A. V. Chagrov and
V. B. Shehtman Algorithmic Aspects of Propositional
Tense Logics . . . . . . . . . . . . . . 442
P. Cholewinski Stratified Default Theories . . . . . . 456
N. Klarlund A Homomorphism Concept for
omega-Regularity . . . . . . . . . . . . 471
D. Leivant and
J.-Y. Marion Ramified Recurrence and Computational
Complexity II: Substitution and
Poly-space . . . . . . . . . . . . . . . 486
H. B. Marandjian General Form Recursive Equations I . . . 501
V. V. Rybakov Modal Logics Preserving Admissible for
S4 Inference Rules . . . . . . . . . . . 512
V. Y. Sazonov A Bounded Set Theory With
Anti-Foundation Axiom and Inductive
Definability . . . . . . . . . . . . . . 527
M. A. Musen and
S. W. Tu and
A. K. Das and
Y. Shahar A Component-Based Architecture for
Automation of Protocol-Directed Therapy 3
A. L. Rector Coordinating Taxonomies: Key to
Re-Usable Concept Representations . . . 17
K. Binsted and
A. Cawsey and
R. Jones Generating Personalised Patient
Information Using the Medical Record . . 29
A.-M. Rassinoux and
C. Juge and
P.-A. Michel and
R. H. Baud Analysis of Medical Jargon: The RECIT
System . . . . . . . . . . . . . . . . . 42
J. F. Smart and
M. Roux Medical Knowledge Representation for
Medical Report Analysis . . . . . . . . 53
E. T. Keravnou Modelling Medical Concepts as
Time-Objects . . . . . . . . . . . . . . 67
L. Chittaro and
M. Del Rosso and
M. Dojat Modeling Medical Reasoning with the
Event Calculus: An Application to the
Management of Mechanical Ventilation . . 79
C. Larizza and
G. Bernuzzi and
M. Stefanelli A General Framework for Building Patient
Monitoring Systems . . . . . . . . . . . 91
P. Barahona Semi-Qualitative Models and Simulation
for Biomedical Applications . . . . . . 103
L. Ironi and
M. Stefanelli Generating Explanations of
Pathophysiological Systems Behaviors
from Qualitative Simulation of
Compartmental Models . . . . . . . . . . 115
G. Carenini and
S. Monti and
G. Banks An Information-Based Bayesian Approach
to History Taking . . . . . . . . . . . 129
M. Ramoni and
A. Riva and
M. Stefanelli and
V. Patel Medical Decision Making Using Ignorant
Influence Diagrams . . . . . . . . . . . 139
O. K. Hejlesen and
S. Andreassen and
S. K. Andersen Dynamic Propagation in Causal
Probabilistic Networks with Instantiated
Variables . . . . . . . . . . . . . . . 151
E. Safran and
D. Pittet and
F. Borst and
G. Thurler Alerts as Starting Point for Hospital
Infection Surveillance and Control . . . 165
G. Lanzola and
S. Falasconi and
M. Stefanelli Cooperative Software Agents for Patient
Management . . . . . . . . . . . . . . . 173
A. Riva and
R. Bellazzi High Level Control Strategies for
Diabetes Therapy . . . . . . . . . . . . 185
S. Miksch and
W. Horn and
C. Popow and
F. Paky Therapy Planning Using Qualitative Trend
Descriptions . . . . . . . . . . . . . . 197
R. Schmidt and
L. Boscher and
B. Heindl and
G. Schmid Adaptation and Abstraction in a
Case-Based Antibiotics Therapy Adviser 209
L. W. Diamond and
D. T. Nguyen and
P. Ralph and
B. Sheridan Field Evaluations of a Knowledge-Based
System for Peripheral Blood
Interpretation . . . . . . . . . . . . . 221
S. J. Darmoni and
P. Massari and
J.-M. Droy and
T. Blanc Functional Evaluation of SETH: An Expert
System In Clinical Toxicology . . . . . 231
J. Downs and
R. F. Harrison and
S. S. Cross Evaluating a Neural Network
Decision-Support Tool for the Diagnosis
of Breast Cancer . . . . . . . . . . . . 239
D. T. Nguyen and
I. A. Park and
P. Cherubino and
P. B. Tamino Knowledge-Based Systems for Lymph Node
Pathology: A Comparison of Two
Approaches . . . . . . . . . . . . . . . 251
H. Kindler and
D. Densow and
B. Fischer and
T. M. Fliedner Mapping Laboratory Medicine onto the
Select and Test Model to Facilitate
Knowledge-Based Report Generation in
Laboratory Medicine . . . . . . . . . . 265
C. Ohmann and
Q. Yang and
V. Moustakis and
K. Lang Machine Learning Techniques Applied to
the Diagnosis of Acute Abdominal Pain 276
B. Puppe Reflections on Building Medical Decision
Support Systems and Corresponding
Implementation in Diagnostics Shell D3 282
S. Quaglini and
M. Stefanelli and
F. Locatelli Decision Models for Cost-Effectiveness
Analysis: A Means for Knowledge Sharing
and Quality Control in Health Care
Multidisciplinary Tasks . . . . . . . . 295
L. Alpay and
A. Nowlan and
D. Solomon and
C. Lovis Model-Based Application: The Galen
Structured Clinical User Interface . . . 307
H. Kanoui and
M. Joubert and
R. Favard A Knowledge-Based Modeling of Hospital
Information Systems Components . . . . . 319
C. Lovis and
P.- A. Michel and
R. H. Baud and
J.-R. Scherrer Use of a Conceptual Semi-Automatic ICD-9
Encoding System in an Hospital
Environment . . . . . . . . . . . . . . 331
T. Waschulzik and
W. Brauer and
M. Foerster and
K. Kirchner Quality Assurance and Increased
Efficiency in Medical Projects with
Neural Networks by Using a Structured
Development Method for Feedforward
Neural Networks (SENN) . . . . . . . . . 343
J. Downs and
R. F. Harrison and
R. L. Kennedy A Prototype Neural Network
Decision-Support Tool for the Early
Diagnosis of Acute Myocardial Infarction 355
N. Bianchi and
C. Diamantini Integration of Neural Networks and Rule
Based Systems in the Interpretation of
Liver Biopsy Images . . . . . . . . . . 367
C. Spinu and
C. Garbay and
J. M. Chassery A Cooperative and Adaptive Approach to
Medical Image Segmentation . . . . . . . 379
S. Tsumoto and
H. Tanaka and
H. Amano and
K. Ohyama COBRA: Integration of Knowledge-Bases
with Case-Databases in the Domain of
Congenital Malformation . . . . . . . . 393
I. Bichindaritz Case-Based Medical Multi-Expertise: An
Example in Psychiatry . . . . . . . . . 395
C. Combi and
F. Pinciroli and
G. Pozzi TIME-NESIS: A Data Model in Managing
Time Granularity of Natural-Language
Clinical Information . . . . . . . . . . 397
S. Tsumoto and
H. Tanaka Induction of Expert System Rules from
Clinical Databases Based on Rough Set
Theory and Resampling Methods . . . . . 399
B. Brigl and
A. Grau and
P. Ringleb and
T. Steiner Sequential Knowledge Acquisition:
Combining Models and Cases . . . . . . . 401
P. Hajek and
D. Harmancova Medical Fuzzy Expert Systems and
Reasoning about Beliefs . . . . . . . . 403
M. Kurzynski and
M. Wozniak and
A. Blinowska Diagnosis of Human Acid-Base Balance
States via Combined Pattern Recognition
of Markov Chains . . . . . . . . . . . . 405
I. F. Olkhovsky and
S. I. Blokhina Intelligence Formation Problems in
Children at an Early Age Applying New
Computer Technologies under Conditions
of Rehabilitation Center . . . . . . . . 407
I. McClelland and
K. Adamson and
N. Black Telecardiology . . . . . . . . . . . . . 409
G. Steve and
A. Gangemi and
A. Rossi Mori Modelling a Sharable Medical Concept
System: Ontological Foundation in GALEN 411
V. Della Mea and
N. Finato and
C. A. Beltrami A Graph-Based Approach to the Structural
Analysis of Proliferative Breast Lesions 413
A. Taddei and
M. Niccolai and
M. Raciti and
C. Michelassi A Workstation for Clinical Decision
Support in a Local Area Network for
Cardiology . . . . . . . . . . . . . . . 415
E. Salzsieder and
U. Fischer and
A. Hierle and
U. Oppel Knowledge-Based Education Tool to
Improve Quality in Diabetes Care . . . . 417
F. Keller and
R. Arnold and
T. Frankewitsch and
D. Zellner NEPHARM: A Pharmacokinetic Database for
Adjusting Drug Dosage to Impaired Renal
Function . . . . . . . . . . . . . . . . 419
E. Christodoulou A Hybrid Architecture for
Knowledge-Based Systems . . . . . . . . 421
M. Dojat and
F. Pachet Representing Medical Context Using
Rule-Based Object-Oriented Programming
Techniques . . . . . . . . . . . . . . . 423
A. Ultsch and
D. Korus and
T. O. Kleine Integration of Neural Networks and
Knowledge-Based Systems in Medicine . . 425
F. Puppe and
B. Reinhardt and
K. Poeck Generated Critic in the Knowledge Based
Neurology Trainer . . . . . . . . . . . 427
N. Polikarpova An Approach to Analysis of Qualitative
Data with Insufficient Number of
Quantization Levels . . . . . . . . . . 429
D. Gamberger Inductively Learned Rule for Breast
Cancer Domain with Improved
Interobserver Reproducibility . . . . . 431
N. Shahsavar and
O. Wigertz Development and Evaluation of a
Knowledge-Based System to Support
Ventilator Therapy Management . . . . . 433
F. Fiocchi and
A. Gamba and
R. Pizzi and
F. Sicurello A Neural Support to the Prognostic
Evaluation of Cardiac Surgery . . . . . 435
G. Zeilinger and
J. De Mey and
G. Gell and
G. Vrisk DECISion-Support System for Radiological
Diagnostic . . . . . . . . . . . . . . . 437
P. Caleb and
P. K. Sharpe and
R. Jones A Preliminary Investigation into the
Analysis of Electromyographic Activity
Using a System of Multiple Neural
Networks . . . . . . . . . . . . . . . . 439
C. Sell and
S. Herfurth and
A. Rutscher and
E. Salzsieder Knowledge-Based System to Predict the
Effect of Pregnancy on Progression of
Diabetic Retinopathy . . . . . . . . . . 441
R. Anselmi and
G. Paoli and
G. Ghiso and
F. Foppiano A Software to Evaluate Multislices
Radiotherapic Treatment Planning . . . . 443
J. Heras and
R. P. Otero TKR-tool: An Expert System for Total
Knee Replacement Management . . . . . . 444
E. Best and
M. Koutny A Refined View of the Box Algebra . . . 1
F. Mattern Distributed Algorithms and Causally
Consistent Observations . . . . . . . . 21
K. Voss Petri Nets for Information Systems
Modelling . . . . . . . . . . . . . . . 23
K. Barkaoui and
J. M. Couvreur and
C. Dutheillet On Liveness in Extended non
Self-Controlling Nets . . . . . . . . . 25
T. Basten and
M. Voorhoeve An Algebraic Semantics for Hierarchical
P/T Nets . . . . . . . . . . . . . . . . 45
R. Bastide and
P. Palanque A Petri Net based Environment for the
Design of Event-driven Interfaces . . . 66
E. Battiston and
O. Botti and
E. Crivelli and
F. De Cindio An Incremental Specification of a
Hydroelectric Power Plant Control
Systems using a Class of Modular
Algebraic Nets . . . . . . . . . . . . . 84
E. Best and
H. Fleischack and
W. Fraczak and
R. P. Hopkins A Class of Composable High Level Petri
Nets with an Application to the
Semantics of B(PN)02 . . . . . . . . . . 103
R. Brgan and
D. Poitrenand An Efficient Algorithm for the
Computation of Stubborn Sets of Well
Formed Petri Nets . . . . . . . . . . . 121
G. Bruno and
A. Castella and
R. Agarwal and
M. P. Pescarmona CAB: an Environment for Developing
Concurrent Application . . . . . . . . . 141
P. Bucholz A Notion of Equivalence for Stochastic
Petri Nets . . . . . . . . . . . . . . . 161
S. Caselli and
G. Conte and
P. Marenzoni Parallel State Space Exploration for
GSPN Models . . . . . . . . . . . . . . 181
S. Christensen and
L. Petrucci Modular State Space Analysis of Coloured
Petri Nets . . . . . . . . . . . . . . . 201
L. Gomes and
A. Steiger-Garcao Programmable Controller Design based on
a Synchronized Colored Petri Net Model
and Integrating Fuzzy Reasoning . . . . 218
S. Haddad and
J. M. Ilie and
M. Taghelit and
B. Zouari Symbolic Reachability Graph and Partial
Symmetries . . . . . . . . . . . . . . . 238
J.-P Katoen Causal Behaviours and Nets . . . . . . . 258
C. Lakos From Coloured Petri Nets to Object Petri
Nets . . . . . . . . . . . . . . . . . . 278
D.-I. Lee and
S. Kumagai and
S. Kodama Handles and Reachability Analysis of
Free Choice Nets . . . . . . . . . . . . 298
Z. Liu Performance Bounds for Stochastic Timed
Petri Nets . . . . . . . . . . . . . . . 316
M. Molla-Hosseini and
R. M. Kerr and
R. B. Randall and
R. B. Platfoot An Inspection Model with Minimal and
Major Maintenance for a Flexible
Manufacturing Cell using Generalized
Stochastic Petri Nets . . . . . . . . . 335
H. Reineke Subclasses of Recognizable Trace
Languages . . . . . . . . . . . . . . . 357
O. Roig and
J. Cortadella and
E. Pastor Verification of Asynchronous Circuits by
BDD-based Model Checking of Petri Nets 374
K. Schmidt Parameterized Reachability Trees for
Algebraic Petri Nets . . . . . . . . . . 392
S. Schoef and
M. Sonnenschein and
R. Wieting Efficient Simulation of THOR Nets . . . 412
G. Schreiber Functional Equivalences of Petri Nets 432
P. Senac and
P. De Saqui-Sannes and
R. Willrich Hierarchical Time Stream Petri Net: A
Model for Hypermedia Systems . . . . . . 451
M. Telek and
A. Bobbio Markov Regenerative Stochastic Petri
Nets with Age Type General Transitions 471
V. Valero and
D. De Frutos and
F. Cuartero Timed Processes of Timed Petri Nets . . 490
D. Gries Equational Logic as a Tool . . . . . . . 1
J. M. Wing Teaching Mathematics to Software
Engineers . . . . . . . . . . . . . . . 18
T. Ralston and
S. Gerhart and
D. Craigen The Role of Education and Training in
the Industrial Application of Formal
Methods . . . . . . . . . . . . . . . . 41
E. Orlowska Information Algebras . . . . . . . . . . 50
K. R. Apt and
I. Luitjes Verification of Logic Programs with
Delay Declarations . . . . . . . . . . . 66
J. A. Goguen and
R. Diaconescu An Introduction to Category-Based
Equational Logic . . . . . . . . . . . . 91
R. Parikh Knowledge-Based Computation . . . . . . 127
A. E. Haxthausen Order-Sorted Algebraic Specifications
with Higher-Order Functions . . . . . . 133
M. Bidoit and
R. Hennicker Proving the Correctness of Behavioural
Implementations . . . . . . . . . . . . 152
M. Dam On the Decidability of Process
Equivalences for the $ \pi $-Calculus 169--183
C. Oriat Detecting Isomorphisms of Modular
Specifications with Diagrams . . . . . . 184
C. Prehofer Higher-Order Narrowing with Convergent
Systems . . . . . . . . . . . . . . . . 199
E. Badouel and
P. Darondeau and
J.-C. Raoult Context-Free Event Domains are
Recognizable . . . . . . . . . . . . . . 214
D. Terrasse Encoding Natural Semantics in Coq . . . 230
B. Jacobs Mongruences and Cofree Coalgebras . . . 245
M. V. Cengarle Semantic Typing for Parametric Algebraic
Specifications . . . . . . . . . . . . . 261
L. J. Jagadeesan and
R. Jagadeesan Causality and True Concurrency: A
Data-flow Analysis of the Pi-Calculus 277
L. De Alfaro and
Z. Manna Verification in Continuous Time by
Discrete Reasoning . . . . . . . . . . . 292
G. Ferrari and
U. Montanari Dynamic Matrices and the Cost Analysis
of Concurrent Programs . . . . . . . . . 307
A. Cheng Petri Nets, Traces, and Local Model
Checking . . . . . . . . . . . . . . . . 322
E. I. Leonard and
A. E. Zwarico An Algebraic Framework for Developing
and Maintaining Real-Time Systems . . . 338
P. Collette and
E. Knapp Logical Foundations for Compositional
Verification and Development of
Concurrent Programs in UNITY . . . . . . 353
A. Corradini and
F. Gadducci CPO Models for Infinite Term Rewriting 368
A. Montanari and
M. De Rijke Completeness Results for Two-Sorted
Metric Temporal Logics . . . . . . . . . 385
N. Brown and
A. Mokkedem On Mechanizing Proofs within a Complete
Proof System for Unity . . . . . . . . . 400
D. Kapur and
M. Subramaniam Automated Reasoning about Parallel
Algorithms using Powerlists . . . . . . 416
A. Dold Representing, Verifying and Applying
Software Development Steps using the PVS
System . . . . . . . . . . . . . . . . . 431
M. Gogolla and
R. Herzig An Algebraic Development Technique for
Information Systems . . . . . . . . . . 446
P. Bumbulis and
P. S. C. Alencar and
D. D. Cowan and
C. J. P. Lucena A Framework for Machine-Assisted User
Interface Verification . . . . . . . . . 461
M. Heisel Specification of the Unix File System: A
Comparative Case Study . . . . . . . . . 475
Y. Isobe and
Y. Sato and
K. Ohmaki A Calculus of Countable Broadcasting
Systems . . . . . . . . . . . . . . . . 489
A. Bergeron Symbolic Timing Devices . . . . . . . . 504
R. Bagai and
R. Sunderraman An Algebraic Construction of the
Well-Founded Model . . . . . . . . . . . 518
M. Falaschi and
M. Gabbrielli and
K. Marriott and
C. Palamidessi Confluence in Concurrent Constraint
Programming . . . . . . . . . . . . . . 531
P. Rajagopalan and
C. P. Tsang A Generic Algebra for Data Collections
Based on Constructive Logic . . . . . . 546
B. Jayaraman and
M. Osorio and
K. Moon Partial Order Programming . . . . . . . 561
A. Bouhoula and
M. Rusinowitch SPIKE: A System for Automatic Inductive
Proofs . . . . . . . . . . . . . . . . . 576
J. Eusterbrock SEAMLESS: Knowledge Based Evolutionary
System Synthesis . . . . . . . . . . . . 578
H. M. Jamil and
L. V. S. Lakshmanan An Object-Oriented Front-End for
Deductive Databases . . . . . . . . . . 581
B. Jayaraman and
K. Moon The SuRE Programming Framework . . . . . 585
L. V. S. Lakshmanan and
I. N. Subramanian and
D. Papoulis and
N. Shiri A Declarative System for Multi-Database
Interoperability . . . . . . . . . . . . 586
H. A. Sahraoui The METAGEN System . . . . . . . . . . . 590
V. Bafna and
S. Muthukrishnan and
R. Ravi Computing Similarity between RNA Strings 1
C. Benham and
S. Kannan and
T. Warnow Of Chicken Teeth and Mouse Eyes, or
Generalized Character Compatibility . . 17
D. Breslauer and
L. Gasieniec Efficient String Matching on Coded Texts 27
A. L. Cobbs Fast Approximate Matching using Suffix
Trees . . . . . . . . . . . . . . . . . 41
V. Dancik Common Subsequences and Supersequences
and Their Expected Length . . . . . . . 55
J. Fu Pattern Matching in Directed Graphs . . 64
L. Gasieniec and
W. Plandowski and
W. Rytter Constant-Space String Matching with
Smaller Number of Comparisons:
Sequential Sampling . . . . . . . . . . 78
R. Giancarlo and
R. Grossi Multi-Dimensional Pattern Matching with
Dimensional Wildcards . . . . . . . . . 90
L. A. Goldberg and
P. W. Goldberg and
C. A. Phillips and
E. Sweedyk Minimizing Phylogenetic Number to Find
Good Evolutionary Trees . . . . . . . . 102
S. K. Gupta and
J. D. Kececioglu and
A. A. Schaeffer Making the Shortest-Paths Approach to
Sum-of-Pairs Multiple Sequence Alignment
More Space Efficient in Practice . . . . 128
L. Hanks and
R. K. Cytron and
W. Gillett An Efficient Algorithm for Developing
Topologically Valid Matchings . . . . . 144
S. Hannenhalli Polynomial-Time Algorithm for Computing
Translocation Distance between Genomes 162
J. Hein and
T. Jiang and
L. Wang and
K. Zhang On the Complexity of Comparing
Evolutionary Trees . . . . . . . . . . . 177
J. Kaerkkaeinen Suffix Cactus: A Cross between Suffix
Tree and Suffix Array . . . . . . . . . 191
M. Karpinski and
W. Rytter and
A. Shinohara Pattern-Matching for Strings with Short
Descriptions . . . . . . . . . . . . . . 205
L. Knecht Pairwise Alignment with Scoring on
Tuples . . . . . . . . . . . . . . . . . 215
G. Kucherov and
M. Rusinowitch Matching a Set of Strings with Variable
Length Don't Cares . . . . . . . . . . . 230
A. M. Lesk Three-Dimensional Pattern Matching in
Protein Structure Analysis . . . . . . . 248
H. W. Mewes and
K. Heumann Genome Analysis: Pattern Search in
Biological Macromolecules (Invited
Lecture) . . . . . . . . . . . . . . . . 261
M. Mohri Matching Patterns of an Automaton . . . 286
S. Muthukrishnan New Results and Open Problems Related to
Non-Standard Stringology . . . . . . . . 298
K. Park and
Dong Kyue Kim String Matching in Hypertext . . . . . . 318
R. Ravi and
J. D. Kececioglu Approximation Algorithms for Multiple
Sequence Alignment under a Fixed
Evolutionary Tree . . . . . . . . . . . 330
C. Rick A New Flexible Algorithm for the Longest
Common Subsequence Problem . . . . . . . 340
E. Roche Smaller Representations for Finite-State
Transducers and Finite-State Automata 352
M.-F. Sagot and
A. Viari and
H. Soldano Multiple Sequence Comparison --- A
Peptide Matching Approach . . . . . . . 366
U. Vishkin On a Technique for Parsing a String
(Invited Lecture) . . . . . . . . . . . 386
A. C. Yao and
F. F. Yao Dictionary Look-Up with Small Errors . . 387
K. Zhang and
J. T. L. Wang and
D. Shasha On the Editing Distance between
Undirected Acyclic Graphs and Related
Problems . . . . . . . . . . . . . . . . 395
D. Johansen and
G. Hartvigsen Architectural issues in the StormCast
system . . . . . . . . . . . . . . . . . 1
S. K. Shrivastava Lessons learned from building and using
the Arjuna distributed programming
system . . . . . . . . . . . . . . . . . 17
B. Whetten and
T. Montgomery and
S. Kaplan A high performance totally ordered
multicast protocol . . . . . . . . . . . 33
R. Van Renesse and
K. P. Birman and
T. Von Eicken and
K. Marzullo New applications for group computing . . 58
M. Kolland Support for information sharing in CSCW
based on causally and totally ordered
group communication . . . . . . . . . . 64
D. Dolev and
D. Malki The design of the Transis system . . . . 83
M. K. Reiter The Rampart toolkit for building
high-integrity services . . . . . . . . 99
L. Alvisi and
K. Marzullo Deriving optimal checkpoint protocols
for distributed shared memory
architectures . . . . . . . . . . . . . 111
R. Guerraoui and
A. Schiper Transaction model vs. virtual synchrony
models: bridging the gap . . . . . . . . 121
J. Magee and
S. Eisenbach and
J. Kramer Modelling Darwin in the $ \lambda
$-calculus . . . . . . . . . . . . . . . 133
K. Geihs and
B. Baer and
A. Puder Towards open service environments . . . 153
W. Reisig Correctness proofs of distributed
algorithms . . . . . . . . . . . . . . . 164
S. Dawson and
F. Jahanian Deterministic fault injection of
distributed systems . . . . . . . . . . 178
F. Mattern and
S. Fuenfrocken A non-blocking lightweight
implementation of causal order message
delivery . . . . . . . . . . . . . . . . 197
K. P. Birman Merits of a probabilistic approach to
properties in process group systems . . 214
M. Mizuno and
M. Raynal and
J. Z. Zhou Sequential consistency in distributed
systems . . . . . . . . . . . . . . . . 224
R. Schwarz Speedup limits for tightly-coupled
parallel computations . . . . . . . . . 242
R. E. Bryant Multipliers and Dividers: Insights on
Arithmetic Circuit Verification . . . . 1
J. Bern and
C. Meinel and
A. Slobodova Global Rebuilding of OBDD's --- Avoiding
Memory Requirement Maxima . . . . . . . 4
A. Dsouza and
B. Bloom Generating BDD Models for Process
Algebra Terms . . . . . . . . . . . . . 16
D. A. Basin and
N. Klarlund Hardware Verification Using Monadic
Second-Order Logic . . . . . . . . . . . 31
B. Jonsson and
L. Kempe Verifying Safety Properties of a Class
of Infinite-State Distributed Algorithms 42
J. Dingel and
T. Filkorn Model Checking for Infinite State
Systems Using Data Abstraction,
Assumption-Commitment Style Reasoning
and Theorem Proving . . . . . . . . . . 54
E. P. Gribomont and
D. Rossetto CAVEAT: Technique and Tool for Computer
Aided Verification and Transformation 70
S. Rajan and
N. Shankar and
M. K. Srivas An Integration of Model Checking with
Automated Proof Checking . . . . . . . . 84
R. Hojati and
R. K. Brayton Automatic Datapath Abstraction in
Hardware Systems . . . . . . . . . . . . 98
A. Rauzy Toupie = $ \mu $-Calculus + Constraints 114--126
L. J. Jagadeesan and
C. Puchol and
J. E. Von Olnhausen Safety Property Verification of Esterel
Programs and Applications to
Telecommunications Software . . . . . . 127
E. A. Emerson Methods for $ m u $-Calculus Model
Checking . . . . . . . . . . . . . . . . 141
H. R. Andersen and
B. Vergauwen Efficient Checking of Behavioural
Relations and Modal Assertions Using
Fixed-Point Inversion . . . . . . . . . 142
A. Aziz and
V. Singhal and
F. Balarin and
R. K. Brayton It Usually Works: The Temporal Logic of
Stochastic Systems . . . . . . . . . . . 155
R. Alur and
T. A. Henzinger Local Liveness for Compositional
Modeling of Fair Reactive Systems . . . 166
K. L. McMillan Trace Theoretic Verification of
Asynchronous Circuits Using Unfoldings 180
A. Bouajjani and
Y. Lakhnech and
R. Robbana From Duration Calculus to Linear Hybrid
Automata . . . . . . . . . . . . . . . . 196
O. V. Sokolsky and
S. A. Smolka Local Model Checking for Real-Time
Systems . . . . . . . . . . . . . . . . 211
T. A. Henzinger and
P.-H. Ho Algorithmic Analysis of Nonlinear Hybrid
Systems . . . . . . . . . . . . . . . . 225
H. Lescow On Polynomial-Size Programs Winning
Finite-State Games . . . . . . . . . . . 239
S. C. Krishnan and
A. Puri and
R. K. Brayton and
P. P. Varaiya The Rabin Index and Chain Automata, with
Applications to Automata and Games . . . 253
M. Y. Vardi An Automata-Theoretic Approach to Fair
Realizability and Synthesis . . . . . . 267
A. Aziz and
F. Balarin and
R. K. Brayton and
M. D. DiBenedetto Supervisory Control of Finite State
Machines . . . . . . . . . . . . . . . . 279
P. Cousot and
R. Cousot Compositional and Inductive Semantic
Definitions in Fixpoint, Equational,
Constraint, Closure-Condition,
Rule-Based and Game-Theoretic Form . . . 293
E. A. Emerson and
A. P. Sistla Utilizing Symmetry when Model Checking
Under Fairness Assumptions: an
Automata-Theoretic Approach . . . . . . 309
O. Kupferman Augmenting Branching Temporal Logics
with Existential Quantification over
Atomic Propositions . . . . . . . . . . 325
R. P. Kurshan and
M. Merritt and
A. Orda and
S. R. Sachs Modelling Asynchrony with a Synchronous
Model . . . . . . . . . . . . . . . . . 339
J. Esparza and
A. Kiehn On the Model Checking Problem for
Branching Time Logics and Basic Parallel
Processes . . . . . . . . . . . . . . . 353
A. T. Eiriksson and
K. L. McMillan Using Formal Verification/Analysis
Methods on the Critical Path in System
Design . . . . . . . . . . . . . . . . . 367
P.-H. Ho and
H. Wong-Toi Automated Analysis of an Audio Control
Protocol . . . . . . . . . . . . . . . . 381
C. Fidge and
P. Kearney and
M. Utting Interactively Verifying a Simple
Real-Time Scheduler . . . . . . . . . . 395
D. Dill and
H. Wong-Toi Verification of Real-Time Systems by
Successive Over and Under Approximation 409
H. Hulgaard and
S. M. Burns Efficient Timing Analysis of a Class of
Petri Nets . . . . . . . . . . . . . . . 423
A. Bouajjani and
R. Robbana Verifying omega-Regular Properties for a
Subclass of Linear Hybrid Systems . . . 437
R. G. G. Cattell Object Databases and Standards . . . . . 1
A. Ghafoor Multimedia Database Management:
Perspectives and Challenges . . . . . . 12
S. Courtenage and
A. Poulovassilis Combining Inheritance and Parametric
Polymorphism in a Functional Database
Language . . . . . . . . . . . . . . . . 24
D. Sutton and
C. Small Extending Functional Database Languages
to Update Completeness . . . . . . . . . 47
J. C. Nordbotten and
M. E. Crosby Recognising Graphic Detail --- An
Experiment in User Interpretation of
Data Models . . . . . . . . . . . . . . 64
D. Haw and
C. A. Goble and
A. L. Rector The Pragmatics of Naive Database Enquiry 79
K. J. Mitchell and
J. B. Kennedy and
P. J. Barclay Using a Conceptual Data Language to
Describe a Database and its Interface 101
J. C. Sieg and
D. Pinkney and
J. Lamoureaux Scheduling Query Plans with
Buffer-requirement Estimates . . . . . . 120
H. M. Veenhof and
P. M. G. Apers and
A. W. Houtsmathe Optimisation of Spatial Joins using
Filters . . . . . . . . . . . . . . . . 136
S. Gukal and
E. Omiecinski and
U. Ramachandran An Efficient Transient Versioning Method 155
W. Hussak and
J. A. Keane Concurrency Control of Tiered Flat
Transactions . . . . . . . . . . . . . . 172
H. Kim and
S. Lee and
H.-J. Kim Two Step Pruning: A Distributed Query
Optimisation Algorithm . . . . . . . . . 183
H. Kaufmann and
H.-J. Schek Text Search Using Database Systems
Revisited --- Some Experiments . . . . . 204
R. M. Alzahrani and
M. A. Qutaisha and
N. J. Fiddian and
W. A. Gray Integrity Management in an
Object-oriented Federated Database
Environment . . . . . . . . . . . . . . 226
P. Watson and
G. Catlow The Architecture of the ICL GOLDRUSH
MegaSERVER . . . . . . . . . . . . . . . 249
J. Kerridge and
D. Walter and
R. Guiton W-SQL: An Interface for Scalable, Highly
Parallel Database Machines . . . . . . . 263
Anonymous Language restriction: Complexity of
minimal reasoning . . . . . . . . . . . 27
Anonymous Approximation of a logical theory . . . 67
Anonymous Using complexity results for evaluating
approximation techniques . . . . . . . . 123
Günter Böckle Exploitation of Fine-Grain Parallelism ix + 188
Anonymous Fundamental Principles of
Object-Oriented Systems . . . . . . . . 8
Anonymous Basic Concepts for Metaclasses in the
Object-Oriented Data Model . . . . . . . 14
Anonymous Semantic Data Modelling . . . . . . . . 71
Anonymous Metaclasses for Semantic Data Modelling 82
Anonymous Object Class Definition by
Generalization . . . . . . . . . . . . . 123
Anonymous Metaclasses for Object Class Definition
by Generalization . . . . . . . . . . . 150
Anonymous Metaclasses in other Object-Oriented
Systems . . . . . . . . . . . . . . . . 172
A. Ehrenfeucht and
T. Harju and
G. Rozenberg Theory of 2-Structures . . . . . . . . . 1
V. Diekert and
P. Gastin A Domain for Concurrent Termination: A
Generalization of Mazurkiewicz Traces 15
Z. Esik and
M. Bertol Nonfinite Axiomatizability of the
Equational Theory of Shuffle . . . . . . 27
W. Kuich The Algebraic Equivalent of AFL Theory 39
K. Culik and
J. Kari Finite State Transformations of Images 51
M. Lipponen Post Correspondence Problem: Words
Possible as Primitive Solutions . . . . 63
Y. Metivier and
G. Richomme and
P.-A. Wacrenier Computing the Closure of Sets of Words
under Partial Commutations . . . . . . . 75
H. L. Bodlaender and
B. De Fluiter Intervalizing $k$-Colored Graphs . . . . 87
Z.- Z. Chen NC Algorithms for Finding a Maximal Set
of Paths with Application to Compressing
Strings . . . . . . . . . . . . . . . . 99
R. Giancarlo and
R. Grossi On the Construction of Classes of Suffix
Trees for Square Matrices: Algorithms
and Applications . . . . . . . . . . . . 111
A. Parra and
P. Scheffler How to Use the Minimal Separators of a
Graph for its Chordal Triangulation . . 123
J.-C. Bermond and
L. Gargano and
A. A. Rescigno and
U. Vaccaro Fast Gossiping by Short Messages . . . . 135
F. Bao and
Y. Igarashi Break Finite Automata Public Key
Cryptosystem . . . . . . . . . . . . . . 147
S. Nikoletseas and
J. Reif and
P. Spirakis and
M. Yung Short Memory in Stochastic Graphs: Fully
Dynamic Connectivity in Poly-Log
Expected Time . . . . . . . . . . . . . 159
C. Blundo and
A. De Santis and
G. Persiano and
U. Vaccaro On the Number of Random Bits in Totally
Private Computation . . . . . . . . . . 171
R. Freivalds and
M. Karpinski Lower Time Bounds for Randomized
Computation . . . . . . . . . . . . . . 183
J. Koebler and
O. Watanabe New Collapse Consequences of NP Having
Small Circuits . . . . . . . . . . . . . 196
J. L. Balcazar The Complexity of Searching Succinctly
Represented Graphs . . . . . . . . . . . 208
F. Bauernoeppel and
E. Kranakis and
D. Krizanc and
A. Maheshwari Optimal Shooting: Characterizations and
Applications . . . . . . . . . . . . . . 220
V. Auletta and
D. Parente and
G. Persiano Placing Resources in a Tree: Dynamic and
Static Algorithms . . . . . . . . . . . 232
S. Chaudhuri and
C. D. Zaroliagis Shortest Path Queries in Digraphs of
Small Treewidth . . . . . . . . . . . . 244
M. J. Golin and
G. Rote A Dynamic Programming Algorithm for
Constructing Optimal Prefix-Free Codes
for Unequal Letter Costs . . . . . . . . 256
H. L. Bodlaender and
T. Hagerup Parallel Algorithms with Optimal Speedup
for Bounded Treewidth . . . . . . . . . 268
M. Rauch Henzinger Approximating Minimum Cuts under
Insertions . . . . . . . . . . . . . . . 280
D. G. Corneil and
S. Olariu and
L. Stewart Linear Time Algorithms for Dominating
Pairs in Asteroidal Triple-Free Graphs 292
S. Leonardi and
A. Marchetti-Spaccamela On-line Resource Management with
Applications to Routing and Scheduling 303
H. Petersen Alternation in Simple Devices . . . . . 315
T. A. Henzinger Hybrid Automata with Finite
Bisimulations . . . . . . . . . . . . . 324
L.- M. Lopez and
P. Narbel Generalized Sturmian Languages . . . . . 336
J.-E. Pin and
P. Weil Polynomial Closure and Unambiguous
Product . . . . . . . . . . . . . . . . 348
A. M. Ben-Amram and
Z. Galil Lower Bounds on Algebraic Random Access
Machines . . . . . . . . . . . . . . . . 360
A. Pietracaprina and
G. Pucci Improved Deterministic PRAM Simulation
on the Mesh . . . . . . . . . . . . . . 372
K. Ambos-Spies On Optimal Polynomial Time
Approximations: P-Levelability vs. cap
delta-Levelability . . . . . . . . . . . 384
S. A. Fenner and
J. H. Lutz and
E. Mayordomo Weakly Useful Sequences . . . . . . . . 393
T. Schwentick Graph Connectivity, Monadic NP and
Built-in Relations of Moderate Degree 405
T. A. Henzinger and
P. W. Kopke and
H. Wong-Toi The Expressive Power of Clocks . . . . . 417
G. Paun Grammar Systems: A Grammatical Approach
to Distribution and Cooperation . . . . 429
T. Harju and
J. Karhumaeki and
W. Plandowski Compactness of Systems of Equations in
Semigroups . . . . . . . . . . . . . . . 444
P. Duris and
Z. Galil Sensing versus Nonsensing Automata . . . 455
P. Bozanis and
N. Kitsios and
C. Makris and
A. Tsakalidis New Upper Bounds for Generalized
Intersection Searching Problems . . . . 464
B. Becker and
R. Drechsler and
M. Theobald OKFDDs versus OBDDs and OFDDs . . . . . 475
M. V. Marathe and
R. Ravi and
R. Sundaram and
S. S. Ravi Bicriteria Network Design Problems . . . 487
N.-M. Le On Determining Optimal Strategies in
Pursuit Games in the Plane . . . . . . . 499
A. Rubio Extension Orderings . . . . . . . . . . 511
S. Greco and
D. Sacca and
C. Zaniolo The PushDown Method to Optimize Chain
Logic Programs . . . . . . . . . . . . . 523
J. H. Andersen and
K. J. Kristoffersen and
K. G. Larsen and
J. Niedermann Automatic Synthesis of Real Time Systems 535
M. Blum and
B. Codenotti and
P. Gemmell and
T. Shahoumian Self-Correcting for Function Fields of
Finite Transcendental Degree . . . . . . 547
L. Fortnow and
R. Freivalds and
W. I. Gasarch and
M. Kummer Measure, Category and Learning Theory 558
M. Cosnard and
E. Goles A Characterization of the Existence of
Energies for Neural Networks . . . . . . 570
H. Juergensen and
S. Konstantinidis Variable-Length Codes for Error
Correction . . . . . . . . . . . . . . . 581
S. Khuller and
E. Rivlin and
A. Rosenfeld Graphbots: Mobility in Discrete Spaces 593
E. Best and
M. Koutny Solving Recursive Net Equations . . . . 605
A. Dawar and
L. Hella and
P. G. Kolaitis Implicit Definability and Infinitary
Logic in Finite Model Theory . . . . . . 624
W. Vogler The Limit of Splitn-Language Equivalence 636
V. Natarajan and
R. Cleaveland Divergence and Fair Testing . . . . . . 648
P. Degano and
C. Priami Causality for Mobile Processes . . . . . 660
D. Sangiorgi Internal Mobility and Agent-Passing
Calculi . . . . . . . . . . . . . . . . 672
G. Shafer Philosophical Foundations for Causal
Networks . . . . . . . . . . . . . . . . 3
P. Smets Non-Standard Probabilistic and Non
Probabilistic Representations of
Uncertainty . . . . . . . . . . . . . . 13
J. Kohlas and
H. W. Brachinger Argumentation Systems and Evidence
Theory . . . . . . . . . . . . . . . . . 41
M. Daniel Algebraic Structures Related to
Dempster-Shafer Theory . . . . . . . . . 51
Z. Wang and
W. Wang Extension of Lower Probabilities and
Coherence of Belief Measures . . . . . . 62
C. Padet and
A. Ramer and
R. Yager A Note on Multi-Objective Information
Measures . . . . . . . . . . . . . . . . 70
K. Mellouli Decision Making Using Belief Functions:
Evaluation of Information . . . . . . . 77
A. P. David and
U. Kjoerulff and
S. L. Lauritzen Hybrid Propagation in Junction Trees . . 87
A. Cano and
S. Moral Heuristic Algorithms for the
Triangulation of Graphs . . . . . . . . 98
H. Xu Computing Marginals from the Marginal
Representation in Markov Trees . . . . . 108
S. K. M. Wong and
Y. Xiang and
X. Nie Representation of Bayesian Networks as
Relational Databases . . . . . . . . . . 117
M. Lopez Decision Influence Diagrams with Fuzzy
Utilities . . . . . . . . . . . . . . . 131
J. Liang and
Q. Ren and
Z. Xu and
J. Fang Causal Networks and Their Toolkit in KSE 139
S. Acid and
L. M. De Campos Approximations of Causal Networks by
Polytrees: an Empirical Study . . . . . 149
K. J. Ezawa Evidence Propagation on Influence
Diagrams and Value of Evidence . . . . . 159
M. P. Wellman Some Varieties of Qualitative
Probability . . . . . . . . . . . . . . 171
S. Parsons and
A. Saffiotti The Qualitative Verification of
Quantitative Uncertainty . . . . . . . . 180--189
L. M. De Campos and
J. F. Huete and
S. Moral Uncertainty Management Using Probability
Intervals . . . . . . . . . . . . . . . 190
A. Gilio Probabilistic Consistency of Conditional
Probability Bounds . . . . . . . . . . . 200
M. C. Alonso and
M. A. Gil Testing the Convenience of a Variate for
Stratification in Estimating the
Gini-Simpson Diversity . . . . . . . . . 210
D. Ralescu Fuzzy Probabilities and their
Applications to Statistical Inference 217
C. Georgescu and
A. Afshari and
G. Bornard A Bayesian Functional Approach to Fuzzy
System Representation . . . . . . . . . 223
D. Morales and
L. Pardo and
M. Salicru and
M. L. Menendez Information Matrices Associated to
(h,0)-Divergence Measures: Applications
to Testing Hypotheses . . . . . . . . . 233
J. A. Pardo and
M. C. Pardo and
M. L. Vicente and
M. D. Esteban Informational Energy Test for Equality
of Variances . . . . . . . . . . . . . . 241
C. Bertoluzza and
T. Brezmes and
G. Naval Compositive Information Measure of a
Fuzzy Set . . . . . . . . . . . . . . . 248
R. Vallee Informational Time . . . . . . . . . . . 255
D. Dubois and
F. Dupin de Saint Cyr and
H. Prade Updating, Transition Constraints and
Possibilistic Markov Chains . . . . . . 263
J. Gebhardt and
R. Kruse A Numerical Framework for Possibilistic
Abduction . . . . . . . . . . . . . . . 281
L. Farithas del Cerro and
A. Herzig Possibility Theory and Independence . . 292
B. Cappelle and
E. E. Kerre A General Possibilistic Framework for
Reliability Theory . . . . . . . . . . . 311
S. Sandri and
G. Bittencourt Possibilistic Semantic Nets . . . . . . 318
E. Trillas and
S. Cubillo and
A. R. De Soto An Essay on Name and Extension of
Rule-Given Properties . . . . . . . . . 329
C. A. A. P. Abar and
M. Yamashita On Non-Alethic Logic . . . . . . . . . . 339
M. Studeny Marginal Problem in Different Calculi of
AI . . . . . . . . . . . . . . . . . . . 348
P. Besnard and
Y. Moinard Implication Connectives for Logics with
Right Weakening . . . . . . . . . . . . 360
S. Guiasu Stochastic Logic . . . . . . . . . . . . 370
S. Gottwald An Approach to Handle Partially Sound
Rules of Inference . . . . . . . . . . . 380
S. Bruening and
T. Schaub Using Classical Theorem-Proving
Techniques for Approximate Reasoning:
Revised Report . . . . . . . . . . . . . 389
O. Gasquet and
A. Herzig Translation-Based Deduction Methods for
Modal Logics . . . . . . . . . . . . . . 399
R. M. Da Silva and
A. E. C. Pereira and
M. A. Netto A System of Knowledge Representation
Based in Formulae of Predicate Calculus
whose Variables are Annotated by
Expressions of A ``Fuzzy''
Terminological Logic . . . . . . . . . . 409
J. Bigham Using Preference based Heuristics to
Control Abductive Reasoning . . . . . . 418
G. Escalada-Imaz and
F. Manya Efficient Interpretation of
Propositional Multiple-valued Logic
Programs . . . . . . . . . . . . . . . . 428
L. Godo and
W. Van der Hoek and
J.-J. C. Meyer and
C. Sierra Many-Valued Epistemic States: An
Application to a Reflexive Architecture:
Milord-II . . . . . . . . . . . . . . . 440
W. S. Gan Acoustical Chaotic Fractal Images for
Medical Imaging . . . . . . . . . . . . 455
K. Sakai and
T. Katayama and
S. Wada and
H. Oiwa Chaos Causes Perspective Reversals for
Ambiguous Patterns . . . . . . . . . . . 463
M. E. Cohen and
D. L. Hudson and
M. F. Anderson and
P. C. Deedwania Implications of a Continuous Approach to
Chaotic Modeling . . . . . . . . . . . . 473
E. Bernard-Weil ``Homeostatic'' Control of Imbalanced
Strange Attractors with or without
Asking to a Change in Chaotic Dynamics 483
S. Park and
J. D. Palmer A Feature-Based Reuse Library . . . . . 495
H. Gall and
R. Kloesch Managing Uncertainty in an Object
Recovery Process . . . . . . . . . . . . 501
M. A. Simos Juggling in Free Fall: Uncertainty
Management Aspects of Domain Analysis
Methods . . . . . . . . . . . . . . . . 512
B. J. Balentine and
M. K. Zand and
M. H. Samadzadeh Hybrid Fuzzy Metrics for Software
Reusability . . . . . . . . . . . . . . 522
M. Bakhouch A Program Transformation System for
Software Reuse . . . . . . . . . . . . . 534
R. T. Mittermeir and
L. Wuerfl Abstract Visualization of Software. A
Basis for a Complex Hash-Key? . . . . . 545
M. Mukunoki and
M. Minoh and
K. Ikeda Retrieval of Images Using Pixel-based
Objects Models . . . . . . . . . . . . . 557
W. Zhang and
A. Ralescu Object Recognition Based on Pattern
Features . . . . . . . . . . . . . . . . 567
H. H. Bothe and
N. Von Boetticher Key-Picture Selection for the Analysis
of Visual Speech with Fuzzy Methods . . 577
F. D. Anger and
R. V. Rodriguez Effective Scheduling of Tasks under Weak
Temporal Interval Constraints . . . . . 584
V. Nimier Introducing Contextual Information in
Multisensor Tracking Algorithms . . . . 595
R. Ferreiro Garcia FAM on Gain Scheduling Control of Highly
Nonlinear and Disturbed Processes . . . 605
A. Guenoche How to Choose According to Partial
Evaluations? . . . . . . . . . . . . . . 611
M. Moulet The Role of Measurement Uncertainty in
Numeric Law Induction . . . . . . . . . 619
N. Alechina For All Typical . . . . . . . . . . . . 1
M. Alvarado A Posteriori Knowledge: From Ambiguous
Knowledge and Undefined Information to
Knowledge . . . . . . . . . . . . . . . 9
P. Baroni and
G. Guida and
S. Mussi Modeling Uncertain Relational Knowledge:
The AV-Qualified Production Rules
Approach . . . . . . . . . . . . . . . . 18
M. R. F. Benevides Multiple Database Logic . . . . . . . . 28
S. Benferhat and
D. Dubois and
H. Prade A Local Approach to Reasoning under
Inconsistency in Stratified Knowledge
Bases . . . . . . . . . . . . . . . . . 36
P. Besnard and
A. Hunter Quasi-Classical Logic: Non-Trivializable
Classical Reasoning from Inconsistent
Information . . . . . . . . . . . . . . 44
J. Bigham and
Z. Luo and
D. Banerjee A Cost Bounded Possibilities ATMS . . . 52
L. Boldrin A Substructural Connective for
Possibilistic Logic . . . . . . . . . . 60
R. R. Bouckaert and
M. Studeny Chain Graphs: Semantics and
Expressiveness . . . . . . . . . . . . . 69
L. M. De Campos and
J. Gebhardt and
R. Kruse Axiomatic Treatment of Possibilistic
Independence . . . . . . . . . . . . . . 77
E. Castillo and
J. M. Gutierrez and
A. S. Hadi Parametric Structure of Probabilities in
Bayesian Networks . . . . . . . . . . . 89
C. Cayrol and
M.-C. Lagasquie-Schiex Non-Monotonic Syntax-Based Entailment: A
Classification of Consequence Relations 107
A. Chateauneuf and
J.-Y. Jaffray Local Möbius Transforms of Monotone
Capacities . . . . . . . . . . . . . . . 115
L. Cholvy Automated Reasoning with Merged
Contradictory Information whose
Reliability Depends on Topics . . . . . 125
M.-O. Cordier and
J. Lang Linking Transition-Based Update and Base
Revision . . . . . . . . . . . . . . . . 133
M.-O. Cordier and
P. Siegel Prioritized Transitions for Updates . . 142
G.-B. Douanya Nguetse and
P. Hansen and
B. Jaumard Probabilistic Satisfiability and
Decomposition . . . . . . . . . . . . . 151
D. Dubois and
F. Dupin de St.-Cyr and
H. Prade Update Postulates without Inertia . . . 162
D. Dubois and
F. Esteva and
P. Garcia and
L. Godo Similarity-Based Consequence Relations 171
B. Dunin-Keplicz and
A. Radzikowska Epistemic Approach to Actions with
Typical Effects . . . . . . . . . . . . 180
J. Engelfriet and
H. Herre and
J. Treur Nonmonotonic Belief State Frames and
Reasoning Frames . . . . . . . . . . . . 189
K. J. Ezawa and
T. Schuermann A Bayesian Network Based Learning System 197
P. Geerts and
D. Vermeir Specificity by Default . . . . . . . . . 207
S. Glesner and
D. Koller Constructing Flexible Dynamic Belief
Networks from First-Order Probabilistic
Knowledge Bases . . . . . . . . . . . . 217
S. Guiasu On the Formalism of Stochastic Logic . . 227
A. Hunter Using Default Logic in Information
Retrieval . . . . . . . . . . . . . . . 235
F. V. Jensen and
S. H. Aldenryd and
K. B. Jensen Sensitivity Analysis in Bayesian
Networks . . . . . . . . . . . . . . . . 243
A. V. Joshi and
S. C. Sahasrabudhe and
K. Shankar Bayesian Approximation and Invariance of
Bayesian Belief Functions . . . . . . . 251
J. Kohlas and
P. J. A. Monney and
R. Haenni and
N. Lehmann Model-Based Diagnostics Using Hints . . 259
I. Kramosil An Axiomatic Approach to Extensional
Probability Measures . . . . . . . . . . 267
B. Van Linder and
W. Van der Hoek and
J.-J. C. Meyer The Dynamics of Default Reasoning . . . 277
T. Linke and
T. Schaub Lemma Handling in Default Logic Theorem
Provers . . . . . . . . . . . . . . . . 285
T. Lukasiewicz Uncertain Reasoning in Concept Lattices 293
J. Mengin A Theorem Prover for Default Logic based
on Prioritized Conflict Resolution and
an Extended Resolution Principle . . . . 301
P. Nicolas and
B. Duval A Theorem Prover for Lukaszewicz' Open
Default Theory . . . . . . . . . . . . . 311
U. G. Oppel Two Different Types of Discontinuity of
Bayesian Learning in Causal
Probabilistic Networks . . . . . . . . . 320
O. Papini and
A. Rauzy Revision in Extended Propositional
Calculus . . . . . . . . . . . . . . . . 328
S. Parsons Using Qualitative Uncertainty in Protein
Topology Prediction . . . . . . . . . . 336
A. Radzikowska Circumscribing Features and Fluents:
Reasoning about Action with Default
Effects . . . . . . . . . . . . . . . . 344
P. C. Rhodes and
G. R. Garside Using Maximum Entropy to Compute
Marginal Probabilities in a Causal
Binary Tree Need Not Take Exponential
Time . . . . . . . . . . . . . . . . . . 352
K. Schlechta A Two-Stage Approach to First Order
Default Reasoning . . . . . . . . . . . 379
K. Schlechta A Reduction of the Theory of
Confirmation to the Notions of Distance
and Measure . . . . . . . . . . . . . . 387
J. Schubert Cluster-Based Specification Techniques
in Dempster-Shafer Theory . . . . . . . 395
L. State and
R. State AND/OR Trees for Knowledge
Representation . . . . . . . . . . . . . 405
Y.-H. Tan and
L. W. N. Van der Torre Why Defeasible Deontic Logic needs a
Multi Preference Semantics . . . . . . . 412
E. Weydert Numeric Defaults: About an Expressive
First-Order Framework for Reasoning with
Infinitesimal Probabilities . . . . . . 420
K. R. Apt Towards automatic parallelization of
logic programs . . . . . . . . . . . . . 1
R. S. Bird Functional algorithm design . . . . . . 2
M. Broy Mathematics of software engineering . . 18
T. Coquand Program construction in intuitionistic
type theory . . . . . . . . . . . . . . 49
N. Shankar Computer-aided computing . . . . . . . . 50
A. E. Abdallah Derivation of parallel algorithms from
functional specifications to CSP
processes . . . . . . . . . . . . . . . 67
K. Achatz and
W. Schulte Architecture independent massive
parallelization of divide-and-conquer
algorithms . . . . . . . . . . . . . . . 97
R.-J. R. Back and
M. Butler Exploring summation and product
operators in the refinement calculus . . 128
R.-J. R. Back and
A. J. Martin and
K. Sere An action system specification of the
Caltech asynchronous microprocessor . . 159
R. Berghammer and
B. Von Karger Formal derivation of CSP programs from
temporal specifications . . . . . . . . 180
F. S. De Boer and
M. Van Hulst A compositional proof system for
asynchronously communicating processes 197
S. Curtis and
G. Lowe A graphical calculus . . . . . . . . . . 214
V. J. Dielissen and
A. Kaldewaij A simple, efficient, and flexible
implementation of flexible arrays . . . 232
H. Doornbos and
R. Backhouse Induction and recursion on datatypes . . 242
M. Frappier and
A. Mili and
J. Desharnais Program construction by parts . . . . . 257
J. Gibbons An initial-algebra approach to directed
acyclic graphs . . . . . . . . . . . . . 282
R. Groenboom and
C. Hendriks and
I. Polak and
J. Terlouw Algebraic proof assistants in HOL . . . 304
W. H. Hesselink Angelic termination in Dijkstra's
calculus . . . . . . . . . . . . . . . . 322
J.-F. Monin Extracting programs with exceptions in
an impredicative type system . . . . . . 335
C. Parent Synthesizing proofs from programs in the
calculus of inductive constructions . . 351
M. Russling A general scheme for breadth-first graph
transversal . . . . . . . . . . . . . . 380
Y. V. Srinivas and
R. Juellig Specware: Formal support for composing
software . . . . . . . . . . . . . . . . 399
K. Stoelen A refinement relation supporting the
transition from unbounded to bounded
communication buffers . . . . . . . . . 423
R. T. Udink and
J. N. Kok ImpUNITY: UNITY with procedures and
local variables . . . . . . . . . . . . 452
L. A. Bassalygo Supports of a Code . . . . . . . . . . . 1
C. Benecke and
R. Grund and
R. Hohberger and
A. Kerber Chemical Isomerism, a Challenge for
Algebraic Combinatorics and for Computer
Science . . . . . . . . . . . . . . . . 4
I. Honkala and
S. Litsyn and
A. Tietaevaeinen On Algebraic Methods in Covering Radius
Problems . . . . . . . . . . . . . . . . 21
L. M. Pardo How Lower and Upper Complexity Bounds
Meet in Elimination Theory . . . . . . . 33
A. Schoenhage Bivariate Polynomial Multiplication
Patterns . . . . . . . . . . . . . . . . 70
J. Apel Division of Entire Functions by
Polynomial Ideals . . . . . . . . . . . 82
A. Ashikhmin and
A. Barg and
G. Cohen and
L. Huguet Variations on Minimal Codewords in
Linear Codes . . . . . . . . . . . . . . 96
I. Armendariz and
P. Solerno On the Computation of the Radical of
Polynomial Complete Intersection Ideals 106
T. Beth and
H. Kalouti and
D. E. Lazic Which Families of Long Binary Linear
Codes Have a Binomial Weight
Distribution? . . . . . . . . . . . . . 120
A. Betten and
A. Kerber and
A. Kohnert and
R. Laue The Discovery of Simple 7-Designs with
Automorphism Group PL(2,32) . . . . . . 131
I. E. Bocharova and
B. D. Kudryashov Fast Exponentiation in Cryptography . . 146
P. Boyvalenkov and
I. Landgev On Maximal Spherical Codes I . . . . . . 158
A. Colin Formal Computation of Galois Groups with
Relative Resolvents . . . . . . . . . . 169
P. Conti and
C. Traverso A Case of Automatic Theorem Proving in
Euclidean Geometry: the Maclane 83
Theorem . . . . . . . . . . . . . . . . 183
H. Fripertinger and
A. Kerber Isometry Classes of Indecomposable
Linear Codes . . . . . . . . . . . . . . 194
M. Giusti and
J. Heintz and
J. E. Morais and
L. M. Pardo When Polynomial Equation Systems Can Be
``Solved'' Fast? . . . . . . . . . . . . 205
L. Gonzalez-Vega and
G. Trujillo Using Symmetric Functions to Describe
the Solution Set of a Zero Dimensional
Ideal . . . . . . . . . . . . . . . . . 232
H.-G. Graebe Triangular Systems and Factorized Gröbner
Bases . . . . . . . . . . . . . . . . . 248
G. Hache Computation in Algebraic Function Fields
for Effective Construction of
Algebraic-Geometric Codes . . . . . . . 262
M. Harada and
V. D. Tonchev Singly-Even Self-Dual Codes and Hadamard
Matrices . . . . . . . . . . . . . . . . 279
H. Hong Implicitization of Curves Parameterized
by Generalized Trigonometric Polynomials 285
Y. Kamiya and
T. Miki and
Y. Iwadare Randomness Properties of Partial
gamma-Planes as LSI Test Inputs and
their Implementations . . . . . . . . . 297
E. Kolev Mixed Covering Codes with Two Binary and
Four Ternary Coordinates . . . . . . . . 312
P.-V. Koseleff About Approximations of Exponentials . . 323
J. Lacan and
E. Delpeyroux A Note on Normal Bases . . . . . . . . . 334
F. Levy-dit-Vehel and
S. Litsyn On the Covering Radius of Long Goppa
Codes . . . . . . . . . . . . . . . . . 341
G. Matera Integration of Multivariate Rational
Functions Given by Straight-Line
Programs . . . . . . . . . . . . . . . . 347
M. Moreno Maza and
R. Rioboo Polynomial GCD Computations over Towers
of Algebraic Extensions . . . . . . . . 365
Q. L. Nguyen and
D. H. Wood Displacements of Matrix Products . . . . 383
A. Peladan-Germa Testing Identities of Series Defined by
Algebraic Partial Differential Equations 393
B. Sadik The Complexity of Formal Resolution of
Linear Partial Differential Equations 408
S. Sakata and
M. Kurihara A Fast Parallel Implementation of the
Berlekamp--Massey Algorithm with a One-D
Systolic Array Architecture . . . . . . 415
P. Schapira Tomography of Constructible Functions 427
J. A. Shih On the Determination of Formal Solutions
of a System of Partial Differential
Equations . . . . . . . . . . . . . . . 436
P. Sole D4, E6, E8 and the AGM . . . . . . . . . 448
A. Valibouze Computation of the Galois Groups of the
Resolvent Factors for the Direct and
Inverse Galois Problems . . . . . . . . 456
J.-A. Weil First Integrals and Darboux Polynomials
of Homogeneous Linear Differential
Systems . . . . . . . . . . . . . . . . 469
D. G. Feitelson and
L. Rudolph Parallel Job Scheduling: Issues and
Approaches . . . . . . . . . . . . . . . 1
G. Alverson and
S. Kahan and
R. Korry and
C. McCann Scheduling on the Tera MTA . . . . . . . 19
J. M. Barton and
N. Bitar A Scalable Multi-Discipline,
Multiple-Processor Scheduling Framework
for IRIX . . . . . . . . . . . . . . . . 45
A. Hori and
T. Yokota and
Y. Ishikawa and
S. Sakai Time Space Sharing Scheduling and
Architectural Support . . . . . . . . . 92
P. G. Sobalvarro and
W. E. Weihl Demand-Based Coscheduling of Parallel
Jobs on Multiprogrammed Multiprocessors 106
E. W. Parsons and
K. C. Sevcik Multiprocessor Scheduling for
High-Variability Service Time
Distributions . . . . . . . . . . . . . 127
S. K. Setia The Interaction between Memory
Allocation and Adaptive Partitioning in
Message-Passing Multicomputers . . . . . 146
E. Rosti and
E. Smirni and
G. Serazzi and
L. W. Dowdy Analysis of Non-Work-Conserving
Processor Partitioning Policies . . . . 165
I. Stoica and
H. Abdel-Wahab and
A. Pothen A Microeconomic Scheduler for Parallel
Computers . . . . . . . . . . . . . . . 200
M. S. Squillante On the Benefits and Limitations of
Dynamic Partitioning in Parallel
Computer Systems . . . . . . . . . . . . 219
O. Kipersztok and
J. C. Patterson Intelligent Fuzzy Control to Augment
Scheduling Capabilities of Network
Queuing Systems . . . . . . . . . . . . 239
J. Pruyne and
M. Livny Parallel Processing on Dynamic Resources
with CARMI . . . . . . . . . . . . . . . 259
R. L. Henderson Job Scheduling Under the Portable Batch
System . . . . . . . . . . . . . . . . . 279
D. A. Lifka The ANL/IBM SP Scheduling System . . . . 295
M. E. Rosenkrantz and
D. J. Schneider and
R. Leibensperger and
M. Shore Requirements of the Cornell Theory
Center for Resource Management and
Process Scheduling . . . . . . . . . . . 304
W. Saphir and
L. A. Tanner and
B. Traversat Job Management Requirements for NAS
Parallel Systems and Clusters . . . . . 319
D. G. Feitelson and
B. Nitzberg Job Characteristics of a Production
Parallel Scientific Workload on the NASA
Ames iPSC/860 . . . . . . . . . . . . . 337
Moni Naor and
Adi Shamir Visual Cryptography . . . . . . . . . . 1--12
László Csirmaz The Size of a Share Must Be Large . . . 13--22
Marten van Dijk A linear construction of perfect secret
sharing schemes . . . . . . . . . . . . 23--34
Marten van Dijk A Linear Construction of Perfect Secret
Sharing Schemes . . . . . . . . . . . . 23
Carlo Blundo and
Antonio Giorgio Gaggia and
Douglas R. Stinson On the dealer's randomness required in
secret sharing schemes . . . . . . . . . 35--46
Claus P. Schnorr and
Serge Vaudenay Black box cryptanalysis of hash networks
based on multipermutations . . . . . . . 47--57
Antoine Joux and
Louis Granboulan A practical attack against knapsack
based hash functions . . . . . . . . . . 58--66
Matthew Franklin and
Moti Yung The Blinding of Weak Signatures . . . . 67--76
David Naccache and
David M'Ra\"\ihi and
Serge Vaudenay and
Dan Raphaeli Can D.S.A. be improved? Complexity
trade-offs with the Digital Signature
Standard . . . . . . . . . . . . . . . . 77--85
David Chaum Designated Confirmer Signatures . . . . 86--91
Mihir Bellare and
Phillip Rogaway Optimal Asymmetric Encryption . . . . . 92--111
Glenn A. Orton A multiple-iterated trapdoor for dense
compact knapsacks . . . . . . . . . . . 112--130
Florent Chabaud On the security of some cryptosystems
based on error-correcting codes . . . . 131--139
Lidong Chen and
Ivan Bjerre Damgård and
Torben Pryds Pedersen Parallel Divertibility of Proofs of
Knowledge . . . . . . . . . . . . . . . 140--155
Stefano D'Amiano and
Giovanni Di Crescenzo Methodology for digital money based on
general cryptographic tools . . . . . . 156--170
Lidong Chen and
Torben Pryds Pedersen New Group Signature Schemes . . . . . . 171--181
Kaisa Nyberg and
Rainer A. Rueppel Message recovery for signature schemes
based on the discrete logarithm problem 182--193
Chuan-Ming Li and
Tzonelih Hwang and
Narn-Yih Lee Threshold-multisignature schemes where
suspected forgery implies traceability
of adversarial shareholders . . . . . . 194--204
Willi Meier and
Othmar Staffelbach The Self-shrinking Generator . . . . . . 205--214
Mark Goresky and
Andrew Klapper Feedback registers based on ramified
extensions of the 2-adic numbers . . . . 215--222
R. Goettfert and
H. Niederreiter A general lower bound for the linear
complexity of the product of
shift-register sequences . . . . . . . . 223--229
Rainer Göttfert and
Harald Niederreiter A General Lower Bound for the Linear
Complexity of the Product of
Shift-Register Sequences . . . . . . . . 223
Jovan Dj. Golic and
Luke O'Connor Embedding and probabilistic correlation
attacks on clock-controlled shift
registers . . . . . . . . . . . . . . . 230--243
Richard Taylor Near Optimal Unconditionally Secure
Authentication . . . . . . . . . . . . . 244--253
Reihaneh Safavi-Naini and
L. Tombak Authentication codes in plaintext and
chosen-content attacks . . . . . . . . . 254--265
Christian Cachin and
Ueli M. Maurer Linking information reconciliation and
privacy amplification . . . . . . . . . 266--274
Mike V. D. Burmester and
Yvo Desmedt A secure and efficient conference key
distribution system . . . . . . . . . . 275--286
Carlo Blundo and
Antonella Cresti Space Requirements for Broadcast
Encryption . . . . . . . . . . . . . . . 287--298
Yuliang Zheng How to break and repair Leighton and
Micali's key agreement protocol . . . . 299--305
Tony Eng and
Tatsuaki Okamoto Single-Term Divisible Electronic Coins 306--319
Paul Syverson and
Catherine Meadows Formal Requirements for Key Distribution
Protocols . . . . . . . . . . . . . . . 320--331
Birgit Pfitzmann Breaking an Efficient Anonymous Channel 332--340
Eli Biham On Matsui's Linear Cryptanalysis . . . . 341--355
Florent Chabaud and
Serge Vaudenay Links between Differential and Linear
Cryptanalysis . . . . . . . . . . . . . 356--365
Mitsuru Matsui On correlation between the order of
S-boxes and the strength of DES . . . . 366--375
Jennifer Seberry and
Xian-Mo Zhang and
Yuliang Zheng Relationships among Nonlinearity
Criteria . . . . . . . . . . . . . . . . 376--388
Peter de Rooij Efficient exponentiation using
precomputation and vector addition
chains . . . . . . . . . . . . . . . . . 389--399
Peter de Rooij Efficient Exponentiation Using
Precomputation and Vector Addition
Chains . . . . . . . . . . . . . . . . . 389
F. Damm and
F.-P. Heider and
G. Wambach MIMD-Factorisation on Hypercubes . . . . 400--409
Lars Ramkilde Knudsen and
Xuejia Lai New attacks on all double block length
hash functions of hash rate 1, including
the parallel-DM . . . . . . . . . . . . 410--418
Lars Ramkilde Knudsen New Potentially ``Weak'' Keys for DES
and LOKI . . . . . . . . . . . . . . . . 419--424
Markus Jakobsson Blackmailing Using Undeniable Signatures 425--427
Jan L. Camenisch and
Jean-Marc Piveteau and
Markus A. Stadler Blind signatures based on the discrete
logarithm problem . . . . . . . . . . . 428--432
C. Charnes and
Luke O'Connor and
Józef P. Pieprzyk and
Reihaneh Safavi-Naini and
Yuliang Zheng Comments on Soviet Encryption Algorithm 433--438
Kaisa Nyberg Linear Approximation of Block Ciphers 439--444
Adi Shamir Memory efficient variants of public-key
schemes for smart card applications . . 445--449
Renato Menicocci A Systematic Attack on Clock Controlled
Cascades . . . . . . . . . . . . . . . . 450--455
Thomas Johansson and
Bernard J. M. Smeets On $ {A}^2 $-Codes Including Arbiter's
Attacks . . . . . . . . . . . . . . . . 456--460
Eli Biham and
Alex Biryukov An Improvement of Davies' Attack on DES 461--467
J. Hruby Q-Deformed Quantum Cryptography . . . . 468--472
Anonymous Author Index . . . . . . . . . . . . . . 473
B. Kuijpers and
J. Paredaens and
J. Van den Bussche Lossless Representation of Topological
Spatial Data . . . . . . . . . . . . . . 1
L. Vandeurzen and
M. Gyssens and
D. Van Gucht On the Desirability and Limitations of
Linear Spatial Database Models . . . . . 14
U. Finke and
K. H. Hinrichs The Quad View Data Structure --- A
Representation for Planar Subdivisions 29
K. Koperski and
J. Han Discovery of Spatial Association Rules
in Geographic Information Databases . . 47
M. Ester and
H.-P. Kriegel and
X. Xu Knowledge Discovery in Large Spatial
Databases: Focusing Techniques for
Efficient Class Identification . . . . . 67
G. R. Hjaltason and
H. Samet Ranking in Spatial Databases . . . . . . 83
V. Gaede Optimal Redundancy in Spatial Database
Systems . . . . . . . . . . . . . . . . 96
S. Blott and
A. Vckovski Accessing Geographical Metafiles through
a Database Storage System . . . . . . . 117
A. Henrich and
J. Moeller Extending a Spatial Access Structure to
Support Additional Standard Attributes 132
E. Puppo and
G. Dettori Towards a Formal Model for
Multiresolution Spatial Maps . . . . . . 152
P. Rigaux and
M. Scholl Multi-Scale Partitions: Application to
Spatial and Statistical Databases . . . 170
A. U. Frank and
W. Kuhn Specifying Open GIS with Functional
Languages . . . . . . . . . . . . . . . 184
S. Shekhar and
S. Ravada and
V. Kumar and
D. Chubb Load-Balancing in High Performance GIS:
Declustering Polygonal Maps . . . . . . 196
R. Hartmut Gueting and
T. De Ridder and
M. Schneider Implementation of the ROSE Algebra:
Efficient Algorithms for Realm-Based
Spatial Data Types . . . . . . . . . . . 216
T. Seidl and
H.-P. Kriegel A $3$D Molecular Surface Representation
Supporting Neighborhood Queries . . . . 240
P. Scarponcini and
D. C. St. Clair and
G. W. Zobrist An Inferencing Language for Automated
Spatial Reasoning about Graphic Entities 259
J. Sharma and
D. M. Flewelling Inferences from Combined Knowledge about
Topology and Directions . . . . . . . . 279
M. Nabil and
J. Shepherd and
A. H. H. Ngu $2$D Projection Interval Relationships:
A Symbolic Representation of Spatial
Relationships . . . . . . . . . . . . . 292
S. Winter Topological Relations between Discrete
Regions . . . . . . . . . . . . . . . . 310
M.-L. Lo and
C. V. Ravishankar Generating Seeded Trees from Data Sets 328
D. J. Abel and
Beng Chin Ooi and
K.-L. Tan and
R. Power Spatial Join Strategies in Distributed
Spatial DBMS . . . . . . . . . . . . . . 348
D. Arctur and
E. Anwar and
J. Alexander and
S. Chakravarthy Comparison and Benchmarks for Import of
VPF Geographic Data from Object-Oriented
and Relational Database Files . . . . . 368
W. R. Franklin Compressing Elevation Data . . . . . . . 385
Dave Thomas Experiences on the Road to Object Utopia
(Extended Abstract) . . . . . . . . . . 1--1
Ole Agesen The Cartesian Product Algorithm . . . . 2
Kim B. Bruce and
Angela Schuett and
Robert van Gent PolyTOIL: A Type-Safe Polymorphic
Object-Oriented Language . . . . . . . . 27--51
Satish R. Thatté Object Imaging . . . . . . . . . . . . . 52
Jeffrey Dean and
David Grove and
Craig Chambers Optimization of Object-Oriented Programs
Using Static Class Hierarchy Analysis 77
Elisa Bertino and
Giovanna Guerrini Objects with Multiple Most Specific
Classes . . . . . . . . . . . . . . . . 102
Patrick Steyaert and
Wolfgang De Meuter A Marriage of Class-and Object-Based
Inheritance Without Unwanted Children 127
Martin Abadi and
Luca Cardelli On Subtyping and Matching . . . . . . . 145
R. J. Stroud and
Z. Wu Using Metaobject Protocols to Implement
Atomic Data Types . . . . . . . . . . . 168
Jeff McAffer Meta-level Programming with CodA . . . . 190
Laurent Arditi and
Hél\`ere Collavizza An Object-Oriented Framework for the
Formal Verification of Processors . . . 215
Jacob Seligmann and
Steffen Grarup Incremental Mature Garbage Collection
Using the Train Algorithm . . . . . . . 235
Karel Driesen and
Urs Hölzle and
Jan Vitek Message Dispatch on Pipelined Processors 253
U. Hoelzle and
D. Ungar Do Object-Oriented Languages Need
Special Hardware Support? . . . . . . . 283
Urs Hölzle and
David Ungar Do Object-Oriented Languages Need
Special Hardware Support? . . . . . . . 283
Randall B. Smith and
David Ungar Programming as an Experience: The
Inspiration for Self . . . . . . . . . . 303
Ichiro Satoh and
Mario Tokoro Time and Asynchrony in Interactions
among Distributed Real-Time Objects . . 331
Gert Florijn Object Protocols as Functional Parsers 351
Doug Lea and
Jos Marlowe Interface-Based Protocol Specification
of Open Systems using PSL . . . . . . . 374
Doug Schmidt and
Paul Stephenson Experience Using Design Patterns to
Evolve Communication Software Across
Diverse OS Platforms . . . . . . . . . . 399
Heiko Kießling and
Uwe Krüger Sharing Properties in a Uniform Object
Space . . . . . . . . . . . . . . . . . 424
Maurice Amsellem ChyPro: A Hypermedia Programming
Environment for Smalltalk-80 . . . . . . 449
Anonymous Author Index . . . . . . . . . . . . . . 471
R. Milner Control Structures: A Model of
Interaction . . . . . . . . . . . . . . 1
D. Pavlovic Convenient Category of Processes and
Simulations I: Modulo Strong
Bisimilarity . . . . . . . . . . . . . . 3
E. Badouel and
P. Darondeau Dualities Between Nets and Automata
Induced by Schizophrenic Objects . . . . 24
Y. Kawahara Relational Set Theory . . . . . . . . . 44
S. Soloviev Proof of a S. MacLane Conjecture . . . . 59
A. Asperti and
A. Ciabattoni Effective Applicative Structures . . . . 81
J. M. E. Hyland and
E. Moggi The S-Replete Construction . . . . . . . 96
A. K. Simpson The Convex Powerdomain in a Category of
Posets Realized by CPOs . . . . . . . . 117
M. P. Fiore Lifting as a KZ-Doctrine . . . . . . . . 146
R. Backhouse and
M. Bijsterveld and
R. Van Geldrop and
J. Van der Woude Categorical Fixed Point Calculus . . . . 159
S. Brookes A Category-Theoretic Treatment of a
Parallel Algol-Like Language . . . . . . 180
T. Altenkirch and
M. Hofmann and
T. Streicher Categorical Reconstruction of a
Reduction Free Normalization Proof . . . 182
M. Hasegawa Decomposing Typed Lambda Calculus into a
Couple of Categorical Programming
Languages . . . . . . . . . . . . . . . 200
J. R. Otto V-Comprehensions and P Space . . . . . . 220
M. Fourman and
H. Thielecke A Proposed Categorical Semantics for ML
Modules . . . . . . . . . . . . . . . . 240