Subject: Reliable Computing, Vol. 10, issue 1, 2004
Date: Sat, 4 Oct 2003 22:29:41 +0400
MIME-Version: 1.0
Content-Type: multipart/alternative;
boundary="----=_NextPart_000_01B0_01C38AC7.00DFD560"
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_01B0_01C38AC7.00DFD560
Content-Type: text/plain;
charset="koi8-r"
Content-Transfer-Encoding: quoted-printable
Reliable Computing
Volume 10, issue 1, 2004
Mathematical Research
Set Computation for Nonlinear Control
Luc Jaulin, Stefan Ratschan, Laurent Hardouin
1-26
Global Optimization with Higher Order Inclusion Function Forms.
Part 1: A Combined Taylor-Bernstein Form
Paluri S. V. Nataraj, Ketan Kotecha
27-44
On the Significance of Digits in Interval Notation
Maarten H. van Emden
45-58
Information
Special Session ``Set-Valued Numerics and Reliable Computing''
59-61
Interval-Related Talks at the 4th International Conference on
Frontiers in Global Optimization
63-70
Interval-Related Talks at the 22th International Conference of the
North American Fuzzy Information Processing Society NAFIPS'03
71-73
Computability and Complexity in Analysis (CCA). A View from
Interval Computations
75-80
------=_NextPart_000_01B0_01C38AC7.00DFD560
Content-Type: text/html;
charset="koi8-r"
Content-Transfer-Encoding: quoted-printable
&nbs=
p; =20
Reliable=20
Computing

=
=20
Volume 10, issue 1, 2004

&nbs=
p;=20
Mathematical Research

Set Computation for Nonlinear =
Control

Luc=20
Jaulin, Stefan Ratschan, Laurent Hardouin

1-26

Global Optimization with Higher =
Order=20
Inclusion Function Forms.

Part 1: A Combined Taylor-Bernstein =
Form

Paluri=20
S. V. Nataraj, Ketan Kotecha

27-44

On the Significance of =
Digits in=20
Interval Notation

Maarten H. van Emden

45-58

&nbs=
p; =20
Information

Special Session ``Set-Valued =
Numerics and=20
Reliable Computing''

59-61

Interval-Related Talks at the 4th =
International Conference on

Frontiers in Global=20
Optimization

63-70

Interval-Related Talks at the =
22th=20
International Conference of the

North American Fuzzy Information =
Processing=20
Society NAFIPS'03

71-73

Computability and Complexity in =
Analysis=20
(CCA). A View from

Interval=20
Computations

75-80

