From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 3 12:08:27 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hA3I8Rj03038 for reliable_computing-outgoing; Mon, 3 Nov 2003 12:08:27 -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 hA3I8J103034 for ; Mon, 3 Nov 2003 12:08:20 -0600 (CST) Received: from 8-076.dialup.comset.net ([213.172.8.76] helo=e0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 1AGjC5-0001Ar-00 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 03 Nov 2003 21:12:49 +0300 Message-ID: <001101c3a235$674d6e40$4c08acd5 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: WSEAS conferences Date: Mon, 3 Nov 2003 21:07:53 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_000E_01C3A24E.8BDA6380" 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_000E_01C3A24E.8BDA6380 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable > From: "Katerina Tsironi" > To: > Subject: from Katerina Tsironi (WSEAS) > Date: Fri, 31 Oct 2003 23:39:08 +0200 >=20 > WSEAS will reply to you only if you write the word: > WSEAS somewhere in the Subject > of your message, > In case that you forgot it, unfortunately, there is > not any automatic reply or > warning! > -------------------------------------------------------------------------= ---------- >=20 > FORWARD THIS EMAIL TO YOUR MAILING LISTS PLEASE! >=20 > Further to our collaboration within WSEAS > and WSEAS conferences, we would like to > invite you to submit a paper or to organize a > session=20 > in the 8th WSEAS CSCC > Vouliagmeni, Athens, Greece, July 12-15, 2004 > consisting of >=20 > 8th WSEAS Int.Conf. on CIRCUITS > 8th WSEAS Int.Conf. on SYSTEMS > 8th WSEAS Int.Conf. on COMMUNICATIONS > 8th WSEAS Int.Conf. on COMPUTERS > http://www.wseas.org > FORWARD THIS EMAIL TO YOUR MAILING LISTS PLEASE! >=20 > Other joint symposia: > 1th WSEAS Int.Conf. on ELECTROSCIENCE AND TECHNOLOGY > FOR NAVAL ENGINEERING and > ALL-ELECTRIC SHIP=20 > 2nd WSEAS Int.Conf. on MULTIDIMENSIONAL SYSTEMS=20 > (MDS 2004) >=20 > If you want to organize a session, please, reply to > this message. > We grant SPECIAL BENEFITS to Session Organizers > (contact us by email) >=20 > NOTE, PLEASE, THAT ONLY IN WSEAS CONFERENCES=20 > ALL THE ACCEPTED PAPERS ARE PUBLISHED=20 > (a) as PAPERS in the conference proceedings =20 > (b) as REGULAR PAPERS in WSEAS TRANSACTIONS > (Journals) or CHAPTERS in WSEAS Books >=20 >=20 > PLEASE, EMPHASIZE THIS POINT and TELL IT WITH GREAT > EMPHASIS > TO YOUR MAILING LISTS >=20 > http://www.wseas.org=20 >=20 > My Best Regards > Thank you very much. > =20 > Katerina Tsironi. ------=_NextPart_000_000E_01C3A24E.8BDA6380 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable
> From: "Katerina  = Tsironi" <peri [at] wseas [dot] org>
> To: <slavanest [at] yahoo [dot] com>
> = Subject:=20 from Katerina Tsironi (WSEAS)
> Date: Fri, 31 Oct 2003 23:39:08=20 +0200
>
> WSEAS will reply to you only if you write the=20 word:
> WSEAS somewhere in the Subject
> of your = message,
> In=20 case that you forgot it, unfortunately, there is
> not any = automatic reply=20 or
>=20 warning!
>
-----------------------------------------------------= ------------------------------
>=20
> FORWARD THIS EMAIL TO YOUR MAILING LISTS PLEASE!
> =
>=20 Further to our collaboration within WSEAS
> and WSEAS conferences, = we=20 would like to
> invite you to submit a paper or to organize = a
>=20 session
> in the 8th WSEAS CSCC
> Vouliagmeni, Athens, = Greece, July=20 12-15, 2004
> consisting of
>
> 8th WSEAS Int.Conf. = on=20 CIRCUITS
> 8th WSEAS Int.Conf. on SYSTEMS
> 8th WSEAS = Int.Conf. on=20 COMMUNICATIONS
> 8th WSEAS Int.Conf. on COMPUTERS
> http://www.wseas.org
> FORWARD = THIS EMAIL=20 TO YOUR MAILING LISTS PLEASE!
>
> Other joint = symposia:
> 1th=20 WSEAS Int.Conf. on ELECTROSCIENCE AND TECHNOLOGY
> FOR NAVAL = ENGINEERING=20 and
> ALL-ELECTRIC SHIP
> 2nd WSEAS Int.Conf. on = MULTIDIMENSIONAL=20 SYSTEMS
> (MDS 2004)
>
> If you want to organize a = session,=20 please, reply to
> this message.
> We grant SPECIAL BENEFITS = to=20 Session Organizers
> (contact us by email)
>
> NOTE, = PLEASE,=20 THAT ONLY IN WSEAS CONFERENCES
> ALL THE ACCEPTED PAPERS ARE = PUBLISHED=20
> (a) as PAPERS in the conference proceedings   =
> (b) as=20 REGULAR PAPERS in WSEAS TRANSACTIONS
> (Journals) or CHAPTERS in = WSEAS=20 Books
>
>
> PLEASE, EMPHASIZE THIS POINT and TELL IT = WITH=20 GREAT
> EMPHASIS
> TO YOUR MAILING LISTS
> =
>  http://www.wseas.org
>
> = My Best=20 Regards
> Thank you very much.
> 
> Katerina=20 Tsironi.
------=_NextPart_000_000E_01C3A24E.8BDA6380-- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 3 18:29:24 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hA40TNd03326 for reliable_computing-outgoing; Mon, 3 Nov 2003 18:29:23 -0600 (CST) Received: from company.mail (pool-68-160-244-193.ny325.east.verizon.net [68.160.244.193]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hA40TI103322 for ; Mon, 3 Nov 2003 18:29:18 -0600 (CST) Received: from ramas.com [192.0.0.24] by company.mail [127.0.0.1] with SMTP (MDaemon.v3.1.0.R) for ; Mon, 03 Nov 2003 19:29:00 -0500 Message-ID: <3FA6F2C9.47E09D8F [at] ramas [dot] com> Date: Mon, 03 Nov 2003 19:28:57 -0500 From: Scott Ferson Organization: Applied Biomathematics X-Mailer: Mozilla 4.73 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: Workshops on intervals in risk analysis Content-Type: multipart/alternative; boundary="------------206C32340FB25F8BE4F2066B" X-MDaemon-Deliver-To: reliable_computing [at] interval [dot] louisiana.edu X-Return-Path: scott [at] ramas [dot] com X-MDRcpt-To: reliable_computing [at] interval [dot] louisiana.edu X-MDRemoteIP: 192.0.0.24 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk --------------206C32340FB25F8BE4F2066B Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit A pair of workshops on using intervals in risk analysis will be held in conjunction with the Society for Risk Analysis annual meeting in Baltimore on 7 December 2003 (Sunday). Beyond Point Estimates: Risk Assessment Using Interval and Possibilistic Arithmetic This morning workshop will introduce the use of interval analysis and fuzzy arithmetic for propagating uncertainty through calculations in a quantitative risk assessment. These methods can be used even when data are far too sparse for conventional Monte Carlo methods. The methods will be applied to risk assessment problems, including event-tree/fault-tree safety analysis. For further details, see http://www.ramas.com/intervalfuzzy.htm. What Monte Carlo Cannot Do: Introduction to Imprecise Probabilities This afternoon workshop will introduce interval-valued probability and imprecisely specified probability distributions and will review their uses in risk analysis. It will address the approaches of interval probabilities, probability bounds analysis, Dempster-Shafer theory, robust Bayes methods, and the theory of imprecise probabilities. See http://www.ramas.com/ipbaltimore.htm for further details. The last day to pre-register for the workshops is 10 November. You do not need to register for the annual meeting to attend the workshops. Best regards, Scott Ferson, scott [at] ramas [dot] com, 631-751-4350, fax -3435 If I don't respond to your email in a week or so, I probably didn't see it. Please fax to inquire after unanswered messages. --------------206C32340FB25F8BE4F2066B Content-Type: text/html; charset=us-ascii Content-Transfer-Encoding: 7bit  
A pair of workshops on using intervals in risk analysis will
be held in conjunction with the Society for Risk Analysis
annual meeting in Baltimore on 7 December 2003 (Sunday).

Beyond Point Estimates:
Risk Assessment Using Interval and Possibilistic Arithmetic
This morning workshop will introduce the use of interval analysis
and fuzzy arithmetic for propagating uncertainty through calculations
in a quantitative risk assessment. These methods can be used
even when data are far too sparse for conventional Monte Carlo
methods. The methods will be applied to risk assessment problems,
including event-tree/fault-tree safety analysis. For further details, see
http://www.ramas.com/intervalfuzzy.htm.

What Monte Carlo Cannot Do:
Introduction to Imprecise Probabilities
This afternoon workshop will introduce interval-valued probability
and imprecisely specified probability distributions and will review
their uses in risk analysis. It will address the approaches of interval
probabilities, probability bounds analysis, Dempster-Shafer theory,
robust Bayes methods, and the theory of imprecise probabilities.
See http://www.ramas.com/ipbaltimore.htm for further details.

The last day to pre-register for the workshops is 10 November.
You do not need to register for the annual meeting to attend the
workshops.

Best regards,

Scott Ferson, scott [at] ramas [dot] com, 631-751-4350, fax -3435
If I don't respond to your email in a week or so, I probably
didn't see it.  Please fax to inquire after unanswered messages.
 
 
  --------------206C32340FB25F8BE4F2066B-- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 4 23:34:58 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hA55Yv404958 for reliable_computing-outgoing; Tue, 4 Nov 2003 23:34:57 -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 hA55Yo104954 for ; Tue, 4 Nov 2003 23:34:51 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hA55YgP21723 for ; Tue, 4 Nov 2003 22:34:42 -0700 (MST) Message-Id: <200311050534.hA55YgP21723 [at] cs [dot] utep.edu> Date: Tue, 4 Nov 2003 22:34:42 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: extended abstracts of Toronto 2002 conference To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: /c+wMnu1SGm9JQ7vlclmKg== 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 still have about a dozen copies of Extended Abstracts of 2002 SIAM Workshop on Validated Computing in Toronto (as I have recently found out when I was moving from one office to another :-). If anyone is interested, send me your mailing address, I will be glad to ship to you. As per our policy announced in Toronto, attendants of Toronto meeting who want an extra copy will be given first priority, please let me know if you are an attended. Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov 6 07:13:07 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hA6DD6n06912 for reliable_computing-outgoing; Thu, 6 Nov 2003 07:13:06 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hA6DD2A06907 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 6 Nov 2003 07:13:02 -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 hA5HHJ105822 for ; Wed, 5 Nov 2003 11:17:19 -0600 (CST) Received: from ultra10.math.wisc.edu (ultra10.math.wisc.edu [144.92.166.180]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id hA5HFan28317; Wed, 5 Nov 2003 11:15:36 -0600 (CST) Date: Wed, 5 Nov 2003 11:15:35 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk * Linear Algebra and its Applications Volume 377, Pages 1-297 (15 January 2004) TABLE OF CONTENTS Numerical range of composition operators on a Hilbert space of Dirichlet series, Pages 1-10 Catherine Finet and Herve Queffelec Interlace polynomials, Pages 11-30 Martin Aigner and Hein van der Holst Optimal frames for erasures, Pages 31-51 Roderick B. Holmes and Vern I. Paulsen Central polynomials in the matrix algebra of order two, Pages 53-67 Jones Colombo and Plamen Koshlukov Kantorovich type operator inequalities via the Specht ratio, Pages 69-81 Jun Ichi Fujii, Yuki Seo and Masaru Tominaga Directed strongly regular graphs obtained from coherent algebras, Pages 83-109 Mikhail Klin, Akihiro Munemasa, Mikhail Muzychuk and Paul-Hermann Zieschang Linear maps transforming H-unitary matrices, Pages 111-124 Chi-Kwong Li and Nung-Sing Sze Generalized invertibility in two semigroups of a ring, Pages 125-139 Pedro Patricio and Roland Puystjens Similarity invariant real linear subspaces and similarity preserving additive maps, Pages 141-153 Shuanping Du and Jinchuan Hou Submultiplicativity vs subadditivity for unitarily invariant norms, Pages 155-164 Fumio Hiai and Xingzhi Zhan Approximation theory and matrix completions, Pages 165-179 D. Hadwin, D. R. Larson and D. Timotin An operator inequality and self-adjointness, Pages 181-194 Bojan Magajna, Marko Petkovek and Aleksej Turnek On the hardness of efficiently approximating maximal non-L submatrices, Pages 195-205 Andreas Brieden and Shawn Cokus Characterization and properties of matrices with generalized symmetry or skew symmetry, Pages 207-218 William F. Trench Distribution of the eigenvalues of random block-matrices, Pages 219-240 Marianna Bolla Sharp upper bounds on the spectral radius of graphs, Pages 241-248 Jinlong Shu and Yarong Wu On graphs whose star complement for -2 is a path or a cycle, Pages 249-265 Francis K. Bell and Slobodan K. Simi Rank-1 nilpotency linear preservers on nest algebras, Pages 267-290 Jianlian Cui, Maozheng Guo and Jinchuan Hou An upper bound for the permanent of (0,1)-matrices, Pages 291-295 Heng Liang and Fengshan Bai Author index, Page 297 Editorial board, Pages ii-iii This issue and over 60 articles in press are now available on Science Direct, http://www.sciencedirect.com/ From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Nov 7 12:34:40 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hA7IYex08715 for reliable_computing-outgoing; Fri, 7 Nov 2003 12:34:40 -0600 (CST) Received: from mailbox.univie.ac.at (mail.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 hA7IYX108711 for ; Fri, 7 Nov 2003 12:34:34 -0600 (CST) Received: from univie.ac.at (theseus.mat.univie.ac.at [131.130.16.23]) by mailbox.univie.ac.at (8.12.10/8.12.10) with ESMTP id hA7IYN4U438228; Fri, 7 Nov 2003 19:34:25 +0100 Message-ID: <3FABE5AF.E164F60C [at] univie [dot] ac.at> Date: Fri, 07 Nov 2003 19:34:23 +0100 From: Arnold Neumaier Organization: University of Vienna X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.20-20.7smp i686) X-Accept-Language: en, de MIME-Version: 1.0 To: interval Subject: software patents Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-DCC-ZID-Univie-Metrics: imap 4241; Body=2 Fuz1=2 Fuz2=2 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Since we recently had some discussion about software patents related to interval methods, here are some relevant web pages: http://perens.com/Articles/Patents.html http://www2.europarl.eu.int/omk/sipade2?SAME_LEVEL=1&LEVEL=4&NAV=X&PUBREF=-//EP//TEXT+REPORT+A5-2003-0238+0+DOC+XML+V0//EN http://www.softwarepatents.com/ and information in German: http://www.softwarepatente.com/ I'd also like to suggest that the EU-members among you sign the following petition. http://petition.eurolinux.org/index_html?LANG=en Arnold Neumaier From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 10 11:02:30 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAAH2U412662 for reliable_computing-outgoing; Mon, 10 Nov 2003 11:02:30 -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 hAAH2N112658 for ; Mon, 10 Nov 2003 11:02:24 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hAAH2IL07484; Mon, 10 Nov 2003 10:02:18 -0700 (MST) Message-Id: <200311101702.hAAH2IL07484 [at] cs [dot] utep.edu> Date: Mon, 10 Nov 2003 10:02:16 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: 2 available PhD positions at MICElab To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: armengol [at] silver [dot] udg.es MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: 3vbq0FXcOK2JBajWsXCC2w== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id hAAH2P112659 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Forwarding. Vladik ------------- Begin Forwarded Message ------------- Date: Mon, 10 Nov 2003 11:27:41 +0100 From: Joaquim Armengol Llobet User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; ca; rv:1.4) Gecko/20030624 X-Accept-Language: ca-es MIME-Version: 1.0 To: "Kreinovich, Vladik" Subject: 2 available PhD positions at MICElab Content-Transfer-Encoding: 8bit Dear Vladik, I would be very grateful if you could send this message to the members of the interval community. It is about two PhD positions for research on applications of Interval Analysis. Thanks in advance. ******************************************************************************* ***** 2 PhD POSITIONS FOR RESEARCH IN CONTROL, SUPERVISION AND IDENTIFICATION OF UNCERTAIN SYSTEMS ARE AVAILABLE AT THE MICELAB GROUP MICElab (http://eia.udg.es/mice), which stands for Modal Interval and Control Engineering Laboratory, is a research group of the University of Girona (Catalonia, Spain) that aims to develop tools based on Interval Analysis to deal with uncertain systems. Currently the group is working in several international and national research projects and needs PhD candidates to work on these projects. PhD PROGRAM Girona is a small city in the area of Barcelona (95 km) with a small university. Nevertheless, it has some PhD programs awarded with the Label of Quality by the Spanish Government, which is given to the top 5 % PhD programs. One of these PhD programs is the PhD program on Information Technologies and Electrical Engineering. There are only four PhD programs on control engineering with the Label of Quality in Spain. Moreover, this program is associated to IGSOC (International Graduate School of Catalonia). Only programs that comply with the highest standards for advanced education and fulfil additional requirements regarding international outreach and use of English can associate to IGSOC (http://www.igsoc.com). POSITION 1 Research Project: Modelización y control de sistemas complejos no lineales con incertidumbres y acoplamientos (MUSICO). Reference: MCYT DPI2002-04018-C02-02. Coordinator and contact: Josep Vehí (vehi [at] eia [dot] udg.es) SUBJECT The MUSICO Spanish project will deal with a class of complex systems characterized by having nonlinear elements (saturation, frictions, hystereses), being subjected to external excitations, being composed by subsystems with strong couplings, and being described by models with uncertainties and high dimensionality. The project will develop new tools for modelling, simulation and control for this class of systems. Specifically, we will derive dynamic models by combining finite elements and interval methods, as well as control laws based on the methodologies of sliding mode control and backstepping control for nonlinear systems, robust optimal guaranteed cost control and robust control based on linear matrix inequalities. As a prototype for the motivation and the application of the obtained tools, the project will adopt mechanical systems and flexible structures to be actively controlled with the purpose of reducing vibrations induced by undesirable external loads. TASKS Identification of uncertain complex structures subjected to external excitations (a large number of interval parameters appear in the model) with application to damage detection. Development of methodologies and tools to synthesize control laws for this kind of models. POSITION 2 Research Project: Automation of detection and diagnosis of faults in static and dynamic systems using semiqualitative knowledge (Automatización de la detección y la diagnosis de sistemas estáticos y dinámicos usando conocimiento semicualitativo, SQ Diagnosis). Reference: MCYT DPI2003-07146-C02-02. Coordinator and contact: Joaquim Armengol (armengol [at] eia [dot] udg.es) SUBJECT SQ Diagnosis is a Spanish project on detection and diagnosis of devices’ or processes’ malfunctions. Faults in components and processes can originate undesirable stops and damages in the systems, thus increasing the costs and decreasing the production. Furthermore, faults can have an important negative impact over the environment which must be avoided if possible. Therefore, the development of mechanisms to detect and diagnose faults as soon as possible is necessary in order to keep the systems in the desired levels of security, production and reliability. The fulfilment of these environmental and economical constraints helps the companies to survive in a market where the competitiveness is always increasing. In the last twenty years, fault detection and isolation has been based mainly in the use of models. A model of the system is used to detect the faults and to isolate the subsystems or the components that possibly originated them. Usually the models used for fault detection and diagnosis are quantitative or qualitative, but very little research has been made in the field of semiqualitative models. These models combine quantitative and qualitative knowledge so they are very useful when there is uncertainty or incomplete knowledge. The usual engineering models contain semiqualitative functions, constraints or data. This project proposes the application of these models to fault detection and diagnosis by means of techniques from Artificial Intelligence and Systems’ Engineering. TASKS Automatic detection and diagnosis of faults in uncertain systems using semiqualitative knowledge. CHARACTERISTICS OF THE GRANTS CALL FOR CANDIDATES Published in Boletín Oficial del Estado (BOE), page 38363, on 28-10-2003. http://www.boe.es/g/es/boe/dias/2003-10-28/seccion3.php Section: Ministerio de Ciencia y Tecnología. Title: ORDEN CTE/2987/2003, de 24 de octubre, por la que se establecen las bases y se hace pública la convocatoria de concesión de Becas Predoctorales de Formación de Personal Investigador (Becas FPI), en el marco del Programa Nacional de Potenciación de Recursos Humanos del Plan Nacional de Investigación Científica, Desarrollo e Innovación Tecnológica. REQUIREMENTS FOR THE CANDIDATES A degree in engineering, computer science, maths, physics, chemistry, etc. obtained after 1-1-2001. SALARY 1005 euros per month (gross). DURATION 4 years (annual renewal). IMPORTANT DATES - Now: To send an e-mail expressing the candidate’s interest to the corresponding project coordinator. - 24-11-2003. Deadline for application. The on-line forms can be found at: http://www.mcyt.es/becasfpi -- Joaquim Armengol Llobet http://eia.udg.es/~armengol mailto:armengol [at] eia [dot] udg.es ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 11 09:37:50 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hABFboT13925 for reliable_computing-outgoing; Tue, 11 Nov 2003 09:37:50 -0600 (CST) Received: from smtp2.rz.tu-harburg.de (smtp2.rz.tu-harburg.de [134.28.205.13]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hABFbg113921 for ; Tue, 11 Nov 2003 09:37:43 -0600 (CST) Received: from flunder01.rz.tu-harburg.de (flunder01.rz.tu-harburg.de [134.28.202.138]) by smtp2.rz.tu-harburg.de (8.12.7/8.12.7) with ESMTP id hABFbZUK005248 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Tue, 11 Nov 2003 16:37:35 +0100 Received: from omega.ti3.tu-harburg.de (omega.ti3.tu-harburg.de [134.28.20.55]) by flunder01.rz.tu-harburg.de (8.12.6/8.12.6) with ESMTP id hABFbYPR000512 for ; Tue, 11 Nov 2003 16:37:34 +0100 Received: by omega.ti3.tu-harburg.de (Postfix, from userid 65534) id 6893EDE36; Tue, 11 Nov 2003 16:37:34 +0100 (CET) Received: from omega.ti3.tu-harburg.de (localhost [127.0.0.1]) by omega.ti3.tu-harburg.de (Postfix) with ESMTP id 0130BDDFC for ; Tue, 11 Nov 2003 16:37:33 +0100 (CET) Message-ID: <2501681.1068565053956.SLOX.WebMail.wwwrun [at] omega [dot] ti3.tu-harburg.de> From: "Siegfried M. Rump" To: reliable_computing [at] interval [dot] louisiana.edu Subject: paper on summation and dot products Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Priority: 3 (normal) X-Mailer: SuSE Linux Openexchange Server 4 - WebMail (Build 2.3780) X-Operating-System: Linux 2.4.21-138-smp i386 (JVM 1.3.1_04) Organization: TU Hamburg-Harburg References: <3FABE5AF.E164F60C [at] univie [dot] ac.at> Date: Tue, 11 Nov 2003 16:37:34 +0100 (CET) X-Spam-Status: No, hits=-6.5 required=5.0 tests=AWL,BAYES_01,REFERENCES version=2.55 X-Spam-Level: X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) X-Scanned-By: TUHH Rechenzentrum content checker Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk To whom it concerns: a paper titled "Accurate Sum and Dot Product" by Takeshi Ogita, Siegfried M. Rump and Shin'Ishi Oishi has been submitted for publication. A .pdf file can be retrieved from http://www.oishi.info.waseda.ac.jp/~ogita/ The point of the paper is that no other than working precision is necessary, and no special operations are needed, just ordinary fl-pt addition and multiplication. Therefore, the algorithms are fast in terms of flops and in terms of measured computing time. Any comments or remarks are most welcome. With best regards Siegfried M. Rump ================================================= Prof. Dr. Siegfried M. Rump Inst. f. Computer Science III Technical University Hamburg-Harburg Schwarzenbergstr. 95 21071 Hamburg Germany From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 11 14:17:17 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hABKHGn14178 for reliable_computing-outgoing; Tue, 11 Nov 2003 14:17:16 -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 hABKHA114174 for ; Tue, 11 Nov 2003 14:17:11 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hABKGwi19180; Tue, 11 Nov 2003 13:16:58 -0700 (MST) Message-Id: <200311112016.hABKGwi19180 [at] cs [dot] utep.edu> Date: Tue, 11 Nov 2003 13:16:57 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: error analysis in geoinformatics webpage started To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, zaslavsk [at] sdsc [dot] edu Cc: christosp [at] utep [dot] edu, keller [at] geo [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: ptH4QXXbUqBSXm18AQoxUg== 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, As we have mentioned earlier, we are launching a new webpage on error analysis in geoinformatics. It is currently located at http://www.cs.utep.edu/interval-comp/uncgeo.html Thanks a lot to those who have already sent their links. However, most research is still not listed. Please send us your papers, links, etc.! Vladik P.S. Many thanks to Christos Panagiotopoulos, our student who is the page's webmaster. You may contcat him at christosp [at] utep [dot] edu From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov 13 13:07:14 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hADJ7EP16891 for reliable_computing-outgoing; Thu, 13 Nov 2003 13:07:14 -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 hADJ77116887 for ; Thu, 13 Nov 2003 13:07:08 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hADJ6p607888 for ; Thu, 13 Nov 2003 12:06:51 -0700 (MST) Message-Id: <200311131906.hADJ6p607888 [at] cs [dot] utep.edu> Date: Thu, 13 Nov 2003 12:06:51 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: FYI: an article in SIAM News To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: FBEJHEVzCzQB1UMnzx2AsQ== 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, This is just FYI. The laster (November 2003) issue of SIAM News published a talk Very Early Days of Matrix Computations given by Beresford Parlett at the 50 anniversary annual SIAM meeting in 2002. This talk may be of interest to us because he emphasizes that the effect of round-off errors was one of the main reasons why new methods were developed. In accordance with the SIAM Policty, in 6-8 weeks, this article will appear online at http://www.siam.org Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov 15 09:15:29 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAFFFSd19316 for reliable_computing-outgoing; Sat, 15 Nov 2003 09:15:28 -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 hAFFFL119312 for ; Sat, 15 Nov 2003 09:15:22 -0600 (CST) Received: from 9-248.dialup.comset.net ([213.172.9.248] helo=e0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 1AL2DD-0002u6-00 for reliable_computing [at] interval [dot] louisiana.edu; Sat, 15 Nov 2003 18:19:48 +0300 Message-ID: <001a01c3ab8b$33f7fd80$f809acd5 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: Reliable Computing, Vol.10, issue 2, 2004 Date: Sat, 15 Nov 2003 18:05:51 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0016_01C3ABA3.1AA13FA0" 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_0016_01C3ABA3.1AA13FA0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable Reliable Computing Volume 10, issue 2, 2004 Special Issue on Dependable Reasoning about Uncertainty Guest Co-Editor: Daniel Berleant Preface 81-82 Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals Hung T. Nguyen, Vladik Kreinovich, Luc Longpre 83-106 On the Use of Random Set Theory to Bracket the Results of Monte Carlo Simulations Fulvio Tonon 107-137 Using Pearson Correlation to Improve Envelopes around the Distributions of Functions Daniel Berleant, Jianzhong Zhang 139-161 ------=_NextPart_000_0016_01C3ABA3.1AA13FA0 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable

          &nbs= p;  =20 Reliable=20 Computing
          =  =20 Volume 10, issue 2, 2004
 
Special Issue on Dependable = Reasoning about=20 Uncertainty
Guest Co-Editor: Daniel Berleant
 
Preface
81-82
 
Dirty Pages of Logarithm Tables, = Lifetime of=20 the Universe, and
(Subjective) Probabilities on Finite and Infinite=20 Intervals
Hung T. Nguyen, Vladik Kreinovich, Luc=20 Longpre
83-106
 
On the Use of Random Set Theory = to Bracket=20 the Results of Monte
Carlo Simulations
Fulvio=20 Tonon
107-137
 
Using Pearson Correlation to = Improve=20 Envelopes around the
Distributions of Functions
Daniel Berleant, = Jianzhong=20 Zhang
139-161
------=_NextPart_000_0016_01C3ABA3.1AA13FA0-- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov 20 10:32:11 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAKGWAL25959 for reliable_computing-outgoing; Thu, 20 Nov 2003 10:32:10 -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 hAKGW3125955 for ; Thu, 20 Nov 2003 10:32:04 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.1.39]) by nwkea-mail-1.sun.com (8.12.10/8.12.9) with ESMTP id hAKGVqUP016873 for ; Thu, 20 Nov 2003 08:31:52 -0800 (PST) Received: from sun.com (vpn-129-150-17-105.SFBay.Sun.COM [129.150.17.105]) by heliopolis.eng.sun.com (8.11.6+Sun/8.11.6/ENSMAIL,v2.1p1) with ESMTP id hAKGVoD03504; Thu, 20 Nov 2003 08:31:52 -0800 (PST) Message-ID: <3FBCEC77.5060902 [at] sun [dot] com> Date: Thu, 20 Nov 2003 08:31:51 -0800 From: "G. William Walster" Reply-To: bill.walster [at] sun [dot] com Organization: Sun Microsystems Laboratories User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 X-Accept-Language: en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu, reliable_computing Subject: Intervals in Ireland? Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Friends, I recently came across the following in an email. > Currently, the Science Foundation of Ireland (SFI) is aggressively > awarding grants to academic researchers who can show interest, from > industry, in their work. If anybody knows of good interval work being done by Irish Academicians, please send their coordinates to me, or ask them to contact me directly. Thanks, Bill From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Nov 21 07:17:42 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hALDHgX27136 for reliable_computing-outgoing; Fri, 21 Nov 2003 07:17:42 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hALDHal27131 for reliable_computing [at] interval [dot] louisiana.edu; Fri, 21 Nov 2003 07:17:36 -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 hAL36b126377 for ; Thu, 20 Nov 2003 21:06:37 -0600 (CST) Received: from ultra10.math.wisc.edu (ultra10.math.wisc.edu [144.92.166.180]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id hAL34hn00315; Thu, 20 Nov 2003 21:04:43 -0600 (CST) Date: Thu, 20 Nov 2003 21:04:42 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu cc: Volker Mehrmann , Richard Brualdi Subject: LAA announcment Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA announcement of a special issue over your net. Thanks hans ********************************************************************* Hans Schneider Office: Mathematics Department Home: Van Vleck Hall 521 Samuel Drive University of Wisconsin Madison, WI 53717-2416 USA 480 Lincoln Drive 608-833-6567 Madison, WI 53706-1313 USA Office Phone: 608-262-1402 Math Dept Phone: 608-263-3054 Email: hans [at] math [dot] wisc,edu Math Dept Fax: 608-263-8891 WWW: http://www.math.wisc.edu/~hans ********************************************************************* LINEAR ALGEBRA AND ITS APPLICATIONS Special issue in honor of Pauline van den Driessche Linear Algebra and Its Applications is pleased to announce a special issue in honor of Professor Pauline van den Driessche in recognition of her many important contributions to linear algebra and mathematical biology, and on the occasion of her 65th birthday. The deadline for submission of papers is October 31, 2004. Papers are solicited for the special issue within the scope of LAA, especially those that overlap with the research interests of Pauline van den Driessche. Papers for submission should be sent to any of the four special editors, and will be subject to normal refereeing procedures according to LAA standards: Professor Steve Kirkland Department of Mathematics University of Regina Regina, SK, Canada S4S 0A2 e-mail: kirkland [at] math [dot] uregina.ca Professor Judith McDonald Mathematics Department Box 643113 Washington State University Pullman, WA, USA 99164-3113 e-mail: jmcdonald [at] math [dot] wsu.edu Professor Dale Olesky Department of Computer Science University of Victoria Victoria, BC, Canada V8W 3P6 e-mail: dolesky [at] cs [dot] uvic.ca Professor Michael Tsatsomeros Mathematics Department Box 643113 Washington State University Pullman, WA, USA 99164-3113 e-mail: tsat [at] math [dot] wsu.edu From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov 22 11:15:42 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAMHFf928615 for reliable_computing-outgoing; Sat, 22 Nov 2003 11:15:41 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hAMHFY128610 for ; Sat, 22 Nov 2003 11:15:35 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031122171528.FESC23448.fe4@Inspiron-8200> for ; Sat, 22 Nov 2003 11:15:28 -0600 Message-Id: <2.2.32.20031122171527.009792b8 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sat, 22 Nov 2003 11:15:27 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Error corrected in GlobSol Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, I have corrected a small error in GlobSol: An array keeping track of inequality constraints was not properly initialized in an interval Newton subroutine. Consequences of this bug are rarely observable, but it could cause GlobSol to say there are no solutions when there actually are. I have therefore posted a new version of GlobSol. Sincerely, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov 22 11:30:34 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAMHUY928790 for reliable_computing-outgoing; Sat, 22 Nov 2003 11:30:34 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hAMHUT128786 for ; Sat, 22 Nov 2003 11:30:29 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031122173023.FMWZ23448.fe4@Inspiron-8200> for ; Sat, 22 Nov 2003 11:30:23 -0600 Message-Id: <2.2.32.20031122173023.009f5d48 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sat, 22 Nov 2003 11:30:23 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message from reliable_computing -- discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a test message. Please discard. RBK --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 06:14:49 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hANCEn100014 for reliable_computing-outgoing; Sun, 23 Nov 2003 06:14:49 -0600 (CST) Received: from mailbox.univie.ac.at (mail.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 hANCEfw00010 for ; Sun, 23 Nov 2003 06:14:42 -0600 (CST) Received: from univie.ac.at (theseus.mat.univie.ac.at [131.130.16.23]) by mailbox.univie.ac.at (8.12.10/8.12.10) with ESMTP id hANCEOLu365318; Sun, 23 Nov 2003 13:14:28 +0100 Message-ID: <3FC0A4A0.50EEE0EF [at] univie [dot] ac.at> Date: Sun, 23 Nov 2003 13:14:24 +0100 From: Arnold Neumaier Organization: University of Vienna X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.20-20.7smp i686) X-Accept-Language: en, de MIME-Version: 1.0 To: interval Subject: More interval patent applications Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 7bit X-DCC-ZID-Univie-Metrics: imap 4244; Body=0 Fuz1=0 Fuz2=0 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Unfortunately, the patent application case discussed recently on this list is not the only one. Searching http://appft1.uspto.gov/netahtml/PTO/search-bool.html for interval arithmetic in Term 1 produces many items of which about 20 are about interval algorithms. [My netscape browser produces the wrong documents when clicking on the relevant links, but Mozilla worked correctly] For example, in patent application 20030172095 Method and apparatus solving problems having interval parameters, Bill Walster and Eldon Hansen apply for a patent for the branch and bound algorithm for general problems involving interval parameters. Here is their complete abstract: Abstract. One embodiment of the present invention provides a system that solves a problem involving an interval parameter p through an interval solution process. During operation, the system receives a representation of the problem, wherein the problem includes a number of variables x.sub.1, x.sub.2, x.sub.3, . . . x.sub.n and at least one interval parameter p. The system stores the representation in a computer memory, and then performs the interval solution process on the problem. During this interval solution process, the system splits the problem into sub-problems by splitting the interval parameter p into subintervals, and creating separate sub-problems for each subinterval. The system then performs the interval solution process on the sub-problems. By splitting the interval parameter p, the system can achieve a tighter bound on the solution set of the problem. The decision to split on any parameter p is made in exactly the same way it would be made if p were a variable of the problem. Otherwise, parameters are kept separate from problem variables. Clearly, there is nothing new in the 'invention'; so such a patent cannot be enforced in practice. But some of the other applications might be different and hence more harmful. I am very disappointed to see well-known exponents of the interval community engage in such activities which do a severe disservice to the freedom of use of interval techniques. For more background information of the potential harm done by software patents see http://perens.com/Articles/Patents.html http://www.softwarepatents.com/ http://www.softwarepatente.com/ Arnold Neumaier From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 06:33:09 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hANCX9o00343 for reliable_computing-outgoing; Sun, 23 Nov 2003 06:33:09 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hANCX4w00339 for ; Sun, 23 Nov 2003 06:33:04 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031123123256.BCTS23448.fe4@Inspiron-8200> for ; Sun, 23 Nov 2003 06:32:56 -0600 Message-Id: <2.2.32.20031123123253.009c1790 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sun, 23 Nov 2003 06:32:53 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message 2 for reliable_computing: Please discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is the second test message: Please discard. RBK --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 06:48:05 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hANCm4o00460 for reliable_computing-outgoing; Sun, 23 Nov 2003 06:48:04 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hANClxw00456 for ; Sun, 23 Nov 2003 06:48:00 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031123124753.BJAQ23448.fe4@Inspiron-8200> for ; Sun, 23 Nov 2003 06:47:53 -0600 Message-Id: <2.2.32.20031123124750.009cf170 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sun, 23 Nov 2003 06:47:50 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message 3 for reliable_computing: Please discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is test message 3. Please discard. RBK --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 07:24:46 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hANDOkr00684 for reliable_computing-outgoing; Sun, 23 Nov 2003 07:24:46 -0600 (CST) Received: from fe2.cox-internet.com (fe2-cox.cox-internet.com [66.76.2.39]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hANDOgw00680 for ; Sun, 23 Nov 2003 07:24:42 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe2.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031123132431.FBGG22344.fe2@Inspiron-8200> for ; Sun, 23 Nov 2003 07:24:31 -0600 Message-Id: <2.2.32.20031123132428.009a98fc [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sun, 23 Nov 2003 07:24:28 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message 4 for reliable_computing: Please discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is the fourth (and hopefully last) test message. Please discard. RBK --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 07:43:24 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hANDhO300821 for reliable_computing-outgoing; Sun, 23 Nov 2003 07:43:24 -0600 (CST) Received: from fe2.cox-internet.com (fe2-cox.cox-internet.com [66.76.2.39]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hANDhJw00817 for ; Sun, 23 Nov 2003 07:43:19 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe2.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031123134313.FMFX22344.fe2@Inspiron-8200> for ; Sun, 23 Nov 2003 07:43:13 -0600 Message-Id: <2.2.32.20031123134310.009de850 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sun, 23 Nov 2003 07:43:10 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message 5 for reliable_computing: please discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is test message 5. Please discard. RBK --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 09:23:05 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hANFN5u01033 for reliable_computing-outgoing; Sun, 23 Nov 2003 09:23:05 -0600 (CST) Received: from fe2.cox-internet.com (fe2-cox.cox-internet.com [66.76.2.39]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hANFMww01029 for ; Sun, 23 Nov 2003 09:22:58 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe2.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031123152252.HOZE22344.fe2@Inspiron-8200> for ; Sun, 23 Nov 2003 09:22:52 -0600 Message-Id: <2.2.32.20031123152249.009e6650 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sun, 23 Nov 2003 09:22:49 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: reliable_computing: Information from the list administrator Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear colleagues: During the past month or so, messages posted to the reliable_computing list have been received by only approximately half the list members. However, the messages have been properly archived, and can thus be retrieved by list members. We have observed errors associated with two or more addresses of the form *.ernet.in, although there don't seem to be problems with every such address. However, the list server appears to be operating properly when I remove all 12 *.in addresses from the list. Evidently, either our list server (majordomo) or our "sendmail" program is not sufficiently robust to handle something that happens with some of the "*.in" addresses. Hopefully, we will be able to find and correct this problem soon. In the mean time, our colleagues in India are not presently on the list :-( The addresses I have for our Indian colleagues are: kk [at] ee [dot] iitb.ernet.in nataraj [at] bhairav [dot] ee.iitb.ernet.in jjbarve [at] ee [dot] iitb.ernet.in sheela [at] ee [dot] iitb.ernet.in gautams [at] pune [dot] tcs.co.in prakash [at] ee [dot] iitb.ernet.in raman [at] mecheng [dot] iisc.ernet.in nskubal [at] ee [dot] iitb.ac.in sachint [at] ee [dot] iitb.ac.in sheela_unni [at] yahoo [dot] co.in mmdeshpande [at] ee [dot] iitb.ac.in shanta [at] ee [dot] iitb.ac.in W have definitely had problems with kk [at] ee [dot] iitb.ernet.in and with sheela [at] ee [dot] iitb.ernet.in but there may be problems with others. Helpful comments would be welcome. Sincerely, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 13:48:41 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hANJmf701444 for reliable_computing-outgoing; Sun, 23 Nov 2003 13:48:41 -0600 (CST) Received: from fe2.cox-internet.com (fe2-cox.cox-internet.com [66.76.2.39]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hANJmaw01440 for ; Sun, 23 Nov 2003 13:48:37 -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe2.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license f018ea6efd6984189790b5f401fab223) with SMTP id <20031123194830.MHCG22344.fe2@Inspiron-8200> for ; Sun, 23 Nov 2003 13:48:30 -0600 Message-Id: <2.2.32.20031123194826.009fe174 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sun, 23 Nov 2003 13:48:26 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message 6: reliable_computing. Please discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is test message 6. Addresses with ernet.in were changed to ac.in RBK --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 18:33:26 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAO0XPT01746 for reliable_computing-outgoing; Sun, 23 Nov 2003 18:33: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 hAO0XJw01742 for ; Sun, 23 Nov 2003 18:33:19 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hAO0XEi03867; Sun, 23 Nov 2003 17:33:14 -0700 (MST) Message-Id: <200311240033.hAO0XEi03867 [at] cs [dot] utep.edu> Date: Sun, 23 Nov 2003 17:33:13 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: a new book on interval computations To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: vladik [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: D2hN0ujIDRV81DEYFwt4NQ== 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 am very happy to report that a new book by Eldon Hansen and William Walster will be available soon, Global Optimization Using Interval Analysis, published by Marcel Dekker. This is a second revised edition of the book originally written by Eldon Hansen. The book is available for pre-oredring from amazon.com Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 18:57:23 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAO0vNN01873 for reliable_computing-outgoing; Sun, 23 Nov 2003 18:57:23 -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 hAO0vIw01869 for ; Sun, 23 Nov 2003 18:57:19 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hAO0vDq03953; Sun, 23 Nov 2003 17:57:13 -0700 (MST) Message-Id: <200311240057.hAO0vDq03953 [at] cs [dot] utep.edu> Date: Sun, 23 Nov 2003 17:57:12 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: interval talks at high performance computing meeting 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: Jj2SsjKowtdRu1MrJGcAsA== 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, As usual, Sun Microsystems-sponsored High Performance Computing Consortium organized a technical meeting right before the annual Supercomputing conference SC'2003. This year, the meeting was held on November 15-16 in Phoenix, Arizona. In contrast to the previous SC-related meetings where interval talks formed a special interest group session, this time, the organizers decided to include interval-related talks in the plenary session. Two survey-type talks on applications of interval techniques were presented: I overviewed the use of interval computations in geoinformatics, and Rafi Muhanna from Georgia Institute of Technology Center for Reliable Engineering Computing talked about interval finite element methods as a way to reliable engineering computing. Interval computations were mentioned in several other talks, including welcome by Brian Hammond and a keynote talk on Sun's architecture for High Performance and Technical Computing given by Adrian Cockroft, Sun Microsystems' Chief Architect on High Performance and Technical Computing. As always, this was a well-organized meeting where we all learned a lot and where we had a very good time at two wonderful receptions. And after the consortium meeting, we had a chance to go to the exhibit floor of the main conference and see the new high performance computers in action. Thanks a lot to the organizers! Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 24 09:08:57 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAOF8u202907 for reliable_computing-outgoing; Mon, 24 Nov 2003 09:08:56 -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 hAOF8ow02903 for ; Mon, 24 Nov 2003 09:08:51 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hAOF34706862; Mon, 24 Nov 2003 08:03:04 -0700 (MST) Message-Id: <200311241503.hAOF34706862 [at] cs [dot] utep.edu> Date: Mon, 24 Nov 2003 08:03:03 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: interval talks at high performance computing meeting To: rmoore17 [at] columbus [dot] rr.com Cc: 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: qc0BNxGC4Fx+cOsXxxgrDA== 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 Ray, Thanks a lot for your interest. The organizers promised to place all the talks online. The link to the meeting from the interval computations website http://www.cs.utep.edu/interval-comp is to Previous conferences, then 2003, and sun workshop. I have checked, the talks are not there yet. Vladik > From: "Ray Moore" > To: "Vladik Kreinovich" > Subject: Re: interval talks at high performance computing meeting > Date: Mon, 24 Nov 2003 08:40:42 -0500 > MIME-Version: 1.0 > Content-Transfer-Encoding: 7bit > X-Priority: 3 > X-MSMail-Priority: Normal > X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 > X-Virus-Scanned: Symantec AntiVirus Scan Engine > > Dear Vladik, > > It would be interesting to see abstracts of the talks, or any papers that > might be available online. > > best wishes, > > Ray > > ----- Original Message ----- > From: "Vladik Kreinovich" > To: ; > Sent: Sunday, November 23, 2003 7:57 PM > Subject: interval talks at high performance computing meeting > > > > Dear Friends, > > > > As usual, Sun Microsystems-sponsored High Performance > > Computing Consortium organized a technical meeting right before > > the annual Supercomputing conference SC'2003. > > > > This year, the meeting was held on November 15-16 in Phoenix, > > Arizona. In contrast to the previous SC-related meetings where > > interval talks formed a special interest group session, > > this time, the organizers decided to include interval-related > > talks in the plenary session. > > > > Two survey-type talks on applications of interval techniques were > > presented: I overviewed the use of interval computations in > > geoinformatics, and Rafi Muhanna from Georgia Institute of Technology > > Center for Reliable Engineering Computing talked about interval finite > > element methods as a way to reliable engineering computing. > > > > Interval computations were mentioned in several other talks, including > > welcome by Brian Hammond and a keynote talk on Sun's architecture for > > High Performance and Technical Computing given by Adrian Cockroft, Sun > > Microsystems' Chief Architect on High Performance and Technical > > Computing. > > > > As always, this was a well-organized meeting where we all learned a > > lot and where we had a very good time at two wonderful > > receptions. > > > > And after the consortium meeting, we had a chance to go to the > > exhibit floor of the main conference and see the new high performance > > computers in action. > > > > Thanks a lot to the organizers! > > > > Vladik > > > > > From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 25 07:29:00 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id hAPDSxj04287 for reliable_computing-outgoing; Tue, 25 Nov 2003 07:28:59 -0600 (CST) Received: from marnier.ucs.louisiana.edu (root [at] marnier [dot] ucs.louisiana.edu [130.70.132.233]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id hAPDSqw04283 for ; Tue, 25 Nov 2003 07:28:53 -0600 (CST) Received: from liberty (h156092.louisiana.edu [130.70.156.92]) by marnier.ucs.louisiana.edu (8.11.3/8.11.3/ull-ucs-mx-host_1.6) with SMTP id hAPDSpF00851 for ; Tue, 25 Nov 2003 07:28:51 -0600 (CST) Message-Id: <2.2.32.20031125133003.0163826c [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=====================_1069788603==_" Date: Tue, 25 Nov 2003 07:30:03 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: reliable_computing November postings attached X-Attachments: D:\baker\UL_administration\reliable_computing_mailing_lis t\reliable_computing.archive\reliable_computing.0311; Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk --=====================_1069788603==_ Content-Type: text/plain; charset="us-ascii" Dear colleagues, Due to problems which have now been corrected, many of us have not been receiving postings to "reliable_computing". We think we have corrected these problems. I have taken the liberty of attaching the November archive (to date) from the reliable_computing list. It is an ASCII text file in standard mail file format. (For example, most Unix-based mail readers can treat it as an "in" box.) Sincerely, Baker --=====================_1069788603==_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="reliable_computing.0311" >From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 3 12:08:27= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hA3I8Rj03038 for reliable_computing-outgoing; Mon, 3 Nov 2003 12:08:27 -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 hA3I8J103034 for ; Mon, 3 Nov 2003 12:08:20= -0600 (CST) Received: from 8-076.dialup.comset.net ([213.172.8.76] helo=3De0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 1AGjC5-0001Ar-00 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 03 Nov 2003 21:12:49= +0300 Message-ID: <001101c3a235$674d6e40$4c08acd5 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: WSEAS conferences Date: Mon, 3 Nov 2003 21:07:53 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=3D"----=3D_NextPart_000_000E_01C3A24E.8BDA6380" 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. ------=3D_NextPart_000_000E_01C3A24E.8BDA6380 Content-Type: text/plain; charset=3D"koi8-r" Content-Transfer-Encoding: quoted-printable > From: "Katerina Tsironi" > To: > Subject: from Katerina Tsironi (WSEAS) > Date: Fri, 31 Oct 2003 23:39:08 +0200 >=3D20 > WSEAS will reply to you only if you write the word: > WSEAS somewhere in the Subject > of your message, > In case that you forgot it, unfortunately, there is > not any automatic reply or > warning! > -------------------------------------------------------------------------=3D ---------- >=3D20 > FORWARD THIS EMAIL TO YOUR MAILING LISTS PLEASE! >=3D20 > Further to our collaboration within WSEAS > and WSEAS conferences, we would like to > invite you to submit a paper or to organize a > session=3D20 > in the 8th WSEAS CSCC > Vouliagmeni, Athens, Greece, July 12-15, 2004 > consisting of >=3D20 > 8th WSEAS Int.Conf. on CIRCUITS > 8th WSEAS Int.Conf. on SYSTEMS > 8th WSEAS Int.Conf. on COMMUNICATIONS > 8th WSEAS Int.Conf. on COMPUTERS > http://www.wseas.org > FORWARD THIS EMAIL TO YOUR MAILING LISTS PLEASE! >=3D20 > Other joint symposia: > 1th WSEAS Int.Conf. on ELECTROSCIENCE AND TECHNOLOGY > FOR NAVAL ENGINEERING and > ALL-ELECTRIC SHIP=3D20 > 2nd WSEAS Int.Conf. on MULTIDIMENSIONAL SYSTEMS=3D20 > (MDS 2004) >=3D20 > If you want to organize a session, please, reply to > this message. > We grant SPECIAL BENEFITS to Session Organizers > (contact us by email) >=3D20 > NOTE, PLEASE, THAT ONLY IN WSEAS CONFERENCES=3D20 > ALL THE ACCEPTED PAPERS ARE PUBLISHED=3D20 > (a) as PAPERS in the conference proceedings =3D20 > (b) as REGULAR PAPERS in WSEAS TRANSACTIONS > (Journals) or CHAPTERS in WSEAS Books >=3D20 >=3D20 > PLEASE, EMPHASIZE THIS POINT and TELL IT WITH GREAT > EMPHASIS > TO YOUR MAILING LISTS >=3D20 > http://www.wseas.org=3D20 >=3D20 > My Best Regards > Thank you very much. > =3D20 > Katerina Tsironi. ------=3D_NextPart_000_000E_01C3A24E.8BDA6380 Content-Type: text/html; charset=3D"koi8-r" Content-Transfer-Encoding: quoted-printable
> From: "Katerina  =3D Tsironi" <peri [at] wseas [dot] org>
> To: <slavanest [at] yahoo [dot] com>
> = =3D Subject:=3D20 from Katerina Tsironi (WSEAS)
> Date: Fri, 31 Oct 2003 23:39:08=3D20 +0200
>
> WSEAS will reply to you only if you write the=3D20 word:
> WSEAS somewhere in the Subject
> of your =3D message,
> In=3D20 case that you forgot it, unfortunately, there is
> not any =3D automatic reply=3D20 or
>=3D20 warning!
>
-----------------------------------------------------=3D ------------------------------
>=3D20
> FORWARD THIS EMAIL TO YOUR MAILING LISTS PLEASE!
> =3D
>=3D20 Further to our collaboration within WSEAS
> and WSEAS conferences, =3D we=3D20 would like to
> invite you to submit a paper or to organize =3D a
>=3D20 session
> in the 8th WSEAS CSCC
> Vouliagmeni, Athens, =3D Greece, July=3D20 12-15, 2004
> consisting of
>
> 8th WSEAS Int.Conf. =3D on=3D20 CIRCUITS
> 8th WSEAS Int.Conf. on SYSTEMS
> 8th WSEAS =3D Int.Conf. on=3D20 COMMUNICATIONS
> 8th WSEAS Int.Conf. on COMPUTERS
> http://www.wseas.org
> FORWARD =3D THIS EMAIL=3D20 TO YOUR MAILING LISTS PLEASE!
>
> Other joint =3D symposia:
> 1th=3D20 WSEAS Int.Conf. on ELECTROSCIENCE AND TECHNOLOGY
> FOR NAVAL =3D ENGINEERING=3D20 and
> ALL-ELECTRIC SHIP
> 2nd WSEAS Int.Conf. on =3D MULTIDIMENSIONAL=3D20 SYSTEMS
> (MDS 2004)
>
> If you want to organize a =3D session,=3D20 please, reply to
> this message.
> We grant SPECIAL BENEFITS =3D to=3D20 Session Organizers
> (contact us by email)
>
> NOTE, =3D PLEASE,=3D20 THAT ONLY IN WSEAS CONFERENCES
> ALL THE ACCEPTED PAPERS ARE =3D PUBLISHED=3D20
> (a) as PAPERS in the conference proceedings   =3D
> (b) as=3D20 REGULAR PAPERS in WSEAS TRANSACTIONS
> (Journals) or CHAPTERS in =3D WSEAS=3D20 Books
>
>
> PLEASE, EMPHASIZE THIS POINT and TELL IT =3D WITH=3D20 GREAT
> EMPHASIS
> TO YOUR MAILING LISTS
> =3D
>  http://www.wseas.org
>
> = =3D My Best=3D20 Regards
> Thank you very much.
> 
> Katerina=3D20 Tsironi.
------=3D_NextPart_000_000E_01C3A24E.8BDA6380-- >From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 3 18:29:24= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hA40TNd03326 for reliable_computing-outgoing; Mon, 3 Nov 2003 18:29:23 -0600 (CST) Received: from company.mail (pool-68-160-244-193.ny325.east.verizon.net= [68.160.244.193]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= with ESMTP id hA40TI103322 for ; Mon, 3 Nov 2003 18:29:18= -0600 (CST) Received: from ramas.com [192.0.0.24] by company.mail [127.0.0.1] with SMTP (MDaemon.v3.1.0.R) for ; Mon, 03 Nov 2003 19:29:00= -0500 Message-ID: <3FA6F2C9.47E09D8F [at] ramas [dot] com> Date: Mon, 03 Nov 2003 19:28:57 -0500 From: Scott Ferson Organization: Applied Biomathematics X-Mailer: Mozilla 4.73 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: Workshops on intervals in risk analysis Content-Type: multipart/alternative; boundary=3D"------------206C32340FB25F8BE4F2066B" X-MDaemon-Deliver-To: reliable_computing [at] interval [dot] louisiana.edu X-Return-Path: scott [at] ramas [dot] com X-MDRcpt-To: reliable_computing [at] interval [dot] louisiana.edu X-MDRemoteIP: 192.0.0.24 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk --------------206C32340FB25F8BE4F2066B Content-Type: text/plain; charset=3Dus-ascii Content-Transfer-Encoding: 7bit A pair of workshops on using intervals in risk analysis will be held in conjunction with the Society for Risk Analysis annual meeting in Baltimore on 7 December 2003 (Sunday). Beyond Point Estimates: Risk Assessment Using Interval and Possibilistic Arithmetic This morning workshop will introduce the use of interval analysis and fuzzy arithmetic for propagating uncertainty through calculations in a quantitative risk assessment. These methods can be used even when data are far too sparse for conventional Monte Carlo methods. The methods will be applied to risk assessment problems, including event-tree/fault-tree safety analysis. For further details, see http://www.ramas.com/intervalfuzzy.htm. What Monte Carlo Cannot Do: Introduction to Imprecise Probabilities This afternoon workshop will introduce interval-valued probability and imprecisely specified probability distributions and will review their uses in risk analysis. It will address the approaches of interval probabilities, probability bounds analysis, Dempster-Shafer theory, robust Bayes methods, and the theory of imprecise probabilities. See http://www.ramas.com/ipbaltimore.htm for further details. The last day to pre-register for the workshops is 10 November. You do not need to register for the annual meeting to attend the workshops. Best regards, Scott Ferson, scott [at] ramas [dot] com, 631-751-4350, fax -3435 If I don't respond to your email in a week or so, I probably didn't see it. Please fax to inquire after unanswered messages. --------------206C32340FB25F8BE4F2066B Content-Type: text/html; charset=3Dus-ascii Content-Transfer-Encoding: 7bit  
A pair of workshops on using intervals in risk analysis will
be held in conjunction with the Society for Risk Analysis
annual meeting in Baltimore on 7 December 2003 (Sunday).

Beyond Point Estimates:
Risk Assessment Using Interval and Possibilistic Arithmetic
This morning workshop will introduce the use of interval analysis
and fuzzy arithmetic for propagating uncertainty through calculations
in a quantitative risk assessment. These methods can be used
even when data are far too sparse for conventional Monte Carlo
methods. The methods will be applied to risk assessment problems,
including event-tree/fault-tree safety analysis. For further details, see
http://www.ramas.com/interv= alfuzzy.htm.

What Monte Carlo Cannot Do:
Introduction to Imprecise Probabilities
This afternoon workshop will introduce interval-valued probability
and imprecisely specified probability distributions and will review
their uses in risk analysis. It will address the approaches of interval
probabilities, probability bounds analysis, Dempster-Shafer theory,
robust Bayes methods, and the theory of imprecise probabilities.
See http://www.ramas.com/ipbaltim= ore.htm for further details.

The last day to pre-register for the workshops is 10 November.
You do not need to register for the annual meeting to attend the
workshops.

Best regards,

Scott Ferson, scott [at] ramas [dot] com, 631-751-4350, fax -3435
If I don't respond to your email in a week or so, I probably
didn't see it.  Please fax to inquire after unanswered messages.
 
 
  --------------206C32340FB25F8BE4F2066B-- >From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 4 23:34:58= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hA55Yv404958 for reliable_computing-outgoing; Tue, 4 Nov 2003 23:34:57 -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 hA55Yo104954 for ; Tue, 4 Nov 2003 23:34:51= -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hA55YgP21723 for ; Tue, 4 Nov 2003 22:34:42= -0700 (MST) Message-Id: <200311050534.hA55YgP21723 [at] cs [dot] utep.edu> Date: Tue, 4 Nov 2003 22:34:42 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: extended abstracts of Toronto 2002 conference To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=3Dus-ascii Content-MD5: /c+wMnu1SGm9JQ7vlclmKg=3D=3D X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc=20 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, I still have about a dozen copies of Extended Abstracts of 2002 SIAM= Workshop=20 on Validated Computing in Toronto (as I have recently found out when I was= =20 moving from one office to another :-).=20 If anyone is interested, send me your mailing address, I will be glad to= ship=20 to you.=20 As per our policy announced in Toronto, attendants of Toronto meeting who= want=20 an extra copy will be given first priority, please let me know if you are an= =20 attended.=20 Vladik >From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov 6 07:13:07= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hA6DD6n06912 for reliable_computing-outgoing; Thu, 6 Nov 2003 07:13:06 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hA6DD2A06907 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 6 Nov 2003 07:13:02= -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 hA5HHJ105822 for ; Wed, 5 Nov 2003 11:17:19= -0600 (CST) Received: from ultra10.math.wisc.edu (ultra10.math.wisc.edu= [144.92.166.180]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id= hA5HFan28317; Wed, 5 Nov 2003 11:15:36 -0600 (CST) Date: Wed, 5 Nov 2003 11:15:35 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER= , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST= , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA contents Message-ID:= MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=3DUS-ASCII X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk * Linear Algebra and its Applications Volume 377, Pages 1-297 (15 January 2004) TABLE OF CONTENTS Numerical range of composition operators on a Hilbert space of Dirichlet= series, Pages 1-10 Catherine Finet and Herve Queffelec Interlace polynomials, Pages 11-30 Martin Aigner and Hein van der Holst Optimal frames for erasures, Pages 31-51 Roderick B. Holmes and Vern I. Paulsen Central polynomials in the matrix algebra of order two, Pages 53-67 Jones Colombo and Plamen Koshlukov Kantorovich type operator inequalities via the Specht ratio, Pages 69-81 Jun Ichi Fujii, Yuki Seo and Masaru Tominaga Directed strongly regular graphs obtained from coherent algebras, Pages= 83-109 Mikhail Klin, Akihiro Munemasa, Mikhail Muzychuk and Paul-Hermann Zieschang Linear maps transforming H-unitary matrices, Pages 111-124 Chi-Kwong Li and Nung-Sing Sze Generalized invertibility in two semigroups of a ring, Pages 125-139 Pedro Patricio and Roland Puystjens Similarity invariant real linear subspaces and similarity preserving= additive maps, Pages 141-153 Shuanping Du and Jinchuan Hou Submultiplicativity vs subadditivity for unitarily invariant norms, Pages= 155-164 Fumio Hiai and Xingzhi Zhan Approximation theory and matrix completions, Pages 165-179 D. Hadwin, D. R. Larson and D. Timotin An operator inequality and self-adjointness, Pages 181-194 Bojan Magajna, Marko Petkovek and Aleksej Turnek On the hardness of efficiently approximating maximal non-L submatrices,= Pages 195-205 Andreas Brieden and Shawn Cokus Characterization and properties of matrices with generalized symmetry or= skew symmetry, Pages 207-218 William F. Trench Distribution of the eigenvalues of random block-matrices, Pages 219-240 Marianna Bolla Sharp upper bounds on the spectral radius of graphs, Pages 241-248 Jinlong Shu and Yarong Wu On graphs whose star complement for -2 is a path or a cycle, Pages 249-265 Francis K. Bell and Slobodan K. Simi Rank-1 nilpotency linear preservers on nest algebras, Pages 267-290 Jianlian Cui, Maozheng Guo and Jinchuan Hou An upper bound for the permanent of (0,1)-matrices, Pages 291-295 Heng Liang and Fengshan Bai Author index, Page 297 Editorial board, Pages ii-iii This issue and over 60 articles in press are now available on Science= Direct, http://www.sciencedirect.com/ >From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Nov 7 12:34:40= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hA7IYex08715 for reliable_computing-outgoing; Fri, 7 Nov 2003 12:34:40 -0600 (CST) Received: from mailbox.univie.ac.at (mail.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 hA7IYX108711 for ; Fri, 7 Nov 2003 12:34:34= -0600 (CST) Received: from univie.ac.at (theseus.mat.univie.ac.at [131.130.16.23]) by mailbox.univie.ac.at (8.12.10/8.12.10) with ESMTP id hA7IYN4U438228; Fri, 7 Nov 2003 19:34:25 +0100 Message-ID: <3FABE5AF.E164F60C [at] univie [dot] ac.at> Date: Fri, 07 Nov 2003 19:34:23 +0100 From: Arnold Neumaier Organization: University of Vienna X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.20-20.7smp i686) X-Accept-Language: en, de MIME-Version: 1.0 To: interval Subject: software patents Content-Type: text/plain; charset=3Dus-ascii Content-Transfer-Encoding: 7bit X-DCC-ZID-Univie-Metrics: imap 4241; Body=3D2 Fuz1=3D2 Fuz2=3D2 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Since we recently had some discussion about software patents related to interval methods, here are some relevant web pages: http://perens.com/Articles/Patents.html http://www2.europarl.eu.int/omk/sipade2?SAME_LEVEL=3D1&LEVEL=3D4&NAV=3DX&PUB= REF=3D-//EP//TEXT+REPORT+A5-2003-0238+0+DOC+XML+V0//EN http://www.softwarepatents.com/ and information in German: http://www.softwarepatente.com/ I'd also like to suggest that the EU-members among you sign=20 the following petition. http://petition.eurolinux.org/index_html?LANG=3Den Arnold Neumaier >From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Nov 10 11:02:30= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hAAH2U412662 for reliable_computing-outgoing; Mon, 10 Nov 2003 11:02:30 -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 hAAH2N112658 for ; Mon, 10 Nov 2003 11:02:24= -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hAAH2IL07484; Mon, 10 Nov 2003 10:02:18 -0700 (MST) Message-Id: <200311101702.hAAH2IL07484 [at] cs [dot] utep.edu> Date: Mon, 10 Nov 2003 10:02:16 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: 2 available PhD positions at MICElab To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: armengol [at] silver [dot] udg.es MIME-Version: 1.0 Content-Type: TEXT/plain; charset=3DISO-8859-1 Content-MD5: 3vbq0FXcOK2JBajWsXCC2w=3D=3D X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc=20 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by= interval.louisiana.edu id hAAH2P112659 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Forwarding. Vladik ------------- Begin Forwarded Message ------------- Date: Mon, 10 Nov 2003 11:27:41 +0100 From: Joaquim Armengol Llobet User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; ca; rv:1.4)= Gecko/20030624 X-Accept-Language: ca-es MIME-Version: 1.0 To: "Kreinovich, Vladik" Subject: 2 available PhD positions at MICElab Content-Transfer-Encoding: 8bit Dear Vladik, I would be very grateful if you could send this message to the members=20 of the interval community. It is about two PhD positions for research on=20 applications of Interval Analysis. Thanks in advance. ****************************************************************************= *** ***** 2 PhD POSITIONS FOR RESEARCH IN CONTROL, SUPERVISION AND IDENTIFICATION=20 OF UNCERTAIN SYSTEMS ARE AVAILABLE AT THE MICELAB GROUP MICElab (http://eia.udg.es/mice), which stands for Modal Interval and=20 Control Engineering Laboratory, is a research group of the University of=20 Girona (Catalonia, Spain) that aims to develop tools based on Interval=20 Analysis to deal with uncertain systems. Currently the group is working=20 in several international and national research projects and needs PhD=20 candidates to work on these projects. PhD PROGRAM Girona is a small city in the area of Barcelona (95 km) with a small=20 university. Nevertheless, it has some PhD programs awarded with the=20 Label of Quality by the Spanish Government, which is given to the top 5=20 % PhD programs. One of these PhD programs is the PhD program on=20 Information Technologies and Electrical Engineering. There are only four=20 PhD programs on control engineering with the Label of Quality in Spain. Moreover, this program is associated to IGSOC (International Graduate=20 School of Catalonia). Only programs that comply with the highest=20 standards for advanced education and fulfil additional requirements=20 regarding international outreach and use of English can associate to=20 IGSOC (http://www.igsoc.com). POSITION 1 Research Project: Modelizaci=F3n y control de sistemas complejos no=20 lineales con incertidumbres y acoplamientos (MUSICO). Reference: MCYT DPI2002-04018-C02-02. Coordinator and contact: Josep Veh=ED (vehi [at] eia [dot] udg.es) SUBJECT The MUSICO Spanish project will deal with a class of complex systems=20 characterized by having nonlinear elements (saturation, frictions,=20 hystereses), being subjected to external excitations, being composed by=20 subsystems with strong couplings, and being described by models with=20 uncertainties and high dimensionality. The project will develop new=20 tools for modelling, simulation and control for this class of systems.=20 Specifically, we will derive dynamic models by combining finite elements=20 and interval methods, as well as control laws based on the methodologies=20 of sliding mode control and backstepping control for nonlinear systems,=20 robust optimal guaranteed cost control and robust control based on=20 linear matrix inequalities. As a prototype for the motivation and the=20 application of the obtained tools, the project will adopt mechanical=20 systems and flexible structures to be actively controlled with the=20 purpose of reducing vibrations induced by undesirable external loads. TASKS Identification of uncertain complex structures subjected to external=20 excitations (a large number of interval parameters appear in the model)=20 with application to damage detection. Development of methodologies and tools to synthesize control laws for=20 this kind of models. POSITION 2 Research Project: Automation of detection and diagnosis of faults in=20 static and dynamic systems using semiqualitative knowledge=20 (Automatizaci=F3n de la detecci=F3n y la diagnosis de sistemas est=E1ticos y= =20 din=E1micos usando conocimiento semicualitativo, SQ Diagnosis). Reference: MCYT DPI2003-07146-C02-02. Coordinator and contact: Joaquim Armengol (armengol [at] eia [dot] udg.es) SUBJECT SQ Diagnosis is a Spanish project on detection and diagnosis of devices=92= =20 or processes=92 malfunctions. Faults in components and processes can=20 originate undesirable stops and damages in the systems, thus increasing=20 the costs and decreasing the production. Furthermore, faults can have an=20 important negative impact over the environment which must be avoided if=20 possible. Therefore, the development of mechanisms to detect and=20 diagnose faults as soon as possible is necessary in order to keep the=20 systems in the desired levels of security, production and reliability.=20 The fulfilment of these environmental and economical constraints helps=20 the companies to survive in a market where the competitiveness is always=20 increasing. In the last twenty years, fault detection and isolation has been based=20 mainly in the use of models. A model of the system is used to detect the=20 faults and to isolate the subsystems or the components that possibly=20 originated them. Usually the models used for fault detection and=20 diagnosis are quantitative or qualitative, but very little research has=20 been made in the field of semiqualitative models. These models combine=20 quantitative and qualitative knowledge so they are very useful when=20 there is uncertainty or incomplete knowledge. The usual engineering=20 models contain semiqualitative functions, constraints or data. This=20 project proposes the application of these models to fault detection and=20 diagnosis by means of techniques from Artificial Intelligence and=20 Systems=92 Engineering. TASKS Automatic detection and diagnosis of faults in uncertain systems using=20 semiqualitative knowledge. CHARACTERISTICS OF THE GRANTS CALL FOR CANDIDATES Published in Bolet=EDn Oficial del Estado (BOE), page 38363, on=20 28-10-2003. http://www.boe.es/g/es/boe/dias/2003-10-28/seccion3.php=20 Section: Ministerio de Ciencia y Tecnolog=EDa. Title: ORDEN CTE/2987/2003,= =20 de 24 de octubre, por la que se establecen las bases y se hace p=FAblica=20 la convocatoria de concesi=F3n de Becas Predoctorales de Formaci=F3n de=20 Personal Investigador (Becas FPI), en el marco del Programa Nacional de=20 Potenciaci=F3n de Recursos Humanos del Plan Nacional de Investigaci=F3n=20 Cient=EDfica, Desarrollo e Innovaci=F3n Tecnol=F3gica. REQUIREMENTS FOR THE CANDIDATES A degree in engineering, computer science, maths, physics, chemistry,=20 etc. obtained after 1-1-2001. SALARY 1005 euros per month (gross). DURATION 4 years (annual renewal). IMPORTANT DATES - Now: To send an e-mail expressing the candidate=92s interest to the=20 corresponding project coordinator. - 24-11-2003. Deadline for application. The on-line forms can be found=20 at: http://www.mcyt.es/becasfpi --=20 Joaquim Armengol Llobet http://eia.udg.es/~armengol mailto:armengol [at] eia [dot] udg.es ------------- End Forwarded Message ------------- >From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 11 09:37:50= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hABFboT13925 for reliable_computing-outgoing; Tue, 11 Nov 2003 09:37:50 -0600 (CST) Received: from smtp2.rz.tu-harburg.de (smtp2.rz.tu-harburg.de= [134.28.205.13]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= with ESMTP id hABFbg113921 for ; Tue, 11 Nov 2003 09:37:43= -0600 (CST) Received: from flunder01.rz.tu-harburg.de (flunder01.rz.tu-harburg.de= [134.28.202.138]) by smtp2.rz.tu-harburg.de (8.12.7/8.12.7) with ESMTP id hABFbZUK005248 (version=3DTLSv1/SSLv3 cipher=3DEDH-RSA-DES-CBC3-SHA bits=3D168 verify=3DNO= ) for ; Tue, 11 Nov 2003 16:37:35= +0100 Received: from omega.ti3.tu-harburg.de (omega.ti3.tu-harburg.de= [134.28.20.55]) by flunder01.rz.tu-harburg.de (8.12.6/8.12.6) with ESMTP id hABFbYPR000512 for ; Tue, 11 Nov 2003 16:37:34= +0100 Received: by omega.ti3.tu-harburg.de (Postfix, from userid 65534) id 6893EDE36; Tue, 11 Nov 2003 16:37:34 +0100 (CET) Received: from omega.ti3.tu-harburg.de (localhost [127.0.0.1]) by omega.ti3.tu-harburg.de (Postfix) with ESMTP id 0130BDDFC for ; Tue, 11 Nov 2003 16:37:33= +0100 (CET) Message-ID:= <2501681.1068565053956.SLOX.WebMail.wwwrun [at] omega [dot] ti3.tu-harburg.de> From: "Siegfried M. Rump" To: reliable_computing [at] interval [dot] louisiana.edu Subject: paper on summation and dot products Mime-Version: 1.0 Content-Type: text/plain; charset=3Dus-ascii Content-Transfer-Encoding: 7bit X-Priority: 3 (normal) X-Mailer: SuSE Linux Openexchange Server 4 - WebMail (Build 2.3780) X-Operating-System: Linux 2.4.21-138-smp i386 (JVM 1.3.1_04) Organization: TU Hamburg-Harburg References: <3FABE5AF.E164F60C [at] univie [dot] ac.at> Date: Tue, 11 Nov 2003 16:37:34 +0100 (CET) X-Spam-Status: No, hits=3D-6.5 required=3D5.0 tests=3DAWL,BAYES_01,REFERENCES version=3D2.55 X-Spam-Level:=20 X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) X-Scanned-By: TUHH Rechenzentrum content checker Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk To whom it concerns:=20 =20 a paper titled "Accurate Sum and Dot Product" by Takeshi Ogita, Siegfried M.= Rump and=20 Shin'Ishi Oishi has been submitted for publication. A .pdf file can be= retrieved from=20 =20 http://www.oishi.info.waseda.ac.jp/~ogita/=20 =20 The point of the paper is that no other than working precision is necessary,= and no=20 special operations are needed, just ordinary fl-pt addition and= multiplication. Therefore,=20 the algorithms are fast in terms of flops and in terms of measured computing= time. Any=20 comments or remarks are most welcome.=20 =20 With best regards=20 =20 Siegfried M. Rump=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Prof. Dr. Siegfried M. Rump Inst. f. Computer Science III Technical University Hamburg-Harburg Schwarzenbergstr. 95 21071 Hamburg Germany=20 >From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Nov 11 14:17:17= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hABKHGn14178 for reliable_computing-outgoing; Tue, 11 Nov 2003 14:17:16 -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 hABKHA114174 for ; Tue, 11 Nov 2003 14:17:11= -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hABKGwi19180; Tue, 11 Nov 2003 13:16:58 -0700 (MST) Message-Id: <200311112016.hABKGwi19180 [at] cs [dot] utep.edu> Date: Tue, 11 Nov 2003 13:16:57 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: error analysis in geoinformatics webpage started To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, zaslavsk [at] sdsc [dot] edu Cc: christosp [at] utep [dot] edu, keller [at] geo [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=3Dus-ascii Content-MD5: ptH4QXXbUqBSXm18AQoxUg=3D=3D X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc=20 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, As we have mentioned earlier, we are launching a new webpage= on=20 error analysis in geoinformatics. It is currently located at=20 http://www.cs.utep.edu/interval-comp/uncgeo.html Thanks a lot to those who have already sent their links. However, most= research=20 is still not listed.=20 Please send us your papers, links, etc.!=20 Vladik P.S. Many thanks to Christos Panagiotopoulos, our student who is the page's= =20 webmaster. You may contcat him at christosp [at] utep [dot] edu >From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov 13 13:07:14= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hADJ7EP16891 for reliable_computing-outgoing; Thu, 13 Nov 2003 13:07:14 -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 hADJ77116887 for ; Thu, 13 Nov 2003 13:07:08= -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id hADJ6p607888 for ; Thu, 13 Nov 2003 12:06:51= -0700 (MST) Message-Id: <200311131906.hADJ6p607888 [at] cs [dot] utep.edu> Date: Thu, 13 Nov 2003 12:06:51 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: FYI: an article in SIAM News To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=3Dus-ascii Content-MD5: FBEJHEVzCzQB1UMnzx2AsQ=3D=3D X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc=20 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends,=20 This is just FYI. The laster (November 2003) issue of SIAM News published a= =20 talk Very Early Days of Matrix Computations given by Beresford Parlett at= the=20 50 anniversary annual SIAM meeting in 2002.=20 This talk may be of interest to us because he emphasizes that the effect of= =20 round-off errors was one of the main reasons why new methods were developed.= =20 In accordance with the SIAM Policty, in 6-8 weeks, this article will appear= =20 online at http://www.siam.org Vladik >From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov 15 09:15:29= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hAFFFSd19316 for reliable_computing-outgoing; Sat, 15 Nov 2003 09:15:28 -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 hAFFFL119312 for ; Sat, 15 Nov 2003 09:15:22= -0600 (CST) Received: from 9-248.dialup.comset.net ([213.172.9.248] helo=3De0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 1AL2DD-0002u6-00 for reliable_computing [at] interval [dot] louisiana.edu; Sat, 15 Nov 2003 18:19:48= +0300 Message-ID: <001a01c3ab8b$33f7fd80$f809acd5 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: Reliable Computing, Vol.10, issue 2, 2004 Date: Sat, 15 Nov 2003 18:05:51 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=3D"----=3D_NextPart_000_0016_01C3ABA3.1AA13FA0" 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. ------=3D_NextPart_000_0016_01C3ABA3.1AA13FA0 Content-Type: text/plain; charset=3D"koi8-r" Content-Transfer-Encoding: quoted-printable Reliable Computing Volume 10, issue 2, 2004 Special Issue on Dependable Reasoning about Uncertainty Guest Co-Editor: Daniel Berleant Preface 81-82 Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals Hung T. Nguyen, Vladik Kreinovich, Luc Longpre 83-106 On the Use of Random Set Theory to Bracket the Results of Monte Carlo Simulations Fulvio Tonon 107-137 Using Pearson Correlation to Improve Envelopes around the Distributions of Functions Daniel Berleant, Jianzhong Zhang 139-161 ------=3D_NextPart_000_0016_01C3ABA3.1AA13FA0 Content-Type: text/html; charset=3D"koi8-r" Content-Transfer-Encoding: quoted-printable

          &nbs= =3D p;  =3D20 Reliable=3D20 Computing
          =3D  =3D20 Volume 10, issue 2, 2004
 
Special Issue on Dependable =3D Reasoning about=3D20 Uncertainty
Guest Co-Editor: Daniel Berleant
 
Preface
81-82
 
Dirty Pages of Logarithm Tables,= =3D Lifetime of=3D20 the Universe, and
(Subjective) Probabilities on Finite and Infinite=3D20 Intervals
Hung T. Nguyen, Vladik Kreinovich, Luc=3D20 Longpre
83-106
 
On the Use of Random Set Theory = =3D to Bracket=3D20 the Results of Monte
Carlo Simulations
Fulvio=3D20 Tonon
107-137
 
Using Pearson Correlation to =3D Improve=3D20 Envelopes around the
Distributions of Functions
Daniel Berleant, =3D Jianzhong=3D20 Zhang
139-161
------=3D_NextPart_000_0016_01C3ABA3.1AA13FA0-- >From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Nov 20 10:32:11= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hAKGWAL25959 for reliable_computing-outgoing; Thu, 20 Nov 2003 10:32:10 -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 hAKGW3125955 for ; Thu, 20 Nov 2003 10:32:04= -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.1.39]) by nwkea-mail-1.sun.com (8.12.10/8.12.9) with ESMTP id hAKGVqUP016873 for ; Thu, 20 Nov 2003 08:31:52= -0800 (PST) Received: from sun.com (vpn-129-150-17-105.SFBay.Sun.COM [129.150.17.105]) by heliopolis.eng.sun.com (8.11.6+Sun/8.11.6/ENSMAIL,v2.1p1) with ESMTP id= hAKGVoD03504; Thu, 20 Nov 2003 08:31:52 -0800 (PST) Message-ID: <3FBCEC77.5060902 [at] sun [dot] com> Date: Thu, 20 Nov 2003 08:31:51 -0800 From: "G. William Walster" Reply-To: bill.walster [at] sun [dot] com Organization: Sun Microsystems Laboratories User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.4)= Gecko/20030624 Netscape/7.1 X-Accept-Language: en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu, reliable_computing Subject: Intervals in Ireland? Content-Type: text/plain; charset=3Dus-ascii; format=3Dflowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Friends, I recently came across the following in an email. > Currently, the Science Foundation of Ireland (SFI) is aggressively=20 > awarding grants to academic researchers who can show interest, from=20 > industry, in their work. If anybody knows of good interval work being done by Irish Academicians,= please send their coordinates to me, or ask them to contact me directly. Thanks, Bill >From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Nov 21 07:17:42= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hALDHgX27136 for reliable_computing-outgoing; Fri, 21 Nov 2003 07:17:42 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hALDHal27131 for reliable_computing [at] interval [dot] louisiana.edu; Fri, 21 Nov 2003 07:17:36= -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 hAL36b126377 for ; Thu, 20 Nov 2003 21:06:37= -0600 (CST) Received: from ultra10.math.wisc.edu (ultra10.math.wisc.edu= [144.92.166.180]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id= hAL34hn00315; Thu, 20 Nov 2003 21:04:43 -0600 (CST) Date: Thu, 20 Nov 2003 21:04:42 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER= , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST= , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu cc: Volker Mehrmann , Richard Brualdi Subject: LAA announcment Message-ID:= MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=3DUS-ASCII X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA announcement of a special issue over your net. Thanks hans ********************************************************************* Hans Schneider = =20 Office: =20 Mathematics Department Home: Van Vleck Hall 521 Samuel Drive=20 University of Wisconsin Madison, WI 53717-2416 USA 480 Lincoln Drive 608-833-6567 =20 Madison, WI 53706-1313 USA =20 Office Phone: 608-262-1402 =20 Math Dept Phone: 608-263-3054 Email: hans [at] math [dot] wisc,edu Math Dept Fax: 608-263-8891 WWW: http://www.math.wisc.edu/~hans = =20 =20 ********************************************************************* = =20 LINEAR ALGEBRA AND ITS APPLICATIONS Special issue in honor of Pauline van den Driessche Linear Algebra and Its Applications is pleased to announce a special issue in honor of Professor Pauline van den Driessche in recognition of her many important contributions to linear algebra and mathematical biology, and on the occasion of her 65th birthday. The deadline for submission of papers is October 31, 2004. =20 Papers are solicited for the special issue within the scope of LAA,=20 especially those that overlap with the research interests of=20 Pauline van den Driessche. Papers for submission should be=20 sent to any of the four special editors, and will be subject=20 to normal refereeing procedures according to LAA standards: Professor Steve Kirkland Department of Mathematics University of Regina Regina, SK, Canada S4S 0A2 e-mail: kirkland [at] math [dot] uregina.ca Professor Judith McDonald Mathematics Department Box 643113 Washington State University Pullman, WA, USA 99164-3113 e-mail: jmcdonald [at] math [dot] wsu.edu Professor Dale Olesky Department of Computer Science University of Victoria Victoria, BC, Canada V8W 3P6 e-mail: dolesky [at] cs [dot] uvic.ca Professor Michael Tsatsomeros Mathematics Department Box 643113 Washington State University Pullman, WA, USA 99164-3113 e-mail: tsat [at] math [dot] wsu.edu >From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov 22 11:15:42= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hAMHFf928615 for reliable_computing-outgoing; Sat, 22 Nov 2003 11:15:41 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= with ESMTP id hAMHFY128610 for ; Sat, 22 Nov 2003 11:15:35= -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license= f018ea6efd6984189790b5f401fab223) with SMTP id <20031122171528.FESC23448.fe4@Inspiron-8200> for ; Sat, 22 Nov 2003 11:15:28 -0600 Message-Id: <2.2.32.20031122171527.009792b8 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset=3D"us-ascii" Date: Sat, 22 Nov 2003 11:15:27 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Error corrected in GlobSol Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, I have corrected a small error in GlobSol: An array keeping track of inequality constraints was not properly initialized in an interval Newton subroutine. Consequences of this bug are rarely observable, but it could cause GlobSol to say there are no=20 solutions when there actually are. I have therefore posted a new version of GlobSol. Sincerely, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- >From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Nov 22 11:30:34= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hAMHUY928790 for reliable_computing-outgoing; Sat, 22 Nov 2003 11:30:34 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= with ESMTP id hAMHUT128786 for ; Sat, 22 Nov 2003 11:30:29= -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license= f018ea6efd6984189790b5f401fab223) with SMTP id <20031122173023.FMWZ23448.fe4@Inspiron-8200> for ; Sat, 22 Nov 2003 11:30:23 -0600 Message-Id: <2.2.32.20031122173023.009f5d48 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset=3D"us-ascii" Date: Sat, 22 Nov 2003 11:30:23 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Test message from reliable_computing -- discard Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a test message. Please discard. RBK --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- >From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 06:14:49= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hANCEn100014 for reliable_computing-outgoing; Sun, 23 Nov 2003 06:14:49 -0600 (CST) Received: from mailbox.univie.ac.at (mail.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 hANCEfw00010 for ; Sun, 23 Nov 2003 06:14:42= -0600 (CST) Received: from univie.ac.at (theseus.mat.univie.ac.at [131.130.16.23]) by mailbox.univie.ac.at (8.12.10/8.12.10) with ESMTP id hANCEOLu365318; Sun, 23 Nov 2003 13:14:28 +0100 Message-ID: <3FC0A4A0.50EEE0EF [at] univie [dot] ac.at> Date: Sun, 23 Nov 2003 13:14:24 +0100 From: Arnold Neumaier Organization: University of Vienna X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.20-20.7smp i686) X-Accept-Language: en, de MIME-Version: 1.0 To: interval Subject: More interval patent applications Content-Type: text/plain; charset=3Diso-8859-15 Content-Transfer-Encoding: 7bit X-DCC-ZID-Univie-Metrics: imap 4244; Body=3D0 Fuz1=3D0 Fuz2=3D0 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Unfortunately, the patent application case discussed recently=20 on this list is not the only one. Searching=20 http://appft1.uspto.gov/netahtml/PTO/search-bool.html for=20 interval arithmetic in Term 1 produces many items of which about 20 are about interval= algorithms. [My netscape browser produces the wrong documents when clicking on the relevant links, but Mozilla worked correctly] For example, in patent application 20030172095=20 Method and apparatus solving problems having interval parameters, Bill Walster and Eldon Hansen apply for a patent for the branch=20 and bound algorithm for general problems involving interval=20 parameters. Here is their complete abstract: Abstract. One embodiment of the present invention provides a system that solves a= problem involving an interval parameter p through an interval solution process.= During operation, the system receives a representation of the problem, wherein the problem includes a number of variables x.sub.1, x.sub.2, x.sub.3, . . .= x.sub.n and at least one interval parameter p. The system stores the representation= in a computer memory, and then performs the interval solution process on the= problem. During this interval solution process, the system splits the problem into sub-problems by splitting the interval parameter p into subintervals, and creating separate sub-problems for each subinterval. The system then= performs the interval solution process on the sub-problems. By splitting the interval parameter p, the system can achieve a tighter bound on the solution set of= the problem. The decision to split on any parameter p is made in exactly the= same way it would be made if p were a variable of the problem. Otherwise,= parameters are kept separate from problem variables.=20 Clearly, there is nothing new in the 'invention'; so such a=20 patent cannot be enforced in practice. But some of the=20 other applications might be different and hence more harmful. I am very disappointed to see well-known exponents of the=20 interval community engage in such activities which do a=20 severe disservice to the freedom of use of interval techniques. For more background information of the potential harm done by software= patents see http://perens.com/Articles/Patents.html http://www.softwarepatents.com/ http://www.softwarepatente.com/ Arnold Neumaier >From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Nov 23 06:33:09= 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= id hANCX9o00343 for reliable_computing-outgoing; Sun, 23 Nov 2003 06:33:09 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3)= with ESMTP id hANCX4w00339 for ; Sun, 23 Nov 2003 06:33:04= -0600 (CST) Received: from Inspiron-8200 ([68.226.139.111]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license= f018ea6