From owner-reliable_computing [at] interval [dot] usl.edu Thu Feb 1 04:14:50 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id EAA03728 for reliable_computing-outgoing; Thu, 1 Feb 2001 04:14:49 -0600 (CST) Received: from automatix.informatik.uni-wuerzburg.de (root [at] wi2x40 [dot] informatik.uni-wuerzburg.de [132.187.10.40]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id EAA03723 for ; Thu, 1 Feb 2001 04:14:45 -0600 (CST) Received: from informatik.uni-wuerzburg.de (hystrix [132.187.10.44]) by automatix.informatik.uni-wuerzburg.de (8.9.3/8.9.3) with ESMTP id LAA20321 for ; Thu, 1 Feb 2001 11:14:42 +0100 Message-ID: <3A793711.90BE8FB7 [at] informatik [dot] uni-wuerzburg.de> Date: Thu, 01 Feb 2001 11:14:41 +0100 From: "J.Wolff v. Gudenberg" X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.13-SMP i686) X-Accept-Language: en MIME-Version: 1.0 To: reliable_computing Subject: SCAN2000 proceedings Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleagues, It is still possible to join the prepublication order for the proceedings of the SCAN2000/Interval2000 proceedings. The reduced price for one volume is 65 Euros, which is 127.13 DM, and according to the exchange rate approx. 61 US $ I want to thank all those of you who have already ordered and paid. Your cooperation made the publication of the proceedings possible. Payment is possible by bank transfer to the account holder: J. Wolff v. Gudenberg acc number 560 218 901 bank Sparkasse Mainfranken bank code (BLZ) 790 500 00 purpose: scan2000 proceedings Please make sure that : -- your name is clearly identifiable. -- payment arrives before February 28, 2001. -- no money transfer fees will be charged. To save the sometimes extremely high bank transfer charges, people have found some opportunities. You may ask me for details. I in any case thank you for your cooperation with kind regards J. Wolff v. Gudenberg -- __o \<, ()/ ()__________________ Prof. Dr. J. Wolff v. Gudenberg Lehrstuhl fuer Informatik II wolff [at] informatik [dot] uni-wuerzburg.de Universitaet Wuerzburg Tel. 0931 / 888-6602 Am Hubland Fax. 0931 / 888-6603 D-97074 Wuerzburg URL http://www-info2.informatik.uni-wuerzburg.de/staff/wvg --------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 2 09:53:34 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA05737 for reliable_computing-outgoing; Fri, 2 Feb 2001 09:53:34 -0600 (CST) Received: from blv-smtpout-01.boeing.com (blv-smtpout-01.boeing.com [192.161.36.5]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA05732 for ; Fri, 2 Feb 2001 09:53:27 -0600 (CST) Received: from blv-av-02.boeing.com ([192.54.3.92]) by blv-smtpout-01.boeing.com (8.9.2/8.8.5-M2) with ESMTP id HAA06910 for ; Fri, 2 Feb 2001 07:53:15 -0800 (PST) Received: from blv-hub-01.boeing.com (localhost [127.0.0.1]) by blv-av-02.boeing.com (8.9.3/8.9.2) with ESMTP id HAA14561 for ; Fri, 2 Feb 2001 07:53:13 -0800 (PST) Received: from rsr6.ca.boeing.com by blv-hub-01.boeing.com with ESMTP for reliable_computing [at] interval [dot] louisiana.edu; Fri, 2 Feb 2001 07:53:00 -0800 Received: (from eem2314@localhost) by rsr6.ca.boeing.com (AIX4.3/8.9.3/8.8.8-B1) id HAA16430 for reliable_computing [at] interval [dot] louisiana.edu; Fri, 2 Feb 2001 07:52:59 -0800 Date: Fri, 2 Feb 2001 07:52:59 -0800 From: "Edward E. Meyer" Message-Id: <200102021552.HAA16430 [at] rsr6 [dot] ca.boeing.com> To: reliable_computing [at] interval [dot] louisiana.edu Subject: nonlinear eigenvalue Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk I have a nonlinear eigenvalue problem, A(s)x = 0 (1) where A is a complex (n,n) matrix which is a nonlinear function of the complex scalar s, and x is a complex vector. I am not too concerned about x, but I need to find all roots (s) of this equation over a large region of the complex plane. I have been experimenting with a simple-minded bisection technique: split the region into smaller boxes on the complex plane, then for each box, compute an interval extension of A for s over the box and factorize A using an interval Gauss decomposition with full pivoting. If a pivot is encountered which contains zero, assume there is a root to (1) in the box, otherwise assume there is not. If there is a root in the box, bisect it and continue until the root is isolated to a sufficiently small box. My question is, what assurance do I have that a pivot containing zero indicates a singular matrix within a box, given the growth of intervals throughout the decomposition process? It seems to me that as the boxes get smaller, zero-enclosing pivots are more certain indicators of singularity, but I would also like to use this technique in the opposite way - to be able to state that there are no roots within a relatively large region. Thanks very much in advance for any insights, Ed Meyer o edward.e.meyer [at] boeing [dot] com Flutter Research /\ (425) 234-3490 The Boeing Co. _`\ `_ Home: (206) 282-3160 ___________________(_)/_(_)_____________________________ From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 2 10:21:50 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA06045 for reliable_computing-outgoing; Fri, 2 Feb 2001 10:21:50 -0600 (CST) Received: from solon.mat.univie.ac.at (solon.mat.univie.ac.at [131.130.145.131]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA06040 for ; Fri, 2 Feb 2001 10:21:45 -0600 (CST) Received: (from neum@localhost) by solon.mat.univie.ac.at (8.9.3/8.9.3) id RAA03013; Fri, 2 Feb 2001 17:21:32 +0100 (MET) Date: Fri, 2 Feb 2001 17:21:32 +0100 (MET) From: Arnold Neumaier Message-Id: <200102021621.RAA03013 [at] solon [dot] mat.univie.ac.at> To: eem2314 [at] rsr6 [dot] ca.boeing.com, reliable_computing [at] interval [dot] louisiana.edu Subject: Re: nonlinear eigenvalue Cc: neum [at] cma [dot] univie.ac.at Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Ed Meyer [ asked: >>factorize A using an interval Gauss decomposition with full pivoting [...] what assurance do I have that a pivot containing zero indicates a singular matrix within a box, given the growth of intervals throughout the decomposition process? It seems to me that as the boxes get smaller, zero-enclosing pivots are more certain indicators of singularity, but I would also like to use this technique in the opposite way - to be able to state that there are no roots within a relatively large region.<< You have no assurance of singularity, but you know when no pivot contains zero then the matrix is nonsingular. However, this is a poor test of nonsingularity, since zero pivots occur frequently due to exponential growth of interval width. The right way to proceed is to precondition with a midpoint inverse before doing the factorization. See, e.g., my book A. Neumaier, Interval Methods for Systems of Equations, Cambridge Univ. Press, Cambridge 1990. (but this is described in many other places, too). By the way, where does the problem come from? How large is it? Arnold Neumaier From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 11 12:06:13 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id MAA03399 for reliable_computing-outgoing; Sun, 11 Feb 2001 12:06:12 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id MAA03394 for ; Sun, 11 Feb 2001 12:06:07 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.11.2/8.11.2) with SMTP id f1BI64r18337 for ; Sun, 11 Feb 2001 11:06:04 -0700 (MST) Message-Id: <200102111806.f1BI64r18337 [at] cs [dot] utep.edu> Date: Sun, 11 Feb 2001 11:06:02 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: East Coast Computer Algebra Day 2001 To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 17eElpsJQdhAy7+kYAQbLw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------- Begin Forwarded Message ------------- From: Mark van Hoeij Date: Sun, 11 Feb 2001 09:57:16 -0500 (EST) MIME-Version: 1.0 Content-Transfer-Encoding: 7bit To: hoeij [at] zeno [dot] math.fsu.edu Subject: East Coast Computer Algebra Day 2001 -------------------------------------------------------------------------- EAST COAST COMPUTER ALGEBRA DAY 2001 ANNOUNCEMENT AND CALL FOR PARTICIPATION -------------------------------------------------------------------------- A one day meeting, an East Coast Computer Algebra Day (ECCAD), will be held at Florida State University, Tallahassee, Florida, on Saturday, May 5, 2001. The meeting is the eighth of the series, which has been held at a variety of US East Coast locations since 1994. The meeting includes invited talks and contributed poster/software demo sessions, covering the breadth of computer algebra: algorithms, software, and applications. Date: May 5, 2001. Location: Turnbull Conference Center, FSU, Tallahassee, FL. URL: http://www.math.fsu.edu/eccad01 Registration: see URL. Program: see URL. E-mail: eccad01 [at] math [dot] fsu.edu CALL FOR POSTERS: To submit a poster for one of the poster sessions please send a title and a brief abstract to: eccad01 [at] math [dot] fsu.edu Funding has been requested from the National Science Foundation to cover travel expenses for some of the US based participants. Like in previous years, preference will be given to recent PhD's who present a poster at the conference. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 11 18:53:44 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id SAA03929 for reliable_computing-outgoing; Sun, 11 Feb 2001 18:53:44 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id SAA03924 for ; Sun, 11 Feb 2001 18:53:40 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.11.2/8.11.2) with SMTP id f1C0raE19846; Sun, 11 Feb 2001 17:53:36 -0700 (MST) Message-Id: <200102120053.f1C0raE19846 [at] cs [dot] utep.edu> Date: Sun, 11 Feb 2001 17:53:35 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: conference targeting intervals: from NA Digest 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: me6O0oJN+AgFKCxtQusz6A== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk From: Sergey Shary Date: Fri, 9 Feb 2001 11:14:38 +0600 Subject: Conference in Novosibirsk in Honor of N. N. Yanenko International Conference RECENT DEVELOPMENTS IN APPLIED MATHEMATICS AND MECHANICS: Theory, Experiment and Practice devoted to the 80th anniversary of N.N.Yanenko Novosibirsk, Russia, June 24-29, 2001 First announcement and call for papers On May 22, 2001, the 80th Anniversary of Academician N. N. YANENKO, an eminent mathematician, will be celebrated. An International Conference cosponsored by the Institute of Computational Technologies and the Institute of Theoretical and Applied Mechanics of the Siberian Branch of the Russian Academy of Sciences on "Recent Developments in Applied Mathematics and Mechanics: Theory, Experiment and Practice", in honor of the 80th anniversary of the birth of Nikolaii Nikolaevich Yanenko, will take place at Novosibirsk Scientific Center (Akademgorodok), Russia, from Sunday, June 24, to Friday, June 29, 2000. The International Organizing Committee headed by Academician Yu. I. Shokin and the Corresponding Member of the RAS V. M. Fomin endorsed the Scientific Program of the Conference including the following fields: - New mathematical models and numerical algorithms for solving the problems of heterogeneous media mechanics. - Theoretical and experimental problems of fluid dynamics. - Advanced informational technologies in the problems of mathematical modeling. - New advances in methods and applications of interval analysis. - Mathematical modeling in the science of machines and problems of safety of engineering systems. The Conference will also include the Meeting on the Transfer of Hi-Tech Know-How. The working languages of the Conference are Russian and English. Submissions Prospective participants are invited to submit their applications and electronically register on the Web-page of the Organizing Committee until April 1, 2001: http://www.ict/nsc.ru/ws/NikNik/ Those with no access to the Internet are invited to complete the attached registration form and mail it to the Address of the Organizing Committee. The invitations to the participants will be sent in the first half of May, 2001. Important dates: - April 1, 2001 - Electronic registration and applications - May 15, 2001 - Notification of acceptance - May 1, 2001 - Electronic versions of the draft papers Addresses of the Organizing Committee of the International Conference "Recent Developments in Applied Mathematics and Mechanics" Leonid Chubarov, Scientific Secretary ICT SB RAS Acad. Lavrentiev Avenue, 6, Novosibirsk, 630090, Russia E-mail: NikNik [at] ict [dot] nsc.ru Phone: (3832) 34 37 85 Fax: (3832) 34 13 42 http://www.ict.nsc.ru/ws/NikNik/ From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 11 19:03:52 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id TAA04164 for reliable_computing-outgoing; Sun, 11 Feb 2001 19:03:51 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id TAA04159 for ; Sun, 11 Feb 2001 19:03:47 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.11.2/8.11.2) with SMTP id f1C13ie19911; Sun, 11 Feb 2001 18:03:44 -0700 (MST) Message-Id: <200102120103.f1C13ie19911 [at] cs [dot] utep.edu> Date: Sun, 11 Feb 2001 18:03:43 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Novosibirsk conference: typo in URL 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: vUIpDJYzII5fI549NOGP/Q== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk In the ad that I have just forwarded there was a typo in the URL, the correct URL is http://www.ict.nsc.ru/ws/NikNik/ (English-language version is at http://www.ict.nsc.ru/ws/NikNik/index.en.html) Sorry for the typo. Vladik From owner-reliable_computing [at] interval [dot] usl.edu Mon Feb 12 03:06:07 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id DAA04791 for reliable_computing-outgoing; Mon, 12 Feb 2001 03:06:07 -0600 (CST) Received: from buffalo.ens-lyon.fr (buffalo.ens-lyon.fr [140.77.1.8]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id DAA04786 for ; Mon, 12 Feb 2001 03:05:57 -0600 (CST) Received: from pastaga.ens-lyon.fr (pastaga [140.77.11.223]) by buffalo.ens-lyon.fr (8.11.2/8.11.2) with ESMTP id f1C95rj01141; Mon, 12 Feb 2001 10:05:53 +0100 (MET) Received: from pastaga (pastaga [140.77.11.223]) by pastaga.ens-lyon.fr (8.9.1a/8.9.1) with SMTP id KAA15367; Mon, 12 Feb 2001 10:05:50 +0100 (MET) Message-Id: <200102120905.KAA15367 [at] pastaga [dot] ens-lyon.fr> Date: Mon, 12 Feb 2001 10:05:50 +0100 (MET) From: Nathalie Revol Reply-To: Nathalie Revol Subject: Linear Algebra and Arithmetic Conference To: reliable_computing [at] interval [dot] louisiana.edu Cc: Nathalie.Revol@ens-lyon.fr MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: l7VOU16WtSkdazTfG2wO5g== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk We apologize if you receive multiple copies of this announcement. LINEAR ALGEBRA AND ARITHMETIC CONFERENCE: Numerical, Symbolic and Parallel Computations May 28-31, 2001 Faculty of Sciences, Rabat, Morocco This conference takes place after the first School on Numerical and Ssymbolic Computations organized in September 1999, in Rabat. It aims at gathering researchers from the linear algebra and arithmetic areas who are especially interested in algorithms. It should enable various research groups to fruitfully exchange scientific ideas and reinforce their partnerships. The format will consist of two tutorials given by J.-M. Muller (Ecole Normale Superieure de Lyon, France) and F. Tisseur (University of Manchester, United Kingdom), of invited talks from distinguished speakers from France, Belgium, Spain and United Kingdom and of a set of contributed talks. The languages of the conferences are English and French. It is organized by the Group of Numerical Analysis and Optimization, Department of Mathematics and Computer Science, Faculty of Sciences, University Mohammed V Agdal, Rabat, Morocco. If you wish to submit an abstract (6 pages at most) before February, 28th, or if you need further information, please consult the conference Web page: http://www.ens-lyon.fr/LIP/Arenaire/ALA2001 On behalf of the organizing committee Nathalie Revol --------------------------------------------------------------------------- Nathalie REVOL LIP - Projet INRIA Arenaire tel : (33) 4-72-72-86-42 Ecole Normale Superieure de Lyon Fax : (33) 4-72-72-80-80 69364 Lyon Cedex 07 Nathalie.Revol@ens-lyon.fr FRANCE http://www.ens-lyon.fr/~nrevol --------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Mon Feb 12 12:01:22 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id MAA05824 for reliable_computing-outgoing; Mon, 12 Feb 2001 12:01:22 -0600 (CST) Received: from into.nit.spb.ru (ns.nit.spb.ru [212.193.6.225]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id MAA05818 for ; Mon, 12 Feb 2001 12:00:53 -0600 (CST) Received: from slava.UUCP (uucp@localhost) by into.nit.spb.ru (8.8.7/8.8.7) with UUCP id VAA24704 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 12 Feb 2001 21:04:17 +0300 (MSK) (envelope-from slava.nit.spb.su!nest [at] slava [dot] nit.spb.su) Received: by slava.nit.spb.su (dMail for DOS v1.23, 15Jun94); Mon, 12 Feb 2001 20:52:54 +0300 To: reliable_computing [at] interval [dot] louisiana.edu Message-Id: Organization: Slava Nesterov Date: Mon, 12 Feb 2001 20:52:54 +0300 (MSK) Reply-To: nest [at] into [dot] nit.spb.su From: "Slava Nesterov" X-Mailer: dMail [Demos Mail for DOS v1.23] Subject: Reliable Computing, volume 7, issue 3, 2001 Lines: 42 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Reliable Computing Volume 7, issue 3, 2001 Foreword 193-194 Mathematical Research On Bounding Solutions of Underdetermined Systems Michael A. Wolfe 195-207 On The Theory of Error Control Based on Moduli with Common Factors Andraos Sweidan, Amman, Jordan, Ahmad A. Hiasat 209-218 Robust Control Using Interval Analysis Vladimir N. Shashikhin 219-230 Reliable Minimax Parameter Estimation Luc Jaulin 231-246 Spigot Algorithm and Root Computing Dang-Khoa Do 247-273 Short Communication A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients Goetz Alefeld, Vladik Kreinovich, Guenter Mayer, Michael Huth 275-277 Information Interval talks at the INTERNATIONAL CONFERENCE ON INTELLIGENT TECHNOLOGIES InTech'2000 279-280  From owner-reliable_computing [at] interval [dot] usl.edu Mon Feb 12 12:01:31 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id MAA05842 for reliable_computing-outgoing; Mon, 12 Feb 2001 12:01:31 -0600 (CST) Received: from into.nit.spb.ru (ns.nit.spb.ru [212.193.6.225]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id MAA05831 for ; Mon, 12 Feb 2001 12:01:24 -0600 (CST) Received: from slava.UUCP (uucp@localhost) by into.nit.spb.ru (8.8.7/8.8.7) with UUCP id VAA24710 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 12 Feb 2001 21:04:59 +0300 (MSK) (envelope-from slava.nit.spb.su!nest [at] slava [dot] nit.spb.su) Received: by slava.nit.spb.su (dMail for DOS v1.23, 15Jun94); Mon, 12 Feb 2001 20:53:18 +0300 To: reliable_computing [at] interval [dot] louisiana.edu Message-Id: Organization: Slava Nesterov Date: Mon, 12 Feb 2001 20:53:18 +0300 (MSK) Reply-To: nest [at] into [dot] nit.spb.su From: "Slava Nesterov" X-Mailer: dMail [Demos Mail for DOS v1.23] Subject: Reliable Computing, Volume 7, issue 4, 2001 Lines: 28 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Reliable Computing Volume 7, issue 4, 2001 Mathematical Research Synchronous and Asynchronous Interval Newton-Schwarz Methods for a Class of Large Systems of Nonlinear Equations Hartmut Schwandt 281-306 Validated Bounds for Taylor Coefficients of Analytic Functions Markus Neher 307-319 Computer Implementation Automatic Forward Error Analysis for Floating Point Algorithms Walter Kraemer, Armin Bantle 321-340 Application Interval Methods in Non-Destructive Testing of Material Structures Keith Worden, Roberto Osegueda, Carlos Ferregut, Soheil Nazarian, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, Sergio Cabrera 341-352  From owner-reliable_computing [at] interval [dot] usl.edu Tue Feb 13 00:40:01 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id AAA00442 for reliable_computing-outgoing; Tue, 13 Feb 2001 00:40:01 -0600 (CST) Received: from omega.nbsp.nsk.su (ns.nbsp.nsk.su [212.17.10.98]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id AAA00437 for ; Tue, 13 Feb 2001 00:39:56 -0600 (CST) Received: from nbsp.nsk.su (novo0 [129.144.234.240]) by omega.nbsp.nsk.su (8.8.8+Sun/8.8.8) with SMTP id MAA06880; Tue, 13 Feb 2001 12:39:47 +0600 (NST) Received: from novo82 by nbsp.nsk.su (SMI-8.6/SMI-SVR4) id MAA13049; Tue, 13 Feb 2001 12:39:37 +0600 Received: from novo82 (novo82 [129.144.234.82]) by novo82 (8.9.1b+Sun/8.9.1) with SMTP id MAA27472; Tue, 13 Feb 2001 12:38:06 +0600 (NST) Message-Id: <200102130638.MAA27472@novo82> Date: Tue, 13 Feb 2001 12:38:06 +0600 (NST) From: "Sergey P. Shary" Reply-To: "Sergey P. Shary" Subject: Re: conference targeting intervals: from NA Digest 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: MHAG7Cx/omlKw27vMLqbKA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, The right URL of the site of Conference in Novosibirsk in Honor of N. N. Yanenko (having, among others, an interval section) is http://www.ict.nsc.ru/ws/NikNik/ To get to the English part, click the blue button in right upper corner. Sorry for inconvenience, Sergey P. Shary From owner-reliable_computing [at] interval [dot] usl.edu Thu Feb 15 22:40:02 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id WAA04111 for reliable_computing-outgoing; Thu, 15 Feb 2001 22:40:01 -0600 (CST) Received: from isolde.mcs.newpaltz.edu (isolde.mcs.newpaltz.edu [137.140.8.108]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id WAA04106 for ; Thu, 15 Feb 2001 22:39:57 -0600 (CST) Received: from localhost (hanh@localhost) by isolde.mcs.newpaltz.edu (8.9.3+Sun/8.9.1) with ESMTP id QAA07191 for ; Thu, 15 Feb 2001 16:58:09 -0500 (EST) Date: Thu, 15 Feb 2001 16:58:09 -0500 (EST) From: Hanh Pham To: h-1 [at] isolde [dot] mcs.newpaltz.edu Subject: "AGENTS FOR E-BUSINESS ON THE INTERNET" Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk *Please accept our apologies if you receive more than one copy of this CFP* C A L L F O R P A P E R S ============================= Session on "AGENTS FOR E-BUSINESS ON THE INTERNET" At the 2001 International Conference on Internet Computing (IC-2001) (Submission Deadline: March 5, 2001) for more info: http://www.mcs.newpaltz.edu/~pham/IC/ Monte Carlo Resort, Las Vegas, USA June 25-28, 2001 (in a Multi-Conference even PDPTA + IC + CISST + IC-AI + METMBS + ERSA) (Submission Deadline: March 5, 2001) TOPICS: Agent technology is one of the most promising tools to conduct business via the Internet and Intranets in an autonomous, intelligent, and efficient way. The goals of this session are to gather academic as well as industrial researchers to exchange new ideas and experiences, to initialize new connections toward future cooperation or to strengthen existing collaborations. We welcome papers on architectures, protocols, algorithms, design, evaluation (performance, QoS, security), and implementation techniques for agent-based systems. Technical issues to be addressed include, but are not limited to: +Large-Scale E-Business Agent-Based Systems +Networking Supports for Internet Agents +Web Intelligent Interface with Agents +Agents for Database in E-Business +Wireless Agent-Based Systems +AI Techniques for Internet Agents +Agent Communication +Agent Cooperation/Competition +Agent Negotiation And Learning +E-Management and E-Control with Agents +E-Trade and E-Marketplace with Agents +E-Payment and E-Banking with Agents +Financial & Investment Agent-Based Applications +Agent-based Supply Chains +Information Retrieval and Processing with Web Agents +Personal Agents +Agents for Games on the Internet +Visualization +Security and Authentication SUBMISSION: You are invited to submit papers to the session chair (contact address is given below) by March 5. E-mail submission is preferred. The length of the Camera-Ready papers (if accepted) will be limited to 7 pages. Please include: paper title, your names, affiliation, address, E-mail, telephone and fax number and a maximum of 5 keywords in the first page of your paper. PUBLICATION: Accepted papers will be published in the (IC-2001) INTERNET COMPUTING Conference Proceeding by CSREA Press (ISBN) in hard copy. The proceedings will be available at the conference site. Selected accepted papers will be considered for journal publication. CONFERENCE EVENTS: This Multi-Conference event with about 1500 participants is composed of six International conferences that will be held simultaneously (same dates and location). Please visit http://www.ashland.edu/~iajwa/conferences/pdpta for more information. ACCOMMODATION: Please visit http://www.newpaltz.edu/~phamh/IC/ for more information on hotel rates, airfares, and tours. IMPORTANT DATES: March 5, 2001 (Monday): Papers due April 2, 2001 (Monday): Notification of acceptance May 1, 2001 (Tuesday): Camera-Ready papers due June 25 - 28, 2001: IC-IT'2001 CONTACT: Dr. Hanh Pham Department of Computer Science State University of New York at New Paltz 75 S. Manheim Blvd. Suite 6, JFT 1008 New Paltz, NY 12561-2440, USA E-mail: phamh [at] newpaltz [dot] edu Web: http://www.newpaltz.edu/~phamh/IC/ Tel: 1-845-257-3574 Fax: 1-845-257-3996 From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 16 10:01:00 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id KAA04889 for reliable_computing-outgoing; Fri, 16 Feb 2001 10:01:00 -0600 (CST) Received: from recife.cin.ufpe.br (recife.cin.ufpe.br [200.249.235.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id KAA04884 for ; Fri, 16 Feb 2001 10:00:54 -0600 (CST) Received: from goiana.cin.ufpe.br (goiana [172.19.33.208]) by recife.cin.ufpe.br (8.11.2/8.11.2) with ESMTP id f1GG0LX07408 for ; Fri, 16 Feb 2001 13:00:21 -0300 (EST) Received: from localhost (mac@localhost) by goiana.cin.ufpe.br (8.9.3+Sun/8.9.1) with ESMTP id NAA26392 for ; Fri, 16 Feb 2001 13:00:21 -0300 (EST) X-Authentication-Warning: goiana.cin.ufpe.br: mac owned process doing -bs Date: Fri, 16 Feb 2001 13:00:20 -0300 (EST) From: Marcilia Andrade Campos X-X-Sender: To: Subject: EJMC - Call for Papers Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk EJMC - ELECTRONIC JOURNAL ON MATHEMATICS OF COMPUTATION CALL FOR PAPERS - Number 1 The Electronic Journal on Mathematics of Computation - EJMC - is published by the Brazilian Group on Mathematics of Computation, managed by an international editorial board, and maintained and sponsored by the School of Informatics at Catholic University of Pelotas, Brazil. Number 1 is planned to be issued in July 2001. Deadline for submissions is May 31st, 2001. For submissions procedures, and more information on the journal (including Number 0), see the homepage: http:///gmc.ucpel.tche.br/ejmc From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 16 10:10:01 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id KAA05132 for reliable_computing-outgoing; Fri, 16 Feb 2001 10:10:01 -0600 (CST) Received: from isolde.mcs.newpaltz.edu (isolde.mcs.newpaltz.edu [137.140.8.108]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id KAA05127 for ; Fri, 16 Feb 2001 10:09:55 -0600 (CST) Received: from camelot.itc.it (camelot.itc.it [195.223.171.5]) by isolde.mcs.newpaltz.edu (8.9.3+Sun/8.9.1) with ESMTP id DAA08352 for ; Fri, 16 Feb 2001 03:25:02 -0500 (EST) Received: from artemide.itc.it (artemide [10.0.10.10]) by camelot.itc.it (8.8.8/8.8.8) with ESMTP id JAA05051 for ; Fri, 16 Feb 2001 09:26:21 +0100 (MET) Received: from ares (ares [10.30.0.9]) by artemide.itc.it (8.10.2/8.10.2) with ESMTP id f1G8Pnw14334 for ; Fri, 16 Feb 2001 09:25:54 +0100 (MET) Received: (dori@localhost) by ares (8.6.12/8.6.12) id JAA27986 for h-1 [at] isolde [dot] mcs.newpaltz.edu; Fri, 16 Feb 2001 09:24:19 +0100 Message-Id: <200102160824.JAA27986@ares> Subject: cfp: Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics To: h-1 [at] isolde [dot] mcs.newpaltz.edu Date: Fri, 16 Feb 2001 09:24:19 +0100 (MET) From: Carola Dori X-Mailer: ELM [version 2.4ME+ PL47 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ************************************************************************ IJCAR workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics www.mrg.dist.unige.it/~enrico/wkshp-ijcar.html Siena, June 18-19, 2001 ************************************************************************ Topic ***** The aim of this workshop is to bring together people who are interested in the development and experimental evaluation of systems for modal, temporal and description logics. The emphasis of the workshop is on the identification of open problems and the discussion of possible solutions under the theme: - - Which are the key issues in the design of modal and temporal systems? - - What is a good benchmark set? - - What is a good comparative evaluation? The workshop will consist of three parts on each of these questions, with invited speaker starting the discussion followed by contributions from the participants. An overall panel will conclude the workshop. Topics of interest include (but are not limited to) - - Tableaux vs Translations Methods - - SAT-based vs BDD-based techniques - - Running Time vs Scaling abilities - - Random Benchmarks vs Industrial Case Studies Submission ********** Submissions are encouraged in one of the following two categories: A. Regular paper: Submissions in this category should describe completed work or work in progress, including description of researches, testing methodologies, tools, and applications. The length of submitted papers should be no more than 10 pages in LNCS style. B. Discussion paper: Submissions in this category are intended to initiate discussions. They should address controversial issues and may include bold provocative statements on the above themes. The length of papers should be no more than 5 pages in LNCS style. Submissions should be prepared following the LNCS guidelines and sent in postscript format by e-mail to Enrico Giunchiglia (subject: IJCAR-workshop Submission). The category (either A or B) must be clearly indicated. Please include also address and e-mail of the contact author into the submission e-mail. Publication *********** Accepted papers will be distribuited as part of the workshop working notes. Some of the papers might be published in a special issue of an international journal (to be confirmed, check the web site). Participation ************* Participation will be open to authors, the invited speakers and the people in the PC. If you wish to attend without presenting a paper, please send a brief e-mail to Enrico Giunchiglia (subject: IJCAR-workshop participation) with a brief summary of your research interests. Note that all participants must register to IJCAR. Program Committee ***************** A. Biere (ETH, Zurich) E. Giunchiglia (U. Genova, Organiser) F. Giunchiglia (U. Trento) I. Gent (U. St. Andrews) I. Horrocks (U. Manchester) F. Massacci (U. Siena) Important dates *************** Submission deadline: April 1, 2001 Notification of acceptance: April 30, 2001 Final version due: May 13, 2001 Early registration: to be announced Further Infos ************* For up-to-date information, see the workshop web site www.mrg.dist.unige.it/~enrico/wkshp-ijcar.html, or contact Enrico Giunchiglia (subject: IJCAR-workshop infos). From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 16 18:39:37 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id SAA05783 for reliable_computing-outgoing; Fri, 16 Feb 2001 18:39:37 -0600 (CST) Received: from csr.csc.UVic.CA (csr.csc.UVic.CA [142.104.100.100]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id SAA05778 for ; Fri, 16 Feb 2001 18:39:33 -0600 (CST) Received: from GROMIT (gromit.csc.UVic.CA [142.104.106.25]) by csr.csc.UVic.CA (8.8.8/8.8.8) with SMTP id QAA01707; Fri, 16 Feb 2001 16:30:04 -0800 (PST) From: "Jens H. Jahnke" To: Subject: Call for papers: DRE 2001 - Data Reverse Engineering Date: Fri, 16 Feb 2001 16:31:46 -0800 Message-ID: MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_NextPart_000_005F_01C09835.F464F6C0" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.3018.1300 X-MS-TNEF-Correlator: Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_005F_01C09835.F464F6C0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit DRE 2001 Data Reverse Engineering http://reengineer.org/wcre2001/dre/drecfp.htm Tuesday, 2 October 2001 at Stuttgart, Germany as part of WCRE 2001 CALL FOR PAPERS Papers Due: May 1, 2001 "Meeting the Data Requirements of a Net-Centric Society" Reverse engineering is the set of techniques and processes to comprehend the structure and interrelationships of a subject system, creating representations that document the system and facilitating our understanding of it. Nowhere are such techniques more desperately needed than in helping us understand the data that drives our business organizations. Y2K, the Euro conversion, and decimal stock trading have shown how little we understand the systems that run our enterprises, especially their databases, data structures, and data-intensive operations. Data reverse engineering (DRE) approaches are helping in the analysis of legacy systems, in the evaluation of packages, and in test planning. DRE represents the convergence of reverse engineering, database, data design, and information engineering fields. In the process and control aspects of systems, we are quite far along in developing and understanding reverse engineering tools and techniques. Reverse engineering of the data aspect of systems is far less developed, far less accepted and some observers say that we have only just begun. With the new millennium also came the advent of a network-centric society that has begun to change the way business is conducted immensely. The data requirements of this new network-centric society greatly differ from traditional data requirements. Electronic Data Interchange (EDI), Business2Business eCommerce, data warehousing, and data mining are just some example technologies that have become crucial for a competitive information management. The ability to efficiently integrate these and other emerging technologies with existing legacy information systems is paramount to many organizations' existence. This workshop is a working meeting of leading DRE researchers to discuss the state and direction of this growing field, combined with a general open overview discussion of objectives, progress, and opportunities. Prior working meetings have been held in 1999 (Pittsburgh) and 2000 (Zurich). Both full research papers and user experience reports will be presented and discussed at the Stuttgart workshop. The mission of DRE 2001 is to address any and all issues in pertaining to data reverse engineering, including (but not limited to): * Formal methods for Data Reverse Engineering * Practical experience reports * DRE tools and techniques * Interoperability of DRE tools * Assistance of DRE in evaluating software * Data access middleware * Creating business portals for data integration * Data maintenance and evolution * Data migration and conversion * Data distribution * Reverse Engineering into XML * Submission of Papers Papers should be up to 10 pages in length. Papers must not have been previously published nor have been submitted to, or be in consideration for, any journal, book, or other conference. Email your paper to wcre.2001.dre [at] durham [dot] ac.uk. Papers should be in the IEEE proceedings format and sent as a single Postscript file that conforms to the IEEE Postscript submission guidelines. (LaTeX users should use the standard IEEE proceedings format style file). Contact one of the Workshop Chairs before sending other file types. All submissions must be viewable and printable with Ghostview, version 1.5. At least one author of each accepted paper must register and attend the workshop. That registration is due with the camera-ready final copy before the paper is printed in the proceedings. By submitting a paper for consideration, you acknowledge and accept these requirements. DRE 2001 will use WCRE's discussion-oriented working conference format. Paper presentations have a strict time limit (20 minutes each), followed by open joint discussion of the topic area and several papers presented. Proceedings will be published by IEEE Computer Society Press in conjunction with WCRE 2001. Key Dates * DRE 2001 Papers Due (firm deadline): May 1, 2001 * Notification to Authors: June 18, 2001 * Final print papers due (firm deadline): July 13, 2001 DRE 2001 Chairs Kathi Hogshead Davis Jens H. Jahnke Northern Illinois University University of Victoria Department of Computer Science Department of Computer Science DeKalb, IL 60115 Victoria, B.C. V8W3P6 USA Canada phone +1 (815) 753 6945 phone +1 (250) 472 4542 fax +1 (815) 753 0342 fax +1 (250) 721 7292 kdavis [at] cs [dot] niu.edu jens [at] acm [dot] org WCRE 2001 will also host two other workshops related to Analysis, Slicing, and Transformation (AST) of source code and Decompilation Techniques (Decomp) of binary code. Analogously to DRE 2001, the proceedings of these workshops will be published by IEEE Computer Society Press in conjunction with WCRE 2001. The same paper can only be submitted to either one of these workshops or to the main conference. More information on these workshops can be found at http://reengineer.org/wcre2001. Dr. Jens H. Jahnke University of Victoria http://csr.uvic.ca/~jens ------=_NextPart_000_005F_01C09835.F464F6C0 Content-Type: application/ms-tnef; name="winmail.dat" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="winmail.dat" eJ8+Ii4AAQaQCAAEAAAAAAABAAEAAQeQBgAIAAAA5AQAAAAAAADoAAEIgAcAGAAAAElQTS5NaWNy b3NvZnQgTWFpbC5Ob3RlADEIAQ2ABAACAAAAAgACAAEGgAMADgAAANEHAgAQABAAHwAAAAUAHgEB A5AGADgRAAAiAAAACwACAAEAAAALACMAAAAAAAMAJgAAAAAACwApAAAAAAADADYAAAAAAB4AcAAB AAAANQAAAENhbGwgZm9yIHBhcGVyczogRFJFIDIwMDEgLSBEYXRhIFJldmVyc2UgRW5naW5lZXJp bmcAAAAAAgFxAAEAAAAWAAAAAcCYeQJPH141iPUOQCKZEBtUxNxPhgAAAgEdDAEAAAAWAAAAU01U UDpKRU5TQENTUi5VVklDLkNBAAAACwABDgAAAABAAAYOAHqt5niYwAECAQoOAQAAABgAAAAAAAAA ftrWi0wNy0WOvgVZCa5eCMKAAAALAB8OAQAAAAIBCRABAAAASg0AAEYNAAB9GQAATFpGdZYkGsQD AAoAcmNwZzEyNRYyAPgLYG4OEDAzM08B9wKkA+MCAGNoCsBz8GV0MCAHEwKDAFAQZvhwcnEOUBDf AfES4QRkbxL5CFUHsgKDMwLjEvcyNwYABsMCgH0KgAjIIDtbCW8OMDUCgAqBdgiQd9JrC4BkNAxg YwBQCwMOcQDgDDALtSBEUkXSIAHQMDEDMGIRUB1Q3wqiCoAddQogHIBhAZAH8MxldgSQESAgRQ8g C4BfCeAFEA8gHSEdhGgCQHBYOi8vCdIfdC4FsGecL3cFABoAHOEvZAlwVSJyYxKgLiCQbR2LVEEK UHNkYXksHMAg4E9jdG9iFdEc0x6QqQYAdHUCQGcKwHQkoNZHBJADgXkdhGEEIAqxwQVAb2YgV0Mc ph1mAR2EQ0FMTCBGT4BSIFBBUEVSBfBxKNpQYXAfARyAClA68wXQJIAgMSShHOEo2AsxoyzoG8Ag Ik0J4HQf0RggdGgfMB6FcXVpfwlwB4ACMAQgJ+EesAfAdBwtQzABBRAuQFNvY/EIkHR5IijaCvMe xyEmXy6yBAAu4xEhJ9J0BZBo/wMAL6AHkQBwMuASsDFwB5BTESA0UW8gBaBtErBl/y8ANeE0czEQ GzAl8AlwNcN7C4A1IHIJcAtgLqACIHOGaAUgMDVzdWJqBZD5BUBzeTfQL+AkoCIBOTH/LsEJcDcR ESACMDk0LuElsXpkMXB1L/I0ZDrDNcNmOwDQAxBpPEIuwQhhIHV/GvAfAQGQGvA/IyfwPuAu+Qew b3cvADhCOEE6MBMQ7zUaBGA4QQEAcytxHpA5EL8sMB+RAQA3cgORC4AgLwD0bHAusnUEID+oLuMk cL8eoTzEBRAe8DAxP3FiRTDPH4EEESGxAHBpejk0QNDYWTJLJKAu8kUIcDbC/m4e8jlRJKA10gWB B3AHQPs3wTFway7gQ1BAMxMgHvBdNKBoQQBEkUEAID7RdPpsHzB3HzBFbTq0PKU38P8DoD9iMAEE kBKwBAAHkCSgf0MSMYAHQEORLvEvwEZDYn8nYFDCRlM311DRSsMekS33OLIAgUyBb0MzSMMo2h6D UwlwMy8gKByRKSWgcP82EQDQLwA1sThBRLZEgS7yfwBwB0A6wDRBJ+FNkCYwY78sME7lJKBZ1R7g B0B1OTPnJ9IKsEuwYWdTllnSB5D7BUALUW4DAA8gQNAckjvH9zRUSgRdoG42QCfSVs8PIM9SpFJS UqVDAWlnSpULgC8CECaxXNMzimYIkGxk/UjxSVnkNhU1w0oBMRAG8P8loFESMCRbd03BQXIvoTUg /z6BBcAHQAIgWbMBAB7wCQDfROM10j+sYX8uwm8G8DW0/zUoQNAzD0BURhdoJGiZNDL/ajJNkAQR awUJgCSgcscA0G82QAUwRAE10nMDcFThYv0RIHIe8jSgLCE8w03BTGO7AiBDkWpFMAVAJSBnP6B9 VatXPuBB4S8BH5AH4G1/AxBNkF7hPUBqYXVgNtBhe3WBWgNkHvA9cTBTH5B08ncFsGstNkAxBHVg MYP/PLQTIAQgeAM2o0RBXaAu4953LCFHpzRBSgFkOAFEAd8HcC/xESBDkEDQVEYmCXD/L6wu8DRB ebJ8T31VCcEekP9DkUAwASAV0QNSS9Q5QktR+4IvQNBFTZAk8ANgAwAuQA8eg2ZwONF+5ShFREnq KSSgQke1MormM3AIUP+BQYnwYzZ/kDchCGBHwWKRP1PWeeFe8kFjd7N1Y2V4/3sAC1B7ITUyCPEf cDaCfdT/TIElIDbhYGE38QcxPoAFsf8esDbiLpEuoEyBZHoDgV2R/y/ygcQBoD7CUZE2wAERDeD/ CJACMEOROLIJwENhLuIfIf010m8u8VARjEEfcS7RkEr/A/B5QY+wBAAuo1sFZHpyGX8KsXsACGA9 cjbAJsJILCd/miRg8lWrgeA0QYQyTLFw/zQyjOGEQS6yB4AulFrTTAT/X1QRIArAWMErkTaxQDAE 8P9FMDRVPEE4VEAwItFc1oNz/wnAQQBltzsRA3CVgB+QMuD/meMesGDhQ0EDIFUBT9Ee8f8akqQW XOUlEDpiRxIkoDYR7wnBBBBKpFUAcAkRP6CHAf1vMlAFEAWxoU0EIJFVqTGzRLFeEzE5sABX8FBN YfZzR6AhwGhYQTXhHNERUKwoWghxExApQNBCmCH9PoB1UXCjJyeBK3Nrs3XR/4+hK3GWcWERO8EJ EZnCsrH/JSA2ATwDdPWkJXTyPYQl5/+gV59NHzB58KpHHJc0QjbA/0wAIoFnMywwNdJRYTQxOjD/ B5FEgStxAZCOdKPyVo9iRu0LgGMKQEAzKEegBUCQcJ8FQD7QefB04iUAKTox7yUAAHA4wXh0FmIn QjY3DIICkSrDUcNRbHb+bAJgw7DDYBZxw2Aa4TABfwHhw2HDoAwwxAEYAAIAafgtMzgBQD7Qx4Ep 0GSi/wMgB4Au8ARwcqEFsR6PM8b/HYTDT8RRrWAA0C6gevADIP+0fwQhyv/EBhySbh81ks5f/8P3 ibNVA5WFusXQNNGPw/f+QapBP/JhFBySRIFcdi7B/3VgAYCNAtT/z1lxM3ShBBHfefC78E2Q2O/D rEM7Rken/6ySeqGSg0ZTluZc4txP2kz/AMBUY9cDNdLJsAbwJgDgn//hr3nh4FZnZUo15F/aPaQh fzERwPHnr8O7ya9ZozaxWO5NKcDqr8P3UzpAukkrVb8szytVTLGyoDLgtfF1oNC/NrEPQCeBXaFE cnohZy7w+61BK2Rtd8LBMq7YNxEakPuNUUORcDpAPtA5gEQBkHD/BcCu2DoxwZHBtCSgBbG18f9E gUoBAJAEgVzEZJFKoneRzwhhWlEkoAbgb2v5U5gkt0oBhjGfD0XiwQMgeT9iV7NzNqIh8i4c0i4i gUAlgMByEyBtLnSQLnWea0DQKp/yalnVSUUDsP82BAmAroNklHUUPWInYToR8x/RTZFQbzfQpEBQ kHTQ/2XhkAI80vzyZKE2kwNnBnl/+JOqRHgg+kE+0EfhQNAo4ExhVGVYtBPyZ7Qhv6SWGvAywgOv BLU30HlNkX8HIrIRFYA8MXGyH5Bwplf9oHZDEyAvwH4yyRE0kkAlu5gzByR5K3BI8SjaQbKx/wnI 9RW18RqSYvBNkTXUOLH7FpOoI0dMwDfQGpIkoOdmfQAgNRP9wVE7UF6BEFJh/yYATMD8cSfwO1BB 0XSX/xT/9TMhAB9wOtGSsbyy+OE3Zf+4t5UhT4IdY+BlNEGAwBel12BDewHToC07QWQsMGXw+4dC p5Bwf7ESFGaj/yOccv8XMoECZokERLIhW1H4pGtzv/8FyRL6Cyxg/sF0gWuQcPp3TZBkikG8o3Sj l3WH209Vu7sGtaMMcldDuwAn+3MxqgctkqCWcqfyoVX8+P8EpfSlthY8VUxjUvOE0D2B/8GASZDB c1fwsVCOUrgw0VG/G8KKsckQUXBBAEQBYp2h/6ki+3A4santSXLzUGtgiUD/QXFxUQUz7GFLUbN1 tidVq/+tYA34taf3JzVRDYOMEfcQ/R2iU4UVrWCAI/njd7BhAD9c06gjLWK7I1WrFHRLZf+8gMlR 0VfCn8OvxL/Fz8bf18fiuvfwlUQg0Shl8ATQr3NBTAAKwsIQIEoyTX+h3jGKwLsy7h9Dx06YIIYQ V8zRXNPzUUEbM3NKJEqzT8AIoDE4St9DbUYicz8XI7NmIMJJP05k9uExMz9PGvFpK+0RlRR0FAZi IOZLyWCmYCBIkKD3YYbg+8lB9pBzV+DHoGLhWYdX8E5KgWFYYDCgSmFu4Gt+ZVlSFINM0M4Q/LHq gEnvehDAQDXg8OBVRbDnY4VQt1mGXPl74lYyoS6BYSvl/yoQuHGC4nviPPiWYs2gXeO/X/9hDF+l WBBFAIrASe3wcja7UDE1WYpfB4rBLgJDMKBWOFczUDaxFHRVU0FZi122Q5SBW4ywFHRwjUAQYSu7 YChGOGVAsPA3NTNlADmONGVXvbBqNzI1MLDwiDQ3Mm0ANTQyFHTldAB4anwwM21xZXpt9q9sw20g u2BtIDlthWuMsFlZIUBjE+B6US4pUHX3ZWuq8PogQBwQANCdwVcc/UIaZrtgP6e1lHqjGCIIcN+E MPyFoGbw4B1QbEGxwdLfFHWHQZwACgCKwFPT4JZgHY2WVNOg+iCT2ChBU/5UsPAbkdig+5Bj5qeQ CqB/BRNiIJLy/pCblAtg0Pco/35EfKOnwZywvIB9sv2VegL/kKD2tPNRuvaKwCUNEIWXsf8UdHho O188bz19FHQ+bz97/ZUjcyGh/wXM4KlBRNAi8v8UBfiav2CZ8fzBEFiXsXho/5KhCFXiwhQF/PlK cBIyk7p/TXKPDYwijLfJEImwt4No4fjgcDovLx1Qv3Z0IvYv/6I/9GZthdXgW3VCD35cWzAqEESg KRHboDKwbPecoVfgdfJElqBabvEZmjunsYBeP19JXGN2AFyyoHeVlnIwlqB19pABAMzgL/5+c6Kf 0cegsqBcsKiwmF8r8VWYNn3xQACkwAAACwAAgAggBgAAAAAAwAAAAAAAAEYAAAAAA4UAAAAAAAAD AAKACCAGAAAAAADAAAAAAAAARgAAAAAQhQAAAAAAAAMAB4AIIAYAAAAAAMAAAAAAAABGAAAAAFKF AAB9bgEAHgAJgAggBgAAAAAAwAAAAAAAAEYAAAAAVIUAAAEAAAAEAAAAOS4wAAsADYAIIAYAAAAA AMAAAAAAAABGAAAAAIKFAAABAAAACwATgAggBgAAAAAAwAAAAAAAAEYAAAAABoUAAAAAAAADABSA CCAGAAAAAADAAAAAAAAARgAAAAABhQAAAAAAAAsAHYAIIAYAAAAAAMAAAAAAAABGAAAAAA6FAAAA AAAAAwAegAggBgAAAAAAwAAAAAAAAEYAAAAAEYUAAAAAAAADACCACCAGAAAAAADAAAAAAAAARgAA AAAYhQAAAAAAAAIB+A8BAAAAEAAAAH7a1otMDctFjr4FWQmuXggCAfoPAQAAABAAAAB+2taLTA3L RY6+BVkJrl4IAgH7DwEAAAB5AAAAAAAAADihuxAF5RAaobsIACsqVsIAAFBTVFBSWC5ETEwAAAAA AAAAAE5JVEH5v7gBAKoAN9luAAAAQzpcRG9jdW1lbnRzIGFuZCBTZXR0aW5nc1xqZW5zXE15IERv Y3VtZW50c1xFVENcT3V0bG9va01haWwucHN0AAAAAAMA/g8FAAAAAwANNP03AAACAX8AAQAAADAA AAA8TUxFRklPTE9ITElETlBDRkJDQUZFRUdNRUNBQS5qZW5zQGNzci51dmljLmNhPgADAAYQCFao qQMABxDLEAAAAwAQEAAAAAADABEQAAAAAB4ACBABAAAAZQAAAERSRTIwMDFEQVRBUkVWRVJTRUVO R0lORUVSSU5HSFRUUDovL1JFRU5HSU5FRVJPUkcvV0NSRTIwMDEvRFJFL0RSRUNGUEhUTVRVRVNE QVksMk9DVE9CRVIyMDAxQVRTVFVUVEcAAAAA0jM= ------=_NextPart_000_005F_01C09835.F464F6C0-- From owner-reliable_computing [at] interval [dot] usl.edu Tue Feb 20 10:16:46 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id KAA10496 for reliable_computing-outgoing; Tue, 20 Feb 2001 10:16:46 -0600 (CST) Received: from elios.disi.unige.it (elios.disi.unige.it [130.251.61.19]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id KAA10491 for ; Tue, 20 Feb 2001 10:16:40 -0600 (CST) Received: from [130.251.61.155] (reggio [130.251.61.155]) by elios.disi.unige.it (8.9.3/8.9.3) with ESMTP id QAA07396; Tue, 20 Feb 2001 16:27:51 +0100 (MET) Mime-Version: 1.0 Message-Id: Date: Tue, 20 Feb 2001 16:24:44 +0100 To: etaps2001 [at] elios [dot] disi.unige.it From: Etaps 2001 Subject: ETAPS 2001: SECOND CALL FOR PARTICIPATION Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ETAPS 2001 APRIL 2 - 6, 2001 - GENOVA, ITALY The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of conferences and other events that has become the primary European forum for academic and industrial researchers working on topics relating to Software Science. http://www.disi.unige.it/etaps2001/ ======================================================================= 5 Conferences - 10 Workshops - 10 Tutorials 7 Invited Lectures - 1 panel- 9 Tool Demos ======================================================================= PROGRAM - REGISTRATION FORM - HOTEL BOOKING ======================================================================= SEE http://www.disi.unige.it/etaps2001/ IMPORTANT DATES: ======================================================================= = MARCH 2: deadline to register having HOTEL GUARANTEED and = = A V O I D I N G 20% S U R C H A R G E on fees = = = = April 2-6, 2001: ETAPS 2001 in Genova = = = = March 31 - April 8, 2001: Satellite Events = ======================================================================= CONFERENCES ======================================================================= CC 2001: International Conference on Compiler Construction ESOP 2001, European Symposium On Programming FASE 2001, Fundamental Approaches to Software Engineering FOSSACS 2001, Foundations of Software Science and Computation Structures TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems TUTORIALS ======================================================================= T1: Common Framework Initiative for Algebraic Specification and Development of Software T2: Abstract State Machines: Surveying their Theory and their Industrial Employment T3: Compiling object-oriented programming languages T4: Rule based programming using ELAN: a Tutorial T5: Mathematical Foundations for Software Architecture T6: Rigorous Analysis and Design with the Unified Modeling Language (UML) T7: Domain Analysis and Engineering with Sherlock - producing Software Product Lines T8: Extreme Modeling - Closing the Gap between Modeling and XP T10: TTCN-3 - The new testing language for telecom and datacom WORKSHOPS ======================================================================= CMCS: Co-algebraic Methods in Computer Science ETI Day: Electronic Tool Integration platform Day JOSES: Java Optimization Strategies for Embedded Systems LDTA: Workshop on Language Descriptions, Tools and Applications MMAABS: Models and Methods of Analysis for Agent Based Systems PFM: Proofs For Mobility RelMiS: Relational Methods in Software UNIGRA: Uniform Approaches to Graphical Process Specification Techniques WADT: Workshop on Algebraic Development Techniques WTUML: Workshop on Transformations in UML INVITED LECTURES ======================================================================= Luca Cardelli: Global Computing Michael Fourman: Propositional Reasoning Ole Lehrmann Madsen: Virtual Classes and their Implementation John Mitchell: A Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis Gordon Plotkin: Adequacy for Algebraic Effects Bran Selic: Physical Programming: Beyond Mere Logic Moshe Y. Vardi: Branching vs. Linear Time: Final Showdown PANEL ======================================================================= Free software: the future of software engineering? From owner-reliable_computing [at] interval [dot] usl.edu Thu Feb 22 06:44:20 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id GAA13569 for reliable_computing-outgoing; Thu, 22 Feb 2001 06:44:20 -0600 (CST) Received: from mailhost.uni-koblenz.de (mailhost.uni-koblenz.de [141.26.64.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id GAA13564 for ; Thu, 22 Feb 2001 06:44:14 -0600 (CST) Received: from nostromo.uni-koblenz.de (root [at] nostromo [dot] uni-koblenz.de [141.26.66.122]) by mailhost.uni-koblenz.de (8.9.3/8.9.3) with ESMTP id NAA23648; Thu, 22 Feb 2001 13:43:48 +0100 (MET) Received: (from peter@localhost) by nostromo.uni-koblenz.de (8.9.3/8.9.1) id NAA14826; Thu, 22 Feb 2001 13:43:47 +0100 Message-ID: <14997.2435.484922.310317 [at] nostromo [dot] uni-koblenz.de> Date: Thu, 22 Feb 2001 13:43:47 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: Ijcar Publicity Chair Reply-to: Ijcar Publicity Chair From: Ijcar Publicity Chair Subject: CFP: IJCAR 2001 - Short Paper Submission Deadline Reminder X-Mailer: VM 6.90 under 21.1 (patch 14) "Cuyahoga Valley" XEmacs Lucid Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------------------------------------------------------ IJCAR 2001 The International Joint Conference on Automated Reasoning http://www.dii.unisi.it/~ijcar/ REMINDER: Short Paper Submission Deadline: APRIL 2, 2001 ------------------------------------------------------------ About IJCAR The International Joint Conference on Automated Reasoning (IJCAR) is the fusion of three major conferences in Automated Reasoning: CADE (The International Conference on Automated Deduction), TABLEAUX (The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) and FTP (The International Workshop on First-Order Theorem Proving). These three events will join for the first time at the IJCAR conference in Siena in June 2001. The submission deadline for research papers and system descriptions has passed. Short paper submission is open now. Short Papers Short papers are intended for quick dissemination of work in progress or results not substantial enough for a full research paper. Their length is limited to 10 pages. Submissions under this category will not be formally refereed, but their content and relevance will be reviewed. Those submissions accepted will be published in a technical report, which will be available at the conference. Authors of accepted papers are expected to present a brief outline of their work at the conference and to prepare a poster for display at the conference venue. For submission details please visit the IJCAR web page given above. -- Peter Baumgartner phone: +49 261 287 2777 mail: peter@uni-koblenz.de fax: +49 261 287 2731 WWW: http://www.uni-koblenz.de/~peter/ From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 25 16:06:09 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id QAA18038 for reliable_computing-outgoing; Sun, 25 Feb 2001 16:06:09 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id QAA18033 for ; Sun, 25 Feb 2001 16:06:06 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.11.2/8.11.2) with SMTP id f1PM5q616634; Sun, 25 Feb 2001 15:05:52 -0700 (MST) Message-Id: <200102252205.f1PM5q616634 [at] cs [dot] utep.edu> Date: Sun, 25 Feb 2001 15:05:52 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: a new book of interest to interval researchers To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: tarrazom [at] usfca [dot] edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: Mm0FvjmFVFTL/5rvYGseYQ== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Manuel Tarrazo, Practical Applications of Approximate Equations in Finance and Economics, Quorum Books, Westport, Connecticut, 2001. In economics and finance, many processes can be described by linear equations; e.g., the revenue generated by selling x1 units of the 1-st type (at the price of p1 per unit), x2 units of the second item, etc., is equal to p1*x1+p2*x2+... Similarly, the total amount of a certain resource needed to produce x1 units of the 1-st type, etc., is a linear combination of the values xi. Thus, to find the values xi which, e.g., guarantee the certain revenue level within given resource limitations, we must solve a system of linear equations a11*x_1+...+a1n*xn=b1, ..., an1*x1+...+a_nn*xn=bn. In real life, we do not know the exact values of the coefficients of these equations: prices may fluctuate, the number of resource needed to produce one unit may change slightly depending on where this particular resource comes from, etc. Often, we only know the intervals [aij] of possible values these coefficients; for different values aij from [aij], we get different solutions xi. In such situations, for each i, we would like to know the interval [xi] of possible values of xi, i.e., we would like to _solve_ the corresponding system of interval linear equations. The author proposes a new methods of solving such systems, which combines known numerical and interval techniques with methods of solving integer linear equations. He shows how his method solves interval linear equations appearing in different areas of finance and economics. The book is written for specialists in economics and finance. The only (minor) drawback of the book is that the author seems to be unaware of the previous work on the use of interval methods in economics and finance, starting from the pioneer papers by Jiri Rohn in 1970s via papers by Max Jarrell in the 1990s. Hopefully, this book will renew interest in interval techniques among the economists, so I would encourage everyone in the interval community interested in cooperation to contact the author at tarrazom [at] usfca [dot] edu; please send him references to previous papers on this area. From owner-reliable_computing [at] interval [dot] usl.edu Mon Feb 26 09:43:14 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id JAA19038 for reliable_computing-outgoing; Mon, 26 Feb 2001 09:43:14 -0600 (CST) Received: from mercury.uwe.ac.uk (mercury.uwe.ac.uk [164.11.132.23]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id JAA19033 for ; Mon, 26 Feb 2001 09:43:09 -0600 (CST) Received: from cornet.csm.uwe.ac.uk ([164.11.243.231]) by mercury.uwe.ac.uk (2.0.4/SMS 2.0.4-devel) with SMTP id PAA01141 for ; Mon, 26 Feb 2001 15:42:49 GMT From: "Langley, Simon" To: reliable_computing [at] interval [dot] louisiana.edu Subject: Where functions are non-zero Message-ID: Date: Mon, 26 Feb 2001 15:37:44 +0000 (GMT) Priority: NORMAL X-Mailer: Simeon for Win32 Version 4.1.5 Build (47-uwe) X-Authentication: IMSP MIME-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk If the interval evaluation of a function over a box in R^n doesn't contain zero then the function isn't zero in the box. Are there more sophistacated tests, especially for the case where the function is given as a multivariate polynomial and the box has exactly kown rational end points? Any references would be much appraciated. Simon ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Simon Langley Email: Simon.Langley [at] uwe [dot] ac.uk University of the West of England Bristol BS16 1QY England From owner-reliable_computing [at] interval [dot] usl.edu Mon Feb 26 11:41:11 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id LAA19382 for reliable_computing-outgoing; Mon, 26 Feb 2001 11:41:11 -0600 (CST) Received: from mercury.Sun.COM (mercury.Sun.COM [192.9.25.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id LAA19377 for ; Mon, 26 Feb 2001 11:41:07 -0600 (CST) Received: from engmail3.Eng.Sun.COM ([129.144.170.5]) by mercury.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id JAA10612; Mon, 26 Feb 2001 09:41:04 -0800 (PST) Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.1.131]) by engmail3.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id JAA25215; Mon, 26 Feb 2001 09:41:03 -0800 (PST) Received: from conversion-daemon.mpkmail.eng.sun.com by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 Patch 1 (built Nov 9 2000)) id <0G9D00801KINV5 [at] mpkmail [dot] eng.sun.com>; Mon, 26 Feb 2001 09:28:57 -0800 (PST) Received: from gww (gww.Eng.Sun.COM [129.146.78.116]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 Patch 1 (built Nov 9 2000)) with SMTP id <0G9D008AEKK9FB [at] mpkmail [dot] eng.sun.com>; Mon, 26 Feb 2001 09:28:57 -0800 (PST) Date: Mon, 26 Feb 2001 09:29:31 -0800 (PST) From: William Walster Subject: Re: suggestion To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: bill.walster [at] eng [dot] sun.com Reply-to: William Walster Message-id: <0G9D008AFKK9FB [at] mpkmail [dot] eng.sun.com> MIME-version: 1.0 X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc Content-type: TEXT/plain; charset=us-ascii Content-transfer-encoding: 7BIT Content-MD5: 9ykFM9vSrKqc8CfvTxthHQ== Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear interval community members: We are coming up on a year since we have provided support for intervals in Sun's Fortran compiler. See: http://www.sun.com/forte/fortran/interval/ and links contained therein. We also now have a C++ class library. In my continuing efforts to justify adding more interval support, feedback from users will be most appreciated. You can send email directly to me, or use the email alias that Baker Kearfott has kindly established for the purpose of providing an easy way for communication about the compilers to take place. See the above URL. Looking forward to hearing from you. Best regards, Bill G. William (Bill) Walster, Ph.D. Interval Technology Engineering Manager Sun Microsystems, Inc. 16 Network Circle, MS UMPK16-304 Menlo Park, CA 94025 (650) 786-9004 Direct (650) 786-9551 Fax (800) 759-8888 Pager PIN 171-2423 bill.walster [at] eng [dot] sun.com From owner-reliable_computing [at] interval [dot] usl.edu Tue Feb 27 11:51:21 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id LAA21138 for reliable_computing-outgoing; Tue, 27 Feb 2001 11:51:21 -0600 (CST) Received: from gauss.Mines.EDU (gauss.Mines.EDU [138.67.22.33]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id LAA21133 for ; Tue, 27 Feb 2001 11:51:17 -0600 (CST) Received: (from xwu@localhost) by gauss.Mines.EDU (8.9.3/8.9.3) id KAA08062 for reliable_computing [at] interval [dot] usl.edu; Tue, 27 Feb 2001 10:37:33 -0700 (MST) From: Xindong Wu Message-Id: <200102271737.KAA08062 [at] gauss [dot] Mines.EDU> Subject: Knowledge and Information Systems: 3(1) and 3(2), 2001 To: reliable_computing [at] interval [dot] usl.edu Date: Tue, 27 Feb 2001 10:37:32 -0700 (MST) X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Knowledge and Information Systems: An International Journal ----------------------------------------------------------- ISSN: 0219-1377 (printed version) ISSN: 0219-3116 (electronic version) by Springer-Verlag Home Page: http://kais.mines.edu/~kais/home.html ================================================ I. Volume 3, Number 1 (February 2001) ------------------------------------- Regular Papers - Parallel Data Mining for Association Rules on Shared-Memory Systems by Srinivasan Parthasarathy, Mohammed J. Zaki, Mitsunori Ogihara, and Wei Li URL link.springer.de/link/service/journals/10115/bibs/1003001/10030001.htm or link.springer-ny.com/link/service/journals/10115/bibs/1003001/10030001.htm - On Similarity Measures for Multimedia Database Applications by K. Selcuk Candan and Wen-Syan Li URL link.springer.de/link/service/journals/10115/bibs/1003001/10030030.htm or link.springer-ny.com/link/service/journals/10115/bibs/1003001/10030030.htm - Representing and Reasoning on Database Conceptual Schemas by Mohand-Said Hacid, Jean-Marc Petit and Farouk Toumani URL link.springer.de/link/service/journals/10115/bibs/1003001/10030052.htm or link.springer-ny.com/link/service/journals/10115/bibs/1003001/10030052.htm - Fuzzy User Modeling for Information Retrieval on the World Wide Web by Robert I. John and Gabrielle J. Mooney URL link.springer.de/link/service/journals/10115/bibs/1003001/10030081.htm or link.springer-ny.com/link/service/journals/10115/bibs/1003001/10030081.htm - An Artificial Network Simulating Cause-to-Effect Reasoning: Cancellation Interactions and Numerical Studies by L. Ben Romdhane, B. Ayeb, and S. Wang URL link.springer.de/link/service/journals/10115/bibs/1003001/10030096.htm or link.springer-ny.com/link/service/journals/10115/bibs/1003001/10030096.htm Short Papers - Zipf's Law for Web Surfers by Mark Levene, Jose Borges and George Loizou URL link.springer.de/link/service/journals/10115/bibs/1003001/10030120.htm or link.springer-ny.com/link/service/journals/10115/bibs/1003001/10030120.htm II. Volume 3, Number 2 (May 2001) --------------------------------- Regular Papers - Making Use of the Most Expressive Jumping Emerging Patterns for Classification by Jinyan Li, Guozhu Dong, and Kotagiri Ramamohanarao - A Description Length Based Decision Criterion for Default Knowledge in the Ripple Down Rules Method by Takuya Wada, Tadashi Horiuchi, Hiroshi Motoda and Takashi Washio - Multipass Algorithms for Mining Association Rules in Text Databases by J.D. Holt and S.M. Chung - C-Net: A Method for Generating Non-Deterministic and Dynamic Multi-Variate Decision Trees by H.A. Abbass, M. Towsey, and G. Finn - A Hybrid Fragmentation Approach for Distributed Deductive Database Systems by Seung-Jin Lim and Yiu-Kai Ng - ActiveCBR: An Agent System that Integrates Case-based Reasoning and Active Databases by Sheng Li and Qiang Yang Short Papers - XML Indexing and Retrieval with a Hybrid Storage Model by Dongwook Shin