From <IMAP4.psuedo.sims> Thu Dec 23 20:42:49 2004
Date: Thu, 23 Dec 2004 20:42:49 -0600 (CST)
From: Postmaster
Subject: Message from mail server       
Content-Length: 94
Mime-Version: 1.0
Status: RO
X-IMAP: 1103856169 28

Delete.
This is a system message.                                













--END+PSEUDO--

From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov  1 08:24:13 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA1EOCQ4026730
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 1 Nov 2004 08:24:12 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA1EOCVT026729
	for reliable_computing-outgoing; Mon, 1 Nov 2004 08:24:12 -0600 (CST)
Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA1EO57e026725
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 1 Nov 2004 08:24:05 -0600 (CST)
Received: (from rbk5287@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA1EO4WQ026724
	for reliable_computing [at] interval [dot] louisiana.edu; Mon, 1 Nov 2004 08:24:04 -0600 (CST)
Received: from higgs.elka.pw.edu.pl (root [at] higgs [dot] elka.pw.edu.pl [194.29.160.5])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i9TDqqnI020064
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 29 Oct 2004 08:52:58 -0500 (CDT)
Received: from hadron.elka.pw.edu.pl ([194.29.160.13]:57106 "EHLO localhost")
	by higgs.elka.pw.edu.pl with ESMTP id S25725AbUJ2Nv1 (ORCPT
	<rfc822;reliable_computing [at] interval [dot] louisiana.edu>);
	Fri, 29 Oct 2004 15:51:27 +0200
Received: from higgs.elka.pw.edu.pl ([194.29.160.5])
 by localhost (hadron [194.29.160.13]) (amavisd-new, port 251) with ESMTP
 id 30447-01-390; Fri, 29 Oct 2004 15:51:24 +0200 (CEST)
Received: from mion.elka.pw.edu.pl ([194.29.160.35]:52991 "EHLO
	mion.elka.pw.edu.pl") by higgs.elka.pw.edu.pl with ESMTP
	id S27979AbUJ2Nqx (ORCPT
	<rfc822;reliable_computing [at] interval [dot] louisiana.edu> + 1 other);
	Fri, 29 Oct 2004 15:46:53 +0200
Received: (from localhost user: 'bkubica', uid#6972) by mion.elka.pw.edu.pl
	with ESMTP id S57922AbUJ2Nqw (ORCPT <rfc822;interval [at] cs [dot] utep.edu>
	+ 1 other); Fri, 29 Oct 2004 15:46:52 +0200
Date: 	Fri, 29 Oct 2004 15:46:51 +0200 (CEST)
From: Bartlomiej Jacek KUBICA <bkubica [at] elka [dot] pw.edu.pl>
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Subject: validated CDF of the Gaussian distribution (fwd)
Message-ID: <Pine.GSO.4.58.0410291544430.8387 [at] mion [dot] elka.pw.edu.pl>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Virus-Scanned: by AmaVisD-new at elka.pw.edu.pl
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status: RO
X-Status: $$$$
X-UID: 0000000001


It seems it didn't arrive, so I resend it.
Excucse me if you receive multiply copies.


---------- Forwarded message ----------
Date: Wed, 27 Oct 2004 16:31:22 +0200 (CEST)
From: Bartlomiej Jacek KUBICA <bkubica [at] elka [dot] pw.edu.pl>
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: validated CDF of the Gaussian distribution


Dear Interval Researchers,

I need to have the validated values of CDF of the normal distribution.
Obviously, it can be simply obtained by integrating (in interval
arithmetic) the formula for the PDF (which is well-known).

Two questions arrise:

1) Did anyone do it before ?
2) Which method of integration can you recommend ?

Thank you for any advices and best regards
	Bartlomiej Kubica

From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov  1 09:05:27 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA1F5R1o026974
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 1 Nov 2004 09:05:27 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA1F5RuF026973
	for reliable_computing-outgoing; Mon, 1 Nov 2004 09:05:27 -0600 (CST)
Received: from marnier.ucs.louisiana.edu (root [at] marnier [dot] ucs.louisiana.edu [130.70.132.233])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA1F5H1U026969
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 1 Nov 2004 09:05:23 -0600 (CST)
Received: from liberty (h156207.louisiana.edu [130.70.156.207])
	by marnier.ucs.louisiana.edu (8.13.1/8.13.1/ull-ucs-mx-host_1.9) with SMTP id iA1F3OJi004584;
	Mon, 1 Nov 2004 09:03:29 -0600 (CST)
Message-Id: <2.2.32.20041101150526.016d8ae4 [at] pop [dot] louisiana.edu>
X-Sender: rbk5287 [at] pop [dot] louisiana.edu
X-Mailer: Windows Eudora Pro Version 2.2 (32)
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Mon, 01 Nov 2004 09:05:26 -0600
To: Bartlomiej Jacek KUBICA <bkubica [at] elka [dot] pw.edu.pl>,
        reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: Re: validated CDF of the Gaussian distribution (fwd)
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000002

Bartolomiej,

There is no problem with the "reliable_computing" list: We have implemented
a new way of removing incorrect addresses corresponding to servers
that give "non-standard" information that crashes the list server.

The reason your message wasn't sent was because you were sending
it from an address you had not used with the list before, and 
I must explicitly "approve" non-member submissions.  This takes
time, as I also have other interests and duties :-) In the past,
my policy was to routinely add addresses corresponding to people
I know are legitimate to the list, and I just did that with your
new address.  I recently have been hesitant to do that, since I got
a complaint from a person whose address I added (who subsequently
was receiving traffic from the list twice).   Nonetheless, I think
adding people to the list (and removing them if they complain) is the
lesser of two evils, so I will continue to do that.  That way, I'll
be sure people whom I know should be on the list actually are, and their
posting will go through immediately.

Sincerely,

R. Baker Kearfott

At 03:46 PM 10/29/04 +0200, Bartlomiej Jacek KUBICA wrote:
>
>It seems it didn't arrive, so I resend it.
>Excucse me if you receive multiply copies.
>
>
>---------- Forwarded message ----------
>Date: Wed, 27 Oct 2004 16:31:22 +0200 (CEST)
>From: Bartlomiej Jacek KUBICA <bkubica [at] elka [dot] pw.edu.pl>
>To: reliable_computing [at] interval [dot] louisiana.edu
>Subject: validated CDF of the Gaussian distribution
>
>
>Dear Interval Researchers,
>
>I need to have the validated values of CDF of the normal distribution.
>Obviously, it can be simply obtained by integrating (in interval
>arithmetic) the formula for the PDF (which is well-known).
>
>Two questions arrise:
>
>1) Did anyone do it before ?
>2) Which method of integration can you recommend ?
>
>Thank you for any advices and best regards
>	Bartlomiej Kubica
>
>

---------------------------------------------------------------
R. Baker Kearfott,    rbk [at] louisiana [dot] edu   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov  1 16:10:59 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA1MAwI3027350
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 1 Nov 2004 16:10:58 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA1MAw0I027349
	for reliable_computing-outgoing; Mon, 1 Nov 2004 16:10:58 -0600 (CST)
Received: from its-exsmtp1.marqnet.mu.edu (email.marquette.edu [134.48.20.169])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA1MAftB027345
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 1 Nov 2004 16:10:52 -0600 (CST)
Received: from its-exfe1.marqnet.mu.edu ([134.48.20.165]) by its-exsmtp1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Mon, 1 Nov 2004 16:10:44 -0600
Received: from [192.168.1.102] ([134.48.91.139] RDNS failed) by its-exfe1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Mon, 1 Nov 2004 16:10:44 -0600
User-Agent: Microsoft-Entourage/10.1.4.030702.0
Date: Mon, 01 Nov 2004 16:09:00 -0600
Subject: Re: validated CDF of the Gaussian distribution
From: George Corliss <George.Corliss [at] marquette [dot] edu>
To: Bartlomiej Jacek KUBICA <bkubica [at] elka [dot] pw.edu.pl>,
        <reliable_computing [at] interval [dot] louisiana.edu>
CC: George Corliss <George.Corliss [at] marquette [dot] edu>
Message-ID: <BDAC101C.ECAA%George.Corliss [at] Marquette [dot] edu>
In-Reply-To: <Pine.GSO.4.58.0410291544430.8387 [at] mion [dot] elka.pw.edu.pl>
Mime-version: 1.0
Content-type: text/plain; charset="US-ASCII"
Content-transfer-encoding: 7bit
X-OriginalArrivalTime: 01 Nov 2004 22:10:44.0417 (UTC) FILETIME=[A1EAEB10:01C4C05F]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000003

Bartlomiej,

You might look at work by Dan Berliant or Scott Ferson.  If anyone has done
it, they would know.

I did some work with validated quadrature 20 years ago.  Gaussian quadrature
with interval remainder enclosure should work.

Taylor models of Martin Berz is another possibility.

Why do you need validated values of CDF of the normal distribution?  You
have an analytic means of computing, and a symbolic package such as Maple or
Mathematica can give you values to many places.

Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
PO Box 1881 
1515 W. Wisconsin Ave.
Milwaukee WI 53201-1881 USA
414-288-6599; Fax: 288-5579; Dept. 288-6280
George.Corliss [at] Marquette [dot] edu



> It seems it didn't arrive, so I resend it.
> Excucse me if you receive multiply copies.
> 
> 
> ---------- Forwarded message ----------
> Date: Wed, 27 Oct 2004 16:31:22 +0200 (CEST)
> From: Bartlomiej Jacek KUBICA <bkubica [at] elka [dot] pw.edu.pl>
> To: reliable_computing [at] interval [dot] louisiana.edu
> Subject: validated CDF of the Gaussian distribution
> 
> 
> Dear Interval Researchers,
> 
> I need to have the validated values of CDF of the normal distribution.
> Obviously, it can be simply obtained by integrating (in interval
> arithmetic) the formula for the PDF (which is well-known).
> 
> Two questions arrise:
> 
> 1) Did anyone do it before ?
> 2) Which method of integration can you recommend ?
> 
> Thank you for any advices and best regards
> Bartlomiej Kubica
> 


From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov  2 09:20:30 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA2FKUr0028739
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 2 Nov 2004 09:20:30 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA2FKT5p028738
	for reliable_computing-outgoing; Tue, 2 Nov 2004 09:20:29 -0600 (CST)
Received: from higgs.elka.pw.edu.pl (root [at] higgs [dot] elka.pw.edu.pl [194.29.160.5])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA2FKHuS028734
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 2 Nov 2004 09:20:24 -0600 (CST)
Received: from hadron.elka.pw.edu.pl ([194.29.160.13]:34209 "EHLO localhost")
	by higgs.elka.pw.edu.pl with ESMTP id S29092AbUKBPUQ (ORCPT
	<rfc822;reliable_computing [at] interval [dot] louisiana.edu>);
	Tue, 2 Nov 2004 16:20:16 +0100
Received: from higgs.elka.pw.edu.pl ([194.29.160.5])
 by localhost (hadron [194.29.160.13]) (amavisd-new, port 251) with ESMTP
 id 19550-01-66 for <reliable_computing [at] interval [dot] louisiana.edu>;
 Tue,  2 Nov 2004 16:20:14 +0100 (CET)
