Subject: NA Digest, V. 97, # 14 NA Digest Sunday, April 6, 1997 Volume 97 : Issue 14 Today's Editor: Cleve Moler The MathWorks, Inc. moler@mathworks.com Today's Topics: MODLER Update New Book on Multidisciplinary Design Optimization New Book Uses Interval Computations Special Issue of Applied Science and Computations CSDP, A Library for Semidefinite Programming Retirement Dinner for Bill Morton and David Mayers Conference on Applications of Computer Algebra Workshop on Software for PDEs Dean Position at University of Waterloo Position at Athens University Graduate Scholarship at Konrad-Zuse-Zentrum Contents, Reliable Computing 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: Harvey Greenberg Date: Sun, 30 Mar 1997 11:21:30 -0700 (MST) Subject: MODLER Update I have updated MODLER to version 9.0. This is now a choice under linux... see my software page at http://www-math.cudenver.edu/~hgreenbe/consortium/software.html The primary changes pertain to tables: 1. CHANGE spec added to TABLE in reading data file allows table revisions. 2. Table storage reduction by recognizing binary-valued types. The previous version (8.2) is still available too. You might start with my home web page, as it has other items of interest, such as my Mathematical Programming Glossary. Thanks, Harvey J. Greenberg hgreenbe@carbon.cudenver.edu http://www-math.cudenver.edu/~hgreenbe ------------------------------ From: Natalia Alexandrov Date: Tue, 1 Apr 1997 14:47:55 GMT Subject: New Book on Multidisciplinary Design Optimization NEW BOOK ANNOUNCEMENT: MULTIDISCIPLINARY DESIGN OPTIMIZATION: State of the Art Editors Natalia M. Alexandrov M.Y. Hussaini Society of Industrial and Applied Mathematics Publications, Philadelphia Softbound, ISBN 0-89871-359-5 February 1997, 455 pages To order: toll-free 1-800-447-SIAM in USA 1-215-382-9000 outside USA 1-215-386-7999 FAX Email: service@siam.org Net: http://www.siam.org Price: $61 general; $48.80 for SIAM members (royalties placed into the SIAM student travel) The book contains a collection of papers written by participants of the first ICASE/NASA Langley Workshop on Multidisciplinary Design Optimization (MDO). The papers are from a large number of areas comprised by MDO, such as applications, multidisciplinary optimization methods, optimization-oriented disciplinary developments, computational environments, and other areas. The intended audience of this book are both the researchers already in interdisciplinary fields and those computational scientists, mathematicians, and engineers who would like to become acquainted with a large subset of components that make up MDO and with a multitude of open research questions. I would also recommend this book as reading material in graduate numerical analysis, applied optimization, design, and engineering courses, as a potential source of interesting research problems. Natalia Alexandrov ------------------------------ From: Vladik Kreinovich Date: Fri, 4 Apr 97 14:58:32 MST Subject: New Book Uses Interval Computations E. Walter (SUPELEC, France) and L. Pronzato (CNRS, Sophia-Antipolis, France) "Identification of Parametric Models from Experimental Data" Springer-Verlag, Berlin-Heidelberg, 1997 The presentation of a coherent methodology for the estimation of the parameters of mathematical models from experimental data is examined in this volume. Many topics are covered including the choice of the structure of the mathematical model, the choice of a performance criterion to compare models, the optimization of this performance criterion, the evaluation of the uncertainty in the estimated parameters, the design of experiments so as to get the most relevant data and the critical analysis of results. There are also several features unique to the work such as an up-to-date presentation of the methodology for testing models for identifiability and distinguishability and a comprehensive treatment of parametric optimization which includes greater consideration of numerical aspects and which examines recursive and non-recursive methods for linear and nonlinear models. XVIII, 413 pp. 119 figs., Hardcover ISBN 3-540-76119-5 DM 158,- The information about this and other books related to interval computations can be found on the Books part of the Interval Computations Website http://cs.utep.edu/interval-comp/main.html click on "Books". ------------------------------ From: Bruce Wade Date: Wed, 2 Apr 1997 15:54:41 -0600 (CST) Subject: Special Issue of Applied Science and Computations The International Journal of Applied Science and Computations will be publishing a special issue edited by David Schultz and Bruce Wade on computational fluid dynamics. Any topics related to this area will be considered for publication. The deadline for postmark of submitted papers is June 1, 1997. If you plan to submit a paper, please send e-mail notice to schultz@math.uwm.edu as early as possible. Requests for additional information can be addressed to schultz@math.uwm.edu. Contributors should send three copies of their paper to: David Schultz, Professor Department of Mathematical Sciences University of Wisconsin-- Milwaukee PO Box 413 Milwaukee, Wisconsin 53201-0413 ------------------------------ From: Brian Borchers Date: Wed, 2 Apr 1997 15:10:03 -0700 (MST) Subject: CSDP, A Library for Semidefinite Programming CSDP is a library of routines that implements a predictor corrector variant of the semidefinite programming algorithm of Helmberg, Rendl, Vanderbei, and Wolkowicz. The main advantages of this code are that it is written to be used as a callable subroutine, it is written in C and Fortran for efficiency, it makes effective use of sparsity in the constraint matrices, and that it includes support for linear inequality constraints in addition to linear equality constraints. The code has been tested under Linux, SunOS 4.x, Solaris 2.5.1, and AIX 4.2. Makefiles are included for all of these operating systems. It should be relatively easy to port the code to other versions of unix. Source code: http://www.nmt.edu/~borchers/csdp1.0.tar Tech report: http://www.nmt.edu/~borchers/csdp1.0.ps Brian Borchers borchers@nmt.edu Department of Mathematics http://www.nmt.edu/~borchers/ New Mexico Tech Phone: 505-835-5813 Socorro, NM 87801 FAX: 505-835-5366 ------------------------------ From: Joan Himpson Date: Fri, 04 Apr 97 12:45:14 Subject: Retirement Dinner for Bill Morton and David Mayers As some of you may know both Professor Bill Morton and Dr David Mayers of Oxford University Computing Laboratory are retiring this summer. It is proposed to have a retirement dinner in one of the Oxford Colleges on the evening of Friday 11 July 1997 at a cost of approximately 25 pounds per head. Colleagues, ex students etc. (with partners) are all welcome but in order to arrange this an indication of the numbers interested would be of great help. If you think you might like to come to such a dinner could you please register your initial interest by contacting Joan Himpson; replies by the end of April for initial numbers would be appreciated. Mrs Joan Himpson Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD UK Tel: +44 1865 273885 Fax +44 1865 273839 email: Joan.Himpson@comlab.ox.ac.uk ------------------------------ From: Michael Wester Date: Thu, 3 Apr 1997 16:57:55 -0700 (MST) Subject: Conference on Applications of Computer Algebra SECOND ANNOUNCEMENT The Third International IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra* July 24-26, 1997 Aston Wailea Resort Maui, Hawaii, USA General Chair: Michael Wester (wester@math.unm.edu) Program Chairs: Jacques Calmet (calmet@ira.uka.de) Vladimir Gerdt (gerdt@jinr.dubna.su) Local Arrangements: Stanly Steinberg (stanly@math.unm.edu) Nicolas Robidoux (mia@math.unm.edu) The meeting will focus on actual or possible applications of nontrivial computer algebra techniques to other fields and substantial interactions of computer algebra with other fields. For more information, see: http://math.unm.edu/ACA/1997.html or contact one of the above organizers. NOTE: PASCO'97 and ISSAC'97 will be held just previous to this meeting (July 20-22 and July 21-23, respectively) also at the Aston Wailea Resort. Meeting Format: The meeting will be run in the standard IMACS format where individuals are invited to organize a special session. Individuals can propose a special session by contacting the program chairs. All paper submissions must be directed to an organizer of an appropriate special session, which will be listed at the web site. SPECIAL SESSIONS currently being organized: Algorithm Design and Systems Engineering Algorithmic Analysis of PDEs (Alexei Bocharov, Greg Reid, Thomas Wolf) Applications in Group Theory (John Cannon) Automatic Differentiation (Stephen Watt) Computer Algebra and Theorem Provers (Michael Kohlhase) Computer Algebra in Education (Ian Cohen) Computer Algebra in Robotics (Jochen Pfalzgraf) Computer Algebra Methods in Integration and Analysis of ODEs (Vladimir Gerdt, Fritz Schwarz) Grand Challenges in Computer Algebra (Laurent Bernardin) Non-standard Applications (Eugenio Roanes Lozano) Problem Solving Environments (Bruce Char) Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents (John Campbell) Systems Types and Specifications (Jacques Calmet) If you would like to contribute a talk, please contact the appropriate session organizer or one of the program chairs. Email addresses can be found on the ACA'97 web site. REGISTRATION FEES: ------------------ IMACS/non-IMACS member $150/$165 Early registration (on or before May 31) IMACS/non-IMACS member $175/$190 Standard registration (June 1 or after) IMACS/non-IMACS member $200/$215 On-site registration By the way, Stanly Steinberg and I are also organizing a session on Computer Algebra for the II Pan-American Workshop in Applied and Computational Mathematics to be held September 8-12, 1997 in Gramado, Brazil (see http://math.unm.edu/ACA/PanAm.html). If anyone is interested in participating, please send me a note. Michael Wester *partially supported by the Albuquerque Resource Center Maui High Performance Computing Center National Security Agency ------------------------------ From: Petter Bjorstad Date: Fri, 4 Apr 1997 17:55:42 -0600 (CST) Subject: Workshop on Software for PDEs SOFTWARE for PDEs , TUTORIAL / WORKSHOP IMA HPC - YEAR APRIL 21-25 1997 Purpose: The purpose of this tutorial/workshop is to discuss actual software for the numerical solution of PDEs with realistic demonstrations of the software by international experts that have been directly involved in the software development. The emphasis is NOT on large, scale commercial packages, such as, for example, NASTRAN and ANSYS (for structural analysis) but more on special and/or general purpose systems that can be used in research and development as well as in teaching at universities. This workshop precedes the IMA-HPC workshops 10) Grid Generation and Adaptive Algorithms, 11) Parallel Processing of Discrete Problems, 12) Parallel Solution of PDE and should give a good background for these events as well. Format: Each software system will be allocated a half day in the workshop. Such a session should normally contain: a) A lecture by one of the developers giving an overview of the software, its use and limitations. b) A demonstration of the software (advanced application) by one of the developers c) Some simple application exercise using the software that can be tried/carried out by the participants d) A general discussion among the participants of the software system, including Q/A based on the experience gained. All SW packages will be installed on the IMA computer system before the workshop. An SGI workstation will be available in the auditorium with suitable projection to a large screen for the participants. It is assumed that the presentations will include `live' computer demonstrations. The last day will be used to discuss future developments of SW for PDEs and summarize the first four days. The presenters and their packages include: Olivier Pironneau University Pierre et Marie Curie FreeFEM Hans Petter Langtangen University of Oslo DIFFPACK Stefan Turek University of Heidelberg FEAT Lars Langemyr COMSOL, Stockholm MATLAB PDE Toolbox Hidehiro Fujio NEC FEEL Barry Smith & William Gropp Argonne National Laboratory PETSc Randy Bank University of California at San Diego PLTMG Henrik Rentz-Reichert & Klaus Johannsen University of Stuttgart UG An updated program as well as more information on the IMA special year on HPC can be found at: http://www.ima.umn.edu/hpc/ ------------------------------ From: John Bullen Date: Tue, 1 Apr 1997 08:37:11 -0500 Subject: Dean Position at University of Waterloo University of Waterloo Waterloo, Ontario, Canada DEAN OF THE FACULTY OF MATHEMATICS Candidates are sought for the position of Dean of the Faculty of Mathematics. Consisting of approximately 130 faculty members and 40 support staff in five academic departments (Applied Mathematics, Combinatorics & Optimization, Computer Science, Pure Mathematics, Statistics & Actuarial Science), the Faculty offers graduate and undergraduate programs leading to the BMath, MMath, MPhil and PhD degrees. Full-time undergraduate enrolment is about 2800, with two-thirds in co-op (alternating work/study) programs; about 40% of the Faculty's 250 full-time graduate students are enrolled in doctoral programs. Total UW full time enrolment is about 17,000. The successful candidate will have a proven record of scholarship, teaching and administration in order to qualify for a tenured appointment at a senior level. Applications should be accompanied by: a current curriculum vitae; an outline of the talents, experience and ideas a candidate would bring to the deanship; and the names and addresses of three referees in a position to comment on a candidate's academic credentials and administrative experience. Nominations are also invited and should include a current CV, where possible. Applications and nominations will be treated in confidence and should be directed by mail or fax (519-888-6337) no later than June 30, 1997 to: John Bullen Associate University Secretary Needles Hall University of Waterloo Waterloo, Ontario N2L 3G1 The initial five-year appointment will begin on July 1, 1998. In accordance with Canadian immigration requirements, this advertisement is directed to Canadian citizens and permanent residents. The University of Waterloo encourages applications from all qualified individuals, including women, members of visible minorities, native peoples and persons with disabilities. The UW home page on the Web is at http://www.uwaterloo.ca/home.html [The full text of Policy 45 -- Dean of a Faculty -- is under 'documents'.] ------------------------------ From: M. P. Bekakos Date: Mon, 31 Mar 1997 14:40:22 +0300 (EET DST) Subject: Position at Athens University Ph.D. Position at Athens University of Economics & Business Parallel Algorithms and architectures Research group Dept. of Informatics Athens - Greece In the area of : "Parallel Processing Technology, Neural Network Architectures and Applications" We welcome young candidates ( below 30 years of age) with an M.Sc. Degree in a relevant topic, a sound background in Mathematics and experienced in scientific programming. Research activity and/or professional experience will be additionally evaluated in favour of the candidate. For more information please contact : Ass. Prof. M.P. Bekakos Athens University of Economics & Business, Dept. of Informatics, 76, Patission Str., Athens 104 34, Greece Phone/Fax : +301 - 82 25 790 Michael P. Bekakos PAaRG Dept. of Informatics Athens University of Economics & Business Athens 104 34 Greece Fax : +301-82 25 790 E-mail : mpb@aueb.gr M.Bekakos@aueb.gr ------------------------------ From: Hans-Christian Hege Date: Tue, 1 Apr 1997 12:07:48 +0000 Subject: Graduate Scholarship at Konrad-Zuse-Zentrum The Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB), a research institute of the state of Berlin, performs research and development in the field of application oriented algorithmic mathematics. With effect from April 1, 1997 a Graduate Scholarship is available at ZIB for a term of up to three years. The scholarship is granted by the Graduiertenkolleg "Temperature Dependent Effects for Therapy and Diagnostics" at Humboldt University Berlin (speaker: Prof. Dr. R. Felix). The research work involves problems in Computational Geometry, Image Processing, and Scientific Visualization. It should be carried out in close connection to the research performed in the Sonderforschungsbereich 273 "Hyperthermia in Oncology: Methods and Clinic". RESEARCH TOPICS - data structures for deformable grid models - algorithms for deforming anatomical grid models - algorithms for mapping grid models to atlas data for segmentation and classification. REQUIREMENTS - good up to excellent degree in mathematics, computer science or theoretical physics - profound knowledge in areas of applied mathematics, e.g. splines, wavelets, grid generation - good acquaintance with object oriented programming in C++ - desirable: practical experience with large software projects - interest in medical problems or willingness to learn the missing parts. We expect a high degree of commitment. In return we offer an interesting field of work, an opportunity for creativity, excellent machinery equipment and favourable working conditions. We particularly encourage female applicants, since women are underrepresented in science and ZIB is engaged in enlarging the quota. Disabled persons will be preferred on terms of equal qualification. Applications with photo, curriculum vitae in tabular form and customary documents quoting the title "Graduiertenkolleg -- Scientific Visualization" should be submitted to Prof. Dr. Peter Deuflhard Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) Takustr. 7 14195 Berlin-Dahlem Germany For further information, please contact Hans-Christian Hege at ZIB, e-mail: hege.zib.de. See also http://www.zib.de and http://www.rz.charite.hu-berlin.de/rv/hyper. ------------------------------ From: Vladik Kreinovich Date: Fri, 4 Apr 97 10:06:41 MST Subject: Contents, Reliable Computing Here is the contents of the first two 1997 issues of the Reliable Computing journal, which is now published under Kluwer: 1-97 Foreword 1 - 4 Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions Siegfried M. Rump 5 - 16 Sharpness in Interval Computations Eldon R. Hansen 17 - 29 An Interval Algorithm for Bounding the Ranges of Real-Valued Functions of One Real Variable Michael A. Wolfe 31 - 50 NP-Hard Classes of Linear Algebraic Systems with Uncertainties Anatoly V. Lakeyev Vladik Kreinovich 51 - 81 Use of Interval Slopes for the Irrational Part of Factorable Functions Lubomir V. Kolev 83 - 93 Numerical Intervals to Set Intervals (Interval-Related Results Presented at the First International Workshop on Applications and Theory of Random Sets) Hung T. Nguyen Vladik Kreinovich 95 - 102 2-97 Algebraic Approach in the ``Outer Problem'' for Interval Linear Equations Sergey P. Shary 103 - 135 Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case Teruya Minamoto Mitsuhiro T. Nakao 137 - 147 Is Solar System Stable? A Remark Vladik Kreinovich Andrew Bernat 149 - 154 Computing the Value of a Boolean Expression with Interval Inputs is NP-Hard Leticia S. Chee 155 - 172 Sign-Stable Solutions of Column-Vague Linear Equation Systems Josef Nedoma 173 - 180 Reviews Applications of Reliable Scientific Computing 181 - 187 Information on New Textbooks 188 - 190 Interval-Related Talks at the 1996 International Workshop on Control Mechanisms for Complex Systems 191 - 193 ------------------------------ End of NA Digest ************************** -------