J.UCS, Volume 4

Volume 4, Number 1, January 1998

SCAN-97

Jean-Michel Muller:
Foreword to the special issue. 1
Electronic Edition (link) BibTeX
Jean Marie Chesneaux, Fabienne Jézéquel:
Dynamical Control of Computations Using the Trapezoidal and Simpson's Rules. 2-10
Electronic Edition (link) BibTeX
Jürgen Wolff von Gudenberg:
Java for Scientific Computing, Pros and Cons. 11-15
Electronic Edition (link) BibTeX
Bruno Lang:
Verified Quadrature in Determining Newton's Constant of Gravitation. 16-24
Electronic Edition (link) BibTeX
Wolfram Luther, Werner Otten:
Reliable Computation of Elliptic Functions. 25-33
Electronic Edition (link) BibTeX
Svetoslav Markov:
On the Algebra of Intervals and Convex Bodies. 34-47
Electronic Edition (link) BibTeX
Evgenija D. Popova:
Algebraic Solutions to a Class of Interval Equations. 48-67
Electronic Edition (link) BibTeX
G. Rex:
Componentwise Distance to Singularity. 68-81
Electronic Edition (link) BibTeX
Fabiana Zamora Wilke, Beatriz Regina Tavares Franciosi, Paulo Werlang Oliveira, Dalcidio Moraes Claudio:
Modelling the Measurement Uncertainty by Intervals. 82-88
Electronic Edition (link) BibTeX

Volume 4, Number 2, February 1998

SCAN-97

Jean-Michel Muller:
Foreword to the special issue. 89
Electronic Edition (link) BibTeX
R. Aïd, L. Testard, Gilles Villard:
Global Error Visualization. 90-98
Electronic Edition (link) BibTeX
Hesham A. Al-Twaijry, Stuart F. Oberman, Steve T. Fu, Michael J. Flynn:
The SNAP Project: Building Validated Floating Point. 99-109 BibTeX
Roumen Anguelov:
Spline-Fourier Approximations of Discontinuous Waves. 110-113
Electronic Edition (link) BibTeX
Zbigniew Galias:
Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map. 114-124
Electronic Edition (link) BibTeX
Laurent Granvilliers:
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems. 125-146
Electronic Edition (link) BibTeX
Walter Krämer:
Constructive Error Analysis. 147-163
Electronic Edition (link) BibTeX
Frantisek Mráz, Martin Kursch, Daniel Panuska:
Pascal Subroutines for Solving Some problems in Interval LP. 164-170
Electronic Edition (link) BibTeX
Yusuke Nakaya, Shin'ichi Oishi:
Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy. 171-177
Electronic Edition (link) BibTeX
Markus Neher:
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance. 178-192
Electronic Edition (link) BibTeX
Shin'ichi Oishi:
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. 193-201
Electronic Edition (link) BibTeX
Robert Rihm:
Implicit Methods for Enclosing Solutions of ODEs. 202-209
Electronic Edition (link) BibTeX

Volume 4, Number 3, March 1998

Patricia A. Carlson:
Advanced Educational Technologies - Promise and Puzzlement. 210-215
Electronic Edition (link) BibTeX
Esma Aïmeur:
Application and Assessment of Cognitive-dissonance Theory in the Learning Process. 216-247
Electronic Edition (link) BibTeX
Kathy Buckner, Mark Gillham:
A Comparative Evaluation of Print and Electronic Reviews of Multimedia Information Products. 248-258
Electronic Edition (link) BibTeX
Vassilis Makrakis, Symeon Retalis, Anastasios Koutoumanos, Nikolaos Papaspyrou, Manolis Skordalakis:
Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study. 259-272
Electronic Edition (link) BibTeX
Steve McGee, Bruce Howard:
Evaluating Educational Multimedia in the Context of Use. 273-291
Electronic Edition (link) BibTeX
Heli Ruokamo, Seppo Pohjolainen:
Pedagogical Principles for Evaluation of Hypermedia-Based Learning Environments in Mathematics. 292-307
Electronic Edition (link) BibTeX
Christine W. Thackaberry, Roy Rada:
Estimation Metrics for Courseware Maintenance Effort. 308-325
Electronic Edition (link) BibTeX

