Subject: NA Digest, V. 95, # 20 NA Digest Sunday, May 20, 1995 Volume 95 : Issue 20 Today's Editor: Cleve Moler The MathWorks, Inc. moler@mathworks.com Today's Topics: 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 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: Fred Kus 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 ************************** -------