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

- Calendar
- Chemical Engineer Seeking Position.
- Seeking Position in Unstructured Mesh Generation
- Stability of Non-linear Systems
- Hyperbolic Conservaton Laws with Source Terms
- Is NPSOL Available in C?
- New Book, Computational Optimal Control
- New Book, Linear Matrix Inequalities
- Erratum for "An Intro to CG Without the Agonizing Pain"
- Workshop on Symbolic Computational Mathematics
- A# Course announcement
- IMACS Iterative Linear Algebra Symposium
- Acoustics of Submerged Structures & Transduction Systems
- ICASE Multigrid Short Course
- Lectureships at Imperial College
- Faculty Opening at University of Bergen
- Position at Technical University of Dresden
- Contents, Linear Algebra and its Applications
- Contents, SIAM Control & Optimization
- Contents, Interval Computations
- Contents, IMA Numerical Analysis

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

From: NA Digest <na.digest@na-net.ornl.gov>

Date: Mon May 30 18:42:17 EDT 1994

**Subject: Calendar**

Calendar of Forthcoming Events

Date Topic Place NA Digest #

June 2- 3 Computational Fluid Dynamics Toronto, Canada 2

June 6- 8 Supercomputing Symposium '94 Toronto, Canada 2

June 6-10 Applied and Industrial Mathematics Linkoping, Sweden 14

June 6-14 Mathematics Modeling Workshop Claremont, CA 9

June 11-15 Continuous Algorithms and Complexity Mount Holyoke, MA 13

June 13-17 Hyperbolic Problems Stony Brook, NY 19

June 15-18 SIAM Applied Linear Algebra Snowbird, UT 17

June 20-23 Parallel Scientific Computing Lyngby, Denmark 18

June 22-25 SIAM Conference on Discrete Mathematics Albuquerque, NM

June 23-25 Monte Carlo Methods Las Vegas, NV 18

June 27-28 5th Stockholm Optimization Days Stockholm, Sweden 6

July 4- 6 South African Numerical Mathematics Umhlanga Rocks, Natal 18

July 5- 7 Simulation of Devices and Technologies Obninsk, Russia 7

July 11-15 IMACS World Congress Atlanta, GA

July 11-15 Course on MODULEF Finite Elt. Library University Park, PA 12

July 18-29 SERC Numerical Analysis Summer School Leicester, UK 16

July 18-30 Summer Short Courses in CFD Istanbul, Turkey 15

July 22-23 Control Problems in Industry San Diego, CA 3

July 23 SIAM Forum San Diego, CA 20

July 24 AWM Workshop for Pre- and Post-docs San Diego, CA 3

July 25-29 SIAM Annual Meeting San Diego, CA 3

Aug. 1- 4 Computation Physics Lyngby, Denmark 11

Aug. 1- 5 Computational Science Workshop Los Alamos, NM 16

Aug. 15-19 Math Programming Ann Arbor, MI

Aug. 21-26 Numerical Methods Sofia, Bulgaria 21

Aug. 22-25 Continuum Mechanics Prague, Czech Rep. 6

Aug. 22-25 SVD and Signal Processing Leuven, Belgium 4

Aug. 22-25 Simulation Zurich, Switzerland 9

Aug. 29-31 Algorithms and Parallel VLSI Leuven, Belgium 4

Aug. 29... Mathematical Modelling Prague, Czech Rep. 1

Sep. 6-10 Mathematics in Industry Kaiserslatern, Germany 7

Sep. 22-24 Hellenic Mathematical Society Athens, Greece 8

Sep. 26-27 Acoustics and Electromagnetics Washington, DC 19

Sep. 26-28 Multilevel Methods Meisdorf, Germany 16

Sep. 26-30 Total Positivity Jaca, Spain 5

Sep. 26 Dynamics of Discontinuous Systems Bristol, UK 20

Oct. 2- 6 Applications of Operator Theory Winnipeg, Manitoba 17

Oct. 6- 7 Combustion, Environment, and Heating Columbus, Ohio 21

Oct. 20-22 Systems, Control, Information Wuhan, China 8

Oct. 13-14 60th birthday of Jean Descloux Lausanne, Switzerland 19

Oct. 24-26 Computational Molecular Dynamics Minneapolis, MN 19

Nov. 12 Matrix Theory Salt Lake City, UT 21

Nov. 14-18 SuperComputing '94 Washington, DC 6

Nov. 30... Computational Methods in Engineering Belo Horizonte, Brazil 11

1995

Jan 3- 6 Computational Computer Design Maui, Hawaii 17

Jan. 9-10 Conference Honoring Ake Bjorck Linkoping, Sweden 14

Jan. 15-18 Bond Graph Modeling and Simulation Las Vegas, NV 4

Jan. 16-18 Markov Chains Raleigh, NC 7

Feb. 15-17 SIAM Conference on Parallel Processing San Francisco, CA

Feb. 19-25 Applications of Interval Computations El Paso, TX 16

Mar. 20-21 Nonconvex Energy Functions Rutgers, NJ 20

Apr. 24-28 3rd INRIA-SIAM Wave Propagation Conf. Juan-les-Pins, France 19

June 6-10 Inertial manifolds Xi'an, China 21

July 3- 7 ICIAM, Int'l Cong. Indust. Appl. Math. Hamburg, Germany 9

July 10-12 Linear Algebra and Applications Manchester, UK 19

July 16... Mathematics of Numerical Analysis Park City, UT 5

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

From: Atanu Basu <batanu@master.ceat.okstate.edu>

Date: Sun, 22 May 1994 14:53:30 -0500

