From owner-reliable_computing Mon Sep 11 13:33:21 1995 Received: by interval.usl.edu id AA10845 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 11 Sep 1995 18:33:23 -0500 Received: by interval.usl.edu id AA10835 (5.65c/IDA-1.4.4 for reliable_computing); Mon, 11 Sep 1995 18:33:21 -0500 Date: Mon, 11 Sep 1995 18:33:21 -0500 From: "Kearfott R. Baker" Message-Id: <199509112333.AA10835 [at] interval [dot] usl.edu> To: reliable_computing Subject: interval computations mailing list is now automated! Sender: owner-reliable_computing Precedence: bulk Dear colleagues, We (James Dugal and I) have automated posting, subscription, and removal from the interval computations interest list. The list is now called reliable_computing [at] interval [dot] usl.edu It is a mailing list with automatic maintenance by the "majordomo" software. The list is meant to stimulate discussion of topics on reliable computing, including the mathematics associated with automatic result verification, hardware and software issues of interval computations, high-accuracy or variable precision arithmetic, interfaces with symbolic computations and automatic differentiation, etc. Conference announcements, preprint announcements, book announcements, announcements of software availability and the like are particularly welcome. Everyone on my interval_computations_interest_group list has been initially included. Anyone may automatically subscribe or unsubscribe themselves from the list. To subscribe, send mail to: majordomo [at] interval [dot] usl.edu and include the line: subscribe reliable_computing in the body. Similarly, to unsubscribe, send mail to majordomo [at] interval [dot] usl.edu, and include the line: unsubscribe reliable_computing in the body. To get a complete list of commands available (such as adding persons other than yourself to the list), send mail to majordomo [at] interval [dot] usl.edu, and include the line: help in the body. To send to everyone in the list, send your message to: reliable_computing [at] interval [dot] usl.edu The list will initially be unmoderated, that is, any message sent to the list will be posted directly to the entire list. I would like your opinion on this, however. If you strongly prefer a moderated list (in which I read all articles before they are sent), please tell me. The advantage of a moderated list is that subscribers will not be bothered by offensive or irrelevant articles. The disadvantages include possible further delays before articles are posted and the fact that a single person (that is, I) decides what is relevant. I ask that people be thoughtful and considerate when posting articles to the list. Also, problems concerning the list itself should be directed to me, not to the list. Another option is to subscribe to the list reliable_computing-digest in the same manner as above. The digest is only sent periodically, and consists of collections of messages from reliable_computing. I cull some of the messages, so only the relevant ones appear in the digest. In the past, it has taken approximately four hours for a posted article to reach the entire list. Best regards, --------------------------------------------------------------- R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) (318) 482-5270 (work) (318) 981-9744 (home) URL: ftp://interval.usl.edu/pub/interval_math/www/kearfott.html Department of Mathematics, University of Southwestern Louisiana --------------------------------------------------------------- From owner-reliable_computing Fri Sep 15 06:10:49 1995 Received: by interval.usl.edu id AA15636 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 15 Sep 1995 11:10:52 -0500 Received: by interval.usl.edu id AA15626 (5.65c/IDA-1.4.4 for reliable_computing); Fri, 15 Sep 1995 11:10:49 -0500 Date: Fri, 15 Sep 1995 11:10:49 -0500 From: "Kearfott R. Baker" Message-Id: <199509151610.AA15626 [at] interval [dot] usl.edu> To: reliable_computing Subject: IMACS proposals for sessions Sender: owner-reliable_computing Precedence: bulk Colleagues: I received the following request for proposals for sessions at the 1997 Berlin IMACS Congress. Does anyone have suggesions concerning sessions on interval computations or reliable computing? --------------------------------------------------------------- R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) (318) 482-5270 (work) (318) 981-9744 (home) URL: ftp://interval.usl.edu/pub/interval_math/www/kearfott.html Department of Mathematics, University of Southwestern Louisiana --------------------------------------------------------------- ----- Begin Included Message ----- From khahn [at] cs [dot] rutgers.edu Thu Sep 14 16:58:22 1995 Date: Thu, 14 Sep 1995 17:22:46 -0400 From: IMACS Administration To: imacs-tcs [at] cs [dot] rutgers.edu Subject: 15th IMACS WORKD CONGRESS - BERLIN'97 Content-Length: 2797 >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ****************************************************************** ****15th IMACS WORLD CONGRESS-- BERLIN, August 25-30, 1997 ***** PROPOSAL TO ORGANIZE A SESSION (or GROUP of sessions) and proposal for KEYNOTE SPEAKERS/proposal to submit a PAPER ****************************************************************** This is a second mailing to the members of the IMACS Technical Committees (and associates) asking for early proposals to organize Sessions. A first mailing of this (in the Summer) has given an excellent response, and this early start of the Scientific Program contributed by the Technical Committees (together with responses to the present mailing) will be described in the First General Announcement of the Congress. If you plan to organize a session (even tentatively) and have not responded to the first mailing, take a few minutes to complete and return-e-mail what follows.. ------------------------------------------------------------------------- PLEASE FILL IN AND SEND BY RETURN E-MAIL TO : ****************************************************************** >>>>>> imacs [at] cs [dot] rutgers.edu, sydow [at] prosun [dot] first.gmd.de ****************************************************************** Title and Name of Organizer(s)/ Proposer(s) : ...... Full Mailing Address : ...... Telephone, E-Mail, FAX, Etc.. : ...... Title of Proposed Session (or Group of Sessions) (provide details if needed): ...... Proposal for a Keynote Speaker (or Speakers) (provide, if appropriate, details to make it easier for the Committee to reach a decision) ...... I INTEND TO SUBMIT A PAPER FOR THE CONGRESS. TENTATIVE TITLE : ...... ****************************************************************** All topics represented within IMACS will be included in the Congress Program : Scientific computing : Methods for ODE's, PDE's, Integral equations, Computational linear algebra, Parallel computing, Computer arithmetic,Computational physics/chemistry/biology, Nonlinear science, Computational Acoustics. Expert Systems, Symbolic Computation. Modelling and Simulation, Applications in Engineering, Control Systems, Robotics, Biology, the Environment.Etc .. ****************************************************************** Proposals to organize SESSIONS are reviewed by the Congress Scientific Steering Committee. Approval to go ahead (for early submissions) is as a rule given quickly. Proposals for KEYNOTE SPEAKERS are reviewed early : We try to have a representative (tentative) list for publication in the first announcement of the Congress. ******************************************************************* ----- End Included Message ----- From owner-reliable_computing Sun Sep 17 21:57:58 1995 Received: by interval.usl.edu id AA22401 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sun, 17 Sep 1995 19:32:43 -0500 Received: from ipsun.ras.ru by interval.usl.edu with SMTP id AA22395 (5.65c/IDA-1.4.4 for ); Sun, 17 Sep 1995 19:32:14 -0500 Received: from pdmi.ras.ru by ipsun.ras.ru with SMTP id AA07379 (5.67a/IDA-1.4.4 for ); Mon, 18 Sep 1995 01:21:11 +0400 Received: by pdmi.ras.ru (5.x/SMI-SVR4) id AA01828; Mon, 18 Sep 1995 01:17:49 +0400 >Received: by lomi.spb.su (UUPC/@ v6.14b, 06Mar95) with UUCP; id AA12943 Sun, 17 Sep 1995 23:29:27 +0400 Received: from lomi by gauss.ras.ru; Mon, 18 Sep 1995 01:17 ??? Received: by lomi.spb.su (UUPC/@ v6.14b, 06Mar95) with UUCP; id AA12943 Sun, 17 Sep 1995 23:29:27 +0400 Received: by gem.pdmi.ras.ru (UUPC/@ v5.09gamma, 14Mar93); Sun, 17 Sep 1995 17:57:59 +0400 To: reliable_computing [at] interval [dot] usl.edu Message-Id: Organization: Steklov Mathematical Institute / GEM Computer From: Eldar A. Musaev Date: Sun, 17 Sep 95 17:57:58 +0400 Subject: Special issue of Reliable Computing: Call for papers X-Mailer: BML [MS/DOS Beauty Mail v.1.36] Lines: 48 Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii Sender: owner-reliable_computing Precedence: bulk CALL FOR PAPERS RELIABLE COMPUTING The International Journal Special Issue ========================== Reliable Computing Methods in Economics ========================== Guest editors: Max E. Jerrell and Eldar A. Musaev Max E. Jerrell Phone: (520) 523-7405 Economics Department Email: jerrell [at] nauvax [dot] ucc.nau.edu Northern Arizona University Fax: (520) 523-7331 Flagstaff, AZ 86011-5066 USA Eldar A. Musaev Phone: +7-(812)3114392 Steklov Mathematical Institute Home: +7-(812)1278077 Russian Academy of Sciences Email: eldar [at] pdmi [dot] ras.ru Fontanka 27, 191 011 St.Petersburg Russia Many years ago far far to the very east of the world there lived a sultan. Once he called his best wiser and asked him: 'How much time you will live?' The wiser checked positions of stars, compute something and after that said: 'Ten years.' Sultan answered: 'It's easy to check', and called: 'Executor!' Many factors create uncertainty in economic analysis. This uncertainty makes economic policy difficult. However we could avoid adding extra volatility by not using unreliable methods in computations, modeling etc. This special issue will focus on reliable (including interval) methods applicable to economic problems. Papers devoted to applications and especially successful applications of such methods are welcome. Possible areas of interest are input-output analysis, mathematical programming, econometrics, forecasting, finance, simulation, and optimal control. Other related topics are also welcome. Deadline: January 31, 1996 From owner-reliable_computing Wed Sep 20 10:53:00 1995 Received: by interval.usl.edu id AA26186 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 20 Sep 1995 15:55:42 -0500 Received: from boris.mscs.mu.edu by interval.usl.edu with SMTP id AA26180 (5.65c/IDA-1.4.4 for ); Wed, 20 Sep 1995 15:55:26 -0500 Received: by boris.mscs.mu.edu (Smail3.1.28.1 #9) id m0svW9V-00008MC; Wed, 20 Sep 95 15:53 CDT Message-Id: Date: Wed, 20 Sep 95 15:53 CDT From: georgec [at] boris [dot] mscs.mu.edu (Dr. George F. Corliss MU MSCS) To: reliable_computing [at] interval [dot] usl.edu Subject: Wuppertal meeting Cc: georgec%mscs [at] boris [dot] mscs.mu.edu X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk In an earlier posting, Corliss proposed gathering at Wuppertal before Scan '95 meeting next week to discuss standards/cooperation for freely available interval packages. That meeting will be held at the University, Room G 14.34 (building G, level 14), Monday, September 25, 3:00 -- about 5:00. Attached are some of the responses to the earlier posting. Dr. George F. Corliss Dept. Math, Stat, Comp Sci Marquette University P.O. Box 1881 Milwaukee, WI 53201-1881 USA georgec [at] mscs [dot] mu.edu (414) 288-6599 (office) ========== >From Eng.Sun.COM!Bill.Walster Fri Sep 15 20:59:56 1995 From: Bill.Walster [at] Eng [dot] Sun.COM Date: Fri, 15 Sep 1995 18:59:49 -0700 To: georgec [at] boris [dot] mscs.mu.edu Subject: Re: Wuppertal meeting Cc: Bill.Walster [at] Eng [dot] Sun.COM George, In any case, one thing that would help vendors is to know what kind of hardware and compiler support are needed. On the HW side, I believe we need to provide directed rounding for single, double and quad with no penalty for switching rounding modes. Having an interval standard will help with the compiler support as we will then be sure we are following standard syntax and semantics. I also believe your suggestions regarding interval libraries for important and frequently used routines to be well taken. I have guys who would love to work on a Sun version of exactly what you are suggesting. We still need to keep making the business case. I am looking forward to visiting with you again, Best regards, Bill ====== >From wmai09.math.uni-wuppertal.de!csendes Sat Sep 16 03:06:04 1995 Date: Sat, 16 Sep 95 10:05:52 +0200 From: csendes [at] wmai09 [dot] math.uni-wuppertal.de (Tibor Csendes) To: georgec [at] boris [dot] mscs.mu.edu Subject: Re: Pre-SCAN '95 meeting? Dear George, thanks for your invitation, I'll be there (wherever it will be - I guess somewhere in the campus). My old handcoded Fortran subroutines will not help much - but I am ready to help where I can. I do have some experience with shareware codes (we have a modest open library of optimization codes at an ftp site of our university). Yours, Tibor Csendes ====== >From cma.univie.ac.at!neum Sat Sep 16 07:46:50 1995 Date: Sat, 16 Sep 1995 14:50:38 +0200 From: Arnold Neumaier To: georgec [at] boris [dot] mscs.mu.edu Subject: Re: Pre-SCAN '95 meeting? Cc: neum [at] cma [dot] univie.ac.at George, since I am not at SCAN'95, here some remarks on your text. >>We should be able to do all the same things for a BIAS library, PLUS the interval vector-vector, interval matrix-vector and interval matrix-matrix routines should have exactly (to the extent possible) the same interfaces as the corresponding BLAS routine.<< Not quite; we also need operations real-interval and real-real->interval on each level. Actually this is quite frequent, since good interval code always uses lots of real calculation which, at some stage, mixes with intervals. One would have to look at the standard applications to see which of these operations are frequent. >>tightness ... the client software using the portable library will do additional iterations of some contractive map to overcome the excess width from its operators<< No; additional iterations would not help. Lack of tightness will result in one or two bits less final accuracy of the bounds, nearly independent of applications. For most applications of engineering accuracy, this does not matter at all, since the loss of accuracy is only a tiny fraction of the interval width. For high accuracy applications (where mathematical problems with exact data are being solved, ore very illconditioned ones), the software needs anyway a component that does multiprecision operations, and intervals only for the residuals, and the situation becomes again harmless. So there is no time penalty in using operations that are not optimally tight. Best wishes, Arnold ======= >From magnus.acs.ohio-state.edu!rmoore Sun Sep 17 08:26:27 1995 From: Ramon E Moore Subject: Re: Pre-SCAN '95 meeting? To: georgec [at] boris [dot] mscs.mu.edu (Dr. George F. Corliss MU MSCS) Date: Sun, 17 Sep 1995 09:26:25 -0400 (EDT) George, I have to say you guys are doing a bang-up job keeping the ship afloat. Carry on and the best of luck to all of you. Ray Moore ====== >From inf.ufrgs.br!diverio Mon Sep 18 13:04:49 1995 Date: Mon, 18 Sep 95 05:36:52 EST From: diverio [at] inf [dot] ufrgs.br (Tiaraju Asmuz Diverio) To: georgec [at] boris [dot] mscs.mu.edu Subject: Re: Pre-SCAN '95 meeting? Dear professor Corliss I attend to the conference of SCAN 95 in Wuppertal I am Professor in Federal University of Brazil - UFRGS We develone interval libraryin the Cray Y-MP2E, the language that we use was Fortran 90. This library has 290 routine. Only real rotines we yet not developed complex module. This library has many routines vector-vector, matrix-matrix and vector-matrix interval, real I will arrive at Wuppertal only in September 26 Tusday. Now I am in Coimbra portugal. My official addres are in Porto Alegre - RS Brazil diverio [at] inf [dot] ufrgs.br I woul like share about this pre-conference after i arrive, it will be possible. m ay share with you, during the conference. Ok? See you in SCAN Prof Tiaraju Diverio Universidade Federal do Rio grande do SUL Porto alegre Brazil ======= >From cs.utk.edu!hammarli Mon Sep 18 08:53:01 1995 Date: Mon, 18 Sep 1995 09:52:58 -0400 From: hammarli [at] cs [dot] utk.edu To: georgec [at] boris [dot] mscs.mu.edu Subject: : Re: Interval BLAS Proposal Cc: David.Hough [at] Eng [dot] Sun.COM Dear George, I received your message about the interval BLAS via David's numeric-interest mailing. As one of the Level 2 and 3 BLAS authors, as well as an LAPACK author, I would be happy to act as some sort of informal advisor to your efforts if that would be useful to you. Of course, as you know, I am not an expert in interval methods. By the way, on your point 11, we did not really develop new numerical analysis as part of the BLAS effort, rather we built on ideas about algorithms for scalar, vector and parallel shared memory machines by ourselves and many others. That was important, because we felt that we understood what was required of the specification for building higher level applications. Inevitably, we did not get it all right, but I believe that the LAPACK effort has shown that we did get a lot right. The LAPACK effort has been where most of the numerical analysis has been done. (And let me not forget the earlier LINPACK project which built upon the pioneering work of the Level 1 BLAS.) Anyway, I certainly support your proposal for a 'BIAS' effort. You need a small closed group to do the actual work, but as much open discussion of the ideas as possible so that the community can comment and feel involved. Best wishes, Sven. ===== >From cam.nist.gov!lozier Mon Sep 18 09:42:28 1995 Date: Mon, 18 Sep 95 10:42:09 EDT From: lozier [at] cam [dot] nist.gov (Daniel W Lozier) To: georgec [at] boris [dot] mscs.mu.edu Subject: Re: Pre-SCAN '95 meeting? Cc: lozier [at] cam [dot] nist.gov, boisvert [at] cam [dot] nist.gov, william.mitchell [at] nist [dot] gov George, I like your idea. The blas have been very influential and have, as you said, led to further research and more advanced software such as lapack. In nailing down the really basic matrix operations by defining interfaces and providing portable and machine-specific software, they have undoubtedly led to better software in both libraries and user-programmed applications. It is a good model for interval arithmetic. Interval arithmetic needs to be more widely recognized as a valuable computing technique. I see some evidence that some in the computing community see a need for reliable computing. For example, a recent call for papers for a special issue of the Applied Computational Electromagnetic Journal (the ACES Journal) included the following: "Wherever possible, attention should be given to error estimates. This is not just a difficult mathematical issue, it is absolutely vital for all engineering considerations and it is still largely unresolved in computational electromagnetics. Modern numerical analysis seems not to have lived up to its basic premise, because we do not yet possess useful error estimates." (The theme of the special issue is "Applied Mathematics: Meeting the Challenges Pesented by Computational Electromagnetics.") Regards, Dan Lozier ----- End Included Message ----- From owner-reliable_computing Sat Sep 23 11:21:54 1995 Received: by interval.usl.edu id AA28898 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 23 Sep 1995 18:22:01 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA28892 (5.65c/IDA-1.4.4 for ); Sat, 23 Sep 1995 18:21:57 -0500 Received: from earth.cs.utep.edu ([129.108.5.14]) by cs.utep.edu (4.1/SMI-4.1) id AA15924; Sat, 23 Sep 95 17:21:54 MDT Date: Sat, 23 Sep 95 17:21:54 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9509232321.AA15924 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: conference Cc: ielishak [at] me [dot] fau.edu Sender: owner-reliable_computing Precedence: bulk INTERNATIONAL CONFERENCE ON UNCERTAIN STRUCTURES Analytical, Numerical and Experimental Methods Place: Cruise Ship in the Western Caribbean Time: March 3-10, 1996 List of topics includes Interval Computations (as well as probabilistic and fuzzy methods) and applications of these methods to engineering and other areas. There will be several invited talks. Potential participants are encouraged to submit the topics and abstracts of their presentations. The abstract deadline is not yet set, but since the number of cabins is limited, participants should make reservations and corresponding inform about the topic of their talk ASAP. Proceedings of the Conference will be published in a major international journal. Approximate travel schedule: Day Port Arrive Depart -------------------------------------------------------- March 3, Sun Miami 4:30pm# March 4, Mon Key West 7:00am 12:00pm March 4, Mon Conference 2:00pm - 7:00pm at Sea March 5, Tues Playa del 8:00am Carmen*(Mexica) 9:00am March 5, Tues Cozumel** 10:00am 7:00pm (Mexico) March 6, Wed Conference at Sea March 7, Thur Montego Bay*** 8:00am 6:00pm (Jamaica) March 8, Fri Grand Caymen***8:00am 9:30pm March 9, Sat Conference at Sea March 10, Sun Miami 8:00am -------------------------------------------------------- # Boarding begins at 1:00pm at the port of Miami. All passangers must be abroad no later than one hour before scheduled departure time. * Only passangers participating in the onboard shore excursion program may disembark at Playa del Carmen. ** Port of call is Cazumel. *** Two-hour panel discussions will be planned for participants who stay onboard For additional information, please contact Dr. Isaac Elishakoff Institute for Uncertainty Modeling, Inc. 5164 Columbo Court Delray Beach, FL 33484 Tel. (407) 496-5531 Fax: (407) 496-1244 e-mail: ielishak [at] me [dot] fau.edu Ideally, send your request for information before October 1 (or at least at the very beginning of October), because the number of cabins on a ship is limited. P.S. I am just forwarding this info, so please do not ask me about the details. Vladik