NA Digest Saturday, October 28, 1995 Volume 95 : Issue 43

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.

URL for the World Wide Web: http://www.netlib.org/na-net/na_home.html -------------------------------------------------------

From: NA Digest <na.digest@na-net.ornl.gov>
Date: Sat Oct 28 07:11:03 EDT 1995
Subject: NA Digest Calendar

The Netlib Conferences Database is on the Web at:

http://www.netlib.org/confdb/Conferences.html

NA Digest Calendar
Date Topic Place NA Digest #

Nov. 1- 4 Complementarity Problems Baltimore, MD 05
Nov. 3- 4 Linear Algebra and Scientific Computing Kent, Ohio 43
Nov. 6- 9 Geometric Design Nashville, TN 04
Nov. 12-17 Semiconductor Device Modeling San Francisco, CA 20
Nov. 15-17 Simulation of Devices and Technologies Kruger, South Africa 01
Nov. 16-17 Parallelising CFD & Structures Paris, France 41
Nov. 19-22 Pure and Applied Mathematics Isa Town, Bahrain 94:38
Nov. 21-22 Courses on MATLAB and Mathematica Swindon, England 41
Nov. 27 Dynamic Load Balancing Warrington, UK 40
Nov. 29 Northern England NA Colloquium Liverpool, England 41

Dec. 1 Honour of Jean Meinguet Louvain-la-Neuve, Belgium 43
Dec. 8 Runge-Kutta Centenial Amsterdam, Netherlands 27
Dec. 10-14 Global Optimization Szeged, Hungary 26
Dec. 11-13 Quasi-Monte Carlo Methods Hong Kong 36
Dec. 14-16 Dynamical Systems/Numerical Analysis Atlanta, GA 40
Dec. 14-20 Winter School on Iterative Methods Hong Kong 38
Dec. 16-19 Geophysical Inverse Problems Yosemite, CA 19

1996

Jan. 13-15 Course on Wavelets and Filter Banks Tampa, FL 42
Jan. 19-21 Boundary Elements Kiel, Germany 41
Jan. 28-30 Discrete Algorithms Atlanta, GA 25

Feb. 12-14 Network Optimization Problems Gainesville, FL 94:47
Feb. 12-15 Computational Differentiation Santa Fe, NM 29

Mar. 4- 6 Numerical Combustion New Orleans, LA 37
Mar. 11-13 Structural Mechanics Dortmund, Germany 40

Apr. 1- 4 State of the Art in Numerical Analysis York, England 41
Apr. 9-11 Real Numbers and Computers Marseille, France 26
Apr. 9-13 Short Course in Optimization Hampton, VA 42
Apr. 9-13 Copper Mountain Conference Copper Mountain, CO 40
Apr. 14-16 Theoretical and Applied Mechanics Tuscaloosa, AL 35

May 19-23 Computational Fluid Dynamics Freiburg, Germany 30
May 20-22 SIAM Conference on Optimization Victoria, BC, Canada 26
May 20-23 Parallel CFD Capri, Italy 34
May 21-24 Graphics Interface Conference Toronto, Canada 18
May 27-30 Volterra Centannial Tempe, AZ 42

June 3- 8 Domain Decomposition Bergen, Norway 28
June 10-15 Honor Lax and Nirenberg Venice, Italy 29
June 11-14 Numerical Fluid Flow Breckenridge, CO 37
June 13-15 Algebraic Multilevel Iteration Methods Nijmegen, Netherlands 42
June 15-19 Hyperbolic Problems Hong Kong 36
June 17-20 SIAM Conference on Discrete Mathematics Baltimore, MD 29
June 17-20 Integral Methods in Science and Engin. Oulu, Finland 24
June 17-21 Householder XIII Symposium Pontresina,Switzerland 31
June 20-21 Mitrinovic Memorial Conference Belgrade, Serbia 26
June 24-27 Numerical Analysis and Applications Russe, Bulgaria 35
June 24-28 Networks and Systems Saint Louis, MO 27
June 26-28 Images, Wavelets and PDE's Paris, France 41

July 1 -5 Grid Adaptation in Computational PDEs Edinburgh, Scotland 40
July 7-11 ASME Fluids Engineering Division San Diego, CA 35
July 8-12 Prague Mathematical Conference Prague, Czech Rep. 03
July 8-12 Quality of Numerical Software Oxford, England 19
July 8-19 Numerical Analysis Summer School Leicester, England 41
July 15-19 Computational Mechanics Miskolc, Hungary 41
July 22-27 Summer Seminar on Plates and Shells Quebec City, Canada 26
July 24-26 Symbolic and Algebraic Computation Zurich, Switzerland 42
July 27-30 Conference Honoring Mike Powell Cambridge, England 94:48

Aug. 18-21 Parallel Computing Lyngby, Denmark 38
Aug. 21-24 Total Least Squares Leuven, Belgium 38
Aug. 25-31 Congress Theor. & Appl. Mechanics Kyoto, Japan 94:46

Sep. 2- 5 Nonlinear Programming Beijing, China 18
Sep. 9-13 "ECCOMAS 96" Paris, France 23
Sep. 9-14 Ill-Posed Problems Moscow, Russia 23
Sep. 15-17 Control System Design Dearborn, MI 43
Sep. 30 -- Interval Methods Wuerzburg, Germany 43

Nov. 6- 8 Innovative Time Integrators Amsterdam, Netherlands 40


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

