From owner-reliable_computing Fri Jul 5 15:02:46 1996 Received: by interval.usl.edu id AA16561 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 5 Jul 1996 15:53:30 -0500 Received: from di.ufpe.br by interval.usl.edu with SMTP id AA16555 (5.65c/IDA-1.4.4 for ); Fri, 5 Jul 1996 15:53:25 -0500 Received: from petrolina.diufpe (petrolina.di.ufpe.br) by di.ufpe.br (4.1/SMI-4.1) id AA23373; Fri, 5 Jul 96 17:55:09 EST Received: by petrolina.diufpe (4.1/SMI-4.1) id AA25944; Fri, 5 Jul 96 18:02:47 EST Date: Fri, 5 Jul 1996 18:02:46 -0300 (EST) From: Workshop Aritmetica Intervalar 96 Subject: WAI'96 To: reliable_computing [at] interval [dot] usl.edu Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk Dear colleages, The www page of the WAI'96 - II Workshop on Computer, Interval and Symbolic Computation - now has new information about: - Conference registration - Preliminary Program - Hotel Information www address: http://www.di.ufpe.br/~wai96 Welcome to WAI'96! Marcilia A. Campos. Genesio G. Cruz Neto. From owner-reliable_computing Mon Jul 8 13:52:21 1996 Received: by interval.usl.edu id AA17516 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 8 Jul 1996 04:57:37 -0500 Received: from noc.BelWue.DE by interval.usl.edu with SMTP id AA17510 (5.65c/IDA-1.4.4 for ); Mon, 8 Jul 1996 04:53:42 -0500 Received: from rz-uxazs.fh-konstanz.de (rz-uxazs.fh-konstanz.de [141.37.10.10]) by noc.belwue.de with SMTP id LAA22047 (8.6.13/IDA-1.6 for ); Mon, 8 Jul 1996 11:52:22 +0200 Message-Id: <199607080952.LAA22047 [at] noc [dot] belwue.de> Received: from [141.37.163.83] by rz-uxazs.fh-konstanz.de with SMTP (1.38.193.4/BelWue-1.0HP) id AA20127; Mon, 8 Jul 1996 11:52:21 +0200 Date: Mon, 8 Jul 1996 11:52:21 +0200 X-Sender: garloff@rz-uxazs.fh-konstanz.de Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: reliable_computing [at] interval [dot] usl.edu From: garloff@fh-konstanz.de (Juergen Garloff) Subject: bounds for polynomial zeros X-Mailer: Sender: owner-reliable_computing Precedence: bulk >To: reliable-- >From: garloff@rz-uxazs.fh-konstanz.de (Juergen Garloff) >Subject: bounds for polynomial zeros > >>To: reliable computing [at] interval [dot] usl.edu >>From: garloff@rz-uxazs.fh-konstanz.de (Juergen Garloff) >>Subject: bounds for polynomial zeros >> >>Dear Madam or Sir, >>I am just doing an experimental comparison of a lot of bounds for polynomial zeros with special emphasis on positive zeros and/or the case of nonlinear parameter dependency of the coefficients of the given polynomial and/or >>the use of interval arithmetic. I would greatly appreciate receiving any >>comments, experiences and references to such or related comparisons. >>Thank you very much in advance. >>Sincerely yours, >>Juergen Garloff >>Fachhochschule Konstanz >>Fachbereich Informatik >>Postfach 10 05 43 >>D-78405 Konstanz >>Germany >>Fax. *49-7531-9836-13 >>email: garloff@fh-konstanz.de >>Tel.:+49-7531-9836-14 >> From owner-reliable_computing Thu Jul 11 14:14:06 1996 Received: by interval.usl.edu id AA19661 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 11 Jul 1996 05:14:15 -0500 Received: from ibp.ibp.fr by interval.usl.edu with SMTP id AA19655 (5.65c/IDA-1.4.4 for ); Thu, 11 Jul 1996 05:14:12 -0500 Received: from laforia.ibp.fr (laforia.ibp.fr [132.227.60.10]) by ibp.ibp.fr (8.6.12/jtpda-5.0) with ESMTP id MAA00986 for ; Thu, 11 Jul 1996 12:14:10 +0200 Received: from fuzzy.ibp.fr (fuzzy.ibp.fr [132.227.201.24]) by laforia.ibp.fr (8.6.10/jtpda-5.0) with ESMTP id MAA28433 for ; Thu, 11 Jul 1996 12:14:09 +0200 From: Vladik.Kreinovich [at] laforia [dot] ibp.fr (KREINOVICH Vladik Professeur invite de B.Bouchon ) Received: from (vladik@localhost) by fuzzy.ibp.fr (8.6.10/jtpda-5.0) id MAA15246 for reliable_computing [at] interval [dot] usl.edu; Thu, 11 Jul 1996 12:14:06 +0200 Date: Thu, 11 Jul 1996 12:14:06 +0200 Message-Id: <199607111014.MAA15246 [at] fuzzy [dot] ibp.fr> To: reliable_computing [at] interval [dot] usl.edu Subject: contents 3-96 Sender: owner-reliable_computing Precedence: bulk ==================================================================== Reliable Computing. - 1996. - N 2 (3). - 108 p. CONTENTS Preface 211 Robust algorithms that locate local extrema of a function of one variable from interval measurement results: A remark Christoph Eick and Karen Villaverde 213 Fast error estimates for indirect measurements: applications to pavement engineering Carlos Ferregut, Soheil Nazarian, Krishnamohan Vennalaganti, Ching-Chuan Chang, and Vladik Kreinovich 219 Newton's constant of gravitation and verified numerical quadrature Oliver Holzmann, Bruno Lang, and Holger Sch\"utt 229 Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals Walter Kr\"amer and Stefan Wedner 241 A quadratic-time algorithm for smoothing interval functions Vladik Kreinovich and Karen Villaverde 255 Optimal interval enclosures for fractionally-linear functions, and their application to intelligent control Robert N. Lea, Vladik Kreinovich, Raul Trejo 265 If we measure a number, we get an interval. What if we measure a function or an operator? Joe Lorkowski and Vladik Kreinovich 287 New slope methods for sharper interval functions and a note on Fischer's acceleration method Jo\~ao B. Oliveira 299 Ordering events: Intervals are sufficient, more general sets are usually not necessary Alessandro Provetti 321 Reviews Applications of Reliable Scientific Computing 329 Addresses of the Editorial Board members 332 Information for authors 334 Contents 335 ----- End Included Message ----- From owner-reliable_computing Fri Jul 19 09:46:54 1996 Received: by interval.usl.edu id AA05967 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 19 Jul 1996 00:47:28 -0500 Received: from wrzx01.rz.uni-wuerzburg.de by interval.usl.edu with SMTP id AA05961 (5.65c/IDA-1.4.4 for ); Fri, 19 Jul 1996 00:47:00 -0500 Received: from wi2x28.informatik.uni-wuerzburg.de by wrzx01.rz.uni-wuerzburg.de (4.1/uniwue-M-3.2) id AA00206; Fri, 19 Jul 96 07:46:55 +0200 Received: by wi2x28.informatik.uni-wuerzburg.de (5.65v3.0/uniwue-C-3.2) id AA28633; Fri, 19 Jul 1996 07:46:54 +0200 Date: Fri, 19 Jul 1996 07:46:54 +0200 (MET DST) From: Michael Lerch X-Sender: lerch@carlow To: reliable_computing [at] interval [dot] usl.edu Subject: INTERVAL'96 Call for Participation Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk >>> I N T E R V A L '96 <<< >>> CALL FOR PARTICIPATION <<< +------------------------------------------------+ | INTERNATIONAL CONFERENCE ON | | INTERVAL METHODS AND COMPUTER AIDED PROOFS | | IN SCIENCE AND ENGINEERING | | | | SEP 30 - OCT 2, 1996 | | WUERZBURG, GERMANY | +------------------------------------------------+ ORGANIZED BY - Faculty of Mathematics and Computer Science, Wuerzburg University - The Editorial Board of the International Journal "Reliable Computing" INTERVAL'XX-CONFERENCES INTERVAL'96 will focus on computer assisted proofs ranging from symbolic computation through rigorous error estimation, and including different paradigms such as functional and logic programming as well as solution of constraint systems. The traditional interval approach will appear as one important aspect common to most of the approaches. Interval constraints, e.g., provides an efficient model for computing reliable bounds for numerical constraint systems. It opens a way of application of interval arithmetic for commercial rather than scientific problems. The combination of control theory and game theory together with interval or standard numerical methods to obtain reliable inclusions may be quoted as another example of interesting applications. TALKS AND POSTERS There will be approximately 65 talks in two parallel sessions. 9 of those have been highlighted as plenary lectures. Additionally about 20 posters will be presented during the conference. The official language is English. VENUE AND REGISTRATION The conference will be held September 30 - October 2, 1996, in Wuerzburg, Germany, in the Lecture Halls of Natural Science (Hubland Campus, University of Wuerzburg). The registration fee for the conference is 150 DM. This includes a booklet of abstracts, refreshments and a guided tour and wine tasting party at the regional Franconian winery. The price is to be paid at the registration desk in German currency. No checks or credit cards can be accepted. Please do not transfer money before the conference. There will be no fee for accompanying persons, but they will have to pay 50 DM for the wine tasting party. PLACE AND HOTELS Wuerzburg is a baroque city with many restored and well-preserved buildings; the most famous of which is the former bishops residence with its beautiful staircase. ********************************************************************** * * * Please note that the conference will take place in the period of * * the vintage, one of the most attractive periods in the region. It * * is usually very crowded in Wuerzburg and environment and it may be * * very hard to get hotel rooms. We already lost some of our * * preliminarily booked rooms. So please, if you intend to come, * * order your hotel now. * * * ********************************************************************** We recommend the following hotels: Hotel Rosenau ( Cat. C, [65,82] DM ) Erthalstr. 1 D-97074 Wuerzburg Phone +49 - 931-71266 Fax +49 - 931-887043 Hotel garni Schoenleber ( Cat. B, [60,110] DM ) Theaterstr. 5 D-97070 Wuerzburg Phone +49 - 931-12068 Fax +49 - 931-16012 Please book on your own accord (keyword Interval'96). If you have any difficulties, please contact the tourist bureau of Wuerzburg (phone +49-931-37371, fax +49-931-37652) or us. SOCIAL EVENTS The weather will probably be rather mild and sunny, but be prepared for rain and wind. On Sunday, Sept 29, 19.00 CET there will be a get together party with possibility for registration in the Buergerspital Weinstuben, Theaterstr.19, Wuerzburg. Tuesday afternoon you can join a bus trip to Kitzingen. We will have a guided tour through the regional Franconian winery. Finally there will be a wine tasting party accompanied by a Franconian Haeckerbrotzeit (cold meal). REGISTRATION Please use the online registration form at WWW http://www.informatik.uni-wuerzburg.de/interval96 Alternatively you can fill in the enclosed form and mail it to lerch [at] informatik [dot] uni-wuerzburg.de ACKNOWLEDGEMENT We gratefully acknowledge support from following organisations and institutions: DFG (Deutsche Forschungs Gemeinschaft); GAMM (Gesellschaft fuer Angewandte Mathematik und Mechanik); Vogel Verlag Wuerzburg; Sparkassenstiftung Wuerzburg; LANTEC Kommunikationssysteme, Planegg; 3Soft/QM GmbH Nuernberg; Kreissparkasse Wuerzburg; Keupp Buerobedarf, Wuerzburg ADDRESS Prof. Dr. J. Wolff v. Gudenberg email : wolff [at] informatik [dot] uni-wuerzburg.de WWW: http://www.informatik.uni-wuerzburg.de/interval96 Mail address: Lehrstuhl fuer Informatik II Universitaet Wuerzburg Am Hubland D-97074 Wuerzburg Tel. +49 - 931-888-5517 Fax. +49 - 931-888-4602 ---------------------------------------------------------------------- REGISTRATION FORM INTERVAL '96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering Sep 30 - Oct 2, 1996 Wuerzburg, Germany Prof.Title : ___________________________________ Last name : ___________________________________ First name : ___________________________________ Mailing address : ___________________________________ : ___________________________________ : ___________________________________ : ___________________________________ Email address : ___________________________________ Phone : ___________________________________ Fax : ___________________________________ Talk/Poster : ___________________________________ From owner-reliable_computing Fri Jul 19 12:41:37 1996 Received: by interval.usl.edu id AA06277 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 19 Jul 1996 03:41:47 -0500 Received: from ibp.ibp.fr by interval.usl.edu with SMTP id AA06271 (5.65c/IDA-1.4.4 for ); Fri, 19 Jul 1996 03:41:42 -0500 Received: from laforia.ibp.fr (laforia.ibp.fr [132.227.60.10]) by ibp.ibp.fr (8.6.12/jtpda-5.0) with ESMTP id KAA14579 ; Fri, 19 Jul 1996 10:41:40 +0200 Received: from fuzzy.ibp.fr (fuzzy.ibp.fr [132.227.201.24]) by laforia.ibp.fr (8.6.10/jtpda-5.0) with ESMTP id KAA25914 ; Fri, 19 Jul 1996 10:41:39 +0200 From: Vladik.Kreinovich [at] laforia [dot] ibp.fr (KREINOVICH Vladik Professeur invite de B.Bouchon ) Received: from (vladik@localhost) by fuzzy.ibp.fr (8.6.10/jtpda-5.0) id KAA22627 ; Fri, 19 Jul 1996 10:41:37 +0200 Date: Fri, 19 Jul 1996 10:41:37 +0200 Message-Id: <199607190841.KAA22627 [at] fuzzy [dot] ibp.fr> To: reliable_computing [at] interval [dot] usl.edu Subject: uniform notations qre needed for interval computations Cc: vladik [at] laforia [dot] ibp.fr, rbk [at] usl [dot] edu Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, It is known that different authors use different notations (slightly different or radically different) for intervals, interval vectors, widths, etc. This difference in notations makes our papers more difficult to read, especially for researchers from other fields. It is therefore desirable to have uniform notations. The problem of choosing uniform notations is not so easy, because all notations have their drawbacks (e.g., the standard notation $\overline x$ for the upper endpoint of an interval is also used in statistics to denote average, and the sometimes used alternative notation $x^+$ is also used in lattice theory to denote $\max(x,0)$). Lately, there has been an essential progress is designing a reasonable consistent system of interval notations: namely, the latest book by Kearfott contains notations that, to my viewpoint (and to the viewpoint of several colleagues of mine whose opinion I am describing), take into consideration both the desirable features of the previous notations and the critical comments that have been made about these previous notation systems. Kearfott's notations, together with the other parts of his book, were widely circulated, and Baker Kearfott has taken into consideration suggestions that have been proposed to improve his system. In this sense, Kearfott's notations are not simply one of the possible systems of notations, but they are already the result of the active discussion and compromise within the interval community. In view of this fact, maybe, we can simply adopt Kearfott's notations (or at least some version of it) as the standard? We can make it an obligatory standard for the Reliable Computing journal (and maybe for our conferences), and a de facto standard for papers published elsewhere (in the sense that we will try to abide by these notations ourselves and, when acting as referees, recommend other authors to abide). The papers that are already in the "to appear" (or close to final) stage can stay "as is", but the new papers can be made uniform. We can definitely do that if there is a consensus in the interval community. Please send your opinions (and recommended modifications of interval notations, if any): * either to the entire list, * or, if you simply want to support or reject the idea and do not want to send info to 500 mailboxes, just send it to me at vladik [at] cs [dot] utep.edu (I promise to regularly post the brief results of this discussion and to send the detailed results to the journal's editors.) If you do not have access to Kearfott's book, I have a .ps file from Baker Kearfot with the three pages of his book that contain these notations, and three style files that make these notations easier to implement. If you are interested, please send me an email, I will send you these files. Alternatively, you can ask Baker himself for these files. I will add these files to the interval website as soon as I am back to El Paso (August 1; currently, I am in Paris, and my access to Netscape is not good). Meanwhile, maybe Baker can place these files in the interval ftp site? Yours Vladik From owner-reliable_computing Mon Jul 22 04:30:12 1996 Received: by interval.usl.edu id AA07015 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sun, 21 Jul 1996 15:50:25 -0500 Received: from sequent.kiae.su by interval.usl.edu with SMTP id AA07009 (5.65c/IDA-1.4.4 for ); Sun, 21 Jul 1996 15:50:19 -0500 Received: by sequent.kiae.su id AA05616 (5.65.kiae-2 for reliable_computing [at] interval [dot] usl.edu); Mon, 22 Jul 1996 00:33:16 +0400 Message-Id: <199607212033.AA05616 [at] sequent [dot] kiae.su> Received: by sequent.KIAE.su (UUMAIL/2.0); Mon, 22 Jul 96 00:33:15 +0400 Received: by globlab.msk.su (UUPC/@ v5.09gamma, 14Mar93); Mon, 22 Jul 1996 00:30:14 +0400 To: reliable_computing [at] interval [dot] usl.edu From: Alexander G. Yakovlev Date: Mon, 22 Jul 1996 00:30:12 +0400 Subject: Special offer (with changes) Lines: 211 Sender: owner-reliable_computing Precedence: bulk Special 15% discount offer Valid till December 31st, 1996 -------------------------- ------------------------------ International Journal ***** ***** RELIABLE COMPUTING ***** ***** ----------------------------------------- *** Complete back subscriptions limited offer *** ----------------------------------------- A refereed international journal, RELIABLE COMPUTING is the only periodical in the world devoted specifically to various aspects of reliable mathematical computations based on finite representations of mathematical objects, and giving a guaranteed accuracy of computed results. It is managed by an international editorial board from Bulgaria, Germany, Japan, Russia, and the United States, and printed in Russia. The journal is distributed in approximately 30 countries throughout the world. It includes various items in the fields of theoretical research, computer tools, applications, interdisciplinary research, and other relevant areas in the field of mathematical computations with the use of a computer. The following subjects are within the focus of the journal: numerical, symbolic and combined algorithms for solving computational problems, the interval approach, computer architecture for mathematical computations, contemporary languages for mathematical processes description, methods of localization of solutions, teaching of reliable computational methods at universities, etc. "Reliable Computing" also publishes proceedings of international conferences, such as INTERVAL'XX, SCAN'XX, etc. The journal appeared in 1991, firstly under the title "Interval Computations", from 1995 - under the current title. The language of publication is English, with abstracts of papers in both English and Russian. Papers published in "Reliable Computing" are listed in well-known abstracting and bibliographic journals, i.e. "Mathematical Reviews", "Referativnyi Zhurnal VINITI" and others. The journal includes: o original papers o surveys and tutorials o reports on new computer tools o bibliographies o reviews of new books o letters to the editor o information about scientific meetings All published issues of "Interval Computations" and "Reliable Computing", excluding No 1/1991, are available for purchase (see the section below). Additionally, Supplementum 1, consisting of a "Bibliography of Works on Interval Computations Published in Russian", with a subject index, is now available. It includes almost all sensible references in the field (547 items in the current version) in English translation. The other Supplementum contains peer-refereed and edited abstracts of APIC'95 (International Workshop on Applications of Interval Computations), which was held in El Paso, Texas, February 23-35, 1995. Abstracts are in English, including authors' addresses (total 244 p.) In addition, the Editorial Board has published the collection of abstracts of the International Conference on Interval and Computer- Algebraic Methods in Science and Engineering (Interval'94), which was held in St.Petersburg, Russia, March 7-10, 1994. Abstracts are in English, two pages average, including postal and e-mail addresses of the authors (total 226 p.). EDITORIAL BOARD The Editorial Board of "Reliable Computing" includes: G. ALEFELD Karlsruhe, Germany B. S. DOBRONETS Krasnoyarsk, Russia R. B. KEARFOTT Lafayette, LA, USA - official representative in the Western Hemisphere V. KREINOVICH El Paso, TX, USA S. M. MARKOV Sofia, Bulgaria E. A. MUSAEV St. Petersburg, Russia - Executive Editor M. T. NAKAO Fukuoka, Japan V. M. NESTEROV St. Petersburg, Russia - Editor-in-Chief H. RATSCHEK Duesseldorf, Germany S. M. RUMP Hamburg, Germany A. L. SEMENOV Moscow, Russia S. P. SHARY Novosibirsk, Russia J. WOLFF VON GUDENBERG Wuerzburg, Germany - official representative in Europe A. G. YAKOVLEV Moscow, Russia - Managing Editor V. S. ZYUZIN Saratov, Russia The address of the Editorial Board: Box 52 195256 St.Petersburg Russia Phone: +7-812-534-4120 Fax: +7-812-234-4852 E-mail: nest [at] nit [dot] spb.su (preferable), intcom [at] glas [dot] apc.org SUBSCRIPTION INFORMATION *** SPECIAL LIMITED OFFER *** *** VALID TILL DECEMBER 31ST, 1996 *** This special offer is aimed specially at university libraries and other institutions interested in getting a COMPLETE BACK SUBSCRIPTIONS SET of the journal. For individual subscriptions, please contact regional representatives. All indicated prices include postage. Regular prices for complete back sets for: #2 for 1991 (#1 is N/A) US$ 30.00 DM 42.00 1992 (4 issues) US$ 120.00 DM 168.00 1993 (4 issues) US$ 120.00 DM 168.00 1994 (4 issues) US$ 120.00 DM 168.00 1995 (4 issues) US$ 120.00 DM 168.00 Supplementum 1 US$ 20.00 DM 28.00 APIC'95 abstracts US$ 30.00 DM 42.00 Interval'94 abstracts US$ 30.00 DM 42.00 ------------------------------------------------------------------- Total: US$ 590.00 DM 826.00 +----------------------------------- For institutions only! ------+ | Save 15% and get a complete set! | |Special limited offer: | |from 1991 to 1995 including | |Suppl. 1, APIC'95, and Interval'94 | |abstracts! | | Total: US$ 502.00 DM 702.00 | +-----------------------------------------------------------------+ Regular subscription: 1996 (4 issues) US$ 120.00 DM 168.00 If you wish to use benefits of this special offer or just subscribe to "Reliable Computing" and/or receive the Supplements, please send this order form, along with a check for the appropriate amount (or use a bank transfer), to one of our official representatives: Payment in US$: Payment in DM: Dr. R. Baker Kearfott Prof. Dr. J. Wolff von Gudenberg Department of Mathematics Lehrstuhl f. Informatik II Univ. of Southwestern Louisiana Universitaet Wuerzburg U.S.L. Box 4-1010 Lafayette Am Hubland LA 70504-1010 Wuerzburg D-97074 USA Germany Office: (318) 231-5270 Phone: +49-931-888-5517 Home: (318) 981-9744 Fax: +49-931-888-4602 E-mail: rbk [at] usl [dot] edu E-mail: wolff [at] informatik [dot] uni-wuerzburg.de Please make a check to Instructions for bank transfer: the "University of holder: J. Wolff v. Gudenberg Southwestern Louisiana" number: 560219826 bank: Kreissparkasse Wuerzburg bank code: 790 501 30 ATTENTION: up to 1994, the journal was published under the title "Interval Computations" ---------------------------------------------------------------------- "RELIABLE COMPUTING" ORDER FORM Name: ________________________________________________________________ Organization: ________________________________________________________ Address: _____________________________________________________________ ______________________________________________________________________ State: _______________________________ Zip: __________________________ Tel.: __________________ (optional) Fax: __________________ (optional) E-mail: __________________________________________ (highly desirable!) [ ] Please accept the subscription for the journal "Reliable Computing" for: Back sets: [ ] #2 1991 (#1 N/A) US$ 30.00 DM 42.00 [ ] 1992 (4 issues) US$ 120.00 DM 168.00 [ ] 1993 (4 issues) US$ 120.00 DM 168.00 [ ] 1994 (4 issues) US$ 120.00 DM 168.00 [ ] 1995 (4 issues) US$ 120.00 DM 168.00 Regular subscription: [ ] 1996 (4 issues) US$ 120.00 DM 168.00 Supplements: [ ] Supplementum 1 US$ 20.00 DM 28.00 [ ] APIC'95 abstracts US$ 30.00 DM 42.00 [ ] Interval'94 abstracts US$ 30.00 DM 42.00 [ ] We wish to use your special limited offer for institutions and save 15% off the regular price: [ ] #2/1991, all issues from 1992 to 1995 including Suppl. 1, APIC'95, and Interval'94 Abstracts US$ 502.00 DM 702.00 Sum of __________ paid via [ ] cheque [ ] bank transfer Date: _______________________ Signature: _____________________ From owner-reliable_computing Thu Jul 25 20:15:25 1996 Received: by interval.usl.edu id AA08377 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 25 Jul 1996 11:15:50 -0500 Received: from ibp.ibp.fr by interval.usl.edu with SMTP id AA08371 (5.65c/IDA-1.4.4 for ); Thu, 25 Jul 1996 11:15:42 -0500 Received: from laforia.ibp.fr (laforia.ibp.fr [132.227.60.10]) by ibp.ibp.fr (8.6.12/jtpda-5.0) with ESMTP id SAA29302 for ; Thu, 25 Jul 1996 18:15:33 +0200 Received: from fuzzy.ibp.fr (fuzzy.ibp.fr [132.227.201.24]) by laforia.ibp.fr (8.6.10/jtpda-5.0) with ESMTP id SAA02045 for ; Thu, 25 Jul 1996 18:15:32 +0200 From: Vladik.Kreinovich [at] laforia [dot] ibp.fr (KREINOVICH Vladik Professeur invite de B.Bouchon ) Received: from (vladik@localhost) by fuzzy.ibp.fr (8.6.10/jtpda-5.0) id SAA19807 for reliable_computing [at] interval [dot] usl.edu; Thu, 25 Jul 1996 18:15:25 +0200 Date: Thu, 25 Jul 1996 18:15:25 +0200 Message-Id: <199607251615.SAA19807 [at] fuzzy [dot] ibp.fr> To: reliable_computing [at] interval [dot] usl.edu Subject: special issue on interval methods in uncertainty Sender: owner-reliable_computing Precedence: bulk Special issue on interval methods in representing and processing uncertainty The International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems (IJUFKBS) is planning to publish in 1997 a special issue on interval methods in representing and processing uncertainty. BACKGROUND INFORMATION. Numerous papers have been published (in Reliable Computing, in several knowledge representation journal, and in various conference proceedings), in which interval methods are used to represent and process uncertainty. It have even become commmon for a book on fuzziness and uncertainty to include a section on interval methods. MAIN OBJECTIVES. * By bringing together papers that describe different aspects of intervals in uncertainty reasoning, this special issue will, hopefully, highlight the advantages and successes of interval methods for the Artificial Intelligence (AI) audience. * This issue will also, hopefully, further promote the collaboration between researchers in AI and in interval computations. * Since this issue will be devoted to a mathematically oriented area, it will gather together AI-related papers that are up to the usual mathematical standards of rigor and quality (referees will hopefully look into that). Our intention is not to sacrifice quality and to apply the same standards as we would like to see implemented in "Reliable Computing". In this way, this issue will help to promote mathematically rigorous methods and descriptions in the still largely heuristic area of AI. CALL FOR PARTICIPATION. If you and/or your students or colleagues are interested in contributing to this issue, please inform me ASAP at vladik [at] cs [dot] utep.edu. ABOUT THE JOURNAL. This journal is one of the leading world journals devoted to general aspects of uncertainty; its editorial board includes leading researchers in this area. LATEX. This journal is published camera-ready by World Scientific (style files for LaTeX and AMS-TeX are available from me or directly from the World Scientific publishers upon request. I am planning to add them to the interval computations website). PRELIMINARY DEADLINES: WE ARE ON THE FAST TRACK. The journal has promised us a fast-track treatment. I think it is a good idea to use it. The targeted deadline for the final issue is May 1997; however, if we are almost ready by February 1996, the issue will appear as early as April 1997. Because of that, please inform me when your papers will be ready. The preliminary deadline for submitting the first versions of the papers is December 1, 1996, but this is flexible. VOLUME. The special issue can be from 85 to 160 pp. PAPERS ALREADY ACCEPTED FOR "RELIABLE COMPUTING" MAY BE MOVED TO THIS ISSUE. Since this issue is on fast track, and the "Reliable Computing" journal currently has a (slight) backlog (this backlog will hopefully disappear in 1998, if Kluwer goes ahead with switching to 6 issues per year), authors of papers in AI-related areas that are already accepted for "Reliable Computing" are welcome to send these papers to this special issue instead. Since these papers have already undergone refereeing process, they will be immediately included into the special issue. Slava Nesterov (the editor-in-chief of Reliable Computing) and Baker Kearfott (the journal's representative in the Western hemisphere) have expressed their preliminary agreement to such transfer. The authors of such papers can doublecheck with the editors of "Reliable Computing" (or ask me to doublecheck) that their papers are not already scheduled to appear in the nearest issues. We hope that this collaboration between the journal will enhance the process of successful cross-fertilization of our fields. SUCH ISSUES MAY BECOME REGULAR. The editorial board of IJUFKBS has expressed a definite interest in this issue, and if this one is successful, such issues may become regular.