## NA Digest Monday, September 5, 1994 Volume 94 : Issue 36

Today's Editor:
Cleve Moler
The MathWorks, Inc.
moler@mathworks.com

### Submissions for NA Digest:

Mail to na.digest@na-net.ornl.gov.

### Information about NA-NET:

Mail to na.help@na-net.ornl.gov.

-------------------------------------------------------

From: Huali Bao <Bao@auto.ucl.ac.be>
Date: Thu, 1 Sep 94 16:42:06 +0200
Subject: Constraints Between Two Surfaces

Dear members of NA-NET,

I would like to pose a question which may be simple to you.

I have two space surfaces:
F1(x,y,z) = 0
F2(x,y,z,t) = 0
F1 is a fixed spherical surface while F2 is the surface of something like
ellipsoids and it's rolling and/or sliding on F1. My problem is how to
describe the constraints, that is the two surfaces always shere one common
point and a same tangent plane. I tried by introducing a variable pc(t),
the contact point at time t. Unfortunately it did not work out as I had too
many vaviables in my problem. I am wondering if someone knows some simpler
ways to solve this problem.

Many Thanks in advance

Huali BAO

------------------------------

From: Paul Vandooren <vdooren@ns2.auto.ucl.ac.be>
Date: Mon, 5 Sep 1994 11:50:31 --100
Subject: New Address for Paul Van Dooren

As of September 1st, 1994, my new address is

Paul Van Dooren
Belgium Centre for Systems Engineering and Applied Mechanics (CESAME)
Batiment Euler (Rm A.119)
4, avenue Georges Lemaitre
B-1348 Louvain la Neuve
Belgium
Tel : +32-10-47-8040
Secr: +32-10-47-2597
Fax : +32-10-47-2180
e-mail: vandooren@anma.ucl.ac.be

Paul and Maggie Van Dooren-Van Ende
Herfstlaan 4
B-3010 Kessel-Lo
Tel: +32-16-261930

I you have tried to reach me via mail, tel, fax or e-mail the last

------------------------------

From: K. Chen <cmchenke@liverpool.ac.uk>
Date: Thu, 1 Sep 1994 14:18:38 +0100
Subject: FTP at Liverpool

The FTP site at University of Liverpool is addressed as
ftp.liv.ac.uk (138.253.100.70)
and its public domain directory
pub/Stats+Comp_Maths
is intended to keep research reports and papers of staff
members of Department of Stats and Computational Maths.

Currently three papers (on Error equidistribution;
Quadrilateral mesh generation; Singular integral equations
respectively) are available. Hopefully more will be added on soon.

World wide web users may try
www ftp://ftp.liv.ac.uk/pub/Stats+Comp_Maths/intro.html
to access the content file.

------------------------------

From: John Gregory <jwg@rhea.cray.com>
Date: Fri, 2 Sep 94 14:44:14 CDT
Subject: WWW versions of LP and NLP FAQs

WWW versions of the Linear Programming FAQ and the Nonlinear
Programming FAQ are now available. Tools such as Mosaic will
allow you to read these HTML-marked files, and then you will
be able to click on certain points of interest to take you to
other places (such as FTP sites of mentioned software).

To view these documents, use the following URLs:
ftp://ftp.cray.com/pub/FAQs/linear-programming-faq.html
and
ftp://ftp.cray.com/pub/FAQs/nonlinear-programming-faq.html

These will be updated (at least) monthly, as new information
comes in to me. I will extract an ASCII version of the FAQs
and post them to sci.op-research on the first working day of
each month, as I have done in the past.

As with any new enterprise, there may be a "shakedown" period
as I correct problems that arise, so please be patient. Even
more than usual, I solicit constructive feedback on the form
and content of these two FAQs.

John W. Gregory jwg@cray.com 612-683-3673
Applications Dept. Cray Research, Inc. Eagan, MN 55121

two months you will undoubtedly have had difficulties. I apologize
for these problems, which can be expected with any move overseas.

------------------------------

From: Trini Flores <flores@siam.org>
Date: Mon, 29 Aug 94 10:58:28 EST
Subject: Conference on Control & Its Applications

Call for Participation...

Third SIAM Conference on Control and Its Applications
April 27-29, 1995
St. Louis, Missouri

Dates to Remember:

SEPTEMBER 9, 1994 -- Deadline for submission of minisymposium
proposals.

OCTOBER 7, 1994 -- Deadline for submission of contributed abstracts.

Submissions via E-Mail are welcome. Contact meetings@siam.org to
receive either a minisymposium proposal form, or a plain TeX or LaTeX
macro for submitting abstracts.

