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

- Cray Fortran Bit Manipulation Routines
- Nonlinear Degenerate Diffusion-convection Equation
- Piecewise Constant Contours
- Out of Core Methods
- New Finite Element Mesh Generation Software
- New Book on Iterative Methods
- New Book/ Study Guide in Numerical Analysis
- Industrial Mathematics Digest
- Nominations for SIAM Optimization Prize
- Student Symposium On Interval Computations
- Conference on Control and Information in Hong Kong
- Symposium on Matrix Analysis
- GAMM Seminar on Boundary Elements
- ASME Meeting on Semiconductor Device and Process Modeling
- Boole Conference
- One Hundred Years of Runge-Kutta Methods
- Dundee Conference - Last Call for Papers
- Scottish Computational Maths Symposium
- GAANN Fellowships in HPCC at Old Dominion
- M.Sc. in NA and Computing at Univ. Manchester
- Postdoctoral Position at Lousiana State
- Contents, Reliable Computing
- Contents, SIAM Control and Optimization

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

From: Fred Kus <fred@blas.cis.mcmaster.ca>

Date: Wed, 10 May 1995 15:15:43 -0400

**Subject: Cray Fortran Bit Manipulation Routines **

Hi,

I am trying to port an old Cray-specific code to my workstation. The code

calls several Cray bit manipulation routines : movbit, bitvec, csmg, and

shift. I would like to use the new Fortran 90 routines mvbits, ibset,

btest, and ishift. Unfortunately, I do not have any Cray documentation.

Does anyone know the precise relation between these 2 sets of routines ?

Thanks in advance.

Fred

Fred W. Kus INTERNET: fred@McMaster.CA

Computing & Information PHONE: (905) 525-9140 ext. 24160

Services FAX (905) 528-3773

McMaster University A. N. Bourns Bldg. Rm 131C

Hamilton, Canada L8S 4M1

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

From: Brahim Amaziane <amaziane@iprsv1.univ-pau.fr>

Date: Thu, 11 May 1995 11:56:35 EDT

**Subject: Nonlinear Degenerate Diffusion-convection Equation**

Hi,

I'm looking for some references on the Numerical Analysis of the problem:

$$

\eqalign{

& 0\leq u(x,t)\leq 1 \cr

& {\partial u\over \partial t} -{\partial\over \partial x}\left( a(u)

{\partial u\over \partial x}\right) + {\partial b(u)\over \partial x} = f \cr

& \hbox {with boundary and initial conditions.}\cr}

$$

where $a$ is a nonlinear function such that a(0) = a(1) = 0, i.e. we have

a nonlinear parabolic degenerated diffusion-convection equation.

Thanks in advance.

Brahim AMAZIANE

Universite de Pau et des Pays de l'Adour

Laboratoire de Mathematiques Appliquees

I.P.R.A.

Av. de l'Universite

64000 PAU-FRANCE

TEL: (33) 59 92 31 68 ou 59 92 30 47

FAX: (33) 59 92 32 00

E-MAIL: AMAZIANE@IPRVS1.UNIV-PAU.FR

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

From: Walter Poor <wpoor@windmill.mitre.org>

Date: Thu, 11 May 95 08:15:27 -0400

**Subject: Piecewise Constant Contours**

Let f : R^2 ---> R be a real-valued function of two variables.

Much software exists for contour plots of f, given computed

data at the points in a grid. All such software seems to

assume that f is differentiable, and proceeds by

interpolation using appropriate differentiable functions.

Instead of differentiability of f, assume the following:

o The function f is piecewise-constant.

o The boundaries of the level sets (that is, the contours)

are piecewise differentiable, with each point of

non-differentiability belonging to the boundary of at

least three level sets.

Does any software exist for generalized contour plots of f in

this case?

An example may illustrate the initial difficulty. Suppose

that the selected level values for the contour plot are the

numbers c_1 < c_2 < ... < c_n. The desired contour curves

are then approximations to the curves f^{-1}(c_1), ...,

f^{-1}(c_n).

Suppose that the values of f at a pair of neighboring grid

points p_i_j and p_i_j+1 satisfy the inequalities

f(p_i_j) < c_1, f(p_i_j+1) > c_3.

Under the assumption of differentiability, the contour

