From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Aug 7 09:00:49 2004 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i77E0hG1015883 for ; Sat, 7 Aug 2004 09:00:48 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i77E0hMF015872 for reliable_computing-outgoing; Sat, 7 Aug 2004 09:00:43 -0500 (CDT) Received: from fe5.cox-internet.com (fe5.cox-internet.com [66.76.2.50]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i77E0YiS015539 for ; Sat, 7 Aug 2004 09:00:39 -0500 (CDT) Received: from Inspiron-8200 ([68.229.152.239]) by fe5.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license 2c0225210a073aa8d80c3b96b8e7ebaa) with SMTP id <20040807140029.JIFA610.fe5@Inspiron-8200> for ; Sat, 7 Aug 2004 09:00:29 -0500 Message-Id: <2.2.32.20040807140005.00c1711c [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sat, 07 Aug 2004 09:00:05 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: reliable_computing: "interval.louisiana.edu replaced" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, One of the disks (dating from 1995) on interval.louisiana.edu (a 60 MHZ Sparc 20 with 32 MB of memory) failed. We* transferred the other disk to a newer machine (with 256MB of memory), then we restored the contents of the other disk (containing the FTP area) from backups. The outage lasted roughly 1.5 days. Things appear to be working well at this point. In particular, I suspect that some previous issues with "sendmail" may no longer be present. Please report difficulties (with the web server, FTP area, or with this list) to me during the next several days. Best regards, Baker ====================================================================== * By "we", I mean James Dugal, director of our computer center. ====================================================================== --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette (Room 217 Maxim D. Doucet Hall, 1403 Johnston Street) Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Aug 7 19:38:54 2004 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i780cnln000716 for ; Sat, 7 Aug 2004 19:38:54 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i780cieL000715 for reliable_computing-outgoing; Sat, 7 Aug 2004 19:38:44 -0500 (CDT) Received: from fe5.cox-internet.com (fe5.cox-internet.com [66.76.2.50]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i780cZmK000710 for ; Sat, 7 Aug 2004 19:38:41 -0500 (CDT) Received: from Inspiron-8200 ([68.229.152.239]) by fe5.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license 2c0225210a073aa8d80c3b96b8e7ebaa) with SMTP id <20040808003828.OWPU610.fe5@Inspiron-8200> for ; Sat, 7 Aug 2004 19:38:28 -0500 Message-Id: <2.2.32.20040808003803.00c302c8 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sat, 07 Aug 2004 19:38:03 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message: Please discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a test message. rbk --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette (Room 217 Maxim D. Doucet Hall, 1403 Johnston Street) Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Aug 8 19:38:06 2004 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i790c0In001094 for ; Sun, 8 Aug 2004 19:38:05 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i790c0Na001093 for reliable_computing-outgoing; Sun, 8 Aug 2004 19:38:00 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i790bqkD001089 for ; Sun, 8 Aug 2004 19:37:58 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i790bX608936; Sun, 8 Aug 2004 18:37:33 -0600 (MDT) Message-Id: <200408090037.i790bX608936 [at] cs [dot] utep.edu> Date: Sun, 8 Aug 2004 18:37:32 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: deadline extended for FUZZ-IEEE'2005 To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: jmmprof [at] pacbell [dot] net MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 0ZKCNSyL5BnRSQDjxTWp+A== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, I have just learned that the deadline for FUZZ-IEEE 2005 conference was extended to November 1; please find the updated CFP attached. FUZZ-IEEE is one the leading fuzzy conferences, it usually has a strong interval presence, and the leadership of the Fuzzy Technical Committee is strongly encouraging us to actively participate. As I menioned earlier, I have submitted a proposal for a special interval session, let us hope that this proposal will be approved. Interval computations is closely related to fuzzy logic: * a fuzzy set can be viewed as a nested family of intervals corresponding to different certainty degrees; this is how fuzzy sets are introduced in several books on fuzzy * interval computations are very useful in fuzzy arithmetic * finally, interval-valued fuzzy sets are an interesting and useful area of fuzzy. In spite of this relation, interval methods are often under-used in fuzzy logic. In many case, when faced with a typical interval computations problem, fuzzy researchers use old 1966 algorithms instead of more modern more useful ones - or spend a lot of effort reinventing the newer algorithms. Quite a few interval researchers are interested in collaboration, and quite a few fuzzy researchers are using interval techniques, but there is a need for an additional boost. We believe that this special session will provide such a boost. Even if we do not make a special session, we are always welcome to participate. Vladik **************************************************** CALL FOR PAPERS: FUZZ-IEEE'2005 Reno, Nevada, May 22-25, 2005 General Chair: J. C. Bezdek Program Co-chairs: N. R. Pal R. Krishnapuram Local Arrangements: S. Fadall Finance Chair: Michelle Lockhart Conference Management: Jim C. Bezdek Arlene M. Bezdek Michelle Lockhart Rob Lockhart Website: www.fuzzieee2005.org Email: info [at] fuzzieee2005 [dot] org Surface mail: Conference Management FUZZ-IEEE 2005 Computer Science Dept. University of West Florida Pensacola, Florida, 32514, USA Objective: FUZZ-IEEE 2005 brings together scientists, engineers, and practitioners working in fuzzy logic and related areas to present their research work. The conference provides a platform for the exchange of ideas and technical interaction. There will be a written proceedings of the meeting. Venue: Atlantis Casino Resort @ 3800 S. Virginia Street, Reno, Nevada 89502, (800) 723-6500, (775) 825-4700, http://www.atlantiscasino.com/. Submission: Papers not exceeding 6 A-4 size pages with the affiliation of each author including email address should be submitted by November 1, 2004. Manuscripts should be prepared in the standard 2-column IEEE format. For details of manuscript preparation and submission please see the conference web site. Topics: Fuzzy set theory and its applications including, but not limited to: approximate reasoning, pattern recognition, image processing, vision, data mining, fuzzy mathematics, decision analysis, web mining, software engineering, computing with words, bioinformatics, neural networks, evolutionary computing, control, neuro-fuzzy and other hybrid systems. Special Sessions: Proposals for special sessions (1 page) can be submitted to either Program co-Chair at kraghura [at] in [dot] ibm.com or npal [at] cs [dot] uwf.edu. Each special session must have 5 papers. The deadline for proposals is November 1, 2004. Pre-conference Workshop: The conference will be preceded by a one-day workshop on fuzzy logic and a few selected applications. Best Student Paper Award: One or two awards will be given to authors of outstanding papers. To qualify for the competition, a student must be the principal author of the paper and the student needs to present the paper. The awardees will be decided based on the manuscript as well as the presentation. Key Dates: Papers submission November 1, 2004 Special session proposals November 1, 2004 Acceptance notification January 15, 2005 Camera-ready copy due February 15, 2005 Early registration February 15, 2005 From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Aug 9 13:39:04 2004 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i79Icwu1000935 for ; Mon, 9 Aug 2004 13:39:03 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i79Icwdh000934 for reliable_computing-outgoing; Mon, 9 Aug 2004 13:38:58 -0500 (CDT) Received: from fe2.cox-internet.com (fe2.cox-internet.com [66.76.2.39]) by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i79IcoX8000930 for ; Mon, 9 Aug 2004 13:38:55 -0500 (CDT) Received: from Inspiron-8200 ([68.229.152.239]) by fe2.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license 2c0225210a073aa8d80c3b96b8e7ebaa) with SMTP id <20040809183844.SILN626.fe2@Inspiron-8200> for ; Mon, 9 Aug 2004 13:38:44 -0500 Message-Id: <2.2.32.20040809183829.00c23f7c [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 09 Aug 2004 13:38:29 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message no. 2: Please discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Please discard this message. rbk --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette (Room 217 Maxim D. Doucet Hall, 1403 Johnston Street) Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Aug 12 11:59:20 2004 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7CGxKpG002086 for ; Thu, 12 Aug 2004 11:59:20 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7CGxJSh002085 for reliable_computing-outgoing; Thu, 12 Aug 2004 11:59:19 -0500 (CDT) Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7CGxDHZ002081 for ; Thu, 12 Aug 2004 11:59:13 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7CGxC5g002080 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 12 Aug 2004 11:59:13 -0500 (CDT) Received: from lcyoung.math.wisc.edu (lcyoung.math.wisc.edu [144.92.166.90]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7CFI6XH001906 for ; Thu, 12 Aug 2004 10:18:12 -0500 (CDT) Received: from gauss.math.wisc.edu (gauss.math.wisc.edu [144.92.166.244]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id i7CFGeL04261; Thu, 12 Aug 2004 10:16:47 -0500 (CDT) Date: Thu, 12 Aug 2004 10:16:40 -0500 (CDT) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk * Linear Algebra and its Applications Volume 389, (15 September 2004) http://www.sciencedirect.com/science/issue/5653-2004-996109999-513971 TABLE OF CONTENTS Principal submatrices of co-order one with the biggest Perron root, Pages 1-22 S. V. Savchenko Minimization problems for (R,S)-symmetric and (R,S)-skew symmetric matrices, Pages 23-31 William F. Trench Cyclizable matrix pairs over and a conjecture on Toplitz pencils, Pages 33-42 Wiland Schmale and Pramod K. Sharma Combinatorial structures associated with Lie algebras of finite dimension, Pages 43-61 A. Carriazo, L. M. Fernandez and J. Nunez On Behrens-Fisher problem for continuous time Gaussian processes, Pages 63-76 Pilar Ibarrola and Ricardo Velez New trace norm inequalities for 2 x 2 blocks of diagonal matrices, Pages 77-93 Christopher King and Michael Nathanson Construction of real antisymmetric and bi-antisymmetric matrices with prescribed spectrum data, Pages 95-106 Qingxiang Yin Bases in max-algebra, Pages 107-120 R. A. Cuninghame-Green and P. Butkovic Invertible incline matrices and Cramer's rule over inclines, Pages 121-138 Song-Chol Han and Hong-Xing Li On the spectral radius of graphs with cut edges, Pages 139-145 Huiqing Liu, Mei Lu and Feng Tian Automorphisms of Mn, partially ordered by rank subtractivity ordering, Pages 147-158 Peter Legia Drazin-Moore-Penrose invertibility in rings, Pages 159-173 Pedro Patricio and Roland Puystjens Two results on basic oscillatory matrices, Pages 175-181 Miroslav Fiedler and Thomas L. Markham On some operator norm inequalities, Pages 183-187 Ameur Seddik New vector sequence transformations, Pages 189-213 C. Brezinski and M. Redivo-Zaglia On the semigroup of standard symplectic matrices and its applications, Pages 215-225 M. Chu, N. Del Buono, F. Diele, T. Politi and S. Ragni Birkhoff's contraction coefficient, Pages 227-234 Joseph E. Carroll Standard eigenvectors of incline matrices, Pages 235-248 Song-Chol Han, Hong-Xing Li and Yun-Dong Gu A Lagrange matrices approach to confluent Cauchy matrices, Pages 249-268 Luis Verde-Star On the even permutation polytope, Pages 269-281 William H. Cunningham and Yaoguang Wang Extremal trigonometric and power polynomials in several variables, Pages 283-293 L. A. Sakhnovich Further properties of generalized and hypergeneralized projectors, Pages 295-303 JerzyK. Baksalary, OskarMaria Baksalary and Xiaoji Liu On Krein's formula in indefinite metric spaces, Pages 305-322 Sergey Belyi and Eduard Tsekanovskii On polynomial approximation of the inverseof an operator, Pages 323-328 Avraham Feintuch An extended compact profile iterative method criterion for sparse H-matrices, Pages 329-345 A. Hadjidimos Congruences of a square matrix and its transpose, Pages 347-353 Roger A. Horn and Vladimir V. Sergeichuk Perturbation analysis of generalized inverses of linear operators in Banach spaces, Pages 355-364 Qianglian Huang and Jipu Ma Some properties on Schur complements of H-matrices and diagonally dominant matrices, Pages 365-380 Jianzhou Liu and Yunqing Huang =============================================================================== These articles and over 100 articles in press (with many links to cited articles) are now posted on the LAA site on ScienceDirect http://www.sciencedirect.com . The website contains every paper published in LAA since its inception in 1968. Abstracts and links are freely availbale to all. Full papers are availbale to people in institutions that subscribe to LAA or ScienceDirect. From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Aug 12 18:03:33 2004 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7CN3WUF000402 for ; Thu, 12 Aug 2004 18:03:32 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7CN3Ru1000401 for reliable_computing-outgoing; Thu, 12 Aug 2004 18:03:27 -0500 (CDT) Received: from marnier.ucs.louisiana.edu (root [at] marnier [dot] ucs.louisiana.edu [130.70.132.233]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7CN3IOc000389 for ; Thu, 12 Aug 2004 18:03:23 -0500 (CDT) Received: from peche.ucs.louisiana.edu (root [at] peche [dot] ucs.louisiana.edu [130.70.132.206]) by marnier.ucs.louisiana.edu (8.13.1/8.13.1/ull-ucs-mx-host_1.9) with ESMTP id i7CN3Dod021067 for ; Thu, 12 Aug 2004 18:03:18 -0500 (CDT) Received: from peche.ucs.louisiana.edu (jpd@localhost [127.0.0.1]) by peche.ucs.louisiana.edu (8.13.1/8.13.1/ull-ucs-client_1.7) with ESMTP id i7CN3CxU003660 for ; Thu, 12 Aug 2004 18:03:12 -0500 (CDT) Received: (from jpd@localhost) by peche.ucs.louisiana.edu (8.13.1/8.13.1/Submit) id i7CN3C7E003659 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 12 Aug 2004 18:03:12 -0500 (CDT) Date: Thu, 12 Aug 2004 18:03:12 -0500 (CDT) From: "Dugal James P." Message-Id: <200408122303.i7CN3C7E003659 [at] peche [dot] ucs.louisiana.edu> To: reliable_computing [at] interval [dot] louisiana.edu Subject: test - please ignore Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk please ignore this test message. From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Aug 13 16:38:08 2004 Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7DLc8PR000637 for ; Fri, 13 Aug 2004 16:38:08 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7DLc8fV000636 for reliable_computing-outgoing; Fri, 13 Aug 2004 16:38:08 -0500 (CDT) Received: from marnier.ucs.louisiana.edu (root [at] marnier [dot] ucs.louisiana.edu [130.70.132.233]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7DLc0Js000632 for ; Fri, 13 Aug 2004 16:38:05 -0500 (CDT) Received: from liberty (h156207.louisiana.edu [130.70.156.207]) by marnier.ucs.louisiana.edu (8.13.1/8.13.1/ull-ucs-mx-host_1.9) with SMTP id i7DLSvHG016211 for ; Fri, 13 Aug 2004 16:29:02 -0500 (CDT) Message-Id: <2.2.32.20040813213307.01643744 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 13 Aug 2004 16:33:07 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: reliable_computing: recent messages Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, Thank you for your patience and understanding over the past week, during which interval.louisiana.edu underwent a hardware change and interval (and other machines on campus) had new software installed that affected bulk mailings. Not all messages posted during the past week may have been delivered. People can access the August archive through the "majordomo" protocol. Alternately, I can send it upon request. Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette (Room 217 Maxim D. Doucet Hall, 1403 Johnston Street) Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Aug 18 08:06:08 2004 Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7ID68r8003706 for ; Wed, 18 Aug 2004 08:06:08 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7ID67lh003705 for reliable_computing-outgoing; Wed, 18 Aug 2004 08:06:07 -0500 (CDT) Received: from smtp2.rz.tu-harburg.de (smtp2.rz.tu-harburg.de [134.28.205.13]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7ID5wB2003701 for ; Wed, 18 Aug 2004 08:06:04 -0500 (CDT) Received: from mail2.rz.tu-harburg.de (mail2.rz.tu-harburg.de [134.28.202.179]) by smtp2.rz.tu-harburg.de (8.12.7/8.12.10) with ESMTP id i7ID5t2e029039 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Wed, 18 Aug 2004 15:05:55 +0200 Received: from oem-9n90y5vdt8b (d054166.adsl.hansenet.de [80.171.54.166]) (user=ti3sr mech=LOGIN bits=0) by mail2.rz.tu-harburg.de (8.12.10/8.12.10) with ESMTP id i7ID5r8f008857 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NO) for ; Wed, 18 Aug 2004 15:05:54 +0200 To: reliable_computing [at] interval [dot] louisiana.edu Subject: INTLAB Version 5 Date: Wed, 18 Aug 2004 15:02:19 -0000 From: "Siegfried M. Rump" Organization: Technical University Hamburg-Harburg Content-Type: text/plain; format=flowed; delsp=yes; charset=iso-8859-15 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Message-ID: User-Agent: Opera M2/7.54 (Win32, build 3869) X-Scanned-By: TUHH Rechenzentrum content checker Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear all: the new Version 5 of INTLAB is available. Comments always welcome. Best wishes Siegfried M. Rump INTLAB is Matlab toolbox for self-validating algorithms. Version 5 comprises of - interval arithmetic for real and complex data including vectors and matrices (very fast), - interval arithmetic for real and complex sparse matrices (very fast), - automatic differentiation (forward mode, vectorized computations, fast), - Gradients to solve systems of nonlinear equations, - Hessians for global optimization, - automatic slopes (sequential approach, slow for many variables), - univariate and multivariate (interval) polynomials, - rigorous real interval standard functions (fast, very accurate, 3 ulps), - rigorous complex interval standard functions (fast, rigorous, but not necessarily sharp inclusions), - rigorous input/output, - accurate summation, dot product and matrix-vector residuals (interpreted, but fairly fast) - multiple precision interval arithmetic with error bounds (does the job, slow) and more. The philosophy of INTLAB is that *everything* is written in Matlab code to assure best portability. The new version handles Hessians, pure floating point and with verified bounds. As an example consider a model problem from http://www.sor.princeton.edu/~rvdb/ampl/nlmodels/cute/bdqrtic.mod The function of the model problem to be minimized is function y = f(x) N = length(x); I = 1:N-4; y = sum( (-4*x(I)+3.0).^2 ) + sum( ( x(I).^2 + 2*x(I+1).^2 + ... 3*x(I+2).^2 + 4*x(I+3).^2 + 5*x(N).^2 ).^2 ); with initial approximation x=ones(N,1) for N=1000. This means 1e6 elements in the gradient and 1e9 elements in the Hessian, or 8 GByte in full storage. In our implementation Hessians are stored sparse using a special storage scheme allowing efficient computations. The following is executable code to calculate an inclusion of a stationary point of f by first performing a simple Newton iteration followed by a verification step for the resulting nonlinear system. Error estimations are completely rigorous. >> n = 1000; tic X = verifynlss(@f,ones(n,1),'hSparseSPD'); t = toc maxrelerr = max(relerr(X)) t = 23.8040 maxrelerr = 5.5992e-013 Inclusions of all components of a stationary point are to some 13 decimal digits and takes 24 seconds on my 800 MHz Pentium III Laptop. Symmetric positive definiteness of the Hessian can be verified as well, ensuring a (local) minimum in X. INTLAB works under Windows and Unix OS and is tested under Matlab Versions 5.3 to 7.0 . INTLAB is freely available for non-commercial use from http://www.ti3.tu-harburg.de/~rump/intlab/ . ================================================= Prof. Dr. Siegfried M. Rump Inst. f. Computer Science III Technical University Hamburg-Harburg Schwarzenbergstr. 95 21071 Hamburg Germany phone +49 40 42878 3027 secr. +49 40 42878 3227 fax +49 40 42878 2489 From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Aug 21 23:28:32 2004 Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7M4SWCG008878 for ; Sat, 21 Aug 2004 23:28:32 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7M4SVaT008877 for reliable_computing-outgoing; Sat, 21 Aug 2004 23:28:31 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7M4SMag008873 for ; Sat, 21 Aug 2004 23:28:28 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i7M4S9m06181; Sat, 21 Aug 2004 22:28:10 -0600 (MDT) Message-Id: <200408220428.i7M4S9m06181 [at] cs [dot] utep.edu> Date: Sat, 21 Aug 2004 22:28:10 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: conference deadline extended To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: hunguyen [at] nmsu [dot] edu, ralo [at] uh [dot] edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: XVuDEkxA6vo2TW5RMMPLKw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, There is a special session on Reliable Computing with Imprecise Data organized by Hung T. Nguyen; since he is going out of town soon, he asked me serve as a contact point for this session. In agreement with the organizing committee, feel free to send your papers for this session directly to me. Vladik P.S. If you need a few more days to submit your paper, please let me know ASAP. ************************************************************************** From: "Alo, Richard" Dear Colleagues The Organizing Committee of The Fifth International Conference on Intelligent Technologies, InTech04, http://csc.csudh.edu/intech04/ would like to encourage your attendance and participation in this conference which will be held in Houston, Texas (USA) from December 2 to 4 2004. Please note that full paper submission deadline has been extended to August 30, 2004. This international program is co organized by Assumption University, Bangkok, Thailand and the Center for Computational Science at University of Houston-Downtown, Houston, Texas. We are expecting a stellar program of international participants and encourage your participation. Following the link above will bring you to the paper submission, plenary speakers, session information, conference and hotel registration and other local information. The main objectives of the conference are: * Bring together researchers and practitioners in order to exchange their ideas and * discuss issues occurred when implementing intelligent and fuzzy technologies in real world environments. * Provide a forum for discussion of new research areas, results and issues. * Encourage international researches in intelligent and fuzzy technologies. We hope that you will attend and we send our warmest regards from Houston. Respectfully Yours, Richard Alo', General Chair InTech04 Conference From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Aug 22 13:43:23 2004 Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7MIhNIC010335 for ; Sun, 22 Aug 2004 13:43:23 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7MIhN1A010334 for reliable_computing-outgoing; Sun, 22 Aug 2004 13:43:23 -0500 (CDT) Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7MIhKIG010330 for ; Sun, 22 Aug 2004 13:43:20 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7MIhJ9X010329 for reliable_computing [at] interval [dot] louisiana.edu; Sun, 22 Aug 2004 13:43:19 -0500 (CDT) Received: from ccsmta2.resource.rmcs.cranfield.ac.uk (ccsmta2.resource.rmcs.cranfield.ac.uk [193.63.243.25]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7LGXQ7e008386 for ; Sat, 21 Aug 2004 11:33:32 -0500 (CDT) Received: from cranfieldmail.shrivenham.cranfield.ac.uk ([10.4.80.101]) by ccsmta2.resource.rmcs.cranfield.ac.uk with esmtp (Exim 4.41) id 1ByYVS-0003yz-1d for reliable_computing [at] interval [dot] louisiana.edu; Sat, 21 Aug 2004 17:14:14 +0100 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message Subject: any references for pattern recognition using intervals?? MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Date: Sat, 21 Aug 2004 17:32:47 +0100 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: INTLAB Version 5 Thread-Index: AcSFJD5yjCweAvazT7WyYH+97quUuACdwZfA From: "Ashokaraj Mr IA" To: X-DEFAC-MailScanner-Information: Please contact postmaster [at] rmcs [dot] cranfield.ac.uk for more information X-DEFAC-MailScanner: Found to be clean X-DEFAC-MailScanner-SpamCheck: not spam, SpamAssassin (score=0, required 6) X-MailScanner-From: i.a.ashokaraj [at] cranfield [dot] ac.uk Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id i7LGXX7e008387 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear all, My name is Immanuel and i am a Post Graduate student. I just wanted to know if there is any work related to pattern recognition using intervals, specifically like recognising a line segment etc from a set of interval data. In the real arthematic usually algorithms such as hough transforms are used for this kind of problems. So just wanted to know is there any work related to it using intervals! Looking forward to hear from you soon! Regards, Immanuel. -- This message has been scanned for viruses and dangerous content by the Cranfield MailScanner, and is believed to be clean. From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Aug 26 10:15:54 2004 Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7QFFrV7015955 for ; Thu, 26 Aug 2004 10:15:53 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7QFFrUN015954 for reliable_computing-outgoing; Thu, 26 Aug 2004 10:15:53 -0500 (CDT) Received: from math.gatech.edu (math.gatech.edu [130.207.146.50]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7QFFc7b015950 for ; Thu, 26 Aug 2004 10:15:49 -0500 (CDT) Received: from math31035.math.gatech.edu (math31035.math.gatech.edu [199.77.200.35]) by math.gatech.edu (8.12.10/8.12.10) with ESMTP id i7QFFX4R011027 for ; Thu, 26 Aug 2004 11:15:34 -0400 (EDT) Date: Thu, 26 Aug 2004 11:15:33 -0400 (EDT) From: Marcio Fuzeto Gameiro To: reliable_computing [at] interval [dot] louisiana.edu Subject: Interval Library in Lisp Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-GTMath-Relay: 199.77.200.35 X-Spam-Status: SpamAssassin not applied to messages from Local Relay X-Scanned-By: MIMEDefang 2.37 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Does anyone know of a interval library in Lisp? Thanks, Marcio. From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Aug 30 12:08:19 2004 Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7UH8IXI021982 for ; Mon, 30 Aug 2004 12:08:19 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id i7UH8IRo021981 for reliable_computing-outgoing; Mon, 30 Aug 2004 12:08:18 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id i7UH8ABf021977 for ; Mon, 30 Aug 2004 12:08:16 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i7UH88K15479 for ; Mon, 30 Aug 2004 11:08:08 -0600 (MDT) Message-Id: <200408301708.i7UH88K15479 [at] cs [dot] utep.edu> Date: Mon, 30 Aug 2004 11:08:08 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: a new book of potential interest to interval community To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: FGhC5XJfIC0grJ+J6lKhPA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk In addition to probabilistic uncertainty, this book also deals with ellipsoidal and more general convex descriptions of uncertainty. ************************************************************** Kluwer Academic Publishers Safety Factors and Reliability: Friends or Foes? By Isaac Elishakoff Dept. of Mechanical Engineering, Florida Atlantic University, Boca Raton, USA Have you ever wondered where the safety factors come from? Why is it that deterministic analysis has reached a very sophisticated level, but in the end empirical factors are still needed? Is there a way to select them, rather than assigning them arbitrarily as is often done? This book clearly shows that safety factors are closely related with the reliability of structures, giving yet another demonstration of Albert Einstein's maxim that "It is incomprehensible that Nature is comprehensible". The book shows that the safety factors are much more comprehensible if they are seen in a probabilistic context. Several definitions of the safety factors are given, analytical results on insightful numbers are presented, nonprobabilistic safety factors are shown, as well as their estimates derived by the inequalities of Bienayme, Markov, Chebushev and Camp-Meidell. A special chapter is devoted to important contributions by Japanese experts. This volume will help to critically re-think the issue of safety factors, which can create a false feeling of security. The deterministic paradigm can be enhanced by incorporating probabilistic concepts wisely where they are needed without treating all variables as probabilistic ones. The book shows that there is a need of their integration rather than separation. This book is intended for engineers, graduate students, lecturers and researchers. Kluwer Academic Publishers, Dordrecht eBook, ISBN 1-4020-2131-3 May 2004, EUR 120.00 / USD 132.00 / GBP 83.00 Hard cover, ISBN 1-4020-1779-0 August 2004, 305 pp. EUR 120.00 / USD 132.00 / GBP 83.00