J.UCS The Journal of Universal Computer Science Annual Print and CD-ROM Archive Edition Volume 1 • 1995

J.UCS - the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J.UCS is a prototype for modern electronic publishing....

Full description

Bibliographic Details
Other Authors: Maurer, Hermann (Editor), Calude, Christian (Editor), Salomaa, Arto (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1996, 1996
Edition:1st ed. 1996
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
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”
  • 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
  • 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