**Subject: Chemical Engineer Seeking Position.**

Dear Reader:

I am a Chemical Engineer (M.S.) with background in Mathematical Modeling,

Process Simulation, and Numerical Analysis. I would sincerely appreciate

if anybody can give any leads/suggestions/recommendations about a suitable

position for me. I will NOT be available through email anymore. I hope

that the responders of the above request will be kind enough to reach me

at the following address and phone #.

Thank you very much for your consideration and time.

Sincerely,

Atanu Basu

130 New Road (#A7)

Parsippany, NJ 07054

(201) 575-0094

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

From: Scott Mitchell <samitch@cs.sandia.gov>

Date: Mon, 23 May 94 10:50:48 MDT

**Subject: Seeking Position in Unstructured Mesh Generation**

I am looking for a position in unstructured mesh generation.

My research papers describe algorithms for generating/refining

two and three dimensional meshes of arbitrary regions

with provable bounds on the number of elements and element shape.

Of particular interest is an innovative disk packing technique

which yields a non-obtuse triangulation.

I have also worked on a couple of projects writing practical mesh

generation code (in C++), and proof of concept programs (in Matlab).

Thank you,

Scott A. Mitchell, Ph.D. samitch@cs.sandia.gov

Sandia Nat'l Labs

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

From: Rabi H. Mohtar <rhm8@psuvm.psu.edu>

Date: Wed, 25 May 94 15:11 EDT

**Subject: Stability of Non-linear Systems**

Dear na-neters:

I am working on a non-linear 2-D 2-phase flow problem. The system's stability

is dependent on many variables: pressure, material properties, mesh geometry,

to name a few. I would like to understand and define the regions where the

problem is stable. Can anyone guide me as to a criteria or a measure for the

syste m stability?

Thank you for your help. Please send information to me at: rhm8@psuvm.psu.edu.

Rabi Mohtar

Agricultural and Biological Engineering

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

From: Stanly Steinberg <stanly@darwin.cesup.ufrgs.br>

Date: Wed, 25 May 94 19:09:09-030

**Subject: Hyperbolic Conservaton Laws with Source Terms**

We are trying to solve numerically two different systems of hyperbolic

conservation laws with source terms, one that describes traffic flow and

another is a flow in porous media (flow with resistance) problem. The source

terms make the system mildly diffusive. We are concerned that the diffusion in

many numerical schemes will overwhelm the natural diffusion of the system.

Also, there are a number of interesting cases where the density is zero in part

of the region and thus the PDEs are singular. In addition, the density for the

porous media problem is an approximate solution of the simpler scalar porous

media equation

u_t = Laplacian(u^m)

with m > 1. We are considering using some front-tracking with moving grids

algorithms for this case.

We are looking for additional recent reference to numerical or analytic work on

such problem. Any assistance will be appreciated.

stanly@math.unm.edu

Stan Steinberg, Department of Mathematics and Statistics,

University of New Mexico, Albuquerque NM 87131 USA.

zingano@mat.ufrgs.br

Paulo Zingano, Departamento de Matematica Pura e Aplicada

Instituto de Matematica

Universidade Federal do Rio Grande do Sul

Av. Bento Goncalves, 9500

91509-900 Porto Alegre, RS, Brazil

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

From: Leon Prucha <prucha@sun.mech.uq.oz.au>

Date: Fri, 27 May 1994 12:29:04 +1000 (EST)

**Subject: Is NPSOL Available in C?**

I am trying to find out if I can get a copy of the source code for

"NPSOL", a nonlinear programming package developed by the systems

optimization laboratory at stanford university. In addition I would also

like to know if this software is available written in "C" programming

language.

Now if there is any information on getting a copy of the software could it

be E-mailed to me < prucha@sun.mech.uq.oz.au >. This information would be

greatly appreciated.

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

From: Dieter Kraft <kraft@maschinenbau.fh-muenchen.d400.de>

Date: May 23, 1994, 18:38:26

**Subject: New Book, Computational Optimal Control**

Birkhauser Publishers announce Volume 115 of

International Series of Numerical Mathematics (ISNM)

K.-H. Hoffmann, H. D. Mittelmann, and J. Todd (editors)

'Computational Optimal Control'

R. Bulirsch and D. Kraft (eds.)

Birkhaeuser, Basel, Boston, Berlin, 1994

ISBN 3-7643-5015-6

ISBN 0-8176-5015-6

Table of Contents:

1 A Survey on Computational Optimal Control

2 Theoretical Aspects of Optimal Control and Nonlinear Programming

3 Algorithms for Optimal Control Calculations

4 Software for Optimal Control Calculations

5 Applications of Optimal Control

Summary from the Preface:

.... These proceedings contain selected papers from an 'IFAC Workshop on

Control Applications of Optimization', which took place at the Fachhochschule

Muenchen in September 1992. The workshop was attended by ninety researchers

from four continents. This volume represents the state of the art in the field,

with emphasis on progress made since the publication of the proceedings of the

Capri meeting. ....

For more information use FTP of file Comp-Opt-Contr

at ftp.lrz-muenchen.de

in directory /pub/comp/math/matlab

Dieter Kraft <kraft@maschinenbau.fh-muenchen.d400.de>

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

From: Venkataramanan Balakrishnan <ragu@isl.Stanford.edu>

Date: Thu, 26 May 1994 08:56:43 -0700

**Subject: New Book, Linear Matrix Inequalities**

NEW BOOK AVAILABLE

LINEAR MATRIX INEQUALITIES IN SYSTEM AND CONTROL THEORY

(Volume 15 of SIAM Studies in Applied Mathematics)

Stephen Boyd, Laurent El Ghaoui, Eric Feron and

Venkataramanan Balakrishnan

Available June 1994 / Approx 220 pages / Hardcover

ISBN 0-89871-334-X

List Price $36.50 / SIAM Member Price $29.20

All royalties donated to a fund to help students attend

SIAM conferences

To Order: Call 1-800-447-SIAM Order Code AM15

(outside the USA, call 215-382-9800)

Via email: service@siam.org

The authors reduce a wide variety of problems from Systems

and Control Theory to a handful of standard convex and

quasiconvex optimization problems that involve linear matrix

inequalities. These standard problems can be solved very

efficiently using recently developed numerical algorithms;

therefore the reduction constitutes a solution to the

original problems.

CONTENTS

Chapter 1: Introduction.

Chapter 2: Some Standard Problems Involving LMIs.

Chapter 3: Some Matrix Problems.

Chapter 4: Linear Differential Inclusions.

Chapter 5: Analysis of LDIs: State Properties.

Chapter 6: Analysis of LDIs: Input/Output Properties.

Chapter 7: State-Feedback Synthesis for LDIs.

Chapter 8: Lur'e-Postnikov and Multiplier Methods.

Chapter 9: Bounds for Systems with Multiplicative Noise.

Chapter 10: Miscellaneous Problems.

Notation

List of Acronyms

Bibliography

Index

The file ch12.ps.Z (available via anonymous ftp into

isl.stanford.edu in pub/boyd/lmibook) contains the complete table

of contents and the first two chapters. It should give some idea

of the book.

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

From: Jonathan Shewchuk <Jonathan_R_Shewchuk@f.gp.cs.cmu.edu>

Date: Sat, 28 May 94 21:27:55 -0400

**Subject: Erratum for "An Intro to CG Without the Agonizing Pain"**

In early April, I advertised in NA Digest my Technical Report "An

Introduction to the Conjugate Gradient Method Without the Agonizing

Pain". Since then, the Internet has worked its magic and helped me

to find all sorts of errors in the text.

If you have a copy of the original report, please take a few moments

to obtain the Erratum. It is available by anonymous FTP to

REPORTS.ADM.CS.CMU.EDU (IP address 128.2.222.79) under the filename

1994/CMU-CS-94-125.errat . The Erratum is a short ASCII file. In

addition, I will soon make available a corrected version of the report,

which I will announce when it is ready.

The article itself is also still available from the above FTP site,

but I recommend waiting a few weeks until the corrected version is

ready.

Many thanks to all of you who took the time to send in their comments

and corrections. You have been very helpful in refining the final

document.

Jonathan Shewchuk

jrs@cs.cmu.edu

P.S. I'm still looking for an intuitive geometric explanation for why

most of the "beta" terms in CG become zero, thus making it possible

to generate the direction vectors with coupled recurrences. If anybody

has any suggestions, please let me know.

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

From: Larry Lambe <llambe@cesl.rutgers.edu>

Date: Tue, 24 May 94 16:01:21 EDT

**Subject: Workshop on Symbolic Computational Mathematics **

A Workshop on New Technology

for

Symbolic Computational Mathematics

and

Applications in Research and Education

Larry Lambe Dick Peskin

CAIP Center, CoRE Bldg.

Rutgers University

June 6 to June 10, 1994

Object oriented methods, properly used, can eliminate many of the

bottlenecks in syntactical debugging (i.e. the detection and

correction of "typos" and similar mistakes made in writing software).

They can also reduce time spent on logical debugging by providing a

mathematically precise foundation for object code and the ability to

write efficient algorithms for all objects of a given class using only

one implementation for all members of the class. This helps in the

conceptual design of complicated projects and also helps to keep the

amount of necessary code at a minimum. This Workshop is intended to

open up a discussion on the use of such techniques as applied to

mathematical software and also adddresses the best ways for providing

training in their use. The emphasis will be on object-oriented

symbolic computer mathematics and its applications in science and

engineering.

One of the major features of modern mathematics is the systematic

hierarchical organization of its contents. Through this organization,

great strides have been made in communicating mathematical techniques

to a variety of audiences. We are experiencing the widespread

emergence of an analogous hierarchical organization in other areas such

as software systems, including operating systems. For example, the

AXIOM (formerly called Scratchpad) system was designed in a

mathematically object oriented way, taking advantage of many years of

expert software engineering and mathematical experience. It is fully

extendible by any user with the right training, and it may be

dynamically altered to behave in user specified ways.

An A# (C, Lisp or standalone executable code generator for Axiom

algorithms) tutorial will be included in the Workshop and the latest

