From owner-reliable_computing Fri Mar 1 12:47:00 1996 Received: by interval.usl.edu id AA10488 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 1 Mar 1996 12:48:01 -0600 Received: from di.ufpe.br (recife.di.ufpe.br) by interval.usl.edu with SMTP id AA10482 (5.65c/IDA-1.4.4 for ); Fri, 1 Mar 1996 12:47:56 -0600 Received: from jupi.di.ufpe.br by di.ufpe.br (4.1/SMI-4.1) id AA12463; Fri, 1 Mar 96 15:47:51 EST Received: by jupi.di.ufpe.br (4.1/SMI-4.1) id AA14441; Fri, 1 Mar 96 15:47:05 EST Date: Fri, 1 Mar 1996 15:47:00 -0300 (EST) From: Genesio Gomes Neto Subject: Call for Papers - WAI'96 To: users [at] di [dot] ufpe.br, reliable_computing [at] interval [dot] usl.edu Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk Content-Length: 2897 X-Lines: 76 Status: O Call for Contributions SECOND ANNOUNCEMENT WAI'96 II WORKSHOP ON COMPUTER ARITHMETIC, INTERVAL METHODS AND SYMBOLIC COMPUTATION August 7-8, 1996 Recife - Pernambuco - Brazil The Workshop. The second Workshop on Computer Arithmetic, Interval Methods and Symbolic Computation has the purpose to join researchers interested in scientific computation and related topics to present and discuss recent advances on this branch of computer science and its applications. The major topics of interest include, but are not limited to: Theoretical Foundations of the Computational Arithmetic, Interval Algorithms, Interval/Arithmetic Co-processors, Interval Probability, Programming Languages for Scientific Computation, Tools for Scientific Computation and Symbolic Computation. The workshop is part of a larger annual event being held in the campus of the Federal University of Pernambuco on August 4-9, 1996: the XVI Meeting of the Brazilian Computing Society. This meeting will integrate a variety of events: presentations of technical papers and invited talks, panels, tutorials, research workshops and tool demonstrations. Submissions. One copy written in Portuguese, English or Spanish with no more than 3 pages is requested for selection purposes by e-mail to `wai96 [at] di [dot] ufpe.br' until MARCH 15th, 1996. Format: preferably in TeX in a camera ready format; A4 paper (297x210mm), leaving 25mm margins on each side; the first page should include the title, author(s) identification, author(s) affiliation; pages should not be numbered. NOTIFICATION of ACCEPTANCE: April 30, 1996. Refereed proceedings including full version of selected paper will be published after conference in the Revista de Informatica Teorica e Aplicada (Journal of Theoretical and Applied Computer Science). The Location. Recife is one of the five biggest cities in Brazil. The population of Recife is 1.5 million inhabitants. Recife has marvellous beaches and the temperature is around 29C throughout the whole year. Programme Committee: B. de M. Acioly (Brazil), M. A. Campos (Brazil), D. M. Claudio (Brazil), M. de B. Correia (Brazil), T. A. Diverio (Brazil), V. Kreinovich (United States), R. D. Lins (Brazil), V. M. Nesterov (Russia), M. A. C. de Oliveira (Brazil), W. L. Roque (Brazil), S. M. Rump (Germany), J. Dias dos Santos (Brazil). Information. WAI96 Marcilia Andrade Campos Departamento de Informatica C.C.E.N. Av. Prof. Luiz Freire s/n Cidade Universitaria Recife - PE - BRAZIL CEP 50732 - 970 e-mail: wai96 [at] di [dot] ufpe.br Fax: (081)27108430, (081)2714925. From owner-reliable_computing Sun Mar 3 03:36:19 1996 Received: by interval.usl.edu id AA11447 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sun, 3 Mar 1996 11:36:26 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA11441 (5.65c/IDA-1.4.4 for ); Sun, 3 Mar 1996 11:36:23 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA00134; Sun, 3 Mar 96 10:36:19 MST Date: Sun, 3 Mar 96 10:36:19 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9603031736.AA00134 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: new application of interval computations Sender: owner-reliable_computing Precedence: bulk Content-Length: 1905 X-Lines: 37 Status: O An Application of Interval Computations to Gravity Featured as One of the Major Scientific Results The latest issue of "Discover", the popular science magazine, features, among other stories about the major recent scientific results, a story about measuring the gravitation constant G (according to Newton's law, the attraction force of a body with mass M at a distance R is GM/R^2). Due to the fact that on Earth, the gravitational interaction between bodies is much weaker than any other interaction, this constant is the worst known among the fundamental physical constants. What is even worse, different known measurements of G seem to be inconsistent: there are several measurement results with accuracy estimates; each gives an interval of possible values of G, so, ideally, the actual value of G must be in all of them, but ... these intervals have no common points. Physicists and applied mathematicians from Wuppertal, Germany, led by Prof. Dr. H. Mayer (Physics) and Prof. Dr. B. Lang (Math), analyzed this situation and discovered that this seeming inconsistency is caused, partially, by neglecting certain physical sources of error, but mainly, by using approximate error estimation techniques for data processing algorithms, techniques that often underestimate the resulting error. Instead, they propose to use computations with automatic result verification (in particular, interval methods). The paper by B. Lang and co-authors will appear in No. 3 (1996) of "Reliable Computing"; the author's email is lang [at] math [dot] uni-wuppertal.de. A brief description of this application is placed on the interval Website http://cs.utep.edu/interval-comp/main.html This is the second time in half a year that a result using interval computations is featured as one of the major scientific breakthroughs: the previous was the result about the double bubble featured last November. From owner-reliable_computing Sun Mar 3 07:07:49 1996 Received: by interval.usl.edu id AA13671 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sun, 3 Mar 1996 15:07:56 -0600 Received: from mailhost.lanl.gov by interval.usl.edu with SMTP id AA13665 (5.65c/IDA-1.4.4 for ); Sun, 3 Mar 1996 15:07:52 -0600 Received: from xdiv.lanl.gov by mailhost.lanl.gov (8.6.12/1.2) id OAA05380; Sun, 3 Mar 1996 14:07:50 -0700 Received: from xdiv.lanl.gov.xdiv (angus.lanl.gov [128.165.123.30]) by xdiv.lanl.gov (8.6.12/8.6.12) with SMTP id OAA02503 for ; Sun, 3 Mar 1996 14:07:49 -0700 Date: Sun, 3 Mar 1996 14:07:49 -0700 From: "Rajendra B. Patil" Message-Id: <199603032107.OAA02503 [at] xdiv [dot] lanl.gov> To: reliable_computing [at] interval [dot] usl.edu Subject: Splitting locations Sender: owner-reliable_computing Precedence: bulk Content-Length: 781 X-Lines: 21 Status: O Hi: I have been looking at co-ordinate selection and strategies for branching in interval BB. Few rules based on gradient and Hessian information seem to work better. Now, I am looking for some heuristics or theory that can help me decide for proper *locations* along the selected coordinate. The purpose of both, selection of proper co-ordinate and locations of splits along this coordinate is to reduce the overestimation effect and hopefully speed the branch-and-bound process. Are there any results in literature, that suggest some location selection strategies for splitting a box. There is some work by Drs: Ratz, Csendes, Hansen, Walster and Rump on co-ordinate selection but I have not been able to find any on locations selection. Any help is appreciated... Raj From owner-reliable_computing Fri Mar 8 03:33:41 1996 Received: by interval.usl.edu id AA18301 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 8 Mar 1996 09:39:26 -0600 Received: from boris.mscs.mu.edu by interval.usl.edu with SMTP id AA18295 (5.65c/IDA-1.4.4 for ); Fri, 8 Mar 1996 09:39:19 -0600 Received: by boris.mscs.mu.edu (Smail3.1.28.1 #9) id m0tv4An-0003ziC; Fri, 8 Mar 96 09:33 CST Message-Id: From: georgec [at] boris [dot] mscs.mu.edu (Dr. George F. Corliss MU MSCS) Subject: Re: G. Corliss at MU MSCS To: nunzio [at] ifi [dot] unibas.ch (Nunzio Putrino) Date: Fri, 8 Mar 1996 09:33:41 -0600 (CST) Cc: georgec [at] marque [dot] mscs.mu.edu (George Corliss), reliable_computing [at] interval [dot] usl.edu In-Reply-To: <9603081138.AA00357 [at] volley [dot] ifi.unibas.ch> from "Nunzio Putrino" at Mar 8, 96 12:38:27 pm X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 5873 Sender: owner-reliable_computing Precedence: bulk X-Lines: 167 Status: O Putrino, > I am a PhD student working on the field of interval arithmetic and = > I am porting and implementing software for running on a MIMD = > parallel machine. Interesting. At what level? That is, are you doing interval operations in parallel? Or are you doing interval algorithms in parallel? The latter, I hope. > It would be very helpful to me, if you could possibly tell me in = > case there exists yet an interval arithmetic package written in = > High Performance Fortran > and/or telling me about groups working in this field. I do not know of anything directly related or of any groups doing exactly the same thing, but I can offer several pointers that MIGHT be of some assistance. Baker Kearfott has a Fortran 77 and a Fortran 90 interval arithmetic library which could form the basis for HPF work. (rbk [at] usl [dot] edu). Kearfott is also the point man for a group working toward an interval arithmetic standard for Fortran 9x Wolff von Gudenberg spoke at last fall's meeting in Wuppertal on an interval library using MPI. I do not know what the language is. Many of my recent papers are available by ftp from boris.mscs.mu.edu/pub/corliss Probably the only one with much relevance to your work might be in directory Represent Rump's group in Hamburg (see link below) is active. They might be doing some parallel work. I don't know. Kreinovich has set up a Web site for interval concerns:
  • Vladik Kreinovich and his son Misha. Kearfott maintains an electronic mailing list reliable_computing [at] interval [dot] usl.edu You might browse through its archives (via Kreinovich's Web site), although I do not recall seeing anything parallel there. You might wish to subscribe to reliable_computing [at] interval [dot] usl.edu I conjecture from the title of your message that you found me on the Web? Here are some other links which might be of some help. (from http://studsys.mscs.mu.edu/~georgec/Sites/intervals.html) Most of these have been picked from reliable_computing [at] interval [dot] usl.edu
    • PROFIL. From: rump@tu-harburg.d400.de ( Prof.Dr.S.M. Rump)

      We distribute PROFIL, a very fast library for interval arithmetic. Many people use it, and everybody is welcome to join. PROFIL is growing, currently available for many PCs and workstations. Information and source code is available via anonymous ftp

      • ti3sun.ti3.tu-harburg.de in directory /pub/profil
      Speed and comparisons can be found in O. Knueppel: PROFIL/BIAS - A Fast Interval Library, COMPUTING, Vol. 53, No. 3-4, p. 277-287.
    • Arnold Neumaier Contains links to my recent papers (>+ 1993) and preprints, listed below, personal views, and links to other web resources. If you find time to browse through the pages, I'd appreciate receiving comments and suggestions for improvements.
    • Vladik Kreinovich and his son Misha. Some of us are developing and maintaining World Wide Web pages for the subject of interval computations. At this point we would like to solicit information concerning material that individuals have, that they wish to make publicly available. The idea is to coordinate and integrate information (explanations and .html files, technical reports, etc.) on the subject.
    • BibTex interval bibliography, by Dr. Nelson Beebe.
      click on Bibliographies, and then click on the corresponding bibliography.

      Dr. Nelson Beebe is currently working on the BibTeX interval bibliography. We have included a link to the current version (it is 1 Meg, via ftp) to the new Bibliographies pages of the Interval Computations website.

      You can also get to this bibliography directly, it is at ftp://ftp.math.utah.edu/pub/tex/bib/intarith.bib

      Please feel free to download the bibliography and/or to send your existing BibTex bibliographies to Dr. Beebe for inclusion.

      We are most thankful to Dr. Beebe for his efforts that will help everyone who write interval papers in LaTeX and to Arnold Neumaier for informing us about the link.

    • Intervals in Finland
    • http://www.cse.ogi.edu/DISC/projects/tp/ From Ben Black
    • ftp://ftp.cse.ogi.edu/pub/esr/reports/deng.ps.gz From Ben Black
    • www.cs.washington.edu From Ben Black
    • Baker Kearfott
    • Prof. W. Kahan Although no notes are available yet for the one-day class on floating-point testing of July 14, Kahan has announced a home page which currently contains the IEEE 754 status notes previously announced and the SRT division test program that quickly detects the Pentium bug.
    • accelerating interval multiplication. Prof. Dr. J. Wolff v. Gudenberg has explored various hardware options for accelerating interval multiplication in a technical report.
    Anyone else have anything to add? Please post here AND send directly to nunzio [at] ifi [dot] unibas.ch (Nunzio Putrino) Hope that helps. Hope you will keep me and this group posted on the progress of your work. 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 owner-reliable_computing Sat Mar 9 07:32:02 1996 Received: by interval.usl.edu id AA19413 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 9 Mar 1996 13:32:03 -0600 Received: by interval.usl.edu id AA19403 (5.65c/IDA-1.4.4 for reliable_computing); Sat, 9 Mar 1996 13:32:02 -0600 Date: Sat, 9 Mar 1996 13:32:02 -0600 From: "Kearfott R. Baker" Message-Id: <199603091932.AA19403 [at] interval [dot] usl.edu> To: reliable_computing Subject: Application paper preprint online Sender: owner-reliable_computing Precedence: bulk A preprint of the Lang-Meyer paper on reliable estimation of the gravitational constant (described in the included message below) can now be found in Postscript form in the anonymous FTP area of interval.usl.edu in the directory: pub/interval_math/papers/applications in the file gravitational_constant_computations.ps 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 --------------------------------------------------------------- ----- Begin Included Message ----- From owner-reliable_computing Sun Mar 3 03:36:19 1996 Date: Sun, 3 Mar 96 10:36:19 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) To: reliable_computing [at] interval [dot] usl.edu Subject: new application of interval computations Sender: owner-reliable_computing Content-Length: 1905 An Application of Interval Computations to Gravity Featured as One of the Major Scientific Results The latest issue of "Discover", the popular science magazine, features, among other stories about the major recent scientific results, a story about measuring the gravitation constant G (according to Newton's law, the attraction force of a body with mass M at a distance R is GM/R^2). Due to the fact that on Earth, the gravitational interaction between bodies is much weaker than any other interaction, this constant is the worst known among the fundamental physical constants. What is even worse, different known measurements of G seem to be inconsistent: there are several measurement results with accuracy estimates; each gives an interval of possible values of G, so, ideally, the actual value of G must be in all of them, but ... these intervals have no common points. Physicists and applied mathematicians from Wuppertal, Germany, led by Prof. Dr. H. Mayer (Physics) and Prof. Dr. B. Lang (Math), analyzed this situation and discovered that this seeming inconsistency is caused, partially, by neglecting certain physical sources of error, but mainly, by using approximate error estimation techniques for data processing algorithms, techniques that often underestimate the resulting error. Instead, they propose to use computations with automatic result verification (in particular, interval methods). The paper by B. Lang and co-authors will appear in No. 3 (1996) of "Reliable Computing"; the author's email is lang [at] math [dot] uni-wuppertal.de. A brief description of this application is placed on the interval Website http://cs.utep.edu/interval-comp/main.html This is the second time in half a year that a result using interval computations is featured as one of the major scientific breakthroughs: the previous was the result about the double bubble featured last November. ----- End Included Message ----- From owner-reliable_computing Sat Mar 9 16:41:26 1996 Received: by interval.usl.edu id AA19934 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 9 Mar 1996 22:41:33 -0600 Received: by interval.usl.edu id AA19923 (5.65c/IDA-1.4.4 for reliable_computing); Sat, 9 Mar 1996 22:41:26 -0600 Date: Sat, 9 Mar 1996 22:41:26 -0600 From: "Kearfott R. Baker" Message-Id: <199603100441.AA19923 [at] interval [dot] usl.edu> To: rbp1 [at] xdiv [dot] lanl.gov Subject: Re: Application paper preprint online Cc: reliable_computing Sender: owner-reliable_computing Precedence: bulk Sorry. I have now fixed the permissions on the gravitational constant paper. Everyone should now be able to access it. --------------------------------------------------------------- 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: "Rajendra B. Patil" > To: rbk5287 [at] interval [dot] usl.edu > Subject: Re: Application paper preprint online > Content-Length: 223 > > > Dear Dr. Kearfott: > > Regading the gavitational_constant_computations.ps under > pub/interval_math/papers/applications the permissions are > not set properly to download the file. please change the > permissions. > > regards, > > > raj > From owner-reliable_computing Wed Mar 13 03:17:16 1996 Received: by interval.usl.edu id AA21662 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 12 Mar 1996 17:17:01 -0600 Received: from vtt.fi by interval.usl.edu with SMTP id AA21656 (5.65c/IDA-1.4.4 for ); Tue, 12 Mar 1996 17:16:57 -0600 Received: from vttmail.vtt.fi (vttmail.vtt.fi [130.188.1.4]) by vtt.fi (8.6.10/8.6.9) with ESMTP id BAA19479 for ; Wed, 13 Mar 1996 01:16:55 +0200 Received: from [130.188.52.117] (eah-mac.tte.vtt.fi [130.188.52.117]) by vttmail.vtt.fi (8.7.1/8.6.9) with SMTP id BAA07349 for ; Wed, 13 Mar 1996 01:16:53 +0200 (EET) X-Sender: eah [at] hemuli [dot] tte.vtt.fi Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Wed, 13 Mar 1996 01:17:16 +0200 To: reliable_computing [at] interval [dot] usl.edu From: Eero.Hyvonen [at] vtt [dot] fi (Eero Hyvonen) Subject: Interval constraint spreadsheets released at CeBIT96 Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, VTT Information Technology releases at CeBIT96, Hannover, March 14-20, Range Solver for MS Excel. It is an Add-In package that generalizes MS Excel 5.0 (Windows NT) and MS Excel 7.0 (Windows 95) for extended interval arithmetic and constraint satisfaction. Range Solver is probably the first implementation of interval arithmetic and constraint satisfaction for a standard commercial spreadsheet program. We invite everybody to visit our stand C65, Hall 003. More information on Range Solver together with an order form can be found at our WWW site: http://www.vtt.fi/tte/projects/interval Yours Eero Hyvonen and Stefano De Pascale -------------------------------------------------------------------------------- Eero Hyvonen EMail: Eero.Hyvonen [at] vtt [dot] fi Dr.Tech., Senior Research Scientist Tel: +358-0-4566043 VTT Information Technology Fax: +358-0-4566027 Information Systems Street: Tekniikantie 4B, Espoo P.O.Box 1201, 02044 VTT FINLAND From owner-reliable_computing Wed Mar 13 10:41:50 1996 Received: by interval.usl.edu id AA22403 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 13 Mar 1996 18:41:58 -0600 Received: from mailhost.lanl.gov by interval.usl.edu with SMTP id AA22397 (5.65c/IDA-1.4.4 for ); Wed, 13 Mar 1996 18:41:54 -0600 Received: from xdiv.lanl.gov by mailhost.lanl.gov (8.6.12/1.2) id RAA24379; Wed, 13 Mar 1996 17:41:51 -0700 Received: from xdiv.lanl.gov.xdiv (angus.lanl.gov [128.165.123.30]) by xdiv.lanl.gov (8.6.12/8.6.12) with SMTP id RAA00437 for ; Wed, 13 Mar 1996 17:41:50 -0700 Date: Wed, 13 Mar 1996 17:41:50 -0700 Message-Id: <199603140041.RAA00437 [at] xdiv [dot] lanl.gov> Received: by xdiv.lanl.gov.xdiv (4.1/SMI-4.1) id AA05349; Wed, 13 Mar 96 17:41:40 MST From: "Rajendra B. Patil" To: reliable_computing [at] interval [dot] usl.edu Subject: Pseudo code typesetting style Reply-To: Raj Patil Sender: owner-reliable_computing Precedence: bulk HI: I have a question regarding the LaTeX style file that has been used by Karlsruhe group for typesetting pseudo code in the C++ toolbox book. Is this publicly available somewhere ? or if someone has it, can I use it? Regards, ------------------------------------------------------------- Raj Patil email: rbp1 [at] lanl [dot] gov phone: (505)-667-2554 MS - F 645 fax : (505)-665-4479 XCM, Los Alamos National Laboratory Los Alamos, NM 87545 ------------- alternate address ----------------------------- P.O Box 1145 Los Alamos, NM 88003 ------------------------------------------------------------- From owner-reliable_computing Thu Mar 14 05:44:34 1996 Received: by interval.usl.edu id AA23146 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 14 Mar 1996 13:44:47 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA23140 (5.65c/IDA-1.4.4 for ); Thu, 14 Mar 1996 13:44:39 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA28272; Thu, 14 Mar 96 12:44:34 MST Date: Thu, 14 Mar 96 12:44:34 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9603141944.AA28272 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: latest issue of Reliable Computing Sender: owner-reliable_computing Precedence: bulk Reliable Computing. - 1996. - N 2 (1). - 92 p. CONTENTS Mathematical research Algebraic approach to the interval linear static identification, tolerance, and control problems, or One more application of Kaucher arithmetic Sergey P. Shary 3 Bounds of high quality for first kind Volterra integral equations Hans-Juergen Dobner 35 Variable-precision, interval arithmetic coprocessors Michael J. Schulte and Earl E. Swartzlander, Jr. 47 Letters to the Editor Maximum entropy and interval computations (September notes on summer impressions) Vladik Kreinovich 63 Information Best student paper award Vladik Kreinovich and Guenter Mayer 81 Call for Papers: Student Issues of Reliable Computing 81 Call for Papers: Special Issue of Reliable Computing on Applications to Geosciences 82 Meetings SCAN'95: International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics Andreas Frommer 84 SONIC'95: Student Mini-Symposium on Interval Computations Vladik Kreinovich 86 Interval talks at the first El Paso Shell Oil Symposium Vladik Kreinovich 88 Addresses of the Editorial Board members 89 Information for authors 91 Contents 92 The detailed information about the journal, including the contents of all issues, can be found on the interval computations website; the main page is http://cs.utep.edu/interval-comp/main.html the journal page is http://cs.utep.edu/interval-comp/rcjournal.html From owner-reliable_computing Thu Mar 14 11:15:56 1996 Received: by interval.usl.edu id AA23421 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 14 Mar 1996 17:16:01 -0600 Received: from bp.ucs.usl.edu by interval.usl.edu with SMTP id AA23415 (5.65c/IDA-1.4.4 for ); Thu, 14 Mar 1996 17:15:59 -0600 Received: from rbk5287.usl.edu by bp.ucs.usl.edu with SMTP id AA16196 (5.65c/IDA-1.4.4 for ); Thu, 14 Mar 1996 17:15:56 -0600 Date: Thu, 14 Mar 1996 17:15:56 -0600 Message-Id: <199603142315.AA16196 [at] bp [dot] ucs.usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Light Version 1.5.2 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Contents of Reliable Computing 1996 no. 1 Sender: owner-reliable_computing Precedence: bulk The contents of Reliable Computing 1996 no. 1 can be found, with complete tables of contents for the journal, at: ftp://interval.usl.edu/pub/interval_math//Reliable_Computing_Journal/journal-tables-of-contents/ The contents are as follows: Reliable Computing. - 1996. - N 2 (1). - 92 p. CONTENTS Mathematical research Algebraic approach to the interval linear static identification, tolerance, and control problems, or One more application of Kaucher arithmetic Sergey P. Shary 3 Bounds of high quality for first kind Volterra integral equations Hans-Juergen Dobner 35 Variable-precision, interval arithmetic coprocessors Michael J. Schulte and Earl E. Swartzlander, Jr. 47 Letters to the Editor Maximum entropy and interval computations (September notes on summer impressions) Vladik Kreinovich 63 Information Best student paper award Vladik Kreinovich and Guenter Mayer 81 Call for Papers: Student Issues of Reliable Computing 81 Call for Papers: Special Issue of Reliable Computing on Applications to Geosciences 82 Meetings SCAN'95: International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics Andreas Frommer 84 SONIC'95: Student Mini-Symposium on Interval Computations Vladik Kreinovich 86 Interval talks at the first El Paso Shell Oil Symposium Vladik Kreinovich 88 Addresses of the Editorial Board members 89 Information for authors 91 Contents 92 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 Thu Mar 21 16:41:54 1996 Received: by interval.usl.edu id AA27830 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 21 Mar 1996 08:42:51 -0600 Received: from cri.ens-lyon.fr ([140.77.1.32]) by interval.usl.edu with SMTP id AA27824 (5.65c/IDA-1.4.4 for ); Thu, 21 Mar 1996 08:42:28 -0600 Received: from lip.ens-lyon.fr (lip-gw [140.77.1.11]) by cri.ens-lyon.fr (8.7.5/8.7.3) with ESMTP id PAA00966; Thu, 21 Mar 1996 15:42:10 +0100 (MET) Received: from scotch.ens-lyon.fr (scotch [140.77.13.17]) by lip.ens-lyon.fr (8.7.5/8.7.3) with ESMTP id PAA08758; Thu, 21 Mar 1996 15:41:57 +0100 (MET) From: Jean-Michel Muller Received: (from jmmuller@localhost) by scotch.ens-lyon.fr (8.7.5/8.7.3) id PAA02615; Thu, 21 Mar 1996 15:41:54 +0100 (MET) Date: Thu, 21 Mar 1996 15:41:54 +0100 (MET) Message-Id: <199603211441.PAA02615 [at] scotch [dot] ens-lyon.fr> To: reliable_computing [at] interval [dot] usl.edu Subject: Real Numbers and Computers Conference Cc: jmmuller [at] lip [dot] ens-lyon.fr, bajard [at] gyptis [dot] univ-mrs.fr X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ +++ NEW DELAY FOR REGISTRATION ---- Avril 1st 1996 +++ +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ =========== CALL FOR PARTICIPATION =========== Second Real Numbers and Computers Conference April 9-11 , 1996 Marseille, France ------------------------------------------------------------------------ ----- -Informations: Jean-Claude Bajard - - e-mail : bajard [at] gyptis [dot] univ-mrs.fr - - - -Web : http://lieu.univ-mrs.fr/2ndRNC - ------------------------------------------------------------------------ ----- - Presentation - Topics - Conference inscription - Housing ------------ Presentation ------------ The first "real numbers and computers" conference (St-Etienne, April 1995) was succesful. Many mathematicians or computer scientits are interested by this domain. Thus we propose a second edition of this conference in Marseille, France, in April 9-11, 1996. Efficient handling of real numbers in a computer is not yet solved in a satisfying way. The "floating point" formats most often used in scientific computing usually give sufficient results, but some reliability problems can occur. Program portability problems could imply some rewriting costs: some programs which work well with a machine, could become unreliable with another one. Users (working on computer algebra, algorithmic geometry) may need far more accurate results (even "exact results") than the ones obtained with usual number systems. Many members of the scientific community are concerned by this problem, they could share their knowledge and come up with solutions. But they do not have the opportunity to meet, they do not belong to the same scientific fields (computer science, number theory, numerical analysis, computer algebra) and they have a different vocabulary. The aim is to put them together during this meeting (the "rule of the game" should be that everybody should speak a common language), in order to establish some collaborations. -------------------------- Topics -------------------------- -Algorithms and architectures for "serial" and "on line" arithmetic. -Relations between number theory, automata theory and computer arithmetic. -Number systems -Floating point arithmetic -Calculability -Symbolic manipulation of numbers -Algorithms for "exact" computing -Multi-precision, interval arithmetic -Accuracy problems in various fields (geometry, physics,...), and proposed solutions. ------------------- Program ------------------- Tuesday 9th April: ---------------------------------- 9h00-10h00 Welcome of the participants 10h00-11h00 Invited talk: Jean VUILLEMIN, "Another arithmetic: 2-adic circuits and numbers. Theory and practice" 11h15-12h00 Yamine AIT-AMEUR, "Increasing the Accuracy of Numeric Programs on the Basis of a Program Analysis Technique" 12h00-13h30 Lunch 13h30-15h00 Andre LIEUTER, "A formalisation of need of robust algorithms for geometry", MATRA DATAVISION Vitrolles France. Dominique MICHELUCCI, "Arithmetic Issues in Geometric Computations" Ecole des Mines de Saint-Etienne, France. 15h00-15h15 Coffee break 15h15-16h45 Bernard GOOSSENS and Dac Thang VU, "An integer and floating point RISC unit" LITP-IBP Paris France. Marc DAUMAS, "Rounding errors propagation and absorption in chained multiplications", LIP-ENS Lyon,France. Wednesday 10th April: ----------------------------------------- 9h00-10h00 Invited Talk: Klaus WEIHRAUCH, "A foundation of computable analysis" FernUniversitat Hagen, Germany. 10h00-10h30 Coffee break 10h30-12h00 Asger NIELSEN and Jean-Michel MULLER "Borrow-Save adders for real and complex number systems" , Odense University, Denmark. Vasco BRATTKA and Peter HERTLING"Feasible Real Random Access Machines" , FernUniversitat Hagen, Germany. 12h00-13h30 lunch 13h30-15h15 Invited Talk: Jean DELLA DORA Alexandre VAJENINE, "Implementing Exact Calculations in Parallel Computers", Novosibirsk, Russia. 15h15-15h30 Coffee break 15h30-17h00 Panel Session 20h00 Dinner Thursday 11th April: ------------------------------------- 9h00-10h Invited Talk: Jean VIGNES, "A Stochastic Approach to the Analysis of Round-off Errors: A Survey of the CESTAC Method", MASI IBP Paris, France. 10h00-10h15 Coffee break 10h15-12h00 Fabrice NATIVEL and Philippe LANGLOIS, "Automatic reduction of round-off errors in floating-point arithmetic" Universite de la Reunion, France. Fabienne JEZEQUEL, "Round-off errors propagation in resolving waves equation" MASI IBP Paris - France. 12h00-13h30 Lunch ---------------------------------------------------- Inscription a la conference ---------------------------------------------------- More informations are available on internet: http://lieu.univ-mrs.fr/2ndRNC The following form should be filled and sent (preferably by e-mail) so that we receive it before Avril 1rst: Jean-Claude Bajard C.M.I. - Universite de Provence 39 Rue F. Joliot-Curie 13453 Marseille Cedex 13 FRANCE e-mail: bajard [at] gyptis [dot] univ-mrs.fr Please send this form even if you plan to pay on site. --------------------------------------------------------------------- SURNAME Mr Ms (1) :......................................... Given Name :......................................... Institution :......................................... Mailing address :......................................... ............................................................. ............................................................. Phone number : ............................................ Fax : ............................................ e-mail : ............................................ () I send this form with a cheque of : () 450 FF () 550 FF () 650 FF () 750 FF () I will pay (Registration after the 15th March) on site (cash or cheque) IMPORTANT: We cannot accept credit cards. French cheques or international cheques in french francs are accepted. The order is "Universite de Provence". --------------------------------------------------------------------- The registration fees are : Not students Students Before March 15 550 FF 450 FF After March 15 750 FF 650 FF ____________________________________ (1) Please cross out when inappropriate. ---------------- Housing - Sejour ---------------- More informations are available on internet: http://lieu.univ-mrs.fr/2ndRNC - Housed persons at CIRM - Not housed persons at CIRM ------------------------------- Housed person ------------------------------- Because of the distance between the conference site and the center of Marseille it is recommanded to stay on site. __________________________________________________ THIS FORM IS FOR PARTICIPANTS HOUSED AT THE CIRM. This form should reach before Avril 1rst: Jean-Claude Bajard C.M.I. - Universite de Provence 39 Rue F. Joliot-Curie 13453 Marseille Cedex 13 FRANCE e-mail: bajard [at] gyptis [dot] univ-mrs.fr -------------------------------------------------------------------- Conference : Second Real Numbers and Computers Conference Organizers : J.P. Allouche, J.C. Bajard, L.S. Didier, P. Liardet Dates : 9-10-11 April 1996 SURNAME Mr Ms (1) :......................................... Given Name :......................................... Institution :......................................... Mailing address :......................................... ............................................................. ............................................................. Phone number : ............................................ Fax : ............................................ e-mail : ............................................ Arrival day : ............................................ Departure day : ............................................ Do you wish to have a cold meal Monday evening ? Yes o - No o Do you prefer : -a single room o -a double room o Are you coming : -by plane o -by train o -by car o If necessary, would you accept to share a double roomwith another participant ? : Yes o - No o In case you already know, with whom ::.......................... -------------------------------------------------------------------- The C.I.R.M. is opened from Monday between 5 p.m. and 11 p.m. to Saturday morning after breakfast (under request, a cold meal may be preparedfor Monday evening). For participants, the price for the full board which is compulsory is 264 FF (single room) and 226 FF (double room) per person per day. Uneaten meals are not reimbursed. The price of the full board for non participants is 306 FF or 284 FF per day (please do not come with children). Payment for living expenses is requested on Tuesday between 2 and 4 p.m. VISA and Mastercard are accepted, as well as Eurocheques or Traveller's Cheques in FF. This registration form must be sent back (by post, e-mail or fax) completely filled before (1 month before), deadline for registrations. After that, it will impossible to register, even for invited speakers. We don't accept any registrations by phone. Notice : you can be connected from the CIRM to TELNET, but you need to know the IP number of your own device or its symbolic name. ____________________________________ (1) Please cross out when inappropriate. ------------------------------------------------------------------------ -------- ----------------------------------------- Not housed persons - Personnes non logees ----------------------------------------- _____________________________________________________ THIS FORM IS FOR PARTICIPANTS NOT HOUSED AT THE CIRM. Colloque : "Seconde Conference Nombres Reels et Ordinateurs" Dates : 9-10-11 Avril 1996 Organisateurs : J.P. Allouche, J.C. Bajard, L.S. Didier, P. Liardet NOM (M Mme Mlle) (1) : .................................... Prenom : .................................... Organisme : .................................... Adresse postale : .................................... ............................................................. ............................................................. Telephone : ................................................ Fax : ................................................ E-Mail : ................................................ N.B.- Il est indispensable de repondre a toutes les questions qui suivent. Date d'arrivee : ........................................... Dates de depart : ........................................... Comme participant au colloque, vous etes considere comme prenant tous vos repas au CIRM. Si, a titre exceptionnel ce n'est pas le cas, veuilllez remplir avec exactitude la grille ci-dessous, faute de quoi tous les repas vous seront factures. Repas pris au C.I.R.M. (le prix du repas est fixe a 45 F en 1996) : Lu. Ma. Me. Je. Ve. Midi (1) O O O O O Soir (1) O O O O O Le paiement des repas a lieu le mardi entre 14h et 16h. Formulaire a renvoyer des que possible et en tout cas avant le 1er Avril 1996 a : Jean-Claude Bajard C.M.I. - Universite de Provence 39 Rue F. Joliot-Curie 13453 Marseille Cedex 13 FRANCE e-mail: bajard [at] gyptis [dot] univ-mrs.fr ____________________________________ (1) Cocher les cases correspondantes From owner-reliable_computing Thu Mar 21 23:38:33 1996 Received: by interval.usl.edu id AA28621 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 21 Mar 1996 17:38:21 -0600 Received: from Post-Office.UH.EDU by interval.usl.edu with SMTP id AA28615 (5.65c/IDA-1.4.4 for ); Thu, 21 Mar 1996 17:38:17 -0600 Received: from happy.dt.uh.edu by Post-Office.UH.EDU (PMDF V5.0-6 #8380) id <01I2LXD4SFWU000A0M@Post-Office.UH.EDU> for reliable_computing [at] interval [dot] usl.edu; Thu, 21 Mar 1996 17:37:26 -0600 (CST) Received: by happy.dt.uh.edu (5.0/SMI-SVR4) id AA08297; Thu, 21 Mar 1996 17:38:33 +0600 Date: Thu, 21 Mar 1996 17:38:33 +0600 From: hu [at] happy [dot] dt.uh.edu Subject: INTerval BLAS To: reliable_computing [at] interval [dot] usl.edu Message-Id: <9603212338.AA08297 [at] happy [dot] dt.uh.edu> Content-Transfer-Encoding: 7BIT X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk The INTBLAS (INTerval Basic Linear Algebra Software) subgroup has been formed and started discussions since we solicited participation in this group about two weeks ago. If you are interested in this project, please send me an e-mail to join. If you have sent me an e-mail to join, but have NOT received any discussions yet from the INTBLAS group in the last few days; please parden me, and send me a reminder. Thanks for your time! Chenyi Hu Center for Computational Sciences and Advanced Distributed Simulation University of Houston-Downtown From owner-reliable_computing Fri Mar 22 04:38:17 1996 Received: by interval.usl.edu id AA29112 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 22 Mar 1996 11:17:22 -0600 Received: from ee.tamu.edu (EESUN2.TAMU.EDU) by interval.usl.edu with SMTP id AA29106 (5.65c/IDA-1.4.4 for ); Fri, 22 Mar 1996 11:17:18 -0600 Received: (from bhatt@localhost) by ee.tamu.edu (8.7/8.7) id KAA24066; Fri, 22 Mar 1996 10:38:17 -0600 (CST) Date: Fri, 22 Mar 1996 10:38:17 -0600 (CST) From: "Dr. S Bhattacharyya" To: hu [at] happy [dot] dt.uh.edu Cc: reliable_computing [at] interval [dot] usl.edu Subject: Re: INTerval BLAS In-Reply-To: <9603212338.AA08297 [at] happy [dot] dt.uh.edu> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk On Thu, 21 Mar 1996 hu [at] happy [dot] dt.uh.edu wrote: > > The INTBLAS (INTerval Basic Linear Algebra Software) subgroup > has been formed and started discussions since we solicited > participation in this group about two weeks ago. > > If you are interested in this project, please send me an e-mail > to join. If you have sent me an e-mail to join, but have NOT received > any discussions yet from the INTBLAS group in the last few days; > please parden me, and send me a reminder. > > Thanks for your time! > > Chenyi Hu > Center for Computational Sciences > and Advanced Distributed Simulation > University of Houston-Downtown > > > Yes I want to be part of this group. Thanks S.P.Bhattacharyya, Professor of EE Texas A & M University From owner-reliable_computing Tue Mar 26 13:04:48 1996 Received: by interval.usl.edu id AA01318 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 26 Mar 1996 05:05:41 -0600 Received: from wrzx01.rz.uni-wuerzburg.de by interval.usl.edu with SMTP id AA01312 (5.65c/IDA-1.4.4 for ); Tue, 26 Mar 1996 05:04:54 -0600 Received: from wi2x28.informatik.uni-wuerzburg.de by wrzx01.rz.uni-wuerzburg.de (4.1/uniwue-M-3.2) id AA24443; Tue, 26 Mar 96 12:04:50 +0100 Received: by wi2x28.informatik.uni-wuerzburg.de (5.65v3.0/uniwue-C-3.2) id AA27496; Tue, 26 Mar 1996 12:04:49 +0100 Date: Tue, 26 Mar 1996 12:04:48 +0100 (MET) From: Michael Lerch X-Sender: lerch@carlow To: reliable_computing [at] interval [dot] usl.edu Subject: INTERVAL'96 2nd Announcement Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk >>> I N T E R V A L '96 <<< >>> SECOND ANNOUNCEMENT and CALL FOR PAPERS <<< +------------------------------------------------+ | INTERNATIONAL CONFERENCE ON | | INTERVAL METHODS AND COMPUTER AIDED PROOFS | | IN SCIENCE AND ENGINEERING | | | | SEP 30 - OCT 2, 1996 | | WUERZBURG, GERMANY | +------------------------------------------------+ ORGANIZED BY - Faculty of Mathematics and Computer Science, Wuerzburg University - The Editorial Board of the International Journal "Reliable Computing" PROGRAM COMMITTEE Chairmen: R.B.Kearfott (USA), V.M.Nesterov (Russia), J.Wolff von Gudenberg (Germany) G.Alefeld (Germany), G.Corliss (USA), B.Dobronets (Russia), H.Hong (Austria), R.B.Kearfott (co-chair, USA), U.Kulisch (Germany), S.Markov (Bulgaria), V.M.Nesterov (co-chair, Russia), W.Older (Canada), B.Philippe(France), H.Ratschek (Germany), S.Rump (Germany), S.Shary (Russia), C.Ullrich (Switzerland), J.Wolff von Gudenberg (chair, Germany) Local organizers: J.Wolff von Gudenberg (chair), J.Seemann, M.Lerch, M.Klingspor INTERVAL'XX-CONFERENCES 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. Interval constraints, e.g., provides an efficient model for computing reliable bounds for numerical constraint systems. It opens a way of application of interval arithmetic for commercial rather than scientific problems. The combination of control theory and game theory together with interval or standard numerical methods to obtain reliable inclusions may be quoted as another example of interesting applications. TOPICS 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. VENUE The conference will be held September 30 - October 2, 1996, in Wuerzburg, Germany, in the Lecture Halls of Natural Science (Hubland Campus, University of Wuerzburg). EXTENDED ABSTRACTS AND PAPERS For each talk or poster a copy of an extended abstract of maximum 2 pages is requested for selection purposes. Please use our appended LaTeX form. The deadline will be May 1 1996. Full papers are due at the conference. Electronic submission is strongly recommended. Please use the email 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 as two volumes of the International Journal Reliable Computing. TALKS AND POSTERS Time for regular talks will be 25 min including discussion. Some talks will be highlighted. These talks will last 45 min. Please indicate if you want your talk to be highlighted. There will be an additional poster session during the conference. Accepted posters will be included in the booklet of abstracts. The official language is English. FEES The registration fee for the conference is 150 DM. This includes a booklet of abstracts, refreshments and a guided tour and wine tasting party at the regional Franconian winery. The price is to be paid at the registration desk in German currency. No checks or credit cards can be accepted. Please do not transfer money before the conference. REGISTRATION Please use the online registration form at WWW http://www.informatik.uni-wuerzburg.de/interval96 Alternatively you can fill in the enclosed form and mail it to lerch [at] informatik [dot] uni-wuerzburg.de PLACE AND HOTELS Wuerzburg is a baroque city with many restored and well-preserved buildings; the most famous of which is the former bishops residence with its beautiful staircase. Excursions to other beautiful cities such as Rothenburg may be organised. Please book on your own accord (keyword Interval'96). If you have any difficulties, please contact the tourist bureau of Wuerzburg (phone +49-931-37371, fax +49-931-37652) or us. Please note that the conference will take place in the period of the vintage, when it is usually very crowded in Wuerzburg and environment. We recommend the following hotels: Hotel Rosenau ( Cat. C, [65,82] DM ) Erthalstr. 1 D-97074 Wuerzburg Phone +49 - 931-71266 Fax +49 - 931-887043 Hotel garni Schoenleber ( Cat. B, [60,110] DM ) Theaterstr. 5 D-97070 Wuerzburg Phone +49 - 931-12068 Fax +49 - 931-16012 Dorint Hotel ( Cat. A, half double 108 DM, single 165 DM ) Eichstr./Ludwigstr. D-97070 Wuerzburg Phone +49 - 931-30540 Fax +49 - 931-3054423 ACKNOWLEDGEMENT We gratefully acknowledge support from following organisations and institutions: DFG (Deutsche Forschungs Gemeinschaft); GAMM (Gesellschaft fuer Angewandte Mathematik und Mechanik); Vogel Verlag Wuerzburg; Kreissparkasse Wuerzburg; LANTEC Kommunikationssysteme, Planegg; Keupp Buerobedarf, Wuerzburg; TIME TABLE Registration Now Submission of abstracts and posters by May 1, 1996 Notification of acceptance by July 1, 1996 Submission of full paper by October 1, 1996 Conference September 30 - October 2, 1996 ADDRESS Prof. Dr. J. Wolff v. Gudenberg email : wolff [at] informatik [dot] uni-wuerzburg.de WWW: http://www.informatik.uni-wuerzburg.de/interval96 Mail address: Lehrstuhl fuer Informatik II Universitaet Wuerzburg Am Hubland D-97074 Wuerzburg Tel. +49 - 931-888-5517 Fax. +49 - 931-888-4602 ---------------------------------------------------------------------- REGISTRATION FORM INTERVAL '96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering Sep 30 - Oct 2, 1996 Wuerzburg, Germany Title : ___________________________________ Last name : ___________________________________ First name : ___________________________________ Mailing address : ___________________________________ : ___________________________________ : ___________________________________ : ___________________________________ Email address : ___________________________________ Phone : ___________________________________ Fax : ___________________________________ Talk/Poster : ___________________________________ ---------------------------------------------------------------------- % ---------------------------------- % LaTeX frame for extended abstracts %----------------------------------- % -------- Please do NOT change these definitions ! --------- \documentstyle[11pt]{article} \pagestyle{empty} \textheight 25cm \textwidth 16cm \topmargin -2cm \oddsidemargin 0cm \newcommand{\Title}[1]{{\Large \bf #1}} \newcommand{\Author}[1]{\vspace*{5mm} \par #1} \newcommand{\Affiliation}[1]{\par #1} \newcommand{\Address}[1]{\par #1} % -------- Place your own macros here ----------------------- \begin{document} \begin{centering} % -------- Fill in title, author(s), address(es) ------------ \Title{ } \Author{ } \Affiliation{ } \Address{ } %\Author{ } %\Affiliation{ } %\Address{ } \end{centering} \vspace*{10mm} % -------- Extended Abstract -------------------------------- \end{document} From owner-reliable_computing Tue Mar 26 05:20:47 1996 Received: by interval.usl.edu id AA01617 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 26 Mar 1996 09:20:57 -0600 Received: from beauty.magnus.acs.ohio-state.edu by interval.usl.edu with SMTP id AA01611 (5.65c/IDA-1.4.4 for ); Tue, 26 Mar 1996 09:20:51 -0600 Received: by beauty.magnus.acs.ohio-state.edu (8.6.10/4.940426) id KAA24131; Tue, 26 Mar 1996 10:20:48 -0500 From: Ramon E Moore Message-Id: <199603261520.KAA24131 [at] beauty [dot] magnus.acs.ohio-state.edu> Subject: meetings To: reliable_computing [at] interval [dot] usl.edu Date: Tue, 26 Mar 1996 10:20:47 -0500 (EST) X-Mailer: ELM [version 2.4 PL25] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 485 Sender: owner-reliable_computing Precedence: bulk Dear interval enthusiasts ! It is good to have interval meetings, but we also need to mix it up with those in the "main stream" if we are to make any serious impact on the way computing is done by the majority of users. Of the some 600 talks at the forthcoming major conference on optimization organized by SIAM, there was not one title mentioning interval methods. What a pity. That is a a major lost opportunity. Ramon E. Moore From owner-reliable_computing Tue Mar 26 04:49:32 1996 Received: by interval.usl.edu id AA01876 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 26 Mar 1996 10:49:36 -0600 Received: from bp.ucs.usl.edu by interval.usl.edu with SMTP id AA01870 (5.65c/IDA-1.4.4 for ); Tue, 26 Mar 1996 10:49:34 -0600 Received: from rbk5287.usl.edu by bp.ucs.usl.edu with SMTP id AA04589 (5.65c/IDA-1.4.4 for ); Tue, 26 Mar 1996 10:49:32 -0600 Date: Tue, 26 Mar 1996 10:49:32 -0600 Message-Id: <199603261649.AA04589 [at] bp [dot] ucs.usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Light Version 1.5.2 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Re: meetings -- lost opportunities Sender: owner-reliable_computing Precedence: bulk At 10:20 AM 3/26/96 -0500, Ramon E Moore wrote: > > Dear interval enthusiasts ! > > It is good to have interval meetings, but we also need to mix it up with > > those in the "main stream" if we are to make any serious impact on the way > > computing is done by the majority of users. Of the some 600 talks at the > > forthcoming major conference on optimization organized by SIAM, there > > was not one title mentioning interval methods. What a pity. That is a > > a major lost opportunity. > I agree with Ray. I feel a personal pang of regret here, although intervals will be well-represented at the SIAM National Meeting in Kansas city :-) Stay tuned for details about double minisymposia. Best regards, Baker--------------------------------------------------------------- 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 Tue Mar 26 07:12:09 1996 Received: by interval.usl.edu id AA02029 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 26 Mar 1996 11:13:05 -0600 Received: from cs.hope.edu (smaug.cs.hope.edu) by interval.usl.edu with SMTP id AA02006 (5.65c/IDA-1.4.4 for ); Tue, 26 Mar 1996 11:12:41 -0600 Received: by cs.hope.edu (5.x/SMI-SVR4 (Mod 5/10/94.8)) id AA27305; Tue, 26 Mar 1996 12:12:09 -0500 Date: Tue, 26 Mar 1996 12:12:09 -0500 (EST) From: Ron Van Iwaarden To: Ramon E Moore Cc: reliable_computing [at] interval [dot] usl.edu Subject: Re: meetings In-Reply-To: <199603261520.KAA24131 [at] beauty [dot] magnus.acs.ohio-state.edu> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk On Tue, 26 Mar 1996, Ramon E Moore wrote: > It is good to have interval meetings, but we also need to mix it > up with > those in the "main stream" if we are to make any serious impact > on the way > computing is done by the majority of users. Of the some 600 > talks at the > forthcoming major conference on optimization organized by SIAM, > there > was not one title mentioning interval methods. What a pity. > That is a > a major lost opportunity. I understand your concern but the titles do not say everything. I am giving a talk on Monday afternoon in the global optimization session on BackBoxing which is my term for what has been called epsilon expansion and others. My talk will include interval arithmetic as well as a computer demonstration of branch and bound which I demonstrated to some at the computational differentiation conference in Santa Fe. Are there any others that are giving interval arithmetic talks in Victoria? --Ron o Ronald Van Iwaarden | Work to live; /\ Hope College | Live to bike; _`\ `_<=== Holland MI 49423 | Bike to work! __(_)/_(_)___.-._ voice : (616)355-7120 | http://www.cs.hope.edu/~rvaniwaa/ From owner-reliable_computing Wed Mar 27 22:23:15 1996 Received: by interval.usl.edu id AA02478 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 26 Mar 1996 18:23:05 -0600 Received: from ness.arch.su.EDU.AU by interval.usl.edu with SMTP id AA02472 (5.65c/IDA-1.4.4 for ); Tue, 26 Mar 1996 18:23:00 -0600 Received: from katrine (katrine [129.78.66.228]) by ness.arch.su.EDU.AU (8.6.12/8.6.12) with SMTP id LAA14207 for ; Wed, 27 Mar 1996 11:22:46 +1100 Received: from mailclient (localhost) by katrine (5.x) id AA14142; Wed, 27 Mar 1996 11:23:15 +1100 Message-Id: <9603270023.AA14142@katrine> Cc: reliable_computing [at] interval [dot] usl.edu Subject: Re: meetings Date: Wed, 27 Mar 1996 11:23:15 +1100 From: "Simeon J. Simoff" Sender: owner-reliable_computing Precedence: bulk > > Dear interval enthusiasts ! > > It is good to have interval meetings, but we also need to mix it up wit h > > those in the "main stream" if we are to make any serious impact on the w ay > > computing is done by the majority of users. Of the some 600 talks at th e > > forthcoming major conference on optimization organized by SIAM, there > > was not one title mentioning interval methods. What a pity. That is a > > a major lost opportunity. > > Ramon E. Moore We try to introduce the interval methods within Australian research community, organising a workshop within IASTED MSO'96 conference. An interesting fact - most of the works are coming from "outside" of the interval community ... =-=-=-=-=-=-=-=-= Simeon J. Simoff Key Centre of Design Computing University of Sydney, From owner-reliable_computing Thu Mar 28 09:00:15 1996 Received: by interval.usl.edu id AA03879 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 28 Mar 1996 17:00:51 -0600 Received: from mailhost.lanl.gov by interval.usl.edu with SMTP id AA03873 (5.65c/IDA-1.4.4 for ); Thu, 28 Mar 1996 17:00:44 -0600 Received: from xdiv.lanl.gov by mailhost.lanl.gov (8.6.12/1.2) id QAA26120; Thu, 28 Mar 1996 16:00:21 -0700 Received: from xdiv.lanl.gov.xdiv (angus.lanl.gov [128.165.123.30]) by xdiv.lanl.gov (8.6.12/8.6.12) with SMTP id QAA04797 for ; Thu, 28 Mar 1996 16:00:15 -0700 Date: Thu, 28 Mar 1996 16:00:15 -0700 Message-Id: <199603282300.QAA04797 [at] xdiv [dot] lanl.gov> Received: by xdiv.lanl.gov.xdiv (4.1/SMI-4.1) id AA21695; Thu, 28 Mar 96 15:59:52 MST From: "Rajendra B. Patil" To: reliable_computing [at] interval [dot] usl.edu Subject: Uncertainity Management Reply-To: Raj Patil Sender: owner-reliable_computing Precedence: bulk Hi: I am looking for references dealing with uncertainity management using interval analysis. Thanks, ------------------------------------------------------------- Raj Patil email: rbp1 [at] lanl [dot] gov phone: (505)-667-2554 MS - F 645 fax : (505)-665-4479 XCM, Los Alamos National Laboratory Los Alamos, NM 87545 ------------- alternate address ----------------------------- P.O Box 1145 Los Alamos, NM 88003 ------------------------------------------------------------- From owner-reliable_computing Sat Apr 1 17:52:34 1996 Received: by interval.usl.edu id AA05407 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 30 Mar 1996 23:52:38 -0600 Received: from bp.ucs.usl.edu by interval.usl.edu with SMTP id AA05401 (5.65c/IDA-1.4.4 for ); Sat, 30 Mar 1996 23:52:36 -0600 Received: from rbk5287.usl.edu by bp.ucs.usl.edu with SMTP id AA21969 (5.65c/IDA-1.4.4 for ); Sat, 30 Mar 1996 23:52:34 -0600 Date: Sat, 30 Mar 1996 23:52:34 -0600 Message-Id: <199603310552.AA21969 [at] bp [dot] ucs.usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Light Version 1.5.2 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: survey article available Sender: owner-reliable_computing Precedence: bulk I have placed DVI and Postscript copies of a draft of a survey article I have written for the Euromath Bulletin in the anonymous FTP area of interval.usl.edu, in the directory pub/interval_math/papers/papers-of-Kearfott/Euromath_bulletin_survey_article in the files survey.dvi and survey.ps The title is: "Interval Computations: Introduction, Uses, and Resources." "Interval Computations: Introduction, Uses, and Resources" that will appear in the Euromath Bulletin. This article contains a list of various significant applications of interval computations. It also contains a list of resources on the Internet related to interval computations. A section also describes key theoretical underpinnings of interval computations and interval computation's relationship to traditional areas of scientific 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 ---------------------------------------------------------------