or access gopher.siam.org

We are looking forward to your participation in this conference. Thank
you.

The Conference Organizing Committee

------------------------------

From: Richard Bartels <rhbartel@watcgl.uwaterloo.ca>
Date: Tue, 30 Aug 94 13:19:06 -0400
Subject: Graphics Interface Conference

GRAPHICS INTERFACE'95
15 - 19 MAY 1995
QUEBEC CITY, QUEBEC, CANADA

CALL FOR PAPERS

Contributions are solicited describing unpublished research results and
applications experience in all areas of computer graphics, including:

Image Synthesis & Realism User Interfaces
Shading & Rendering Algorithms Windowing Systems
Geometric Modeling Computer Cartography
Computer Animation Image Processing
Interactive Techniques Medical Graphics
Graphics for CAD/CAM Graphics in Education
Computer-Aided Building Design Graphics & the Arts
Industrial & Robotics Applications Visualization
Graphics in Business Graphics in Simulation

Send five (5) copies of a full paper (20 double-spaced pages or less) to
the Program Chair by 31 October, 1994. Include full names, addresses,
phone numbers, fax numbers and email addresses for all authors. One author
should be designated the contact author for all subsequent correspondence
regarding the paper. Notification of acceptance or rejection will be
mailed to the contact author by 23 January, 1995. Accepted papers will be
published in the Conference Proceedings. Camera ready copies of accepted
papers are due 25 March, 1995. Each paper will be allotted up to eight (8)
pages in the proceedings. Extra charges will be made for papers exceeding
the limit and for color photos.

Workshops:
Interested parties are encouraged to submit proposals for Workshops to the
Program Chair by 15 November, 1994.

Electronic Theatre:
Film and video tapes that illustrate the use of computer graphics and
interactive techniques will be considered for presentation at the 1995
conference. This material could present new techniques, the artistic
application of computer graphics, or a historical perspective of the field.
All submitted material will be reviewed. Due to time constraints, only
portions of some film or video tapes may be shown. The committee reserves
the right to edit all submitted material for presentation. Send
submissions to the Program Chair by 31 March, 1995.

Program Chair:
Przemyslaw Prusinkiewicz
Dept. of Computer Science
University of Calgary
2500 University Drive N.W.
Calgary, Alberta T2N 1N4
Tel: 403-220-5494
Fax: 403-284-4707
email: pwp@cpsc.ucalgary.ca

Program Committee:
Chandrajit L. Bajaj Purdue University
Richard Bartels University of Waterloo
Jules Bloomenthal George Mason University
Tom Calvert Simon Fraser University
Alain Fournier University of British Columbia
Ned Greene Apple Computer
Marylin Mantei University of Toronto
Avi Naiman Hong Kong University
Darwyn Peachey Pixar
Mikio Shinya NTT Japan
Neil Stewart University of Montreal
Colin Ware University of New Brunswick
Brian Wyvill University of Calgary

------------------------------

From: Andrew Ilin <ilin@sina.tcamc.uh.edu>
Date: Wed, 31 Aug 1994 12:18:12 -0500 (CDT)
Subject: Conference On Spectral And High Order Methods

FIRST ANNOUNCEMENT AND CALL FOR PAPERS

International Conference On Spectral And High Order Methods
ICOSAHOM'95

May 22--26, 1995
Houston, Texas

GENERAL INFORMATION

ICOSAHOM'95 is the 3rd of a series of conferences held in Como (Italy) in 1989
and Montpellier (France) in 1992. The development of high performance
computers has made spectral and high order methods one of the most important
techniques in modern scientific and engineering computing. The aim of the
conference is to bring together leading researchers, both established and young
scientists to survey and review the current state of research in this domain.
Funding for the conference has been requested from a series of federal
agencies. Anticipated use will include travel support for speakers who do not
have alternative support (graduate students, participants from developing and
former Soviet-block countries).

MAIN TOPICS

1. Spectral methods.
2. High order finite differences.
3. h-p version of finite elements.
4. Approximation of PDE's using wavelet techniques.

SCIENTIFIC COMMITTEE

Ivo Babuska, U. of Maryland, Christine Bernardi, U. of Paris,
Claudio Canuto, Politecnico di Torino, Michel Deville, U. Cath. de Louvain,
David Gottlieb, Brown University, Heinz O. Kreiss, UCLA
Yvon Maday, U. of Paris, Anthony T. Patera, MIT
Alfio Quarteroni, Politecnico di Milano, L. Ridgway Scott, U. of Houston,

CALL FOR PAPERS

