From owner-reliable_computing Fri Aug 2 07:38:18 1996 Received: by interval.usl.edu id AA12112 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 2 Aug 1996 08:38:09 -0500 Received: from di.ufpe.br by interval.usl.edu with SMTP id AA12106 (5.65c/IDA-1.4.4 for ); Fri, 2 Aug 1996 08:38:05 -0500 Received: from ulysses.diufpe (ulysses.di.ufpe.br) by di.ufpe.br (4.1/SMI-4.1) id AA28564; Fri, 2 Aug 96 10:39:52 EST Received: by ulysses.diufpe (4.1/SMI-4.1) id AA19966; Fri, 2 Aug 96 10:38:19 EST Date: Fri, 2 Aug 1996 10:38:18 -0300 (EST) From: Workshop Aritmetica Intervalar 96 Subject: WAI'96 To: 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 WAI'96 participants, Now the www page of the WAI workshop is complete with new information about: - How to get to the Federel University of Pernambuco - Transportation - Weather If you need some help please send and e-mail to wai96 [at] di [dot] ufpe.br or contact with Marcilia Campos or Genesio Cruz (our phone numbers are in the www page). We are planning to be at the airport waiting for all the wokshop speakers. Welcome to Recife, Genesio and Marcilia. From owner-reliable_computing Wed Aug 14 08:02:52 1996 Received: by interval.usl.edu id AA16974 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 14 Aug 1996 11:03:06 -0500 Received: from cs.hope.edu (smaug.cs.hope.edu) by interval.usl.edu with SMTP id AA16968 (5.65c/IDA-1.4.4 for ); Wed, 14 Aug 1996 11:03:01 -0500 Received: from localhost by cs.hope.edu (5.x/SMI-SVR4 (Mod 5/10/94.8)) id AA11331; Wed, 14 Aug 1996 12:02:53 -0400 Date: Wed, 14 Aug 1996 12:02:52 -0400 (EDT) From: Ron Van Iwaarden X-Sender: rvaniwaa@smaug To: reliable_computing [at] interval [dot] usl.edu Subject: Software: VerGO: Verified Global Optimization 0.5 Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk Hi, This is my first public release of VerGO, Verified Global Optimization in C++. The number 0.5 indicates that this is a beta release which means it has potential bugs, is not feature complete, and may have documentation errors/incompleteness. On the plus side, it has been able to solve any (small) unconstrained problem that has been thrown at it so far. It includes a verified interval arithmetic package, automatic differentiation (reverse mode) for both intervals and doubles, all source code, and several examples. It uses a standard branch and bound method with local search, monotonicity test, non-convexity test, and a Newton type step. These tests (except for the local search) can all be disabled through a few #defines. One of the major areas of incompleteness is constrained global optimization. Much of the framework is already in place (and some constrained problems have been solved) but the constraint handling code is very untested and (at this point) very primative. Presently, I am interested in willing volunteers to give me some feed back on ease of use, ways to improve documentation, more ports (runs on about 10 PC an workstation platforms now), and speed tests/comparisons. The URL is http://www.cs.hope.edu/~rvaniwaa/VerGO/VerGO.html. Please let me know if you are testing it, are intersted in more information or have any feedback at all! --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 Aug 14 07:15:44 1996 Received: by interval.usl.edu id AA17319 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 14 Aug 1996 14:16:07 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA17313 (5.65c/IDA-1.4.4 for ); Wed, 14 Aug 1996 14:16:04 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA19339; Wed, 14 Aug 96 13:15:44 MDT Date: Wed, 14 Aug 96 13:15:44 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9608141915.AA19339 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: website update Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, The interval computations website has been updated (http://cs.utep.edu/interval-comp/main.html): * the contents of the new issue of Reliable Computing has been added; * a call for papers for a special issue on Intervals in Uncertainty has been added * conference list has been updated; * a link to the proposed Fortran standard has been added to Interval Languages; * a new item on the main menu, Interval Notations, contains Baker Kearfott's notations; * another new item, Open Problems, contains a link to a metrology problem (from Arnold Neumaier's website); * (plus a few minor changes). If we have missed something please let us know. We apologize for not keeping the site updated during the summer: we were in Paris, and the web connection from there was unreliable. Vladik and Misha From owner-reliable_computing Fri Aug 16 10:25:49 1996 Received: by interval.usl.edu id AA20632 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 16 Aug 1996 17:26:03 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA20626 (5.65c/IDA-1.4.4 for ); Fri, 16 Aug 1996 17:25:59 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA05719; Fri, 16 Aug 96 16:25:49 MDT Date: Fri, 16 Aug 96 16:25:49 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9608162225.AA05719 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: intervals in the limelight again Sender: owner-reliable_computing Precedence: bulk A popular descripiton of the Double Bubble solution and of the role played by interval computation has appeared in American Scientist, September-October issue, 1996. The technical results has been published (w/o detailed proofs) in a paper J. Hass, M. Hutchings, and R. Schlafly, The Double Bubble Conjecture, Electronic Research Announcements of the American Mathe. Society, 1995, Vol. 1, pp. 98--102. The description of the Double Bubble problem and solution was sent to this list about a year ago and can be also found on the applications page of the interval computations website http://cs.utep.edu/interval-comp/main.html From owner-reliable_computing Sat Aug 17 08:02:35 1996 Received: by interval.usl.edu id AA21340 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 17 Aug 1996 13:03:43 -0500 Received: from bp.ucs.usl.edu by interval.usl.edu with SMTP id AA21334 (5.65c/IDA-1.4.4 for ); Sat, 17 Aug 1996 13:03:42 -0500 Received: from rbk5287.usl.edu (rbk5287.usl.edu [130.70.64.43]) by bp.ucs.usl.edu with SMTP id AA16925 (5.65c/IDA-1.4.4 for ); Sat, 17 Aug 1996 13:03:40 -0500 Message-Id: <2.2.32.19960817180235.0070e800 [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sat, 17 Aug 1996 13:02:35 -0500 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: notation for scholarly works Sender: owner-reliable_computing Precedence: bulk Dear Colleagues: There has been some discussion recently about standardizing notation for intervals within research and review papers and books. One suggestion has been to use the notation in my forthcoming Kluwer monograph "Rigorous Global Search: Continuous Problems." I'd like to comment on this. Basically, I have used boldface to denote intervals and usual math italic to denote point quantities. I have used underscores to denote lower bounds and overscores to denote upper bounds. A device that has generated some controversy is my use of uppercase for both vectors and matrices. In particular, a more usual practice in numerical linear algebra is to reserve uppercase for matrices only, and to use lowercase for vectors; vectors are then distinguished from components by use of subscripts. I agree with this modification to my notation. I am in general agreement that a standardized notation would be advantageous. However, before we force any particular notation (such as requiring a particular notation in submissions to Reliable Computing), we should probably have more discussion, as well as some mechanism for coming to a consensus. If there is a strong feeling for a standardized notation, I can organize this. Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) (318) 482-5270 (work) (318) 981-9744 (home) URL: http://interval.usl.edu/kearfott.html Department of Mathematics, University of Southwestern Louisiana --------------------------------------------------------------- From owner-reliable_computing Mon Aug 19 08:21:21 1996 Received: by interval.usl.edu id AA23750 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 19 Aug 1996 18:19:38 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA23744 (5.65c/IDA-1.4.4 for ); Mon, 19 Aug 1996 18:19:34 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA25847; Mon, 19 Aug 96 14:21:21 MDT Date: Mon, 19 Aug 96 14:21:21 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9608192021.AA25847 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: prestigious award goes to an interval researcher Sender: owner-reliable_computing Precedence: bulk Peter Fishburn, a pioneer in application of intervals to decision making, receives von Neumann prize. Peter C. Fishburn, researcher from the Lucent Bell Laboratories (formerly, AT&T Bell Labs) has been awarded the 1996 John von Neumann Prize, the highest prize given in the field of operations research and management science. This prize was awarded by the Institute for Operations Research and the Management Sciences to Fishburn ``for his remarkable, extensive, and seminal contributions to the fields of individual and group choice under uncertainty". Among other methods, Fishburn pioneered the use of intervals in decision making, first in his 1964 book ``Decision and Value Theory" (Wiley, N.Y.) and, then, in his seminal monograph ``Interval orders and interval graphs", Wiley, N.Y., 1985.