Subject: NA Digest, V. 95, # 43 NA Digest Saturday, October 28, 1995 Volume 95 : Issue 43 Today's Editor: Cleve Moler The MathWorks, Inc. moler@mathworks.com Today's Topics: NA Digest Calendar News from the Geneva NA Group Challenges in Matrix Theory Interval Computations Help in Solving Long-Standing Problem Student Award for Reliable Computing journal Report from Conference on Mathematical Tools in Metrology Session on Linear Algebra and Scientific Computing Symposium on Computer-aided Control System Design Conference on Interval Methods Conference in Honour of Jean Meinguet Position at RWTH, Aachen Position at University of Strathclyde Position at UNI-C, Denmark Position at University of Kentucky Position at University of Delaware Position at Northwestern University Position at Colorado School of Mines Position at Northern Illinois University Position at College of Charleston Contents, Journal of Global 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: NA Digest Date: Sat Oct 28 07:11:03 EDT 1995 Subject: NA Digest Calendar The Netlib Conferences Database is on the Web at: http://www.netlib.org/confdb/Conferences.html NA Digest Calendar Date Topic Place NA Digest # Nov. 1- 4 Complementarity Problems Baltimore, MD 05 Nov. 3- 4 Linear Algebra and Scientific Computing Kent, Ohio 43 Nov. 6- 9 Geometric Design Nashville, TN 04 Nov. 12-17 Semiconductor Device Modeling San Francisco, CA 20 Nov. 15-17 Simulation of Devices and Technologies Kruger, South Africa 01 Nov. 16-17 Parallelising CFD & Structures Paris, France 41 Nov. 19-22 Pure and Applied Mathematics Isa Town, Bahrain 94:38 Nov. 21-22 Courses on MATLAB and Mathematica Swindon, England 41 Nov. 27 Dynamic Load Balancing Warrington, UK 40 Nov. 29 Northern England NA Colloquium Liverpool, England 41 Dec. 1 Honour of Jean Meinguet Louvain-la-Neuve, Belgium 43 Dec. 8 Runge-Kutta Centenial Amsterdam, Netherlands 27 Dec. 10-14 Global Optimization Szeged, Hungary 26 Dec. 11-13 Quasi-Monte Carlo Methods Hong Kong 36 Dec. 14-16 Dynamical Systems/Numerical Analysis Atlanta, GA 40 Dec. 14-20 Winter School on Iterative Methods Hong Kong 38 Dec. 16-19 Geophysical Inverse Problems Yosemite, CA 19 1996 Jan. 13-15 Course on Wavelets and Filter Banks Tampa, FL 42 Jan. 19-21 Boundary Elements Kiel, Germany 41 Jan. 28-30 Discrete Algorithms Atlanta, GA 25 Feb. 12-14 Network Optimization Problems Gainesville, FL 94:47 Feb. 12-15 Computational Differentiation Santa Fe, NM 29 Mar. 4- 6 Numerical Combustion New Orleans, LA 37 Mar. 11-13 Structural Mechanics Dortmund, Germany 40 Apr. 1- 4 State of the Art in Numerical Analysis York, England 41 Apr. 9-11 Real Numbers and Computers Marseille, France 26 Apr. 9-13 Short Course in Optimization Hampton, VA 42 Apr. 9-13 Copper Mountain Conference Copper Mountain, CO 40 Apr. 14-16 Theoretical and Applied Mechanics Tuscaloosa, AL 35 May 19-23 Computational Fluid Dynamics Freiburg, Germany 30 May 20-22 SIAM Conference on Optimization Victoria, BC, Canada 26 May 20-23 Parallel CFD Capri, Italy 34 May 21-24 Graphics Interface Conference Toronto, Canada 18 May 27-30 Volterra Centannial Tempe, AZ 42 June 3- 8 Domain Decomposition Bergen, Norway 28 June 10-15 Honor Lax and Nirenberg Venice, Italy 29 June 11-14 Numerical Fluid Flow Breckenridge, CO 37 June 13-15 Algebraic Multilevel Iteration Methods Nijmegen, Netherlands 42 June 15-19 Hyperbolic Problems Hong Kong 36 June 17-20 SIAM Conference on Discrete Mathematics Baltimore, MD 29 June 17-20 Integral Methods in Science and Engin. Oulu, Finland 24 June 17-21 Householder XIII Symposium Pontresina,Switzerland 31 June 20-21 Mitrinovic Memorial Conference Belgrade, Serbia 26 June 24-27 Numerical Analysis and Applications Russe, Bulgaria 35 June 24-28 Networks and Systems Saint Louis, MO 27 June 26-28 Images, Wavelets and PDE's Paris, France 41 July 1 -5 Grid Adaptation in Computational PDEs Edinburgh, Scotland 40 July 7-11 ASME Fluids Engineering Division San Diego, CA 35 July 8-12 Prague Mathematical Conference Prague, Czech Rep. 03 July 8-12 Quality of Numerical Software Oxford, England 19 July 8-19 Numerical Analysis Summer School Leicester, England 41 July 15-19 Computational Mechanics Miskolc, Hungary 41 July 22-27 Summer Seminar on Plates and Shells Quebec City, Canada 26 July 24-26 Symbolic and Algebraic Computation Zurich, Switzerland 42 July 27-30 Conference Honoring Mike Powell Cambridge, England 94:48 Aug. 18-21 Parallel Computing Lyngby, Denmark 38 Aug. 21-24 Total Least Squares Leuven, Belgium 38 Aug. 25-31 Congress Theor. & Appl. Mechanics Kyoto, Japan 94:46 Sep. 2- 5 Nonlinear Programming Beijing, China 18 Sep. 9-13 "ECCOMAS 96" Paris, France 23 Sep. 9-14 Ill-Posed Problems Moscow, Russia 23 Sep. 15-17 Control System Design Dearborn, MI 43 Sep. 30 -- Interval Methods Wuerzburg, Germany 43 Nov. 6- 8 Innovative Time Integrators Amsterdam, Netherlands 40 ------------------------------ From: Hairer Ernst Date: Fri, 27 Oct 1995 13:34:08 +0100 Subject: News from the Geneva NA Group (1) The following new book is on the market: "Analysis by its History" by E. Hairer and G. Wanner (Undergraduate Texts in Mathematics) Springer-Verlag New York, ISBN 0-387-94551-2 (42.- $). (2) Our codes RADAU5, RODAS, SEULEX have been updated: new linear algebra options for problems of the form y''=f(x,y,y') or B(y)y'=f(x,y) are included. New code RADAUP: this is nonoptimized extension of RADAU5 to higher order Radau IIA methods (order 5, 9, and 13) The codes are still available by anonymous ftp from "ftp.unige.ch" ("129.194.17.1") in the directories pub/doc/math/stiff pub/doc/math/nonstiff pub/doc/math/mechanic They are also available on Web: http://www.unige.ch/math/ under the item "programmes informatiques" (3) Our recent papers are available by anonymous ftp from "ftp.unige.ch" in the directory pub/doc/math/papers or on Web: http://www.unige.ch/math/ under the item "preprints" The most recent one is "The lifespan of backward error analysis for numerical integrators" by E. Hairer and Ch. Lubich. Gerhard Wanner and Ernst Hairer ------------------------------ From: Frank D Uhlig Date: Mon, 23 Oct 1995 09:38:24 -0500 (CDT) Subject: Challenges in Matrix Theory CALL for "CHALLENGES in MATRIX THEORY" Purpose: To collect a significant number of challenging problems in Matrix Theory. Deadlines: All Challenges shall be submitted to the Challenges coordinator Frank Uhlig by January 15, 1997. If a sufficient number of Challenges is accepted by the Challenges advisory panel, the editors-in-chief of Linear Algebra and its Applications (LAA) have agreed to publish the Challenges in a special section in one of LAA's early 1998 issues. The n^{th} ILAS Conference at Auburn University in 2002 will feature all significant solutions to Challenge problems as part of its program. Format: All Challenges should be between 2 and 5 pages in length with a detailed account of the history, notations, references and an explanation of the significance and envisioned uses of the proposed Challenge problem. Detailed instructions and a description of this Project are available electronically and shall also be published in volume 233 of Linear Algebra and its Applictions in January 1996. Electronic submission in TeX or LaTeX format is preferred. However, for easy transportability of the files amongst the reviewers, we ask all submitters to try and refrain from using extensive macros. Electronis Access: A more detailed description of the Challenges Project has been archived (both in ASCII mode and as a Latex file) in the AUBURN.02 file of the ILAS Information Center (IIC) : Access using MOSAIC, XMOSAIC, NETSCAPE or LYNX : http://math.technion.ac.il/iic Anonymous FTP : ftp math.technion.ac.il (directory "iic") ------------------------------ From: Vladik Kreinovich Date: Fri, 27 Oct 95 08:21:35 MDT Subject: Interval Computations Help in Solving Long-Standing Problem Double Bubble Minimizes: Interval Computations Help in Solving a Long-Standing Geometric Problem It is well known that of all surfaces surrounding an area with a given volume V, the sphere has the smallest area. This result explains, e.g., why a soap bubble tends to become a sphere. More than a hundred years ago, the Belgian physicist J. Plateaux asked a similar question: what is the least area surface enclosing two equal volumes? Physical experiments with bubbles seem to indicate that the desired least area surface is a "double bubble", a surface formed by two spheres (separated by a flat disk) that meet along a circle at an angle of 120 degrees. However, until 1995, it was not clear whether this is really the desired least area surface. Several other surfaces ("torus bubbles") have been proposed whose areas are pretty close to the area of the double bubble. The theorem that double bubble really minimizes was recently proven by Joel Hass from Department of Mathematics, University of California at Davis (email hass@math.ucdavis.edu) and Roger Schlafly from the Real Software Co. (rschlafly@attmail.com). First, they proved that the desired surface is either a double bubble or a torus bubble, and then used interval computations (as well as other ingenious numerical techniques) to prove that for all possible values of parameters, the area of the torus bubble exceeds the area of the double bubble described above. This result was mentioned in a popular magazine "Discover" as one of the main scientific achievements of the year. This application of interval mathematics not only provides a solution to a long-standing mathematical problem; the authors also describe potential practical applications, one of the them: to the design of the lightest possible double fuel tanks for rockets. The paper is not yet published. A preprint is available from the authors. ------------------------------ From: Vladik Kreinovich Date: Fri, 27 Oct 95 11:29:00 MDT Subject: Student Award for Reliable Computing journal Best Student Paper Award for Reliable Computing journal In 1993, the editorial board of the "Interval Computations" journal (now called "Reliable Computing") announced that papers submitted for the special student issue will be automatically entered into a Best Student Paper contest. The prize for the student author of the best paper is a free one-year subscription to the journal. We have received about twenty papers; the referee reports and the reports from the members of the editorial board of Reliable Computing served as the basis for choosing the best paper. It was a very difficult decision to make because we have received several excellent papers. We are pleased to announce the results. The best student paper award is awarded to the paper "A software interface and hardware design for variable-precision interval arithmetic" by Michael J. Schulte and Earl E. Swartzlander, Jr. This paper is published in ``Reliable Computing'', 1995, Vol. 1, No. 3, pp. 325-342. Michael J. Schulte, the student author of this paper, will, as promised, get a free one-year subscription to Reliable Computing. Congratulations to Michael, and thanks to all who submitted the papers for the job well done! Vladik Kreinovich and Guenther Mayer co-editors of the student issue ------------------------------ From: Daniel Zwick Date: Sat, 21 Oct 1995 19:45:52 +0100 (MET) Subject: Report from Conference on Mathematical Tools in Metrology Report on Euroconference on Advanced Mathematical Tools in Metrology Oxford, England, September 27--30, 1995 The International Euroconference on Advanced Mathematical Tools in Metrology took place at Lady Margaret Hall in history-laden Oxford University September 27--30, 1995. The conference was sponsored by an international committee including the British National Physical Laboratory and the Italian Istituto di Metrologia "G. Colonnetti". It is the first in a Euroconference series on AMTM, the next one being scheduled for 1996 in Berlin. The chief organizer was Maurice Cox of NPL. What is metrology? And why is it of interest to numerical analysts? Metrology is measurement science; and as practitioners of metrology are aware, the solution of problems that one commonly encounters in this area requires the application of a wide array of mathematical and statistical tools. This point was made incisively by Jeremy Du Croz of NAG Ltd., who in his talk stated "Just about all mathematical and statistical software is relevant to metrology." The participants in the AMTM conference were engineers, physicists, chemists, mathematicians, and computer specialists, coming from industry, universities and metrology laboratories, united in their common interest in developing and applying mathematical tools to the myriad problems that arise in the field of metrology. To get a feel for the international flavor of the conference, consider that among the around 70 participants, 16 countries were represented. One speaker even came from New Zealand, half-way around the globe. The stated goals were to present and promote current applications of sound mathematical modeling and analysis, statistics, numerical methods, and software to metrology. Indeed, the talks covered a wide range of topics, including measurement models, simulation and experimental design, industrial aspects such as surface roughness, process diagnostics, and manufactured part inspection; uncertainty estimation, instrument calibration, and available software (a list of titles is attached below). Among the mathematical approaches presented in the talks were total least squares, bootstrapping applied to quality control, linearization via the small displacement torsor, numerical methods for solving Cauchy singular equations, wavelet transforms, tomographic reconstruction algorithms, and numerical evaluation of infinite integrals via orthogonal polynomials, to name a few. The conference began after lunch on Wednesday and the first day was devoted to tutorials. Maurice Cox and Alistair Forbes of NPL discussed various aspects of mathematical modeling in the solution of metrology problems, after which Prof. E Arri of the Politecnico di Torino expounded on correct metrological procedures for performing measurements. In particular, he stated that overall uncertainty in measurements should be determined and expressed as recommended in the new ISO Guide to the Expression of Uncertainty in Measurement, a topic that was further discussed at the Uncertainty Roundtable that ended the conference on Saturday. A highlight of the conference was the two-part tutorial given by Gene Golub of Stanford on "The Singular Value Decomposition: Uses and Computation." Actually, much of his second talk concerned how to avoid the calculation of an SVD. The use of the SVD as a tool for solving and analyzing problems in metrology was a recurrent theme in the presentations and the discussion that followed them. All of the talks were well attended and the interest of the audience was keen. The weather throughout was remarkably good, with blue skies being the rule, and Oxford and environs were beautiful. While the accommodations in Lady Margaret Hall were somewhat Spartan, the food was good and plentiful. Fortunately, the adjacent, lush University Park offered the opportunity for pleasant post-prandial strolls. My only disappointment was that, despite the numerous signs in Oxford announcing "Humped Zebra Crossing," I failed to see any beasts even remotely resembling a striped dromedary. Coincidentally, parallel to the conference the Museum of the History of Science in Oxford was showing a special exhibition entitled "The Measurers, a Flemish Image of Mathematics in the Sixteenth Century" (for a virtual tour of this exhibition browse the URL http://www.ox.ac.uk/departments/hooke). As is evident from the list of talks that follows, metrology can be a rich source of new and interesting problems for researchers in numerical analysis (as well as in other areas of mathematics). Furthermore, metrologists often contribute new approaches to and insights into the solution of problems that interest numerical analysts. Metrology as a field is becoming increasingly important as a key component of quality manufacturing and is enjoying growing support in many countries. Na-netters are encouraged to play an active role in its further development. List of Talks E. Arri (arri@polito.it) Performing measurements through correct metrological procedures. J. A. Brandon (brandon@cardiff.ac.uk) Statistical methods for curvature estimation. M. Morandi Cecchi (mcecchi@pdmat1.math.unipd.it) On the numerical evaluation of a class of special integrals for theoretical models of microscope measurement. P. Ciarlini (ciarlini@vaxiac.iac.rm.cnr.it) Monitoring an industrial process: bootstrap estimation of the accuracy of quality parameters. M. Cox (mgc@newton.npl.co.uk) Constructing and solving mathematical models of measurement. J. Coy Process diagnostics using wavelet transforms. J. Du Croz (jeremy@nag.co.uk) Relevant mathematical and statistical software. S. Duane (duane@newton.npl.co.uk) The calibration of absorbed dose standards for ionizing radiation. M. Dell'Isola Statistical problems in calibration design. C. Elster (elster@ptb.de) Optimization of cryoelectronic thin film devices by experimental design. A. Forbes (abf@newton.npl.co.uk) Model parametrization and experimental design. G. Golub (golub@na-net.ornl.gov) The singular value decomposition: uses and computation. L. Gori On the numerical solution of Cauchy integral equations. H. Haitjema Iterative solution of least-squares problems applied to flatness and grid measurements. P. Harris (pmh@newton.npl.co.uk) A comparison of methods used for the calculation of effective area in the calibration of pressure balances. C. Lartigue (lartigue@lurpa.ens-cachan.fr) The concept of the small displacement torsor in metrology. S. Leeman Description and measurement of transient ultrasound fields. M. Lo Cascio Comparison of numerical methods to solve the problem of volume measurements by means of a gas expansion. T. Leahy (tsl@physics.dcu.ie) An analysis of statistical estimation method used in high accuracy mass determination. R. Model (model@ptb.de) Reconstruction algorithms for optical tomography. J. Nicholas (j.nicholas@irl.cri.nz) Debye functions in temperature metrology. B. Pompe (pompe@physik.uni-greifswald.de) A tool to measure dependencies in data sequences. M. Rastello (rastello@piccilo.cstv.to.cnr.it) A new approach to total least squares techniques for metrological applications. D. Richter (richter@ptb.de) Gaining information from measurement data. P. Scott (100536.2720@compuserve.com) Characterization of 3D surface roughness. D. Sourlier (sourlier@iwf.bepr.ethz.ch) A new method and software tool for the exact solution of complex dimensional measurement problems. E. Trapet (eugen.trapet@ptb.de) The virtual CMM concept. D. Zwick (zwick@na-net.ornl.gov) Algorithms for orthogonal fitting of lines and planes: a survey. Dan Zwick double star Research St. Augustin, Germany ------------------------------ From: Arden Ruttan Date: Fri, 27 Oct 1995 14:19:58 -0500 (EDT) Subject: Session on Linear Algebra and Scientific Computing The Schedule of Talks for the Special Session on Linear Algebra and Scientific Computing which will be held on November 3-4 at Kent State University as part of the AMS Fall Central Sectional Meeting is listed below. Abstracts for these talks and additional information can be obtain from http://www.mcs.kent.edu/ams1904/1904.html. 8:00 AM - 11:00 AM, Friday, November 3, 1995 Random Triangular Matrices Lloyd N. Trefethen A Partial Jacobi Method for Signal Subspace Separation Hongyuan Zha A More Accurate Method for Bidiagonal Reduction Jesse L. Barlow An Algorithm for Large Symmetric Toeplitz Eigenproblems Gregory S. Ammar and Santosh Kumar Mohanty Preconditioning Techniques in Large Scale Non-Hermitian Eigenproblem Solvers Zhaojun Bai Space-Time Trade-Offs in GMRES with Multigrid Preconditioning Faisal Saied 2:40 PM - 5:10 PM, Friday, November 3, 1995 Biorthogonality and Partial Pole Assignment for the Symmetric Definite Quadratic Pencil Biswa Nath Datta On the Distance to the Nearest Singular Pencil Ralph Byers Matrix Approximants for Inverse Vibration Problems Christopher Beattie Applications of Implicit Restarting in Optimization and Control Danny C. Sorensen Parallel Solvers for Almost Block-diagonal Linear Systems via Reduced Systems Dan Hu and A. Sameh 8:00 AM - 11:00 AM, Saturday, November 4, 1995 The Triangular Matrices of Gaussian Elimination G. W. Stewart On the Combination of Multilevel and Krylov Subspace Methods Gerhard Starke Moments in Quadrature Problems Walter Gautschi Asynchronous Two-Stage Methods for the Solution of Linear Systems Daniel B. Szyld Preconditioning of Symmetric, but Highly Indefinite Linear Systems Roland W. Freund On Krylov Subspace Approximations to the Matrix Exponential Operator Marlis Hochbruck and Christian Lubich 2:40 PM - 5:40 PM, Saturday, November 4, 1995 Iterative Methods for Ill-Conditioned Linear Systems Daniela Calvetti, Lothar Reichel, ans Qin Zhang Numerical Minimization of the Landau-de Gennes Free Energy Functional Timothy A. Davis and Eugene C. Gartland, Jr. Some Methods for the Iterative Solution of Systems with Multiple Right-Hand Sides E. Gallopoulos and V. Simoncini Estimating the Error in Iterative Methods Paul Saylor The Rate of Convergence for Optimal Iterative Methods Using Overestimates of the Spectrum Xiezhang Li The Numerical Treatment of Linear Systems with Many Delays Jiaoxun Kwang ------------------------------ From: Andras Varga Date: Mon, 23 Oct 95 9:31:50 MEZ Subject: Symposium on Computer-aided Control System Design IEEE SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN (CACSD'96) September 15 - 17, 1996, Dearborn, Michigan, USA The bi-annual Symposium on Computer Aided Control System Design (CACSD) will take place, under one meeting venue, jointly with the International Symposium on Intelligent Control and the International Conference on Control Applications. All three conferences emphasize "Control of Automotive Systems" as a special theme. TECHNICAL PROGRAM AND CALL FOR PAPERS: The CACSD'96 Symposium is a forum for all timely aspects of CACSD. However, due to the special emphasis theme, papers on all aspects of CACSD linked to the system-dynamics and mechatronics engineering development life cycle for automotive systems are invited. The technical program of the Symposium will feature a plenary lecture, technical sessions with contributed and invited papers, special sessions and lectures (survey papers, case studies, benchmark sessions, panel discussion sessions). Papers are solicited for technical and special sessions which include, but are not limited to: - Algorithms for CACSD - Data Structures for CACSD - Software Tools for CACSD - CACSD Support Environments - System Modeling and Simulation - Intelligent controller design - Control System Design Methodology - Design of Automotive Systems - Symbolic and Numerical Computations - Hybrid, Discrete-Event and Real-Time Systems TIME-TABLE: January 1, 1996 ........ Contact the Program Chair for Invited Sessions January 22, 1996 ........ All submissions and proposals to the Program Chair May 1, 1996 ........ Notification of acceptance June 17, 1996 ........ Camera-ready paper Organizing Chair Program Chair Prof. Grantham Pang Prof. Georg Gruebel Dept. Electr. & Comp. Eng. DLR Oberpfaffenhofen University of Waterloo Institute for Robotics and System Dynamics Waterloo, Ontario Postfach 1116, D-82230 Wessling CANADA, N2L 3G1 GERMANY Tel: 519-885-1211 (ext.3994) Tel: (+49) 8153-28-2484 Fax: 519-746-3077 Fax: (+49) 8153-28-1441 Email: pang@kingcong.uwaterloo.ca Email: georg.gruebel@dlr.de ADDITIONAL INFORMATION ON WWW: http://www.op.dlr.de/FF-DR/dr_er/CACSD96.html ------------------------------ From: Michael Lerch Date: Tue, 24 Oct 1995 10:50:23 +0100 (MET) Subject: Conference on Interval Methods I N T E R V A L '96 INTERNATIONAL CONFERENCE ON INTERVAL METHODS AND COMPUTER AIDED PROOFS IN SCIENCE AND ENGINEERING SEP 30 - OCT 2, 1996 WUERZBURG, GERMANY The conferences INTERVAL'XX are significant meetings devoted to various aspects of reliable numerical computations based on the interval approach. (Sometimes the terms validated numerics, localizational computations, or enclosure methods are used). Talks are devoted to development of corresponding mathematical structures, design of computer tools, and applications in a wide range of areas. INTERVAL'96 will focus on computer assisted proofs ranging from symbolic computation through rigorous error estimation, and including different paradigms such as functional and logic programming as well as solution of constraint systems. The traditional interval approach will appear as one important aspect common to most of the approaches. Although papers may be restricted to one of these topics, we especially encourage the submission of reports on combination of several approaches. The following topics will be considered: interval mathematics, hardware and software for interval and computer-algebraic methods, SC-languages, logic constraint programming, interval modelling, interval constraints, computer aided proofs in analysis, interval algorithms in control theory, organization of symbolic-numeric interfaces, programming environments for scientific computing, and applications in various fields of science and engineering as well as commercial issues. Two copies of an extended abstract of maximum 2 pages are requested for selection purposes. The deadline will be May 1, 1996. Electronic submission is strongly recommended. A LaTex format will be available via WWW (see address below). A collection of extended abstracts will be printed before the conference. Refereed proceedings including full versions of selected papers will be published after the conference. IF YOU WISH TO GET MORE DETAILED AND CURRENT INFORMATION, LOOK AT WWW: http://www.informatik.uni-wuerzburg.de/interval96 OR WRITE: Prof. Dr. J. Wolff v. Gudenberg email: wolff@informatik.uni-wuerzburg.de ------------------------------ From: Paul Vandooren Date: Fri, 27 Oct 1995 14:55:26 --100 Subject: Conference in Honour of Jean Meinguet Special Topics in Numerical Analysis and Applied Mathematics A 1-day conference in honour of Professor Jean Meinguet December 1, 1995 Universite Catholique de Louvain, room de La Vallee Poussin, Batiment de Hemptinne Chemin du Cyclotron 2, B-1348 Louvain-la-Neuve The theme of the conference is the broad area of numerical analysis and applied mathematics, but special emphasis will be put on the following topics: approximation theory, matrix theory and scientific computing. This one day conference is organized in honour of Prof. Jean Meinguet of the Universite Catholique de Louvain, as an acknowledgment of his leading role in these areas and in celebration of his 65-th birthday. Speakers: Prof. Gene Golub, Stanford University, Matrices, moments and quadrature Prof. Herbert Stahl, Technische Fachhochschule Berlin, Convergence domains for diagonal Pade approximants Prof. Claude Brezinski, Univ. Sc. & Techn. Lille I, Variations on Richardson's method and acceleration Prof. Annie Cuyt, Universitaire Instellingen Antwerpen, Convergence results for multivariate Pade approximants Prof. Walter Gander, Eidg. Technische Hochschule Zurich, Least squares problems in coordinate metrology Prof. Walter Van Assche, Katholieke Universiteit Leuven. Asymptotics for Freud polynomials and the information entropies of the harmonic oscillator There is no registration fee for the conference and the reception is graciously offered by the Departement d'Ingenierie Mathematique (INMA). For the banquet we request a booking before November 10. The banquet fee is 950Bfr for a 3 course meal, wine included. You can transfer this amount to the account mentioned on the registration form. After November 10 the fee is raised to 1050Bfr. Late bookings are also subject to approval by the restaurant and might be refused if too numerous. The conference will be held in room ``de La Vallee Poussin'', Cycl 01, Batiment de Hemptinne, Chemin du Cyclotron, 2. Parking is available in front of the building. For those coming from outside LLN we included a map and travel directions. The reception will be held in the same building. The conference is organized by the Institut de Mathematique Pure et Appliquee (MAPA), the Departement d'Ingenierie Mathematique (INMA), and the Departement de Mathematique (MATH). Organizing committee: Y. Felix (UCL-Math), P. Toint (FUNDP-Math), M. Willem (UCL-MAPA), P. Habets, A. Magnus and P. Van Dooren (UCL-INMA). For further information, please contact A. Magnus, (magnus@anma.ucl.ac.be, tel: +32-10-47.31.57) or P. Van Dooren (vdooren@anma.ucl.ac.be, tel: +32-10-47.80.40) The conference is sponsored by the Fonds National de la Recherche Scientifique and the Ministere de l'Education, de la Recherche et de la Formation. ------------------------------ From: Olaf Abel Date: Sat, 21 Oct 1995 17:20:43 +0100 Subject: Position at RWTH, Aachen Lehrstuhl f"ur Proze"stechnik, RWTH Aachen, Turmstr. 46, D-52056 Aachen Job offer Within the framework of the joint research project 'real time optimization of large systems' supported by the Deutsche Forschungsgemeinschaft (DFG) the Lehrstuhl f"ur Proze"stechnik (process engineering) at Aachen univerity of technology (RWTH) offers the position of a research assistent. The main objective of our part of the project, which will be carried out in close cooperation with the Institut f"ur Geometrie und Praktische Mathematik (Prof. Dahmen) at RWTH, is the development of a new method for monitoring chemical processes. This monitoring requires the cyclic estimation of the plant states based on past measurements every few minutes. The method to be developed is founded on a concept for optimization based real time estimation and is to be tested with realistic industrial problems. The optimization problem is formulated on a moving horizon in the past and is subject to the restrictions given by the differential and algebraic equations of the plant model. Applicants should have background in the field of chemical engineering or applied mathematics. The position is paid according to the BAT IIa salary group and is to be filled as soon as possible. Applications are to be sent to: Prof. Dr.-Ing. W. Marquardt Lehrstuhl f"ur Proze"stechnik Turmstra"se 46 D-52056 Aachen Tel.: +49/241/80-4668 Fax.: +49/241/8888-326 e-mail: secretary@lfpt.rwth-aachen.de ------------------------------ From: Ronnie Wallace Date: Mon, 23 Oct 1995 13:29:45 +0000 Subject: Position at University of Strathclyde AIMS Centre for Applied and Industrial Mathematics in Scotland The University of Strathclyde in partnership with the Engineering and Physical Sciences Research Council (EPSRC) has agreed to fund and thereby establish the Centre for Applied and Industrial Mathematics in Scotland (AIMS). The aims of AIMS are to (i) further establish better links between industry and academia, particularly in the numerate disciplines; (ii) to encourage the greater use of mathematical modelling in industry; and (iii) to collaborate closely with the European Consortium for Mathematics in Industry (ECMI) and ``act as its Scottish arm''. Funding is available for a Coordinator. The Coordinator's role will be to build up a network of industrial contacts while becoming acquainted with the full range of mathematical expertise residing in Scotland. (Also included are certain university centres in Northern Ireland and Northern England.) He/she will hold open meetings 2 to 3 times a year at which industrialists will air problems that might be amenable to a mathematical treatment. These meetings will be open to all academics. For problems that are confidential, private half-day meetings will be held to focus on one specific problem or problem area. Selected academics will be invited to attend. While the Coordinator will have a free hand to deal with the day to day activities, AIMS will be overseen by a Steering Committee currently composed of the grant holders: Professor Sean McKee (Chairman), Professor Frank Leslie, FRS and Professor David Sloan. At present funding is available for 3 years but there is a possibility that it could be made permanent. Further details can be obtained from Professor McKee. Closing date is 1st December 1995. email: s.mckee@strath.ac.uk or d.sloan@strath.ac.uk ------------------------------ From: Per Christian Hansen Date: Mon, 23 Oct 1995 14:38:27 +0100 Subject: Position at UNI-C, Denmark UNI-C Technical University of Denmark Lyngby, DENMARK A position as SCIENTIFIC DIRECTOR at UNI-C is now vacant. UNI-C, the Danish Computing Centre for Research and Education, provides computer capacity and related systems and services for research, development and education. In addition the centre's know-how and facilities are utilised to provide services for other groups of customers. UNI-C's objective is to provide products and services at a high international level at the same time securing that the products and services are competitive as regards quality and price. UNI-C is a government organisation with divisions in Copenhagen, Lyngby (near Copenhagen) and Aarhus. UNI-C has a staff of approximately 140 employees. For a number of years UNI-C has been the centre of Danish activities within the field of scientific computing in co-operation with a number of active research environments in Danish universities. UNI-C also aims at continuing participation in collaborative work nationally as well as internationally. In connection with this UNI-C wishes to participate in EU programmes as well as in Danish research programmes within supercomputing and to enhance and strengthen the efforts in this field. Therefore, UNI-C is looking for a director with extensive knowledge of the needs of the research sector with regard to High Performance Computing and Networking (HPCN) and of European activities within the field. The director should have an international background and should have visions concerning the future development facing Denmark and the rest of Europe as regards HPCN. The director should also have administrative experience combined with knowledge of European industry as well as knowledge of existing possibilities regarding co-operation between the private and the public sector. The successful applicant will be a member of UNI-C's management and will refer to the managing director. The appointment for this post is for a three year period - as a minimum - and may be renewed. The salary is in accordance with the rules applicable to public servants (in Danish terms classified as grade 38). There is a possibility of a bonus subject to the rules governing the application of the special wages pool for executives at UNI-C. In case of a three year contract further bonus possibilities and individual pension terms may be agreed. The appointment comprises the Danish Ministry of Education including all institutions belonging to the Ministry. The location of work is UNI-C, Lyngby (near Copenhagen). Applications will be treated as strictly confidential. For further information about the position please contact Prof. Dorte Olesen, Managing Director, Tel. +45 35 82 83 55, ext. 4130; email: dorte.olesen@uni-c.dk. UNI-C's Annual Report and Statute may be obtained from Bente Egaa Svendsen, Chief Secretary, Tel. +45 35 82 83 55, ext. 4110. Applications should be addressed to The Queen and sent to UNI-C, att.: Prof. Dorte Olesen, Managing Director, Vermundsgade 5, DK-2100 Copenhagen O, Denmark, to be received no later than December 8, 1995 at 12 o'clock. ------------------------------ From: Carl Lee Date: Mon, 23 Oct 1995 21:30:24 -0400 (EDT) Subject: Position at University of Kentucky The Department of Mathematics at the University of Kentucky invites applications for at least one tenure-track assistant professorship to begin in the Fall 1996. In case of exceptional candidates, senior appointments would be considered. In particular, we are interested in applicants in the areas of numerical analysis, combinatorics/combinatorial optimization, and algebra. However, applications in other areas are also welcome. We encourage applications from women and minority groups. Using the application cover sheet available from the AMS (if possible), applicants should submit a vita, a description of current research and future plans, evidence of effective teaching, and arrange to have at least three letters of recommendation sent to: Chair of the Recruiting Committee, Department of Mathematics, 715 POT, University of Kentucky, Lexington, KY 40506. We expect to begin evaluating applications December 1, 1995. Carl Lee 606-257-6794 (office) Department of Mathematics 606-257-4078 (fax) 715 POT, University of Kentucky lee@ms.uky.edu Lexington, KY 40506 ------------------------------ From: Gilberto Schleiniger Date: Tue, 24 Oct 1995 15:46:50 -0400 Subject: Position at University of Delaware The Department of Mathematical Sciences invites applications for a tenure/tenure track position in applied mathematics to begin September 1, 1996. Candidates will be considered at all levels up to entry level full professor but strong preference will be given those with an established record both in publication and funded research. Extensive computational experience in the areas of wave propagation, fluid dynamics, and/or inverse problems as well as experience and interest in establishing links with industry and other academic disciplines will weigh heavily in the candidate's favor. Evidence of effective teaching is essential. Applicants should send a curriculum vitae (including funding history), reprints and/or preprints and arrange to have 3 letters of recommendation sent to: Department of Mathematical Sciences Applied Mathematics Search Committee Department of Mathematical Sciences University of Delaware Newark, DE 19716 Applications must be received by December 1, 1995 to receive full consideration. The University of Delaware is an equal opportunity employer which encourages applications from qualified minority group members and women. ------------------------------ From: Michael J. Miksis Date: Thu, 26 Oct 95 10:09:32 CDT Subject: Position at Northwestern University Northwestern University Department of Engineering Sciences and Applied Mathematics The department invites applications for a tenure-track position in applied mathematics at the level of assistant professor, to begin in September 1996. Requirements include a PhD and demonstrated research ability in an area compatible with the interests of the department. Duties involve teaching and research. To ensure full consideration, applicants should send a curriculum vitae, a statement of research interests, and at least three letters of recommendation before February 1, 1996, to: Michael J. Miksis, Search Committee Chair, Department of Engineering Sciences and Applied Mathematics, Northwestern University, Evanston, IL 60208-3125. Northwestern is an affirmative action/equal opportunity employer. Applications from women and minorities are especially welcomed. Hiring is contingent upon eligibility to work in the U.S. ------------------------------ From: Graeme Fairweather Date: Thu, 26 Oct 1995 14:24:22 -0600 Subject: Position at Colorado School of Mines Colorado School of Mines Faculty Position in Mathematical and Computer Sciences The Department of Mathematical and Computer Sciences invites applications for an anticipated position in Applied Statistics at the Associate Professor level commencing with the 1996 fall semester. Applicants should have a Ph.D. in Applied Statistics or a related field; excellence in teaching and research is essential. Duties include coordinating the teaching of statistics, consulting activities with various members of the campus research community, and developing an outreach program to local business and industry. Evidence of interest or successful involvement in interdisciplinary collaborative research projects is desirable. Applicants should send a curriculum vitae and a statement describing teaching experience and philosophy and research interests and aspirations and four letters of reference, at least one of which addresses teaching ability, to: Colorado School of Mines, Office of Human Resources, Applied Statistics Search 95- 081400, 1500 Illinois Street, Golden, Colorado 80401-1887. Fax: (303) 273-3278. Applications will be considered beginning January 15, 1996, and thereafter until the position is filled. Colorado School of Mines is an equal employment opportunity/affirmative action employer. Women and minorities are encouraged to apply. ------------------------------ From: Greg Ammar Date: Thu, 26 Oct 1995 19:11:50 -0500 (CDT) Subject: Position at Northern Illinois University NORTHERN ILLINOIS UNIVERSITY Department of Mathematical Sciences Anticipated assistant professorship with a specialization in numerical partial differential equations. The successful candidate should have a strong numerical component as well as theoretical background in partial differential equations. Ph.D. or equivalent and strong potential in research and teaching required. Application (vita), transcripts, three letters of reference, and a description of research program should be sent to: Numerical PDE Position, c/o Professor William D. Blair, Chair, Department of Mathematical Sciences, Northern Illinois University, DeKalb, IL 60115 by January 31, 1996. NIU is an Equal Employment Opportunity/Affirmative Action Employer and recognizes dual career issues. ------------------------------ From: Tom Kunkle Date: Fri, 27 Oct 95 10:21:49 -0400 Subject: Position at College of Charleston Job Opening: College of Charleston Dept. of Mathematics Applications are invited for one tenure-track position in computational mathematics at the assistant professor level starting in August 1996. The Mathematics Department at the College of Charleston has 25 full-time faculty and offers the B.S. and M.S. degrees in mathematics. Candidates must have a Ph.D. in an area of computational mathematics, a commitment to graduate and undergraduate teaching, and potential for continuing research. The normal teaching load is 9 hours per week for those engaged in research. The salary is competitive. Faculty from the College of Charleston will be available to meet with applicants at the AMS/MAA Annual Meeting in Orlando. All applicants should send a vita and have three letters of recommendation sent to William Golightly, Chair, Department of Mathematics, College of Charleston, Charleston, SC 29424. e-mail: golightlyw@cofc.edu. The process of evaluating applications will begin on January 15, 1996, but applications will be considered until the position is filled. The College of Charleston is an Equal Opportunity/Affirmative Action employer and encourages applications from minority and women candidates. For more information on the College of Charleston and its Mathematics Dept, see http://math.cofc.edu:8080/ ------------------------------ From: Panos Pardalos Date: Sun, 22 Oct 1995 15:28:01 -0400 Subject: Contents, Journal of Global Optimization JOURNAL OF GLOBAL OPTIMIZATION Table of Contents VOLUME 7, NO. 2, SEPTEMBER 1995 Computing global minima to polynomial optimization problems using grobner bases K Hagglof, PO Lindberg, L Svensson 115--125 Nonconvex optimization over a polytope using generalized capacity improvement BW Lamar 127--142 Finding all solutions of nonlinearly constrained systems of equations CD Maranas, CA Floudas 143--182 On the selection of subdivision directions in interval branch-and-bound methods for global optimization D Ratz, T Csendes 183--207 A D.C. optimization method for single facility location problems H Tuy, F Al-Khayyal, F Zhou 209--227 VOLUME 7, NO. 1, JULY 1995 HANIF D. SHERALI and CIHAN H. TUNCBILEK / A Reformulation-Convexification Approach for Solving Nonconvex Quadratic Programming Problems 1-31 MOTAKURI RAMANA and A. J. GOLDMAN / Some Geometric Results in Semidefinite Programming 33-50 S. POLJAK, F. RENDL, and H. WOLKOWICZ / A Recipe for Semidefinite Relaxation for (0,1)-Quadratic Programming 51-73 A. S. STREKALOVSKY / On Global Maximum of a Convex Terminal Functional in Optimal Control Problems 75-91 W. P. BARITOMPA, ZHANG BAOPING, R. H. MLADINEO, G. R. WOOD, and Z. B. ZABINSKY Towards Pure Adaptive Search 93-110 Book review Katta G. Murty, Operations Research: Deterministic Optimization Models (H. D. SHERALI) 111-112 Information on all issues of the Journal of Global Optimization is available via the World Wide Web at the following URL: gopher://gopher.wkap.nl/ ------------------------------ End of NA Digest ************************** -------