curves f^{-1}(c_1), f^{-1}(c_2), and f^{-1}(c_3) would

all intersect the line segment joining the grid points

p_i_j and p_i_j+1, with the crossing points determined

by the interpolator.

Under the assumption that f is piecewise constant, however,

there is no reason even to plot the contour curve f^{-1}(c_2)

based on the data from these two grid points. In fact:

o Depending on how the data are binned, exactly one of the

contour curves f^{-1}(c_1) and f^{-1}(c_3) should

intersect the line segment joining the grid points p_i_j

and p_i_j+1.

o The presence or absence of the contour curve f^{-1}(c_2)

depends on the value of f at other neighboring grid points.

It is easy to generate generalized contour plots for f that

ignore the constraint on the boundaries of the level sets.

Incorporating that constraint is more difficult, and it would be

nice if the software already exists somewhere.

Thank you,

Walter Poor, The MITRE Corporation

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

From: Sivan Toledo <sivan@theory.lcs.mit.edu>

Date: Fri, 12 May 95 13:56:36 EDT

**Subject: Out of Core Methods**

I am looking for references on the origins and uses of out of core

methods. I am writing a PhD thesis on the subject and I would like to

have as a complete a survey as possible of related work and the

origins of various methods.

Thanks, Sivan Toledo

sivan@mit.edu

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

From: Stephen Vavasis <vavasis@CS.Cornell.EDU>

Date: Mon, 8 May 1995 23:30:14 -0400

**Subject: New Finite Element Mesh Generation Software**

A new software package for fully automatic unstructured finite element

(volumetric) mesh generation in three dimensions is now available.

The package is called QMG. It is written in C++ and MATLAB and is

embedded in MATLAB. It includes functions to generate

three-dimensional polyhedral objects (geometric modeling), a mesh

generation routine (using an algorithm developed by Scott Mitchell of

Sandia and me), and an elementary finite element solver.

Aside from the requirement that it be polyhedral, the object to be

meshed can be arbitrarily complicated. It can have holes and internal

boundaries.

The mesh generator produces an unstructured tetrahedral mesh. The

local density of the mesh is controlled by a user-specified function.

There is also a function for refining an existing mesh by powers of 2

for use in multigrid.

The documentation for this software is on-line at the following URL:

http://www.cs.cornell.edu/Info/People/vavasis/qmg-home.html

The actual source code is

ftp://ftp.cs.cornell.edu/pub/vavasis/qmg1.0.tar.gz

Please consult the installation guide in the on-line documentation

for instructions on how to install the software.

The mesh generator (but not the geometric modeler nor finite element

solver) is available in stand-alone format for those who don't have

MATLAB.

-- Steve Vavasis

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

From: Are Magnus Bruaset <Are.Magnus.Bruaset@si.sintef.no>

Date: Fri, 12 May 1995 16:06:19 +0200

**Subject: New Book on Iterative Methods**

The book

A Survey of Preconditioned Iterative Methods

by Are Magnus Bruaset was recently published as volume 328 of the Pitman

Research Notes In Mathematics Series, Longman Scientific & Technical.

(ISBN 0 582 27654 3, U.K. pounds 24.00 + shipping cost).

This survey is intended to present a wide selection of recent contributions

to the field of iterative methods for sparse linear systems, with a

particular focus on Krylov subspace solvers. The presentation is aimed at a

wide audience, including graduate students, researchers and practitioners.

Through its extensive bibliography (431 refs.) it may also serve as an entry

point to the existing research literature.

For further details concerning this publication, see the Web page

http://www.oslo.sintef.no/avd/33/3340/presurv

which also contains links to PostScript versions of the table of contents

and the first chapter.

For ordering please contact

Longman Higher Education

Longman House

Burnt Mill

Harlow

Essex CM20 2JE

United Kingdom

Phone: +44 279 426721

Fax: +44 279 431059

Email: Longhe@cityscape.co.uk

Best regards

Are Magnus Bruaset

SINTEF Applied Mathematics

Oslo, Norway

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

From: Peter R. Turner <prt@sma.usna.navy.mil>

Date: Mon, 8 May 95 10:38:19 EDT

**Subject: New Book/ Study Guide in Numerical Analysis**

A new book ISBN 0-333-58665-4

"Numerical Analysis" by Peter R Turner