There will be seven fifty-minute invited presentations, a series of about fifty
contributed papers selected by the scientific committee and a poster session.
Proposals for mini--tracks will also be considered. They should include a
proposed topic and expected list of speakers. Accepted contributed papers will
be presented as thirty-minute talks in two parallel sessions and published in
the Proceeding of ICOSAHOM'95. Authors are invited to submit three copies of
an abstract of at least one typed page by November 1, 1994 to

Leigh Ann Jacks, Conference Manager
ICOSAHOM'95
Department of Mathematics
University of Houston
Houston, TX 77204-3476.

E-mail submissions or requests for further information to the following
address are also welcome:
ICOSAHOM@math.uh.edu

Submission of abstracts: November 1, 1994.

and full instructions for submission of papers: December 15, 1994.

Full papers due: February 1, 1995.

------------------------------

From: Ristorcelli Joseph <jrrjr@icase.edu>
Date: Fri, 2 Sep 1994 13:32:48 -0400
Subject: Workshop on Computational Aeroacoustics

ICASE/LaRC WORKSHOP ON BENCHMARK PROBLEMS
IN COMPUTATIONAL AEROACOUSTICS

October 24-26, 1994
Holiday Inn Hampton - Coliseum Hotel and Conference Center
Hampton, Virginia

Computational aeroacoustics (CAA), although at present
in its infancy, is fast emerging to occupy a
position equal in importance to theory and experiment.
A feature that distinguishes CAA from computational
aerodynamics is the need for a faithful representation of
relatively low-amplitude linear and nonlinear wave
propagation processes. The purpose of the Workshop
on the Benchmark Problems in Computational Aeroacoustics
is to evaluate the accuracy and efficiency of numerical
methods in a systematic fashion as applied to certain elementary
testbed problems which characterize the difficulties of CAA.
This Workshop is a sequel to the first Workshop on Computational
Aeroacoustics held in April 1992, which focused on assessing
the state-of-the-art and defining future directions of
research [Springer-Verlag 1993]. We envision a third
workshop which will focus on more realistic benchmark problems.

These present test cases are confined to unsteady
two-dimensional inviscid problems where "exact" solutions
exist to encourage broad participation.
The submissions are assessed by a scientific committee.

In addition to discussing the benchmark problems, the Workshop will
conduct a panel discussion on the Industrial Perspective on the
Critical Issues of Computational Aeroacoustics and an overview of
experimentally observed phenomena that can be used in code validation.

If you would like to attend or would like further information

Emily Todd
ICASE, Mail Stop 132C
NASA Langley Research Center
Hampton, VA 23681-0001

Telephone: (804) 864-2175; E-mail: emily@icase.edu; FAX: (804) 864-6134

------------------------------

From: R. Baker Kearfott <rbk5287@interval.usl.edu>
Date: Wed, 31 Aug 1994 13:01:45 -0500
Subject: Contents, Interval Computations

Interval Computations. - 1993. - N 3 (Special Issue: Proceedings of
the International Conference on Numerical Analysis with Automatic
Result Verification. Lafayette, Louisiana, USA, Feb. 25 - March 1,
1993. - Vol. 2)

CONTENTS

E. R. Hansen
Computing Zeros of Functions Using Generalized
Interval Arithmetic 3

C. Hu, R. B. Kearfott, and A. Awad
On Bounding the Range of Some Elementary Functions
in FORTRAN--77 29

R. Van Iwaarden
Automatic Differentiation Applied to Unconstrained
Nonlinear Optimization with Result Verification 41

L. Jaulin and E. Walter
Guaranteed Nonlinear Parameter Estimation via
Interval Computations 61

J. B. Keiper
Interval Arithmetic in Mathematica 76

L. J. Kohout and I. Stabile
Interval-Valued Inference in Medical Knowledge-Based
System CLINAID 88

C. Falc\'o Korn and Ch. Ullrich
Verified Solution of Linear Systems Based on Common
Software Libraries 116

B. P. Kristinsdottir, Z. B. Zabinsky, T. Csendes,
and M. E. Tuttle
Methodologies for Tolerance Intervals 133

A. Leclerc
Parallel Interval Global Optimization and
Its Implementation in C++ 148

S. M. Markov
Some Interpolation Problems Involving Interval Data 164

M. Nakamura, R. Mines, and V. Kreinovich
Guaranteed Intervals for Kolmogorov's Theorem (and Their
Possible Relation to Neural Networks) 183

Journal of Symbolic Computations: Special Issue on
Validated Numerical Methods and Computer Algebra 200

Requirements for manuscript preparation 202
Requirements for manuscript preparation (in Russian) 203

Addresses of the editorial board members 204