version of the AXIOM system and A# compiler will be available for use

by participants during the Workshop.

All talks will be in the auditorium, first floor CoRE Bldg (beginning

at 10:00 and Monday and at 9:00 on Tuesday through Friday). The labs

will be in 637 CoRE in the late afternoon on Monday and Tuesday.

Contributed papers will be reviewed for inclusion in a special issue

of the Journal of Symbolic Computation on Symbolic Computation and

Education.

Registration in advance is required.

For more information contact Larry Lambe (llambe@cesl.rutgers.edu)

or Dick Peskin (peskin@caip.rutgers.edu).

This Workshop is sponsered by IBM Corp., NAG, Inc., NSF, and the

Rutgers Univ. CAIP Center.

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

From: Rob Corless <rmc@watson.ibm.com>

Date: Tue, 24 May 1994 16:18:53 -0400

**Subject: A# Course announcement**

ANNOUNCEMENT

A# Programming Language Workshop

9AM---4PM

Day before ISSAC '94: 19 July 1994

St. Catherine's College, Oxford UK

WHAT IS A#?

A# is a programming language which allows symbolic and numeric

computations to be performed efficiently together.

Version 2 of the AXIOM computer algebra system provides an optimizing compiler

for A# as a separable component, as well as an intermediate code interpreter

