From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 3 04:40:15 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h23AeEm04690 for reliable_computing-outgoing; Mon, 3 Mar 2003 04:40:14 -0600 (CST) Received: from icis.pcz.czest.pl (postfix [at] icis [dot] pcz.pl [212.87.224.6]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h23Ae6d04686 for ; Mon, 3 Mar 2003 04:40:07 -0600 (CST) Received: from sevastianov.icis.pcz.czest.pl (sevast.icis.pcz.czest.pl [212.87.224.201]) by icis.pcz.czest.pl (Postfix) with ESMTP id 7A7E467CAE for ; Mon, 3 Mar 2003 11:32:27 +0100 (CET) Message-Id: <5.1.1.6.0.20030303113629.02682f68 [at] icis [dot] pcz.czest.pl> X-Sender: sevast [at] icis [dot] pcz.czest.pl (Unverified) X-Mailer: QUALCOMM Windows Eudora Version 5.1.1 Date: Mon, 03 Mar 2003 11:39:38 +0100 To: reliable_computing [at] interval [dot] louisiana.edu From: Pavel Sevastianov Subject: Re: 'set' inequalities In-Reply-To: <3E5D46F0.C4BC98E1 [at] sun [dot] com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Bill. We have use the interval relations for the decision of optimization tasks when we deal with the interval cost (objective) functions. Some examples are in following papers: http://zsiie.icis.pcz.pl/papers/srz.pdf http://zsiie.icis.pcz.pl/papers/TQ107J-C.PDF The problem is of practical nature. We met it when modeling and optimizing power producing equipment. Regards. Pavel Rog, Pavel Sevastjanov. At 15:00 2003-02-26 -0800, you wrote: >Question: Does anybody know of an application for >the 'set' relational operations, besides set equality and >set inequality. For example, [a,b] is set less than [c,d] >if a < c and b < d. > >Thanks in advance, > >Bill From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 3 08:21:49 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h23ELmb04921 for reliable_computing-outgoing; Mon, 3 Mar 2003 08:21:48 -0600 (CST) Received: from kathmandu.sun.com (kathmandu.sun.com [192.18.98.36]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h23ELgd04917 for ; Mon, 3 Mar 2003 08:21:43 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.8.30]) by kathmandu.sun.com (8.9.3+Sun/8.9.3) with ESMTP id HAA19977; Mon, 3 Mar 2003 07:21:33 -0700 (MST) Received: from sun.com (vpn-129-150-16-23.SFBay.Sun.COM [129.150.16.23]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id GAA29746; Mon, 3 Mar 2003 06:21:32 -0800 (PST) Message-ID: <3E636321.C150F855 [at] sun [dot] com> Date: Mon, 03 Mar 2003 06:13:53 -0800 From: Bill Walster X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en,ru MIME-Version: 1.0 To: Pavel Sevastianov CC: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: 'set' inequalities References: <5.1.1.6.0.20030303113629.02682f68 [at] icis [dot] pcz.czest.pl> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Thanks, Pavel. This will be very helpful. Thanks to everybody who has answered either on or off the alias. I have enough now. :) Best regards, Bill Pavel Sevastianov wrote: > Dear Bill. > We have use the interval relations for the decision of optimization tasks > when we deal with the interval cost (objective) functions. > Some examples are in following papers: > > http://zsiie.icis.pcz.pl/papers/srz.pdf > http://zsiie.icis.pcz.pl/papers/TQ107J-C.PDF > > The problem is of practical nature. We met it when modeling and optimizing > power producing equipment. > Regards. > Pavel Rog, Pavel Sevastjanov. > > At 15:00 2003-02-26 -0800, you wrote: > > >Question: Does anybody know of an application for > >the 'set' relational operations, besides set equality and > >set inequality. For example, [a,b] is set less than [c,d] > >if a < c and b < d. > > > >Thanks in advance, > > > >Bill From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 8 09:21:01 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h28FL0t10778 for reliable_computing-outgoing; Sat, 8 Mar 2003 09:21:00 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h28FKsv10774 for ; Sat, 8 Mar 2003 09:20:55 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h28FKf904947 for ; Sat, 8 Mar 2003 08:20:42 -0700 (MST) Message-Id: <200303081520.h28FKf904947 [at] cs [dot] utep.edu> Date: Sat, 8 Mar 2003 08:20:40 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: [CCA] RNC'5 second call for papers To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: gjse/1PHd+iKCV08x3izsA== 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 ------------- Begin Forwarded Message ------------- X-Authentication-Warning: laplace.fernuni-hagen.de: majordom set sender to owner-cca-list@fernuni-hagen.de using -f Date: Mon, 3 Mar 2003 20:42:46 +0100 (CET) From: Real Numbers and Computers 2003 X-X-Sender: cpjeanne [at] moosehead [dot] lip.ens-lyon.fr To: "RNC'5 Program Committee":;;;;;@laplace.fernuni-hagen.de [at] banach [dot] fernuni-hagen.de [at] banach [dot] fernun i-hagen.de [at] laplace [dot] FernUni-Hagen.de;;;;;; Subject: [CCA] RNC'5 second call for papers MIME-Version: 1.0 X-Virus-Scanned: by AMaViS perl-11 5th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC5) September 3-5, 2003 Ecole Normale Superieure de Lyon Lyon, France ######################################################### # The deadline for contributing to RNC5 is coming soon! # # Paper submission information can be found at # # # # http://www.ens-lyon.fr/LIP/Arenaire/RNC5 # # # ######################################################### Dates: Submission of manuscripts: 17 Mar 2003 Notification of acceptance: 15 May 2003 Revised Papers required by: 1 Jul 2003 Conference: 3-5 Sep 2003 Objective: The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, serial, on line, continued fractions, exact, multiple precision, interval and stochastic arithmetic. Results are sought on both applied and fundamental questions. Important topics discussed during these conferences include but are not limited to: * Foundation and properties of number systems * Computability and complexity * Formal aspects and automatic proof checking * Links with number theory and automata theory * Basic arithmetic operations * Implementation of the standard and special functions * Engineering of floating and fixed point algorithms * Symbolic manipulation of numbers * Accuracy and reliability for applications and industry * Robust geometric algorithms and exact geometric computation * Hardware design support and implementations The conference will feature invited lectures and contributed talks. Original research results and insightful analyses of current concerns are solicited for submission. Survey and tutorial articles may be suitable for submission if clearly identified as such. Proceedings and special issue: Instructions for how to submit will be posted on the website of the conference. The proceedings will be distributed at the conference. They will be published electronically by the INRIA. A special issue on real numbers and computers of Elsevier's journal Theoretical Computer Science is to follow the conference. Authors of the conferences will be strongly encouraged to propose expanded work for review and inclusion. Steering Committee: Jean Claude Bajard, Montpellier, France Jean Marie Chesneaux, Paris, France Christiane Frougny, Paris, France Peter Kornerup, Odense, Denmark (chair) Dominique Michelucci, Dijon, France Jean Michel Muller, Lyon, France Program Committee: Jean Paul Allouche, Orsay, France Jean Claude Bajard, Montpellier, France Vasco Brattka, Hagen, Germany Jean Marie Chesneaux, Paris, France Marc Daumas, Lyon, France (chair) James Demmel, Berkeley, United States Milos Ercegovac, Los Angeles, United States Martin Escardo, Birmingham, United Kingdom Christiane Frougny, Paris, France Peter Kornerup, Odense, Denmark Philippe Langlois, Perpignan, France Dominique Michelucci, Dijon, France Michael Parks, Sun, United States Siegfried Rump, Hamburg, Germany David Russinoff, AMD, United States Laurent Thery, Sophia Antipolis, France Chee Yap, New York, United States Organizing Committee: Nicolas Brisebarre, Lyon, France Claude-Pierre Jeannerod, Lyon, France Nathalie Revol, Lyon, France Gilles Villard, Lyon, France (chair) ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 8 09:48:53 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h28FmrW10914 for reliable_computing-outgoing; Sat, 8 Mar 2003 09:48:53 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h28Fmmv10910 for ; Sat, 8 Mar 2003 09:48:49 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h28Fmkg05075 for ; Sat, 8 Mar 2003 08:48:46 -0700 (MST) Message-Id: <200303081548.h28Fmkg05075 [at] cs [dot] utep.edu> Date: Sat, 8 Mar 2003 08:48:44 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: East Coast Computer Algebra Day 2003 (2nd announcement) To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: zk74gw2522pnww7ZC/iWAg== 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 ------------- Begin Forwarded Message ------------- From: Xuhong Gao Date: Tue, 4 Mar 2003 12:35:10 -0500 (EST) To: vladik [at] cs [dot] utep.edu Subject: East Coast Computer Algebra Day 2003 (2nd announcement) ANNOUNCEMENT AND CALL FOR PARTICIPATION EAST COAST COMPUTER ALGEBRA DAY 2003 Saturday, April 5, 2003 Madren Conference Center Clemson University South Carolina The 10th annual East Coast Computer Algebra Day (ECCAD'2003) will be held on Saturday, April 5, 2003, at Clemson University, South Carolina, USA. THEMES * Algebraic Algorithms * Hybrid Symbolic-Numeric Computation * Computer Algebra Systems and Generic Programming * Mathematical Communication * Complexity of Algebraic Problems INVITED SPEAKERS * Professor Richard Brent Oxford University, England Title: Primitive and almost primitive trinomials over GF(2) * Professor Jeremy Johnson Drexel University, USA Title: Computer Algebra and Signal Processing * Professor Wolfgang Schreiner Johannes Kepler University, Austria Title: Distributed Maple - Lessons Learned on Parallel Computer Algebra in Distributed Environments POSTER SESSIONS In keeping with tradition, there will be two poster sessions offering all participants an opportunity to present timely research in an informal environment. The conference auditorium is well equipped with video projectors, computers and internet access. Software demos are welcome. TRAVEL SUPPORT The deadline has passed, but we may still support a few more participants. This is subject to the final approval of funding from National Science Foundation. REGISTRATION There is no registration fee for the conference. You can register and get more information at the conference website: http://www.math.clemson.edu/~sgao/ECCAD03/ LOCAL and TRAVEL INFORMATION Up-to-date information regarding accommodations, directions, area restaurants, registration, etc. can be found at the conference website. Questions about the conference may be addressed to the organizing committee: Shuhong Gao, sgao [at] math [dot] clemson.edu David Jacobs, dpj [at] cs [dot] clemson.edu PLEASE HELP COMMUNICATE THIS ANNOUNCEMENT TO ALL INTERESTED PARTIES. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 8 18:32:14 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h290WDd11294 for reliable_computing-outgoing; Sat, 8 Mar 2003 18:32:13 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h290W9v11290 for ; Sat, 8 Mar 2003 18:32:09 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h290W4x08003 for ; Sat, 8 Mar 2003 17:32:04 -0700 (MST) Message-Id: <200303090032.h290W4x08003 [at] cs [dot] utep.edu> Date: Sat, 8 Mar 2003 17:32:02 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: ISSAC 2003, CALL FOR SOFTWARE EXHIBITIONS To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: s8YpmF1ZtlFPSSsSVXBHkQ== 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 ------------- Begin Forwarded Message ------------- From: issac2003 [at] drexel [dot] edu Date: Thu, 6 Mar 2003 18:54:49 -0500 (EST) X-Authentication-Warning: queen.mcs.drexel.edu: issac2003 set sender to issac2003 [at] drexel [dot] edu using -r To: vladik [at] cs [dot] utep.edu Subject: ISSAC 2003, CALL FOR SOFTWARE EXHIBITIONS CALL FOR SOFTWARE EXHIBITIONS ====================================================================== ISSAC 2003 International Symposium on Symbolic and Algebraic Computation Drexel University, Philadelphia, PA, USA, August 3-6, 2003 http://www.drexel.edu/issac2003/ ====================================================================== ISSAC is the yearly premier international symposium in Symbolic and Algebraic Computation. It provides an opportunity to learn of new developments and to present original research results in all areas of symbolic mathematical computation. Planned activities include invited presentations, research and survey papers, poster sessions, tutorial courses, vendor exhibits and software demonstrations. This year ISSAC organizes sessions to exhibit software packages produced by academic developers. These sessions are intended to promote software development activities in the areas of symbolic mathematical computation. Important Dates --------------- - Deadline for Submissions: April 28, 2003 - Notification of Acceptance: shortly after submission The software abstracts will be published in the SIGSAM Bulletin. To encourage submissions of good quality, two best demonstration prizes will be awarded. Demonstrations will be judged by the program committee and the attendees independently, both based on content and presentation. Software Exhibitions Chair -------------------------- Agnes Szanto Department of Mathematics North Carolina State University, USA E-mail: aszanto [at] ncsu [dot] edu Conference Topics ----------------- Topics of the meeting include, but are not limited to : - Algorithmic mathematics. Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group and geometric computing. - Computer Science. Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, software, libraries, parallel/distributed computing and programming languages for symbolic computation, concrete analysis, benchmarking, theoretical and practical complexity of computer algebra algorithms, automatic differentiation, code generation, mathematical data structures and exchange protocols. - Applications. Problem treatments using algebraic, symbolic or symbolic-numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics, education. Instructions ------------ A software exhibition consists of an illustration of a piece of software by using a poster display and/or a laptop computer display. Software exhibitors are invited to submit: * A title of their software exhibition; * An abstract of about half a page describing the software, the purpose and containing a very short bibliography; * At most two pages which detail the abstract; Documents must be in English. Plain TeX or LaTeX is preferred, but plain text is also acceptable. Documents should be submitted via electronic mail to aszanto [at] ncsu [dot] edu Recommendations: The aims of your exhibition is to convince the attendees to use your software. In particular you should make clear the following aspects: * What your software does, * Its power and limitations, * Any possible advantages or drawbacks over similar packages. Exhibitors are encouraged to read the article How to Prepare a Poster. Technical details ----------------- The software exhibition sessions will take place in the same hall as the poster sessions. You will have access to a poster stand and possibly to a table and a chair. You will have to provide your own laptop computer if needed. Please inform the Exhibitions Chair about the needs of your exhibitions. Also, please feel free to contact the exhibitions chair with any questions at: aszanto [at] ncsu [dot] edu ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 8 19:01:52 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2911qH11417 for reliable_computing-outgoing; Sat, 8 Mar 2003 19:01:52 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2911mv11413 for ; Sat, 8 Mar 2003 19:01:49 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h2911js08122; Sat, 8 Mar 2003 18:01:46 -0700 (MST) Message-Id: <200303090101.h2911js08122 [at] cs [dot] utep.edu> Date: Sat, 8 Mar 2003 18:01:44 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: 6th International Conference on Information Technology To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: lFoAxYo7kU2Uv+dKZFRSlA== 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, We had interval papers at rpevious conferences, so if there is enough interest, we can have a session or something. ****************************************************** C A L L F O R P A R T I C I P A T I O N CIT 2003 6th International Conference on Information Technology http://www.citconference.org DECEMBER 22-25, 2003 BHUBANESWAR, INDIA Paper Submission Deadline: May 30, 2003 ****************************************************** GENERAL INFORMATION ------------------- CIT 2003 will be held in Bhubaneswar, India, during December 22-25, 2003. The goal of the International Conference on Information Technology (CIT) is to provide a high quality forum for scientists and engineers to present their latest research findings on all topics in the area of information technology. The last five conferences attracted reputable researchers from around the world. SPONSORED BY: Orissa Information Technology Society ===CALL FOR PAPERS ============================ Authors are invited to submit original unpublished manuscripts that demonstrate current research in all areas of information technology. Topics of interest include but are not limited to: * Ubiquitous computing * Wireless Mobile Computing * Multimedia and High Speed Networks * QoS in internet and mobile networks * Internet and WWW-based Computing * E-commerce and network security * Fault-tolerance and reliability * Hardware and software co-design * Soft computing - Neural network, Fuzzy logic, Genetic algorithms * Knowledge Management, Data Mining and Intelligent Agents * Bioinformatics and Computational Biology * Signal & Image Processing * Parallel and Distributed Systems * Network and Cluster-Based Computing * Embedded and Real time Systems * Databases, Data Warehousing and Information Systems * Impact of information and communication technologies on Education and Society IMPORTANT DATES ------------------- May 30, 2003: Conference Paper Due May 30, 2003: Tutorial Proposal Due July 30, 2003: Notification of Acceptance/Rejection August 30, 2003: Camera-Ready Paper Due SUBMISSION DETAILS ------------------------------ To submit an original research paper, send your complete manuscript in pdf or postscript format to one of the program chairs by email, as an attached file. In case it is impossible, you may send four copies of your work printed on A4 (29.5x21 cm) paper. Fax submissions will not be considered. The manuscript should be in double-spaced format using 12 point size type and must not exceed 20 pages including figures and tables. Please note that the final version will be in two-column IEEE style, strictly restricted to 6 pages. For short papers the length will be restricted to 4 pages. The submission procedure for full and short papers is the same. The program committee will decide the category after consulting the review reports. In the submission mail or in the enclosed letter (in case of hard copy submission), the author should furnish the following information: Title of the manuscript, author(s) name(s) and affiliation(s), clearly specifying the contacting author, all authors' postal and email addresses, phone and fax numbers, the abstract of the paper and 5 to 7 keywords. The review will be blind. You must not mention your name or affiliation in the main manuscript. The main manuscript will start with the title of the paper and an abstract of 100-150 words. PROGRAM CHAIRS: -------------- Goutam Chakraborty Dept. of Software & Information Science Iwate Prefectural University, JAPAN 020-0193 Email: goutam [at] soft [dot] iwate-pu.ac.jp Tel: +81-19-694-2584 Fax: +81-19-694-2691 Sudeshna Sarkar Department of Computer Science & Engineering Indian Institute of Technology Kharagpur-721 302, India email: cit2003 [at] cse [dot] iitkgp.ernet.in Tel: +91-3222-283494 Fax: +91-3222-278985 ==CALL FOR TUTORIAL PROPOSALS ==================== Proposals are solicited for tutorials to be held at the meeting. Interested individuals should submit a proposal by May 30, 2003 to one of the Tutorial Chairs. The proposal should include a brief description of the intended audience, a lecture outline, and a vita for each lecturer. Tutorial Chairs --------------- Dr. Sushmita Mitra, ISI, Kolkata Email : sushmita [at] isical [dot] ac.in Prof. Nihar Mahapatra, University of Buffalo, SUNY Email : mahapatr [at] cse [dot] buffalo.edu ABOUT BHUBANESWAR -------------- Bhubaneswar, the venue of the conference is a beautiful city. For some information on the city, look at http://www.odissi.com/orissa/places/bbsr.htm. CIT 2003 SECRETARIAT ---------------------- Silicon Institute of Technology Silicon Hills, Patia, Bhubaneswar-751013, INDIA Ph: 91-674-2320448/ 2320449 Fax: 91-674-2320312 ________________________________________________________________________ Missed your favourite TV serial last night? Try the new, Yahoo! TV. visit http://in.tv.yahoo.com To unsubscribe from this group, send an email to: cit_circulate-unsubscribe [at] yahoogroups [dot] com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/ ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 8 19:36:21 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h291aKn11548 for reliable_computing-outgoing; Sat, 8 Mar 2003 19:36:20 -0600 (CST) Received: from pheriche.sun.com (pheriche.sun.com [192.18.98.34]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h291aFv11544 for ; Sat, 8 Mar 2003 19:36:15 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.1.39]) by pheriche.sun.com (8.9.3+Sun/8.9.3) with ESMTP id SAA24522; Sat, 8 Mar 2003 18:36:11 -0700 (MST) Received: from sun.com (vpn-129-150-17-158.SFBay.Sun.COM [129.150.17.158]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id RAA09321; Sat, 8 Mar 2003 17:36:10 -0800 (PST) Message-ID: <3E6A98BA.64DF45E8 [at] sun [dot] com> Date: Sat, 08 Mar 2003 17:28:26 -0800 From: Bill Walster X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en,ru MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] louisiana.edu" , "interval [at] cs [dot] utep.edu" Subject: Might we build on this? Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk http://www.supercomputingonline.com/nl.php?sid=3215 Cheers to all, Bill From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 8 19:37:57 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h291buU11597 for reliable_computing-outgoing; Sat, 8 Mar 2003 19:37:56 -0600 (CST) Received: from patan.sun.com (patan.Sun.COM [192.18.98.43]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h291bpv11593 for ; Sat, 8 Mar 2003 19:37:51 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.28.21]) by patan.sun.com (8.9.3+Sun/8.9.3) with ESMTP id SAA15292; Sat, 8 Mar 2003 18:37:48 -0700 (MST) Received: from sun.com (vpn-129-150-17-158.SFBay.Sun.COM [129.150.17.158]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id RAA09350; Sat, 8 Mar 2003 17:37:47 -0800 (PST) Message-ID: <3E6A991B.2B8A3C2D [at] sun [dot] com> Date: Sat, 08 Mar 2003 17:30:03 -0800 From: Bill Walster X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en,ru MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] louisiana.edu" , "interval [at] cs [dot] utep.edu" Subject: Re: Might we build on this? P.S. References: <3E6A98BA.64DF45E8 [at] sun [dot] com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Thanks to John Gustafson for bringing this to my attention. From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 8 19:40:53 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h291eqF11726 for reliable_computing-outgoing; Sat, 8 Mar 2003 19:40:52 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h291elv11722 for ; Sat, 8 Mar 2003 19:40:47 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h291efv08549; Sat, 8 Mar 2003 18:40:41 -0700 (MST) Message-Id: <200303090140.h291efv08549 [at] cs [dot] utep.edu> Date: Sat, 8 Mar 2003 18:40:39 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich To: bill.walster [at] sun [dot] com, reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: IbKHBQlCChz+R32OJaIrcg== 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 Bill, Thanks for the link. Arbold Neumaier has a paper on the use of intervals in protein folding, it can be accessed from his website. I think he is therefore the best person to tell us how we can capitalize on this new development. Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Mar 9 12:40:09 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h29Ie8813032 for reliable_computing-outgoing; Sun, 9 Mar 2003 12:40:09 -0600 (CST) Received: from mailbox.univie.ac.at (mailbox.univie.ac.at [131.130.1.27]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h29Ie3v13028 for ; Sun, 9 Mar 2003 12:40:03 -0600 (CST) Received: from univie.ac.at (edoras.mat.univie.ac.at [131.130.16.104]) by mailbox.univie.ac.at (8.12.2/8.12.2) with ESMTP id h29IdhTe196422; Sun, 9 Mar 2003 19:39:49 +0100 Message-ID: <3E6B8A70.D0B3EEF8 [at] univie [dot] ac.at> Date: Sun, 09 Mar 2003 19:39:44 +0100 From: Arnold Neumaier Organization: University of Vienna X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.18-18.7.x i686) X-Accept-Language: en, de MIME-Version: 1.0 To: Vladik Kreinovich , interval Subject: intervals in protein folding References: <200303090140.h291efv08549 [at] cs [dot] utep.edu> Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 7bit X-DCC-ZID-Univie-mailbox-Metrics: mailbox 4251; Body=3 Fuz1=3 Fuz2=3 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Vladik Kreinovich wrote: > > Dear Bill, Thanks for the link. Arbold Neumaier has a paper on the use of > intervals in protein folding, it can be accessed from his website. For a background survey, see http://www.mat.univie.ac.at/~neum/papers.html#protein For my list of protein sites (from approx. 1998; i had no time to update it) see http://www.mat.univie.ac.at/~neum/protein.html > I think he is therefore the best person to tell us how we can capitalize on > this new development. The report says they are 15th in rank, which means, far from the top. Moreover, interval methods alone are too slow in the dimensions (500+ variables) needed for realistic protein folding. Global optimization programs combining all available techniques for global search _might_ be useful; but the potentials to be optimized are not accurately known, which means that there is little point in complete search, and heuristics will probably do enough and can be much better taylored to the problem. So, while I think it is interesting to try to use interval methods in this context, winning the game involves mostly other considerations. Arnold Neumaier From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Mar 9 19:38:45 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2A1ci813304 for reliable_computing-outgoing; Sun, 9 Mar 2003 19:38:44 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2A1cdv13300 for ; Sun, 9 Mar 2003 19:38:39 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h2A1cXF14825; Sun, 9 Mar 2003 18:38:33 -0700 (MST) Message-Id: <200303100138.h2A1cXF14825 [at] cs [dot] utep.edu> Date: Sun, 9 Mar 2003 18:38:32 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: interval position in El Paso: temporary(?) problems To: reliable_computing [at] interval [dot] louisiana.edu Cc: vladik [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: MhULgtfmcnlCeeFg42gQ6A== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, A few months ago, our department advertised an interval-based position at the Department of Computer Science in our university. At that time, we had two replacement positions, at least one position promised, and a strong support from the administration. We got quite a few good applicants, and I was very optimistic. Alas, the situation has drastically changed. Based on inquiries of several applicants, it looks like our university is not always informing the applicants on time on what is going on. Let me therefore try to clarify the situation. In short, the State of Texas has a budget deficit (due to economic slowdown), and since (unlike independent states) we cannot just print more money, we have to cut on expenses. In the beginning of this year, first came an unexpectedly harsh 7% cut in state funding for this 2002/03 school year, followed by an expected 12.5% cut next year. There is an overall hiring freeze. Our Department is still in a privileged position, in the sense that we are still allowed to interview and in principle, we may be able to hire new faculty, but the previous promise of 3 positions may shrink to 1 or even 0 :-( Although interviewing is still allowed, we can no longer use state money for travel and for interviews without a special permission from the very high. These permissions are coming very slowly - at the speed with which money is found. There is still hope, and the administration is still considering this a priority, but as of now, we have not hired anyone for any of CS positions. I apologize for the situation. Vladik P.S. Good news is that the Board of Regents plans to fight for less micromanagement over the universities, so that we will be able to decide ourselves how exactly we want to spend state-allocated money, instead of (as it is now) the state legislature telling us what to freeze and what not to freeze. If this happens, then there is a good chance that we will start seriouly hiring again. I have just attended a conference and talked with folks from other states of the USA. Most of the states face financial difficulties, but those in which universities are more independent (like California) are still hiring in important areas while cutting on less important programs (which usually means Computer Science is still hiring), while those who (like Texas) are micromanaged face over-the-board cuts and overall hirizng freezes. From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 10 06:58:21 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2ACwKv14108 for reliable_computing-outgoing; Mon, 10 Mar 2003 06:58:20 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2ACwFa14103 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 10 Mar 2003 06:58:16 -0600 (CST) Received: from lcyoung.math.wisc.edu (lcyoung.math.wisc.edu [144.92.166.90]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h27LoKv09856 for ; Fri, 7 Mar 2003 15:50:20 -0600 (CST) Received: from ultra7.math.wisc.edu (ultra7.math.wisc.edu [144.92.166.188]) by lcyoung.math.wisc.edu (8.11.6/8.11.6) with ESMTP id h27LmRA02388; Fri, 7 Mar 2003 15:48:27 -0600 (CST) Date: Fri, 7 Mar 2003 15:48:27 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, SIAGLA-DIGEST , wim@bell-labs.com, 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-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans ********************************************************************* Hans Schneider Office: Home: Mathematics Department 910 S. Midvale Blvd. Van Vleck Hall Madison, WI 53711 USA University of Wisconsin 608-271-7252 480 Lincoln Drive Madison, WI 53706-1313 USA Email: hans [at] math [dot] wisc.edu Office Phone: 608-262-1402 WWW: http://www.math.wisc.edu/~hans Math Dept Phone: 608-263-3054 Math Dept Fax: 608-263-8891 ********************************************************************* * Linear Algebra and its Applications Volume 364, Pages 1-326 (1 May 2003) http://www.sciencedirect.com/science/issue/5653-2003-996359999-400015 TABLE OF CONTENTS Classifying quadratic maps from plane to plane, Pages 1-12 R. Duran Diaz, J. Munoz Masque and A. Peinado Dominguez Characterizations and lower bounds for the spread of a normal matrix, Pages 13-31 Jorma Kaarlo Merikoski and Ravinder Kumar Quadrature formulas for matrix measures--a geometric approach, Pages 33-64 Holger Dette and William J. Studden Generalizations of the Ostrowski-Brauer theorem, Pages 65-80 L. Yu. Kolotilina Eigenvalues of matrices with several prescribed blocks, II, Pages 81-89 Gloria Cravo and Fernando C. Silva Minimal-volume projections of cubes and totally unimodular matrices, Pages 91-103 M. I. Ostrovskii Positivity of principal minors, sign symmetry and stability, Pages 105-124 Daniel Hershkowitz and Nathan Keller Affine automorphisms that are isometries, Pages 125-134 Zbigniew Jelonek The characterization of symmetric primitive matrices with exponent n-1, Pages 135-145 Jun-Liang Cai and Bo-Ying Wang The solvability conditions for the inverse eigenvalue problems of centro-symmetric matrices, Pages 147-160 Fu-Zhao Zhou, Xi-Yan Hu and Lei Zhang Optimal low-rank approximation to a correlation matrix, Pages 161-187 Zhenyue Zhang and Lixin Wu Stability of eigenvalues and spectral decompositions under linear perturbation, Pages 189-211 R. Alam and S. Bora Condition for the numerical range to contain an elliptic disc, Pages 213-222 Hwa-Long Gau and Pei Yuan Wu Permanents of woven matrices, Pages 223-233 Gi-Sang Cheon, Suk-Geun Hwang, Bryan L. Shader and Seok-Zun Song Computing matrix-vector products with centrosymmetric and centrohermitian matrices, Pages 235-241 Heike Fassbender and Khakim D. Ikramov On the number of arcs in primitive digraphs with large exponents, Pages 243-251 Jian Shen and Cynthia J. Wyels More on modifications and improvements of classical iterative schemes for M-matrices, Pages 253-279 A. Hadjidimos, D. Noutsos and M. Tzoumas Looking for nonnegative solutions of a Leontief dynamic model, Pages 281-316 Manuela S. Silva and Teresa P. de Lima Spectrum and commutativity preserving mappings on H2, Pages 317-319 Tatjana Petek and Humberto Sarria On the Craig-Sakamoto theorem and Olkin's determinantal result, Pages 321-323 Masaya Matsuura Author index, Pages 325-326 Lists of editors, Pages ii-iii From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 11 14:28:32 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2BKSWW15775 for reliable_computing-outgoing; Tue, 11 Mar 2003 14:28:32 -0600 (CST) Received: from ccsmta1.resource.rmcs.cranfield.ac.uk (ccsmta1.resource.rmcs.cranfield.ac.uk [193.63.243.9]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2BKSPv15771 for ; Tue, 11 Mar 2003 14:28:26 -0600 (CST) Message-ID: <55360F67A4EAD611B38F00B0D0D1AC6B242695 [at] UXSTAFF [dot] resource.rmcs.cranfield.ac.uk> From: Ashokaraj Mr IA To: reliable_computing [at] interval [dot] louisiana.edu Subject: "Interval analysis and statistics" - any papers online? Date: Tue, 11 Mar 2003 20:27:20 -0000 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Sirs, I just want to know is their any material available online regarding "interval analysis in statistics"! Moreover can any one please tell me where i can get more material regarding two presentations (or papers?) that were given at APIC'95 APPLICATIONS OF INTERVAL COMPUTATIONS International Workshop February 23-25, 1995. El Paso, Texas. The two presenations (or papers?) are (1) G. William WALSTER (Sun Microsystems) Connections between statistics, interval analysis and global optimization. (2) Sandeep GULATI (Jet Propulsion Laboratory) Appications of interval computation to sensor fusion for subsurface target detection. Hope to hear about this soon! Regards, Immanuel. From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 11 22:46:33 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2C4kWD16259 for reliable_computing-outgoing; Tue, 11 Mar 2003 22:46:32 -0600 (CST) Received: from life2.bio.sunysb.edu (life2.bio.sunysb.edu [129.49.19.43]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2C4kQv16255 for ; Tue, 11 Mar 2003 22:46:26 -0600 (CST) Received: (from jhajagos@localhost) by life2.bio.sunysb.edu (8.9.3/8.9.3) id XAA21061; Tue, 11 Mar 2003 23:42:56 -0500 (EST) Date: Tue, 11 Mar 2003 23:42:56 -0500 From: "Janos G. Hajagos" To: reliable_computing [at] interval [dot] louisiana.edu Cc: I.A.Ashokaraj [at] rmcs [dot] cranfield.ac.uk Subject: Re: "Interval analysis and statistics" - any papers online? Message-ID: <20030312044256.GD15900 [at] life [dot] bio.sunysb.edu> References: <55360F67A4EAD611B38F00B0D0D1AC6B242695 [at] UXSTAFF [dot] resource.rmcs.cranfield.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <55360F67A4EAD611B38F00B0D0D1AC6B242695 [at] UXSTAFF [dot] resource.rmcs.cranfield.ac.uk> User-Agent: Mutt/1.4i Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Vladik Kreinovich has written a paper which might be of interest to you, titled: EXACT BOUNDS ON SAMPLE VARIANCE OF INTERVAL DATA found on: http://www.cs.utep.edu/vladik/2002/list02.html On the interval faq there is question on interval statistics http://www.mscs.mu.edu/~georgec/IFAQ/nivlet1.html -Janos On Tue, Mar 11, 2003 at 08:27:20PM -0000, Ashokaraj Mr IA wrote: > Sirs, > I just want to know is their any material available online > regarding "interval analysis in statistics"! -- Homepage: From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 18 16:42:38 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2IMgaN24209 for reliable_computing-outgoing; Tue, 18 Mar 2003 16:42:36 -0600 (CST) Received: from nwkea-mail-1.sun.com (nwkea-mail-1.sun.com [192.18.42.13]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2IMgTv24205 for ; Tue, 18 Mar 2003 16:42:30 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.8.30]) by nwkea-mail-1.sun.com (8.9.3+Sun/8.9.3) with ESMTP id OAA03475; Tue, 18 Mar 2003 14:42:00 -0800 (PST) Received: from sun.com (sml-mtv29-dhcp-33-163 [152.70.33.163]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id OAA25028; Tue, 18 Mar 2003 14:41:58 -0800 (PST) Message-ID: <3E779EDC.8C3D6562 [at] sun [dot] com> Date: Tue, 18 Mar 2003 14:34:04 -0800 From: Bill Walster X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en,ru MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] louisiana.edu" , "interval [at] cs [dot] utep.edu" Subject: [Interval SIG & HPC Consortium // call for papers] Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Intervalers: An Interval SIG will be held with the next HPC Consortium in Heidelberg, Germany June 22nd and 23rd 2003. http://www.sun-registration.com/hpc If you are interested in presenting a paper at the SIG to interval folks, or to the broader HPC Consortium, please send a proposed title and abstract. Mark Tremblay is a key note speaker both at our consortium and at the ISC2003, the conference where the summer TOP500 list will be published. http://www.isc2003.org/ !!HPC Consortium participants receive 20% discount at ISC'2003!! Early registration has benefits: - early registration discount for the HPC Consortium - enough time to apply for travel approval (NSF requires even more lead time than Sun!) - enough time to submit a paper Best regards, Bill From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Mar 27 12:54:54 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2RIssc04446 for reliable_computing-outgoing; Thu, 27 Mar 2003 12:54:54 -0600 (CST) Received: from mail.comset.net (mail.comset.net [213.172.0.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2RIslv04442 for ; Thu, 27 Mar 2003 12:54:48 -0600 (CST) Received: from 8-117.dialup.comset.net ([213.172.8.117] helo=e0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 18ycZv-0000ST-00 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 27 Mar 2003 21:58:19 +0300 Message-ID: <005001c2f491$d15159c0$7508acd5 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: Reliable Computing, Issue 3, Vol.9, 2003 Date: Thu, 27 Mar 2003 21:25:25 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_001F_01C2F4A7.61EAF8A0" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2615.200 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_001F_01C2F4A7.61EAF8A0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable Reliable Computing Volume 9, issue 3, 2003 Mathematical Research Higher Order Convergence for Multidimensional Functions with a New Taylor-Bernstein Form as Inclusion Function Paluri S. V. Nataraj, Ketan Kotecha 185-203 Diagrammatic Analysis of Interval Linear Equations. Part II: The Two-Dimensional Case and Generalization to n Dimensions Zenon Kulpa 205-228 Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations Takeshi Ogita, Shin'ichi Oishi, Yasunori Ushiro 229-239 Letter to the editor Finding All Solution Sets of Piecewise-Trapezoidal Equations Described by Set-Valued Functions Kiyotaka Yamamura 241-250 ------=_NextPart_000_001F_01C2F4A7.61EAF8A0 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable
          &nbs= p;  =20 Reliable=20 Computing
          =  =20 Volume 9, issue 3, 2003
 
          &nbs= p; =20 Mathematical Research
 
Higher Order Convergence for = Multidimensional=20 Functions  with a New
Taylor-Bernstein Form as Inclusion=20 Function
Paluri S. V. Nataraj, Ketan Kotecha
185-203
 
Diagrammatic Analysis of Interval = Linear=20 Equations.
Part II: The Two-Dimensional Case and Generalization to n=20 Dimensions
Zenon Kulpa
205-228
 
Computation of Sharp Rigorous = Componentwise=20 Error Bounds
for the Approximate Solutions of Systems of Linear=20 Equations
Takeshi Ogita, Shin'ichi Oishi, Yasunori=20 Ushiro
229-239
 
          &nbs= p;      =20 Letter to the editor
 
Finding All Solution Sets of=20 Piecewise-Trapezoidal  Equations Described
by Set-Valued=20 Functions
Kiyotaka Yamamura
241-250
------=_NextPart_000_001F_01C2F4A7.61EAF8A0-- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Mar 28 15:25:03 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2SLP2W00691 for reliable_computing-outgoing; Fri, 28 Mar 2003 15:25:02 -0600 (CST) Received: from sunshine.math.utah.edu (IDENT:jcslOfjfgMhoVZAbwKS5bBLHhZYSeLc9 [at] sunshine [dot] math.utah.edu [128.110.198.2]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2SLOuH00687 for ; Fri, 28 Mar 2003 15:24:56 -0600 (CST) Received: from suncore.math.utah.edu (IDENT:Tu5b3YBtP6vttW9DO9nvWlNAR1SeJnDy [at] suncore [dot] math.utah.edu [128.110.198.5]) by sunshine.math.utah.edu (8.9.3/8.9.3) with ESMTP id OAA07072; Fri, 28 Mar 2003 14:24:51 -0700 (MST) Received: (from beebe@localhost) by suncore.math.utah.edu (8.9.3/8.9.3) id OAA10863; Fri, 28 Mar 2003 14:24:51 -0700 (MST) Date: Fri, 28 Mar 2003 14:24:51 -0700 (MST) From: "Nelson H. F. Beebe" To: "RC mailing list" Cc: beebe [at] math [dot] utah.edu X-US-Mail: "Center for Scientific Computing, Department of Mathematics, 110 LCB, University of Utah, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA" X-Telephone: +1 801 581 5254 X-FAX: +1 801 585 1640, +1 801 581 4148 X-URL: http://www.math.utah.edu/~beebe Subject: New paper on accurate summation Message-ID: Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk The new paper listed below arrived in a new journal issue yesterday, and appears to be a significant advance in the problem of accurate floating-point summation, exploiting the floating-point multiply/add instruction (or its library emulation, such as C99's fma() function), plus double-compensated summation (Priest 1992). @String{j-TOMS = "ACM Transactions on Mathematical Software"} @Article{Nievergelt:2003:SFM, author = "Yves Nievergelt", title = "Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit", journal = j-TOMS, volume = "29", number = "1", pages = "27--48", month = mar, year = "2003", CODEN = "ACMSCU", ISSN = "0098-3500", bibdate = "Fri Mar 28 08:17:55 MST 2003", bibsource = "http://www.acm.org/pubs/contents/journals/toms/", URL = "http://doi.acm.org/10.1145/641876.641878", abstract = "Combined with doubly compensated summation, scalar fused multiply-add instructions redefine the concept of floating-point arithmetic, because they allow for the computation of sums of real or complex matrix products accurate to the penultimate digit. Particular cases include complex arithmetic, dot products, cross products, residuals of linear systems, determinants of small matrices, discriminants of quadratic, cubic, or quartic equations, and polynomials.", acknowledgement = ack-nhfb, keywords = "algorithms; design; languages; standardization; theory; doubly compensated summation; floating-point arithmetic; fused multiply-add instruction; matrix arithmetic; provable accuracy; rounding error", } ------------------------------------------------------------------------------- - Nelson H. F. Beebe Tel: +1 801 581 5254 - - Center for Scientific Computing FAX: +1 801 581 4148 - - University of Utah Internet e-mail: beebe [at] math [dot] utah.edu - - Department of Mathematics, 110 LCB beebe [at] acm [dot] org beebe [at] computer [dot] org - - 155 S 1400 E RM 233 beebe [at] ieee [dot] org - - Salt Lake City, UT 84112-0090, USA URL: http://www.math.utah.edu/~beebe - ------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Mar 28 16:28:26 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2SMSPs00836 for reliable_computing-outgoing; Fri, 28 Mar 2003 16:28:25 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2SMSLH00832 for ; Fri, 28 Mar 2003 16:28:21 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h2SMSDF20260; Fri, 28 Mar 2003 15:28:13 -0700 (MST) Message-Id: <200303282228.h2SMSDF20260 [at] cs [dot] utep.edu> Date: Fri, 28 Mar 2003 15:28:12 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: New paper on accurate summation To: reliable_computing [at] interval [dot] louisiana.edu, beebe [at] math [dot] utah.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: /gmC0Gl0Ne6LpIehbJPZWQ== 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 want to thank Nelson for this really exciting and interesting paper. From the interval computations viewpoint, it opens a new venue of research on how to implement support and design interval (validated) algorithms. Some of you may remember a talk on this fused operation at SCAN'2000 that caused quite some interest. There is still a lot to be done to contect it to intervals. Vladik P.S. It is worth mentioning that the fused operation is not just empricial-based addition that happends to improve computations; it has theoretical justification, see, e.g., V. Kreinovich, "Itanium's New Basic Operation of Fused Multiply-Add: Theoretical Explanation and Theoretical Challenge", ACM SIGACT News, 2001, Vol. 32, No. 1 (118), pp. 115-117. The penultimate soft version is accessible from http://www.cs.utep.edu/vladik/2000/tr00-42.ps.gz or http://www.cs.utep.edu/vladik/2000/tr00-42.pdf > Date: Fri, 28 Mar 2003 14:24:51 -0700 (MST) > From: "Nelson H. F. Beebe" > To: "RC mailing list" > Cc: beebe [at] math [dot] utah.edu > X-US-Mail: "Center for Scientific Computing, Department of Mathematics, 110 LCB, University of Utah, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA" > X-Telephone: +1 801 581 5254 > X-FAX: +1 801 585 1640, +1 801 581 4148 > X-URL: http://www.math.utah.edu/~beebe > Subject: New paper on accurate summation > > The new paper listed below arrived in a new journal issue yesterday, > and appears to be a significant advance in the problem of accurate > floating-point summation, exploiting the floating-point multiply/add > instruction (or its library emulation, such as C99's fma() function), > plus double-compensated summation (Priest 1992). > > @String{j-TOMS = "ACM Transactions on Mathematical Software"} > > @Article{Nievergelt:2003:SFM, > author = "Yves Nievergelt", > title = "Scalar fused multiply-add instructions produce > floating-point matrix arithmetic provably accurate to > the penultimate digit", > journal = j-TOMS, > volume = "29", > number = "1", > pages = "27--48", > month = mar, > year = "2003", > CODEN = "ACMSCU", > ISSN = "0098-3500", > bibdate = "Fri Mar 28 08:17:55 MST 2003", > bibsource = "http://www.acm.org/pubs/contents/journals/toms/", > URL = "http://doi.acm.org/10.1145/641876.641878", > abstract = "Combined with doubly compensated summation, scalar > fused multiply-add instructions redefine the concept of > floating-point arithmetic, because they allow for the > computation of sums of real or complex matrix products > accurate to the penultimate digit. Particular cases > include complex arithmetic, dot products, cross > products, residuals of linear systems, determinants of > small matrices, discriminants of quadratic, cubic, or > quartic equations, and polynomials.", > acknowledgement = ack-nhfb, > keywords = "algorithms; design; languages; standardization; > theory; doubly compensated summation; floating-point > arithmetic; fused multiply-add instruction; matrix > arithmetic; provable accuracy; rounding error", > } > > ------------------------------------------------------------------------------- > - Nelson H. F. Beebe Tel: +1 801 581 5254 - > - Center for Scientific Computing FAX: +1 801 581 4148 - > - University of Utah Internet e-mail: beebe [at] math [dot] utah.edu - > - Department of Mathematics, 110 LCB beebe [at] acm [dot] org beebe [at] computer [dot] org - > - 155 S 1400 E RM 233 beebe [at] ieee [dot] org - > - Salt Lake City, UT 84112-0090, USA URL: http://www.math.utah.edu/~beebe - > ------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Mar 30 07:47:47 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2UDlld03148 for reliable_computing-outgoing; Sun, 30 Mar 2003 07:47:47 -0600 (CST) Received: from mail1.wi.rr.com (fe1.rdc-kc.rr.com [24.94.163.48]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2UDlfH03144 for ; Sun, 30 Mar 2003 07:47:42 -0600 (CST) Received: from taylor ([24.167.228.187]) by mail1.wi.rr.com with Microsoft SMTPSVC(5.5.1877.757.75); Sat, 29 Mar 2003 20:17:02 -0600 Reply-To: From: "Dr. George Corliss" To: Cc: "George Corliss" Subject: Session on Interval Computations at ACA'2003 Date: Sat, 29 Mar 2003 20:16:54 -0600 Message-ID: <007101c2f662$6f0b88d0$6501a8c0@taylor> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4510 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Importance: Normal Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Interval colleagues, Ned Nedialkov and I are organizing a Special Session on Interval Computations at the Applications of Computer Algebra Conference (ACA'2003) that will be held in Raleigh, NC, USA from July 28 to July 31, 2003. We have invited several speakers. We are inviting submissions for a few remaining speakers. More information about the meeting can be found at http://math.unm.edu/ACA/2003/2003.html Ned and I must have our list of speakers in on May 1, so I need submissions of title and abstract by April 28. We will let you know by May 1 whether you are accepted for our special session. In your preparations, please keep in mind that this is primarily a Computer Algebra conference. We want to help the CA folks understand intervals and foster further collaborations. You are responsible for all of your expenses for the meeting including registration fee, travel, lodging and food. The organizers of ACA'2003 say that, pending the funding of grants, some funds will be available to assist attendees. Information about this funding will be posted on the meeting web page. Young researchers and students will be given priority for these funds as will requests for modest partial support. Dr. George F. Corliss Electrical and Computer Engineering Haggerty Engineering 296 Marquette University P.O. Box 1881 Milwaukee, WI 53201-1881 USA George.Corliss [at] Marquette [dot] edu Office: 414-288-6599; Dept: 288-6820; Fax: 288-5579 From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 31 05:26:12 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2VBQC204263 for reliable_computing-outgoing; Mon, 31 Mar 2003 05:26:12 -0600 (CST) Received: from mion.elka.pw.edu.pl (root [at] mion [dot] elka.pw.edu.pl [194.29.160.35]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2VBQ4H04259 for ; Mon, 31 Mar 2003 05:26:04 -0600 (CST) Received: from mion.elka.pw.edu.pl ([194.29.160.35]:36137 "EHLO mion.elka.pw.edu.pl") by mion.elka.pw.edu.pl with ESMTP id convert rfc822-to-8bit; Mon, 31 Mar 2003 13:25:41 +0200 Date: Mon, 31 Mar 2003 13:25:26 +0200 (MET DST) From: Bartlomiej Jacek KUBICA To: , Subject: FYI : SYNASC'03 - first call for papers (fwd) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-2 Content-Transfer-Encoding: 8BIT X-Virus-Scanned: by AMaViS perl-11 mion Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hello, I send you the information about a conference in Romania. The relaible approximations are mentioned in the topics. Last year there was one paper about interval computations on the SYNASC conference. Best regards Bartlomiej Kubica ---------- Forwarded message ---------- Date: Sat, 29 Mar 2003 13:57:47 +0200 (EET) From: SYNASC 2003 To: alina.andreica [at] euro [dot] ubbcluj.ro, anane [at] caramail [dot] com, octavian_cira [at] hotmail [dot] com, tradu [at] math [dot] ubbcluj.ro, acraciun [at] risc [dot] uni-linz.ac.at, f1astra@acad-tim.utt.ro, sofonea@acad-tim.utt.ro, croitoru [at] infoiasi [dot] ro, hluchian [at] infoiasi [dot] ro, ogh [at] infoiasi [dot] ro, adrianaa [at] infoiasi [dot] ro, mircea.dragan [at] lscch [dot] at, ddumitr [at] cs [dot] ubbcluj.ro, fcaneta [at] personal [dot] ro, plpaula [at] yahoo [dot] com, bkubica [at] elka [dot] pw.edu.pl, dlucanu [at] infoiasi [dot] ro, Florin.Muscutariu [at] lip6 [dot] fr, gina [at] cs [dot] ubbcluj.ro, shpynev [at] iszf [dot] irk.ru, vpatrascu [at] tarom [dot] ro, markus.rosenkranz [at] risc [dot] uni-linz.ac.at, rozen [at] imm [dot] uran.ru, scheiber [at] unitbv [dot] ro, gabis [at] cs [dot] ubbcluj.ro, radus [at] sunu [dot] rnc.ro, laura [at] cs [dot] ubbcluj.ro Subject: SYNASC'03 - first call for papers Please accept our apologies if you receive multiple copies of this message. If SYNASC2003 is of no interest to you and you do not wish to receive any further e-mail concerning it please inform us at synasc03 [at] info [dot] uvt.ro. =============================== SYNASC 2003 - FIRST CALL FOR PAPERS 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania October 1 - 4, 2003 http://synasc03.info.uvt.ro ------------------------------------------------------------------------------------------ Organized by: Department. of Computer Science West University of Timisoara, Romania http://www.math.uvt.ro Research Institute for Symbolic Computation Johannes Kepler University, Linz, Austria http://www.risc.uni-linz.ac.at Research Institute e-Austria Timisoara, Romania http://www.ieat.ro ------------------------------------------------------------------------------------------ Aim: The workshop will be an interaction forum between the two scientific communities of symbolic and numeric computing, with the purpose of exhibiting interesting applications of these areas both in theory and in practice. ------------------------------------------------------------------------------------------ Topics for submissions to SYNASC 2003: - solving systems of nonlinear equations; - symbolic techniques applied to numerics; - applications of automated reasoning; - artificial intelligence in numeric solving; - multi-agent systems for complex problem solving; - parallel computation for symbolics and numerics; - programming with constraints, narrowing; - reliable approximative computation with reals; - numerics and symbolics for geometry; - scientific visualization; - formal system verification. but this list is not intended to be exhaustive. We also welcome system descriptions related to these areas. The choice of this topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary in order to make significant progress in making the computer a truly intelligent aid for mathematicians and engineers. The official language of the workshop is English. ------------------------------------------------------------------------------------------ Publication: The submissions will be accepted according to their quality and relevance to the conference topics. The proceedings (with ISBN) will be available at the workshop. The papers must be written in English. Following the workshop, authors are encouraged to prepare an improved final version of their papers which will be published in the journal "Annals of the University of Timisoara, Mathematics and Computer Science series", ISSN 1224-970X (reviewed in Mathematical Reviews and Zentralblatt für Mathematik). The journal is distributed, through librarian exchange, to more than 200 academic libraries all over the world. http://www.math.uvt.ro/anmath ------------------------------------------------------------------------------------------ Chairs: Bruno Buchberger, Johannes Kepler University, Linz Stefan Maruster, West University of Timisoara Programmme Chairs: Tudor Jebelean, Johannes Kepler University, Linz Viorel Negru, West University of Timisoara Local Chairs: Dana Petcu, West University of Timisoara Daniela Zaharie, West University of Timisoara ------------------------------------------------------------------------------------------ Programme Committee Stefano Cerri, France Gheorghe Coman, Romania Vladimir Cretu, Romania Christo Dichev, Bulgaria Adina Florea, Romania Laureano Gonzales-Vega, Spain Vladimir Gorodetsky, Russia Stefan Holban, Romania Tetsuo Ida, Japan Boris Konev, Russia Mircea Marin, Japan Marius Minea, Romania Petru Pau, Austria Bazil Parv, Romania Eugene Roventa, Canada Luminita State, Romania Marie-Claude Thomas, France Ioan Tomescu, Romania Brigitte Trousse, France Dan Tufis, Romania Ferucio Laurentiu Tiplea, Romania Lucia Vaina, USA ----------------------------------------------------------------------------- Organizing Committee Alexandru Cicortas Lucian Cucu Mircea Dragan Diana Dubu Florin Fortis Cornel Izbasa Ciprian Jichici Laura Kovacs Silviu Nanau Daniel Pop Horia Popa Adriana Popovici ------------------------------------------------------------------------------------------ Submission: Authors are invited to submit papers electronically by e-mail to synasc03 [at] info [dot] uvt.ro. Electronic submissions should be in PostScript or PDF format (printable in a standard UNIX environment). The length of each paper should not exceed 12 pages (text width 12.2cm, text height 19.3 cm, 12 points). Extended abstracts (3 - 4 pages) will be also accepted. The articles must be written in English. Since for publication in proceedings, a LaTeX source of the accepted paper will be required we encourage authors to prepare their papers in LaTeX (download the LaTeX layout). ------------------------------------------------------------------------------------------ Important dates: Submission deadline: June 15, 2003 Acceptance notification: July 31, 2003 Final paper: September 1, 2003 (LaTeX source of final versions will be required) Registration: September 1, 2003 Workshop starts: October 1, 2003 ------------------------------------------------------------------------------------------ Conferences fee: 100 Euro (50 Euro for students) covers proceedings, refreshments during breaks, welcome cocktail and banquet. Participants from Eastern Europe may apply for reduced participation fee: 50 Euro (25 Euro for students). ------------------------------------------------------------------------------------------ Travel arrangements: Bucuresti: various (from Bucharest to Timisoara by plane - 1h or by train - 10 h). Air travel from Vienna to Timisoara: daily 13:45 and back 16:30 (Austrian airlines). Budapest: various (from Budapest to Timisoara by train - 7h or by bus - 5h). ------------------------------------------------------------------------------------------ Venue: The city of Timisoara hosts several prestigious academic institutions (the West University, the "Politehnica" University, the University of Medicine, and others). The city and the surrounding region have an unique history in Romania, being over the centuries an object of dispute for several states (Roman, Hungarian, Ottoman, Austrian), which left their still visible marks, and, above all, a very multicultural society which constitutes a beautiful example of harmony in Romania and in the Balkans (30 Km from Serbia). The openness of mind of its inhabitants is probably one of the reasons for starting the anti-Communist movement in Romania and for being now one of the economically most advanced locations in the country. Online information about Timisoara: http://www.eng.timisoara.ro http://www.timisoara.com http://www.timisoara.ro http://www.ici.ro/romania/servere/serv_tm.shtml ------------------------------------------------------------------------------------------ Social programme: A social programme including visits to the historical city, museum, trip to the Cave of the Bears or to the Dracula castle etc. will be planned in detail depending on the programme and wishes of the participants. ------------------------------------------------------------------------------------------- Address for correspondence SYNASC 2003 West University Dept. of Computer Science Bd. V. Parvan 4, 1900 Timisoara, Romania tel./fax: + (40) 256 194002 e-mail:synasc03 [at] info [dot] uvt.ro ------------------------------------------------------------------------------------------ Additional info: http://www.math.uvt.ro http://synasc03.info.uvt.ro From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 31 09:16:27 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2VFGRn04532 for reliable_computing-outgoing; Mon, 31 Mar 2003 09:16:27 -0600 (CST) Received: from mion.elka.pw.edu.pl (root [at] mion [dot] elka.pw.edu.pl [194.29.160.35]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2VFGIH04528 for ; Mon, 31 Mar 2003 09:16:19 -0600 (CST) Received: from mion.elka.pw.edu.pl ([194.29.160.35]:62294 "EHLO mion.elka.pw.edu.pl") by mion.elka.pw.edu.pl with ESMTP id ; Mon, 31 Mar 2003 17:16:09 +0200 Date: Mon, 31 Mar 2003 17:15:57 +0200 (MET DST) From: Bartlomiej Jacek KUBICA To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by AMaViS perl-11 mion Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Interval Researchers, Do you know anything about applying interval computations to the following subjects: 1) queueing systems 2) multi-criteria analysis Best regards Bartlomiej Kubica From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 31 10:58:23 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2VGwMB04736 for reliable_computing-outgoing; Mon, 31 Mar 2003 10:58:22 -0600 (CST) Received: from zeus.ruca.ua.ac.be (root [at] zeus [dot] ruca.ua.ac.be [143.129.201.210]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2VGwHH04732 for ; Mon, 31 Mar 2003 10:58:18 -0600 (CST) Received: from schickard.ruca.ua.ac.be (schickard.ruca.ua.ac.be [143.129.75.149]) by zeus.ruca.ua.ac.be (8.9.3 (PHNE_22672)/8.9.3) with ESMTP id SAA25470; Mon, 31 Mar 2003 18:58:07 +0200 (METDST) Date: Mon, 31 Mar 2003 18:57:51 +0200 (CEST) From: Lenin Bhavanandan X-X-Sender: lenin [at] schickard [dot] ruca.ua.ac.be To: Bartlomiej Jacek KUBICA cc: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: your mail In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Kubica, The following paper discusses a method to find stationary probabilities of Markov chains: I.O. Kozine and L.V. Utkin. Interval-valued finite Markov chains. Reliable Computing, 8(2002), 97-113. Kind regards, Lenin. On Mon, 31 Mar 2003, Bartlomiej Jacek KUBICA wrote: > > Dear Interval Researchers, > > Do you know anything about applying interval computations to the following > subjects: > > 1) queueing systems > 2) multi-criteria analysis > > Best regards > Bartlomiej Kubica > > From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 31 15:38:33 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h2VLcX904936 for reliable_computing-outgoing; Mon, 31 Mar 2003 15:38:33 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h2VLcRH04932 for ; Mon, 31 Mar 2003 15:38:28 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h2VLcNA09758 for ; Mon, 31 Mar 2003 14:38:23 -0700 (MST) Message-Id: <200303312138.h2VLcNA09758 [at] cs [dot] utep.edu> Date: Mon, 31 Mar 2003 14:38:22 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: deadline extended To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: MEBUVISqVVeevUupewQfiw== 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 Date: Tue, 1 Apr 2003 01:24:40 +0400 (MSD) From: "Yuri Matiyasevich" --------------------------------------------------------------------------- International meeting Second St.Petersburg Days of LOGIC and COMPUTABILITY devoted to the centennial of Andrey Andreevich MARKOV (Jr.) August 24-26, 2003 St.Petersburg, Russia Second Announcement MAIN TOPICS This second meeting in the series of St.Petersburg Days of Logic and Computability is devoted to the centennial of an eminent Russian mathematician Andrey Andreevich Markov (Jr.). The main themes of the meeting are those connected with his mathematical interests: Theory of computability Decision problems in mathematics Models of computations Complexity Formal systems Foundations of mathematics Semantics of logical systems Constructive mathematics PROGRAM COMMITTEE Sergei ADIAN (Russia) Sergei ARTEMOV (Russia/USA) Nikolai KOSSOVSKI (Russia) Maurice MARGENSTERN (France) Grigori MINTS (USA) Yuri MATIYASEVICH (Russia), the chairman Nikolai NAGORNY (Russia) Vladimir OREVKOV (Russia) Anatol SLISSENKO (France) Working LANGUAGE: English SUBMISSION of papers: The facilities of Atlas Mathematical Conference Abstracts will be used for this purpose. If you wish to present a paper, please submit an (extended abstract (in standard LaTeX, 10Kb at most) via http://at.yorku.ca/cgi-bin/amca/submit/cajy-01 following instructions on the site. In additon, you can send an extended version of your abstract to the Program Comittee. The deadline for submission was March 15, 2003. However, exceptionally, papers can be submitted at a later date. Notifications (for papers submitted before March 15) are due before April 30. PUBLICATIONS Abstracts of talks will be available on WWW and will be delivered to the participants in printed form. Full texts of selected lectures will be published as a special volume of Annals of Pure and Applied Logic (the proceedings of the First Days were published there as Volume 113). REGISTRATION Please register via http://logic.pdmi.ras.ru/2ndDays/registration Participation FEE: The fee will cover common meals and coffee breaks. The fee equivalent to 120USD can be paid on arrival. Location of the meeting: The "2nd DAYS" will take place at the Euler International Mathematical Institute (which is now a part of St.Petersburg Department of Steklov Institute of Mathematics of the Russian Academy of Sciences). The building of the Euler Institute is located at 10, Pesochnaya embankment, St.Petersburg. ACCOMMODATION This year St.Petersburg celebrates its 300th anniversary. Due to this event, it became more difficult than usual to get (relatively cheap) accomodation. The Organizing Committee made reservation with reduced price in hotel "Moscow" for 7 single rooms (48-56 USD per night) and 4 two-bed rooms (62-69 USD per night) for August 23-27. This hotel is located in the very end of Nevsky Prospekt (the main avenue of the city), near underground station "Ploshchad' Alexandra Nevskogo". In the mornings special minibus will bring participants to the building of Euler Institute. If you are interested in living in hotel "Moscow" during the meeting, please, contact the Organizing Committee as soon as possible. Otherwise you can book an accomodation in some other hotel of St.Petersburg. The hotel nearest to Euler Institute is Palace of Youth. VISAS Please take into account that participants from most countries need a visa to enter Russia. After receiving your registration form the Organizing Committee will start preparation of a formal invitation which you will have to present with your visa application form at a nearby Russian Consulate. It may take a long time before you have your visa, so we strongly recommend that you register at least three months in advance. CONTACTS Website of the meeting : http://logic.pdmi.ras.ru/2ndDays E-mail: LogicDays [at] logic [dot] pdmi.ras.ru FAX: 7 (812) 310 53 77 (Program Committee) 7 (812) 234 58 19 (Organizing Committee) Useful LINKS: The First Days of Logic and Computability: http://logic.pdmi.ras.ru/LogicDays Euler International Mathematical Institute: http://www.pdmi.ras.ru/EIMI St.Petersburg Department of Steklov Institute of Mathematics: http://www.pdmi.ras.ru/ Hotels Guide of St.Petersburg: http://www.cityvision2000.com/hotels_guide/index.htm All hotels in Russia: http://all-hotels.ru/index.en.html More links can be found on the website of the meeting.