Contents 206

--------------------------------------------------------------------
Interval Computations. - 1993. - N 4 (Special Issue: Proceedings of
the International Conference on Numerical Analysis with Automatic
Result Verification. Lafayette, Louisiana, USA, Feb. 25 - March 1,
1993. - Vol. 3)

CONTENTS

V. M. Nesterov
How To Use Monotonicity-Type Information To Get Better
Estimates of the Range of Real-Valued Functions 3

J. Rohn
Cheap and Tight Bounds: The Recent Result by
E. Hansen Can Be Made More Efficient 13

M. J. Schaefer
Precise Zeros of Analytic Functions Using
Interval Arithmetic 22

C. A. Schnepper and M. A. Stadtherr
Application of a Parallel Interval Newton/Generalized
Bisection Algorithm to Equation-Based Chemical Process
Flowsheeting 40

M. J. Schulte and E. E. Swartzlander, Jr.
Parallel Hardware Designs for Correctly Rounded
Elementary Functions 65

L. Simcik and P. Linz
Boundary-Based Interval Newton's Method 89

O. Sirisaengtaksin and V. Kreinovich
Neural Networks That Are Not Sensitive To The
Imprecision of Hardware Neurons 100

U. Storck
Verified Calculation of the Nodes and Weights
for Gaussian Quadrature Formulas 114

I. B. Turksen
Interval Valued Fuzzy Sets and Fuzzy Connectives 125

V. M. Veliov
Computation of Integrals of Uncertain Vector Functions 143

E. Villa, A. Bernat, and V. Kreinovich
Estimating Errors of Indirect Measurement on Realistic
Parallel Machines: Routings on 2-D and 3-D Meshes
That are Nearly Optimal 154

K. Villaverde and V. Kreinovich
A Linear-Time Algorithm That Locates Local Extrema of a
Function of One Variable From Interval Measurement Results 176

A. G. Yakovlev
Multiaspectness and Localization 195

Meetings

J. Wolff von Gudenberg
International Conference INTERVAL'94 210

Requirements for manuscript preparation 214
Requirements for manuscript preparation (in Russian) 214

Addresses of the editorial board members 216

Contents 218

------------------------------

From: Richard Brualdi <brualdi@math.wisc.edu>
Date: Wed, 31 Aug 1994 18:21:14 -0500 (CDT)
Subject: Contents, Linear Algebra and its Applications

Linear Algebra and Its Applicatios
Contents Volume 210
Fourth Special Issue on Statistics and Linear Algebra

Preface 1

Gene H. Golub (Stanford, California) and Hongyuan Zha
(University Park, Pennsylvania)
Perturbation Analysis of the Canonical Correlations of Matrix Pairs 3

Shubhabrata Das (Missoula, Montana) and Pranab Kumar Sen
(Chapel Hill, North Carolina)
Restricted Canonical Correlations 29

Steven J. Leon (North Dartmouth, Massachusetts)
Maximizing Bilinear Forms Subject to Linear Constraints 49

J. Dauxois, Y. Romain, and S. Viguier-Pla (Toulouse, France)
Tensor Products and Statistics 59

Geoff A. Latham and Robert S. Anderssen (Canberra, Australia)
Assessing Quantification for the EMS Algorithm 89

Pawel R. Pordzik (Poznan, Poland) and Gotz Trenkler (Dortmund, Germany)
Pre-test Estimation in the Linear Regression Model With
Competing Restrictions 123

S. R. Searle (Ithaca, New York)
Extending Some Results and Proofs for the Singular Linear Model 139

A. A. Papadopoulou and P.-C. G. Vassiliou (Thessaloniki, Greece)
Asymptotic Behavior of Nonhomogeneous Semi-Markov Systems 153

D. Q. Wang and C. R. O. Lawoko (Palmerston North, New Zealand)
Estimation of Parameters for Normally Distributed Random Matrices 199

Yasuko Chikuse (Takamatsu-shi, Kagawa-ken, Japan)
Generalized Noncentral Hermite and Laguerre Polynomials
in Multiple Matrices 209

Jorma Kaarlo Merikoski (Tampere, Finland), Humberto Sarria,
and Pablo Tarazaga (Mayaguez, Puerto Rico)
Bounds for Singular Values Using Traces 227

Hans Joachim Werner (Bonn, Germany)
When is B_A_ a Generalized Inverse of AB? 255

B. Mond (Bundoora, Victoria, Australia) and J. E. Pecric (Zagreb, Croatia)
Inequalities With Weights for Powers of Generalized Inverses. II 265

Author Index 273

------------------------------

End of NA Digest

**************************
-------