and a library of data structures and mathematical abstractions.

The A# compiler can produce stand-alone executable programs, object libraries,

native operating system formats, portable byte code libraries, and C and Lisp

source code.

The A# programming language has support for object-oriented and

functional programming styles. Both types and functions are first

class values that can be manipulated with a range of flexible and

composable primitives and user programs. The A# language design

places particular emphasis on optimization and compilation for

efficient machine code, and portability. Trial ports have been

made to various:

> architectures (16-, 32-, and 64-bit), e.g. RS/6000, Sparc,

Alpha, i386, i286, M680x0, S 370;

> operating systems, e.g. Linux, AIX, SunOS, HP/UX, Next Mach,

and other Unix derivatives, OS/2, DOS/Windows, VMS, and CMS;

> C compilers, e.g. Xlc, Gcc, Sun, Borland, Metaware, and MIPS C.

THE WORKSHOP

The A# Programming Workshop, held Tuesday, July 19, one day

immediately preceeding ISSAC '94, will provide participants

with hands-on experience programming in A#. The programming workshop

will be presented by the developers of A#, and will cover topics including:

> The A# Programming Language

> Programming with types and functions as first class objects

> Developing stand-alone C and LISP applications

> Developing libraries for use by other C and Lisp programs

> Using A# to extend the Axiom Library

COST

