Subject: NA Digest, V. 94, # 21 NA Digest Sunday, May 22, 1994 Volume 94 : Issue 21 Today's Editor: Cleve Moler The MathWorks, Inc. moler@mathworks.com Today's Topics: Public Domain Finite-element 3-D Elastostatics Solver Roommate at San Diego SIAM Meeting Seeking Position in CFD/Dyn.Systems Seeking Position in CFD Address Change for Mustafa C. Pinar New Address for Jens Lorenz Temporary Change of Address for Rob Corless CADNA, A Tool for Round-off Error Analysis Combustion, Environment, and Heating Technology Bulgarian Numerical Methods Conference Symposium in China on Intertial Manifolds Southern California Matrix Theory Conference Contents, SIAM Discrete Math Contents, Interval Computations Submissions for NA Digest: Mail to na.digest@na-net.ornl.gov. Information about NA-NET: Mail to na.help@na-net.ornl.gov. ------------------------------------------------------- From: Jacob White Date: Wed, 18 May 94 15:32:04 EDT Subject: Public Domain Finite-element 3-D Elastostatics Solver Any clues as to the whereabouts of such a code would be greatly appreciated. Jacob White Department of Elec. Eng. and Comp. Sci. Mass. Inst. Technology white@rle-vlsi.mit.edu ------------------------------ From: Yuedong Wang Date: Wed, 18 May 94 13:27:29 -0500 Subject: Roommate at San Diego SIAM Meeting I am looking for a roommate at the San Diego SIAM annual meeting from July 25 to July 29. Anyone interested may contact me at wang@stat.wisc.edu ------------------------------ From: Maxim Poliashenko Date: Mon, 16 May 1994 08:34:01 -0400 Subject: Seeking Position in CFD/Dyn.Systems I am looking for a position in Computational Fluid Dynamics, Stability Analysis or Dynamical Systems/Chaos. My research record includes 15 articles published or under review on these subjects including development of direct methods to detect codimension-1 bifurcations. If will gladly mail my CV and reprints on your request. Thank you very much for your kind attention! Maxim Poliashenko Postdoctoral Research Fellow maxim@panther.ipst.edu Georgia Tech ------------------------------ From: Brahim Khobalatte Date: Fri, 20 May 1994 17:41:29 +0200 Subject: Seeking Position in CFD I am looking for a position as a Posdoctoral Research in computational fluid dynamics. If you are interested please let me know and I will send you a copy of my current resume and my references. My e-mail addresse is: khoba@menusin.inria.fr Present address: INRIA menusin BP 105, 78153 Le chesnay cedex, France. I look forward to your reply. Thank you for your kind attention in this matter. Sincerely, B. Khobalatte. ------------------------------ From: Mustafa Pinar Date: Tue, 17 May 94 9:33:32 METDST Subject: Address Change for Mustafa C. Pinar As of June 1, 1994, I am leaving the Institute of Mathematical Modelling of the Technical University of Denmark where I spent two years as a post-doc. My new address will be as follows: Department of Industrial Engineering Bilkent University 06553 Bilkent Ankara Turkey I will continue to read e-mail at my present e-mail address until I get a local account. Mustafa C. Pinar ------------------------------ From: Jens Lorenz Date: Wed, 18 May 94 12:12:08 MDT Subject: New Address for Jens Lorenz New address for Jens Lorenz: Prof. Jens Lorenz Numerische Mathematik RWTH Aachen Templergraben 55 D--52062 Aachen Germany ++49-241-807973 (tel) ++49-241-8888317 (fax) lorenz@igpm.rwth-aachen.de ------------------------------ From: Rob Corless Date: Fri, 20 May 1994 10:12:49 -0400 Subject: Temporary Change of Address for Rob Corless Till December 1994 I can be reached at rmc@watson.ibm.com. Postal address is Rob Corless IBM T. J. Watson Research Center P.O. Box 218, Yorktown Heights New York, 10598 USA ------------------------------ From: Jean Marie Chesneaux Date: Tue, 17 May 94 16:08:13 +0100 Subject: CADNA, A Tool for Round-off Error Analysis CADNA version 1.0 Announcement CADNA (Control of Accuracy and Debugging for Numerical Applications) is a library for FORTRAN 77 codes which is able, during the run of a code, to : - estimate the round-off error propagation, - detect the numerical instabilities, - check the branching, - provide the accuracy of any intermediate or final result. This library is based on the CESTAC ( Controle et Estimation STochastique des Arrondis de Calculs) which is a probabilistic approach for estimating round-off error propagation. The CADNA library defines new numerical types : stochastic types (single, double or complex). All their arithmetic operators, order relations, intrinsic or mathematical functions, have been overloaded. Consequently, the use of the CADNA library is very easy and only requires changing very few statements in FORTRAN source codes such as printing statements. It is also possible with the CADNA library to take into account the physical data error in the estimation of the accuracy of the results. Furthermore, since CADNA carries out new concepts such as the stochastic zero, the user may : - in iterations methods, use new termination criteria, which allow optimization of the number of iterations - in approximation methods such as finite-difference methods, determine optimal meshes. In short, the CADNA library is a powerful tool that helps to achieve validaty and safety in scientific computations. For more information, you may contact the company which markets CADNA : AERO Society 3 avenue de l'Opera 75001 Paris, FRANCE Phone : (33) 1 44 55 30 80 Fax : (33) 1 40 15 95 54 or send your questions to the E-mail address : chesneaux@masi.ibp.fr Jean-Marie Chesneaux and Jean Vignes Universite Pierre et Marie Curie Laboratoire MASI 4 place Jussieu 75252 Paris Cedex 05, FRANCE Phone : (33) 1 44 27 71 34 ------------------------------ From: Moti Mittal Date: Mon, 16 May 1994 11:15:19 -0400 Subject: Combustion, Environment, and Heating Technology Combustion, Environment, and Heating Technology -- The Role of High Performance Simulation - A meeting in cooperation with the IEEE Computer Society (Scientific Supercomputing Subcommittee) and the Society of Industrial and Applied Mathematics (SIAM) Activity Group on Supercomputing. CALL FOR PAPERS In light of the emerging advances in combustion technology and its benefit to United States industry and science, the Program for Computational Reactive Mechanics (PCRM) at the Ohio Supercomputer Center has organized this meeting in Columbus, Ohio, on October 6- 7, 1994. Nationally recognized participants from academia, industry, and national laboratories will report on the state of the art in combustion technology, heating equipment technology, environmental impact of combustion, and advances in high performance computing. The participants will share ideas and explore the role of high performance simulation to advance the technology for combustion, environment, and heating. Topics for the meeting include but not limited to: -- High Performance Computing -- Computing Reactive Flows on High Performance Computers -- Computing Combustion Kinetics on High Performance Computers -- Computing Energy Transport on High Performance Computers -- High Performance Simulations for Heating Equipments (Furnaces) -- New Combustion Technologies -- Two sessions for contributed presentations in poster format. +++ A partial list of invited speakers include: Dr. Martha A. Krebs (Director, Office of Energy Research), C. W. Garret (DOE Fossil Energy), Don Hardesty (Sandia Combustion Lab), L.A. Ruth (Pittsburgh Energy Technology Center), Tom O' Brien (Morgantown Energy Technology Center), P. J. Smith (U of Utah), R.H Essenhigh (The Ohio State University), C.W. Westbrook (LLNL), Bernie Alder (LLNL), W.A. Fiveland (Babcock & Wilcox), Charles H. Koelbel (Rice University), and Software Vendors for Reactive Mechanics (Exhibition) Selected papers will be considered for publication in The Journal of Supercomputing. Abstracts and highlights of presentations will be available, in both hardcopy and electronic versions, to attendees and the combustion community. +++ How to Contribute: Contributed presentations in poster format are invited in areas consistent with the conference theme. A 1-page abstract typed single-spaced on 8-1/2" x 11" bond paper must be submitted, including title of presentation, author(s) names and affiliations, postal and e-mail addresses, telephone and fax numbers. For more information, write to "pcrm@osc.edu", or use the PCRM Mosaic Server (URL: http://www.osc.edu/pcrm.html). You may also call: Dr. Moti Mittal, 614-292-9248 for information. ------------------------------ From: S. Margenov Date: Tue, 17 May 94 17:44:34 BG Subject: Bulgarian Numerical Methods Conference Third Announcement 3rd International Conference on Numerical Methods and Applications NM&A - O(h^3) August 21-26, 1994, Sofia, Bulgaria Organizer: Bulgarian Academy of Sciences Co-organizers: University of Sofia, Technical University-Sofia The conference provides a forum for presentation and discussion of recent results in numerical methods and applications. The subject of the conference ranges from basic research to applications in physics, mechanics, engineering, environmental science and other areas. There will be plenary sessions of highlighted talks (key lectures of 40 min and invited lectures of 30 min) and parallel sessions of regular talks (20 min including discussion). Key Lectures O. Axelsson - The Short Length Multilevel Method II J. Bramble - A Least Squares Approach Based on a Discrete Minus One Inner Product for First Order Systems T. F. Chan - Multigrid and Domain Decomposition Algorithms for Unstructured Meshes A. Donchev - Finite-Difference Approximation to a Controlled Boundary Value Problem R. Ewing - Superconvergence of the Mixed Finite Element Approximations to Parabolic Equations R. D. Lazarov - Preconditioning of Nonconforming Finite Element Approximations of Second Order Elliptic Problems G. V. Milovanovic - Summation of Slowly Convergent Series via Quadratures O. Spaniol - Parallel Processing of Communication Protocols V. Thomee - On the Numerical Solution of an Evolution Equation with Memory M. Vajtersic - Two Classes of Efficient Hypercube Orderings for SVD Z. Zlatev - Optimizing Large Air Pollution Models on High Speed Computers L. Xanthis - The Method of Arbitrary Lines: Recent Advances in Computational Mathematics and Mechanics D.J. Evans, G.A. Mikhailov, I. Mysovskih, K.K. Sabelfeld, A.A. Samarskij, M. Sapagovas, R. Vaccaro - to be announced later Location The conference will take part in the beautiful resort Bankja well known with its curative warm mineral springs and climate. The town of Bankja is nicely situated on the hills of the Ljulin mountain in the surroundings of Sofia (about 10 km) and provides all necessary conditions for conferences. The mailing address of the Organizing Committee: BAS - CICT Acad. G. Bonchev str., bl. 25A BG - 1113 Sofia, Bulgagia e-mail: NMA94@BGEARN.BITNET e-mail: IVDIMOV@BGEARN.BITNET fax: (+359 2) 70 72 73 ------------------------------ From: Jie Shen Date: Thu, 19 May 1994 11:50:13 -0400 Subject: Symposium in China on Intertial Manifolds First announcement and call for papers SYMPOSIUM ON INERTIAL MANIFOLDS, APPROXIMATE INERTIAL MANIFOLDS AND RELATED NUMERICAL ALGORITHMS JUNE 6-10, 1995 Xi'an, CHINA The Symposium on Inertial Manifolds, Approximate Inertial Manifolds and Related Numerical Algorithms is scheduled to take place at the Research Center for Applied Mathematics of Xi'an Jiaotong University during the period of June 6-10, 1995. In recent years, the concept of Inertial Manifold, which is a smooth finite dimensional invariant manifold attracting exponentially all orbits, has emerged as an important tool for the study of the long term behavior of dynamical systems. In parallel to the study of Inertial Manifolds, extensive research has also been conducted on Approximate Inertial Manifolds and related numerical algorithms, namely the Nonlinear Galerkin Method and the Incremental Unknown Method. These multiresolution algorithms, taking into account the interaction law between the large scale and small scale components of the underlying flow, are especially attractive for long-term integrations of dissipative evolution equations. The aim of this symposium is to bring together active researchers with different backgrounds to discuss recent and prospective advances in this area. CONFERENCE THEMES: The themes of the Symposium will range from basic theoretical research to scientific applications, including: Theory of inertial manifolds and approximate inertial manifolds Numerical Analysis of the Nonlinear Galerkin method and of the Incremental unknown method Implementation of the Nonlinear Galerkin method and the Incremental unknown method Implementation on parallel computers, Domain decomposition Applications to meteorology, Slow manifolds SCIENTIFIC COMMITTEE: Shui-Nee Chow (Georgia Tech, USA), Ciprian Foias (Indiana, USA), David Gottlieb (Brown, USA), Daqian Li (Fudan, China), Kaitai Li (Xi'an, China), Jacque-Louis Lions (Chair: College de France), Jie Shen (Penn State, USA), Roger Temam (Cochair: Indiana, USA), Shing-Tung Yau (Harvard, USA). ORGANIZING COMMITTEE: Boling Guo (IAPCM, China), Aixiang Huang (Xi'an, China) , Kaitai Li (Chair: Xi'an, China), Jie Shen (Penn State, USA), Zhong-Qin Xu (Cochair: CNSF, China). FORMAT: We anticipate to have about 20 invited lectures and a number of selected contributed lectures. The proceeding of the Symposium is expected to be published by The World Publishing Company. HOW TO CONTRIBUTE: Potential contributors should submit, no later than Feb. 1, 1995, an abstract of no more than one page to : Professor Jie Shen or Professor Kaitai Li Department of Mathematics Research Center for Applied Math Penn State University Xi'an Jiaotong University University Park, PA 16802, USA Xi'an 710049, China Tel: 814-863-2036 Tel: (86) 29-335011 ext. 3116 Fax: 814-865-3735 Fax: (86) 29-3237910 Email: shen_j@math.psu.edu Submission by e-mail is encouraged. FURTHER INFORMATION: Updated information may be obtained a) via anonymous ftp to ftp.math.psu.edu (146.186.131.129) in the directory pub/shen_j/im-aim. or b) through World Wide Web at URL: http://www.math.psu.edu/shen_j/im-aim.html ------------------------------ From: Roger Horn Date: Fri, 20 May 94 12:50:57 MDT Subject: Southern California Matrix Theory Conference First Announcement SOUTHERN CALIFORNIA MATRIX THEORY CONFERENCE November 12, 1994 University of Utah, Salt Lake City, Utah The 1994 Southern California Matrix Theory Conference, the oldest established floating matrix theory meeting in the world, will be held in Salt Lake City, Utah, on the beautiful campus of the University of Utah on Saturday, November 12, 1994. Valley and mountain vistas abound; the scenic environment is a stunning stimulant to mathematical discourse and discovery. The scientific program will be conducted all day Saturday, November 12 at the Mathematics Department, and will be followed by a dinner for all speakers and participants at the Horn home near campus. Friday, November 11, 1994 is Veteran's Day. Participants may wish to use the long weekend to enjoy Utah's many wonders. The organizing committee is: Wayne Barrett, Brigham Young University, wayne@math.byu.edu LeRoy Beasley, Utah State University, lbeasley@usu.edu Roger Horn, University of Utah, rhorn@math.utah.edu (Chair) Kent Kidman, Weber State University, kkidman@wever.edu In keeping with the long traditions of this conference, there will be no registration fees, no expenses or honoraria will be paid, no proceedings will be produced, and the dinner is free. Competition between regional and national airlines has made $59 airfares available between Salt Lake City and many western cities. Please contact Roger Horn by email if you would like to attend or speak. A preliminary program will be included in a future announcement with a list of local accomodations in various price ranges. ------------------------------ From: SIAM Date: Thu, 19 May 94 13:52:47 EST Subject: Contents, SIAM Discrete Math SIAM Journal on Discrete Mathematics Volume 7, Number 3, August 1994 Contents On Systematic Codes Obtained from Linear Codes Over GF(q2) C. Mouaha Compositions of Graphs and Polyhedra I: Balanced Induced Subgraphs and Acyclic Subgraphs Francisco Barahona and Ali Ridha Mahjoub Compositions of Graphs and Polyhedra II: Stable Sets Francisco Barahona and Ali Ridha Mahjoub Compositions of Graphs and Polyhedra III: Graphs with No W4 Minor Francisco Barahona and Ali Ridha Mahjoub Compositions of Graphs and Polyhedra IV: Acyclic Spanning Subgraphs Francisco Barahona, Jean Fonlupt, and Ali Ridha Mahjoub The All-Pairs Min Cut Problem and the Minimum Cycle Basis Problem on Planar Graphs David Hartvigsen and Russell Mardon Random Set Partitions William M. Y. Goh and Eric Schmutz Predicting Cause-Effect Relationships from Incomplete Discrete Observations E. Boros, P. L. Hammer, and J. N. Hooker Random Resource Allocation Graphs and the Probability of Deadlock James F. Lynch Even Cycles in Directed Graphs F. R. K. Chung, Wayne Goddard, and Daniel J. Kleitman On the Size of Weights for Threshold Gates Johan Hastad Domination, Fractional Domination, 2-Packing, and Graph Products David C. Fisher Normal and Self-Dual Normal Bases from Factorization of cxq+1 + dxq - ax - b Ian F. Blake, Shuhong Gao, and Ronald C. Mullin Routing Permutations on Graphs Via Matchings Noga Alon, F. R. K. Chung, and R. L. Graham ------------------------------ From: Kearfott Ralph B Date: Thu, 19 May 1994 22:52:39 -0500 Subject: Contents, Interval Computations INTERVAL COMPUTATIONS -- Volume 1, 1993 CONTENTS MATHEMATICAL RESEARCHES Vladik Kreinovich, Anatoly V. Lakeyev and Sergey I. Noskov Optimal solution of interval linear systems is intractable (NP-hard) 6 R. B. Kearfott and X. Shi A preconditioner selection heuristic for efficient iteration with decomposition of arithmetic expressions for nonlinear algebraic systems 15 L.D. Petkovic and M.Trajkovic On some optimal inclusion approximations by discs 34 V.A. Perepelitsa and G.L. Kozina Interval discrete models and multiobjectivity. Complexity estimates 51 TUTORIAL Y. Akyildiz and M.I. Al-Suwaiyel No Pathologies for interval Newton's method 60 FUTURE MEETINGS International conference INTERVAL'94 73 REVIEWS Review of the Book (N.A.Khlebalin) 78 MEETINGS International Congress on Computer Systems and Applied Mathematics (CSAM-93) 88 Report on the IMACS-GAMM International Workshop on Validated Computation 94 International Conference Mathematical Modelling and Scientific Computation 95 International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics "SCAN-93" 99 Announcing special student issue of the international journal Interval Computations 102 BIBLIOGRAPHY Bibliography of Soviet works on interval computations. Part IV 103 * * * Requirements for manuscript preparation 116 Addresses of editorial board members 118 Contents 120 ------------------------------ End of NA Digest ************************** -------