Table of Contents

Issue 1.- Managing Editor’s Column.- High-Radix Division with Approximate Quotient-Digit Estimation.- On Implementing EREW Work-Optimally on Mesh of Trees.- Levels of Anonymity.- What is a Random String.- Grammars Based on the Shuffle Operation.- Issue 2.- Managing Editor’s Column.- A Scalable Architecture for Maintaining Referential Integrity in Distributed Information Systems.- A Variant of Team Cooperation in Grammar Systems.- On Four Classes of Lindenmayerian Power Series.- The Relationship Between Propagation Characteristics and Nonlinearity of Cryptographic Functions.- On Completeness of Pseudosimple Sets.- Issue 3.- Managing Editor’s Column.- Combining Concept Mapping and Adaptive Advice to Teach Reading Comprehension.- Modular Range Reduction: a New Algorithm for Fast and Accurate Computation of the Elementary Function.- Special Cases of Division.- Bringing ITS to the Marketplace: a Successful Experiment in Minimalist Design.- Halting Probability Amplitude of Quantum Computers.- Issue 4.- Managing Editor’s Column.- The Hyper-G Network Information System.- About WWW.- Electronic Publishing.- Evolution of Internet Gopher.- WAIS and Information Retrieval on the Internet.- Issue 5.- Managing Editor’s Column.- Conditional Tabled Eco-Grammar Systems Versus (E)TOL Systems.- HOME: an Environment for Hypermedia Objects.- Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model.- Software Patents and the Internet.- GAC — the Criterion for Global Avalanche Characteristics of Cryptographic Functions.- Issue 6.- Managing Editor’s Column.- A Translation of the Pi-Calculus into MONSTR.- Distributed Caching in Networked File Systems.- From Personal Computer to Personal Assistant.- Microworlds for Teaching Concepts of Object Oriented Programming.- Issue 7.-Managing Editor’s Column.- to the Special Issue “Real Numbers and Computers”.- A High Radix On-line Arithmetic for Credible and Accurate Computing.- Estimation of Round-off Errors on Several Computers Architectures.- Round-off Error Propagation in the Solution of the Heat Equation by Finite Differences.- LCF: A Lexicographic Binary Representation of the Rationals.- Exact Statistics and Continued Fractions.- On Directed Interval Arithmetic and Its Applications.- MSB-First Digit Serial Arithmetic.- Some Algorithms Providing Rigorous Bounds for the Eigenvalues of a Matrix.- On a Formally Correct Implementation of IEEE Computer Arithmetic.- Issue 8.- Managing Editor’s Column.- BROCA: A Computerized Environment for Mediating Scientific Reasoning Through Writing.- Differential Ziv-Lempel Text Compression.- Bounds for Heights of Integer Polynomial Factors.- A Robust Affine Matching Algorithm Using an Exponentially Decreasing Distance Function.- Issue 9.- Managing Editor’s Column.- An Efficient Distributed Algorithm for st-Numbering the Vertices of a Biconnected Graph.- A Decision Method for the Unambiguity of Sets Defined by Number Systems.- A Method for Proving Theorems in Differential Geometry and Mechanics.- Issue 10.- Managing Editor’s Column.- An Aperiodic Set of Wang Cubes.- Contained Hypermedia.- Authoring on the Fly.- Issue 11.- Managing Editor’s Column.- Digital Libraries as Learning and Teaching Support.- Testing a High-Speed Data Path. The Design of the RSA? Crypto Chip.- A Comparison of WWW and Hyper-G.- Issue 12.- Managing Editor’s Column.- A Novel Type of Skeleton for Polygons.- Constraint Agents for the Information Age.- Parikh Prime Words and GO-like Territories.- Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation.- AMarkov Process for Sequential Allocation.- Author Index.

Promotional Information

Springer Book Archives