NAG (which markets AXIOM and A#) is a not-for-profit organization.

A fee is being charged for registration to help defray the cost of

holding the course.

Registration is US $100, discounted to US $50 for students.

The registration fee includes a trial-period copy of the A# software

and documentation, a buffet lunch, and coffee/tea service.

Participants are encouraged to BYONC (Bring Your Own Notebook Computer).

If you do, you will need at least 4M RAM + 20M free disk space

(6-8M + 30M would be better), and DOS 5.0 or higher---or---Linux.

REGISTRATION/INFORMATION

For registration or additional information on the

A# Programming Language Workshop,

please contact:

Sandy Wityak

IBM T.J. Watson Research Center

P.O. Box 218; Yorktown Heights, NY 10598 USA

phone: +1 914-945-1187

email: wityak@watson.ibm.com

AXIOM is a registered trade mark of NAG, Ltd.

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

From: Panayot Vassilevski <IMACS95%BGEARN.BITNET@utkvm1.utk.edu>

Date: Wed, 25 May 94 11:21:11 BG

**Subject: IMACS Iterative Linear Algebra Symposium**

Information about First Call for Papers

SECOND IMACS INTERNATIONAL SYMPOSIUM ON ITERATIVE

METHODS IN LINEAR ALGEBRA

June 11-14, 1995, Blagoevgrad, Bulgaria

Organized by:

The International Association for Mathematics and Computers in Simulation

and

The Center of Informatics and Computer Technology at Bulgarian Academy

of Sciences (BAS)

Local Organizing Committee

Svetozar D. Margenov and Panayot S. Vassilevski

Center of Informatics and Computer Technology at BAS (Bulgarian

Academy of Sciences), Sofia, Bulgaria

Scope

The purpose of the Symposium is to provide a forum for the presentation

and the discussion of the recent advances in the analysis and

implementation of iterative methods for solving large linear systems

of equations and for determining

eigenvalues, eigenvectors or singular values of large matrices.

Topics

Matrix analysis

Convergence acceleration, preconditioning techniques,

methods for nonsymmetric, indefinite, singular and overdetermined systems,

sparse eigenproblems.

Applications:

To partial differential equations (multigrid methods,

domain decomposition methods, spectral methods), to systems theory, to

least squares problems, to parallel matrix computation

Software development:

Sparse linear systems, sparse eigenproblems, application

oriented software; on sequential machines; on parallel machines.

General Information

The symposium will be held during June 11 -- June 14, 1995

The symposium will take place at Blagoevgrad,

The symposium language will be English.

The registration fee will be equivalent to US $ 300.

(to be spoecified later on in more detail what this fee will cover)

Special Sessions:

"The influence of high non--normality on the reliability of iterative methods

in Computational Linear Algebra", organized by Prof. Francoise

Chaitin-Chatelin, University of Paris and Dr. Valerie Fraysse, CERFACS, Toulouse

"Krylov--subspace methods for nonsymmetric and indefinite linear systems",

by Roland Freund, AT & T Bell Lab., Murray Hill, USA

"Iterative Monte Carlo methods", by Ivan T. Dimov, CICT, BAS, Sofia

FOR COMPLETE FIRST ANNOUNCEMENT WRITE TO OR SEND E--MAIL MESSAGE TO:

Conference address:

Panayot S. Vassilevski

IMACS International Symposium

Center of Informatics and Computer Technology

Bulgarian Academy of Sciences

''Acad. G. Bontchev`` street, block 25A

1113 Sofia, Bulgaria

E-mail : imacs95@bgearn.bitnet

or

panayot@bgearn.bitnet

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

From: Najib Abboud <najib@ibm320.wai.com>

Date: Fri, 27 May 1994 11:44:20 -0400

**Subject: Acoustics of Submerged Structures & Transduction Systems**

Call for Papers

Symposium on

ACOUSTICS OF SUBMERGED STRUCTURES & TRANSDUCTION SYSTEMS

at

ASME 15th Biennial Conference on Mechanical Vibration and Noise

In celebration of

50th Anniversary of the ASME Design Engineering Division

held at

Boston Sheridan Hotel and attached Hynes Conference Center, Boston, MA

September 17-21, 1995

PURPOSE

The purpose of this symposium is to provide a forum for basic and applied

researchers as well as design engineers to discuss state-of-the-art advances in

theoretical, computational, experimental and materials aspects of noise,

vibration and design of submerged structures and transduction systems. Enhancing

the information flow between theoreticians and engineers, facilitating the

technology transfer between government-sponsored research and industrial

development, and encouraging interdisciplinary cross-fertilization are all vital

functions of this symposium.

SYMPOSIUM TOPICS

* Theoretical and computational aspects in the acoustic analysis of submerged

structures and transducers: analytical methods, asymptotic methods, ray

methods, spectral methods, FEM, BEM, adaptive methods, multigrid methods,

wavelets, fuzzy structures, probabilistic methods, radiation boundary

conditions, infinite elements...

* Scattering, propagation and radiation.

* Modeling of internal structures, substructuring, complexities, multi-scale

treatment.

* Experimental studies, comparison with analysis.

* New materials, coatings or material models for submerged structures and

transducers.

SCHEDULE:

Abstract: November 15, 1994

Manuscript (4 copies): January 1, 1995

Notification of Acceptance: April 1, 1995

Final Manuscript on Mats: April 20, 1995

PARTICIPATION

Papers will appear in reviewed archival ASME symposium proceedings. Authors

should submit abstracts to one of the symposium organizers:

Raymond P. Daddazio, Mohammed M. Ettouney, Najib N. Abboud

Address: Weidlinger Associates Inc.

Applied Science Division

333 Seventh Avenue

New York, NY 10001, USA

Tel: (212) 563-5200

Fax: (212) 695-4186

or send email to: najib@wai.com

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

From: John Van Rosendale <jvr@icase.edu>

Date: Fri, 27 May 1994 15:27:07 -0400

**Subject: ICASE Multigrid Short Course**

ICASE/LaRC SHORT COURSE ON MULTIGRID METHODS

August 29 - September 2, 1994

Radisson Hotel, Hampton, Virginia

We are pleased to announce that the Institute for Computer Applications

in Science and Engineering (ICASE) and NASA Langley Research Center

(LaRC) will conduct a Short Course on Multigrid Methods at the Radisson

Hotel, Hampton, Virginia from August 29 to September 2, 1994.

The course is intended primarily for scientists and engineers with elem-

entary knowledge of finite difference, finite volume, and finite element

methods for partial differential equations, as well as iterative

techniques. The key element of the course will be a cohesive development

of multigrid procedures for various problems of practical interest, with

an emphasis on analysis tools for performance prediction.

There will be four one-and-one-half hour lectures a day. The week-long

course is intended to provide a total of approximately 24 hours of

lectures and 3 hours of multigrid clinic on the various topics. Course

notes will be provided to all participants in order to facilitate

discussion during the lecture periods. The course topics and lecturers

are given below:

Pieter Hemker, CWI, The Netherlands

Multigrid and Defect Correction, Local Mode Two-Level Analysis,

Multigrid for Compressible Flows

Dimitri Mavriplis, ICASE, Hampton, VA

Overview of Unstructured Mesh Multigrid Methods, Nested Multi-

Level Grid Approach, Agglomeration Approach, Algebraic Multigrid

Approach

Shlomo Ta'asan, ICASE, Hampton, VA

Systems of PDE's, Discretization for Systems of PDE's, Relaxation

for Systems, Systems of Mixed Type, and Compressible Flows

Stefan Vandewalle, California Institute of Technology

Introduction to Parallel Computing, Parallel Implementation of

Standard Multigrid, Nonstandard Parallel Multigrid

Pieter Wesseling, Delft University of Technology, The Netherlands

Basics of Iterative Methods, Smoothing Analysis, Coarse Grid

Correction, Multigrid Methods

Due to space considerations, attendance will be limited. There will be

a registration fee which is still undecided. If you wish to attend or

would like further information, please reply by June 15, 1994 by E-mail

or FAX to

Emily Todd

ICASE, Mail Stop 132C

NASA Langley Research Center

Hampton, VA 23681-0001

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

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

From: J. Cash <j.cash@ic.ac.uk>

Date: Mon, 23 May 94 13:16:26 bst

**Subject: Lectureships at Imperial College**

IMPERIAL COLLEGE: GOVERNORS' LECTURESHIPS

As part of its continuing commitment to excellence in research and teaching,

the College is seeking to recruit a significant number of new lecturers.

These posts, to be known as the Governors' lectureships, will be permanent

and are intended for candidates of outstanding ability and potential.

The Mathematics Department of Imperial College will be bidding for a share

of these posts and is particularly interested in recruiting in the area of

Numerical Analysis.

Appointments will normally be made within the salary range #15,735 to

#27,241 per annum, including London Allowance, and will be from 1 October,

1994, or as soon as possible thereafter.

Potential candidates should send a CV and short description of research

interests to: Professor AFM Smith, Department of Mathematics, Imperial

College, 180 Queen's Gate, London SW7 2BZ; telephone 071 589 5111 ext5701;

FAX 071 225 8361; email a.smith@ic.ac.uk.

Applications should be made as soon as possible and, in any case, not later

than June 24, 1994.

Further information can also be obtained from j.cash@ic.ac.uk.

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

From: Petter Bjorstad <Petter.Bjorstad@ii.uib.no>

Date: Wed, 25 May 1994 15:42:38 +0200

**Subject: Faculty Opening at University of Bergen**

The CS department in Bergen has a faculty opening, within

the area of parallel computing/parallel algorithms, the

focus can be theoretical and/or computational.

A short version of the formal announcement follows:

Faculty opening at the

Department of Informatics, University of Bergen.

NATION: Norway

UNIVERSITY: University of Bergen, Department of Informatics

POSITION TITLE: "Forsteamanuensis" (Senior Lecturer or Assistant/Associate

Professor)

Expected starting date is Spring 1995.

CONTACT PERSON/OFFICE:

Professor Sigurd Meldal, Dept. Chairman

Phone: +47 555 44 176,

Email: sigurd@ii.uib.no

Tom Therkildsen, Administrative Manager

Phone: +47 555 44 182

Email: tom@ii.uib.no

Address: Dept. of Informatics, HiB, N-5020 Bergen, Norway

Fax: +47 555 44 199

POSITION DESCRIPTION: The Department of Informatics has an opening for a

"forsteamanuensis" (which corresponds more or less to the British Senior

Lecturer or the US range of Assistant to Associate Professor); initially

for a duration of four years.

Applicants must have obtained a Ph.D. or equivalent degree in informatics

(computer science), and should also document basic teaching skills.

(Applicants without teaching experience will be offered tutoring, and must

be able to document such skills within a year from the employment date.)

The department's areas of research focus are algorithms & complexity theory,

biocomputing, coding theory & cryptography, software engineering, scientific

computation, and optimization.

An interest in the development and analysis of methods for distributed and

parallel processing is a shared interest across all these. Applicants who are

well-qualified within the field of design and/or analysis of parallel

algorithms will be preferred.

Mastery of Norwegian is not a requirement initially. Courses may be given in

English the first two years of employment, and the textbooks are usually in

English.

The salary is currently NOK 265 900 per year (approx. US$ 39,000).

Health insurance is universal in Norway, and foreigners may benefit from a

tax treaty, obtaining a reduced tax rate.

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

From: Jean Utke <utke@math.tu-dresden.de>

Date: Thu, 26 May 1994 10:56:56 +0200

**Subject: Position at Technical University of Dresden**

C4-Professor of Geometry Position

Institute of Geometry

Faculty of Mathematics & Natural Sciences

Technical University of Dresden

" Geometry / Differential Geometry (C4) "

(registration number C4 010/W13)

The Technical University of Dresden invites outstanding candidates to

apply for a C4-professor of geometry faculty position in the Faculty of

Mathematics and Natural Sciences, Deptartment of Mathematics,

Institute of Geometry. The appointment would commence in 1995

and would fill the position currently held by G. Geise.

A candidate should have a Ph.D. in Mathematics and have a substantial

background in the area of geometry, in particular differential geometry,

and should be open-minded to applications in engineering. Experience in

CAGD will be regarded as desirable additional qualification, since this

is an area in which the Institute would like to be active.

A candidate is expected to give basic lectures for students of mathematics,

engineering, mathematical education, and specialized geometry lectures

for these students during their basic and topic-oriented study.

All lectures have to be given in German.

The ability and integrity to take part in the academic self-management

is required.

The Technical University of Dresden is interested in having a high quota of

women in research and teaching. Qualified female scientists

are particularly encouraged to apply. Applications of handicapped candidates

with equal qualification will be given preference.

Applications should contain curriculum vitae, photograph, description

of research achievements, list of papers, list of lectures given

and a confirmed copy of the document of the highest academic degree.

These materials should be sent no later than June 10, 1994 to

Technical University of Dresden

Faculty of Mathematics and Natural Sciences

Dekanat

01062 Dresden GERMANY

Since the time limit is very short applications may be announced via e-mail

to: Prof. A. Griewank, griewank@math.tu-dresden.de.

Jean Utke Tel.: (+49) (0)351-463 2149

Technical University of Dresden

Institute of Scientific Computing

01062 Dresden GERMANY

utke@math.tu-dresden.de

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

From: Richard Brualdi <brualdi@math.wisc.edu>

Date: Mon, 23 May 1994 16:08:17 -0500 (CDT)

**Subject: Contents, Linear Algebra and its Applications**

VOLUMES 203-204, MAY-JUNE, 1994

Third Special Issue on Linear

Systems and Control, Part I

Special Issue Editors:

A. C. Antoulas, M. L. J. Hautus, P. A. Fuhrmann,

and Y. Yamamoto

VOLUMES 205-206, JULY 1-JULY 15, 1994

Third Special Issue on Linear

Systems and Control, Part II

Special Issue Editors:

A. C. Antoulas, M. L. J. Hautus, P. A. Fuhrmann,

and Y. Yamamoto

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Contents Volumes 203-204

Preface 1

Daniel Alpay and Vladimir Bolotnikov (Beer-Sheva, Israel)

On a General Moment Problem and Certain Matrix Equations 3

A. C. Antoulas (Houston, Texas)

A New Approach to Modeling for Control 45

J. A. Ball (Blacksburg, Virginia), M. A. Kaashoek (Amsterdam,

the Netherlands), G. Groenewald (Bellville, South Africa), and

J. Kim (Kwangju, Korea)

Column Reduced Rational Matrix Function With Given Null-Pole Data

in the Complex Plane 67

Joseph A. Ball (Blacksburg, Virginia), Marek Rakowski, and Bostwick F.

Wyman (Columbus, Ohio)

Coupling Operators, Wedderburn-Forney Spaces, and Generalized

Inverses 111

Wu Baowei (Xian, Shaanxi, People's Republic of China)

Some Properties of Linear Systems Defined Over a Commutative

Banach Algebra 139

Tibor Boros, Ali H. Sayed, and Thomas Kailath (Stanford, California)

Structured Matrices and Unconstrained Rational Interpolation Problems 155

Roger Brockett (Cambridge, Massachusetts)

Differential Equations and Matrix Inequalities on Isospectral Families 189

Chin Chang and Tryphon T. Georgiou (Minneapolis, Minnesota)

Geometric Aspects of the Caratheodory Extension Problem 209

Guanrong Chen (Houston, Texas) and Cetin Kaya Koc

(Corvallis, Oregon)

Computing Matrix-Valued Nevanlinna-Pick Interpolation 253

Gong-ning Chen and Hui-pin Zhang (Beijing, China)

More on Loewner Matrices 265

Carmen Coll, Rafael Bru, Elena Sanchez, and Vicente Hernandez

(Valencia, Spain)

Discrete-Time Linear Periodic Realization in the Frequency Domain 301

Ruth F. Curtain and Alejandro Rodriguez (Groningen, the Netherlands)

Necessary and Sufficient Conditions for J-Spectral Factorizations With

a J-Lossless Property for Infinite-Dimensional Systems in Continuous

and Discrete Time 327

Leonid Faybusovich (Notre Dame, Indiana)

Rational Functions, Toda Flows, and LR-like Algorithms 359

Avraham Feintuch (Beer-Sheva, Israel)

Strong Graph Representations for Linear Time-Varying Systems 385

Sven Feldmann (Stuttgart, Germany) and George Heinig

(Leipzig, Germany)

Uniqueness Properties of Minimal Partial Realizations 401

Michel Fliess (Gif-sur-Yvette, France)

Une Interpretation Algebrique de la Transformation de Laplace

et des Matrices de Transfert 429

Ciprian Foias (Bloomington, Indiana), Arthur Frazho (West Lafayette,

Indiana), and Allen Tannenbaum (Haifa, Israel)

On Combined H-H2 Suboptimal Interpolants 443

P. A. Fuhrmann (Beer-Sheva, Israel)

A Duality Theory for Robust Stabilization and Model Reduction 471

Hisaya Fujioka and Shinji Hara (Yokohama, Japan)

State Covariance Assignment Problem With Measurement Noise:

A Unified Approach Based on a Symmetric Matrix Equation 579

Ton Geerts (Tilburg, the Netherlands)

Linear-Quadratic Control With and Without Stability Subject to General

Implicit Continuous-Time Systems: Coordinate-Free Interpretations of the

Optimal Costs in Terms of Dissipation Inequality and Linear Matrix

Inequality: Existence and Uniqueness of Optimal Controls and

State Trajectories 607

Tomomichi Hagiwara and Mituhiko Araki (Kyoto, Japan)

A Successive Optimal Construction Procedure for State Feedback Gains 659

Author Index 674

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Contents Volumes 205-206

Shinji Hara, Hisaya Fujioka (Yokohama, Japan), and

Pierre T. Kabamba (Ann Arbor, Michigan)

A Hybrid State-Space Approach to Sampled-Data Feedback Control 675

M. L. J. Hautus (Eindhoven, the Netherlands)

Operator Substitution 713

J. Hoffmann (Kaiserslautern, Germany) and P. A. Fuhrmann (Beer-Sheva, Israel)

Remarks on Orthogonal Polynomials and Balanced Realizations 741

J. Hoffmann and D. Pratzel-Wolters (Kaiserslautern, Germany)

Dipolynomial Minimal Bases and Linear Systems in AR Representation 777

E. W. Kamen (Atlanta, Georgia)

Block-Form Control of Linear Time-Invariant Discrete-Time Systems

Defined over Commutative Rings 805

Nicos Karcanias (London, United Kingdom)

Minimal Bases of Matrix Pencils: Algebraic Toeplitz Structure

and Geometric Properties 831

Tohru Katayama (Kyoto, Japan)

A Spectral Factorization Algorithm for Discrete-Time Descriptor

Systems via Generalized Eigenproblems 869

A. P. Kishore and J. B. Pearson, Jr. (Houston, Texas)

Kernel Representation and Properties of Discrete-Time

Input-Output Systems 893

Renee Koplon, Eduardo D. Sontag (New Brunswick, New Jersey), and

M. L. J. Hautus (Eindhoven, the Netherlands)

Observability of Linear Systems With Saturated Outputs 909

Hans-Andrea Loeliger (Linkoping, Sweden), G. David Forney, Jr.

(Mansfield, Massachusetts), Thomas Mittelholzer (Zurich, Switzerland),

and Mitchell D. Trott (Cambridge, Massachusetts)

Minimality and Observability of Group Systems 937

Denis Mustafa (Oxford, United Kingdom)

How Much Integral Action Can a Control System Tolerate? 965

M. A. Peters and A. A. Stoorvogel (Eindhoven, the Netherlands)

Mixed H2/H Control in a Stochastic Framework 971

Giorgio Picci and Stefano Pinzoni (Padova, Italy)

Acausal Models and Balanced Realizations of Stationary Processes 997

Allen C. Raines III and David S. Watkins (Pullman, Washington)

A Class of Hamiltonian-Symplectic Methods for Solving the

Algebraic Riccati Equation 1045

Cheryl B. Schrader (San Antonio, Texas)

Dynamical Structures on Pencils, Poles, and Fundamental Subspaces 1061

J. A. Sefton and R. J. Ober (Richardson, Texas)

Hankel-Norm Approximation and Control Systems 1081

J. de Does and J. M. Schumacher (Amsterdam, the Netherlands)

Continuity of Singular Perturbations in the Graph Topology 1121

Alle-Jan van der Veen and Patrick Dewilde (Delft, the Netherlands)

On Low-Complexity Approximation of Matrices 1145

Xiaochang Wang (Lubbock, Texas) and Joachim Rosenthal (Notre Dame,

Indiana)

A Cell Structure for the Set of Autoregressive Systems 1203

Siep Weiland (Eindhoven, the Netherlands)

A Behavioral Approach to Balanced Representations of Dynamical

Systems 1227

Harald K. Wimmer (Wurzburg, Germany)

A Galois Correspondence Between Sets of Semidefinite Solutions of

Continuous-Time Algebraic Riccati Equations 1253

Q.-H. Wu and M. Mansour (Zurich, Switzerland)

On the Stability Hyperellipsoid of a Schur Polynomial 1271

Xin Xin and Hidenori Kimura (Osaka, Japan)

(J, J')-Lossless Factorization for Descriptor Systems 1289

Yutaka Yamamoto and Mituhiko Araki (Kyoto, Japan)

Frequency Responses for Sampled-Data Systems - Their Equivalence and

Relationships 1319

Author Index 1341

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

From: SIAM <tschoban@siam.org>

Date: Thu, 26 May 94 09:49:14 EST

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

Contents

SIAM Journal on Control and Optimization

Volume 32, Number 5, September 1994

On the Solutions of a Class of Continuous Linear Programs

Edward J. Anderson and Andrew B. Philpott

The Riccati Equation for Optimal Control Problems with Mixed

State-Control Constraints: Necessity and Sufficiency

Vera Zeidan

A Multistate, Multicontrol Problem with Unbounded Controls

J. R. Dorroh and Guillermo Ferreyra

Numerical Approximations for Hereditary Systems with Input and

Output Delays: Convergence Results and Convergence Rates

A. Manitius and H. T. Tran

Root Locus and Boundary Feedback Design for a Class of Distributed

Parameter Systems

D. Gilliam, Christopher I. Byrnes, and Jianqiu He

Optimal Controls of Navier-Stokes Equations

Mihir Desai and Kazufumi Ito

Necessary Conditions for Optimal Control of Stochastic Systems with

Random Jumps

Shanjian Tang and Xunjing Li

Nonsmooth Optimum Problems with Constraints

Zs. Pales and V. M. Zeidan

Stability of Recursive Stochastic Tracking Algorithms

Lei Guo

Uniform Exponential Stability and Approximation in Control of a

Thermoelastic System

Zhuangyi Liu and Songmu Zheng

Asymptotic First Hitting Time Distribution of Annealing Processes

Christian Mazza

The Asymptotic Behavior of Simulated Annealing Processes with

Absorption

Tzuu-Shuh Chiang and Yunshyong Chow

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

From: Ralph B Kearfott <rbk5287@usl.edu>

Date: Fri, 27 May 1994 15:19:24 -0500

**Subject: Contents, Interval Computations**

Contents, Interval Computations

First special issue on the proceedings of the conference on

Numerical Analysis with Automatic Result Verification

Lafayette, Louisiana

February 25 to March 1, 1993

CONTENTS

Foreword by Prof. R. B. Kearfott 4

F.L.Alvarado and Zian Wang

Direct Sparse Interval Hull Computations for Thin

Non-M-Matrices 5

A.B.Babichev, O.B.Kadyrova, T.P.Kashevarova,

A.S.Leshchenko, and A.L.Semenov

UniCalc, a Novel Approach to Solving Systems

of Algebraic Equations 29

D. Berleant

Automatically Verified Reasoning with Both

Intervals and Probability Density Functions 48

O. Caprani, B. Godthaab, and K. Madsen

Use of a Real-Valued Local Minimum in Parallel Interval

Global Optimization 71

I. Cervesato, A. Montanari, A. Provetti

On the Non-monotonic Behaviour of Event Calculus

for Deriving Maximal Time Intervals 83

A.E.Connell and R.M.Corless

An Experimental Interval Arithmetic Package in Maple 120

J.S. Ely

The VPI Software Package for Variable Precision

Interval Arithmetic 135

J. Garloff

The Bernstein Algorithm 154

G.D.Hager

Solving Large Systems of Nonlinear Constraints with

Application to Data Modeling 169

Meetings

Applications of Interval Computations: International

Workshop 201

Requirements for manuscript preparation 205

Addresses of the editorial board members 207

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

From: Iain Duff <I.Duff@letterbox.rl.ac.uk>

Date: Sat, 28 May 94 11:40:54 BST

**Subject: Contents, IMA Numerical Analysis**

Contents

IMA JOURNAL OF NUMERICAL ANALYSIS. Volume 14 Number 3. July 1994.

McLean W and Sloan I H

A fully discrete and symmetric boundary element method.

Baker C T H and Paul C A H

Computing stability regions --- Runge-Kutta methods for delay

differential equations.

Hundsdorfer W

On the error of general linear methods for stiff dissipative

differential equations.

Beyn W-J

Numerical analysis of homoclinic orbits emanating from a

Takens-Bogdanov point.

Mannikko T, Neittaanmaki P, and Tiba D

A rapid method for the identification of the free boundary in

two-phase Stefan problems.

French D A and Jensen S

Long-time behaviour of arbitrary order continuous time Galerkin

schemes for some one-dimensional phase transition problems.

Pytlak R

On the convergence of conjugate gradient algorithms.

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

End of NA Digest

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

-------