SOFSEM'99: Theory and Practice of Informatics

Invited Talks.- Quantum Challenges.- Stability of Approximation Algorithms for Hard Optimization Problems.- Algorithms on Compressed Strings and Arrays.- WWW Based Collaboration with the BSCW System.- Middleware and Quality of Service.- Dynamic Reconfiguration of CORBA-Based Applications.- Fast, Error Correcting Parser Combinators: A Short Tutorial.- IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications.- Databases and the World Wide Web.- Exploiting Formality in Software Engineering.- Biomolecular Computing and Programming.- Software Change and Evolution.- Distributed Simulation with Cellular Automata: Architecture and Applications.- Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors.- On Interactive Computation: Intelligent Tutoring Systems.- Coherent Concepts, Robust Learning.- Application of Artificial Neural Networks for Different Engineering Problems.- Factor Oracle: A New Structure for Pattern Matching.- Principles of Forecasting — A Short Overview.- Contributed Papers.- UPV-Curry: An Incremental Curry Interpreter.- Quantum Finite Multitape Automata.- Decomposable Bulk Synchronous Parallel Computers.- Component Change and Version Identification in SOFA.- Pattern Equations and Equations with Stuttering.- Garbage Collection for Mobile and Replicated Objects.- Randomized Gossiping by Packets in Faulty Networks.- Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus.- Simulation Problems for One-Counter Machine.- On Semantics of Petri Nets Over Partial Algebra.- Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals.- Quantum Finite One-Counter Automata.- A Performance Comparison of Mobile Agents and RPC.- Cyclic Cutwidth of the Mesh.- Some Afterthoughts on Hopfield Networks.- A persistent-Set Approach to Abstract State-Space Construction in Verification.- Computational Power of Neuroidal Nets.- Cellular Automata with Dynamically Reconfigurable Buses.