Received: from mion.elka.pw.edu.pl ([194.29.160.35]:47617 "EHLO
	mion.elka.pw.edu.pl") by higgs.elka.pw.edu.pl with ESMTP
	id S29202AbUKBPRG (ORCPT
	<rfc822;reliable_computing [at] interval [dot] louisiana.edu>);
	Tue, 2 Nov 2004 16:17:06 +0100
Received: (from localhost user: 'bkubica', uid#6972) by mion.elka.pw.edu.pl
	with ESMTP id S478415AbUKBPRD (ORCPT
	<rfc822;reliable_computing [at] interval [dot] louisiana.edu>);
	Tue, 2 Nov 2004 16:17:03 +0100
Date: 	Tue, 2 Nov 2004 16:17:02 +0100 (CET)
From: Bartlomiej Jacek KUBICA <bkubica [at] elka [dot] pw.edu.pl>
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: Re: validated CDF of the Gaussian distribution
In-Reply-To: <BDAC101C.ECAA%George.Corliss [at] Marquette [dot] edu>
Message-ID: <Pine.GSO.4.58.0411021605180.2726 [at] mion [dot] elka.pw.edu.pl>
References: <BDAC101C.ECAA%George.Corliss [at] Marquette [dot] edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Virus-Scanned: by AmaVisD-new at elka.pw.edu.pl
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000004



On Mon, 1 Nov 2004, George Corliss wrote:

> Bartlomiej,
>
> You might look at work by Dan Berliant or Scott Ferson.  If anyone has done
> it, they would know.
>
> I did some work with validated quadrature 20 years ago.  Gaussian quadrature
> with interval remainder enclosure should work.
>
> Taylor models of Martin Berz is another possibility.

Thank you.

> Why do you need validated values of CDF of the normal distribution?  You
> have an analytic means of computing, and a symbolic package such as Maple or
> Mathematica can give you values to many places.

I need to do some computations with a random variable that is lognormally
distributed. I bound the discretization errors by interval arithmetic.
To bound floating-point error too, I need to have rigorous values of the
probabilites.

Regards
	Bartlomiej Kubica

From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov  2 09:51:07 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA2Fp7Te028903
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 2 Nov 2004 09:51:07 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA2Fp69T028902
	for reliable_computing-outgoing; Tue, 2 Nov 2004 09:51:06 -0600 (CST)
Received: from lakermmtao02.cox.net (lakermmtao02.cox.net [68.230.240.37])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA2FovM6028898
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 2 Nov 2004 09:51:03 -0600 (CST)
Received: from Inspiron-8200 ([68.226.133.93]) by lakermmtao02.cox.net
          (InterMail vM.6.01.04.00 201-2131-117-20041022) with SMTP
          id <20041102155041.FIXB9087.lakermmtao02.cox.net@Inspiron-8200>
          for <reliable_computing [at] interval [dot] louisiana.edu>;
          Tue, 2 Nov 2004 10:50:41 -0500
Message-Id: <2.2.32.20041102155117.00a19374 [at] pop [dot] louisiana.edu>
X-Sender: rbk5287 [at] pop [dot] louisiana.edu
X-Mailer: Windows Eudora Pro Version 2.2 (32)
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Tue, 02 Nov 2004 09:51:17 -0600
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: A "classroom" example
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000005

Dear Colleagues,

I recently formulated an example in a "Mathematica" proficiency exam that,
although mathematically very elementary, reveals much about  the "naive"
interval arithmetic approach and, perhaps, about prejudices (and sources
thereof) against interval arithmetic.  I present my example and correspondence
with the student (without names, to protect confidentiality).  I have also
edited some of the comments.

People are welcome to use this example in elementary texts (should they be
writing one) or in courses and tutorials.

My conclusion is that, although it is possible to "oversell" interval
arithmetic, we still haven't reached everyone we should, especially
at an elementary level.  That is, using
business language, the market for intervals still isn't "saturated".
A second conclusion is that one should be careful, even with
simple problems :-)

Best regards,

Baker

==============================================================================
The exam question:

A. A petroleum storage tank in the shape of a circular cylinder has an
   inner radius of between 4.95 and 5.05 meters, and a height of between
   7.95 meters and 8.05 meters.  The thickness of the vertical walls
   varies between 1.99cm and 2.01cm, and the density of the wall material
   (steel) is between 7.85 and 7.91 grams per cubic centimeter.

   Use Mathematica's interval arithmetic capability to compute lower
   and upper bounds, sharp to within "roundout" error, to the following:

      (1) the total volume of the tank;

      (2) the weight of the vertical walls in kilograms.

   Although the actual computations are relatively simple, present the
   computations in an organized way, and place your explanation and report
   directly in the Mathematica notebook.  Format the notebook, including
   the comments, in a way that makes it easy and pleasing to read.


==============================================================================
The student's initial solution (with some of the explanation omitted):

r1 = 100*Interval[{4.95, 5.05}]

h = 100*Interval[{7.95, 8.05}]

thick = Interval[{1.99, 2.01}]

r2 = r1 + thick

\!\(Volume1\  = \ \[Pi]*\((r1)\)\^2*h\)

\!\(Volume2\  = \ \[Pi]*\((r2)\)\^2*h\)

VolumeWall = Volume2 - Volume1

 (output) : \!\(Interval[{\(-2.8057162558073882`*^7\), 3.813181213445664`*^7}]\)

d = 0.001* Interval[{7.85, 7.91}]

 weight = VolumeWall*d

 (output): Interval[{-221932., 301623.}]

(student's comment): We see that the interval solution is too wide to be
meaningful.

==============================================================================

My response to the student:

Your knowledge of Mathematica seems to be OK, but your use of interval
arithmetic is naive, since there is interval dependency;  additional
thought leads to a better  result.  In particular, the volume of the wall is

\pi * (r2^2 - r1^2) * h

You should get the exact range of volume, within roundout error,
if you evaluate the above expression with interval arithmetic.

The way you did it was to evaluate

\pi*r2^2 h - \pi*r1^2 h.

There is interval dependency in this second expression, since h
occurs twice in it.

Please redo this part of the project, using the correct formula
for the range of the volume of the vertical walls.

==============================================================================
The student's response:

    I still don't understand the term "roundout
error". I was serching in mathematica handbook for
that but I didn't see anything. I don't know also the
meaning of "exact range". Do you mean that after we
have got the interval of volume of the wall(by using
the formula pi*r2^2 h - \pi*r1^2 h) we have to use the
command in mathematica to find the exact range of the
volume?
I did check the lecture notes about interval
arithmetic and I didn't see anything about exact
range. I also searched for that term in many books,
and I still have no idea about that.

After I have used the formula pi*(r2^2-r1^2)* h,
I still got an interval with very big width.

==============================================================================
My second response:

Suppose you have a function f(x_1...,x_n), and evaluate it with interval
arithmetic.  Then the interval value \f(\x_1,...,\x_n) will always give
bounds on the range of the function, and will give the exact
range, in general, if and only if each symbol x_i occurs only once
in the expression.  If such a "single use expression" is evaluated
with floating point arithmetic, the result is not exactly the
range, since the lower end points are "rounded down" and the
upper end points are "rounded up".  That is "roundout error."
Some of this is explained in the introductory sections of my
book "Rigorous Global Search: Continuous Problems" (QA402.5 .K388 1996).


The problem is that there is still interval dependency, since
you defined

r2 = r1+thick,

so

    \pi *( r2^2 - r1^2) h = \pi ( (r1 + thick)^2 - r1^2) h

and r1 occurs more than once in the expression.  Rewrite
the parenthesized expression as

   (r1 + thick)^2 - r1^2) = 2*r1*thick + thick^2
                          = thick*(2*r1+thick)

(Please try that.)

You will get a better result, but it still won't give the exact
range to within roundout error.

To get the exact range, note that the minimum possible volume
corresponds to using

     \tilde r1 = sup(r1)

and

     \tilde r2 = min(r2)

and that the maximum possible volume corresponds to using

     \hat r1 = inf(r1)

and

     \hat r2 = sup(r2)

Storing \tilde r1 and \tilde r2 in intervals (whose endpoints are
the same), you will then use interval arithmetic to compute

inf(\pi (\tilde r2^2 - \tilde r1^2) h)

and

sup(\pi *\hat r2^2 - \hat r1^2) h).

These values will give lower and upper bounds on the range of volume that are
exact to within roundout error.

(Please also try this second scheme and submit to me.)

==============================================================================


---------------------------------------------------------------
R. Baker Kearfott,    rbk [at] louisiana [dot] edu   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov  2 15:10:52 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA2LAqxd029274
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 2 Nov 2004 15:10:52 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA2LAqUl029273
	for reliable_computing-outgoing; Tue, 2 Nov 2004 15:10:52 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA2LAgGC029269
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 2 Nov 2004 15:10:49 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iA2LAdC19529;
	Tue, 2 Nov 2004 14:10:39 -0700 (MST)
Message-Id: <200411022110.iA2LAdC19529 [at] cs [dot] utep.edu>
Date: Tue, 2 Nov 2004 14:10:38 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: ISSAC'2005 Beijing, China, Call for Papers 
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: ikotsire [at] wlu [dot] ca
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: bP6jwBiZmaBBDNjl2SCOSQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000006

a conference of potential interest to interval researchers
------------- Begin Forwarded Message -------------

Date: Tue, 2 Nov 2004 09:37:24 -0500 (EST)
From: Ilias Kotsireas <ikotsire [at] wlu [dot] ca>
To: "Ilias S. Kotsireas" <ikotsire [at] wlu [dot] ca>
Subject: ISSAC'2005 Beijing, China, Call for Papers 
MIME-Version: 1.0

ISSAC'2005 Call for Papers

ISSAC is the yearly premier international symposium in Symbolic and
Algebraic Computation. It provides an opportunity to learn of new
developments and to present original research results in all areas of
symbolic mathematical computation. Planned activities include invited
presentations, research papers, poster sessions, tutorial courses, vendor
exhibits and software demonstrations.

ISSAC'2005 will be organized by the Key Laboratory of Mathematics
Mechanization, Chinese Academy of Sciences, from July 24-27, 2005 in
Beijing, China.

ISSAC'2005 web page:  http://www.mmrc.iss.ac.cn/~issac2005/
ISSAC'2005 e-mail:    issac2005 [at] mmrc [dot] iss.ac.cn

Important Dates
Deadline for Submissions:    January 14, 2005 (Midnight [24:00 EST])
Notification of Acceptance:  March 15, 2005
Camera-ready copy received:  April 15, 2005

Conference Topics
Topics of the meeting include, but are not limited to:

Algorithmic Mathematics
Algebraic, symbolic and symbolic-numeric algorithms. Simplification,
function manipulation, equations, summation, integration, ODE/PDE, linear
algebra, number theory, group theory and geometric computing. 

Computer Science
Theoretical and practical problems in symbolic computation. Systems,
problem solving environments, user interfaces, software, libraries,
parallel/distributed computing and programming languages for symbolic
computation, concrete analysis, benchmarking, theoretical and practical
complexity of computer algebra algorithms, automatic differentiation, code
generation, mathematical data structures and exchange protocols. 

Applications
Problem treatments using algebraic, symbolic or symbolic-numeric
computation in an essential or a novel way. Engineering, economics and
finance, physical and biological sciences, computer science, logic,
mathematics, statistics and education. 

Instructions to Authors 
Original research results and insightful analyses of current concerns are
solicited for submission. Submissions must not substantially duplicate
work published or submitted for publication elsewhere. Late submissions
will be rejected. Papers will be reviewed by the program committee and
additional referees. Proceedings will be distributed at the symposium.
Papers must be in English and should not exceed 8 pages in the standard
format for ACM proceedings, or 20 to 22 pages of text in LaTeX 12pt
article style. 

To submit your contribution, please visit the Paper Submission page.

Each paper should have an abstract as well as an introductory section
that: Describes the problem. Motivates the study of the problem. States
the main results and compares them to other work (including theoretical or
empirical performance). Summarizes the original aspects of the
contribution. Formatting requirements will be based on the ACM Proceedings
Templates. For instance, in LaTeX2e you should use the
acm_proc_article-sp.cls document class to format your document. 
For information concerning ACM Proceedings Templates see
http://www.acm.org/sigs/pubs/proceed/template.html

Authors of accepted papers are expected to present their work at the
symposium, or make arrangements to have it presented, and will be required
to sign the ACM copyright agreement (www.acm.org/pubs/copyright_form.html)
Some papers may be accepted for poster-session presentation; these will
not appear in the proceedings. Abstracts of all posters will be
distributed at the symposium. For poster submissions please consult the
Call for Posters. 

Distinguished Paper Award
This award will be given to the most distinguished paper(s) presented at
ISSAC'2005. The distinguished paper(s) will be decided by the program
committee. 

Best Student Author Award
This award will be given to the best student author. An author who is a
full-time student at the time of submission is eligible for the award. 
This status should be indicated when the paper is submitted. 

For details concerning the selection procedure for this award as well as
the procedure for the ISSAC Distinguished Paper Award, see the ISSAC Award
Guidelines. 

Invited Talks
  Bruno Buchberger, RISC-Linz, Austria
  Bruno Salvy, INRIA, France
  Wen-Tsun Wu, Chinese Academy of Sciences, China

ISSAC'2005 Satellite Workshops
 Algebraic Methods in Cryptography
 Internet Accessible Mathematical Computation
 Symbolic-Numeric Computation

ISSAC'2005 General Chairs
 Xiao-Shan Gao (China)
 George Labahn (Canada)

ISSAC'2005 Program Committee
 Peter Paule (Chair, Austria)
 Ron Boisvert (USA)
 John Cannon (Australia)
 Howard Cheng (Canada)
 Frederic Chyzak (France)
 Robert Corless (Canada)
 Mark Giesbrecht (Canada)
 Andreas Griewank (Germany)
 Tudor Jebelean (Austria)
 Hongbo Li (China)
 Daniel Lichtblau (USA)
 Michael Monagan (Canada)
 Teo Mora (Italy)
 Marko Petkovsek (Slovenia)
 Tomas Recio (Spain)
 Felix Ulmer (France)
 Paul Wang (USA)
 Kazuhiro Yokoyama (Japan)



------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Nov  3 17:14:23 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA3NENOa001097
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 3 Nov 2004 17:14:23 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA3NENiA001096
	for reliable_computing-outgoing; Wed, 3 Nov 2004 17:14:23 -0600 (CST)
Received: from sys25.mail.msu.edu (sys25.mail.msu.edu [35.9.75.125])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA3NEAMd001092
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 3 Nov 2004 17:14:19 -0600 (CST)
Received: from berz-9.user.msu.edu ([35.10.222.157] helo=TP570MSUMB)
	by sys25.mail.msu.edu with asmtp (Exim 4.32 #22)
	(TLSv1:RC4-MD5:128)
	id 1CPUKP-00050P-EF; Wed, 03 Nov 2004 18:14:09 -0500
From: "Martin Berz" <berz [at] msu [dot] edu>
To: "Aditya Agarwal" <agarwaladitya [at] iitb [dot] ac.in>,
        <reliable_computing [at] interval [dot] louisiana.edu>
Subject: RE: Solving ODEs using Interval analysis
Date: Wed, 3 Nov 2004 18:13:33 -0500
Message-ID: <LOBBLFLDLCOABDBDAMICIEIKHGAA.berz [at] msu [dot] edu>
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_04A6_01C4C1D0.D47285D0"
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.6604 (9.0.2911.0)
Importance: Normal
In-Reply-To: <002201c4bdf2$90c8cab0$3601050a@aditya>
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441
X-Virus: None found by Clam AV
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000007

This is a multi-part message in MIME format.

------=_NextPart_000_04A6_01C4C1D0.D47285D0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit

It may perhaps be of interest for you to take a look at the following rather
extensive paper, which studies the various approaches in Taylor Model-based
validated integrators. It also contains various comparisons of different
methods, and includes many links to the rest of the literature.

http://bt.pa.msu.edu/cgi-bin/display.pl?name=VIRC03

Best wishes,

Martin Berz

P.S.: Sorry about the lag in response, due to travel I am much behind in
email.

  -----Original Message-----
  From: owner-reliable_computing [at] interval [dot] louisiana.edu
[mailto:owner-reliable_computing [at] interval [dot] louisiana.edu]On Behalf Of Aditya
Agarwal
  Sent: Friday, October 29, 2004 4:05 PM
  To: reliable_computing [at] interval [dot] louisiana.edu
  Subject: Solving ODEs using Interval analysis


  Dear all,


  I am a senior undergraduate at Faculty of Chemical Engineering, Indian
Institute of Technology, Bombay. I am currently working on a constrained
optimization problem and trying to solve it with the help of interval
analysis.


  I was looking forward to some guidance in direction of algorithms and
techniques available to solve ODEs using interval analysis. I would be very
grateful if someone could cite me suitable references to help me solve ODEs
using interval analysis.


  Awaiting for a reply in anticipation.


  Regards,

  Aditya Agarwal

------=_NextPart_000_04A6_01C4C1D0.D47285D0
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2800.1476" =
name=3DGENERATOR><MODIFIED_STYLE_0 <></HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN =
class=3D125252819-01112004>It may=20
perhaps be of interest for you&nbsp;to take a look at&nbsp;the=20
following&nbsp;rather extensive paper, which studies the various =
approaches in=20
Taylor Model-based validated integrators. It also contains=20
various&nbsp;comparisons of different&nbsp;methods, and&nbsp;includes =
many links=20
to the rest of the literature. </SPAN></FONT></DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN=20
class=3D125252819-01112004></SPAN></FONT><FONT face=3DArial =
color=3D#0000ff=20
size=3D2><SPAN class=3D125252819-01112004></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN =
class=3D125252819-01112004><A=20
href=3D"http://bt.pa.msu.edu/cgi-bin/display.pl?name=3DVIRC03">http://bt.=
pa.msu.edu/cgi-bin/display.pl?name=3DVIRC03</A></SPAN></FONT></DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN=20
class=3D125252819-01112004></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN =
class=3D125252819-01112004>
<DIV></SPAN></FONT><FONT face=3DArial color=3D#0000ff size=3D2><SPAN=20
class=3D125252819-01112004>Best wishes, </SPAN></FONT></DIV></DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN=20
class=3D125252819-01112004></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN =
class=3D125252819-01112004>Martin=20
Berz</SPAN></FONT></DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN=20
class=3D125252819-01112004></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN =
class=3D125252819-01112004>P.S.:=20
Sorry about the lag in response, due to travel I am much behind in=20
email.</SPAN></FONT></DIV>
<DIV><FONT face=3DArial color=3D#0000ff size=3D2><SPAN=20
class=3D125252819-01112004></SPAN></FONT>&nbsp;</DIV>
<BLOCKQUOTE=20
style=3D"PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px =
solid">
  <DIV class=3DOutlookMessageHeader dir=3Dltr align=3Dleft><FONT =
face=3DTahoma=20
  size=3D2>-----Original Message-----<BR><B>From:</B>=20
  owner-reliable_computing [at] interval [dot] louisiana.edu=20
  [mailto:owner-reliable_computing [at] interval [dot] louisiana.edu]<B>On Behalf =
Of=20
  </B>Aditya Agarwal<BR><B>Sent:</B> Friday, October 29, 2004 4:05=20
  PM<BR><B>To:</B> =
reliable_computing [at] interval [dot] louisiana.edu<BR><B>Subject:</B>=20
  Solving ODEs using Interval analysis<BR><BR></FONT></DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2>Dear =
all,</FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2></FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2>I am a&nbsp;senior =
undergraduate at=20
  Faculty of Chemical Engineering, Indian Institute of Technology, =
Bombay. I am=20
  currently working on a constrained optimization problem and trying to =
solve it=20
  with the help of interval analysis. </FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2></FONT><FONT face=3DArial =

  size=3D2></FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2>I was looking forward to =
some=20
  guidance in direction of algorithms and techniques available to solve =
ODEs=20
  using interval analysis. I would be very grateful if someone could =
cite me=20
  suitable references to help me solve ODEs using interval=20
  analysis.</FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2></FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2>Awaiting for a reply in=20
  anticipation.</FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2></FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial =
size=3D2>Regards,</FONT></P><MODIFIED_DIV>
  <P><MODIFIED_DIV><FONT face=3DArial size=3D2>Aditya=20
  Agarwal</FONT></P><MODIFIED_DIV></BLOCKQUOTE></BODY></HTML>

------=_NextPart_000_04A6_01C4C1D0.D47285D0--


From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov  4 23:00:14 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA550D5s003590
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Thu, 4 Nov 2004 23:00:13 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA550DJd003589
	for reliable_computing-outgoing; Thu, 4 Nov 2004 23:00:13 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA5502iw003584
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 4 Nov 2004 23:00:08 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iA54xwC09043;
	Thu, 4 Nov 2004 21:59:58 -0700 (MST)
Message-Id: <200411050459.iA54xwC09043 [at] cs [dot] utep.edu>
Date: Thu, 4 Nov 2004 21:59:59 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: What Monte Carlo Cannot Do: Introduction to Imprecise Probabilities
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: Y3ZbqHSEmnYvfDaL3x2MjA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000008

FYI. Vladik
********************************************
From: Scott Ferson <scott [at] ramas [dot] com>

A day-long tutorial workshop entitled "*What Monte Carlo Cannot Do:
Introduction to Imprecise Probabilities*" will be held at the Wyndham
Hotel & Resort in Palm Springs, California, on Sunday, 5 December 2004. 

The workshop review the limitations of Monte Carlo methods and describe
strategies to escape these limitations.  It will introduce the notions 
of interval-
valued probability and imprecisely specified probability distributions and
review their uses in risk analysis. It will introduce the approaches of 
interval
probabilities, probability bounds analysis, Dempster-Shafer theory, robust
Bayes methods, info-gap theory, and the theory of imprecise probabilities.
It will also illustrate how sparse, incomplete or imprecise data can be 
used
to fashion inputs without making strong or untenable assumptions.

The workshop will be held in conjunction with the Society for Risk Analysis
Annual Meeting, but you don't have to register for the annual meeting to
participate in the workshop.  The registration fee for the workshop is $175
before 10 November, or $205 after this date, or on site.

Consult the website http://www.ramas.com/ippalmsprings.htm for further
information. 


From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Nov  5 07:46:04 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA5Dk3Co004590
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 5 Nov 2004 07:46:03 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA5Dk3Da004589
	for reliable_computing-outgoing; Fri, 5 Nov 2004 07:46:03 -0600 (CST)
Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA5Djw0B004585
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 5 Nov 2004 07:45:59 -0600 (CST)
Received: (from rbk5287@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA5DjwED004584
	for reliable_computing [at] interval [dot] louisiana.edu; Fri, 5 Nov 2004 07:45:58 -0600 (CST)
Received: from sun13.bham.ac.uk (sun13.bham.ac.uk [147.188.128.145])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA5ALHBZ004014
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 5 Nov 2004 04:21:23 -0600 (CST)
Received: from [147.188.128.127] (helo=bham.ac.uk)
	by sun13.bham.ac.uk with esmtp (Exim 4.10)
	id 1CQ1DI-0005iB-00; Fri, 05 Nov 2004 10:21:00 +0000
Received: from for.mat.bham.ac.uk ([147.188.56.59])
	by bham.ac.uk with esmtp (Exim 4.24)
	id 1CQ1DH-0005Rw-Qf; Fri, 05 Nov 2004 10:20:59 +0000
Received: from bab.mat.bham.ac.uk by for.mat.bham.ac.uk (8.8.8+Sun/SMI-SVR4)
	id KAA04092; Fri, 5 Nov 2004 10:20:50 GMT
Received: from localhost (schneidh@localhost)
	by bab.mat.bham.ac.uk (8.8.8p2+Sun/8.8.8) with ESMTP id KAA21023;
	Fri, 5 Nov 2004 10:20:47 GMT
X-Authentication-Warning: babbage.mat.bham.ac.uk: schneidh owned process doing -bs
Date: Fri, 5 Nov 2004 10:20:45 +0000 (GMT)
From: Hans Schneider <schneidh [at] for [dot] mat.bham.ac.uk>
X-Sender: schneidh@babbage
To: NETS -- at-net <at-net-dl@uni-giessen.de>, E-LETTER <pmisra [at] cs [dot] wright.edu>,
        Pradeep Misra <pradeep.misra [at] wright [dot] edu>,
        Shaun Fallat <sfallat [at] MATH [dot] UREGINA.CA>,
        "na.digest" <na.digest@na-net.ornl.gov>, ipnet-digest [at] math [dot] msu.edu,
        Michael.Unser [at] epfl [dot] ch,
        SIAGLA-DIGEST <owner-siagla-digest [at] turing [dot] siam.org>, hjt [at] eos [dot] ncsu.edu,
        SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu,
        reliable_computing [at] interval [dot] louisiana.edu
Subject: Re: revised announcement (fwd)
Message-ID: <Pine.GSO.4.21.0411051015070.17559-100000@babbage>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-BHAM-CUBE-wlist: LOCAL for.mat.bham.ac.uk
X-BHAM-CUBE-processed: yes
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000009

> 
> 
> 
> Special issue in honour of Pauline van den Driessche
>          SECOND ANNOUNCEMENT
> 
> Linear Algebra and Its Applications is pleased to announce
> a special issue in honour of Professor Pauline van den Driessche
> in recognition of her many important contributions to linear algebra
> and mathematical biology, and on the occasion of her 65th birthday.
> 
> 
> The deadline for submission of papers has ben extended to 15 February
> 2005.  Papers are solicited for the special issue within the scope of LAA,
> especially those that overlap with the research interests of Pauline van
> den Driessche.  Papers for submission should be sent to any of the four
> special editors, and will be subject to normal refereeing procedures
> according to LAA standards:
> 
> Professor Steve Kirkland
> Department of Mathematics
> University of Regina
> Regina, SK, Canada
> S4S 0A2
> e-mail:  kirkland [at] math [dot] uregina.ca
> 
> Professor Judith McDonald
> Mathematics Department
> Box 643113
> Washington State University
> Pullman, WA, USA
> 99164-3113
> e-mail:  jmcdonald [at] math [dot] wsu.edu
> 
> Professor Dale Olesky
> Department of Computer Science
> University of Victoria
> Victoria, BC, Canada
> V8W 3P6
> e-mail:  dolesky [at] cs [dot] uvic.ca
> 
> Professor Michael Tsatsomeros
> Mathematics Department
> Box 643113
> Washington State University
> Pullman, WA, USA
> 99164-3113
> e-mail:  tsat [at] math [dot] wsu.edu
> 






From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov  6 11:32:20 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA6HWKlS006473
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sat, 6 Nov 2004 11:32:20 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA6HWKVH006472
	for reliable_computing-outgoing; Sat, 6 Nov 2004 11:32:20 -0600 (CST)
Received: from lakermmtao02.cox.net (lakermmtao02.cox.net [68.230.240.37])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA6HW9RI006468
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 6 Nov 2004 11:32:15 -0600 (CST)
Received: from Inspiron-8200 ([68.226.133.93]) by lakermmtao02.cox.net
          (InterMail vM.6.01.04.00 201-2131-117-20041022) with SMTP
          id <20041106173203.WAPQ18789.lakermmtao02.cox.net@Inspiron-8200>
          for <reliable_computing [at] interval [dot] louisiana.edu>;
          Sat, 6 Nov 2004 12:32:03 -0500
Message-Id: <2.2.32.20041106173328.009f4c1c [at] pop [dot] louisiana.edu>
X-Sender: rbk5287 [at] pop [dot] louisiana.edu
X-Mailer: Windows Eudora Pro Version 2.2 (32)
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Sat, 06 Nov 2004 11:33:28 -0600
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: A "classroom" problem -- second installment
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000010

Dear Colleagues,

My recommendations to the student in the "classroom example" were
not exactly correct.  Despite the problem being "simple,"
it took some additional discussion between me and the student
to correctly get exact bounds on the range, to within
"roundout error."  I append again the problem, followed by a
correct solution.  Are we right?

(I have edited the Mathematica notebook and have supplied more nearly universal
"TeX-like" notation).

Best regards,

Baker
==========================================================================

==============================================================================
The exam question:

A. A petroleum storage tank in the shape of a circular cylinder has an
   inner radius of between 4.95 and 5.05 meters, and a height of between
   7.95 meters and 8.05 meters.  The thickness of the vertical walls
   varies between 1.99cm and 2.01cm, and the density of the wall material
   (steel) is between 7.85 and 7.91 grams per cubic centimeter.

   Use Mathematica's interval arithmetic capability to compute lower
   and upper bounds, sharp to within "roundout" error, to the following:

      (1) the total volume of the tank;

      (2) the weight of the vertical walls in kilograms.

   Although the actual computations are relatively simple, present the
   computations in an organized way, and place your explanation and report
   directly in the Mathematica notebook.  Format the notebook, including
   the comments, in a way that makes it easy and pleasing to read.


==============================================================================
A correct solution:

(1) To find the volume of the tank, we use the inner radius of
the tank and the height of the tank. Use the volume formula for
the cylinder. We convert the unit of the radius and height of
the tank to be in centimeters instead of meters:

(Input): r1 = 100*Interval[{4.95, 5.05}]

(Input): h = 100*Interval[{7.95, 8.05}]

(Input): VolTank  =\pi*r1^2*h

(Output):Interval[{6.119661482569413*10^8, 6.449536565177991*10^8}]

The thickness of the vertical walls varies between 1.99 cm and 2.01 cm:

(Input): thick = Interval[{1.99, 2.01}]

We give the density of the vertical wall in kilograms per cubic centimeter:

(Input): d = 0.001* Interval[{7.85, 7.91}]


Let us find the exact range of the weight of the wall. To find
the exact range of weight of the wall. We have to find the
minimum and maximum possible volume of the wall first.  To this end,
we note that, for a given thickness, the volume of the wall is an
increasing function of the inner radius:

(Input): tilr1 = Min[r1]

(Input): tilr2 = tilr1 + Min[thick]

(Input): hatr1 = Max[r1]

(Input): hatr2 = hatr1 + Max[thick]

Now we use the interval arithmetic for these radius to find the
maximum and minimum possible for the volume of the wall:

(Input): LoBoundVol  = Min[ \pi*(R2^2 - R1^2))*h]

(Input): RR1 = Interval[hatr1]

(Input): RR2 = Interval[hatr2]

(Input): UpBoundVol  =  Max[\pi*(RR2^2 - RR1^2)*h]

(Input): IntervalVolume = Interval[{LoBoundVol, UpBoundVol}]

(Output): Interval[{4.930345702783755*10^6, 5.144303873599082*10^6}]

(Input): BWeight = IntervalVolume*d

(Output): Interval[{38703.2, 40691.4}]

==========================================================================

---------------------------------------------------------------
R. Baker Kearfott,    rbk [at] louisiana [dot] edu   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov  6 13:55:52 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA6Jtpwj007304
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sat, 6 Nov 2004 13:55:51 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA6Jtp4s007303
	for reliable_computing-outgoing; Sat, 6 Nov 2004 13:55:51 -0600 (CST)
Received: from lakermmtao02.cox.net (lakermmtao02.cox.net [68.230.240.37])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA6JtgoS007299
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 6 Nov 2004 13:55:47 -0600 (CST)
Received: from Inspiron-8200 ([68.226.133.93]) by lakermmtao02.cox.net
          (InterMail vM.6.01.04.00 201-2131-117-20041022) with SMTP
          id <20041106195537.XBXU18789.lakermmtao02.cox.net@Inspiron-8200>
          for <reliable_computing [at] interval [dot] louisiana.edu>;
          Sat, 6 Nov 2004 14:55:37 -0500
Message-Id: <2.2.32.20041106195700.01b31c28 [at] pop [dot] louisiana.edu>
X-Sender: rbk5287 [at] pop [dot] louisiana.edu
X-Mailer: Windows Eudora Pro Version 2.2 (32)
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Sat, 06 Nov 2004 13:57:00 -0600
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: A "classroom" problem -- second installment
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000011

Dear Colleagues,

My recommendations to the student in the "classroom example" were
not exactly correct.  Despite the problem being "simple,"
it took some additional discussion between me and the student
to correctly get exact bounds on the range, to within
"roundout error."  I append again the problem, followed by a
correct solution.  Are we right?

(I have edited the Mathematica notebook and have supplied more nearly universal
"TeX-like" notation).

Best regards,

Baker
==========================================================================

==============================================================================
The exam question:

A. A petroleum storage tank in the shape of a circular cylinder has an
   inner radius of between 4.95 and 5.05 meters, and a height of between
   7.95 meters and 8.05 meters.  The thickness of the vertical walls
   varies between 1.99cm and 2.01cm, and the density of the wall material
   (steel) is between 7.85 and 7.91 grams per cubic centimeter.

   Use Mathematica's interval arithmetic capability to compute lower
   and upper bounds, sharp to within "roundout" error, to the following:

      (1) the total volume of the tank;

      (2) the weight of the vertical walls in kilograms.

   Although the actual computations are relatively simple, present the
   computations in an organized way, and place your explanation and report
   directly in the Mathematica notebook.  Format the notebook, including
   the comments, in a way that makes it easy and pleasing to read.


==============================================================================
A correct solution:

(1) To find the volume of the tank, we use the inner radius of
the tank and the height of the tank. Use the volume formula for
the cylinder. We convert the unit of the radius and height of
the tank to be in centimeters instead of meters:

(Input): r1 = 100*Interval[{4.95, 5.05}]

(Input): h = 100*Interval[{7.95, 8.05}]

(Input): VolTank  =\pi*r1^2*h

(Output):Interval[{6.119661482569413*10^8, 6.449536565177991*10^8}]

The thickness of the vertical walls varies between 1.99 cm and 2.01 cm:

(Input): thick = Interval[{1.99, 2.01}]

We give the density of the vertical wall in kilograms per cubic centimeter:

(Input): d = 0.001* Interval[{7.85, 7.91}]


Let us find the exact range of the weight of the wall. To find
the exact range of weight of the wall. We have to find the
minimum and maximum possible volume of the wall first.  To this end,
we note that, for a given thickness, the volume of the wall is an
increasing function of the inner radius:

(Input): tilr1 = Min[r1]

(Input): tilr2 = tilr1 + Min[thick]

(Input): hatr1 = Max[r1]

(Input): hatr2 = hatr1 + Max[thick]

Now we use the interval arithmetic for these radius to find the
maximum and minimum possible for the volume of the wall:

(Input): LoBoundVol  = Min[ \pi*(R2^2 - R1^2))*h]

(Input): RR1 = Interval[hatr1]

(Input): RR2 = Interval[hatr2]

(Input): UpBoundVol  =  Max[\pi*(RR2^2 - RR1^2)*h]

(Input): IntervalVolume = Interval[{LoBoundVol, UpBoundVol}]

(Output): Interval[{4.930345702783755*10^6, 5.144303873599082*10^6}]

(Input): BWeight = IntervalVolume*d

(Output): Interval[{38703.2, 40691.4}]

==========================================================================

---------------------------------------------------------------
R. Baker Kearfott,    rbk [at] louisiana [dot] edu   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov  7 08:53:33 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA7ErWr5008790
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 7 Nov 2004 08:53:32 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA7ErWAZ008789
	for reliable_computing-outgoing; Sun, 7 Nov 2004 08:53:32 -0600 (CST)
Received: from mx2.mail.ru (mx2.mail.ru [194.67.23.122])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA7ErKAV008785
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 7 Nov 2004 08:53:27 -0600 (CST)
Received: from [213.158.13.196] (port=3820 helo=slava)
	by mx2.mail.ru with smtp 
	id 1CQoPo-000JCX-00
	for reliable_computing [at] interval [dot] louisiana.edu; Sun, 07 Nov 2004 17:53:13 +0300
Message-ID: <01ac01c4c4d9$7d61df50$7053983e@slava>
From: "Slava Nesterov" <slnest [at] mail [dot] ru>
To: "RC mailing list" <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Reliable Computing, Vol.11, issue 2, 2005
Date: Sun, 7 Nov 2004 17:51:35 +0300
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_01A7_01C4C4F2.6CCEABF0"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
X-Spam: Not detected
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000012

This is a multi-part message in MIME format.

------=_NextPart_000_01A7_01C4C4F2.6CCEABF0
Content-Type: text/plain;
	charset="koi8-r"
Content-Transfer-Encoding: quoted-printable

              Reliable Computing
            Volume 11, issue 2, 2005

            Mathematical Research

On the Solutions of the Interval System [x]=3D[A][x]+[b]
Hans-Robert Arndt, Guenter Mayer
87-103

The Optimal Solution of an Interval System of Linear Algebraic Equations
Marina Lyashko
105-127

Linear Interval Equations: Midpoint Preconditioning May Produce
a 100% Overestimation for Arbitrarily Narrow Data Even in Case n=3D4
Jiri Rohn
129-135

                 Application

Using Zonotopes for Overestimation-Free Interval Least-Squares--Some
Geodetic Applications
Steffen Schoen, Hansjoerg Kutterer
137-155

                 Information=20

SCAN'2004
11th GAMM-IMACS International Symposium on Scientific Computing,
Computer Arithmetic, and Validated Numerics
157-159

Second R. E. Moore Prize Awarded at SCAN'2004
161-162


Errata and Opinion to: ``An Interval Entropy Penalty Method for
Nonlinear Global Optimization,'' by Zhenyu Huang, Reliable Computing
4 (1) (1998)
R. Baker Kearfott
163-164


------=_NextPart_000_01A7_01C4C4F2.6CCEABF0
Content-Type: text/html;
	charset="koi8-r"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; charset=3Dkoi8-r">
<META content=3D"MSHTML 6.00.2800.1106" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial=20
size=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;=20
Reliable=20
Computing<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;=20
Volume 11, issue 2, 2005</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial=20
size=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;=20
Mathematical Research</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>On the Solutions of the Interval System =

[x]=3D[A][x]+[b]<BR>Hans-Robert Arndt, Guenter =
Mayer<BR>87-103</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>The Optimal Solution of an Interval =
System of=20
Linear Algebraic Equations<BR>Marina Lyashko<BR>105-127</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Linear Interval Equations: Midpoint =
Preconditioning=20
May Produce<BR>a 100% Overestimation for Arbitrarily Narrow Data Even in =
Case=20
n=3D4<BR>Jiri Rohn<BR>129-135</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial=20
size=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
Application</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Using Zonotopes for Overestimation-Free =
Interval=20
Least-Squares--Some<BR>Geodetic Applications<BR>Steffen Schoen, =
Hansjoerg=20
Kutterer<BR>137-155</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial=20
size=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
Information </FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>SCAN'2004<BR>11th GAMM-IMACS =
International=20
Symposium on Scientific Computing,<BR>Computer Arithmetic, and Validated =

Numerics<BR>157-159</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Second R. E. Moore Prize Awarded at=20
SCAN'2004<BR>161-162</FONT></DIV>
<DIV>&nbsp;</DIV><FONT face=3DArial size=3D2>
<DIV><BR>Errata and Opinion to: ``An Interval Entropy Penalty Method=20
for<BR>Nonlinear Global Optimization,'' by Zhenyu Huang, Reliable =
Computing<BR>4=20
(1) (1998)<BR>R. Baker Kearfott<BR>163-164</DIV>
<DIV>&nbsp;</DIV>
<DIV></FONT>&nbsp;</DIV></BODY></HTML>

------=_NextPart_000_01A7_01C4C4F2.6CCEABF0--


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov  8 22:21:07 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA94L7aq011608
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 8 Nov 2004 22:21:07 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iA94L6S0011607
	for reliable_computing-outgoing; Mon, 8 Nov 2004 22:21:06 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iA94KuRl011603
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Nov 2004 22:21:01 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iA94Krm12807
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Nov 2004 21:20:53 -0700 (MST)
Message-Id: <200411090420.iA94Krm12807 [at] cs [dot] utep.edu>
Date: Mon, 8 Nov 2004 21:20:54 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: interval session at IFSA'05
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: kNjCM5oGHh185tbRjezH7Q==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id iA94L2Rl011604
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000013



Dear Friends, 

Our interval colleague Chenyi Hu is planning to organize an interval session at 
the 11th International Fuzzy Systems Association will have its 2005 World
Congress in Beijing, China. http://ifsa2005.em.tsinghua.edu.cn/ 

The proposal for an interval sesion is due on December 20, 2004. If you are 
interested, please send him an email (copy to me). His email is chu [at] uca [dot] edu.

Vladik

***************************************************************************
Date: Mon, 08 Nov 2004 12:47:05 -0600
From: "Chenyi Hu" <chu [at] uca [dot] edu>
To: <vladik [at] cs [dot] utep.edu>
Subject: organizing a special session
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Dear Vladik,

The International Fuzzy Systems Association will have its 2005 World
Congress in Beijing, China. http://ifsa2005.em.tsinghua.edu.cn/ 

...

Let us propose an interval special
session. The deadline will be Dec. 20.

Regards,

Chenyi

Chenyi Hu; Ph.D.
Professor and Chairman
Computer Science Department
University of Central Arkansas

http://www.cs.uca.edu
**************************************************************************
CALL FOR PAPERS
IFSA2005 World Congress
July 28-31, 2005, Beijing China 
http://ifsa2005.em.tsinghua.edu.cn

The 11th World Congress of International Fuzzy Systems Association
(IFSA 2005) will be held in Beijing China, July 28-31, 2005. As a
major bi-annual event of IFSA, the Congress aims at bringing together
scholars and practitioners from academia and industries to present the
latest development in theories and applications of fuzzy logic and
soft computing. The scientific program will include keynote/plenary
talks and technical parallel sessions that address important issues of
interest in the fields. The Congress will serve as a platform not only
for knowledge sharing, but also for stimulating new ideas in
broadening and deepening theoretical and applied explorations of fuzzy
logic and soft computing. Notably, IFSA2005 will take place in the
year of IFSA¡¯s 20th anniversary, which may well be an event of memory
and celebration in the course of its evolution. 

This IFSA World Congress is to be the first-time-ever in Mainland
China. China is a dynamic nation with a rapid economic growth and huge
market. The conference site is Beijing, which has been the capital of
China for about five hundred years, and is now one of the largest
international cities in the world. Nowadays, as the cultural,
educational and Hi-tech center of the nation, Beijing possesses a
large number of world-class conference facilities, communication
infrastructures and hotels, and has successfully hosted many important
international conferences. In addition, Beijing is an ideal place for
sightseeing. Its rich cultures and historical attractions such as the
Great Wall, Forbidden City, Summer Palace, and Temple of Heaven will
provide participants with unique experiences for social activities. 

Topics
We solicit papers on theoretical issues and their applications related
to fuzzy logic and soft computing. Suggested topics include but are
not limited to: 
* Mathematical Foundations of Fuzzy Set Theory 
* Fuzzy Logic and Approximate Reasoning 
* Neural Networks, Genetic Algorithms and Soft Computing 
* Fuzzy Control, Robots and Intelligent Techniques 
* Expert Systems and Computational Intelligence 
* Knowledge Discovery and Data Mining 
* Rough Sets and Evidence Theory 
* Uncertainty in Decision Sciences and Optimization 
* Signal/Image Processing and Pattern Recognition 
* Fuzzy Databases and Information Retrieval 
* Hybrid Systems 

Honorary Chair:     Lotfi A. Zadeh, USA
General Chair:      Yingming Liu, China
Organizing Chair:   Guoqing Chen, China
Program Chair:      Mingsheng Ying, China

Advisory Committee
Zeungnam Bien, Korea     Witold Pedrycz, Canada
George J. Klir, USA      Philippe Smets, Belgium
Laszlo T. Koczy, Hungary Michio Sugeno, Japan
Yingming Liu, China      Lotfi A. Zadeh, USA
Ebrahim Mamdani, UK      Chunjun Zhao, China
Zdzislaw Pawlak, Poland  Hans-Jurgen Zimmermann, Germany

Local Organization Committee

Yixiang Chen, China
Dexue Zhang, China
Wenxiu Zhang, China
Chongyou Zheng, China

Program Committee (Not Completed)

M. Berthold (Germany)        Maokang Luo (China)
James C. Bezdek (USA)        Luis Magdalena (Spain)
Taner Bilgic (Turkey)        Trevor Martin (UK)
Piero Bonissone (USA)        Kyung Chan Min (Korea)
Bernadette Bouchon-Meunier (France)  Masao Mukaidono (Japan)
Kai-Yuan Cai (China)         Vesa Niskanen (Finland)
Christer Carlsson (Finland)  Vilem Novak (Czech Republic)
Oscar Castillo (Mexico)      Fred Petry (USA)
Guoqing Chen (China)         Nguyen Hoang Phuong (Vietnam)
Didier Dubois (France)       Henri Prade (France)
Takeshi Furuhashi (Japan)    Arthur Ramer (Australia)
Giangiacomo Gerla (Italy)    Frank Chung-Hoon Rhee (Korea)
Lluis Godo (Spain)           Da Ruan (Belgium)
Fernando Gomide (Brazil)     Elie Sanchez (France)
Kaoru Hirota (Japan)         Sandra Sandri(Brazil)
Janusz Kacprzyk (Poland)     Thomas Sudkamp (USA)
Okiay Kaynak (Turkey)        I. Burhan Turksen (Canada)
Jim Keller (USA)             M. Amparo Vila Miranda (Spain)
Etienne E. Kerre (Belgium)   Guojun Wang (China)
Erich P. Klement (Austria)   Li-Xin Wang (Hong Kong China)
Donald Kraft (USA)           Paul P. Wang (USA)
Rudolf Kruse (Germany)       Congxin Wu (China)
Jonathan Lee (Taiwan China)  Ronald R. Yager (USA)
Hongxing Li (China)          John Yen (USA)
C.T.Lin (Taiwan China)       Mingsheng Ying (China)
Zhiqiang Liu  (Hong Kong China)

Important Dates 

Deadline for Submission:    December 31, 2004 
Notification of Acceptance: February 28, 2005
Final Version due:          April 20, 2005 
Conference:                 July 28-31, 2005 

Organized by
Fuzzy Mathematics and Fuzzy Systems Association of China 
  (The IFSA China Chapter) 
Tsinghua University 
Sichuan University 
Supported by
National Natural Science Foundation of China 
The Systems Engineering Society of China 
China Automation Association 
China Computer Federation 
Chinese Mathematical Society 

Detailed information about the paper submission, proceedings,
registration, accommodation, journal special issues, student paper
award, conference program, etc., will be available at the conference
web site (http://ifsa2005.em.tsinghua.edu.cn) and in forthcoming
CFPs. You may also contact us at: 
    Professor Guoqing Chen
    IFSA2005 Organizing Committee and Secretariat
    School of Economics and Management
    Tsinghua University, Beijing 100084, China 
    Tel./Fax: 86-10-62789925
    Email: ifsa2005 [at] em [dot] tsinghua.edu.cn

------------- End Forwarded Message -------------




From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Nov 10 09:07:26 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAAF7Pjv001363
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 09:07:25 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAAF7PBY001362
	for reliable_computing-outgoing; Wed, 10 Nov 2004 09:07:25 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAAF7GmY001358
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 09:07:22 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAAF7DB24391;
	Wed, 10 Nov 2004 08:07:13 -0700 (MST)
Message-Id: <200411101507.iAAF7DB24391 [at] cs [dot] utep.edu>
Date: Wed, 10 Nov 2004 08:07:12 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Calculemus 2005 (forwarding) 
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: carette [at] mcmaster [dot] ca
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: bhLK+PZPxoV5ukI3+PeacA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000014


Because of the close relation between computer-aided verification and interval 
computations, this conference may be of interest to interval computations 
researchers. 

------------- Begin Forwarded Message -------------

From: "Jacques Carette" <carette [at] mcmaster [dot] ca>


			   Calculemus 2005

		 12th Symposium on the Integration of
	    Symbolic Computation and Mechanized Reasoning
			   July 18-19, 2005
	       http://imps.mcmaster.ca/calculemus-2005/

	       In conjunction with Formal Methods 2005
	  University of Newcastle upon Tyne, United Kingdom
			   July 18-22, 2005
		    http://www.csr.ncl.ac.uk/fm05/


PRELIMINARY CALL FOR PAPERS


General:

The Calculemus Interest Group (http://www.calculemus.net/) is
dedicated to advancing the integration of symbolic computation and
formal deduction in mathematical software systems and computer-aided
verification tools.  Calculemus has previously sponsored a series of
11 symposia starting in 1996 whose aim is to bring together
researchers interested in this objective.  (Calculemus was also part
of IJCAR 2004.)  This series is the major forum for the presentation
of research in combining the capabilities of computer algebra systems
and computer deduction systems.

Calculemus 2005, the 12th symposium in the series, will be held July
18-19, 2005 at the University of Newcastle upon Tyne, United Kingdom
in conjunction with Formal Methods 2005.  A principal theme of
Calculemus 2005 will be interactions with formal methods, including
problems in formal methods which require a mixture of computing and
proving, and applications of formal methods to the construction of
integrated systems.


Scope:

Calculemus 2005 welcomes research papers on all aspects of integrating
symbolic computation and formal deduction including:

   o Combining computer algebra and computer deduction systems.
   o Adding deductive capabilities to computer algebra systems.
   o Adding computational capabilities to computer deduction systems.
   o Combining methods of symbolic computation and formal deduction.
   o Design and implementation issues in integrated systems.
   o Formal method problems requiring mixed computing and proving.
   o Applications of formal methods to the construction of integrated 
     systems.
   o Case studies and applications.


Submissions:

Authors are invited to submit papers in the following two categories:

   o Research papers up to 15 pages describing original theoretical or
     applied research that has not been published elsewhere.

   o System descriptions up to 5 pages describing new systems,
     significant upgrades of existing systems, or experiments using
     systems.

The papers should be prepared following the LNCS guidelines and should
be submitted electronically.  Further information and submission
instructions will be posted at the Calculemus 2005 web page

  http://imps.mcmaster.ca/calculemus-2005/.


Important dates:

E-submission of title and abstract:       February 18, 2005
E-submission deadline:                       March 11, 2005
Notification of acceptance:                  April 15, 2005
Final versions due:                           May  13, 2005    
Symposium:                                 July 18-19, 2005


Program committee:

TBA


Symposium chairs:

Jacques Carette
William Farmer

McMaster University
Hamilton, Ontario, Canada
{carette,wmfarmer}@mcmaster.ca

------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Nov 10 15:07:41 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAAL7fZi001844
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 15:07:41 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAAL7eVf001843
	for reliable_computing-outgoing; Wed, 10 Nov 2004 15:07:40 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAAL7VV8001838
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 15:07:37 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAAL7PD27212;
	Wed, 10 Nov 2004 14:07:25 -0700 (MST)
Message-Id: <200411102107.iAAL7PD27212 [at] cs [dot] utep.edu>
Date: Wed, 10 Nov 2004 14:07:24 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Computational Statistics Special Issue: forwarding 
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: francesco.palumbo [at] unimc [dot] it
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: G9KPJ/DVcuGahIFW4vFQmQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id iAAL7cV8001840
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000015

From: "Francesco Palumbo (UniMC)" <francesco.palumbo [at] unimc [dot] it>
Subject: Computational Statistics Special Issue

Dear Colleagues,

...

I am pleased to tell you that a special issue of Computational
Statistics Journal on "Statistical Analysis of Interval Data" will be
published. It is my great honor and pleasant duty to serve the
Journal as the Guest Editor of the special issue. 

Please consider submitting a contribution. Please 
forward this message to other potential interested people.

A detailed call for paper can be found at 
http://www.cs.utep.edu/interval-comp/stat05.pdf

Best regards,

Francesco Palumbo

+=======================================================+
| Francesco Palumbo                                     |
| Dipartimento di Istituzioni Economiche e Finanziarie  |
| Università di Macerata                                |
| Via Crescimbeni, 20                                   |
| 62100 MACERATA                                        | 
| Fax:          +39 0733 2583205                        | 
| Phone:        +39 0733 2583201                        | 
| Mobile phone: +39 320  4393974                        |
+-------------------------------------------------------+
| Università di Napoli Federico II                      |
| Dipartimento di Matematica e Statistica               |  
| Phone:        +39 081  675118                         |
| Fax:          +39 081  675009                         |
+=======================================================+ 



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Nov 10 19:35:19 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAB1ZJii002266
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 19:35:19 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAB1ZIbD002265
	for reliable_computing-outgoing; Wed, 10 Nov 2004 19:35:18 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAB1ZA0q002261
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 19:35:15 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAB1Z0J29199;
	Wed, 10 Nov 2004 18:35:00 -0700 (MST)
Message-Id: <200411110135.iAB1Z0J29199 [at] cs [dot] utep.edu>
Date: Wed, 10 Nov 2004 18:34:59 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: CCA 2005: mark your calendars
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: vladik [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: hX+jsQYwF/LmKb2a99uYmQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000016


------------- Begin Forwarded Message -------------
From: Peter Hertling <hertling [at] informatik [dot] unibw-muenchen.de>

CCA 2005, the
Second International Conference on Computability and Complexity in Analysis,
will take place in Kyoto, Japan, August 26-29, 2005.
More detailed information will soon be available at
http://cca-net.de/cca2005

yours sincerely,
Peter Hertling

------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Nov 10 22:30:52 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAB4UqNP002589
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 22:30:52 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAB4UqlX002588
	for reliable_computing-outgoing; Wed, 10 Nov 2004 22:30:52 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAB4Ug3w002584
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 22:30:48 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAB4UXm00136;
	Wed, 10 Nov 2004 21:30:33 -0700 (MST)
Message-Id: <200411110430.iAB4UXm00136 [at] cs [dot] utep.edu>
Date: Wed, 10 Nov 2004 21:30:33 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: workshop on applications of interval methods: mark your calendar
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: Uk9/9EK3javX3yI7dkIIcw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000017

Dear Friends, I am forwarding this brief very preliminary info so that you may 
mark your calendar for the dates and plan other meeting accordingly. Vladik
**************************************************************************

From: Kaj Madsen <km [at] imm [dot] dtu.dk>
Re: Workshop on Applications of Interval Methods

...

In August 2005, we are again arranging a workshop in Copenhagen 
on interval analysis and its applications. This time, the focus will
be on applications. 

The Second Scandinavian Workshop on Interval Methods and Their
Applications will take place at the Technical University of Denmark
during August 25-27, 2005. 

...

Best wishes
Kaj.


From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Nov 10 23:13:46 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAB5DkUo002730
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 23:13:46 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAB5Dkkm002729
	for reliable_computing-outgoing; Wed, 10 Nov 2004 23:13:46 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAB5DaLg002724
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 23:13:41 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAB5DRS00450
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 10 Nov 2004 22:13:28 -0700 (MST)
Message-Id: <200411110513.iAB5DRS00450 [at] cs [dot] utep.edu>
Date: Wed, 10 Nov 2004 22:13:27 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: mark your calendars: IEEE Conference on Granular Computing 
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: p7kxmn35kPRVpYnwfI/OIQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000018


Dear Friends, 

Granular computing is a general idea that includes interval granules as a 
particular case. 

In view of this, it may be of intereste to the folks from the interval 
computations community, specially those who are interested in relations between 
intervals and fuzzy and knowledge representation, that 
the Administrative Committee of the IEEE Computational Intelligence
Society has recently approved the proposal to hold the 
IEEE International Conference on Granular Computing
at Tsinghua University, Beijing, China, July 25-27, 2005.

Professors T.Y. Lin and Ronald Yager kindly agreed to serve as 
General Chairs of this conference. 

This conference will be held back-to-back 
with the 11th World Congress of the International Fuzzy 
Systems Organization IFSA'05, Beijing, China, July 28-31, 2005. 


From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 14 13:04:28 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAEJ4Rw5010283
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 14 Nov 2004 13:04:27 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAEJ4Rkd010282
	for reliable_computing-outgoing; Sun, 14 Nov 2004 13:04:27 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAEJ4Its010278
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 14 Nov 2004 13:04:24 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAEJ3g602725;
	Sun, 14 Nov 2004 12:03:42 -0700 (MST)
Message-Id: <200411141903.iAEJ3g602725 [at] cs [dot] utep.edu>
Date: Sun, 14 Nov 2004 12:03:42 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: FUZZ-IEEE'05 deadline extended
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: kraghura [at] in [dot] ibm.com
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: /Zi8LMFsIlog7wZawjee0A==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000019

Dear Friends, 

I have just been informed that the deadline for the 2005 IEEE International 
Conference on Fuzzy Systems FUZZ-IEEE'2005, Reno, Nevada, May 22-25, 2005, has 
been extended to December 20, 2004. 

As you know, the organizers are very much interested in having a good interval 
session at this conference, they encourage us to send more submissions. 

Please check the conference webpage http://www.fuzzieee2005.org/ for more 
details. 

Thaks a lot. 

Vladik

*************************************************************************
Subject: FUZZIEEE 2005
From: Raghuram Krishnapuram <kraghura [at] in [dot] ibm.com>

...

Please contact your professional
colleagues and inform them about the extended deadline. We need to
encourage more submissions. 

Thanks.

Raghu Krishnapuram
Manager, Information Management
IBM India Research Lab
Block 1, Indian Institute of Technology
Hauz Khas, New Delhi 110016
INDIA
Phone - Direct: +91 11 5129 2200;
Phone - Board: +91 11 2686-1100 (x 2200)
Tie Line: 92 45200
Fax: +91 11 2686-1555


From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov 18 23:07:01 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAJ570iQ020218
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Thu, 18 Nov 2004 23:07:00 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAJ5702G020217
	for reliable_computing-outgoing; Thu, 18 Nov 2004 23:07:00 -0600 (CST)
Received: from sys35.mail.msu.edu (sys35.mail.msu.edu [35.9.75.135])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAJ56nWP020213
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 18 Nov 2004 23:06:55 -0600 (CST)
Received: from c-24-11-149-116.client.comcast.net ([24.11.149.116] helo=TP570MSUKM)
	by sys35.mail.msu.edu with asmtp (Exim 4.32 #22)
	(TLSv1:RC4-MD5:128)
	id 1CV0xm-0007Sw-23; Fri, 19 Nov 2004 00:05:38 -0500
Reply-To: <makino [at] msu [dot] edu>
From: "Kyoko Makino" <makino [at] msu [dot] edu>
To: <makino [at] msu [dot] edu>
Subject: Third International Workshop on Taylor Methods
Date: Fri, 19 Nov 2004 00:08:27 -0500
Message-ID: <NEBBLGMLDAEBJEKKJNEKKEBJFNAA.makino [at] msu [dot] edu>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.6604 (9.0.2911.0)
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441
X-Virus: None found by Clam AV
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000020

         Final Call for Participation

Third International Workshop on Taylor Methods
           Miami Beach, Florida, USA

Website:  http://bt.pa.msu.edu/TM/Miami2004/
Title/Abstract submission deadline: November 21, 2004
Hotel reservation deadline: December 1, 2004
Workshop: December 16-20, 2004

Topics: High-Order Methods, Automatic Differentiation, Validated
Methods, Taylor Models, ODE and PDE Solvers, Global Optimization,
Constraint Satisfaction, Beam Physics, Optics.


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 22 17:06:42 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAMN6fvQ029529
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 22 Nov 2004 17:06:41 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAMN6flu029528
	for reliable_computing-outgoing; Mon, 22 Nov 2004 17:06:41 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAMN6W0w029524
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 22 Nov 2004 17:06:38 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAMN6A914750;
	Mon, 22 Nov 2004 16:06:10 -0700 (MST)
Message-Id: <200411222306.iAMN6A914750 [at] cs [dot] utep.edu>
Date: Mon, 22 Nov 2004 16:06:09 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Moore's review of Kulisch's book: FYI
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: KfFCmJvNqHbkejbjTyoJBw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000021

The latest issue of SIAM Review Vol. 46, No. 4, December 2004, has Ramon E. 
Moore's review of a recent book Advanced Arithmetic for the Digital Computer, 
by Ulrich W. Kulisch, Springer-Verlag, Wien, 2002. 


From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 23 14:44:16 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iANKiGCG001512
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 23 Nov 2004 14:44:16 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iANKiFpr001511
	for reliable_computing-outgoing; Tue, 23 Nov 2004 14:44:15 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iANKi6IL001507
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 23 Nov 2004 14:44:12 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iANKi0I23800;
	Tue, 23 Nov 2004 13:44:00 -0700 (MST)
Message-Id: <200411232044.iANKi0I23800 [at] cs [dot] utep.edu>
Date: Tue, 23 Nov 2004 13:44:01 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Conference: Virtual Concept 2005
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: martineceberio [at] yahoo [dot] com, mceberio [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: RPxauRL9quRQWPDbzbDF2A==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000022

forwarding
------------- Begin Forwarded Message -------------
From: Martine Ceberio <martineceberio [at] yahoo [dot] com>

I am part of the program committee of Virtual Concept 2005,
an international conference that will be held in Biarritz (France), next
Fall. 

This conference encompasses a lot of topics, among which in
particular:
- constraint based modellling in design
- virtual reality and optimization of productor process
- virtual reality and robotics
- etc.
This may be of interest to people from the interval mailing
list.
The call for paper is available at the following url:
http://www.virtualconcept.estia.fr/call4paper.php?logout=1


Dr. Martine Ceberio
UTEP
Computer Science Department
500 West University
El Paso, Texas 79968-0518
mceberio [at] cs [dot] utep.edu
http://www.cs.utep.edu/mceberio
phone. 00 1 915 747 69 50
fax.   00 1 915 747 50 30

------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 23 23:10:11 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAO5ABCQ002437
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 23 Nov 2004 23:10:11 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAO5ABON002436
	for reliable_computing-outgoing; Tue, 23 Nov 2004 23:10:11 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAO5A1oe002432
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 23 Nov 2004 23:10:07 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAO59tc27745;
	Tue, 23 Nov 2004 22:09:56 -0700 (MST)
Message-Id: <200411240509.iAO59tc27745 [at] cs [dot] utep.edu>
Date: Tue, 23 Nov 2004 22:09:56 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: A3L 2nd Announcement and Call for Papers
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: a3l [at] dormouse [dot] fmi.uni-passau.de
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: QWgmIRXbT74gvabOgIBsRg==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000023

conference of potential interest to interval computations researchers

------------- Begin Forwarded Message -------------


From: "A. Dolzmann A. Seidl T. Sturm" <a3l [at] dormouse [dot] fmi.uni-passau.de>


*********************************************************************

                 2nd ANNOUNCEMENT AND CALL FOR PAPERS

                               A3L-2005

                    Algorithmic Algebra and Logic
   Conference in Honor of the 60th Birthday of Volker Weispfenning
                    University of Passau, Germany
                          http://www.A3L.org

*********************************************************************

The A3L conference is intended to be the first one of a series of
conferences on symbolic computation but with focus on commutative
algebra and the combination of computer algebra with logic, e.g.
effective quantifier elimination. Work on algorithms, their
implementation, and practical application.

A3L will be held at the University of Passau, Germany, from April 3 to
6, 2005.


Paper Submission
----------------
Authors should submit not later than November 28, 2004, by email to
jsc [at] A3L [dot] org and/or to proceedings [at] A3L [dot] org, resp.

There are two possible types of submissions:

(A) extended abstracts (2-4 pages) for the conference proceedings volume
(B) full papers for a special issue of the Journal of Symbolic
    Computation.

Material that is submitted only as an extented abstract need not be
original. Also it may be published in a different form elsewhere
later.

For full paper authors (B), the usual rules of the JSC apply. The
additional submission of an extended abstract (A) is mandatory.


Important Dates
---------------
*Deadline for Submissions:              November 28, 2004

*Notification of Acceptance:            January 13, 2005

*Registration and Welcome Reception:    April 2, 2005

*Scientific Conference Program:         April 3-6, 2005


Conference Topics
-----------------
Topics of the meeting include, but are not limited to:

 -Algorithmic Mathematics: Algebraic, symbolic and symbolic-numeric
  algorithms. Manipulation of formulas from logic, simplification,
  function manipulation, equations, summation, integration and
  differentiation, ODE/PDE, linear algebra, number theory, group and
  geometric computing, effective quantifier elimination.

 -Formal Deduction: Combination of methods or systems from computer
  algebra and computer deduction, design and implementation issues in
  integrated systems, formal method problems requiring mixed computing
  and proving, case studies and applications.

 -Computer Science: Theoretical and practical problems in symbolic
  computation. Systems, problem solving environments, user interfaces,
  parallel/distributed computing, programming languages, theoretical
  and practical complexity of computer algebra algorithms, code
  generation, mathematical data structures and exchange protocols.

 -Applications: Problem treatments using algebraic, logic, symbolic or
  symbolic-numeric computation. Engineering, economics and finance,
  physical and biological sciences, computer science, logic,
  mathematics, statistics, education.


Instructions for Authors
------------------------
Latex styles and detailed author instructions are available at
www.A3L.org/instructions.

For both sorts of submissions the authors are asked to make clear in
the abstract and in the introduction what is the relation to Volker
Weispfenning's work. The relation may be very loose. In fact, due to
the very broad scope of Volker Weispfenning's work, most topics from
computer algebra will fit fine. Contributions from the areas of applied
algebra, complexity, or model theory are highly appreciated as well.


Organizing Committee
--------------------

 General Chair:
    Thomas Sturm

 Program Committee Chair:
    Andreas Dolzmann

 Program Committee:
    Hirokazu Anai, Japan 
    Eberhard Becker, Germany 
    Christopher Brown, USA 
    Victor Ganzha, Germany 
    Vladimir Gerdt, Russia 
    Laureano Gonzalez-Vega, Spain 
    Hoon Hong, USA 
    David Jeffrey, Canada 
    Wolfgang Kuechlin, Germany 
    Scott McCallum, Australia 
    Teo Mora, Italy 
    Alexander Prestel, Germany 
    Eugenio Roanes-Lozano, Spain 
    Dongming Wang, France 
    Andreas Weber, Germany 
    Franz Winkler, Austria 
    Martin Ziegler, Germany

 Publicity Chair:
    Andreas Seidl

=====================================================================
Please send all the comments to the appropriate contact: info [at] A3L [dot] org

------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 30 10:56:06 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUGu62q000348
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 10:56:06 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAUGu1wb000347
	for reliable_computing-outgoing; Tue, 30 Nov 2004 10:56:01 -0600 (CST)
Received: from GreenSrv.rz.unibw-muenchen.de (greensrv.RZ.UniBw-Muenchen.de [137.193.10.35])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUGtdPQ000343
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 10:55:45 -0600 (CST)
Received: from localhost (GreenSrv [127.0.0.1])
	by GreenSrv.rz.unibw-muenchen.de (8.12.8/8.12.8) with ESMTP id iATD0qGo014038;
	Mon, 29 Nov 2004 14:00:52 +0100
Received: from GreenSrv.rz.unibw-muenchen.de ([127.0.0.1])
 by localhost (GreenSrv [127.0.0.1]) (amavisd-new, port 10024) with LMTP
 id 13987-01; Mon, 29 Nov 2004 14:00:48 +0100 (CET)
Received: from spica.informatik.unibw-muenchen.de (spica.Informatik.UniBw-Muenchen.de [137.193.62.18])
	by GreenSrv.rz.unibw-muenchen.de (8.12.8/8.12.8) with ESMTP id iATCwnWV013875;
	Mon, 29 Nov 2004 13:58:49 +0100
X-Remarks: If SPAM is relayed via GreenSrv.rz.unibw-muenchen.de to outside of unibw-muenchen.de, please report it to abuse@unibw-muenchen.de
Received: (from root@localhost)
	by spica.informatik.unibw-muenchen.de (8.10.2/8.10.2) id iATCwiO21979;
	Mon, 29 Nov 2004 13:58:44 +0100
Date: Mon, 29 Nov 2004 13:58:44 +0100
Message-Id: <200411291258.iATCwiO21979 [at] spica [dot] informatik.unibw-muenchen.de>
From: "Peter Hertling" <hertling [at] informatik [dot] unibw-muenchen.de>
To: cca-list@fernuni-hagen.de, COMP-THY [at] LISTSERV [dot] ND.EDU, comprox [at] doc [dot] ic.ac.uk,
        na.digest@na-net.ornl.gov, reliable_computing [at] interval [dot] louisiana.edu,
        fom [at] math [dot] psu.edu, THEORYNT [at] listserv [dot] nodak.edu
Subject: CCA 2005 - First Call for Papers
X-Mailer: NeoMail 1.25
X-IPAddress: 217.248.124.133
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
X-Virus-Scanned: by amavisd-new at GreenSrv.rz.unibw-muenchen.de
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000024

____________________________________________________________________

   First Announcement and Call for Papers
____________________________________________________________________

   C C A   2 0 0 5

   Second International Conference on
   Computability and Complexity in Analysis

   August 26-29, 2005, Kyoto, Japan

   http://cca-net.de/cca2005
____________________________________________________________________

   Submissions:

   Authors are invited to submit a PostScript or PDF version of
   a paper to the email address provided on the web site of the
   conference.


   Dates:

   Submission:                        May 1, 2005
   Notification:                      June 5, 2005
   Camera-ready version:              July 3, 2005
   Satellite seminars and reception:  August 26, 2005
   Main conference:                   August 27-29, 2005

   The satellite seminars will consist of introductory lectures
   to CCA and related areas. More detailed information will
   soon be available on the web site of the conference.


   Scope

   The conference is concerned with the theory of computability
   and complexity over real-valued data.

   Computability and complexity theory are two central areas
   of research in mathematical logic and theoretical computer
   science. Computability theory is the study of the limitations
   and abilities of computers in principle. Computational
   complexity theory provides a framework for understanding the
   cost of solving computational problems, as measured by the
   requirement for resources such as time and space.
   The classical approach in these areas is to consider
   algorithms as operating on finite strings of symbols from a
   finite alphabet. Such strings may represent various discrete
   objects such as integers or algebraic expressions, but cannot
   represent general real or complex numbers, unless they are
   rounded.

   Most mathematical models in physics and engineering, however,
   are based on the real number concept. Thus, a computability
   theory and a complexity theory over the real numbers and over
   more general continuous data structures is needed. Unlike the
   well established classical theory over discrete structures,
   the theory of computation over continuous data is still in
   its infancy, despite remarkable progress in recent years.
   Many important fundamental problems have not yet been studied,
   and presumably numerous unexpected and surprising results are
   waiting to be detected.

   Scientists working in the area of computation on real-valued
   data come from different fields, such as theoretical computer
   science, domain theory, logic, constructive mathematics,
   computer arithmetic, numerical mathematics and all branches
   of analysis. The conference provides a unique opportunity for
   people from such diverse areas to meet and exchange ideas and
   knowledge.

   The topics of interest include foundational work on various
   models and approaches for describing computability and
   complexity over the real numbers. They also include
   complexity-theoretic investigations, both foundational and
   with respect to concrete problems, and new implementations of
   exact real arithmetic, as well as further developments of
   already existing software packages. We hope to gain new
   insights into computability-theoretic aspects of various
   computational questions from physics and from other fields
   involving computations over the real numbers.


   Scientific Program Committee:

   Vasco Brattka          (Cape Town, South Africa)
   Peter Hertling, chair  (Munich, Germany)
   Hajime Ishihara        (Ishikawa, Japan)
   Iraj Kalantari         (Macomb, USA)
   Ker-I Ko               (Stony Brook, USA)
   Vladik Kreinovich      (El Paso, USA)
   Jack H. Lutz           (Ames, USA)
   Joseph S. Miller       (Bloomington, USA)
   Robert Rettinger       (Hagen, Germany)
   Matthias Schröder      (Edinburgh, Scotland)
   Alex Simpson           (Edinburgh, Scotland)
   Klaus Weihrauch        (Hagen, Germany)
   Atsushi Yoshikawa      (Kyushu, Japan)
   Xizhong Zheng          (Cottbus, Germany)
   Ning Zhong             (Cincinnati, USA)
   Martin Ziegler         (Paderborn, Germany)


   Organizing Committee:

   Hiroyasu Kamo          (Nara, Japan)
   Takakazu Mori          (Kyoto, Japan)
   Izumi Takeuti          (Toho, Japan)
   Hideki Tsuiki, chair   (Kyoto, Japan)
   Yoshiki Tsujii         (Kyoto, Japan)
   Mariko Yasugi          (Kyoto, Japan)


   Invited Speakers

   Vasco Brattka          (Cape Town, South Africa)
   Masami Hagiya          (Tokyo, Japan)
   Daisuke Takahashi      (Waseda, Japan)


   Proceedings

   A technical report including the accepted papers will be
   distributed at the conference.

   It is planned to publish a special issue of the
   Journal of Complexity dedicated to the conference.
   After the workshop, the participants will be invited to submit
   their papers for publication in this special issue. The papers
   will be subject to the usual refereeing process of the journal.


   Venue

   The conference will be held on the Yoshida Campus of
   Kyoto University.
   Kyoto was the imperial capital of Japan for over 1000 years
   until 1867. It has many famous temples, shrines, national
   treasures, and festivals, and it is still the cultural center
   of Japan. Kyoto is also known as an academic city with many
   universities and research institutes.


   Local Information

   Kyoto is about 100 km north-east of Kansai International
   Airport.
   Travel and on-site information will soon be available on the
   web site of the conference.


   Support

   The conference is supported by the Graduate School of Human
   and Environmental Studies, Kyoto University.
______________________________________________________________________



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 30 11:26:54 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUHQrBF000563
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 11:26:53 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAUHQqOh000562
	for reliable_computing-outgoing; Tue, 30 Nov 2004 11:26:52 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUHQbY4000555
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 11:26:47 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAPLR1T12502;
	Thu, 25 Nov 2004 14:27:01 -0700 (MST)
Message-Id: <200411252127.iAPLR1T12502 [at] cs [dot] utep.edu>
Date: Thu, 25 Nov 2004 14:27:01 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: reliable engineering computing
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: Robert.Mullen [at] case [dot] edu, rafi.muhanna [at] gtrep [dot] gatech.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: mIKcbnhxc0rQjwEituLTLQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000025

Dear Friends, 

Once again, many thanks to the organizers to the international
Workshop on Reliable Engineering Computing (Savannah, Georgia,
September 15-17, 2005), especially to Rafi L. Muhanna and 
Robert L. Mullen, Workshop Co-Chairs. 

This workshop was a great success. Overall, 24 papers by 35 speakers
were presented, and 45 registered participants actively participated
in the workshop. 

This workshop was made possible through the sponsorship of the 
National Science Foundation (NSF), the Computing and Systems
Technology (CAST) Division of the American Institute
of Chemical Engineers (AIChE), the Society for Risk Analysis, Sun
Microsystems, and the Georgia Institute of Technology.

Coordination of the event was provided by the Center for Reliable
Engineering Computing at Georgia Tech Savannah.

The workshop presentations are posted on the workshop website 
http://www.gtrep.gatech.edu/rec/recworkshop/
The international journal Reliable Computing is planning to publish a
special issue with extended versions of the presented papers. 

At the working meeting, all the participants agreed that this workshop 
was a great start, and that it is desirable to hold such workshops on
a regular biannual basis. Drs. Muhanna and Mullen kindly volunteered
to organize the next workshop in Savannah, Georgia, in 2006. Based on
the requests of participants from different countries, it looks like
end of February 2006 is the best time for the next workshop. 

To attract even more engineers to our meetings, the participants
decided that it would be beneficial to have a subtitle clarifying the
workshop's topic, so the next workshop will be a workshop on Reliable
Engineering Computing: Uncertainty in Engineering Computations. 

The participants also agreed that it would be a great idea to keep a
list of open problems related to reliable engineering
computing. Dr. Mullen kindly agreed to serve as a contact point for
possible problem and to post the overview of the resulting open
problem on the website of the Center for Reliable
Engineering Computing. Please send suggestions, ideas, and problems 
to Robert L. Mullen at Robert.Mullen [at] case [dot] edu

 


From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 30 11:27:11 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUHQsxq000566
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 11:26:54 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAUHQrtE000564
	for reliable_computing-outgoing; Tue, 30 Nov 2004 11:26:53 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUHQbY6000555
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 11:26:48 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id iAPIvod11775;
	Thu, 25 Nov 2004 11:57:50 -0700 (MST)
Message-Id: <200411251857.iAPIvod11775 [at] cs [dot] utep.edu>
Date: Thu, 25 Nov 2004 11:57:50 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: ECCAD'05 - Call For Participation
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: iajwa [at] ashland [dot] edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: zgjqbbLj+voSubHzJGJ58Q==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000026

This may be of interest to interval computations researchers.

------------- Begin Forwarded Message -------------

From: "Iyad Ajwa" <iajwa [at] ashland [dot] edu>


                          ECCAD 2005
The 12th Annual East Coast Computer Algebra Day
            CALL  FOR  PARTICIPATION

HOSTED BY: 
The Department of Mathematics and Computer Science
Ashland University
Ashland, Ohio, USA

DATE: March 12, 2005
CONFERENCE WEBSITE:   http://www.ashland.edu/~eccad 
CONFERNCE EMAIL:  eccad [at] ashland [dot] edu 

=========================================
ECCAD, East Coast Computer Algebra Day, is an annual conference that
provides opportunities to learn and share new developments and to
present research results in the areas of symbolic and mathematical
computation. 

The 12th Annual East Coast Computer Algebra Day (ECCAD 2005) will be
held on Saturday, March 12, 2005. It will be hosted by the Department of
Mathematics and Computer Science at Ashland University in Ashland, Ohio,
USA. 

ECCAD 2005 will be in honor of Professor Bob Caviness's 65th birthday.
Bob Caviness is a Professor Emeritus (with a joint appointment in
Mathematical Sciences) and former Chair of the Department of Computer &
Information Sciences at the University of Delaware. His research
interests include the design and analysis of algebraic algorithms, in
particular, algorithmic decision procedures for integration in finite
terms and for computing closed form solutions of differential
equations.More recently he has turned to web-based technologies. He has
five Ph.D. and two M.S students. Professor Caviness has served in
various editorial capacities for the following jourmals: ACM
Transactions on Mathematical Software, ACM Computing Reviews,
CONSTRAINTS, the online e-commerce journal ACM SIGecom Exchanges, and
the Journal of Symbolic Computation. He served as Editor-in-Chief of the
latter journal for the period 1995-2000. He has also lectured widely and
served the profession in many other capacities. Happy Birthday, Bob! 

THEMES:
- Algebraic Algorithms 
- Symbolic-Numeric Computation 
- Computer Algebra Systems 
- Mathematical Communication 
- Complexity of Algebraic Problems 
- Symbolic and Numerical Linear Algebra 
- Applications of Symbolic Computation 

INVITED SPEAKERS:
The following speakers have been confirmed. Titles and abstracts will
be announced on the Conference Website at http://www.ashland.edu/~eccad
once they become available.
1. Professor Bruno Buchberger - Johannes Kepler University, Linz,
Austria.
2. Professor Erich Kaltofen - North Carolina State University, Raleigh,
NC.
3. Professor David Saunders - University of Delaware, Newark, DE.
4. Professor Paul Wang - Kent State University, kent, OH.

REGISTRATION:
Online Registration is available on the Conference Website at
http://www.ashland.edu/~eccad. 

POSTER  SESSIONS:
Two poster sessions will be held at the conference. Participants are
invited to submit their posters by the submission deadline of February
25, 2005. Poster abstracts received before the submission deadline will
be included in The ECCAD'2005 Book of Abstracts which will be available
at the conference.

POSTER SUBMISSION:
Poster abstracts may be up to 2 pages long. The submission deadline is
February 25, 2005. To submit a poster, either use the Online
Registration Form (available on the Conference Website at
http://www.ashland.edu/~eccad) to provide the title and abstract of
your poster, or send the title and abstract of your poster by email to
eccad [at] ashland [dot] edu 

TRAVEL SUPPORT:
Pending NSF support, the conference hopes to be able to provide limited
travel support for some participants to attend ECCAD'2005.  Graduate
students and junior faculty are particularly encouraged to apply.
Support may cover only partially travel expenses and lodging for up to
two nights.  There will be no stipends. Make sure the flight has a
flight number of a US carrier. If you plan to attend and apply for
support, please send your inquiry with an itemized estimate of your
expenses to eccad [at] ashland [dot] edu. Please note that if your application is
approved and if funding is available, you will receive your
reimbursement after the conference. All applications for support are due
by March 1, 2005. Support is subject to successful funding. 

ACCOMMODATIONS:
Blocks of rooms have been reserved at two local hotels for participants
of ECCAD'2005. Deatiled Information will be posted soon on the
Conference Website at http://www.ashland.edu/~eccad. 

ADVISORY COUNCIL:
- Bruce Char - Drexel University, USA 
- Erich Kaltofen - North Carolina State University, USA 
- Ilias Kotsireas - Wilfrid Laurier University, CANADA 
- David Saunders - University of Delaware, USA 
- William Sit - The City College of the City University of New York,
USA 
- Paul S. Wang - Kent State University, USA 
- Stephen Watt - University of Western Ontario, CANADA 

ORGANIZER:
Iyad A. Ajwa
Department of Mathematics and Computer Science
Ashland University
Ashland, Ohio 44805, USA
+1 419.289.5798
iajwa [at] ashland [dot] edu

SPONSORS:
- Ashland University
- College of Arts and Sciences
- Department of Mathematics and Computer Science
- National Science Foundation

CONFERENCE CONTACT:
Iyad A. Ajwa
Department of Mathematics and Computer Science
Ashland University
Ashland, Ohio 44805
USA
Tel:     +1 419.289.5798
FAX:  +1 419.289.5791
iajwa [at] ashland [dot] edu
eccad [at] ashland [dot] edu 

OTHER INFORMATION:
Previous ECCAD conference homepages can be consulted at:
http://www.cis.udel.edu/~saunders/eccad/. 

Iyad...

***********************************************************
Iyad A. Ajwa, Ph.D.
Associate Professor
Department of Mathematics and Computer Science
Ashland University
Ashland, OH 44805, USA
Phone: +1 419.289.5798
FAX:    +1 419.289.5791
www.ashland.edu/~iajwa/
***********************************************************

------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 30 11:49:16 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUHnFGH000815
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 11:49:15 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAUHnFVP000814
	for reliable_computing-outgoing; Tue, 30 Nov 2004 11:49:15 -0600 (CST)
Received: from imap.univie.ac.at (mailbox-lmtp.univie.ac.at [131.130.1.27])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUHn5SO000810
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 11:49:11 -0600 (CST)
Received: from univie.ac.at (theseus.mat.univie.ac.at [131.130.16.23])
	by imap.univie.ac.at (8.12.10/8.12.10) with ESMTP id iATFO01B303792;
	Mon, 29 Nov 2004 16:24:02 +0100
Message-ID: <41AB3F10.3090605 [at] univie [dot] ac.at>
Date: Mon, 29 Nov 2004 16:24:00 +0100
From: Arnold Neumaier <Arnold.Neumaier [at] univie [dot] ac.at>
Organization: University of Vienna
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.3) Gecko/20041005
X-Accept-Language: en, de
MIME-Version: 1.0
To: interval <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Interval methods for uncertain mechanical systems
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-DCC-ZID-Univie-Metrics: mx9.univie.ac.at 4248; Body=2 Fuz1=2 Fuz2=2
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000027

The following paper can be downloaded from
http://www.mat.univie.ac.at/~neum/papers.html#linunc



A. Neumaier and A. Pownuk,
Linear systems with large uncertainties, with applications to truss
structures


Abstract
--------
Linear systems whose coefficients have large uncertainties
arise routinely in finite element calculations for
structures with uncertain geometry, material properties, or loads.
However, a true worst case analysis of the influence of such
uncertainties was previously possible only for very small systems
and uncertainties, or in special cases where the coefficients do
not exhibit dependence.

This paper presents a method for computing rigorous bounds on the
solution of such systems, with a computable overestimation factor that
is frequently quite small. The merits of the new approach are
demonstrated by computing realistic bounds for some large, uncertain
truss structures, some leading to linear systems with over
5000 variables and over 10000 interval parameters, with excellent
bounds for up to about 10% input uncertainty.

Also discussed are some counterexamples for the performance of
traditional approximate methods for worst case uncertainty analysis.


From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 30 14:43:55 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUKhtGk001062
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 14:43:55 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id iAUKhsod001061
	for reliable_computing-outgoing; Tue, 30 Nov 2004 14:43:54 -0600 (CST)
Received: from ms-smtp-01-eri0.ohiordc.rr.com (ms-smtp-01-smtplb.ohiordc.rr.com [65.24.5.135])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id iAUKhiYf001057
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 30 Nov 2004 14:43:51 -0600 (CST)
Received: from Moore (wor226164.columbus.rr.com [204.210.226.164])
	by ms-smtp-01-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id iAUKhYlw013767;
	Tue, 30 Nov 2004 15:43:40 -0500 (EST)
Message-ID: <000301c4d71d$47abc780$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: "Arnold Neumaier" <Arnold.Neumaier [at] univie [dot] ac.at>,
        "interval" <reliable_computing [at] interval [dot] louisiana.edu>
References: <41AB3F10.3090605 [at] univie [dot] ac.at>
Subject: Re: Interval methods for uncertain mechanical systems
Date: Tue, 30 Nov 2004 15:43:38 -0500
MIME-Version: 1.0
Content-Type: text/plain;
	format=flowed;
	charset="iso-8859-1";
	reply-type=response
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Status:  O
X-Status: $$$$
X-UID: 0000000028

This well-written paper by Neumaier and Pownuk offer a new method 
representing an advance over pre-existing methods for a particular class of 
problems: uncertainty analysis in structural mechanics based on finite 
element analysis when the only uncertainty is in the element stiffness 
coefficients. The authors intelligently exploit the structure of such 
problems with "proper pre-conditioning" and iterative methods. Well-chosen 
examples illustrate the advantages over other methods.

Perhaps only two suggestions are in order. (1) Some brief summary of the key 
ideas of "the new approach" should be included in the abstract and in the 
introduction. (2) On page 22, lines 4 and 5 from the top, the u's should 
have double-primes.

Congratulations Arnold and Andrzej, this is an excellent paper.

Ramon Moore

----- Original Message ----- 
From: "Arnold Neumaier" <Arnold.Neumaier [at] univie [dot] ac.at>
To: "interval" <reliable_computing [at] interval [dot] louisiana.edu>
Sent: Monday, November 29, 2004 10:24 AM
Subject: Interval methods for uncertain mechanical systems


> The following paper can be downloaded from
> http://www.mat.univie.ac.at/~neum/papers.html#linunc
>
>
>
> A. Neumaier and A. Pownuk,
> Linear systems with large uncertainties, with applications to truss
> structures
>
>
> Abstract
> --------
> Linear systems whose coefficients have large uncertainties
> arise routinely in finite element calculations for
> structures with uncertain geometry, material properties, or loads.
> However, a true worst case analysis of the influence of such
> uncertainties was previously possible only for very small systems
> and uncertainties, or in special cases where the coefficients do
> not exhibit dependence.
>
> This paper presents a method for computing rigorous bounds on the
> solution of such systems, with a computable overestimation factor that
> is frequently quite small. The merits of the new approach are
> demonstrated by computing realistic bounds for some large, uncertain
> truss structures, some leading to linear systems with over
> 5000 variables and over 10000 interval parameters, with excellent
> bounds for up to about 10% input uncertainty.
>
> Also discussed are some counterexamples for the performance of
> traditional approximate methods for worst case uncertainty analysis.
>
>