J.UCS, Volume 4

Volume 4, Number 1, January 1998

SCAN-97

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

Volume 4, Number 2, February 1998

SCAN-97

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

Volume 4, Number 3, March 1998

Patricia A. Carlson:
Advanced Educational Technologies - Promise and Puzzlement. 210-215
Esma Aïmeur:
Application and Assessment of Cognitive-dissonance Theory in the Learning Process. 216-247
Kathy Buckner, Mark Gillham:
A Comparative Evaluation of Print and Electronic Reviews of Multimedia Information Products. 248-258
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
Steve McGee, Bruce Howard:
Evaluating Educational Multimedia in the Context of Use. 273-291
Heli Ruokamo, Seppo Pohjolainen:
Pedagogical Principles for Evaluation of Hypermedia-Based Learning Environments in Mathematics. 292-307
Christine W. Thackaberry, Roy Rada:
Estimation Metrics for Courseware Maintenance Effort. 308-325

Volume 4, Number 4, April 1998

Patricia A. Carlson:
Assessment Issues for Educational Software. 326-329
Mary E. Hopper:
Assessment in WWW-Based Learning Systems: Opportunities and Challenges. 330-348
Daniela Giordano:
Bridging Qualitative and Quantitative Approaches in Evaluating the Educational Effectiveness of a Shared Design Memory. 349-381
Emilia Mendes, Wendy Hall, Rachel Harrison:
Applying Metrics to the Evaluation of Educational Hypermedia Applications. 382-403
Milton Campos:
Conditional Reasoning: A Key to Assessing Computer-based Knowledge-building Communication Processes. 404-428
Peter Brusilovsky, John Eklund:
A Study of User Model Based Link Annotation in Educational Hypermedia. 429-448
Ise Henin:
Evaluation of On-line Help. 449-460
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
Douglas C. Williams, Susan Pedersen, Min Liu:
An Evaluation of the Use of Problem-Based Learning Software By Middle School Students. 466-483

Volume 4, Number 5, May 1998

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

Volume 4, Number 6, June 1998

Hermann A. Maurer:
Managing Editor's Column. 560
Roberto Barrio, Jean-Claude Berges:
Perturbation Simulations of Rounding Errors in the Evaluation of Chebyshev Series. 561-573
Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
Query Order and the Polynomial Hierarchy. 574-588
Frédéric Messine, Jean-Louis Lagouanelle:
Enclosure Methods for Multivariate Differentiable Functions and Application to Global Optimization. 589-603
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

Volume 4, Number 7, July 1998

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

Volume 4, Number 8, August 1998

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

Volume 4, Number 9, September 1998

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

Volume 4, Number 10, October 1998

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

Volume 4, Number 11, November 1998

Hermann A. Maurer:
Managing Editor's Column. 824
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
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
Bernhard Zwantschko, Dieter Freismuth, Klaus Schmaranz:
Telematic Platform for Patient Oriented Services. 856-864

Volume 4, Number 12, December 1998

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