J.UCS The Journal of Universal Computer Science (eBook, PDF)

Annual Print and CD-ROM Archive Edition Volume 1 . 1995
Redaktion: Maurer, Hermann; Salomaa, Arto; Calude, Christian

• Format: PDF

Produktbeschreibung

The print and CD-ROM archive edition of Vol. 1 (1995) of the electronic journal guarantees availability of all contributions even after files have been removed from the servers.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 832
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9783642803505
• Artikelnr.: 53380963

Inhaltsangabe

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.