Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Fw: Rejected posting to STDS-1788@xxxxxxxxxxxxxxxxx

P1788,
As requested by Josep, I'm forwarding the attached e-mail which he was unable to send. 

Sincerely,

Nate
----- Original Message ----- From: "Josep Vehi" <vehi@xxxxxxxxxxxxxx> 
To: "Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>
Sent: Wednesday, June 06, 2012 6:25 AM
Subject: Fwd: Rejected posting to STDS-1788@xxxxxxxxxxxxxxxxx



Nate,
I had the message rejected by the list server, can you convey my former message to the list, please? 

Thanks in advance

Josep
-------- Missatge original -------- Assumpte: Rejected posting to STDS-1788@xxxxxxxxxxxxxxxxx 
     Data:  Wed, 6 Jun 2012 07:20:05 -0400
     De:  IEEE LISTSERV Server (16.0) <LISTSERV@xxxxxxxx>
     A:  vehi@xxxxxxxxxxxxxx
You are not authorized to send mail to the STDS-1788 list from your vehi@xxxxxxxxxxxxxx account. You might be authorized to post to the list from another account, or perhaps when using another mail program configured to use a different email address. However, LISTSERV has no way to associate this other account or address with yours. If you need assistance or if you have any questions regarding the policy of the STDS-1788 list, please contact the list 
owners at STDS-1788-request@xxxxxxxxxxxxxxxxxx
--- Begin Message --- 
Dear All,
Proofs of the semantic theorems were published in the proceeding of the MISC'99, held in Girona, Spain in 1999. Recently, Miguel Sainz at al. are writting a compiling book on Modal Intervals. A draft of this book, containing all the theorems with proofs, was circulated by Vladik Kreinovich on January 26th. 

http://www.cs.utep.edu/interval-comp/sainzModalIntervals.pdf


Josep



Al 05/06/12 12:26, En/na Alexandre Goldsztejn ha escrit:

The original modal intervals theory presents gaps in its mathematical
constructions as well in some critical proofs. You can find a
reformulation based only on Kaucher intervals as well as new proofs
and some new developments in the following manuscripts:

http://hal.archives-ouvertes.fr/hal-00294219/en/

http://hal.archives-ouvertes.fr/hal-00294222/en/

An informal presentation of the new formulation is also proposed in

http://www.goldsztejn.com/publications/QCP2005.Goldsztejn-Daney-Rueher-Taillibert.pdf

Alexandre

On Tue, Jun 5, 2012 at 11:35 AM, Arnold Neumaier
<Arnold.Neumaier@xxxxxxxxxxxx>  wrote:

On 06/05/2012 11:26 AM, John Pryce wrote
[Re: Motion M0034.01 -- Notations}:


On 4 Jun 2012, at 15:14, Nate Hayes wrote:


The semantic theorems of modal interval analysis generalize the
Fundamental
Theorem of Interval Arithmetic ...


Nate, is there ANYWHERE that proofs of these theorems are available? Can
we put them on our web site? Or are they jealously guarded by the Gardenes
group? I've asked before.


What is rigorously known about the semantics of modal interval arithmetic is
summarized in my manuscript
Computer graphics, linear interpolation, and nonstandard intervals
http://www.mat.univie.ac.at/~neum/ms/nonstandard.pdf


Arnold Neumaier





--
Prof. Josep Vehí
Catedràtic d'Universitat
Institut d'Informàtica i Aplicacions
Campus Montilivi. Edifici P4
Universitat de Girona
17071 Girona
Spain
iiia.udg.edu/micelab


begin:vcard
fn;quoted-printable:Josep Veh=C3=AD
n;quoted-printable:Veh=C3=AD;Josep
org;quoted-printable:Universitat de Girona;Centre de Recerca i Innovaci=C3=B3 en TIC
adr:;;Campus Montilivi. Edifici P4;Girona;;;Spain
title:Director
tel;work:+34 972 418 495
tel;cell:+34 620 131 826
url:iiia.udg.edu
version:2.1
end:vcard

--- End Message ---