From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Oct 4 12:27: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 i94HRqpo023005 for ; Mon, 4 Oct 2004 12:27:52 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i94HRqJY023004 for reliable_computing-outgoing; Mon, 4 Oct 2004 12:27:52 -0500 (CDT) Received: from signals.gtrep.gatech.edu (signals.gtrep.gatech.edu [168.20.172.14]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i94HRdrC023000 for ; Mon, 4 Oct 2004 12:27:49 -0500 (CDT) Received: from rmuhannalptptoshiba (rmuhanna-lptp-toshiba.gtrep.gatech.edu [10.50.20.191]) by signals.gtrep.gatech.edu (8.12.8/8.12.8) with SMTP id i94HQmnu002798 for ; Mon, 4 Oct 2004 13:26:48 -0400 Message-ID: <01ec01c4aa37$543a3300$bf14320a@rmuhannalptptoshiba> From: "Rafi Muhanna" To: Subject: REC'04-Conference information Date: Mon, 4 Oct 2004 13:26:48 -0400 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_01E9_01C4AA15.CD227880" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1437 x-mimeole: Produced By Microsoft MimeOLE V6.00.2800.1441 X-GTSAV-MailScanner-Information: Please contact the ISP for more information X-GTSAV-MailScanner: Found to be clean X-MailScanner-From: rafi.muhanna [at] gtrep [dot] gatech.edu Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_01E9_01C4AA15.CD227880 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear All: We would like to bring to your attention the first NSF Workshop on = Reliable Engineering Computing that has been held at the Center for = Reliable Engineering Computing, Georgia Tech, Savannah, USA during the = September 15-17, 2004. The main focus of the workshop was Uncertainty in Engineering = Computations. The main feature was the cross-disciplinary research = activity that included Mathematics, Computer science, Biology and the = different areas of engineering. More information can be found at: http://www.gtsav.gatech.edu/rec/recworkshop/ The second Workshop on Reliable Engineering Computing will be held = during 2006. Rafi Muhanna and Bob Mullen ______________________________________________________ Rafi L. Muhanna Director, Center for Reliable Engineering Computing (REC) School of Civil & Environmental Engineering Georgia Institute of Technology, Savannah =20 210 Technology Circle Savannah, GA 31407-3038 USA =20 Email: rafi.muhanna [at] gtrep [dot] gatech.edu Phone: (912) 966-7931=20 Fax: (912) 966-7928 ------=_NextPart_000_01E9_01C4AA15.CD227880 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear All:
 
We would like to bring to your attention the first NSF Workshop on = Reliable=20 Engineering Computing that has been held at the Center for Reliable = Engineering=20 Computing, Georgia Tech, Savannah, USA during the September 15-17,=20 2004.
 
The main focus of the workshop was Uncertainty in = Engineering=20 Computations. The main feature was the cross-disciplinary research = activity=20 that included Mathematics, Computer science, Biology and the different = areas of=20 engineering.
 
More information can be found at:
 
http://www.gtsav.ga= tech.edu/rec/recworkshop/
 
The second Workshop on Reliable Engineering Computing will be held = during=20 2006.
 
Rafi Muhanna and Bob Mullen
______________________________________________________
 
Rafi L. Muhanna
Director, Center for Reliable Engineering = Computing=20 (REC)
School of Civil & Environmental Engineering
Georgia = Institute of=20 Technology, Savannah
 
210 Technology Circle
Savannah, GA=20 31407-3038
USA
 
Email:      =   =20 rafi.muhanna [at] gtrep [dot] gatech.e= du
Phone:      =20 (912) 966-7931=20
Fax:           = (912)=20 966-7928
------=_NextPart_000_01E9_01C4AA15.CD227880-- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 5 03:37:12 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 i958bC6B024024 for ; Tue, 5 Oct 2004 03:37:12 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i958bBx0024023 for reliable_computing-outgoing; Tue, 5 Oct 2004 03:37:11 -0500 (CDT) Received: from imap.univie.ac.at (mail.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 i958b2ET024019 for ; Tue, 5 Oct 2004 03:37:08 -0500 (CDT) 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 i958aaX7286354; Tue, 5 Oct 2004 10:36:37 +0200 Message-ID: <41625D14.6080103 [at] univie [dot] ac.at> Date: Tue, 05 Oct 2004 10:36:36 +0200 From: Arnold Neumaier Organization: University of Vienna User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031114 X-Accept-Language: en, de MIME-Version: 1.0 To: Rafi Muhanna CC: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: REC'04-Conference information References: <01ec01c4aa37$543a3300$bf14320a@rmuhannalptptoshiba> In-Reply-To: <01ec01c4aa37$543a3300$bf14320a@rmuhannalptptoshiba> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-DCC-ZID-Univie-Metrics: mx7.univie.ac.at 4248; Body=3 Fuz1=3 Fuz2=3 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Rafi Muhanna wrote: > > We would like to bring to your attention the first NSF Workshop on > Reliable Engineering Computing that has been held at the Center for > Reliable Engineering Computing, Georgia Tech, Savannah, USA during > the September 15-17, 2004. > > The main focus of the workshop was Uncertainty in Engineering > Computations. The main feature was the cross-disciplinary research > activity that included Mathematics, Computer science, Biology and the > different areas of engineering. > > More information can be found at: > > http://www.gtsav.gatech.edu/rec/recworkshop/ In particular, all lectures are available online! It was a very interesting workshop! Arnold Neumaier From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 6 10:58:35 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 i96FwYlp027099 for ; Wed, 6 Oct 2004 10:58:34 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i96FwYFH027098 for reliable_computing-outgoing; Wed, 6 Oct 2004 10:58:34 -0500 (CDT) Received: from smtp2.rz.uni-karlsruhe.de (smtp2.rz.uni-karlsruhe.de [129.13.185.218]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i96FwO28027094 for ; Wed, 6 Oct 2004 10:58:31 -0500 (CDT) Received: from math.uni-karlsruhe.de (iamlapc32.mathematik.uni-karlsruhe.de [129.13.114.121]) by smtp2.rz.uni-karlsruhe.de with esmtp (Exim 4.34 #1) id 1CFEBL-0007KM-A8; Wed, 06 Oct 2004 17:58:23 +0200 Message-ID: <416416B5.6000309 [at] math [dot] uni-karlsruhe.de> Date: Wed, 06 Oct 2004 18:00:53 +0200 From: Markus Neher User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: Session on Taylor Models and Interval Arithmetic at 17th IMACS World Congress, July 2005 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear all, there will be a session on Taylor Models and Interval Arithmetic (organized by myself) at the 17th IMACS World Congress, which takes place in Paris, France, July 11-15, 2005. Further information can be found at the conference website: http://imacs2005.ec-lille.fr/index.php The "and" in the session title is meant as a mathematical "or". Talks on Taylor model methods and talks on traditional interval methods are equally welcome. Please note that the deadline for submitting draft papers is October, 15. Best regards, Markus Neher From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 6 11:48: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 i96GmQPr027301 for ; Wed, 6 Oct 2004 11:48:26 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i96GmQJQ027300 for reliable_computing-outgoing; Wed, 6 Oct 2004 11:48:26 -0500 (CDT) Received: from yonge.cs.toronto.edu (root [at] yonge [dot] cs.toronto.edu [128.100.1.8]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with SMTP id i96GmHnD027296 for ; Wed, 6 Oct 2004 11:48:23 -0500 (CDT) Received: from jane.cs.toronto.edu ([128.100.2.31]) by yonge.cs.toronto.edu with SMTP id <201528-14157>; Wed, 6 Oct 2004 12:48:15 -0400 Received: from qew.cs.toronto.edu by jane.cs.toronto.edu id <453135-10425>; Wed, 6 Oct 2004 12:48:13 -0400 Date: Wed, 6 Oct 2004 12:48:08 -0400 From: Wayne Hayes To: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Session on Taylor Models and Interval Arithmetic at 17th IMACS World Congress, July 2005 Message-ID: <20041006164808.GB26129 [at] cs [dot] toronto.edu> References: <416416B5.6000309 [at] math [dot] uni-karlsruhe.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <416416B5.6000309 [at] math [dot] uni-karlsruhe.de> User-Agent: Mutt/1.4i Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk On Wed, Oct 06, 2004 at 12:00:53PM -0400, Markus Neher wrote: > there will be a session on Taylor Models and Interval Arithmetic > [...] > The "and" in the session title is meant as a mathematical "or". Funny! How true. That reminds me (this is a bit off-topic) of another interesting contrast. I call it "logical implication" vs. "causal implication". The following code example may help illiminate. if (A) then x := 1 else x := 0 end if Most people would read this as "if A is true then x becomes 1", which some people may also also read as "A implies x=1", or ever more briefly, "A => (x=1)" But from a logical standpoint, it's actually the other way around. After the "if" statement has executed, then we know for sure that if x=1, then A was true, and if x=0, then A was false. That is, (x=1) => A I call the former "causal implication", while the latter is "logical implication". The latter is how us formal folks are supposed to think. :-) But it confused the hell out of me when I learned it as an undergrad. - Wayne From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Oct 11 10:38: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 i9BFc6YC005158 for ; Mon, 11 Oct 2004 10:38:06 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9BFc57j005157 for reliable_computing-outgoing; Mon, 11 Oct 2004 10:38:05 -0500 (CDT) 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 i9BFbsda005153 for ; Mon, 11 Oct 2004 10:38:00 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9BFbbF07422; Mon, 11 Oct 2004 09:37:38 -0600 (MDT) Message-Id: <200410111537.i9BFbbF07422 [at] cs [dot] utep.edu> Date: Mon, 11 Oct 2004 09:37:35 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: session of potential interest to interval computations community: forwarding To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: Marc.Daumas@ENS-Lyon.Fr MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: aGLHhCqiI5J6km0mug/Waw== 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 i9BFc0da005154 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk From: Marc Daumas Date: Tue, 28 Sep 2004 13:03:06 +0200 Subject: Formal Methods at IMACS World Congress in Paris CALL FOR PAPERS Formal Methods in Applied Mathematics Paris, France July 11th-15th, 2005 CALL FOR PAPERS TOPICS Formal proof assistants are used to guarantee the correctness of simple algorithms and programs in computer arithmetic and soon in numerical analysis. This session is intended to bring together researchers interested in mechanically proving properties of floating point operators and numerical algorithms. It will also foster the development of floating point and other arithmetic packages for proof assistants. It will finally present applications and introduce challenging problems and perspectives for the future. Topics of interest include, but are not limited to: Certifications of floating point operators Ensuring properties of numerical algorithms Formalizations of IEEE 754/854 and IEC 559 standards Identification of future key applications HISTORY A first meeting was held in Lyon, France, in 2000, funded by INRIA's ARC AOC. The workshop was a success bringing together specialists that usually present their results to separate communities. From now on, we propose to organize this meeting as a session of IMACS World Congress. This will help us bridge the gap between maturing applications in computer arithmetic and the first applications in numerical analysis. SUBMISSION Researchers interested in presenting their work are invited to submit a very first 1-4 page abstract to the following web site indicating the "Formal methods" session in "Applied mathematics". They will be allowed to update their abstract for one month. http://imacs2005.ec-lille.fr/ Updated abstracts will be peer-reviewed to assess their relevance to the session. Accepted authors will send a full paper to appear in the proceedings of the conference. IMPORTANT DATES Registration of abstract: Oct 15, 2004*** Abstract updating limit: Nov 15, 2004 Notification of acceptance: Mar 15, 2005 Revised Papers required by: Apr 1, 2005 Conference: Jul 11-15, 2005 *** Potential authors must register some preliminary abstract by that date to the website of the conference. The session organizers will accept updated abstract up to Nov 15, 2004. ORGANIZATION Marc Daumas (CNRS) and Laurent Théry (INRIA) Marc.Daumas@ENS-Lyon.Fr Laurent.Thery [at] INRIA [dot] Fr From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 12 10:38:37 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 i9CFcbkJ006866 for ; Tue, 12 Oct 2004 10:38:37 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9CFcaxn006865 for reliable_computing-outgoing; Tue, 12 Oct 2004 10:38:36 -0500 (CDT) 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 i9CFcWEn006861 for ; Tue, 12 Oct 2004 10:38:32 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9CFcW9b006860 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 12 Oct 2004 10:38:32 -0500 (CDT) Received: from smtp1.uct.ac.za (smtp1.uct.ac.za [137.158.128.183]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i9CBvp60006606 for ; Tue, 12 Oct 2004 06:57:58 -0500 (CDT) Received: from anubis.uct.ac.za ([137.158.128.125]) by smtp1.uct.ac.za with esmtp (Exim 4.30; FreeBSD) id 1CHLHI-000MOz-Rk; Tue, 12 Oct 2004 13:57:16 +0200 Received: from vasco-brattka-1.fsc.uct.ac.za ([137.158.36.253]) by anubis.uct.ac.za with esmtp (Exim 4.30; FreeBSD) id 1CHLHJ-000N0g-9Y; Tue, 12 Oct 2004 13:57:17 +0200 Message-ID: <416BC699.40403@FernUni-Hagen.de> Date: Tue, 12 Oct 2004 13:57:13 +0200 From: Vasco Brattka User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7) Gecko/20040616 X-Accept-Language: de-de, de, en MIME-Version: 1.0 To: cca-list@FernUni-Hagen.de, comprox [at] doc [dot] ic.ac.uk, na.digest@na-net.ornl.gov, reliable_computing [at] interval [dot] louisiana.edu, THEORYNT [at] listserv [dot] nodak.edu, arp [at] cines [dot] fr, communaute [at] medicis [dot] polytechnique.fr, arinews.gdr.lip@ens-lyon.fr, calmet [at] ira [dot] uka.de Subject: RNC 6 - Second Call for Participation Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Second call for participation 6th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC6) November 15-17, 2004 Schloss Dagstuhl, Germany Website: http://cca-net.de/rnc6/ Dates: Registration deadline: October 24, 2004 Conference: November 15-17, 2004 Objective: The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, serial, on line, continued fractions, exact, multiple precision, interval and stochastic arithmetic. Results are sought on both applied and fundamental questions. Important topics discussed during these conferences include but are not limited to: * Foundation and properties of number systems * Computability and complexity * Formal aspects and automatic proof checking * Links with number theory and automata theory * Basic arithmetic operations * Implementation of the standard and special functions * Engineering of floating and fixed point algorithms * Symbolic manipulation of numbers * Accuracy and reliability for applications and industry * Robust geometric algorithms and exact geometric computation * Hardware design support and implementations The conference will feature invited lectures and contributed talks. Invited Lectures: 1. Benno Fuchssteiner, Paderborn, Germany 2. Simon Plouffe, Montreal, Canada 3. Stefan Schirra, Magdeburg, Germany Contributed Talks: 1. Generating formally certified bounds on values and round-off errors Marc Daumas & Guillaume Melquiond 2. A proven correctly rounded logarithm in double-precision de Dinechin, Loirat, Muller 3. On intermediate precision required for correctly-rounding decimal-to-binary floating-point conversion M. Hack 4. An extension of Chaitin's halting probability $\Omega$ to measurement operator in infinite dimensional quantum system K. Tadaki 5. Bridging the gap between formal specification and bit-level floating-point arithmetic S. Boldo 6. A fast algorithm for Julia sets of hyperbolic rational functions Robert Rettinger 7. On the hierarchy of $\Delta_02$-numbers Xizhong Zheng 8. Automata, Borel functions and real numbers in Pisot basis Cagnard, Simonnet 9. A comparison of real and complex pseudozero sets for polynomials with real coefficients Graillat, Langlois 10. Software division and square root using Goldschmidt's algorithm Peter Markstein 11. A comparison of polynomial evaluation schemes L. Fousse, S. Schmitt 12. The generic multiple-precision floating-point addition with exact rounding (as in the MPFR library) Vincent Lefevre There will also be an informal session open to present work in progress. Potential speakers might contact Christiane Frougny with an intended title for such a presentation (Christiane.Frougny [at] liafa [dot] jussieu.fr). Steering Committee: Jean-Claude Bajard, Montpellier, France Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Christiane Frougny, Paris, France Peter Kornerup, Odense, Denmark (Chair) Dominique Michelucci, Dijon, France Jean-Michel Muller, Lyon, France Program Committee: Jean-Paul Allouche, Orsay, France Jean-Claude Bajard, Montpellier, France Vasco Brattka, Cape Town, South Africa Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Martín Escardó, Birmingham, United Kingdom Guy Even, Tel Aviv, Israel Christiane Frougny, Paris, France (Chair) Peter Kornerup, Odense, Denmark Philippe Langlois, Perpignan, France Dominique Michelucci, Dijon, France Paolo Montuschi, Torino, Italy Michael Parks, Sun, United States Siegfried Rump, Hamburg, Germany Laurent Thery, Sophia Antipolis, France Organizing Committee: Vasco Brattka, Cape Town, South Africa (Publicity Chair) Norbert Müller, Trier, Germany (Local Organizer) Registration: Participants are invited to register for the conference until October 24, 2004 by sending a fax to Norbert Müller. The corresponding form is available on the workshop webpage http://cca-net.de/rnc6/ The conference fee is 120 Euro. Accommodation is offered by the Dagstuhl Center for 80 Euros per day (including all meals). Traveling information are available on the following websites: http://www.dagstuhl.de/TravelInfo/index.en.html http://www.dagstuhl.de/TravelInfo/WorkshopGuest/index.en.html From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 14 15:28:37 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 i9EKSbYb010439 for ; Thu, 14 Oct 2004 15:28:37 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9EKSaCW010438 for reliable_computing-outgoing; Thu, 14 Oct 2004 15:28:36 -0500 (CDT) 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 i9EKSL6A010434 for ; Thu, 14 Oct 2004 15:28:31 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9EKS8G05428; Thu, 14 Oct 2004 14:28:09 -0600 (MDT) Message-Id: <200410142028.i9EKS8G05428 [at] cs [dot] utep.edu> Date: Thu, 14 Oct 2004 14:28:08 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: last chance: special IMACS session of interest to interval researchers To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: Rene.Alt [at] lip6 [dot] fr MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: ckBsJR0T6EyeiCCLePQfYg== 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 Dear Friends, Professor Rene Alt from University of Paris 6 is organizing a special session on Computer Arithmetic and Validated Numerica at the The 17th World Congress of the International Association for Mathematics and Computers in Simulation IMACS'2005, Paris, France, July 11-15, 2005 http://imacs2005.ec-lille.fr If you are interested in participating, today and tomorrow is the last chance. Abstracts are due by October 15. Send them by email to Rene.Alt [at] lip6 [dot] fr From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 14 19:37: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 i9F0bERg010785 for ; Thu, 14 Oct 2004 19:37:14 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9F0bDUx010784 for reliable_computing-outgoing; Thu, 14 Oct 2004 19:37:13 -0500 (CDT) Received: from yonge.cs.toronto.edu (root [at] yonge [dot] cs.toronto.edu [128.100.1.8]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with SMTP id i9F0b26Y010780 for ; Thu, 14 Oct 2004 19:37:08 -0500 (CDT) Received: from jane.cs.toronto.edu ([128.100.5.248]) by yonge.cs.toronto.edu with SMTP id <200156-7649>; Thu, 14 Oct 2004 20:36:58 -0400 Received: from qew.cs.toronto.edu by jane.cs.toronto.edu id <453131-29931>; Thu, 14 Oct 2004 20:36:55 -0400 Date: Thu, 14 Oct 2004 20:36:52 -0400 From: Wayne Hayes To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, Rene.Alt [at] lip6 [dot] fr Subject: Re: last chance: special IMACS session of interest to interval researchers Message-ID: <20041015003652.GA8577 [at] cs [dot] toronto.edu> References: <200410142028.i9EKS8G05428 [at] cs [dot] utep.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200410142028.i9EKS8G05428 [at] cs [dot] utep.edu> User-Agent: Mutt/1.4i Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk On Thu, Oct 14, 2004 at 04:28:08PM -0400, Vladik Kreinovich wrote: > If you are interested in participating, today and tomorrow is the last chance. > Abstracts are due by October 15. Send them by email to Rene.Alt [at] lip6 [dot] fr Actually, I just tried submitting an abstract and it told be submissions are already closed. It is now Oct 15th in France (8:30pm Oct 14 on the East coast of North America), so maybe they meant the beginning of Oct 15 was the deadline... - Wayne From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 14 20:29:31 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 i9F1TVtt010952 for ; Thu, 14 Oct 2004 20:29:31 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9F1TUao010951 for reliable_computing-outgoing; Thu, 14 Oct 2004 20:29:30 -0500 (CDT) 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 i9F1TMhd010946 for ; Thu, 14 Oct 2004 20:29:28 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9F1THj07467; Thu, 14 Oct 2004 19:29:17 -0600 (MDT) Message-Id: <200410150129.i9F1THj07467 [at] cs [dot] utep.edu> Date: Thu, 14 Oct 2004 19:29:16 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: last chance: special IMACS session of interest to interval researchers To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, Rene.Alt [at] lip6 [dot] fr, wayne [at] cs [dot] toronto.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: sEaWWpJ2ACYhh9PvbZWPZA== 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 Send to Rene Alt not to the webpage. His email is Rene.Alt [at] lip6 [dot] fr > Date: Thu, 14 Oct 2004 20:36:52 -0400 > From: Wayne Hayes > To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, Rene.Alt [at] lip6 [dot] fr > Subject: Re: last chance: special IMACS session of interest to interval researchers > Mime-Version: 1.0 > Content-Disposition: inline > User-Agent: Mutt/1.4i > > On Thu, Oct 14, 2004 at 04:28:08PM -0400, Vladik Kreinovich wrote: > > If you are interested in participating, today and tomorrow is the last chance. > > Abstracts are due by October 15. > Send them by email to Rene.Alt [at] lip6 [dot] fr > Actually, I just tried submitting an abstract and it told be submissions are > already closed. It is now Oct 15th in France (8:30pm Oct 14 on the East coast > of North America), so maybe they meant the beginning of Oct 15 was the deadline... > > - Wayne From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Oct 15 02:46:45 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 i9F7ki2N011401 for ; Fri, 15 Oct 2004 02:46:45 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9F7ki90011400 for reliable_computing-outgoing; Fri, 15 Oct 2004 02:46:44 -0500 (CDT) Received: from smtp2.rz.uni-karlsruhe.de (smtp2.rz.uni-karlsruhe.de [129.13.185.218]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i9F7kZ15011396 for ; Fri, 15 Oct 2004 02:46:40 -0500 (CDT) Received: from math.uni-karlsruhe.de (iamlapc32.mathematik.uni-karlsruhe.de [129.13.114.121]) by smtp2.rz.uni-karlsruhe.de with esmtp (Exim 4.34 #1) id 1CIMnJ-0004IV-Pn; Fri, 15 Oct 2004 09:46:33 +0200 Message-ID: <416F7FAC.8050304 [at] math [dot] uni-karlsruhe.de> Date: Fri, 15 Oct 2004 09:43:40 +0200 From: Markus Neher User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: Deadline extended (Re: last chance: special IMACS session of interest to interval researchers) References: <200410142028.i9EKS8G05428 [at] cs [dot] utep.edu> <20041015003652.GA8577 [at] cs [dot] toronto.edu> In-Reply-To: <20041015003652.GA8577 [at] cs [dot] toronto.edu> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Wayne Hayes wrote: >On Thu, Oct 14, 2004 at 04:28:08PM -0400, Vladik Kreinovich wrote: > > >>If you are interested in participating, today and tomorrow is the last chance. >>Abstracts are due by October 15. Send them by email to Rene.Alt [at] lip6 [dot] fr >> >> > >Actually, I just tried submitting an abstract and it told be submissions are >already closed. It is now Oct 15th in France (8:30pm Oct 14 on the East coast >of North America), so maybe they meant the beginning of Oct 15 was the deadline... > > Latest news: The deadline has been extended to November, 5. Please note that there is also a session on *Taylor Models and Interval Arithmetic organized by me which is of a certain interest to interval researchers ;-) *Markus From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Oct 16 11:36: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 i9GGawRn013858 for ; Sat, 16 Oct 2004 11:36:58 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9GGawR9013857 for reliable_computing-outgoing; Sat, 16 Oct 2004 11:36:58 -0500 (CDT) 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 i9GGanll013853 for ; Sat, 16 Oct 2004 11:36:55 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9GGaiR18363; Sat, 16 Oct 2004 10:36:44 -0600 (MDT) Message-Id: <200410161636.i9GGaiR18363 [at] cs [dot] utep.edu> Date: Sat, 16 Oct 2004 10:36:42 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: SCAN'04, SCAN'06, and beyond 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: sYi4aPcUJjG3LOEJUTIvxA== 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 Dear Friends, A few days ago, we had a 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2004 in Fukuoka, Japan. This was the first SCAN meeting outside Europe. It was a very productive, very successful, and a very well organized meeting. Many thanks to the organizers, especially to the Conference Chair Professor Mitsuhiro T. Nakao! The next SCAN meeting will be held in Duisburg, Germany, in October 2006. The Conference Chair for SCAN'06 is Professor Wolfram Luther from the University of Essen-Duisburg. The 2008 SCAN meeting is scheduled to be in El Paso, Texas. Thanks again. Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Oct 16 16:18:05 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 i9GLI4pc014079 for ; Sat, 16 Oct 2004 16:18:04 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9GLI3wZ014078 for reliable_computing-outgoing; Sat, 16 Oct 2004 16:18:03 -0500 (CDT) 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 i9GLHqFl014074 for ; Sat, 16 Oct 2004 16:17:58 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9GLHcY19756; Sat, 16 Oct 2004 15:17:38 -0600 (MDT) Message-Id: <200410162117.i9GLHcY19756 [at] cs [dot] utep.edu> Date: Sat, 16 Oct 2004 15:17:38 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: Update of Interval Computations site To: rueher [at] essi [dot] fr Cc: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: 5yn12Dr8i9UdTyFuuAtz7Q== 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 i9GLHwFl014075 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Added, thanks a lot. I am forwarding this message to the interval mailing list to let everyone know. Vladik Dear Vladik, Could you add the following information on the Interval Computation site, section "Software and Languages" (http://www.cs.utep.edu/interval-comp/intsoft.html): a) The ALIAS library ( Algorithms Library of Interval Analysis for Systems )with the following llinks http://www-sop.inria.fr/coprin/developpements/main.html and http://www-sop.inria.fr/coprin/index_english.html b) ICOS (Interval COnstraints Solver) with the following link http://www-sop.inria.fr/coprin/ylebbah/icos/ Thanks in anticipations, Best regards, Michel -- Michel Rueher Projet COPRIN, I3S/CNRS/INRIA Université de Nice - Sophia Antipolis, ESSI, BP 145 06903 Sophia Antipolis France http://www.essi.fr/~rueher Ph: (33) 4 92 96 51 54 / (33) 4 92 38 75 55 fax: (33) 4 92 96 50 55 From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Oct 16 17:12:43 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 i9GMCgRC014247 for ; Sat, 16 Oct 2004 17:12:43 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9GMCgYI014246 for reliable_computing-outgoing; Sat, 16 Oct 2004 17:12:42 -0500 (CDT) 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 i9GMCVf4014242 for ; Sat, 16 Oct 2004 17:12:40 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9GMCQK20026; Sat, 16 Oct 2004 16:12:26 -0600 (MDT) Message-Id: <200410162212.i9GMCQK20026 [at] cs [dot] utep.edu> Date: Sat, 16 Oct 2004 16:12:25 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: InTech'04: deadline for poster presentations extended 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: I+F1Ar4J7dFBA/RW/FS40A== 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 The deadline for posters for InTech'04 has been extended to November 15, 2004. Please note that this conference has a session on uncertainty in which interval-related papers are very welcome. The Fifth International Conference on Intelligent Technologies InTech'04 URL: http://csc.csudh.edu/intech04/ Houston, Texas, December 2-4, 2004 From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Oct 17 22:15:10 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 i9I3F9cD016205 for ; Sun, 17 Oct 2004 22:15:10 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9I3F9QP016204 for reliable_computing-outgoing; Sun, 17 Oct 2004 22:15:09 -0500 (CDT) 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 i9I3F0TA016200 for ; Sun, 17 Oct 2004 22:15:05 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9I3ErE04761 for ; Sun, 17 Oct 2004 21:14:54 -0600 (MDT) Message-Id: <200410180314.i9I3ErE04761 [at] cs [dot] utep.edu> Date: Sun, 17 Oct 2004 21:14:53 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: [SIPTA] Call for Papers - ISIPTA '05 To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: u3c0XLsohZA5en56c68+rw== 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 i9I3F6TA016201 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- X-Sender: zaffalon [at] melanzana [dot] idsia.ch Your help with circulating this announcement locally is much appreciated. Apologies for multiple postings. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ISIPTA '05 4th International Symposium on Imprecise Probabilities and Their Applications Preliminary Call for Papers July 20-23, 2005 Carnegie Mellon University Pittsburgh, Pennsylvania, USA http://www.sipta.org/isipta05 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The ISIPTA meetings are one of the primary international forums to present and discuss new results on the theory and applications of imprecise probabilities. Imprecise probability has a wide scope, being a generic term for the many mathematical or statistical models which measure chance or uncertainty without sharp numerical probabilities. These models include belief functions, Choquet capacities, comparative probability orderings, convex sets of probability measures, fuzzy measures, interval-valued probabilities, possibility measures, plausibility measures, and upper and lower expectations or previsions. Imprecise probability models are needed in inference problems where the relevant information is scarce, vague or conflicting, and in decision problems where preferences may also be incomplete. Themes of the symposium ----------------------- Although the symposium will be open to contributions on all aspects of imprecise probability, three main themes will be emphasised: decision-making, algorithms, and real applications. Topics of interest include, but are not limited to: models of coherent imprecise assessments convex sets of probability measures (credal sets) interval-valued probabilities upper and lower expectations or previsions non-additive set functions, and in particular Choquet capacities (and Choquet integration), fuzzy measures, possibility measures, belief and plausibility measures random sets rough sets comparative probability orderings qualitative reasoning about uncertainty imprecision in utilities and expected utilities limit laws for imprecise probabilities physical models of imprecise probability philosophical foundations for imprecise probabilities psychological models for imprecision and indeterminacy in probability assessments elicitation techniques for imprecise probabilities robust statistics probabilistic bounding analysis data mining with imprecise probabilities/missing data estimation and learning of imprecise probability models decision making with imprecise probabilities ambiguity aversion and economic models of imprecise probability uncertainty in financial markets algorithms for manipulating imprecise probabilities Dempster-Shafer theory information algebras and probabilistic argumentation systems probabilistic logic, propositional and first-order credal networks and other graphical models credal classification applications in statistics, economics, finance, management, engineering, computer science and artificial intelligence, psychology, philosophy and related fields Workshop on Financial Risk Assessment ------------------------------------- There will be a workshop addendum to the conference, to be held on July 24, with invited speakers on the topic of financial risk assessment, to which all of the ISIPTA'05 participants are welcome, at no additional registration cost. Details will be announced later. Location -------- ISIPTA '05 will be held at Carnegie Mellon University, in Pittsburgh, Pennsylvania, United States. Important dates --------------- Paper submission deadline: February 10 2005 Notification of acceptance: April 1 2005 Deadline for revised papers: May 1 2005 Symposium: July 20-23 2005 Submissions ----------- Details on format will be announced later (submission will be electronic at the web site). Program Board ------------- Fabio Cozman (Universidade de Sao Paulo, Brazil) Robert Nau (Duke University, USA) Teddy Seidenfeld (Carnegie Mellon University, USA) Steering Committee ------------------ Gert de Cooman (Universiteit Gent, Belgium) Fabio G. Cozman (Universidade de Săo Paulo, Brazil) Serafin Moral (Universidad de Granada, Spain) Robert Nau (Duke University, USA) Teddy Seidenfeld (Carnegie Mellon University, USA) Marco Zaffalon (IDSIA-Istituto Dalle Molle di Studi sull'Intelligenza Artificiale, Switzerland) Questions --------- If you have any questions about the symposium, please contact the Organising Committee preferably by email (teddy [at] stat [dot] cmu.edu - fgcozman [at] usp [dot] br), or at the following address: Teddy Seidenfeld Department of Statistics Carnegie Mellon University Pittsburgh PA 15213 Phone: 412 - 268 - 2209 Fax: 412 - 268 - 1440 (If you did not receive this e-mail through a mailing list and you do not want to receive further announcements concerning ISIPTA '05, please reply to this message writing "remove" in the body of the e-mail.) ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 20 08:47: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 i9KDlxom003378 for ; Wed, 20 Oct 2004 08:47:59 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9KDlwLK003377 for reliable_computing-outgoing; Wed, 20 Oct 2004 08:47:58 -0500 (CDT) Received: from sophia.inria.fr (sophia.inria.fr [138.96.64.20]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i9KDlnmU003373 for ; Wed, 20 Oct 2004 08:47:55 -0500 (CDT) Received: from localhost (localhost [127.0.0.1]) by sophia.inria.fr (8.12.10/8.12.9) with ESMTP id i9KDlXEa005431 for ; Wed, 20 Oct 2004 15:47:33 +0200 Received: from caphorn.inria.fr (caphorn.inria.fr [138.96.116.27]) by sophia.inria.fr (8.12.10/8.12.9) with ESMTP id i9KDkNx4004789 for ; Wed, 20 Oct 2004 15:46:23 +0200 Received: (from merlet@localhost) by caphorn.inria.fr (8.12.10/8.12.5) id i9KDkNsW027218 for reliable_computing [at] interval [dot] louisiana.edu; Wed, 20 Oct 2004 15:46:23 +0200 (MEST) Date: Wed, 20 Oct 2004 15:46:23 +0200 (MEST) From: Jean-Pierre Merlet Message-Id: <200410201346.i9KDkNsW027218 [at] caphorn [dot] inria.fr> To: reliable_computing [at] interval [dot] louisiana.edu Subject: On line interval solver X-Virus-Scanned: by amavisd-new at sophia.inria.fr Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear All: Just a complement to the message of Vladik and Michel Rueher. You will find at http://www-sop.inria.fr/coprin/index_english.html an on-line interface to the ALIAS solver that allows one to submit a system of up to 5 equations/inequalities and (maybe..) get the solutions of the system. The computation time is limited to 5 minutes. Best J-P. Merlet http://www-sop.inria.fr/coprin/equipe/merlet/merlet_eng.html From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Oct 25 21:28: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 i9Q2Sf9U012852 for ; Mon, 25 Oct 2004 21:28:41 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9Q2SfvN012851 for reliable_computing-outgoing; Mon, 25 Oct 2004 21:28:41 -0500 (CDT) 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 i9Q2SWqN012847 for ; Mon, 25 Oct 2004 21:28:38 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9Q2RUW12981; Mon, 25 Oct 2004 20:27:33 -0600 (MDT) Message-Id: <200410260227.i9Q2RUW12981 [at] cs [dot] utep.edu> Date: Mon, 25 Oct 2004 20:27:31 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: interval-related work by Fefferman and Seco mentioned in Notices AMS 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: TMxrBmz6B0mJoGDNgu14jA== 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 The last issue of the Notices of American Mathematical Society (No. 10, November 2004) has an article "Some of What Mathematicians Do" by Martin H. Krieger (pp. 1226-1230), an article that is specifically aimed at non-mathematical audience (and whose importance is emphasized in the Editor's Introduction to the issue). Among a few examples of mathematical activity, Krieger lists the work of our own Charles F. Fefferman and Luis A. Seco on providing a rigorous devitaion of the asymptotical formula for the ground state energy E of an atom as a function of its atomic charge Z. In deriving this formula, they used interval arithmetic. The explanation of how interval arithmetic was used and what exactly is the problem can be found, e.g., in their chapter Interval Arithmetic and Quantum Mechanics in R. Baker Kearfott et al., Applications of Interval Computations, Kluwer, 1996. Once again, many thanks to Charles F. Fefferman and Luis A. Seco for their outstanding work. From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 26 04:50: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 i9Q9os1m013674 for ; Tue, 26 Oct 2004 04:50:54 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9Q9orlt013673 for reliable_computing-outgoing; Tue, 26 Oct 2004 04:50:53 -0500 (CDT) Received: from sophia.inria.fr (sophia.inria.fr [138.96.64.20]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i9Q9odDn013669 for ; Tue, 26 Oct 2004 04:50:48 -0500 (CDT) Received: from localhost (localhost [127.0.0.1]) by sophia.inria.fr (8.12.10/8.12.9) with ESMTP id i9Q9nc2p021549 for ; Tue, 26 Oct 2004 11:49:38 +0200 Received: from caphorn.inria.fr (caphorn.inria.fr [138.96.116.27]) by sophia.inria.fr (8.12.10/8.12.9) with ESMTP id i9Q9nVWa021470 for ; Tue, 26 Oct 2004 11:49:31 +0200 Received: (from merlet@localhost) by caphorn.inria.fr (8.12.10/8.12.5) id i9Q9nSdI022520 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 26 Oct 2004 11:49:28 +0200 (MEST) Date: Tue, 26 Oct 2004 11:49:28 +0200 (MEST) From: Jean-Pierre Merlet Message-Id: <200410260949.i9Q9nSdI022520 [at] caphorn [dot] inria.fr> To: reliable_computing [at] interval [dot] louisiana.edu Subject: Applications X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.4 (sophia.inria.fr [138.96.64.20]); Tue, 26 Oct 2004 11:49:31 +0200 (MEST) X-Virus-Scanned: by amavisd-new at sophia.inria.fr Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk If you are interested in practical applications of interval analysis you may look at the applications part of: http://www-sop.inria.fr/coprin/logiciels/ALIAS/Examples/index.html in which examples in mechanism theory and robotics are presented. Most of them present results that have been used for industrial applications. Best J-P. Merlet http://www-sop.inria.fr/coprin/equipe/merlet/merlet_eng.html From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 26 12:45:57 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 i9QHju9S014767 for ; Tue, 26 Oct 2004 12:45:57 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9QHjugG014766 for reliable_computing-outgoing; Tue, 26 Oct 2004 12:45:56 -0500 (CDT) 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 i9QHjlfC014762 for ; Tue, 26 Oct 2004 12:45:52 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9QHiiM17556; Tue, 26 Oct 2004 11:44:44 -0600 (MDT) Message-Id: <200410261744.i9QHiiM17556 [at] cs [dot] utep.edu> Date: Tue, 26 Oct 2004 11:44:43 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Fefferman and Seco: P.S. 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: ii6i/8OPQ9WY9pgdrDVknA== 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 FYI. Vladik ------------- Begin Forwarded Message ------------- From: "Ray Moore" To: "Vladik Kreinovich" Subject: computer aided proofs in analysis Date: Tue, 26 Oct 2004 08:59:38 -0400 MIME-Version: 1.0 X-Priority: 3 X-MSMail-Priority: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-Virus-Scanned: Symantec AntiVirus Scan Engine Dear Vladik, I suppose you also know the book Computer Aided Proofs in Analysis, eds. K.R.Meyer and D.S.Schmidt, Springer 1991. It contains papers presented at a meeting at U. Cincinnati in 1989. Many of the papers discuss or use interval methods, including a paper (pp 241-251) by Luis Seco on "Computer assisted lower bounds for atomic energies". best regards, Ray ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 26 15:17: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 i9QKHKUk014903 for ; Tue, 26 Oct 2004 15:17:20 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9QKHJ2v014902 for reliable_computing-outgoing; Tue, 26 Oct 2004 15:17:19 -0500 (CDT) 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 i9QKH7N8014898 for ; Tue, 26 Oct 2004 15:17:16 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9QKG4O18663; Tue, 26 Oct 2004 14:16:04 -0600 (MDT) Message-Id: <200410262016.i9QKG4O18663 [at] cs [dot] utep.edu> Date: Tue, 26 Oct 2004 14:16:05 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: FUZZ-IEEE'05: deadline extended 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: S/ADpy1v9ZxjpGWKKir5dQ== 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 Dear Friends, I have just learned that the deadline for submitting a paper to the 2005 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2005) has been extended to November 15. This conference will take place May 22-25, 2005, in Reno, Nevada. As you may remember, the conference organizers approved a special interval session at this conference. All the papers have to be submitted through the conference webpage. When submitting, please follow the instructions send by the organizers: IMPORTANT: The authors of the papers intended for the interval session must specify the following topic: S1. Relation between fuzzy and interval techniques as the first and only research topic on the online submission form. Additional information on the conference can be obtained at the conference web site: http://www.fuzzieee2005.org/ I hope to see many of you in Reno. Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 27 08:05:37 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 i9RD5ba1016354 for ; Wed, 27 Oct 2004 08:05:37 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9RD5bT2016353 for reliable_computing-outgoing; Wed, 27 Oct 2004 08:05:37 -0500 (CDT) 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 i9RD5QIG016348 for ; Wed, 27 Oct 2004 08:05:26 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9RD5Q95016347 for reliable_computing [at] interval [dot] louisiana.edu; Wed, 27 Oct 2004 08:05:26 -0500 (CDT) Received: from smtp1.uct.ac.za (smtp1.uct.ac.za [137.158.128.183]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i9QCu466013964 for ; Tue, 26 Oct 2004 07:56:10 -0500 (CDT) Received: from anubis.uct.ac.za ([137.158.128.125]) by smtp1.uct.ac.za with esmtp (Exim 4.30; FreeBSD) id 1CMQqP-000OQf-NF; Tue, 26 Oct 2004 14:54:33 +0200 Received: from vasco-brattka-1.fsc.uct.ac.za ([137.158.36.253]) by anubis.uct.ac.za with esmtp (Exim 4.30; FreeBSD) id 1CMQqQ-000OdL-E3; Tue, 26 Oct 2004 14:54:34 +0200 Message-ID: <417E4903.4030108@FernUni-Hagen.de> Date: Tue, 26 Oct 2004 14:54:27 +0200 From: Vasco Brattka User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7) Gecko/20040616 X-Accept-Language: de-de, de, en MIME-Version: 1.0 To: cca-list@FernUni-Hagen.de, comprox [at] doc [dot] ic.ac.uk, na.digest@na-net.ornl.gov, reliable_computing [at] interval [dot] louisiana.edu, THEORYNT [at] listserv [dot] nodak.edu, arp [at] cines [dot] fr, communaute [at] medicis [dot] polytechnique.fr, arinews.gdr.lip@ens-lyon.fr, calmet [at] ira [dot] uka.de Subject: RNC 6 - Third Call for Participation Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Third call for participation 6th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC6) November 15-17, 2004 Schloss Dagstuhl, Germany Website: http://cca-net.de/rnc6/ Dates: Registration deadline: November 7, 2004 Conference: November 15-17, 2004 Objective: The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, serial, on line, continued fractions, exact, multiple precision, interval and stochastic arithmetic. Results are sought on both applied and fundamental questions. Important topics discussed during these conferences include but are not limited to: * Foundation and properties of number systems * Computability and complexity * Formal aspects and automatic proof checking * Links with number theory and automata theory * Basic arithmetic operations * Implementation of the standard and special functions * Engineering of floating and fixed point algorithms * Symbolic manipulation of numbers * Accuracy and reliability for applications and industry * Robust geometric algorithms and exact geometric computation * Hardware design support and implementations The conference will feature invited lectures and contributed talks. Invited Lectures: 1. Benno Fuchssteiner, Paderborn, Germany 2. Simon Plouffe, Montreal, Canada 3. Stefan Schirra, Magdeburg, Germany Contributed Talks: 1. Generating formally certified bounds on values and round-off errors Marc Daumas & Guillaume Melquiond 2. A proven correctly rounded logarithm in double-precision de Dinechin, Loirat, Muller 3. On intermediate precision required for correctly-rounding decimal-to-binary floating-point conversion M. Hack 4. An extension of Chaitin's halting probability $\Omega$ to measurement operator in infinite dimensional quantum system K. Tadaki 5. Bridging the gap between formal specification and bit-level floating-point arithmetic S. Boldo 6. A fast algorithm for Julia sets of hyperbolic rational functions Robert Rettinger 7. On the hierarchy of $\Delta_02$-numbers Xizhong Zheng 8. Automata, Borel functions and real numbers in Pisot basis Cagnard, Simonnet 9. A comparison of real and complex pseudozero sets for polynomials with real coefficients Graillat, Langlois 10. Software division and square root using Goldschmidt's algorithm Peter Markstein 11. A comparison of polynomial evaluation schemes L. Fousse, S. Schmitt 12. The generic multiple-precision floating-point addition with exact rounding (as in the MPFR library) Vincent Lefevre There will also be an informal session open to present work in progress. Potential speakers might contact Christiane Frougny with an intended title for such a presentation (Christiane.Frougny [at] liafa [dot] jussieu.fr). The preliminary program is available on the webpage. Steering Committee: Jean-Claude Bajard, Montpellier, France Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Christiane Frougny, Paris, France Peter Kornerup, Odense, Denmark (Chair) Dominique Michelucci, Dijon, France Jean-Michel Muller, Lyon, France Program Committee: Jean-Paul Allouche, Orsay, France Jean-Claude Bajard, Montpellier, France Vasco Brattka, Cape Town, South Africa Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Martín Escardó, Birmingham, United Kingdom Guy Even, Tel Aviv, Israel Christiane Frougny, Paris, France (Chair) Peter Kornerup, Odense, Denmark Philippe Langlois, Perpignan, France Dominique Michelucci, Dijon, France Paolo Montuschi, Torino, Italy Michael Parks, Sun, United States Siegfried Rump, Hamburg, Germany Laurent Thery, Sophia Antipolis, France Organizing Committee: Vasco Brattka, Cape Town, South Africa (Publicity Chair) Norbert Müller, Trier, Germany (Local Organizer) Registration: Participants are invited to register for the conference until November 7, 2004 by sending a fax to Norbert Müller. The corresponding form is available on the workshop webpage http://cca-net.de/rnc6/ The conference fee is 120 Euro. Accomodation is offered by the Dagstuhl Center for 80 Euros per day (including all meals). Rooms in Dagstuhl are allocated on a first-come-first-serve basis. Traveling information are available on the following websites: http://www.dagstuhl.de/TravelInfo/index.en.html http://www.dagstuhl.de/TravelInfo/WorkshopGuest/index.en.html From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 28 13:06: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 i9SI6FbK018301 for ; Thu, 28 Oct 2004 13:06:15 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9SI6Fgr018300 for reliable_computing-outgoing; Thu, 28 Oct 2004 13:06:15 -0500 (CDT) Received: from smtp2.rz.uni-karlsruhe.de (smtp2.rz.uni-karlsruhe.de [129.13.185.218]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i9SI64GY018296 for ; Thu, 28 Oct 2004 13:06:11 -0500 (CDT) Received: from math.uni-karlsruhe.de (iamlapc32.mathematik.uni-karlsruhe.de [129.13.114.121]) by smtp2.rz.uni-karlsruhe.de with esmtp (Exim 4.43 #1) id 1CNEdk-0003cx-JB; Thu, 28 Oct 2004 20:04:48 +0200 Message-ID: <41813512.6040705 [at] math [dot] uni-karlsruhe.de> Date: Thu, 28 Oct 2004 20:06:10 +0200 From: Markus Neher User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu CC: Ingo Eble Subject: New version of CoStLy (and ACETAF) Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear colleagues, a new version of the CoStLy library for complex inclusion functions is available now. The whole library has been redesigned completely. All of the "usual" standard functions have now (almost) optimal accuracy. There are new power functions with (almost) optimal accuracy and new root functions with (almost) optimal accuracy. The code and a preprint are available at http://iamlasun8.mathematik.uni-karlsruhe.de/~ae16/CoStLy.html The ACETAF package is also affected. The new version 3.0 uses the CoStLy inclusion functions, which are more accurate than the previous implementations in ACETAF (but the "true" ACETAF procedures are unchanged). ACETAF is available at http://iamlasun8.mathematik.uni-karlsruhe.de/~ae16/acetaf.html Best regards, Markus From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Oct 29 06:50:39 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 i9TBodFT019892 for ; Fri, 29 Oct 2004 06:50:39 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9TBoc2J019891 for reliable_computing-outgoing; Fri, 29 Oct 2004 06:50:38 -0500 (CDT) 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 i9TBoZbm019887 for ; Fri, 29 Oct 2004 06:50:35 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9TBoZIl019886 for reliable_computing [at] interval [dot] louisiana.edu; Fri, 29 Oct 2004 06:50:35 -0500 (CDT) 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 i9REYTgV016572 for ; Wed, 27 Oct 2004 09:34:35 -0500 (CDT) Received: from hadron.elka.pw.edu.pl ([194.29.160.13]:44447 "EHLO localhost") by higgs.elka.pw.edu.pl with ESMTP id S17781AbUJ0OdX (ORCPT ); Wed, 27 Oct 2004 16:33:23 +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 15231-01-9 for ; Wed, 27 Oct 2004 16:33:14 +0200 (CEST) Received: from mion.elka.pw.edu.pl ([194.29.160.35]:35228 "EHLO mion.elka.pw.edu.pl") by higgs.elka.pw.edu.pl with ESMTP id S27089AbUJ0ObX (ORCPT ); Wed, 27 Oct 2004 16:31:23 +0200 Received: (from localhost user: 'bkubica', uid#6972) by mion.elka.pw.edu.pl with ESMTP id S261701AbUJ0ObW (ORCPT ); Wed, 27 Oct 2004 16:31:22 +0200 Date: Wed, 27 Oct 2004 16:31:22 +0200 (CEST) From: Bartlomiej Jacek KUBICA To: reliable_computing [at] interval [dot] louisiana.edu Subject: validated CDF of the Gaussian distribution In-Reply-To: <200410261744.i9QHiiM17556 [at] cs [dot] utep.edu> Message-ID: References: <200410261744.i9QHiiM17556 [at] cs [dot] utep.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 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 Fri Oct 29 15:09:12 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 i9TK9BQ5020310 for ; Fri, 29 Oct 2004 15:09:11 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9TK9BOx020309 for reliable_computing-outgoing; Fri, 29 Oct 2004 15:09:11 -0500 (CDT) Received: from smtp2.iitb.ac.in (smtp1.iitb.ac.in [203.199.51.149]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with SMTP id i9TK8xAb020305 for ; Fri, 29 Oct 2004 15:09:06 -0500 (CDT) Received: (qmail 26352 invoked by uid 780); 29 Oct 2004 20:07:31 -0000 Received: from 10.5.1.54 by ldns2 (envelope-from , uid 502) with qmail-scanner-1.23 (spamassassin: 2.64. Clear:RC:1(10.5.1.54):. Processed in 0.022711 secs); 29 Oct 2004 20:07:31 -0000 Received: from unknown (HELO aditya) (10.5.1.54) by smtp2.iitb.ac.in with SMTP; 29 Oct 2004 20:07:31 -0000 Message-ID: <002201c4bdf2$90c8cab0$3601050a@aditya> From: "Aditya Agarwal" To: Subject: Solving ODEs using Interval analysis Date: Sat, 30 Oct 2004 01:34:58 +0530 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_001F_01C4BE20.AA6B82E0" 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 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_001F_01C4BE20.AA6B82E0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable 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.=20 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_001F_01C4BE20.AA6B82E0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear all,
 
I am a senior undergraduate at = Faculty of=20 Chemical Engineering, Indian Institute of Technology, Bombay. I am = currently=20 working on a constrained optimization problem and trying to solve it = with the=20 help of interval analysis.
 
I was looking forward to some guidance = in direction=20 of algorithms and techniques available to solve ODEs using interval = analysis. I=20 would be very grateful if someone could cite me suitable references to = help me=20 solve ODEs using interval analysis.
 
Awaiting for a reply in = anticipation.
 
Regards,
Aditya = Agarwal
------=_NextPart_000_001F_01C4BE20.AA6B82E0-- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Oct 31 16:07: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 i9VM7JVF024345 for ; Sun, 31 Oct 2004 16:07:19 -0600 (CST) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i9VM7JGF024344 for reliable_computing-outgoing; Sun, 31 Oct 2004 16:07:19 -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 i9VM78Xj024340 for ; Sun, 31 Oct 2004 16:07:14 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i9VM5QW03080; Sun, 31 Oct 2004 15:05:26 -0700 (MST) Message-Id: <200410312205.i9VM5QW03080 [at] cs [dot] utep.edu> Date: Sun, 31 Oct 2004 15:05:26 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Taylor workshop: deadline extended (from the webpage) To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: grotejoh [at] msu [dot] edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: kTu3S1E77N/4xa6MC00zww== 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 Taylor Model Workshop 2004 Third International Workshop on Taylor Methods Miami Beach, December 16-20, 2004 Location / Accommodation The meeting will take place at Fontainebleau Hilton Resort, Miami Beach, Florida, USA. More information about the hotel and information about the meeting venue and possible activities can be found in the workshop webpage http://bt.pa.msu.edu/TM/Miami2004/ We have negotiated a special rate of 85$/night for meeting participants. This discounted rate is available three nights both prior to and after the event. Room reservations can be made at 1-305-538-2000 (Fontainebleau Reservations) and referring to the "Taylor Model Workshop" or "Michigan State University". Companion Meeting The Third International Workshop on Taylor Methods will be preceded by the 2004 Workshop on Status of Muon Collider Simulations. Muon Colliders are novel particle accelerators. Taylor methods have been used for their design and simulation for many years, and the meeting may be of interest to some TM04 participants. It is planned to have some relevant talks overlapping both meetings. Abstracts Abstracts should be submitted as Ascii documents to Johannes Grote by November 21, 2004. Registration There will be no registration fees, the corresponding expenses will be covered. Please send registration information, including name, institution, postal and email address, to Johannes Grote Financial Assistance Limited resources for financial support are available, in particular for participating graduate students and others in need of assistance. This page is maintained by Johannes Grote, email grotejoh [at] msu [dot] edu.