Volume 4, Number 4, April 1998

Patricia A. Carlson:
Assessment Issues for Educational Software. 326-329
Electronic Edition (link) BibTeX
Mary E. Hopper:
Assessment in WWW-Based Learning Systems: Opportunities and Challenges. 330-348
Electronic Edition (link) BibTeX
Daniela Giordano:
Bridging Qualitative and Quantitative Approaches in Evaluating the Educational Effectiveness of a Shared Design Memory. 349-381
Electronic Edition (link) BibTeX
Emilia Mendes, Wendy Hall, Rachel Harrison:
Applying Metrics to the Evaluation of Educational Hypermedia Applications. 382-403
Electronic Edition (link) BibTeX
Milton Campos:
Conditional Reasoning: A Key to Assessing Computer-based Knowledge-building Communication Processes. 404-428
Electronic Edition (link) BibTeX
Peter Brusilovsky, John Eklund:
A Study of User Model Based Link Annotation in Educational Hypermedia. 429-448
Electronic Edition (link) BibTeX
Ise Henin:
Evaluation of On-line Help. 449-460
Electronic Edition (link) BibTeX
Sabine Volbracht, Gitta Domik, Dorothea Backe-Neuwald, Hans-Dieter Rinkens:
The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation. 461-465
Electronic Edition (link) BibTeX
Douglas C. Williams, Susan Pedersen, Min Liu:
An Evaluation of the Use of Problem-Based Learning Software By Middle School Students. 466-483
Electronic Edition (link) BibTeX

Volume 4, Number 5, May 1998

Hermann A. Maurer:
Managing Editor's Column. 484-485
Electronic Edition (link) BibTeX
Ronald Cools, Bart Maerten:
A Hybrid Subdivision Strategy for Adaptive Integration. 486-500
Electronic Edition (link) BibTeX
Erik Duval, Koen Hendrikx, Henk J. Olivié:
Building Hypermedia with Objects and Sets. 501-521
Electronic Edition (link) BibTeX
Michael Franz:
Open Standards Beyond Java: On the Future of Mobile Code for the Internet. 522-533
Electronic Edition (link) BibTeX
Sabine Volbracht, Gitta Domik, Khatoun Shahrbabaki, Gregor Fels:
An Example of Task Oriented Empirical Evaluations of 3D-Display Modes. 534-546
Electronic Edition (link) BibTeX
Ralf Wastl:
On the Number of Keys of a Relational Database Schema. 547-559
Electronic Edition (link) BibTeX

Volume 4, Number 6, June 1998

Hermann A. Maurer:
Managing Editor's Column. 560
Electronic Edition (link) BibTeX
Roberto Barrio, Jean-Claude Berges:
Perturbation Simulations of Rounding Errors in the Evaluation of Chebyshev Series. 561-573
Electronic Edition (link) BibTeX
Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
Query Order and the Polynomial Hierarchy. 574-588
Electronic Edition (link) BibTeX
Frédéric Messine, Jean-Louis Lagouanelle:
Enclosure Methods for Multivariate Differentiable Functions and Application to Global Optimization. 589-603
Electronic Edition (link) BibTeX
Samuel A. Rebelsky, Fillia Makedon, Panagiotis Takis Metaxas, James Ford, Charles B. Owen, Peter A. Gloor:
The Roles of Video in the Design, Use, and Construction of Interactive Electronic Conference Proceedings. 604-628
Electronic Edition (link) BibTeX

Volume 4, Number 7, July 1998

