From owner-reliable_computing [at] interval [dot] usl.edu Fri Dec 1 02:12:12 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA15694 for reliable_computing-outgoing; Fri, 1 Dec 2000 02:12:12 -0600 (CST) Received: from dsiI.dsi.unifi.it (dsiI.dsi.unifi.it [150.217.15.31]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id CAA15689 for ; Fri, 1 Dec 2000 02:12:07 -0600 (CST) Received: (from icsm2001@localhost) by dsiI.dsi.unifi.it (8.9.1b+Sun/8.9.1) id JAA06379 for reliable_computing [at] interval [dot] usl.edu; Fri, 1 Dec 2000 09:00:13 +0100 (MET) Date: Fri, 1 Dec 2000 09:00:13 +0100 (MET) From: icsm2001 (NESI) Message-Id: <200012010800.JAA06379 [at] dsiI [dot] dsi.unifi.it> To: reliable_computing [at] interval [dot] usl.edu Subject: IEEE Int.Conf. Software Maintenance., Florence,Italy,ICSM2001 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleague I would like to invite you at the IEEE International Conference on Software Maintenance, 2001, and associated workshops: SCAM, WESS, WSE, etc. next November 2001 in Florence, Italy. Outstanding Keynotes such as: Prof. David Lorge Parnas and Prof. Dieter Rombach. Industrial papers and experiences, reseach papers and award, tutorials, tool expositions, dissertation forum and award, workshops, panels, and other exciting activities have been planned. I hope that this CFPs could be useful for your work. Please forward the following to anybody who you think may be interested. Apologies if you have already seen this. If you would like to be removed from our list please send an email to icsm2001 [at] dsi [dot] unifi.it with REMOVE in the subject. ICSM2001 Paolo Nesi (General Chair) =_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_= CALL---FOR---PAPER$ IEEE International Conference on Software Maintenance 2001 FLORENCE, ITALY, 6-10 November 2001 http://www.dsi.unifi.it/icsm2001 Theme: Systems and Software Evolution in the era of the Internet =_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_= Sponsored by IEEE Supported bt the: EC-IST, University of Florence, O-Group ICSM is the major international conference in the field of software and systems maintenance, evolution, and management. In the era of the Internet, businesses and end-users have invested in new technologies and small and large software organizations around the world are looking for Internet related solutions to evolve and maintain their new Internet software products. Internet technologies are strongly impacting system architectures and business processes and rules. In some cases businesses and end-users have been overwhelmed trying to keep up with software development and evolution processes and practices. In addition to novel solutions to enable the life-cycle of new web-based software systems, huge investments are necessary to migrate aginglegacy applications to web-enabled contemporary systems. ICSM 2001 will address these major changes in the software landscape and their impact on maintenance and evolution. The focus of the conference will be to explore the new challenges that the Internet, as a driver for business changes, poses for software maintenance, and the new opportunities it opens as infrastructure and enabling technology. The purpose of the conference is to promote discussion and interaction between researchers and practitioners. We are particularly interested in exchanging concepts, prototypes, research ideas, and other results which could contribute to the academic arena and also benefit business and the industrial community. ICSM 2001 will be participatory, with working collaborative sessions and presentations of industry projects. ICSM 2001 will bring together researchers, practitioners, developers and users of tools, technology transfer experts, and project managers. The Conference will be held in conjunction with: WESS -- the seventh Workshop on Empirical Studies of Software Maintenance. SCAM -- Source Code Analysis and Manipulation WSE -- Workshop on WEBsite Evolution Other workshops are welcome according to the limited available slots. Topics of interest include but are not restricted to the following aspects of maintenance and evolution: - Methods and theories -Processes and strategies - Organizational frameworks -Life cycle and process control - Design for maintenance -Tools and environments - Internet and distributed systems -Multimedia systems - User interface evolution -Commercial off-the-shelf (COTS) - Third party maintenance -Freeware and open source applications - Program comprehension -Software and system visualization - Knowledge based systems -Formal methods - Impact of new software practices -Empirical studies - Software reusability -Programming languages - Source code analysis and manipulation -Testing and regression testing - Models and methods for error prediction -Measurement of software - Maintenance and/or productivity metrics -Preventive maintenance - Personnel aspects of maintenance -Reengineering and reverse engineering - Version and configuration management -Legal aspects and standards - Management and organization -Remote, tele-work, and co-operative applications RESEARCH PAPERS Research papers should describe original and significant work in the research and practice of software maintenance. Research case studies, empirical research, and experiments are particularly welcome. We also welcome papers that present leading edge and novel ideas in maintenance. Papers should be 2000 - 5000 words in length, in English. Submit them in PDF or PostScript via email to icsm2001 [at] unisannio [dot] it by 15 January 2001. A prize of the Journal of Software Maintenance will be assigned at the Best submitted Paper. INDUSTRIAL APPLICATIONS We welcome proposals for presentations of Industrial Applications. These can be experience reports from real projects, industrial practices and models, or tool demonstrations. Submit proposals for Industrial Application presentations via email to icsm2001.industry [at] unisannio [dot] it by 12 March 2001. Industrial Applications proposals will be reviewed by a dedicated sub-committee of the program committee and a 1 page summary of accepted proposals will be included in the conference proceedings. EXPOSITION AREA An exposition are is present in which tools realted to industrial applications can be shown. Please contact: nesi [at] dsi [dot] unifi.it 1 page summary of accepted tools will be included in the conference proceedings. DISSERTATION FORUM We welcome submissions of young researchers that have delivered their dissertation (degree, master or Ph.D.) in the last three years. Please submit the PDF of the dissertation to icsm2001 [at] unisannio [dot] it by 15 January 2001. An Award and a full support to attend the conference will be given to the prize winner. Two other free registrations will be assigned at the second and third. 4 pages summary of accepted dissertations will be included in the conference proceedings and a special forum section will be organised at the conference. TUTORIALS Tutorials should present software maintenance and evolution topics of interest to practitioners. Tutorials may be full-day or half-day in length. Submit tutorial proposals via email to icsm2001.tutorial [at] unisannio [dot] it by 12 February 2001. 1 page summary of accepted tutorial will be included in the conference proceedings. IMPORTANT DATES, DEADLINES Research Paper submission 15 January 2001, notification of acceptance 1 June 2001 Dissertation submission 15 January 2001 Industrial Application submission 12 March 2001 Tools request and submission 12 March 2001 Tutorial submission 12 February 2001 ------------------------------ General chair: Paolo Nesi, University of Florence, Italy, nesi [at] dsi [dot] unifi.it Financial chair: Vaclav Rajlich, Wayne State University, USA, vtr [at] cs [dot] wayne.edu Program co-chairs: Gerardo Canfora, University of Sannio, Italy, gerardo.canfora [at] unisannio [dot] it Anneliese von Mayrhauser, Colorado State University, USA, avm [at] CS [dot] ColoState.EDU Tutorials co-chairs: Lionel C. Briand, Carleton University, briand [at] sce [dot] carleton.ca Alessandro Fantechi, University of Florence, Italy, Fantechi [at] dsi [dot] unifi.it Industrial Applications co-chairs: Panagiotis K. Linos, Butler University, Department of Computer Science and Software Engineering, Indianapolis USA, linos [at] butler [dot] edu, www.butler.edu/~linos Harry Sneed, Independent Consultant, Germany, Harry.Sneed@t-online.de Chris Verhoef, Free University Amsterdam, NL, x [at] cs [dot] vu.nl Publicity co-chairs: Nicholas Zvegintzov (General Co-chair), Software Management Network, USA, zvegint [at] attglobal [dot] net Malcolm Munro (Co-chair for Europe), University of Durham, UK, malcolm.munro [at] durham [dot] ac.uk William Cheng-Chung Chu (Co-chair for East), TungHai University, Taiwan, chu [at] cis [dot] thu.edu.tw Local Arrangements co-chairs: Fabrizio Fioravanti, University of Florence, Italy, fioravan [at] dsi [dot] unifi.it Pierfrancesco Bellini (Industrial Applications, and Demos), University of Florence, Italy, bellini [at] hpcn [dot] dsi.unifi.it Marius Bogdan Spinu, University of Florence, Italy, spinu [at] hpcn [dot] dsi.unifi.it -------------------------------------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Dec 3 22:28:51 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id WAA21900 for reliable_computing-outgoing; Sun, 3 Dec 2000 22:28: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.0) with ESMTP id WAA21895 for ; Sun, 3 Dec 2000 22:28:46 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.10.1/8.10.1) with SMTP id eB44SeW27808; Sun, 3 Dec 2000 21:28:40 -0700 (MST) Message-Id: <200012040428.eB44SeW27808 [at] cs [dot] utep.edu> Date: Sun, 3 Dec 2000 21:28:41 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: position ad specifically mentioning intervals To: reliable_computing [at] interval [dot] louisiana.edu Cc: interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: LryYJcvPC21PnR/ARQirKQ== 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 Our ad has finally appeared in December issue of Communications of the ACM Computer Science Department at The University of Texas at El Paso ----------------------------------------------------------- Tenure-Track Faculty ----------------------------------------------------------- UTEP's Department of Computer Science invites applications for at least two tenure-track faculty positions at all ranks to begin in Fall, 2001. We value excellence in research and education, our environment of collegiality, faculty collaboration across a wide range of interests, and involvement with students outside the classroom. We favor collaborative methods in both teaching and research. We seek colleagues who share these values, have a strong committment to both education and research, can collaborate with other faculty, can build a strong research program, and enjoy working in a culturally diverse community. The Department is part of UTEP's College of Engineering and offers BS and MS degrees in computer science and, with the Department of Electrical and Computer Engineering, a Ph.D. degree in Computer Engineering. We have an internationally distinguished record of research and our teaching program is a nationally recognized model of excellence. UTEP has an enrollment of 15,000 students and is located close to where the Rocky Mountains meet the Rio Grande. Our campus echoes the beauty of the surrounding high desert. El Paso, a highly livable, bi-cultural community of 700,000 people, is a major meeting point between the United States and Latin America and offers good, affordable housing. We are particularly interested in applications in the areas of theory, interval or soft computing, architecture, software engineering, and human-computer interaction, and will consider outstanding applications in other areas of computer science. Candidates must hold a Ph.D. in Computer Science or a closely related field. Send a curriculum vitae, a list of publications, a statement of teaching and research interests, and at least four professional references to Faculty Recruiting Committee, UTEP, Department of Computer Science, El Paso, TX, 79968-0518. Information about the department is available at http://www.cs.utep.edu. Send e-mail inquiries to recruiting [at] cs [dot] utep.edu. The University of Texas at El Paso does not discriminate on the basis of race, color, national origin, sex, religion, age, sexual orientation, or disability in employment or the provision of services. From owner-reliable_computing [at] interval [dot] usl.edu Thu Dec 7 06:21:39 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id GAA28436 for reliable_computing-outgoing; Thu, 7 Dec 2000 06:21:39 -0600 (CST) Received: from homer.mat.univie.ac.at (homer.mat.univie.ac.at [131.130.145.130]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id GAA28431 for ; Thu, 7 Dec 2000 06:21:34 -0600 (CST) Received: (from neum@localhost) by homer.mat.univie.ac.at (8.9.3/8.9.3) id NAA26839; Thu, 7 Dec 2000 13:21:30 +0100 (MET) Date: Thu, 7 Dec 2000 13:21:30 +0100 (MET) From: Arnold Neumaier Message-Id: <200012071221.NAA26839 [at] homer [dot] mat.univie.ac.at> To: frommer [at] homer [dot] mat.univie.ac.at, reliable_computing [at] interval [dot] louisiana.edu Subject: another interesting interval paper Cc: neum [at] cma [dot] univie.ac.at Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk In respnse to Andreas Frommer's request for applications of interval methods, here another paper that might be of interest: W. Enger, Interval ray tracing - a divide and conquer strategy for realistic computer graphics, The Visual Computer 9 (1992), 91-104. Arnold Neumaier From owner-reliable_computing [at] interval [dot] usl.edu Mon Dec 11 21:18:36 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id VAA04302 for reliable_computing-outgoing; Mon, 11 Dec 2000 21:18:36 -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.0) with ESMTP id VAA04297 for ; Mon, 11 Dec 2000 21:18:31 -0600 (CST) Received: from localhost (hanh@localhost) by isolde.mcs.newpaltz.edu (8.9.3+Sun/8.9.1) with ESMTP id TAA17433 for ; Mon, 11 Dec 2000 19:11:46 -0500 (EST) Date: Mon, 11 Dec 2000 19:11:46 -0500 (EST) From: Hanh Pham To: h-2 [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 " AGENTS FOR E-BUSINESS ON THE INTERNET " The 2001 International Conference on INTERNET COMPUTING (IC-2001) (Submission Deadline: March 5, 2001) For more detail: http://www.newpaltz.edu/~phamh/IC/ (part of a Multi-Conference event: PDPTA+IC+CISST+IC-AI+METMBS+ERSA ) Monte Carlo Resort, Las-Vegas, USA June 25-28, 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 goal of this session is to gather academic as well as industrial researchers to exchange new ideas and experiences, and 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 *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 *AI Techniques (Neural Nets,Fuzzy Logic,GA,...) for Internet Agents *Agent Communication *Agent Cooperation/Competition *Agent Negotiation And Learning SUBMISSION: You are invited to submit papers to session chair (contact address is given below) by the due date. E-mail submission in .PS or .PDF, is preferred. Mail and Fax submissions are also acceptable. The length of the Camera-Ready papers will be limited to 7 pages. Please include in the first page: title of the paper, name, affiliation, address, E-mail, telephone and fax number for each author and a maximum of 5 keywords. PUBLICATION: Accepted papers will be published in the (IC-2001) INTERNET COMPUTING Conference Proceeding by CSREA Press (ISBN) in hard copy. Selected accepted papers will be considered for journal publication. CONFERENCE EVENTS & ACCOMMODATION: This will be a major international gathering in year 2001. It is anticipated that this international event will attract about 1500 participants. This Multi-Conference event is composed of six (planned and more will likely be added) international conferences that will be held simultaneously (same dates and location). The multi-conference event will be held in the Monte Carlo Resort hotel, Las Vegas, Nevada, USA. Hotels' room rates range between 36 and 79 USD. Please visit http://www.newpaltz.edu/~phamh/IC/ for more detail about the conferences, room and tickets reservations. 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-IC'2001 (Las-Vegas) CONTACT: Dr. Hanh Pham Department of Computer Science State University of New York (SUNY) at New Paltz 75 S. Manheim Blvd. Suite 6, JFT 1008 New Paltz, NY 12561, USA E-mail: phamh [at] matrix [dot] newpaltz.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 Tue Dec 12 07:10:55 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id HAA05915 for reliable_computing-outgoing; Tue, 12 Dec 2000 07:10:54 -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 HAA05910 for ; Tue, 12 Dec 2000 07:10:50 -0600 (CST) Received: from informatik.uni-wuerzburg.de (hystrix [132.187.10.44]) by automatix.informatik.uni-wuerzburg.de (8.8.8/8.8.8) with ESMTP id OAA20661 for ; Tue, 12 Dec 2000 14:10:47 +0100 Message-ID: <3A3623D7.266285CD [at] informatik [dot] uni-wuerzburg.de> Date: Tue, 12 Dec 2000 14:10:47 +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 [at] interval [dot] usl.edu" Subject: nabla -infinity ? Content-Type: multipart/mixed; boundary="------------983530DA4D9034F978DCAA55" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk This is a multi-part message in MIME format. --------------983530DA4D9034F978DCAA55 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Dear colleagues it is well known (and implemented in Sun's interval library), that one directed rounding mode suffices to implement the other mode as well, and hence interval arithmetic. Delta(X) = - Nabla(-X) (a) applied to X = DBL_MAX + 1 , where DBL_MAX is the largest double number, Delta towards +infty Nabla towards -infty we do not obtain infinity, if (a) is calculated on the floating-point stack, see attachment we do obtain infinity if the intermediate result (-DBL_MAX -1) is stored and read again. We are using intel pentium processors and have tried AMD as well. We conjecture that this is a problem caused by the 80bits intermediate format. But we explicitly switched the floating-point mode to exactly double ! Can you give me a hint, or run the code on your machine ?? Thanks a lot, JWvG -- __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 --------------------------------------------- --------------983530DA4D9034F978DCAA55 Content-Type: text/plain; charset=us-ascii; name="onesided_test.cpp" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="onesided_test.cpp" #include #include #include #include #include #include #if defined(__linux) && defined(__i386__) typedef unsigned short uint16_t; #endif #if defined(__i386__) int main() { double a = DBL_MAX, b = 1.0, c = 0.0, d = 0.0; uint16_t const cw_down = 0x067F; asm ( "fldcw %3; fldl %1 ; fchs ; fldl %2 ; fchs ; faddp ; fchs; fstpl %0" : "=m" (c) : "m" (a), "m" (b), "m" (cw_down) : "st", "st(1)", "st(2)", "st(3)", "st(4)", "st(5)", "st(6)", "st(7)" ); asm ( "fldcw %3; fldl %1 ; fchs ; fldl %2 ; fchs ; faddp ; fstpl %0; fldl %0; fchs; fstpl %0" : "=m" (d) : "m" (a), "m" (b), "m" (cw_down) : "st", "st(1)", "st(2)", "st(3)", "st(4)", "st(5)", "st(6)", "st(7)" ); if ( c != d ) { std::cout << "Unreloaded\t-nabla(-DBL_MAX+-1.0) = " << c << std::endl; std::cout << "Reloaded \t-nabla(-DBL_MAX+-1.0) = " << d << std::endl; std::cout << "Unreloaded result and reloaded result do not match." << std::endl; std::cout << "Either your compiler/assembler or processor is buggy !" << std::endl; } else std::cout << "Test succeeded." << std::endl; } #else int main() { std::cout << "No test for your archtecture here." << std::endl; } #endif --------------983530DA4D9034F978DCAA55-- From owner-reliable_computing [at] interval [dot] usl.edu Tue Dec 12 07:26:52 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id HAA06250 for reliable_computing-outgoing; Tue, 12 Dec 2000 07:26:52 -0600 (CST) Received: from hera.cwi.nl (hera.cwi.nl [192.16.191.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id HAA06245 for ; Tue, 12 Dec 2000 07:26:47 -0600 (CST) Received: from cwi.nl (speedlog.cwi.nl [192.16.184.235]) by hera.cwi.nl with ESMTP id OAA26839 for ; Tue, 12 Dec 2000 14:26:15 +0100 (MET) Message-ID: <3A362777.CD82CB06 [at] cwi [dot] nl> Date: Tue, 12 Dec 2000 14:26:15 +0100 From: =?iso-8859-1?Q?Fr=E9d=E9ric?= Goualard Organization: CWI X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.14-12 i686) X-Accept-Language: en MIME-Version: 1.0 To: "J.Wolff v. Gudenberg" CC: reliable_computing [at] interval [dot] usl.edu Subject: Re: nabla -infinity ? References: <3A3623D7.266285CD [at] informatik [dot] uni-wuerzburg.de> Content-Type: multipart/mixed; boundary="------------09016D4F3039F642F04A456A" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk This is a multi-part message in MIME format. --------------09016D4F3039F642F04A456A Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit "J.Wolff v. Gudenberg" wrote: > Dear colleagues > it is well known (and implemented in Sun's interval library), that one > directed rounding mode suffices to implement the other mode as well, and > hence interval arithmetic. > > Delta(X) = - Nabla(-X) (a) > > applied to X = DBL_MAX + 1 > , where DBL_MAX is the largest double number, Delta towards +infty > Nabla towards -infty > > we do not obtain infinity, if (a) is calculated on the floating-point > stack, see attachment > we do obtain infinity if the intermediate result (-DBL_MAX -1) is > stored and read again. > > We are using intel pentium processors and have tried AMD as well. We > conjecture that this is a problem caused by the 80bits intermediate > format. But we explicitly switched the floating-point mode to exactly > double ! > > Can you give me a hint, or run the code on your machine ?? > > Thanks a lot, > JWvG > Dear Juergen, I assume you are using gcc? I have reported this problem some time ago to the gcc team (see http://gcc.gnu.org/ml/gcc-bugs/2000-09/msg00631.html) and here is their answer: http://gcc.gnu.org/ml/gcc-bugs/2000-09/msg00639.html. Frederic. --------------09016D4F3039F642F04A456A Content-Type: text/x-vcard; charset=us-ascii; name="Frederic.Goualard.vcf" Content-Transfer-Encoding: 7bit Content-Description: Card for Frédéric Goualard Content-Disposition: attachment; filename="Frederic.Goualard.vcf" begin:vcard n:Goualard;Frédéric tel;fax:+31 20 592 4199 tel;work:+31 20 592 4123 x-mozilla-html:FALSE url:http://www.cwi.nl/~goualard/ org:Centrum voor Wiskunde en Informatica adr:;;P.O. Box 94079;Amsterdam;;1090 GB;The Netherlands version:2.1 email;internet:Frederic.Goualard [at] cwi [dot] nl x-mozilla-cpt:;27360 fn:Frédéric Goualard end:vcard --------------09016D4F3039F642F04A456A-- From owner-reliable_computing [at] interval [dot] usl.edu Thu Dec 14 09:34:03 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA09554 for reliable_computing-outgoing; Thu, 14 Dec 2000 09:34:02 -0600 (CST) Received: from iph.bio.bas.bg (IDENT:0@bas-bio.lines.bas.bg [195.96.252.58]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA09549 for ; Thu, 14 Dec 2000 09:33:50 -0600 (CST) Received: from biomath (biomath.bio.bas.bg [195.96.247.160]) by iph.bio.bas.bg (8.9.3/8.9.3) with ESMTP id RAA02157 for ; Thu, 14 Dec 2000 17:35:34 +0200 From: "Svetoslav Markov" Organization: Institute of Mathematics, BAS To: reliable_computing [at] interval [dot] usl.edu Date: Thu, 14 Dec 2000 17:30:38 +0200 Subject: Minisimposium, Borovets, 8-11.04.2001 Reply-to: smarkov [at] iph [dot] bio.bas.bg Message-ID: <3A3903BE.30228.6380C5@localhost> Priority: normal X-mailer: Pegasus Mail for Win32 (v3.12c) Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk International minisymposium on MATHEMATICAL MODELLING AND SCIENTIFIC COMPUTATIONS April 8-11, 2001, Borovets, BULGARIA Deadline for submission of the papers: January 30, 2001. Notification of acceptance: February 10, 2001. Deadline for registration: February 20, 2001. More information about MMSC 2001 is posted on the following WEB site: http://www.math.bas.bg/~bio/mmsc/mm.htm or: http://banmatpc.math.bas.bg/~bio/mmsc/mm.htm -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + Svetoslav Markov Section "Biomathematics", Inst. of phone: +3592-979-3704, +3592-707460, Mathematics and Computer Sci., fax: +3592-971-3649, Bulgarian Academy of Sciences, e-mail: smarkov [at] iph [dot] bio.bas.bg "Acad. G. Bonchev" st., block 8, BG-1113 Sofia, BULGARIA home address: 11 Mizia, 1124 Sofia, tel. +3592-444651 web: http://banmatpc.math.bas.bg/~bio/ -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + From owner-reliable_computing [at] interval [dot] usl.edu Thu Dec 14 09:41:14 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA09781 for reliable_computing-outgoing; Thu, 14 Dec 2000 09:41:14 -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 JAA09774 for ; Thu, 14 Dec 2000 09:41:07 -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 QAA12745; Thu, 14 Dec 2000 16:41:02 +0100 Message-ID: <3A38EA0E.E9CE36E2 [at] informatik [dot] uni-wuerzburg.de> Date: Thu, 14 Dec 2000 16:41:02 +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: =?iso-8859-1?Q?Fr=E9d=E9ric?= Goualard CC: reliable_computing [at] interval [dot] usl.edu Subject: Re: nabla -infinity ? References: <3A3623D7.266285CD [at] informatik [dot] uni-wuerzburg.de> <3A362777.CD82CB06 [at] cwi [dot] nl> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Frédéric Goualard wrote: > > "J.Wolff v. Gudenberg" wrote: > > > Dear colleagues > > it is well known (and implemented in Sun's interval library), that one > > directed rounding mode suffices to implement the other mode as well, and > > hence interval arithmetic. > > > > Delta(X) = - Nabla(-X) (a) > > > > applied to X = DBL_MAX + 1 > > , where DBL_MAX is the largest double number, Delta towards +infty > > Nabla towards -infty > > > > we do not obtain infinity, if (a) is calculated on the floating-point > > stack, see attachment > > we do obtain infinity if the intermediate result (-DBL_MAX -1) is > > stored and read again. > > > > We are using intel pentium processors and have tried AMD as well. We > > conjecture that this is a problem caused by the 80bits intermediate > > format. But we explicitly switched the floating-point mode to exactly > > double ! > > > > Can you give me a hint, or run the code on your machine ?? > > > > Thanks a lot, > > JWvG > > > > Dear Juergen, > > I assume you are using gcc? > I have reported this problem some time ago to the gcc team (see > http://gcc.gnu.org/ml/gcc-bugs/2000-09/msg00631.html) and here is their answer: > http://gcc.gnu.org/ml/gcc-bugs/2000-09/msg00639.html. > > Frederic. > Dear Frederic, it is not a problem with the compiler. We've had those problems as well. but here the sequence of assembler statements is executed as written in our sample program. Thank you Juergen > ------------------------------------------------------------------------ > Name: Frederic.Goualard.vcf > Frederic.Goualard.vcf Type: VCard (text/x-vcard) > Encoding: 7bit > Description: Card for Frédéric Goualard -- __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 Sat Dec 16 15:14:15 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id PAA14166 for reliable_computing-outgoing; Sat, 16 Dec 2000 15:14:15 -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.0) with ESMTP id PAA14161 for ; Sat, 16 Dec 2000 15:14:10 -0600 (CST) Received: (from xwu@localhost) by gauss.Mines.EDU (8.9.3/8.9.3) id OAA29085 for reliable_computing [at] interval [dot] usl.edu; Sat, 16 Dec 2000 14:02:36 -0700 (MST) From: Xindong Wu Message-Id: <200012162102.OAA29085 [at] gauss [dot] Mines.EDU> Subject: Call for Book Proposals in Knowledge and Information Management To: reliable_computing [at] interval [dot] usl.edu Date: Sat, 16 Dec 2000 14:02:36 -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 Springer Book Series on Knowledge and Information Management ============================================================ Home Page: http://kais.mines.edu/~xwu/kaim/home.html ---------------------------------------------------- Call for Book Proposals *********************** Aims and Scope ============== The Springer book series on Knowledge and Information Management (KAIM) aims to report and encourage new developments in all topic areas related to knowledge systems and advanced information systems. It publishes books that may comprise (1) collected works on advanced topics in KAIM with influential papers selected from various journals and conferences, and (2) research and tutorial monographs on emerging topics. Each book proposal in the book series will be independently reviewed by the Series Editorial Board with possible additional reviewers. The book series focuses on knowledge systems and advanced information systems, including their theoretical foundations, infrastructure, enabling technologies and emerging applications. Series Editor ============= Dr. Xindong Wu Department of Mathematical and Computer Sciences, Colorado School of Mines, Golden, Colorado 80401-1887, USA. Phone: +1-303-273-3874 Fax: +1-303-273-3875 Email: kaim [at] mines [dot] edu URL: http://kais.mines.edu/~xwu/ Series Editorial Broad ====================== Professor John A. Barnden School of Computer Science, The University of Birmingham, U.K. Email: J.A.Barnden [at] cs [dot] bham.ac.uk URL: http://www.cs.bham.ac.uk/~jab/ Professor Farokh B. Bastani Department of Computer Science, The University of Texas at Dallas, USA Email: bastani [at] utdallas [dot] edu URL: http://www.utdallas.edu/~bastani/ Professor John K. Debenham Faculty of Information Technology, University of Technology, Sydney, Australia Email: debenham [at] it [dot] uts.edu.au URL: http://www-staff.socs.uts.edu.au/~debenham/ Professor M. Tamer Ozsu Department of Computer Science, University of Waterloo, Canada Email: tozsu [at] db [dot] uwaterloo.ca URL: http://db.uwaterloo.ca/~tozsu/ Professor Jan Treur Department of Artificial Intelligence, Vrije Universiteit Amsterdam, The Netherlands Email: treur [at] cs [dot] vu.nl URL: http://www.cs.vu.nl/~treur/ Information for Proposers ========================= If you are interested in writing or editing a book to be published within the Springer Knowledge and Information Management series, please complete the Springer book proposal form (available at http://kais.mines.edu/~xwu/kaim/AQ.doc) and submit it to the Series Editor by e-mail at kaim [at] mines [dot] edu. The book series emphasizes timely processing of book proposals and minimal delay in publication time. We review book proposals with Springer, and Springer will advise proposers of their proposal status with a target turnaround time of approximately two months. We strongly encourage electronic submissions in the form of PDF/postscript/Word files by e-mail. Springer London will contact the proposers directly to discuss the outcomes from the proposal review. General enquiries relating to the book series can be directed to the Series Editor, any member of the Series Editorial Board, or Mary Ondrusz at Springer London (mary [at] svl [dot] co.uk). Enquiries regarding the status of specific proposals should be directed to the Series Editor and Springer London only. From owner-reliable_computing [at] interval [dot] usl.edu Wed Dec 20 17:06:14 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id RAA19648 for reliable_computing-outgoing; Wed, 20 Dec 2000 17:06:13 -0600 (CST) Received: from mail4.lig.bellsouth.net (mail4.lig.bellsouth.net [205.152.0.32]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id RAA19643 for ; Wed, 20 Dec 2000 17:06:09 -0600 (CST) Received: from u8174 (adsl-20-80-242.lft.bellsouth.net [66.20.80.242]) by mail4.lig.bellsouth.net (3.3.5alt/0.75.2) with SMTP id SAA01353 for ; Wed, 20 Dec 2000 18:06:07 -0500 (EST) Message-Id: <2.2.32.20001220230705.006f2720 [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Wed, 20 Dec 2000 17:07:05 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: interval.louisiana.edu down for a day Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, The machine interval.louisiana.edu (hosting this mailing list, etc.) will be down for a day due to a power outage. Sincerely, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Dec 24 00:43:45 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id AAA02612 for reliable_computing-outgoing; Sun, 24 Dec 2000 00:43:44 -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.0) with ESMTP id AAA02607 for ; Sun, 24 Dec 2000 00:43:36 -0600 (CST) Received: from slava.UUCP (uucp@localhost) by into.nit.spb.ru (8.8.7/8.8.7) with UUCP id JAA06009 for reliable_computing [at] interval [dot] usl.edu; Sun, 24 Dec 2000 09:46:38 +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); Sun, 24 Dec 2000 09:38:11 +0300 To: reliable_computing [at] interval [dot] usl.edu Message-Id: Organization: Slava Nesterov Date: Sun, 24 Dec 2000 09:38:11 +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, Vol 7, issue 2, 2001 Lines: 49 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Reliable Computing Volume 7, issue 2, 2001 Special Issue Modal Intervals and Its Applications Selected Papers from the First Workshop on Interval Applications to Systems and Control MISC'99 February 24-26, 1999, Girona, Spain Guest Editors: Josep Vehi and Miguel A. Sainz Foreword 75 Modal Intervals Ernest Gardenes, Miguel A. Sainz, Lambert Jorba, Remei Calm, Rosa Estela, Honorino Mielgo, Albert Trepat 77-111 On the Algebraic Properties of Intervals and Some Applications Svetoslav Markov 113-127 Multiplication Distributivity of Proper and Improper Intervals Evgenija D. Popova 129-140 Interval Gauss-Seidel Method for Generalized Solution Sets to Interval Linear Systems Sergey P. Shary 141-155 A Limitation for Underestimation via Twin Arithmetic Peter Hertling 157-169 Application of Modal Intervals to the Generation of Error-Bounded Envelopes Joaquim Armengol, Josep Vehi, Louise Trave-Massuyes, Miguel Angel Sainz 171-185 Information SCAN 2000: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics Interval 2000: International Conference on Interval Methods in Science and Engineering 187-191 From owner-reliable_computing [at] interval [dot] usl.edu Sun Dec 31 17:25:33 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id RAA16843 for reliable_computing-outgoing; Sun, 31 Dec 2000 17:25:33 -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.0) with ESMTP id RAA16838 for ; Sun, 31 Dec 2000 17:25:29 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.10.1/8.10.1) with SMTP id eBVNPHL29110 for ; Sun, 31 Dec 2000 16:25:18 -0700 (MST) Message-Id: <200012312325.eBVNPHL29110 [at] cs [dot] utep.edu> Date: Sun, 31 Dec 2000 16:25:16 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Hung T. Nguyen To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 7m1cEdcMOUzDOXVZOn7Dlg== 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 Hung T. Nguyen Selected as a Distinguished Lukacs Professor Professor Hung T. Nguyen from New Mexico State University has been selected as a Distinguished Lukacs Professor in Statistics at the Bowling Green State University for Spring 2002. This position is one of the world's most prestigious in mathematical statistics. Previous appointees include renown statisticians such as Gabor Szekely (1991), Anatoly Skorokhod (1994), and C.R. Rao (1998). This position was established in 1989 in the memory of Eugene Lukacz, a world renown statistician. Lukacz's research covered many areas of statistics, including his pioneering analysis of robustness (stability) of statistical characterization results. Many theoretical results of mathematical statistics are based on certain assumptions about the corresponding distributions. In practice, these assumptions can only be checked with a certain accuracy; so, the natural question is: if we know that the assumption holds with a certain accuracy, is it true that the conclusion holds with some accuracy? The answer to this questions requires that we consider _classes_ of probability distributions, specifically, classes of all distributions which are consistent with the given measurement results and with the existing expert knowledge. Professor Nguyen was selected for his numerous research accomplishments, including his 1970s results that fuzzy sets and their operations can be re-interpreted in more traditional statistical terms as appropriate classes of probability distributions, and his more recent interval-related research in which an interval is also interpreted as a class of all distributions located on it. Nguyen's results helped to make fuzzy and interval methods mainstream and acceptable to the statistical community. Congratulations!