From: Hairer Ernst <hairer@divsun.unige.ch>
Date: Fri, 27 Oct 1995 13:34:08 +0100
Subject: News from the Geneva NA Group

(1) The following new book is on the market:
"Analysis by its History" by E. Hairer and G. Wanner
(Undergraduate Texts in Mathematics)
Springer-Verlag New York, ISBN 0-387-94551-2 (42.- $).

(2) Our codes RADAU5, RODAS, SEULEX have been updated:
new linear algebra options for problems of the form
y''=f(x,y,y') or B(y)y'=f(x,y) are included.
New code RADAUP: this is nonoptimized extension of RADAU5
to higher order Radau IIA methods (order 5, 9, and 13)
The codes are still available by anonymous ftp from
"ftp.unige.ch" ("129.194.17.1") in the directories
pub/doc/math/stiff pub/doc/math/nonstiff
pub/doc/math/mechanic
They are also available on Web:
http://www.unige.ch/math/
under the item "programmes informatiques"

(3) Our recent papers are available by anonymous ftp from
"ftp.unige.ch" in the directory pub/doc/math/papers
or on Web: http://www.unige.ch/math/
under the item "preprints"
The most recent one is "The lifespan of backward error analysis
for numerical integrators" by E. Hairer and Ch. Lubich.

Gerhard Wanner and Ernst Hairer


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

From: Frank D Uhlig <uhligfd@mail.auburn.edu>
Date: Mon, 23 Oct 1995 09:38:24 -0500 (CDT)
Subject: Challenges in Matrix Theory

CALL for
"CHALLENGES in MATRIX THEORY"

Purpose:
To collect a significant number of challenging problems in Matrix Theory.

Deadlines:
All Challenges shall be submitted to the Challenges coordinator Frank Uhlig
by January 15, 1997.
If a sufficient number of Challenges is accepted by the Challenges advisory
panel, the editors-in-chief of Linear Algebra and its Applications (LAA)
have agreed to publish the Challenges in a special section in one of LAA's
early 1998 issues.
The n^{th} ILAS Conference at Auburn University in 2002 will feature all
significant solutions to Challenge problems as part of its program.

Format:
All Challenges should be between 2 and 5 pages in length with a detailed
account of the history, notations, references and an explanation of the
significance and envisioned uses of the proposed Challenge problem.

Detailed instructions and a description of this Project are available
electronically and shall also be published in volume 233 of Linear Algebra
and its Applictions in January 1996.

Electronic submission in TeX or LaTeX format is preferred. However,
for easy transportability of the files amongst the reviewers, we ask all
submitters to try and refrain from using extensive macros.

Electronis Access:
A more detailed description of the Challenges Project has been archived
(both in ASCII mode and as a Latex file) in the AUBURN.02 file of the
ILAS Information Center (IIC) :
Access using MOSAIC, XMOSAIC, NETSCAPE or LYNX :
http://math.technion.ac.il/iic
Anonymous FTP : ftp math.technion.ac.il (directory "iic")


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

From: Vladik Kreinovich <vladik@cs.utep.edu>
Date: Fri, 27 Oct 95 08:21:35 MDT
Subject: Interval Computations Help in Solving Long-Standing Problem

Double Bubble Minimizes:
Interval Computations Help in
Solving a Long-Standing Geometric Problem

It is well known that of all surfaces surrounding an area with a given
volume V, the sphere has the smallest area. This result explains, e.g.,
why a soap bubble tends to become a sphere. More than a hundred years
ago, the Belgian physicist J. Plateaux asked a similar question: what
is the least area surface enclosing two equal volumes? Physical
experiments with bubbles seem to indicate that the desired least area
surface is a "double bubble", a surface formed by two spheres
(separated by a flat disk) that meet along a circle at an angle of
120 degrees. However, until 1995, it was not clear whether this is really
the desired least area surface. Several other surfaces ("torus bubbles")
have been proposed whose areas are pretty close to the area of the double
bubble.

The theorem that double bubble really minimizes was recently proven by
Joel Hass from Department of Mathematics, University of California at
Davis (email hass@math.ucdavis.edu) and Roger Schlafly from the Real
Software Co. (rschlafly@attmail.com). First, they proved that the
desired surface is either a double bubble or a torus bubble, and then
used interval computations (as well as other ingenious numerical
techniques) to prove that for all possible values of parameters, the
area of the torus bubble exceeds the area of the double bubble
described above.

This result was mentioned in a popular magazine "Discover" as one of
the main scientific achievements of the year.

This application of interval mathematics not only provides a solution
to a long-standing mathematical problem; the authors also describe potential
practical applications, one of the them: to the design of the lightest
possible double fuel tanks for rockets.

The paper is not yet published. A preprint is available from the authors.


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

From: Vladik Kreinovich <vladik@cs.utep.edu>
Date: Fri, 27 Oct 95 11:29:00 MDT
Subject: Student Award for Reliable Computing journal

Best Student Paper Award
for Reliable Computing journal

In 1993, the editorial board of the "Interval Computations" journal
(now called "Reliable Computing") announced that papers submitted for
the special student issue will be automatically entered into a
Best Student Paper contest. The prize for the student author of the
best paper is a free one-year subscription to the journal.

We have received about twenty papers; the referee reports and the reports
from the members of the editorial board of Reliable Computing served as
the basis for choosing the best paper. It was a very difficult decision
to make because we have received several excellent papers.

We are pleased to announce the results. The best student paper award
is awarded to the paper

"A software interface and hardware design for variable-precision
interval arithmetic" by Michael J. Schulte and Earl E. Swartzlander, Jr.
This paper is published in ``Reliable Computing'', 1995, Vol. 1, No. 3, pp.
325-342.

Michael J. Schulte, the student author of this paper, will, as
promised, get a free one-year subscription to Reliable Computing.

Congratulations to Michael, and thanks to all who submitted the papers
for the job well done!

Vladik Kreinovich and Guenther Mayer
co-editors of the student issue


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

From: Daniel Zwick <dan@ipb.uni-bonn.de>
Date: Sat, 21 Oct 1995 19:45:52 +0100 (MET)
Subject: Report from Conference on Mathematical Tools in Metrology

Report on
Euroconference on Advanced Mathematical Tools in Metrology
Oxford, England, September 27--30, 1995

The International Euroconference on Advanced Mathematical Tools in Metrology
took place at Lady Margaret Hall in history-laden Oxford University
September 27--30, 1995. The conference was sponsored by an international
committee including the British National Physical Laboratory and the Italian
Istituto di Metrologia "G. Colonnetti". It is the first in a Euroconference
series on AMTM, the next one being scheduled for 1996 in Berlin.
The chief organizer was Maurice Cox of NPL.

What is metrology? And why is it of interest to numerical analysts?
Metrology is measurement science; and as practitioners of metrology are aware,
the solution of problems that one commonly encounters in this area requires
the application of a wide array of mathematical and statistical tools. This
point was made incisively by Jeremy Du Croz of NAG Ltd., who in his talk
stated "Just about all mathematical and statistical software is relevant to
metrology."

The participants in the AMTM conference were engineers, physicists, chemists,
mathematicians, and computer specialists, coming from industry, universities
and metrology laboratories, united in their common interest in developing
and applying mathematical tools to the myriad problems that arise in the
field of metrology. To get a feel for the international flavor of the
conference, consider that among the around 70 participants, 16 countries
were represented. One speaker even came from New Zealand, half-way around
the globe.

The stated goals were to present and promote current applications of sound
mathematical modeling and analysis, statistics, numerical methods, and
software to metrology. Indeed, the talks covered a wide range of topics,
including measurement models, simulation and experimental design, industrial
aspects such as surface roughness, process diagnostics, and manufactured part
inspection; uncertainty estimation, instrument calibration, and available
software (a list of titles is attached below).

Among the mathematical approaches presented in the talks were total least
squares, bootstrapping applied to quality control, linearization via the small
displacement torsor, numerical methods for solving Cauchy singular equations,
wavelet transforms, tomographic reconstruction algorithms, and numerical
evaluation of infinite integrals via orthogonal polynomials, to name a few.

The conference began after lunch on Wednesday and the first day was devoted
to tutorials. Maurice Cox and Alistair Forbes of NPL discussed various aspects
of mathematical modeling in the solution of metrology problems, after which
Prof. E Arri of the Politecnico di Torino expounded on correct metrological
procedures for performing measurements. In particular, he stated that overall
uncertainty in measurements should be determined and expressed as recommended
in the new ISO Guide to the Expression of Uncertainty in Measurement, a topic
that was further discussed at the Uncertainty Roundtable that ended the
conference on Saturday.

A highlight of the conference was the two-part tutorial given by Gene Golub of
Stanford on "The Singular Value Decomposition: Uses and Computation."
Actually, much of his second talk concerned how to avoid the calculation of an
SVD. The use of the SVD as a tool for solving and analyzing problems in
metrology was a recurrent theme in the presentations and the discussion that
followed them.

All of the talks were well attended and the interest of the audience was keen.
The weather throughout was remarkably good, with blue skies being the rule,
and Oxford and environs were beautiful. While the accommodations in Lady
Margaret Hall were somewhat Spartan, the food was good and plentiful.
Fortunately, the adjacent, lush University Park offered the opportunity for
pleasant post-prandial strolls. My only disappointment was that, despite the
numerous signs in Oxford announcing "Humped Zebra Crossing," I failed to see
any beasts even remotely resembling a striped dromedary.

Coincidentally, parallel to the conference the Museum of the History of
Science in Oxford was showing a special exhibition entitled "The Measurers,
a Flemish Image of Mathematics in the Sixteenth Century" (for a virtual
tour of this exhibition browse the URL http://www.ox.ac.uk/departments/hooke).

As is evident from the list of talks that follows, metrology can be a rich
source of new and interesting problems for researchers in numerical analysis
(as well as in other areas of mathematics). Furthermore, metrologists often
contribute new approaches to and insights into the solution of problems that
interest numerical analysts. Metrology as a field is becoming increasingly
important as a key component of quality manufacturing and is enjoying growing
support in many countries. Na-netters are encouraged to play an active role
in its further development.

List of Talks

E. Arri (arri@polito.it) Performing measurements through correct metrological
procedures.
J. A. Brandon (brandon@cardiff.ac.uk) Statistical methods for curvature
estimation.
M. Morandi Cecchi (mcecchi@pdmat1.math.unipd.it) On the numerical evaluation
of a class of special integrals for theoretical models of microscope
measurement.
P. Ciarlini (ciarlini@vaxiac.iac.rm.cnr.it) Monitoring an industrial process:
bootstrap estimation of the accuracy of quality parameters.
M. Cox (mgc@newton.npl.co.uk) Constructing and solving mathematical models
of measurement.
J. Coy Process diagnostics using wavelet transforms.
J. Du Croz (jeremy@nag.co.uk) Relevant mathematical and statistical software.
S. Duane (duane@newton.npl.co.uk) The calibration of absorbed dose standards
for ionizing radiation.
M. Dell'Isola Statistical problems in calibration design.
C. Elster (elster@ptb.de) Optimization of cryoelectronic thin film devices by
experimental design.
A. Forbes (abf@newton.npl.co.uk) Model parametrization and experimental design.
G. Golub (golub@na-net.ornl.gov) The singular value decomposition: uses and
computation.
L. Gori On the numerical solution of Cauchy integral equations.
H. Haitjema Iterative solution of least-squares problems applied to
flatness and grid measurements.
P. Harris (pmh@newton.npl.co.uk) A comparison of methods used for the
calculation of effective area in the calibration of pressure balances.
C. Lartigue (lartigue@lurpa.ens-cachan.fr) The concept of the small
displacement torsor in metrology.
S. Leeman Description and measurement of transient ultrasound fields.
M. Lo Cascio Comparison of numerical methods to solve the problem of volume
measurements by means of a gas expansion.
T. Leahy (tsl@physics.dcu.ie) An analysis of statistical estimation method
used in high accuracy mass determination.
R. Model (model@ptb.de) Reconstruction algorithms for optical tomography.
J. Nicholas (j.nicholas@irl.cri.nz) Debye functions in temperature metrology.
B. Pompe (pompe@physik.uni-greifswald.de) A tool to measure dependencies in
data sequences.
M. Rastello (rastello@piccilo.cstv.to.cnr.it) A new approach to total least
squares techniques for metrological applications.
D. Richter (richter@ptb.de) Gaining information from measurement data.
P. Scott (100536.2720@compuserve.com) Characterization of 3D surface roughness.
D. Sourlier (sourlier@iwf.bepr.ethz.ch) A new method and software tool for the
exact solution of complex dimensional measurement problems.
E. Trapet (eugen.trapet@ptb.de) The virtual CMM concept.
D. Zwick (zwick@na-net.ornl.gov) Algorithms for orthogonal fitting of lines and
planes: a survey.

Dan Zwick
double star Research
St. Augustin, Germany


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

From: Arden Ruttan <ruttan@etna.mcs.kent.edu>
Date: Fri, 27 Oct 1995 14:19:58 -0500 (EDT)
Subject: Session on Linear Algebra and Scientific Computing

The Schedule of Talks for the Special Session on Linear Algebra and
Scientific Computing which will be held on November 3-4 at Kent State
University as part of the AMS Fall Central Sectional Meeting is listed below.
Abstracts for these talks and additional information can be obtain
from http://www.mcs.kent.edu/ams1904/1904.html.

8:00 AM - 11:00 AM, Friday, November 3, 1995

Random Triangular Matrices
Lloyd N. Trefethen

A Partial Jacobi Method for Signal Subspace Separation
Hongyuan Zha

A More Accurate Method for Bidiagonal Reduction
Jesse L. Barlow

An Algorithm for Large Symmetric Toeplitz Eigenproblems
Gregory S. Ammar and Santosh Kumar Mohanty

Preconditioning Techniques in Large Scale Non-Hermitian Eigenproblem Solvers
Zhaojun Bai

Space-Time Trade-Offs in GMRES with Multigrid Preconditioning
Faisal Saied

2:40 PM - 5:10 PM, Friday, November 3, 1995

Biorthogonality and Partial Pole Assignment for the Symmetric
Definite Quadratic Pencil
Biswa Nath Datta

On the Distance to the Nearest Singular Pencil
Ralph Byers

Matrix Approximants for Inverse Vibration Problems
Christopher Beattie

Applications of Implicit Restarting in Optimization and Control
Danny C. Sorensen

Parallel Solvers for Almost Block-diagonal Linear Systems via Reduced Systems
Dan Hu and A. Sameh

8:00 AM - 11:00 AM, Saturday, November 4, 1995

The Triangular Matrices of Gaussian Elimination
G. W. Stewart

On the Combination of Multilevel and Krylov Subspace Methods
Gerhard Starke

Moments in Quadrature Problems
Walter Gautschi

Asynchronous Two-Stage Methods for the Solution of Linear Systems
Daniel B. Szyld

Preconditioning of Symmetric, but Highly Indefinite Linear Systems
Roland W. Freund

On Krylov Subspace Approximations to the Matrix Exponential Operator
Marlis Hochbruck and Christian Lubich

2:40 PM - 5:40 PM, Saturday, November 4, 1995

Iterative Methods for Ill-Conditioned Linear Systems
Daniela Calvetti, Lothar Reichel, ans Qin Zhang

Numerical Minimization of the Landau-de Gennes Free Energy Functional
Timothy A. Davis and Eugene C. Gartland, Jr.

Some Methods for the Iterative Solution of Systems with Multiple
Right-Hand Sides
E. Gallopoulos and V. Simoncini

Estimating the Error in Iterative Methods
Paul Saylor

The Rate of Convergence for Optimal Iterative Methods Using Overestimates
of the Spectrum
Xiezhang Li

The Numerical Treatment of Linear Systems with Many Delays
Jiaoxun Kwang


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

From: Andras Varga <varga@mkd8.df.op.dlr.de>
Date: Mon, 23 Oct 95 9:31:50 MEZ
Subject: Symposium on Computer-aided Control System Design

IEEE SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN (CACSD'96)
September 15 - 17, 1996, Dearborn, Michigan, USA

The bi-annual Symposium on Computer Aided Control System Design (CACSD)
will take place, under one meeting venue, jointly with the International
Symposium on Intelligent Control and the International Conference on
Control Applications. All three conferences emphasize
"Control of Automotive Systems" as a special theme.

TECHNICAL PROGRAM AND CALL FOR PAPERS:

The CACSD'96 Symposium is a forum for all timely aspects of CACSD.
However, due to the special emphasis theme, papers on all aspects of
CACSD linked to the system-dynamics and mechatronics engineering
development life cycle for automotive systems are invited.

The technical program of the Symposium will feature a plenary lecture,
technical sessions with contributed and invited papers, special sessions
and lectures (survey papers, case studies, benchmark sessions,
panel discussion sessions).

Papers are solicited for technical and special sessions which include,
but are not limited to:

- Algorithms for CACSD - Data Structures for CACSD
- Software Tools for CACSD - CACSD Support Environments
- System Modeling and Simulation - Intelligent controller design
- Control System Design Methodology - Design of Automotive Systems
- Symbolic and Numerical Computations - Hybrid, Discrete-Event and
Real-Time Systems
TIME-TABLE:

January 1, 1996 ........ Contact the Program Chair for Invited Sessions
January 22, 1996 ........ All submissions and proposals to the Program Chair
May 1, 1996 ........ Notification of acceptance
June 17, 1996 ........ Camera-ready paper

Organizing Chair Program Chair

Prof. Grantham Pang Prof. Georg Gruebel
Dept. Electr. & Comp. Eng. DLR Oberpfaffenhofen
University of Waterloo Institute for Robotics and System Dynamics
Waterloo, Ontario Postfach 1116, D-82230 Wessling
CANADA, N2L 3G1 GERMANY
Tel: 519-885-1211 (ext.3994) Tel: (+49) 8153-28-2484
Fax: 519-746-3077 Fax: (+49) 8153-28-1441
Email: pang@kingcong.uwaterloo.ca Email: georg.gruebel@dlr.de

ADDITIONAL INFORMATION ON WWW: http://www.op.dlr.de/FF-DR/dr_er/CACSD96.html


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

From: Michael Lerch <lerch@cork>
Date: Tue, 24 Oct 1995 10:50:23 +0100 (MET)
Subject: Conference on Interval Methods

I N T E R V A L '96
INTERNATIONAL CONFERENCE ON
INTERVAL METHODS AND COMPUTER AIDED PROOFS
IN SCIENCE AND ENGINEERING

SEP 30 - OCT 2, 1996
WUERZBURG, GERMANY

The conferences INTERVAL'XX are significant meetings devoted to
various aspects of reliable numerical computations based on the
interval approach. (Sometimes the terms validated numerics,
localizational computations, or enclosure methods are used). Talks are
devoted to development of corresponding mathematical structures,
design of computer tools, and applications in a wide range of areas.

INTERVAL'96 will focus on computer assisted proofs ranging from
symbolic computation through rigorous error estimation, and including
different paradigms such as functional and logic programming as well
as solution of constraint systems. The traditional interval approach
will appear as one important aspect common to most of the approaches.
Although papers may be restricted to one of these topics, we
especially encourage the submission of reports on combination of
several approaches.

The following topics will be considered: interval mathematics,
hardware and software for interval and computer-algebraic methods,
SC-languages, logic constraint programming, interval modelling,
interval constraints, computer aided proofs in analysis, interval
algorithms in control theory, organization of symbolic-numeric
interfaces, programming environments for scientific computing, and
applications in various fields of science and engineering as well as
commercial issues.

Two copies of an extended abstract of maximum 2 pages are requested
for selection purposes. The deadline will be May 1, 1996. Electronic
submission is strongly recommended. A LaTex format will be available
via WWW (see address below). A collection of extended abstracts will
be printed before the conference. Refereed proceedings including full
versions of selected papers will be published after the conference.

IF YOU WISH TO GET MORE DETAILED AND CURRENT INFORMATION, LOOK AT WWW:

http://www.informatik.uni-wuerzburg.de/interval96

OR WRITE:

Prof. Dr. J. Wolff v. Gudenberg

email: wolff@informatik.uni-wuerzburg.de


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

From: Paul Vandooren <Vandooren@anma.ucl.ac.be>
Date: Fri, 27 Oct 1995 14:55:26 --100
Subject: Conference in Honour of Jean Meinguet

Special Topics in Numerical Analysis and Applied Mathematics
A 1-day conference in honour of Professor Jean Meinguet

December 1, 1995
Universite Catholique de Louvain,
room de La Vallee Poussin, Batiment de Hemptinne
Chemin du Cyclotron 2, B-1348 Louvain-la-Neuve

The theme of the conference is the broad area of numerical analysis
and applied mathematics, but special emphasis will be put on the
following topics: approximation theory, matrix theory and scientific
computing. This one day conference is organized in honour of
Prof. Jean Meinguet of the Universite Catholique de Louvain, as an
acknowledgment of his leading role in these areas and in celebration
of his 65-th birthday.

Speakers:

Prof. Gene Golub, Stanford University,
Matrices, moments and quadrature

Prof. Herbert Stahl, Technische Fachhochschule Berlin,
Convergence domains for diagonal Pade approximants

Prof. Claude Brezinski, Univ. Sc. & Techn. Lille I,
Variations on Richardson's method and acceleration

Prof. Annie Cuyt, Universitaire Instellingen Antwerpen,
Convergence results for multivariate Pade approximants

Prof. Walter Gander, Eidg. Technische Hochschule Zurich,
Least squares problems in coordinate metrology

Prof. Walter Van Assche, Katholieke Universiteit Leuven.
Asymptotics for Freud polynomials and the information
entropies of the harmonic oscillator

There is no registration fee for the conference and the reception is
graciously offered by the Departement d'Ingenierie Mathematique (INMA).

For the banquet we request a booking before November 10. The banquet
fee is 950Bfr for a 3 course meal, wine included. You can transfer
this amount to the account mentioned on the registration form. After
November 10 the fee is raised to 1050Bfr. Late bookings are also
subject to approval by the restaurant and might be refused if too
numerous.

The conference will be held in room ``de La Vallee Poussin'', Cycl 01,
Batiment de Hemptinne, Chemin du Cyclotron, 2. Parking is available in
front of the building. For those coming from outside LLN we included a
map and travel directions. The reception will be held in the same
building.

The conference is organized by the Institut de Mathematique Pure et
Appliquee (MAPA), the Departement d'Ingenierie Mathematique (INMA),
and the Departement de Mathematique (MATH).

Organizing committee:
Y. Felix (UCL-Math), P. Toint (FUNDP-Math), M. Willem (UCL-MAPA),
P. Habets, A. Magnus and P. Van Dooren (UCL-INMA).

For further information, please contact
A. Magnus, (magnus@anma.ucl.ac.be, tel: +32-10-47.31.57) or
P. Van Dooren (vdooren@anma.ucl.ac.be, tel: +32-10-47.80.40)

The conference is sponsored by the Fonds National de la Recherche
Scientifique and the Ministere de l'Education, de la Recherche et de
la Formation.


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

From: Olaf Abel <oab@lfpt.rwth-aachen.de>
Date: Sat, 21 Oct 1995 17:20:43 +0100
Subject: Position at RWTH, Aachen

Lehrstuhl f"ur Proze"stechnik, RWTH Aachen, Turmstr. 46, D-52056 Aachen

Job offer

Within the framework of the joint research project 'real time optimization
of large systems' supported by the Deutsche Forschungsgemeinschaft (DFG)
the Lehrstuhl f"ur Proze"stechnik (process engineering) at Aachen univerity
of technology (RWTH) offers the position of a research assistent.

The main objective of our part of the project, which will be carried out in
close cooperation with the Institut f"ur Geometrie und Praktische Mathematik
(Prof. Dahmen) at RWTH, is the development of a new method for monitoring
chemical processes. This monitoring requires the cyclic estimation of the
plant states based on past measurements every few minutes. The method to be
developed is founded on a concept for optimization based real time estimation
and is to be tested with realistic industrial problems. The optimization
problem is formulated on a moving horizon in the past and is subject to the
restrictions given by the differential and algebraic equations of the plant
model.

Applicants should have background in the field of chemical engineering or
applied mathematics. The position is paid according to the BAT IIa salary
group and is to be filled as soon as possible. Applications are to be sent
to:

Prof. Dr.-Ing. W. Marquardt
Lehrstuhl f"ur Proze"stechnik
Turmstra"se 46
D-52056 Aachen

Tel.: +49/241/80-4668
Fax.: +49/241/8888-326
e-mail: secretary@lfpt.rwth-aachen.de


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

From: Ronnie Wallace <caas10@ccsun.strath.ac.uk>
Date: Mon, 23 Oct 1995 13:29:45 +0000
Subject: Position at University of Strathclyde

AIMS
Centre for Applied and Industrial Mathematics in Scotland

The University of Strathclyde in partnership with the Engineering and
Physical Sciences Research Council (EPSRC) has agreed to fund and thereby
establish the Centre for Applied and Industrial Mathematics in Scotland
(AIMS). The aims of AIMS are to

(i) further establish better links between industry and academia,
particularly in the numerate disciplines;
(ii) to encourage the greater use of mathematical modelling in
industry; and
(iii) to collaborate closely with the European Consortium for
Mathematics in Industry (ECMI) and ``act as its Scottish arm''.

Funding is available for a Coordinator.
The Coordinator's role will be to build up a network of industrial contacts
while becoming acquainted with the full range of mathematical expertise
residing in Scotland. (Also included are certain university
centres in Northern Ireland and Northern England.) He/she will hold open
meetings 2 to 3 times a year at which industrialists will air problems that
might be amenable to a mathematical treatment. These meetings will be open
to all academics. For problems that are confidential,
private half-day meetings will be held to focus on one specific
problem or problem area. Selected academics will be invited to attend.

While the Coordinator will have a free hand to deal with the day to day
activities, AIMS will be overseen by a Steering Committee currently
composed of the grant holders: Professor Sean McKee (Chairman), Professor
Frank Leslie, FRS and Professor David Sloan.

At present funding is available for 3 years but there is a possibility
that it could be made permanent.
Further details can be obtained from Professor McKee.

Closing date is 1st December 1995.

email: s.mckee@strath.ac.uk
or
d.sloan@strath.ac.uk


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

From: Per Christian Hansen <unipch@unidhp1.uni-c.dk>
Date: Mon, 23 Oct 1995 14:38:27 +0100
Subject: Position at UNI-C, Denmark

UNI-C
Technical University of Denmark
Lyngby, DENMARK

A position as SCIENTIFIC DIRECTOR at UNI-C is now vacant.

UNI-C, the Danish Computing Centre for Research and Education, provides
computer capacity and related systems and services for research, development
and education. In addition the centre's know-how and facilities are utilised
to provide services for other groups of customers.

UNI-C's objective is to provide products and services at a high international
level at the same time securing that the products and services are competitive
as regards quality and price.

UNI-C is a government organisation with divisions in Copenhagen, Lyngby (near
Copenhagen) and Aarhus. UNI-C has a staff of approximately 140 employees.

For a number of years UNI-C has been the centre of Danish activities within
the field of scientific computing in co-operation with a number of active
research environments in Danish universities.

UNI-C also aims at continuing participation in collaborative work nationally
as well as internationally. In connection with this UNI-C wishes to
participate in EU programmes as well as in Danish research programmes within
supercomputing and to enhance and strengthen the efforts in this field.

Therefore, UNI-C is looking for a director with extensive knowledge of the
needs of the research sector with regard to High Performance Computing and
Networking (HPCN) and of European activities within the field. The director
should have an international background and should have visions concerning
the future development facing Denmark and the rest of Europe as regards HPCN.

The director should also have administrative experience combined with knowledge
of European industry as well as knowledge of existing possibilities regarding
co-operation between the private and the public sector.

The successful applicant will be a member of UNI-C's management and will refer
to the managing director.

The appointment for this post is for a three year period - as a minimum - and
may be renewed. The salary is in accordance with the rules applicable to
public servants (in Danish terms classified as grade 38). There is a
possibility of a bonus subject to the rules governing the application of the
special wages pool for executives at UNI-C.

In case of a three year contract further bonus possibilities and individual
pension terms may be agreed.

The appointment comprises the Danish Ministry of Education including all
institutions belonging to the Ministry. The location of work is UNI-C,
Lyngby (near Copenhagen).

Applications will be treated as strictly confidential.

For further information about the position please contact Prof. Dorte Olesen,
Managing Director, Tel. +45 35 82 83 55, ext. 4130;
email: dorte.olesen@uni-c.dk.

UNI-C's Annual Report and Statute may be obtained from Bente Egaa Svendsen,
Chief Secretary, Tel. +45 35 82 83 55, ext. 4110.

Applications should be addressed to The Queen and sent to UNI-C, att.:
Prof. Dorte Olesen, Managing Director, Vermundsgade 5, DK-2100 Copenhagen O,
Denmark, to be received no later than December 8, 1995 at 12 o'clock.


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

From: Carl Lee <lee@ms.uky.edu>
Date: Mon, 23 Oct 1995 21:30:24 -0400 (EDT)
Subject: Position at University of Kentucky

The Department of Mathematics at the University of Kentucky invites
applications for at least one tenure-track assistant professorship to
begin in the Fall 1996. In case of exceptional candidates, senior
appointments would be considered. In particular, we are interested in
applicants in the areas of numerical analysis, combinatorics/combinatorial
optimization, and algebra. However, applications in other areas are also
welcome. We encourage applications from women and minority groups. Using
the application cover sheet available from the AMS (if possible),
applicants should submit a vita, a description of current research and
future plans, evidence of effective teaching, and arrange to have at
least three letters of recommendation sent to:
Chair of the Recruiting Committee, Department of Mathematics, 715 POT,
University of Kentucky, Lexington, KY 40506. We expect to begin
evaluating applications December 1, 1995.

Carl Lee 606-257-6794 (office)
Department of Mathematics 606-257-4078 (fax)
715 POT, University of Kentucky lee@ms.uky.edu
Lexington, KY 40506


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

From: Gilberto Schleiniger <schleini@math.udel.edu>
Date: Tue, 24 Oct 1995 15:46:50 -0400
Subject: Position at University of Delaware

The Department of Mathematical Sciences invites applications for a
tenure/tenure track position in applied mathematics to begin September
1, 1996. Candidates will be considered at all levels up to entry
level full professor but strong preference will be given those with an
established record both in publication and funded research. Extensive
computational experience in the areas of wave propagation, fluid
dynamics, and/or inverse problems as well as experience and interest
in establishing links with industry and other academic disciplines
will weigh heavily in the candidate's favor. Evidence of effective
teaching is essential. Applicants should send a curriculum vitae
(including funding history), reprints and/or preprints and arrange to
have 3 letters of recommendation sent to:

Department of Mathematical Sciences
Applied Mathematics Search Committee
Department of Mathematical Sciences
University of Delaware
Newark, DE 19716

Applications must be received by December 1, 1995 to receive full
consideration.

The University of Delaware is an equal opportunity employer
which encourages applications from qualified minority group
members and women.


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

From: Michael J. Miksis <miksis@foam.esam.nwu.edu>
Date: Thu, 26 Oct 95 10:09:32 CDT
Subject: Position at Northwestern University

Northwestern University
Department of Engineering Sciences and Applied Mathematics

The department invites applications for a tenure-track position
in applied mathematics at the level of assistant professor, to
begin in September 1996. Requirements include a PhD and
demonstrated research ability in an area compatible with the
interests of the department. Duties involve teaching and
research.

To ensure full consideration, applicants should send a
curriculum vitae, a statement of research interests, and at
least three letters of recommendation before February 1, 1996,
to: Michael J. Miksis, Search Committee Chair, Department of
Engineering Sciences and Applied Mathematics, Northwestern
University, Evanston, IL 60208-3125.

Northwestern is an affirmative action/equal opportunity
employer. Applications from women and minorities are especially
welcomed. Hiring is contingent upon eligibility to work in the
U.S.


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

From: Graeme Fairweather <graeme@glenclova.Mines.EDU>
Date: Thu, 26 Oct 1995 14:24:22 -0600
Subject: Position at Colorado School of Mines

Colorado School of Mines
Faculty Position in Mathematical and Computer Sciences

The Department of Mathematical and Computer Sciences invites
applications for an anticipated position in Applied Statistics at
the Associate Professor level commencing with the 1996 fall
semester. Applicants should have a Ph.D. in Applied Statistics
or a related field; excellence in teaching and research is
essential. Duties include coordinating the teaching of
statistics, consulting activities with various members of the
campus research community, and developing an outreach program to
local business and industry. Evidence of interest or successful
involvement in interdisciplinary collaborative research projects
is desirable.

Applicants should send a curriculum vitae and a statement
describing teaching experience and philosophy and research
interests and aspirations and four letters of reference, at least
one of which addresses teaching ability, to: Colorado School of
Mines, Office of Human Resources, Applied Statistics Search 95-
081400, 1500 Illinois Street, Golden, Colorado 80401-1887. Fax:
(303) 273-3278. Applications will be considered beginning
January 15, 1996, and thereafter until the position is filled.

Colorado School of Mines is an equal employment
opportunity/affirmative action employer. Women and minorities
are encouraged to apply.


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

From: Greg Ammar <ammar@math.niu.edu>
Date: Thu, 26 Oct 1995 19:11:50 -0500 (CDT)
Subject: Position at Northern Illinois University

NORTHERN ILLINOIS UNIVERSITY
Department of Mathematical Sciences

Anticipated assistant professorship with a specialization in numerical
partial differential equations. The successful candidate should have
a strong numerical component as well as theoretical background in
partial differential equations. Ph.D. or equivalent and strong potential
in research and teaching required. Application (vita), transcripts,
three letters of reference, and a description of research program should
be sent to: Numerical PDE Position, c/o Professor William D. Blair, Chair,
Department of Mathematical Sciences, Northern Illinois University,
DeKalb, IL 60115 by January 31, 1996. NIU is an Equal Employment
Opportunity/Affirmative Action Employer and recognizes dual career issues.


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

From: Tom Kunkle <kunkle@harry.cofc.edu>
Date: Fri, 27 Oct 95 10:21:49 -0400
Subject: Position at College of Charleston

Job Opening:
College of Charleston
Dept. of Mathematics

Applications are invited for one tenure-track position in
computational mathematics at the assistant professor level starting
in August 1996. The Mathematics Department at the College of
Charleston has 25 full-time faculty and offers the B.S. and M.S.
degrees in mathematics. Candidates must have a Ph.D. in an area of
computational mathematics, a commitment to graduate and undergraduate
teaching, and potential for continuing research. The normal teaching
load is 9 hours per week for those engaged in research. The salary is
competitive. Faculty from the College of Charleston will be available
to meet with applicants at the AMS/MAA Annual Meeting in Orlando. All
applicants should send a vita and have three letters of
recommendation sent to William Golightly, Chair, Department of
Mathematics, College of Charleston, Charleston, SC 29424. e-mail:
golightlyw@cofc.edu. The process of evaluating applications will
begin on January 15, 1996, but applications will be considered until
the position is filled. The College of Charleston is an Equal
Opportunity/Affirmative Action employer and encourages applications
from minority and women candidates. For more information on the
College of Charleston and its Mathematics Dept, see
http://math.cofc.edu:8080/


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

From: Panos Pardalos <pardalos@math.ufl.edu>
Date: Sun, 22 Oct 1995 15:28:01 -0400
Subject: Contents, Journal of Global Optimization

JOURNAL OF GLOBAL OPTIMIZATION
Table of Contents

VOLUME 7, NO. 2, SEPTEMBER 1995

Computing global minima to
polynomial optimization problems using grobner bases
K Hagglof, PO Lindberg, L Svensson
115--125

Nonconvex optimization over a polytope using generalized
capacity improvement
BW Lamar
127--142

Finding all solutions of nonlinearly constrained systems of equations
CD Maranas, CA Floudas
143--182

On the selection of subdivision
directions in interval branch-and-bound methods for global optimization
D Ratz, T Csendes
183--207

A D.C. optimization method for single facility location problems
H Tuy, F Al-Khayyal, F Zhou
209--227


VOLUME 7, NO. 1, JULY 1995

HANIF D. SHERALI and CIHAN H. TUNCBILEK / A Reformulation-Convexification
Approach for Solving Nonconvex Quadratic Programming Problems
1-31

MOTAKURI RAMANA and A. J. GOLDMAN / Some Geometric Results in Semidefinite
Programming
33-50

S. POLJAK, F. RENDL, and H. WOLKOWICZ / A Recipe for Semidefinite
Relaxation for (0,1)-Quadratic Programming
51-73

A. S. STREKALOVSKY / On Global Maximum of a Convex Terminal Functional in
Optimal Control Problems
75-91

W. P. BARITOMPA, ZHANG BAOPING, R. H. MLADINEO, G. R. WOOD, and Z. B. ZABINSKY
Towards Pure Adaptive Search
93-110

Book review
Katta G. Murty, Operations Research: Deterministic Optimization Models
(H. D. SHERALI)
111-112

Information on all issues of the Journal of Global Optimization is
available via the World Wide Web at the following URL:
gopher://gopher.wkap.nl/



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

End of NA Digest

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