------=_NextPart_000_01B0_01C38AC7.00DFD560--
From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 7 09:56:17 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h97EuGH07469
for reliable_computing-outgoing; Tue, 7 Oct 2003 09:56:16 -0500 (CDT)
Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h97Eu9o07465
for ; Tue, 7 Oct 2003 09:56:11 -0500 (CDT)
Received: by mailhost.ens-lyon.fr with scanned-ok (Exim 3.35 #1 (Debian))
id 1A6tFs-0003f3-00; Tue, 07 Oct 2003 16:56:04 +0200
Received: from mailhost.ens-lyon.fr ([127.0.0.1])
by localhost (pluvier [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id 13742-02; Tue, 7 Oct 2003 16:56:04 +0200 (CEST)
Received: from mondeuse.ens-lyon.fr ([140.77.14.133])
by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian))
id 1A6tFr-0003ex-00; Tue, 07 Oct 2003 16:56:03 +0200
Received: from nrevol by mondeuse.ens-lyon.fr with local (Exim 3.35 #1 (Debian))
id 1A6tFr-0000UJ-00; Tue, 07 Oct 2003 16:56:03 +0200
Date: Tue, 7 Oct 2003 16:56:03 +0200
From: Nathalie Revol
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: Marc.Daumas@ens-lyon.fr, Nathalie.Revol@ens-lyon.fr
Subject: CFP: Special issue of TCS on Real Numbers and Computers
Message-ID: <20031007145603.GQ639@ens-lyon.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.28i
X-Virus-Scanned: by amavisd-new-20030616-p5 (Debian) at ens-lyon.fr
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
----------- CALL FOR PAPERS ----------
Please distribute and accept our apologies
if you receive multiple copies.
THEORETICAL COMPUTER SCIENCE
Special issue: Real Numbers and Computers
Guest editors: Marc Daumas and Nathalie Revol.
IMPORTANT DATES (tentative planning):
- Deadline for submissions of manuscripts: January 5th, 2004
(full papers only; extended abstracts will be rejected)
- Notification of acceptance/rejection: April, 2004
- Deadline for reception of final papers: July, 2004
- Parution: beginning of 2005
Efficient manipulation of real numbers in computers is still a
challenge. Many interesting theoretical and algorithmic problems are
linked with that topic and belong to quite distant fields such as
computer science, number theory, numerical analysis, computer algebra
and logics. A number of TCS special issues on real numbers and
computers has previously appeared (162 (1), 210(1), 279 (1-2) and 291
(2)), as follow-up to the RNC meetings on these topics. The last
meeting was RNC5 which took place in Lyon in September 2004, cf:
http://www.ens-lyon.fr/LIP/Arenaire/RNC5/
TOPICS
Scientists working on questions related to real computer arithmetic
are encouraged to present the theoretical or algorithmic aspects of
their results, even if they did not attend the RNC5 conference. Survey
and tutorial articles may be suitable if clearly identified as
such. Topics include (but are not restricted to) the following list:
- any computational number system
- implemented by a software package or in hardware,
- floating and fixed point,
- serial, on line arithmetic,
- continued fractions,
- exact computations,
- multiple precision,
- interval and stochastic arithmetics.
HOW TO SUBMIT
The submission should contain a scholarly exposition of ideas,
techniques, and results, including motivation and a clear comparison
with related work. More details may be given in an appendix. Authors
may submit additional background reference material that is not widely
available. Submissions must not substantially duplicate work
published or submitted for publication elsewhere.
Prepare a PostScript or PDF version of your full 10-20 pages paper
preferably using Elsevier latex style
http://www.elsevier.nl/locate/latex
The file should be uploaded to the special issue Internet site before
January 5th. The site will be open on December 1st.
http://www.ens-lyon.fr/LIP/Arenaire/RNC5/TCS
Make sure that your PostScript or PDF file can be printed on a
standard laser printer. Another possible check is to view it by
Ghostscript.
Language: English.
---------------------------------------------------------------------------
Nathalie REVOL INRIA Rhone Alpes
LIP - Projet Arenaire tel : (33) 4-72-72-85-00
Ecole Normale Superieure de Lyon Fax : (33) 4-72-72-80-80
69364 Lyon Cedex 07 Nathalie.Revol@ens-lyon.fr
FRANCE http://www.ens-lyon.fr/~nrevol
---------------------------------------------------------------------------
From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 8 10:06:55 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h98F6sa08871
for reliable_computing-outgoing; Wed, 8 Oct 2003 10:06:54 -0500 (CDT)
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 h98F6mo08867
for ; Wed, 8 Oct 2003 10:06:49 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h98F6dO00513;
Wed, 8 Oct 2003 09:06:39 -0600 (MDT)
Message-Id: <200310081506.h98F6dO00513 [at] cs [dot] utep.edu>
Date: Wed, 8 Oct 2003 09:06:39 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: intervals used in "ASPECTS OF INTERNET AGENT-BASED E-BUSINESS SYSTEMS"
To: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu
Cc: phamh [at] newpaltz [dot] edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: KI+StMFTfIdlVDAZDvebTg==
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,
Hanh Pham has just had her edited issue published. In her own paper, she uses
interval uncertainty in e-business.
Vladik
------------- Begin Forwarded Message -------------
Special Issue:
"ASPECTS OF INTERNET AGENT-BASED E-BUSINESS SYSTEMS"
Kluwer Journal "Electronic Commerce Research"
(Guest editor: Hanh Pham)
Volume 3:3-4, pp.199-395, July-October 2003
http://cs.newpaltz.edu/~pham/ABA/papers/J1/index.html
*******************************************************************************
TABLE OF CONTENT:
"Trust-Based Facilitator: Handling Word-of-Mouth Trust
for Agent-Based E-Commerce", pp. 201-220
Chihiro Ono, Satoshi Nishiyama, Keesoo Kim, Boyd C. Paulson,
Mark Cutkosky, Charles J. Petrie
KDD R&D Laboratories (Japan), NTT (Japan), Stanford University (USA)
"Trusted Agent-Mediated E-Commerce Transaction Services
via Digital Certificate Management", pp. 221-243
Yuh-Jong Hu
National Chengchi University (Taiwan)
"Learning Curve: A Simulation-Based Approach to Dynamic Pricing", pp. 245-276
Joan Morris DiMicco, Pattie Maes, Amy Greenwald
MIT (USA), Brown University (USA)
"Dynamic Consumer Profiling and Tiered Pricing Using Software Agents",
pp. 277-296
Prithviraj Dasgupta, P. Michael Melliar-Smith
University of Nebraska (USA), University of California at Santa Barbara
"Applying Dialectic Agents to Argumentation in E-Commerce" pp. 297-313
Hajime Sawamura, Masashi Yamashita, Yuichi Umeda
Niigata University (Japan)
"Combining KADS with ZEUS to Develop a Multi-Agent E-Commerce Application" ,
pp. 315-335
Darryl N. Davis, Yuan Luo, Kecheng Liu
University of Hull, (UK), Staffordshire University (UK)
"Intra-Organizational Logistics Management Through Multi-Agent Systems",
pp. 337-364
Eugene Santos, Feng Zhang, Peter B. Luh
University of Connecticut (USA)
"Autonomous Mapping of E-Business Demands and Supplies via
Invisible Internet Agents", pp. 365-395
Hanh Pham, Yiming Ye, Vien Nguyen
State University of New York (USA), IBM , Morgan Stanley
**********************************************************
Contact:
Dr. Hanh Pham
E-mail: aba [at] cs [dot] newpaltz.eduORphamh [at] newpaltz [dot] edu
URL: http://cs.newpaltz.edu/~pham
URL: http://www.ABA-RD.org/
Tel: 1-845-257-3574
Fax: 1-845-257-3996
Department of Computer Science
State University of New York
75 S. Manheim Blvd. Suite 6, FOB-E08
New Paltz, NY 12561, USA
------------- End Forwarded Message -------------
From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 9 11:44:43 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h99Gihv10325
for reliable_computing-outgoing; Thu, 9 Oct 2003 11:44:43 -0500 (CDT)
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 h99Gibo10321
for ; Thu, 9 Oct 2003 11:44:37 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h99GiVV11589;
Thu, 9 Oct 2003 10:44:31 -0600 (MDT)
Message-Id: <200310091644.h99GiVV11589 [at] cs [dot] utep.edu>
Date: Thu, 9 Oct 2003 10:44:29 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: ISSAC'04 call for papers
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: lycLdWq3q7XL/oTaexmWRQ==
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, It is ofteh useful to combine interval and syumbolic techniques,
so this may be of interest to many of us.
Vladik
------------- Begin Forwarded Message -------------
From: "Josef Schicho"
*********************************************************************
CALL FOR PAPERS
ISSAC-2004
International Symposium on Symbolic and Algebraic Computation
University of Cantabria, Santander, Spain
http://www.risc.uni-linz.ac.at/issac2004
*********************************************************************
ISSAC is the yearly premier international symposium in Symbolic and
Algebraic Computation. It provides an opportunity to learn of new
developments and to present original research results in all areas of
symbolic mathematical computation. Planned activities include invited
presentations, research papers, poster sessions, tutorial courses, vendor
exhibits, and software demonstrations.
ISSAC 2004 will be held at the University of Cantabria in Santander, Spain,
from July 4 to 7, 2004.
Paper Submission
----------------
Authors should submit full papers before midnight Eastern Standard Time on 7
January 2004. Papers must describe original, previously unpublished work
that has not been simultaneously submitted for publication elsewhere.
Submission should be done electronically via the web form:
https://issac2004.risc.uni-linz.ac.at
Important Dates
---------------
*Deadline for Submissions: January 7, 2004
*Notification of Acceptance: March 3, 2004
*Camera-ready copy received: April 16, 2004
Conference Topics
-----------------
Topics of the meeting include, but are not limited to:
-Algorithmic mathematics: Algebraic, symbolic and symbolic-numeric
algorithms. Simplification, function manipulation, equations, summation,
integration, ODE/PDE, linear algebra, number theory, group and geometric
computing.
-Computer Science: Theoretical and practical problems in symbolic
computation. Systems, problem solving environments, user interfaces,
software, libraries, parallel/distributed computing and programming
languages for symbolic computation, concrete analysis, benchmarking,
theoretical and practical complexity of computer algebra algorithms,
automatic differentiation, code generation, mathematical data structures and
exchange protocols.
-Applications: Problem treatments using algebraic, symbolic or
symbolic-numeric computation in an essential or a novel way. Engineering,
economics and finance, physical and biological sciences, computer science,
logic, mathematics, statistics, education.
Instructions to Authors
-----------------------
Original research results and insightful analyses of current concerns are
solicited for submission. Submissions must not substantially duplicate work
published or submitted for publication elsewhere. Late submissions will be
rejected.
Papers will be reviewed by a program committee and additional referees.
Proceedings will be distributed at the symposium.
Papers must be in English and should not exceed 8 pages in the standard
format for ACM proceedings, or 20 to 22 pages of text in LaTeX 12pt article
style.
Each paper should have an abstract as well as an introductory section that:
-Describes the problem.
-Motivates the study of the problem.
-States the main results and compares them to other work
(including theoretical or empirical performance).
-Summarizes the original aspects of the contribution.
Formatting requirements will be based on the ACM Proceedings Templates. For
instance in LaTeX2e you should use the acm_proc_article-sp.cls document
class to format your document. For information concerning ACM Proceedings
Templates see www.acm.org/sigs/pubs/proceed/template.html.
Authors of accepted papers are expected to present their work at the
symposium, or make arrangements to have it presented, and will be required
to sign the ACM copyright agreement (www.acm.org/pubs/copyright_form.html).
Some papers may be accepted for poster-session presentation; these will not
appear in the proceedings. Abstracts of all posters will be distributed at
the symposium. For poster submissions see
www.risc.uni-linz.ac.at/issac2004/cfposter.html.
Best student author award
-------------------------
This award will be given to the best student author. An author who is a
Full-time student at the time of submission is eligible for the award. This
status should be indicated when the paper is submitted.
For details concerning the selection procedure for this award as well as the
procedure for the ISSAC Distinguished Paper Award, see
www.acm.org/sigsam/ISSAC_Awards.html.
Organizing Committee
--------------------
General Chair:
Josef Schicho
SIGSAM Chair:
Emil Volcheck
Program Committee Chair:
Michael Singer
Program Committee :
Moulay Barkatou
Arjeh M. Cohen
Shuhong Gao
Karin Gatermann
Patricia Gianni
Serkan Hosten
Richard Liska
Bernard Mourrain
Masayuki Noro
Marie-Francoise Roy
Bruno Salvy
Rafael Sendra
Gilles Villard
Dongming Wang
Stephen Watt
Poster Committee:
Howard Cheng
Claude-Pierre Jeannerod
Ilias Kotsireas
Ha Le
Wen-shin Lee
Ziming Li (chair)
Tutorials:
Thomas Sturm
Proceedings Editor:
Jaime Gutierrez
Local Arrangements:
Luis M. Pardo
Treasurer:
Carsten Schneider
Publicity Committee:
Tobias Beck
Janka Pilnikova
Ibolya Szilagyi
Web/Online Registration:
Gabor Bodnar
=====================================================================
Please send all the comments to the appropriate contact:
issac2004 [at] risc [dot] uni-linz.ac.at
------------- End Forwarded Message -------------
From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Oct 11 20:19:50 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9C1Jog13142
for reliable_computing-outgoing; Sat, 11 Oct 2003 20:19:50 -0500 (CDT)
Received: (from rbk5287@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9C1Jj213137
for reliable_computing [at] interval [dot] louisiana.edu; Sat, 11 Oct 2003 20:19:46 -0500 (CDT)
Received: from s2803.fh-konstanz.de (s2803.fh-konstanz.de [141.37.9.248])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9AJ2fo11732
for ; Fri, 10 Oct 2003 14:02:42 -0500 (CDT)
Received: from fh-konstanz.de (dialup187.fh-konstanz.de [141.37.217.187])
by s2803.fh-konstanz.de (8.9.3+Sun/8.9.3) with ESMTP id VAA07934;
Fri, 10 Oct 2003 21:02:30 +0200 (MEST)
Message-ID: <3F8709AA.AC1B531B@fh-konstanz.de>
Date: Fri, 10 Oct 2003 21:34:02 +0200
From: Garloff [at] s2803 [dot] fh-konstanz.de,
=?iso-8859-1?Q?J=FCrgen?=
Organization: Fachhochschule Konstanz
X-Mailer: Mozilla 4.51 [en] (Win98; I)
X-Accept-Language: en
MIME-Version: 1.0
To: reliable_computing [at] interval [dot] louisiana.edu, na.digest@na-net.ornl.gov,
granvilliers [at] irin [dot] univ-nantes.fr
Subject: Research position
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
RESEARCH POSITION AT THE UNIVERSITY OF APPLIED SCIENCES / FH KONSTANZ
The Institute of Applied Research at the University of Applied Sciences
Konstanz invites applications for a research position in the project
'Parameter Set Estimation'. The project covers the rigorous estimation
of the parameters of some models, where data uncertainties are present.
This project is a joint project with the Institut de Recherche en
Informatique (IRIN) at the Université de Nantes in France and funded by
the German Ministry of Education and Research and the French-German
program PROCOPE.
We are looking for a candidate having at least an M. Sc. degree and a
background in interval computations. Also some knowledge in constrained
programming would be beneficial. Proficiency with programming in C/C++
and a good command of the English or German language are highly
desirable.
The position offers the opportunity to work towards a doctoral degree or
to achieve additional scientific qualifications.
The appointment will be for about 14 months. The salary will be
commensurate (BAT IIa, the exact amount is depending on age and personal
status).
Lake Constance and the nearby Alps offer excellent conditions for all
kinds of water and mountaineering sports.
To apply, please send your CV, including publications via email as soon
as possible, preferably in PS or PDF format. Review of applications
begins immediately and will continue until the position is filled.
Prof. Dr. Jürgen Garloff
University of Applied Sciences / FH Konstanz
Department of Computer Science
PO Box 100543
D-78405 Konstanz
Germany
Email: garloff@fh-konstanz.de
Tel.: +49-7531-206-597 (office)
+49-7533-934975 (home)
Fax: +49-7531-206-559
URL: http://www-home.fh-konstanz.de/~garloff/
From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Oct 12 11:29:44 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9CGTi614450
for reliable_computing-outgoing; Sun, 12 Oct 2003 11:29:44 -0500 (CDT)
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 h9CGTco14446
for ; Sun, 12 Oct 2003 11:29:38 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h9CGTNl02580;
Sun, 12 Oct 2003 10:29:24 -0600 (MDT)
Message-Id: <200310121629.h9CGTNl02580 [at] cs [dot] utep.edu>
Date: Sun, 12 Oct 2003 10:29:22 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: RE: 2nd International Conference on Soft Methods in probability and Statistics
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: Y2mWkp1qEsb9ljozo90qMA==
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 h9CGTdo14447
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
FYI. The organizers are interested, among other things, in interval techniques
in probability and statistics.
------------- Begin Forwarded Message -------------
From: "angelesgil"
##########################################################
2nd INTERNATIONAL CONFERENCE ON SOFT METHODS IN PROBABILITY AND
STATISTICS (SMPS’2004)
Oviedo (Asturias) – SPAIN – September 2-4, 2004
http://web.uniovi.es/SMPS
SCOPE OF THE CONFERENCE:
During the last thirty years a considerable number of papers have been
published with the aim to extend the existing theory of probability and
mathematical statistics. The common feature of those attempts is to
"soften" the classical theory. Some "softening" approaches utilise
concepts and techniques developed in such theories as the fuzzy set
theory or the theory of possibility, and other approaches, like the
Dempster-Shafer theory, have their origins in the classical theory of
probability.
The soft methods in probability and mathematical statistics have
obviously many common features. The First Conference on Soft Methods in
Probability and Statistics, held in Warsaw in 2002 and organized by the
Systems Research Institute from the Polish Academy of Sciences, gave
many researchers on related topics the opportunity to exchange ideas and
applicable techniques.
On the occasion of the SMPS’2002, a biennial structure was agreed, the
Department of Statistics and Operation Research at the University of
Oviedo in Spain being the organizer for the Second Conference on Soft
Methods in Probability and Statistics. The Conference will be held in
Oviedo (Northwestern Spain), on September 2-4, 2004.
The scope of SMPS’2004 is to bring together experts representing all
existing approaches used in soft probability and statistics. In
particular, we would welcome papers combining probability and statistics
with fuzzy logic, applications of the Dempster-Shafer theory,
generalized theories of uncertainty, generalized random elements,
generalized probabilities and so on. Both theoretical and applied papers
will be welcome.
SCIENTIFIC COMMITTEE:
Honorary Chairman and Opening Lecture: L. Zadeh (University of Berkeley,
California, USA)
Scientific Committee members:
N. Corral (University of Oviedo, SPAIN)
D. Dubois (CNRS-University Paul Sabatier, Toulouse, FRANCE)
P. Gil (University of Oviedo, SPAIN)
O. Hryniewicz (Polish Academy of Sciences, Warsaw, POLAND)
J. Kacprzyk (Polish Academy of Sciences, Warsaw, POLAND)
R. Kruse (University of Magdeburg, GERMANY)
J. Lawry (University of Bristol, UK)
I. Molchanov (University of Bern, SWITZERLAND) – Plenary Lecture
S. Moral (University of Granada, SPAIN)
W. Naether (University of Freiberg, GERMANY)
H.T. Nguyen (University of Las Cruces, New Mexico, USA) – Plenary
Lecture
Y. Ogura (University of Saga, JAPAN) – Plenary Lecture
D.A. Ralescu (University of Cincinnati, Ohio, USA) – Closing Lecture
M. Rojas-Medar (University Estadual de Campiñas, BRAZIL)
R. Viertl (University of Vienna, AUSTRIA)
ORGANIZING COMMITTEE:
General Chairs:
M.A. Gil and M. López-Díaz (University of Oviedo, SPAIN)
Committee members:
M.R. Casals (University of Oviedo, SPAIN)
I. Cascos (Public University of Navarra, SPAIN)
A. Colubi (University of Oviedo, SPAIN)
P. Grzegorzewski (Polish Academy of Sciences, Warsaw, POLAND)
V. Kraetschmer (University of Saarland, GERMANY)
M.T. López-García (University of Oviedo, SPAIN)
M.A. Lubiano (University of Oviedo, SPAIN)
M. Montenegro (University of Oviedo, SPAIN)
E. Mrowka (Polish Academy of Sciences, Warsaw, POLAND)
L.J. Rodríguez-Muñiz (University of Oviedo, SPAIN)
A. Salas (University of Oviedo, SPAIN)
P.N. Terán (University of Zaragoza, SPAIN)
CALL FOR PAPERS:
Full papers of 5-8 pages (A4) written in English should be submitted by
e-mail no later than February 15, 2004 to com2smps [at] correo [dot] uniovi.es. The
camera-ready typescripts of the accepted papers must be submitted by
e-mail by May 30, 2004 (tentative date), in accordance with the
instructions authors will receive in due time.
TIMETABLE (deadlines):
Registration and submission of papers: February 15, 2004
Notification of acceptance: March 30, 2004
Submission of the camera-ready typescripts of the papers papers and
payment of the conference fees: May 30, 2004 (tentative)
CONFERENCE FEES:
EUSFLAT/SEIO members : 180 €
Others: 240 €
The payment of the Conference fees includes a copy of the SMPS'2004
Proceedings, attendance to the seminars, refreshments and the conference
dinner.
For accepted contributions to be included in the Sessions and
Proceedings of the Conference, the payment should be made necessarily
before the camera-ready deadline (May 30, 2004 -tentative-).
All conference fees have to be paid directly into the following
international bank account:
CONGRESO SMPS 2004
IBAN: ES80 2048 0153 6103 4002 6580
BIC / SWIFT CAJASTUR: CECAESMM048
CORRESPONDENCE:
Any question on SMPS’2004 should be addressed to:
Prof. Luis José Rodríguez Muñiz
Dpto. Estadística e I.O. y D.M.
Universidad de Oviedo
Escuela de Marina Civil
Campus de Viesques, s/n
E-33203 Gijón (Asturias), SPAIN
e-mail: smps2004 [at] correo [dot] uniovi.es
http://web.uniovi.es/SMPS/
------------- End Forwarded Message -------------
From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Oct 12 13:19:58 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9CIJwl14596
for reliable_computing-outgoing; Sun, 12 Oct 2003 13:19:58 -0500 (CDT)
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 h9CIJso14592
for ; Sun, 12 Oct 2003 13:19:54 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h9CIJoo03106;
Sun, 12 Oct 2003 12:19:50 -0600 (MDT)
Message-Id: <200310121819.h9CIJoo03106 [at] cs [dot] utep.edu>
Date: Sun, 12 Oct 2003 12:19:51 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: Re: Intervals, Optimization, and Publications
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: QDGZR7+9EOyXiLoXXUAljA==
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
The article is available on the web!
------------- Begin Forwarded Message -------------
X-Sender: rbk5287 [at] pop [dot] louisiana.edu
Mime-Version: 1.0
Date: Fri, 19 Sep 2003 15:54:41 -0500
To: "Ray Moore" ,
From: "R. Baker Kearfott"
Subject: Re: Intervals, Optimization, and Publications
Ray,
Speaking of public press and intervals, examine (in three weeks) the
article on intervals by Brian Hayes in "American Scientist." Shall I remind
people then? At that time, the article should be posted at
http://www.americanscientist.org/
Also, please stay tuned for bigger and better things in validated
optimization. I'm extremely optimistic about this at this point,
but it will take a few months for everything to come to light.
Best regards,
Baker
---------------------------------------------------------------
R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax)
(337) 482-5270 (work) (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------
------------- End Forwarded Message -------------
From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Oct 12 15:11:51 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9CKBol14707
for reliable_computing-outgoing; Sun, 12 Oct 2003 15:11:50 -0500 (CDT)
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 h9CKBko14703
for ; Sun, 12 Oct 2003 15:11:46 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h9CKBes03645;
Sun, 12 Oct 2003 14:11:40 -0600 (MDT)
Message-Id: <200310122011.h9CKBes03645 [at] cs [dot] utep.edu>
Date: Sun, 12 Oct 2003 14:11:40 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: Hayes article: one minor inaccuracy
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: nYj7uFuu5quUj9+s6ICfJA==
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,
In the otherwise excellent article, there is only one minor inaccuracy.
On p. 486, the article claims that for multiplication of two intervals, "in the
worst case, there is no choice but to compute all four of the combinations and
select the extrema".
This may not be a common knowledge in our community, but it is actually
possibel to find the product of two intervals by using no more than 3
multiplications of real numbers.
The corresponding algorithm was first presented in
G. Heindl, An improved algorithm for computing the
product of two machine intervals, Interner Bericht IAGMPI- 9304,
Fachbereich Mathematik, Gesamthochschule Wuppertal, 1993.
It is worth mentioning that while the worst-case number of multiplications is
3, the average-case can be reduced to 2, see
Chadi Hamzo and Vladik Kreinovich,
"On Average Bit Complexity of Interval Arithmetic",
Bulletin of the European Association for Theoretical
Computer Science (EATCS), 1999, Vol. 68, pp. 153-156.
This article is available as http://www.cs.utep.edu/vladik/1999/tr99-20.ps.gz
(compressed postscript) or http://www.cs.utep.edu/vladik/1999/tr99-20.pdf (pdf)
You may want to look into this article even if you are not interested in the
average-case complexity because this article starts with explaining Heindl's
3-multiplications algorithm.
Vladik
From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Oct 13 03:37:18 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9D8bI115371
for reliable_computing-outgoing; Mon, 13 Oct 2003 03:37:18 -0500 (CDT)
Received: from iph.bio.bas.bg (IDENT:0@bas-bio.lines.bas.bg [195.96.252.58])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9D8bCo15367
for ; Mon, 13 Oct 2003 03:37:12 -0500 (CDT)
Received: from biomath2 (biomath2.bio.bas.bg [10.0.0.18])
by iph.bio.bas.bg (8.11.6/8.11.6) with ESMTP id h9D8bur02241;
Mon, 13 Oct 2003 11:37:56 +0300
From: "Evgenija D. Popova"
Organization: Institute of Mathematics & Informatics, BAS
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Date: Mon, 13 Oct 2003 11:45:34 +0200
Subject: Re: Hayes article: one minor inaccuracy
Reply-to: epopova [at] bio [dot] bas.bg
Message-ID: <3F8A905E.14880.62F9F3@localhost>
In-reply-to: <200310122011.h9CKBes03645 [at] cs [dot] utep.edu>
X-mailer: Pegasus Mail for Win32 (v3.12c)
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Dear Colleagues,
it seems that some basic results about interval arithmetic are not
widely known. In addition to Vladik's information, please consider
the following:
Interval multiplication, performed by 3 floating-point
multiplications, has a theoretical justification provided by a "new"
formula for multiplication of intervals involving zero. This is a
concise formula which specifies the end-points of the interval
product by using Ratschek's chi-functional. The formula was presented
at SCAN'97 (Lyon) and published in
E. Popova: Algebraic Solutions to a Class of Interval Equations,
Journal of Universal Computer Science, Vol. 4, no. 1, 1998, 48-67.
Then the formula appears in several publications, the last one is
E. Popova: Multiplication Distributivitty of Proper and Improper
Intervals, Reliable Computing 7, 2, 2001, pp.129-140.
Some algorithms for interval multiplication are also discussed in
E. Popova: On the Efficiency of Interval Multiplication Algorithms.
Proceedings of III-rd International Conference ``Real Numbers and
Computers'', Paris, April 27-29, 1998, 117-132.
Best regards,
Evgenija D. Popova, Assoc.Prof., Dr.
---------------------------------------------------------
Institute of Mathematics & Informatics
Bulgarian Academy of Sciences
Acad. G. Bonchev str., block 8
BG-1113 Sofia, Bulgaria
Phone: (+359 2) 979-3704
Fax: (+359 2) 971-3649
http://www.math.bas.bg/~epopova
---------------------------------------------------------
From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 15 12:49:13 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9FHnC318714
for reliable_computing-outgoing; Wed, 15 Oct 2003 12:49:12 -0500 (CDT)
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 h9FHn8o18710
for ; Wed, 15 Oct 2003 12:49:09 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h9FHn0S28073;
Wed, 15 Oct 2003 11:49:00 -0600 (MDT)
Message-Id: <200310151749.h9FHn0S28073 [at] cs [dot] utep.edu>
Date: Wed, 15 Oct 2003 11:48:59 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: Re: interval analysis in bioinformatics?
To: H.Huang [at] leeds [dot] ac.uk
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: r7Moa31u8yR8t2aO/I2Bfg==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
> Date: Wed, 15 Oct 2003 17:16:39 +0100
> From: H Huang
> X-Accept-Language: en
> MIME-Version: 1.0
> To: Vladik Kreinovich
> CC: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
> Subject: interval analysis in bioinformatics?
> Content-Transfer-Encoding: 7bit
>
> Dear Vladik,
> I like the idea of interval analysis, but there seems not many job on this.
> Has anyone applied the interval anlysis in bioinformatics or please point
out
> any reference paper about applications in bioinformatics?
We had a discussion on the mailing list some time ago, maybe somebody kept a
record. I know quite a few universities (our included) have Bioifnroamtcis
programs now, and some interval folks (Dan Berleant I remember) actievly
participates.
The onlh application I remember is by Arnold Neumaier who used, several eyars
ago, interval techniques as part of the tools to solve global optimization
problems related to protein folding. When I taught an interv an interval class
a few years ago, one of the students reported on his paper. You can find it on
Arnold's website. Warning: this is not a killer application of intervals,
intervals are just one of the tools, not the main one.
Ilya Muchnik from Rutgers was very much interested in using interval arithmetic
to gauge uncertainty of the results of optimization and of other bioinformatics
algorithms. He was the one who helped us set up our program, and because of his
opinions, interval computations are a part of the Bioinformatics curriculum -
with the idea that while this is not widely used now, it is a prospective tool.
Of course, interval graphs and related algorithms are heavily used in genomic
analysis. Theoretical saspects are best described in Pevzner's textbook
(Computational Molecular Biology: An Algorithmic Approach, 2000). I realize
this is somewhat tangent to mainstream interval computations but still.
Re jobs: are you refering to bioinformatics jobs or interval jobs?
Vladik
> Thanks
> Haitao
From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 16 06:50:57 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9GBouO19837
for reliable_computing-outgoing; Thu, 16 Oct 2003 06:50:56 -0500 (CDT)
Received: (from rbk5287@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9GBorp19831
for reliable_computing [at] interval [dot] louisiana.edu; Thu, 16 Oct 2003 06:50:53 -0500 (CDT)
Received: from mps8.leeds.ac.uk (mps8.leeds.ac.uk [129.11.6.10])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9FGH2o18622
for ; Wed, 15 Oct 2003 11:17:03 -0500 (CDT)
Received: from sun.leeds.ac.uk (sunserv7.leeds.ac.uk [129.11.6.162])
by mps8.leeds.ac.uk (8.12.10/8.12.10) with ESMTP id h9FGBGan012456;
Wed, 15 Oct 2003 17:11:16 +0100 (BST)
Received: from leeds.ac.uk (che-pc2055.leeds.ac.uk [129.11.133.55])
by sun.leeds.ac.uk (8.11.7/8.11.4) with ESMTP id h9FGGrb23829;
Wed, 15 Oct 2003 17:16:54 +0100 (BST)
Message-ID: <3F8D72E7.7375803 [at] leeds [dot] ac.uk>
Date: Wed, 15 Oct 2003 17:16:39 +0100
From: H Huang
X-Mailer: Mozilla 4.78 [en] (X11; U; Linux 2.4.7-10smp i686)
X-Accept-Language: en
MIME-Version: 1.0
To: Vladik Kreinovich
CC: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Subject: interval analysis in bioinformatics?
References: <200310121819.h9CIJoo03106 [at] cs [dot] utep.edu>
Content-Type: text/plain; charset=gb2312
Content-Transfer-Encoding: 7bit
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Dear Vladik,
I like the idea of interval analysis, but there seems not many job on this.
Has anyone applied the interval anlysis in bioinformatics or please point out
any reference paper about applications in bioinformatics?
Thanks
Haitao
From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 16 09:16:44 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9GEGhH00322
for reliable_computing-outgoing; Thu, 16 Oct 2003 09:16:43 -0500 (CDT)
Received: (from rbk5287@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9GEGdd00317
for reliable_computing [at] interval [dot] louisiana.edu; Thu, 16 Oct 2003 09:16:39 -0500 (CDT)
Received: from mps8.leeds.ac.uk (mps8.leeds.ac.uk [129.11.6.10])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9FGH2o18622
for ; Wed, 15 Oct 2003 11:17:03 -0500 (CDT)
Received: from sun.leeds.ac.uk (sunserv7.leeds.ac.uk [129.11.6.162])
by mps8.leeds.ac.uk (8.12.10/8.12.10) with ESMTP id h9FGBGan012456;
Wed, 15 Oct 2003 17:11:16 +0100 (BST)
Received: from leeds.ac.uk (che-pc2055.leeds.ac.uk [129.11.133.55])
by sun.leeds.ac.uk (8.11.7/8.11.4) with ESMTP id h9FGGrb23829;
Wed, 15 Oct 2003 17:16:54 +0100 (BST)
Message-ID: <3F8D72E7.7375803 [at] leeds [dot] ac.uk>
Date: Wed, 15 Oct 2003 17:16:39 +0100
From: H Huang
X-Mailer: Mozilla 4.78 [en] (X11; U; Linux 2.4.7-10smp i686)
X-Accept-Language: en
MIME-Version: 1.0
To: Vladik Kreinovich
CC: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Subject: interval analysis in bioinformatics?
References: <200310121819.h9CIJoo03106 [at] cs [dot] utep.edu>
Content-Type: text/plain; charset=gb2312
Content-Transfer-Encoding: 7bit
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Dear Vladik,
I like the idea of interval analysis, but there seems not many job on this.
Has anyone applied the interval anlysis in bioinformatics or please point out
any reference paper about applications in bioinformatics?
Thanks
Haitao
From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Oct 17 15:57:05 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9HKv5a01789
for reliable_computing-outgoing; Fri, 17 Oct 2003 15:57:05 -0500 (CDT)
Received: from mailbox.univie.ac.at ([131.130.1.27])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9HKuwC01785
for ; Fri, 17 Oct 2003 15:56:59 -0500 (CDT)
Received: from univie.ac.at (edoras.mat.univie.ac.at [131.130.16.104])
by mailbox.univie.ac.at (8.12.10/8.12.10) with ESMTP id h9HKoEsO227558;
Fri, 17 Oct 2003 22:50:38 +0200
Message-ID: <3F905605.A1D156F1 [at] univie [dot] ac.at>
Date: Fri, 17 Oct 2003 22:50:13 +0200
From: Arnold Neumaier
Organization: University of Vienna
X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.18-27.7.x i686)
X-Accept-Language: en, de
MIME-Version: 1.0
To: stig [at] diku [dot] dk, Moore ,
interval
Subject: Moore-Skelboe Algorithm
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-DCC-ZID-Univie-Metrics: mailbox 4243; Body=0 Fuz1=0 Fuz2=0
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Dear Prof. Moore,
Dear Prof. Skelboe,
could you please let me know the precise references for
the Moore-Skelboe Algorithm?
I found
S. Skelboe,
Computation of rational interval functions,
BIT 14 (1974), 87--95.
but do not have access to the paper. What is the earliest
reference for the Moore part?
Best wishes,
Arnold Neumaier
From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Oct 19 23:24:06 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9K4O5a05245
for reliable_computing-outgoing; Sun, 19 Oct 2003 23:24:05 -0500 (CDT)
Received: from brmea-mail-2.sun.com (brmea-mail-2.Sun.COM [192.18.98.43])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9K4NvC05241
for ; Sun, 19 Oct 2003 23:23:58 -0500 (CDT)
Received: from heliopolis.eng.sun.com ([152.70.28.21])
by brmea-mail-2.sun.com (8.12.10/8.12.9) with ESMTP id h9K4NbPh003513;
Sun, 19 Oct 2003 22:23:37 -0600 (MDT)
Received: from sun.com (vpn-129-147-152-185.Central.Sun.COM [129.147.152.185])
by heliopolis.eng.sun.com (8.11.6+Sun/8.11.6/ENSMAIL,v2.1p1) with ESMTP id h9K4NXQ03539;
Sun, 19 Oct 2003 21:23:34 -0700 (PDT)
Message-ID: <3F9363A8.3020104 [at] sun [dot] com>
Date: Sun, 19 Oct 2003 21:25:12 -0700
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, interval [at] cs [dot] utep.edu
Subject: Eldon and I need your help
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,
Eldon and I have a problem perhaps one of you can help us with. In 1987 we wrote a paper titled "Equality Constrained Global Optimization." We thought it had been submitted to the SIAM J. on Control and Optimization. However we cannot find it there. I have copies of the original paper, but neither Eldon, nor I can find a record of where we submitted it for publication.
If any of you has seen it in print, can you please send us the location? We are trying to clean up the Bibliography for the new edition of "Global Optimization Using Interval Analysis."
Thanks in advance for any information you can provide.
Best regards,
Bill
From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Oct 20 14:55:43 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9KJtgi06284
for reliable_computing-outgoing; Mon, 20 Oct 2003 14:55:42 -0500 (CDT)
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 h9KJtZC06280
for ; Mon, 20 Oct 2003 14:55:36 -0500 (CDT)
Received: from univie.ac.at (edoras.mat.univie.ac.at [131.130.16.104])
by mailbox.univie.ac.at (8.12.10/8.12.10) with ESMTP id h9KJtIwM046718;
Mon, 20 Oct 2003 21:55:21 +0200
Message-ID: <3F943DA6.E7EAF125 [at] univie [dot] ac.at>
Date: Mon, 20 Oct 2003 21:55:18 +0200
From: Arnold Neumaier
Organization: University of Vienna
X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.18-27.7.x i686)
X-Accept-Language: en, de
MIME-Version: 1.0
To: interval
Subject: Survey on constrained global optimization
Content-Type: text/plain; charset=UTF-7
Content-Transfer-Encoding: 7bit
X-DCC-ZID-Univie-Metrics: mailbox 4246; Body=0 Fuz1=0 Fuz2=0
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
I just completed an extensive survey on constrained global
optimization...
A. Neumaier,
Complete Search in Continuous Global Optimization and Constraint
Satisfaction
http://www.mat.univie.ac.at/~neum/papers.html#glopt03
[~ is a tilde]
Abstract.
This survey covers the state of the art of techniques for solving
general purpose constrained global optimization problems and
continuous constraint satisfaction problems, with emphasis on
complete techniques that provably find all solutions (if there are
finitely many).
The core of the material is presented in sufficient detail that
the survey may serve as a text for teaching constrained global
optimization.
After giving motivations for and important examples of applications of
global optimization, a precise problem definition is given, and a
general form of the traditional first order necessary conditions for a
solution. Then more than a dozen software packages for complete global
search are described.
A quick review of incomplete methods for bound constrained problems
and recipes for their use in the constrained case follows, an explicit
example is discussed, introducing the main techniques used
within branch and bound techniques. Sections on interval arithmetic,
constrained propagation and local optimization are followed by
a discussion of how to avoid the cluster problem. Then a discussion of
important problem transformations follows, in particular of linear,
convex, and semilinear (= mixed integer linear) relaxations that are
important for handling larger problems.
Next, reliability issues - centering around rounding error handling and
testing methodology - are discussed, and the COCONUT framework for the
integration of the different techniques is introduced.
A list of challenges facing the field in the near future
concludes the survey.
From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 21 05:56:05 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9LAu5G09370
for reliable_computing-outgoing; Tue, 21 Oct 2003 05:56:05 -0500 (CDT)
Received: from galaxy.uci.agh.edu.pl (postfix [at] galaxy [dot] uci.agh.edu.pl [149.156.96.9])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9LAtwC09366
for ; Tue, 21 Oct 2003 05:55:59 -0500 (CDT)
Received: by galaxy.uci.agh.edu.pl (Postfix, from userid 6702)
id 25072AF3E5; Tue, 21 Oct 2003 12:55:41 +0200 (CEST)
Received: from localhost (localhost [127.0.0.1])
by galaxy.uci.agh.edu.pl (Postfix) with ESMTP
id 1E798DBBA8; Tue, 21 Oct 2003 12:55:41 +0200 (CEST)
Date: Tue, 21 Oct 2003 12:55:41 +0200 (CEST)
From: Iwona Skalna
To: Vladik Kreinovich
Cc: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Subject: Intervals in economy
In-Reply-To: <200203272003.g2RK3fU08349 [at] cs [dot] utep.edu>
Message-ID:
References: <200203272003.g2RK3fU08349 [at] cs [dot] utep.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Dear all,
I am looking for some references to applications of interval
methods in economy, management, etc. Any suggestions about
some new directions (open subjects) in the field mentioned above
as well as in the qualitative simulation would be appreciated.
With best regards,
Iwona Skalna
From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 21 08:05:27 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9LD5Rf09577
for reliable_computing-outgoing; Tue, 21 Oct 2003 08:05:27 -0500 (CDT)
Received: from ohsmtp02.ogw.rr.com (ohsmtp02.ogw.rr.com [65.24.7.37])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9LD5MC09573
for ; Tue, 21 Oct 2003 08:05:22 -0500 (CDT)
Received: from REM (dhcp065-024-172-246.columbus.rr.com [65.24.172.246])
by ohsmtp02.ogw.rr.com (8.12.10/8.12.2) with SMTP id h9LD4hI6026688;
Tue, 21 Oct 2003 09:04:48 -0400 (EDT)
Message-ID: <000601c397d3$f63c81c0$f6ac1841@REM>
From: "Ray Moore"
To: "Iwona Skalna" ,
"Vladik Kreinovich"
Cc: ,
References: <200203272003.g2RK3fU08349 [at] cs [dot] utep.edu>
Subject: Re: Intervals in economy
Date: Tue, 21 Oct 2003 09:05:07 -0400
MIME-Version: 1.0
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Dear Iwona Skalna,
You can find many references by using
http://www.google.com/
with best regards,
Ray Moore
----- Original Message -----
From: "Iwona Skalna"
To: "Vladik Kreinovich"
Cc: ;
Sent: Tuesday, October 21, 2003 6:55 AM
Subject: Intervals in economy
> Dear all,
>
> I am looking for some references to applications of interval
> methods in economy, management, etc. Any suggestions about
> some new directions (open subjects) in the field mentioned above
> as well as in the qualitative simulation would be appreciated.
>
> With best regards,
> Iwona Skalna
>
From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 21 10:42:04 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9LFg3E09794
for reliable_computing-outgoing; Tue, 21 Oct 2003 10:42:04 -0500 (CDT)
Received: from sdf-eu.org (IDENT:root@sdf-eu.org [192.94.73.35])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9LFfwC09790
for ; Tue, 21 Oct 2003 10:41:58 -0500 (CDT)
Received: from sdf-eu.org (IDENT:logistic@localhost [127.0.0.1])
by sdf-eu.org (8.12.10/8.12.10) with ESMTP id h9LFfm7d018883;
Tue, 21 Oct 2003 15:41:48 GMT
Received: (from logistic@localhost)
by sdf-eu.org (8.12.10/8.12.8/Submit) id h9LFfmE3018881;
Tue, 21 Oct 2003 15:41:48 GMT
Date: Tue, 21 Oct 2003 15:41:48 +0000
From: "Janos G. Hajagos"
To: Iwona Skalna
Cc: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Subject: Re: Intervals in economy
Message-ID: <20031021154147.GA9365@sdf-eu.org>
References: <200203272003.g2RK3fU08349 [at] cs [dot] utep.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To:
User-Agent: Mutt/1.4.1i
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Iwona,
I don't know much on this topic but there is a Masters thesis:
http://www.mscs.mu.edu/~globsol/Papers/ranjit_ms.ps
Also, there is some more information on the globsol page:
http://studsys.mscs.mu.edu/~globsol/about.html
Weldon Lodwick and K. David Jamison have a paper which has an example
applied to investment portfolios:
http://www-math.cudenver.edu/~wlodwick/publications/rccdf.pdf
Hope this is helpful.
-Janos
On Tue, Oct 21, 2003 at 12:55:41PM +0200, Iwona Skalna wrote:
> Dear all,
>
> I am looking for some references to applications of interval
> methods in economy, management, etc. Any suggestions about
> some new directions (open subjects) in the field mentioned above
> as well as in the qualitative simulation would be appreciated.
>
> With best regards,
> Iwona Skalna
--
Homepage:
From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Oct 21 16:12:31 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9LLCU910001
for reliable_computing-outgoing; Tue, 21 Oct 2003 16:12:30 -0500 (CDT)
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 h9LLCQC09997
for ; Tue, 21 Oct 2003 16:12:26 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h9LLCIU20454;
Tue, 21 Oct 2003 15:12:18 -0600 (MDT)
Message-Id: <200310212112.h9LLCIU20454 [at] cs [dot] utep.edu>
Date: Tue, 21 Oct 2003 15:12:19 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: apology and information
To: interval [at] cs [dot] utep.edu
Cc: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: GP85OVmPPvvejt3qwRfuvA==
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
To protect against spam, interval [at] cs [dot] utep.edu list (intervals in knowledge
representation) only accepts emails from those whose emails are on the list.
All other emails sent to the list bounce back to me.
Every day, I get several spams bounced back, so this trick seems to work.
On the other hand, if you have, e.g., your office email registered and send
from home email, the email blounces back to me. If I see that the message is
from an interval-related person, I forward it to the list.
Sometimes I accidentally do it twice, when it bounces back the first time
around, as I just just did.
My apologies for the inconvenience.
Vladik
From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 22 03:04:19 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9M84JI10605
for reliable_computing-outgoing; Wed, 22 Oct 2003 03:04:19 -0500 (CDT)
Received: from s2803.fh-konstanz.de (s2803.fh-konstanz.de [141.37.9.248])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9M84DC10601
for ; Wed, 22 Oct 2003 03:04:13 -0500 (CDT)
Received: from fh-konstanz.de (garloff.fh-konstanz.de [141.37.31.203])
by s2803.fh-konstanz.de (8.9.3+Sun/8.9.3) with ESMTP id KAA29707;
Wed, 22 Oct 2003 10:03:40 +0200 (MEST)
Message-ID: <3F96365F.3FF257C0@fh-konstanz.de>
Date: Wed, 22 Oct 2003 09:48:47 +0200
From: =?iso-8859-1?Q?J=FCrgen?= Garloff
X-Mailer: Mozilla 4.78 [de] (Win98; U)
X-Accept-Language: de
MIME-Version: 1.0
To: Iwona Skalna
CC: Vladik Kreinovich ,
reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Subject: Re: Intervals in economy
References: <200203272003.g2RK3fU08349 [at] cs [dot] utep.edu>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Here is a reference to a book which seems not to be known (however it is
written in German):
Wewel, Max Christoph
Intervallarithmetische Dependenzanalyse in der Oekonometrie
Hohenheimer Volkswirtschaftliche Schriften No. 5
Peter Lang , Frankfurt, Bern, New york, Paris, 1987
ISSN 0721-3085
Regards,
Juergen Garloff
Iwona Skalna schrieb:
> Dear all,
>
> I am looking for some references to applications of interval
> methods in economy, management, etc. Any suggestions about
> some new directions (open subjects) in the field mentioned above
> as well as in the qualitative simulation would be appreciated.
>
> With best regards,
> Iwona Skalna
From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Oct 22 09:38:02 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9MEc2g11252
for reliable_computing-outgoing; Wed, 22 Oct 2003 09:38:02 -0500 (CDT)
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 h9MEbtC11248
for ; Wed, 22 Oct 2003 09:37:56 -0500 (CDT)
Received: from liberty (liberty.louisiana.edu [130.70.46.171])
by marnier.ucs.louisiana.edu (8.11.3/8.11.3/ull-ucs-mx-host_1.6) with SMTP id h9MEbrU13563
for ; Wed, 22 Oct 2003 09:37:53 -0500 (CDT)
Message-Id: <2.2.32.20031022144241.01677e2c [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: Wed, 22 Oct 2003 09:42:41 -0500
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott"
Subject: GlobSol documentation
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Colleagues,
The GlobSol pages have been removed from the Marquette web site, and
have been transferred to me. I need to update the entire set
of pages. In the mean time, the download_GlobSol page, containing
installation and testing instructions, can be obtained from
http://interval.louisiana.edu/GlobSol/
Best regards,
Baker
P.S. Please report to rbk [at] louisiana [dot] edu if your messages to the
reliable_computing mailing list do not seem to be getting
through. I have observed the list server exhibit some
unusual behavior recently, and I need to know if something
needs fixing. However, allow one day before reporting,
as I may need to manually "approve" your message if the
email from which you are sending is not exactly as on
the list.
---------------------------------------------------------------
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 Wed Oct 22 16:25:43 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9MLPgw11934
for reliable_computing-outgoing; Wed, 22 Oct 2003 16:25:42 -0500 (CDT)
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 h9MLPcj11930
for ; Wed, 22 Oct 2003 16:25:38 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
by cs.utep.edu (8.11.7/8.11.3) with SMTP id h9MLPQw29613;
Wed, 22 Oct 2003 15:25:26 -0600 (MDT)
Message-Id: <200310222125.h9MLPQw29613 [at] cs [dot] utep.edu>
Date: Wed, 22 Oct 2003 15:25:26 -0600 (MDT)
From: Vladik Kreinovich
Reply-To: Vladik Kreinovich
Subject: good news
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: petzold [at] engineering [dot] ucsb.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: dofn/+B6SeSdcDCIeSZROA==
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,
The latest issue of Notices of American Mathematical Society brought good news
about Linda Petzold 9I amm attaching a more detailed info from the SIAM
website).
Many researchers from our community know Dr. Petzold well. Some of her research
topics and very close to our interests. She gave a very interesting invited
talk "Adaptive Numerical Methods for Sensitivity Analysis of
Differential-Algebraic Equations and Partial Differential Equations" at the
2002 SIAM Workshop on Validated Computing in Toronto.
Congratulations to Linda!
***********************************************************************
The AWM-SIAM Sonia Kovalevsky Lecture
Established in 2002, this lecture is to be given annually at the SIAM
Annual Meeting. The lecture is intended to highlight significant
contributions of women to applied or computational mathematics.
2003 Winner:
Linda R. Petzold
University of California, Santa Barbara
Citation: In recognition of her fundamental contributions in the 1980s
to the then-emerging field of differential algebraic equations. She
has had a significant impact in numerous areas of applied mathematics
and computational science, resulting in two books and over 100
publications. Her record in service is also exceptional, including
extensive service to SIAM, most notably in overseeing its transition
to electronic publication of its journals. She is an inspiration to
the entire mathematics community, especially to the women's
mathematics community.
Title of Lecture: "Towards the Multiscale Simulation of Biochemical
Networks"
Linda R. Petzold is currently a Professor in the Department of
Mechanical and Environmental Engineering, and Computer Science, and
Director of the Computational Science and Engineering Program at the
University of California, Santa Barbara. She received her Ph.D. in
Computer Science in 1978 from the University of Illinois. From 1978 to
1985, she was a member of the Applied Mathematics Group at Sandia
National Laboratories in Livermore, California, and, from 1985 to
1991, she was Group Leader of the Numerical Mathematics Group at
Lawrence Livermor National Laboratory. From 1991 to 1997, she was a
Professor in the Department of Computer Science at the University of
Minnesota. Dr. Petzold was awarded the Wilkinson Prize for Numerical
Software in 1991, and the Dahlquist Prize in 1999 for numerical
solution of differential equations. She served a SIAM Vice President
at Large in 2000 and 2001, as SIAM Vice President for Publications
from 1993 to 1998, and as Editor-in-Chief of the SIAM Journal on
Scientific Computing from 1989 to 1993. Her research interests include
numerical ordinary differential equations, differential-algebraic
equations, and partial differential equations, sensitivity analysis,
model reduction, parameter estimation and scientific computing and
problem solving environments.
The AWM-SIAM Sonia Kovalevsky Lecturer receives a framed,
hand-calligraphed certificate signed by the Presidents of AWM and SIAM.
From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Oct 30 14:40:43 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9UKegJ08305
for reliable_computing-outgoing; Thu, 30 Oct 2003 14:40:42 -0600 (CST)
Received: from zmit1.ippt.gov.pl (zmit1.ippt.gov.pl [148.81.53.8])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9UKeZ908301
for ; Thu, 30 Oct 2003 14:40:36 -0600 (CST)
Received: (from zkulpa@localhost) by zmit1.ippt.gov.pl (8.8.5/8.7.3-zmit) id VAA04132; Thu, 30 Oct 2003 21:37:46 +0100 (MET)
Date: Thu, 30 Oct 2003 21:37:46 +0100 (MET)
From: Zenon Kulpa
Message-Id: <200310302037.VAA04132 [at] zmit1 [dot] ippt.gov.pl>
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Subject: Sample pages of "From Picture Processing to Interval Diagrams"
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Just to inform you that several sample pages (including many
diagrams, as requested by Prof. Moore) are now available
at the site about my recent work advertised here some time ago:
Zenon Kulpa: From Picture Processing to Interval Diagrams.
IFTR PAS Reports 4/2003, ix+313 pp., 152+12 figures, 16 tables,
Warsaw 2003.
http://www.ippt.gov.pl/~zkulpa/diagrams/fpptid.html
The main aim of the work is the development and presentation
of the novel diagrammatic notation for interval algebra
and computation developed by the author, and showing its
usefulness in some areas of interval algebra. Additionally,
as a background for that undertaking, a state of the art
survey and partially novel systematization of basic issues
of diagrammatics is attempted, including a unified framework
for relating various subfields and aspects of the pictorial
information handling domain.
For more details (including excerpts from the preface,
full Table of Contents, and ten sample pages to download)
and ordering information, see:
http://www.ippt.gov.pl/~zkulpa/diagrams/fpptid.html
---------------------------------------------------
From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Oct 31 01:45:10 2003
Received: (from daemon@localhost)
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h9V7jAV08885
for reliable_computing-outgoing; Fri, 31 Oct 2003 01:45:10 -0600 (CST)
Received: from capricorn.math.kyushu-u.ac.jp (hidden-user [at] capricorn [dot] math.kyushu-u.ac.jp [133.5.165.1])
by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h9V7j3908881
for ; Fri, 31 Oct 2003 01:45:04 -0600 (CST)
Received: from ibm03dtvn7b20r (gb1000.s.math.kyushu-u.ac.jp)
by math.kyushu-u.ac.jp (Sun Internet Mail Server sims.3.5.1999.05.24.18.28.p7)
with SMTP id <0HNM00JT32UX6T [at] math [dot] kyushu-u.ac.jp> for
reliable_computing [at] interval [dot] louisiana.edu; Fri,
31 Oct 2003 16:44:57 +0900 (JST)
Date: Fri, 31 Oct 2003 16:44:56 +0900
From: Mitsuhiro Nakao
Subject: First Announcement of SCAN2004
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: scan2004 [at] math [dot] kyushu-u.ac.jp
Message-id: <006701c39f82$e0e0ce60$631018ac@ibm03dtvn7b20r>
MIME-version: 1.0
X-Mailer: Microsoft Outlook Express 6.00.2800.1158
Content-type: text/plain; charset="iso-2022-jp"
Content-transfer-encoding: 7bit
X-MSMail-Priority: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
X-Priority: 3
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk
Dear Friends:
SCAN2004, 11th GAMM - IMACS International
Symposium on Scientific Computing, Computer Arithmetic, and Validated
Numerics, will be held at Fukuoka, Japan on October 4-8, 2004.
First announcement of the conference is now available by the following URL:
http://scan2004.math.kyushu-u.ac.jp/
We will successively add more informations to the same homepage from now on.
Since we prepared a publicity poster for advertizing the conference,
if you are interested in the notice of the conference on the wall, please
request the poster to the following e-mail address:
scan2004 [at] math [dot] kyushu-u.ac.jp
You can also send any inquiries about the conference by the above address.
With my best regards,
Conference Chairman:
Mitsuhiro T. Nakao(Faculty of Mathematics)
Local Organizing committee:
Mitsuhiro T. Nakao(Faculty of Mathematics)
Masahisa Tabata(Faculty of Mathematics)
Seiji Fujino(Computing and Communications Center)
Kaori Nagatou(Faculty of Mathematics)
Yoshitaka Watanabe(Computing and Communications Center)
Faculty of Mathematics
Kyushu University 33
Fukuoka 812-8581, Japan