has been published in the MacMillan (UK) "College Work Out" series.

It is being distributed in the US by Scholium International, New York.

This is primarily intended as a student study-guide to accompany

undergraduate Numerical Analysis courses. It has also been used as

a text for an introductory course. The topics covered include those in

most undergraduate courses:

Number representation, Arithmetic and Errors

Finite Difference Operators (brief introductory material)

Summation of Series

Iterative solution of Equations

Polynomial Equations

Linear Equations (and eigenvalues, briefly)

Polynomial Interpolation

Spline Interpolation

Linear Least Squares Approximation

Numerical Differentiation

Numerical Integration

Optimization

Differential Equations

The book is made up largely of worked examples and exercises with brief

summaries of the essential material.

Peter Turner

Peter R Turner Office (410) 293-6732

Mathematics Department FAX (410) 293-4883

United States Naval Academy prt@sma.usna.navy.mil

Annapolis, MD 21402-5002

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

From: Bettina Heimsoeth <gKI@IWR.Uni-Heidelberg.De>

Date: Wed, 10 May 1995 14:12:31 -0500

**Subject: Industrial Mathematics Digest**

INTERESTED IN COMMUNICATION ABOUT TOPICS OF MATHEMATICS IN

INDUSTRY & COMMERCE?

First issue of IM-Net (Industrial Mathematics Digest)

appears May, 23, 1995

IM-Net is an electronic newsletter for mathematics in science and

industry.

You will find there: - announcements of conferences

- calendars of events

- job offers for mathematics in industry

- contents of journals related to

industrial mathematics

- discussions of open problems

- requests for mathematical references or

software solutions

To place a message in the IM-Net newsletter, mail it to

im-net-digest@iwr.uni-heidelberg.de

To receive the IM-Net newsletter, send e-mail to

im-net-request@iwr.uni-heidelberg.de

Please write "subscribe" in the body of the mail.

Prof.Dr. H.G. Bock, IWR, Universitaet Heidelberg

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

From: Tim Kelley <Tim_Kelley@ncsu.edu>

Date: Mon, 8 May 95 09:05:54 EDT

**Subject: Nominations for SIAM Optimization Prize**

CALL FOR NOMINATIONS

FOR

SIAM ACTIVITY GROUP ON OPTIMIZATION (SIAG/OPT) PRIZE

The SIAG/OPT Prize

The SIAG/OPT will present its first award at the SIAM Conference on

Optimization to be held in Victoria, British Columbia, Canada,

in May, 1996. The award is to be given to the author(s)

of the most outstanding paper, as determined by the prize

committee, on a topic in optimization published in English in a

peer-reviewed journal.

Nominations

Nominations, which should consist of a copy of the paper

(in English) and a cover letter must

be received at the SIAM office by September 30, 1995 to:

SIAG/OPT Prize

3600 University City Science Center

Philadelphia, PA 19104-2688

Eligibility

Candidate papers must be published in English in a peer-reviewed

journal bearing a publication date within the period from January

1, 1991 to December 31, 1994. The papers must contain

significant research contributions to the field of optimization,

as commonly defined in the mathematical literature, with direct

or potential applications.

Description of the Award

The award will consist of a plaque and a certificate containing

the citation. The chair of the prize committee will notify the

recipient(s) of the award in advance of the award date. An

invitation will be extended to the recipient(s) to attend the

award ceremony to receive the award and to present the paper.

At least one of the awardees is expected to attend the ceremony

and present the winning paper.

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

From: Vladik Kreinovich <vladik@cs.utep.edu>

Date: Sun, 7 May 95 12:10:04 MDT

**Subject: Student Symposium On Interval Computations**