Hermann A. Maurer:
Managing Editor's Column. 629
Electronic Edition (link) BibTeX
Alberto Faro, Daniela Giordano, Corrado Santoro:
Link-based Shaping of Hypermedia Webs Assisted by a Neural Agent. 630-651
Electronic Edition (link) BibTeX
Reinhard Posch:
Protecting Devices by Active Coating. 652-668
Electronic Edition (link) BibTeX

Volume 4, Number 8, August 1998

Hermann A. Maurer:
Managing Editor's Column. 669
Electronic Edition (link) BibTeX
Lane A. Hemaspaandra, Christopher Nasipak, Keith Parkins:
A Note on Linear-Nondeterminism, Linear-Sized, Karp-Lipton Advice for the P-Selective Sets. 670-674
Electronic Edition (link) BibTeX
Ville Leppänen:
Balanced PRAM Simulations via Moving Threads and Hashing. 675-689
Electronic Edition (link) BibTeX
Wakaha Ogata, Kaoru Kurosawa:
Some Basic Properties of General Nonperfect Secret Sharing Schemes. 690-704
Electronic Edition (link) BibTeX
Daniel Olejar, Martin Stanek:
On Cryptographic Properties of Random Boolean Functions. 705-717
Electronic Edition (link) BibTeX

Volume 4, Number 9, September 1998

Hermann A. Maurer:
Managing Editor's Column. 718
Electronic Edition (link) BibTeX
Giuseppe Attardi, Sergio Di Marco, Davide Salvi:
Categorisation by Context. 719-736
Electronic Edition (link) BibTeX
Ezio Berenci, Claudio Carpineto, Vittorio Giannini:
Improving the Effectiveness of WEB Search Engines Using Selectable Views of Retrieval Results. 737-747
Electronic Edition (link) BibTeX
Anna Hester, Renato Borges, Roberto Ierusalimschy:
Building Flexible and Extensible Web Applications with Lua. 748-762
Electronic Edition (link) BibTeX
Binzhang Liu, Edward A. Fox:
Web Traffic Latency: Characteristics and Implications. 763-778
Electronic Edition (link) BibTeX

Volume 4, Number 10, October 1998

Hermann A. Maurer:
Managing Editor's Column. 779
Electronic Edition (link) BibTeX
Christian Langenbach, Freimut Bodendorf:
An Education Broker Toolset for Web Course Customization. 780-791
Electronic Edition (link) BibTeX
Philip M. Marden Jr., Ethan V. Munson:
PSL: An Alternate Approach to Style Sheet Languages for the World Wide Web. 792-806
Electronic Edition (link) BibTeX
Kåre Synnes, Serge Lachapelle, Peter Parnes, Dick Schefström:
Distributed Education Using the mStar Environment. 807-823
Electronic Edition (link) BibTeX

Volume 4, Number 11, November 1998

Hermann A. Maurer:
Managing Editor's Column. 824
Electronic Edition (link) BibTeX
Maria da Graça Campos Pimentel, João Benedito dos Santos Jr., Renata Pontin de Mattos Fortes:
Supporting Structured Teaching Material in the WWW. 825-838
Electronic Edition (link) BibTeX
Yin Leng Theng, Harold W. Thimbleby:
Addressing Design and Usability Issues in Hypertext and on the World Wide Web by Re-Examining the ``Lost in Hyperspace'' Problem. 839-855
Electronic Edition (link) BibTeX
Bernhard Zwantschko, Dieter Freismuth, Klaus Schmaranz:
Telematic Platform for Patient Oriented Services. 856-864
Electronic Edition (link) BibTeX

Volume 4, Number 12, December 1998

Hermann A. Maurer:
Managing Editor's Column. 865
Electronic Edition (link) BibTeX
Lutz Prechelt, Christian Krämer:
Functionality versus Practicality: Employing Existing Tools for Recovering Structural Design Patterns. 866-882
Electronic Edition (link) BibTeX
Ralf Wastl:
Linear Derivations for Keys of a Database Relation Schema. 883-897
Electronic Edition (link) BibTeX