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

Front Matter....Pages i-xxxvi
Managing Editor’s Column....Pages 1-1
High-radix Division with Approximate Quotient-digit Estimation....Pages 2-22
On Implementing EREW Work-Optimally on Mesh of Trees....Pages 23-34
Levels of Anonymity....Pages 35-47
What Is a Random String?....Pages 48-66
Grammars Based on the Shuffle Operation....Pages 67-82
Managing Editor’s Column....Pages 83-83
A Scalable Architecture for Maintaining Referential Integrity in Distributed Information Systems....Pages 84-104
A Variant of Team Cooperation in Grammar Systems....Pages 105-130
On Four Classes of Lindenmayerian Power Series....Pages 131-135
The Relationship Between Propagation Characteristics and Nonlinearity of Cryptographic Functions....Pages 136-150
On Completeness of Pseudosimple Sets....Pages 151-154
Managing Editor’s Column....Pages 155-155
Combining Concept Mapping and Adaptive Advice to Teach Reading Comprehension....Pages 156-161
Modular Range Reduction: a New Algorithm for Fast and Accurate Computation of the Elementary Functions....Pages 162-175
Special Cases of Division....Pages 176-194
Bringing ITS to the Marketplace: A Successful Experiment in Minimalist Design....Pages 195-200
Halting probability amplitude of quantum computers....Pages 201-204
Managing Editor’s Column....Pages 205-205
The Hyper-G Network Information System....Pages 206-220
About WWW....Pages 221-231
Electronic Publishing....Pages 232-234
Evolution of Internet Gopher....Pages 235-246
WAIS and Information Retrieval on the Internet....Pages 247-250
Managing Editor’s Column....Pages 251-251
Conditional Tabled Eco-Grammar Systems versus (E)TOL Systems....Pages 252-268
HOME: an Environment for Hypermedia Objects....Pages 269-291
Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model....Pages 292-311
Software Patents and The Internet: Lessons from the Compuserve/Unisys Graphics Interchange Format Case Study....Pages 312-319
GAC — the Criterion for Global Avalanche Characteristics of Cryptographic Functions....Pages 320-337
Managing Editor’s Column....Pages 338-338
A Translation of the Pi-Calculus Into MONSTR....Pages 339-398
Distributed Caching in Networked File Systems....Pages 399-409
From Personal Computer to Personal Assistant....Pages 410-422
Microworlds for teaching concepts of object oriented programming....Pages 423-434
Managing Editor’s Column....Pages 435-435
Introduction to the Special Issue “Real Numbers and Computers”....Pages 436-438
A High Radix On-line Arithmetic for Credible and Accurate Computing....Pages 439-453
Estimation of Round-Off Errors on Several Computers Architectures....Pages 454-468
Round-off error propagation in the solution of the heat equation by finite differences....Pages 469-483
LCF: A Lexicographic Binary Representation of the Rationals....Pages 484-503
Exact Statistics and Continued Fractions....Pages 504-513
On directed interval arithmetic and its applications....Pages 514-526
MSB-First Digit Serial Arithmetic....Pages 527-547
Some Algorithms Providing Rigourous Bounds for the Eigenvalues of a Matrix....Pages 548-559
On a Formally Correct Implementation of IEEE Computer Arithmetic....Pages 560-569
Managing Editor’s Column....Pages 570-570
BROCA: A Computerized Environment for Mediating Scientific Reasoning through Writing....Pages 571-590
Differential Ziv-Lempel Text Compression....Pages 591-602
Bounds for Heights of Integer Polynomial Factors....Pages 603-613
A Robust Affine Matching Algorithm Using an Exponentially Decreasing Distance Function....Pages 614-631
Managing Editor’s Column....Pages 632-632
An Efficient Distributed Algorithm For st-numbering The Vertices Of A Biconnected Graph....Pages 633-651
A Decision Method for the Unambiguity of Sets Defined by Number Systems....Pages 652-657
A Method for Proving Theorems in Differential Geometry and Mechanics....Pages 658-673
Managing Editor’s Column....Pages 674-674
An aperiodic set of Wang cubes....Pages 675-686
Contained Hypermedia....Pages 687-705
Authoring on the fly....Pages 706-717
Managing Editor’s Column....Pages 718-718
Digital Libraries as Learning and Teaching Support....Pages 719-727
Testing a High-Speed Data Path The Design of the RSAβ Crypto Chip....Pages 728-743
A Comparison of WWW and Hyper-G....Pages 744-750
Managing Editor’s Column....Pages 751-751
A Novel Type of Skeleton for Polygons....Pages 752-761
Constraint Agents for the Information Age....Pages 762-789
Parikh prime words and GO-like territories....Pages 790-810
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation....Pages 811-820
A Markov Process for Sequential Allocation....Pages 821-827
Back Matter....Pages 829-832