Student Symposium On Interval Computations (SONIC'95)

October 20-22, 1995

University of Houston-Downtown,

Houston, Texas

CALL FOR PAPERS

To promote computational science education and research at minority

institutions in the South and Central United States, the Center for

Research on Parallel Computation at Rice University and SC COSMIC

(South and Central Computational Science in Minority Institutions Consortium)

are jointly organizing the First SC COSMIC Student Conference on

Computational Science. The Student Conference will be held from

October 20-22, 1995, at the University of Houston-Downtown, Houston, Texas.

As part of this conference, a special Symposium on

Interval Computations will be organized.

Students from SC COSMIC member institutions are welcome to submit abstracts

of their research projects on Interval Computations and

its applications to the symposium (email 2 pages in IEEEtran.sty

LaTeX format to Vladik Kreinovich at vladik@cs.utep.edu by September 10).

To qualify for the Symposium, at least one of the authors must be a student.

Recent graduates may also submit the results of their student

research projects. The best papers will be published in the special issue of

the International Journal "Reliable Computing" (formerly, "Interval

Computations").

Stylefile and further information on the symposium can be found at

http://cs.utep.edu/interval-comp/main.html#SONIC

Further information on COSMIC can be found at

http://www.cs.rice.edu/CRPC/SC-COSMIC

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

From: Floyd Hanson <hanson@poincare.math.uic.edu>

Date: Sun, 7 May 95 23:31:49 -0600

**Subject: Conference on Control and Information in Hong Kong**

International Conference on Control and Information 1995 (ICCI95)

ICCI95 will be held 5-9 June 1995, The Institute of Mathematical Sciences,

Chinese University of Hong Kong, Shatin NT, Hong Kong. Technical Co-Sponsored

by the IEEE Control System Society and the IEEE Robotics and Automation

Society. The Conference will include invited keynote speakers, contributed

sessions and invited minisymposia, in broad areas of automatic control, system

theory, information theory and applications. Keynote Invited Speakers:

Jian Song, Jagdish Chandra, Eugene Wong, Y.-C. Larry Ho, S. K. Mitter,

J. C. Willems, B. A. Francis, B. D. O. Anderson and Suguru Arimoto.

Minisymposia: Integrated Design for High Performance Systems,

Parallel and Related Methods in Control, and Stochastic Theory-Adaptive

Control. There are about 15 contributed sessions. The conference is

also sponsored by the US Army Research Office, the Army Research Office-Far

East, US Office of Naval Research, the K. C. Wong Education Foundation, the

American GNC Corporation, Varitronix Limited, Hong Kong Baptist University,

as well as other foundations. the Institute of Mathematical Sciences of

the Chinese University of Hong Kong is the host of the conference.

For local information, advance program, or registration forms can be

found by Anonymous FTP using: ftp euler.math.cuhk.hk; login: anonymous;

password: ``your-email-address''; cd /conf/icci95; get program.tex;

get local-info.tex; get regis.frm; quit. For more information, contact:

Dr. Kung Fu Ng, ICCI95 Local Arrangements Committee, Department of Mathematics,

Chinese University of Hong Kong Shatin NT, Hong Kong, E-mail: ngkf@cuhk.hk

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

From: Nil Mackey <mackey@math-stat.wmich.edu>

Date: Mon, 8 May 1995 16:13:41 -0400

**Subject: Symposium on Matrix Analysis **

WESTERN MICHIGAN UNIVERSITY

Kalamazoo, MI

Third Symposium

on

MATRIX ANALYSIS & APPLICATIONS:

A LOOK AT RECENT DEVELOPMENTS

October 13 -- 14, 1995

Preliminary Announcement

&

Call for Papers

Principal Speakers: Richard Brualdi, University of Wisconsin

P. J. Eberlein, SUNY at Buffalo

Roger A. Horn, University of Utah

Charles R. Johnson, College of William & Mary

G. W. Stewart, University of Maryland

There will be additional invited speakers as well as 20 minute

contributed talks. The organizers invite the participation of

both specialists and non-specialists interested in matrix analysis

and its applications to other fields. Graduate students are also

encouraged to submit abstracts for consideration.

Preceding the symposium, at 4pm on Thursday, 12 October 1995, will

be a University Visiting Scholar lecture by Charles R. Johnson

entitled "Ideas of Modern Matrix Analysis". A banquet is planned

for Friday evening.

The deadline for submitting abstracts is 14 August 1995. Email

submission is welcome.

Organizing Committee: Yousef Alavi, John Petro and Niloufer Mackey,

Western Michigan University

To submit abstracts or for further information contact:

Niloufer Mackey

Department of Mathematics & Statistics

Western Michigan University

Kalamazoo, MI 49008-5152

email: nil.mackey@wmich.edu

Phone: 616-387-4594 Fax: 616-387-4530

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

From: Jens Burmeister <jb@informatik.uni-kiel.d400.de>

Date: Tue, 9 May 1995 17:04:46 +0200

**Subject: GAMM Seminar on Boundary Elements**

First Announcement

The GAMM Committee "Efficient numerical methods for pde" in cooperation

with the Christian-Albrechts-Universit"at Kiel organizes the

12th GAMM-Seminar Kiel

on

Boundary Elements: Implementation and

Analysis of Advanced Algorithms

Chairmanship: W. Hackbusch (Kiel), G. Wittum (Stuttgart)

Date: January 19th to 21st, 1996

Location: Mathematisches Seminar und

Institut f"ur Informatik und Praktische Mathematik,

Universit"at Kiel (Germany)

Topics: Implementation and Application of:

Wavelets to Boundary Integral Equations, Matrix Compression

Techniques, Multipole and Panel-Clustering, Cubature

Techniques for Singular and Nearly Singular Surface

Integrals, Parallelization Techniques for BEM, Fast Solvers

and Software Design Aspects for BEM.

Abstracts: Please send abstracts (10-20 lines) of your lecture by

Nov. 15, 1995.

Proceedings: The first eleven GAMM-Seminars were held at Kiel in 1984, 1986-

1994. The corresponding proceedings have been published

in the series "Notes on Numerical Fluid Mechanics" by

Vieweg Verlag, Braunschweig, Germany

(Volumes 10, 16, 21, 23, 30, 31, 33, 41, 46 and 49).

Local organization :

J. Burmeister,

Tel. : ++49-431-880-4462,

Fax : ++49-431-880-4054,

Email: jb@informatik.uni-kiel.d400.de

WWW-site: http://www.informatik.uni-kiel.de/~jb/gamm.html

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

From: N R Aluru <aluru@gloworm.Stanford.EDU>

Date: Tue, 9 May 1995 11:04:29 -0700

**Subject: ASME Meeting on Semiconductor Device and Process Modeling**

The American Society of Mechanical Engineers is holdings its 1995

International Mechanical Engineering Congress and Exposition in San

Francisco on November 12-17, as part of ASME's Winter Annual Meeting. The

theme for the congress is Emerging Technologies. The Committee on

Computing in Applied Mechanics is sponsoring three sessions on Numerical

Methods for Semiconductor Device and Process Simulation.

Progress in technology computer aided design (TCAD) for semiconductors is

essential for improving efficiency in design and for targeting for

manufacturability and will benefit from an interdisciplinary approach,

requiring interaction amongst industry, universities and laboratories. In

order to provide a forum for the needed interaction between mechanical and

electrical engineering, the Symposium on Numerical Methods for

Semiconductor Device and Process Simulation aims to report on the current

level of achievement, as well as provide an outline of the challenges and

opportunites for computational mechanics and mechanical engineering in this

domain. The Symposium will have sessions on process simulation, and on

device simulation. Each session will consist of four to five presentations

followed by a brief question and answer period. The Symposium will

comprise presentations only, no publication of proceedings is planned.

The Symposium is being organized by Peter Pinsky, Narayan Aluru and Kincho

Law of Stanford University. If you are interested in participating or

would like more information, please contact Peter Pinsky

(pinsky@ce.stanford.edu).

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

From: Martin Stynes <STMT8007@bureau.ucc.ie>

Date: 11 May 1995 13:56:26 +0000 (GMT)

**Subject: Boole Conference**

THE LEGACY OF GEORGE BOOLE

28th-30th June 1995.

University College, Cork. IRELAND

The Conference will open at 9.30 a.m. on Wednesday, 28th June and

close at lunchtime on Friday, 30th June.

The following are a list of Conference speakers and their titles:

G.K. Batchelor (Cambridge University) - "Geoffrey Taylor's Share

in the Legacy".

Robert L. Devaney (Boston University) - "The Fractal Geometry of

the Mandelbrot Set".

Keith Devlin (St. Mary's College of California) - "Beyond Logic:

The Mathematics of Everyday Communication".

Ivor Grattan-Guinness (Middlesex University) - "Operations of

Thought: Boole's Inheritance from French Mathematics".

Theodore Hailperin (Lehigh University) - "Boole and Probability".

Desmond MacHale (UCC) - "George Boole and Sherlock Holmes".

John McCarthy (Stanford University) - "More Laws of Thought".

Roger Penrose (Oxford University) - "An Investigation of Physical

Laws and Concious Thoughts".

There will be an afternoon tour to places of Boolean interest,

and there will be a Conference Dinner on the Thursday night in

the Aula Maxima. (L25 per person).

The Conference fee will be $30 (L20) for early registration

before the end of May, or $50 (L30) for registration in June.

This fee includes opening reception, lectures and coffee breaks.

Accompanying persons' fee will be $15 (L10).

Thank you for your interest, and we look forward to meeting you

in Cork.

Professor Jim Bowen, Dr. Donal Hurley, Professor Desmond MacHale,

Lucette Murray - Committee.

For more information, contact the UCC150 Office (e-mail

UCC150@iruccvax.ucc.ie) or Donal Hurley (e-mail

djh@iruccvax.ucc.ie)

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

From: Ben Sommeijer <B.P.Sommeijer@cwi.nl>

Date: Fri, 12 May 1995 11:17:36 +0200

**Subject: One Hundred Years of Runge-Kutta Methods**

It is well known that Runge's original paper appeared in 1895.

This work initiated the construction and analysis of similar

methods, which are now generally known as Runge-Kutta methods.

To celebrate and commemorate this historic event, the Centre

for Mathematics and Computer Science (CWI) in Amsterdam

organizes a one-day symposium:

CWI - IMACS SYMPOSIUM

'ONE HUNDRED YEARS OF RUNGE-KUTTA METHODS'

December 8, 1995, Amsterdam

Further details about this symposium will be available in due time.

For information, you can contact the organizers:

Peter van der Houwen (senna@cwi.nl), tel +31 20 592 4083, or

Ben Sommeijer (bsom@cwi.nl), tel +31 20 592 4192;

Address (for both): CWI, Dept. Numer. Anal.

P.O. Box 94079, 1090 GB Amsterdam

The Netherlands

Fax: +31 20 592 4199

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

From: David F Griffiths <dfg@mcs.dundee.ac.uk>

Date: Fri, 12 May 95 12:14:37 BST

**Subject: Dundee Conference - Last Call for Papers**

16th BIENNIAL CONFERENCE

ON

NUMERICAL ANALYSIS

University of Dundee, Scotland, UK

27-30th June 1995

FINAL CALL FOR SUBMISSION OF PAPERS

Deadline for submission of abstracts: May 20, 1995

Deadline for registrations: June 3, 1995.

The conference will be preceded on Monday, 26th June by talks from

candidates shortlisted for the Leslie Fox Prize.

Information is available to www users through the URL

http://www.mcs.dundee.ac.uk:8080/~dfg/95conf/contents.html

through which it is also possible to register online. Details are

given of speakers, fees, candidates for the Leslie Fox Prize as well

as travel to and from Dundee.

Dr D F Griffiths

Biennial Conference on Numerical Analysis

Department of Mathematics and Computer Science

The University, Dundee, DD1 4HN

Scotland, UK

Tel: +44 (1382) 344467 e-mail: dfg@uk.ac.dund.mcs

FAX: +44 (1382) 345516 or: na.griffiths@na-net.ornl.gov

Please note change of area codes.

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

From: Dugald Duncan <dugald@ma.hw.ac.uk>

Date: Fri, 12 May 1995 16:02:12 +0100

**Subject: Scottish Computational Maths Symposium**

SCOTTISH COMPUTATIONAL MATHEMATICS SYMPOSIUM 1995

*** FIRST ANNOUNCEMENT ***

10am-5pm Wednesday 20th September

Hume Tower, University of Edinburgh, Scotland.

This is the fourth annual SCOTTISH COMPUTATIONAL MATHEMATICS SYMPOSIUM

organised by D.B. Duncan (Heriot-Watt University) and D.M. Sloan

(University of Strathclyde) with the aim of bringing together

mathematicians and others who develop and/or use computer algorithms

to solve mathematical problems.

The meetings are open to everyone interested.

SPEAKERS

* M. Berzins (University of Leeds)

* D.F. Griffiths (University of Dundee)

* J.C. Mason (University of Huddersfield)

* A. Ramage (University of Strathclyde)

We also plan to have a talk on "Mathematics on the Internet".

REGISTRATION & INFORMATION

To register, send a cheque for 20 pounds payable to Heriot-Watt

University and include your address so that we can contact you.

The fee includes tea, coffee and lunch.

To register (by September 8th) or to obtain further information

please contact:

SCMS95, Department of Mathematics,

Heriot-Watt University, Edinburgh, EH14 4AS.

e-mail: dugald@ma.hw.ac.uk.

WWW Information: http://www.ma.hw.ac.uk/scms/

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

From: Alex Pothen <pothen@icase.edu>

Date: Tue, 9 May 1995 18:00:55 -0400

**Subject: GAANN Fellowships in HPCC at Old Dominion **

GAANN Fellowships in HPCC at Old Dominion University

Old Dominion University announces the immediate availability of

five fellowship packages beginning Fall 1995

(attractive stipend, full tuition, and allowances)

for full-time doctoral study in high performance computing and

communication (HPCC) within the Department of Computer Science.

Successful applicants will fulfill degree requirements at ODU

while simultaneously being mentored in their

applied or experimental thesis research by a scientist

at the nearby NASA Langley Research Center (LaRC) and/or its

Institute for Computer Applications in Science and

Engineering (ICASE).

U.S. citizens with strong academic records in computer science,

science, or engineering, particularly groups underrepresented in

computer science, are encouraged to apply.

Highly qualified applicants will also be considered from

outside these groups, until all positions are filled.

ODU is a charter member of

the Virginia/ICASE/LaRC Program in HPCC,

and has just become the recipient of

Graduate Assistantships in Areas of National Need (GAANN) funds

from the U.S. Department of Education to accelerate this program.

HPCC, broadly interpreted in both its computational science

and NII aspects, has been designated by the University

as one of five strategic areas favored for development

to a state of national prominence.

GAANN fellows will pursue an interdisciplinary curriculum

of core computer science and an allied application field.

Ideally, they will exercise a creative, enabling

role within a research team as part of their thesis work.

For further information, please contact GAANN@cs.odu.edu,

browse http://www.cs.odu.edu/GAANN,

or inquire about the GAANN Fellowships program at

CS Dept., ODU, Norfolk, VA 23529-0162, 804-683-3915.

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

From: Nick Higham <higham@ma.man.ac.uk>

Date: Wed, 10 May 95 08:38:50 BST

**Subject: M.Sc. in NA and Computing at Univ. Manchester**

THE UNIVERSITY OF MANCHESTER

M.Sc. in Numerical Analysis and Computing

The Manchester Centre for Computational Mathematics (MCCM) offers a

one-year course leading by examination and thesis to the University of

Manchester degree of M.Sc. Students may be registered in the Faculty of

Science at the University, or at UMIST. Students attend lectures on topics

chosen from a wide range of options, covering all areas of Numerical

Analysis (algorithmic and theoretical) but also permitting advanced studies

in Computer Science. The next M.Sc. course starts in September 1995; the

examination is completed after six months, after which students work

exclusively on their project, chosen from a wide range of possible

supervisors and topics. Excellent computing facilities are available,

both departmentally and in the Manchester Computing Centre.

The usual entry requirement is a good Honours degree in Mathematics (or

some subject with a strong mathematical background). Applications and

enquiries should be sent to:

The Postgraduate Secretary, Department of Mathematics

University of Manchester, Manchester M13 9PL, UK.

tel: 0161 275 5802, fax: 0161 275 5819.

For more information consult the Web entries with URLs

http://www.ma.man.ac.uk/MCCM/MCCM.html

ftp://vtx.ma.man.ac.uk/pub/narep/MSc-NA.dvi.Z

Financial Support: The Engineering and Physical Sciences Research Council

has accepted the course as suitable for the tenure of its Advanced Course

Studentships.

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

From: John Tyler <tyler@bit.csc.lsu.edu>

Date: Thu, 11 May 1995 10:33:18 -0500

**Subject: Postdoctoral Position at Lousiana State**

Anticipated Research Associate IV

Petroleum Engineering

Required Qualifications: Ph.D. in engineering or related area: applicants

must show outstanding potential for performing research, as evidenced by

prior research experience and publications, must have experience in reservoir

simulation. Additional Qualifications Desired: experience specifically with

computer simulation using finite element methods and adaptive grids, plus

algorithm design and implementation on MIMD architectures.

Responsibilities: development, implementation, and application of

computer simulations for oil and gas research projects; including

supervision of daily project activities. Anticipated hire date is May 15,

1995, pending final approval. Application date is May 5, 1995, or until

candidate is selected. Submit application and resume to:

Philip Schenewerk, Petroleum Engineering, Louisiana State University, Baton

Rouge, LA 70803, (504) 388-5215. LSU is an equal opportunity/affirmative

employer.

This position will remain open until filled. If you are interested please

apply.

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

From: R. Baker Kearfott <rbk5287@interval.usl.edu>

Date: Tue, 9 May 1995 09:42:20 -0500

**Subject: Contents, Reliable Computing**

Contents, Reliable Computing (formerly Interval Computations)

Reliable Computing. - 1995. - N 1 (1). - 103 p.

CONTENTS

Preface 3

Preface (in Russian) 5

Mathematical research

Formulas for the width of interval products

Helmut Ratschek and Jon G.~Rokne 9

Inner estimation of the united solution set of interval linear

algebraic system

Ludmila Kupriyanova 15

Why intervals? A simple limit theorem that is similar to limit

theorems from statistics

Vladik Kreinovich 33

A combined method for enclosing all solutions of nonlinear systems

of polynomial equations

Christine J\"ager and Dietmar Ratz 41

Parallel Algorithms for Interval Computations

An informal introduction to a high level language with applications

to interval mathematics

Daniel E.~Cooke 65

A parallel interval method implementation for global optimization

using dynamic load balancing

Jerry Eriksson and Per Lindstr\"om 77

Meetings

Interval sessions at NAFIPS/IFIS/NASA'94

Vladik Kreinovich and Hung T.~Nguyen 93

Addresses of the Editorial Board Members 99

Information for Authors 101

Contents 103

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

From: SIAM <thomas@siam.org>

Date: Fri, 12 May 95 16:21:42 EST

**Subject: Contents, SIAM Control and Optimization**

CONTENTS

SIAM JOURNAL ON CONTROL AND OPTIMIZATION

JULY 1995 Volume 33, Number 4

Feedback Laws for Nonlinear Distributed Control Problems via

Trotter-Type Product Formulae

Catalin Popa

Regularity Conditions for the Stability Margin Problem with Linear

Dependent Perturbations

Antonio Vicino and Alberto Tesi

The H_infinity Problem for Infinite-Dimensional Semilinear Systems

Viorel Barbu

Relaxed Minimax Control

E. N. Barron and R. Jensen

Sensitivity Analysis in Nonlinear Programs and Variational

Inequalities via Continuous Selections

Jiming Liu

A Result Concerning Controllability for the Navier-Stokes Equations

E. Fernandez-Cara and M. Gonzalez-Burgos

Smoothly Global Stabilizability by Dynamic Feedback and

Generalizations of Artstein's Theorem

John Tsinias

A Mixed l_infinity/H_infinity Optimization Approach to Robust

Controller Design

Mario Sznaier

Orders of Input/Output Differential Equations and State-Space Dimensions

Yuan Wang and Eduardo D. Sontag

Matrix Pairs in Two-Dimensional Systems: An Approach Based on Trace

Series and Hankel Matrices

Ettore Fornasini and Maria Elena Valcher

Lyapunov-like Techniques for Stochastic Stability

Patrick Florchinger

On Feedback Equivalence of a Parameterized Family of Nonlinear Systems

J.-B. Pomet and I. A. K. Kupka

Necessary Conditions for Bilevel Dynamic Optimization Problems

Jane J. Ye

Using Persistent Excitation with Fixed Energy to Stabilize Adaptive

Controllers and Obtain Hard Bounds for the Parameter Estimation Error

Miloje S. Radenkovic and B. Erik Ydstie

Identification of q(x) in u_t=delta u - qu from Boundary Observations

Sergei Avdonin and Thomas I. Seidman

Exact Observability of the Time-Varying Hyperbolic Equation with

Finitely Many Moving Internal Observations

A. Yu. Khapalov

Rendezvous Search on the Line with Distinguishable Players

Steve Alpern and Shmuel Gal

Erratum: Observability and Observers for Nonlinear Systems

J.-P. Gauthier and I. A. K. Kupka

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

End of NA Digest

**************************

-------