2 Feb 03:45
3 Feb 20:48
[Reliable Computing] Moore prize: extended call for nominations
Dear Friends, Please find below the extended call for nominations. The reason for this extension is as follows. In the past, we only asked for papers and dissertations, because in the mathematics community, new results are usually published first in papers and/or dissertations, and books are usually overviews of results published elsewhere. However, several colleagues have raised an important issue: that we are interested in applications, not just in pure math, and in many application areas, new results are often first published in books. We do not want to limit the scope of applications, so we decided to add books to the list of things that can be nominated. Because of the increased scope, we decided to extend the deadline, so please submit your nominations by February 29, 2012. Many thanks to those who have already submitted several excellent applications; if you have already submitted, there is no need to re-submit. Vladik P.S. My apologies for the inconvenience. ********************************************************************************************************************** Dear Friends, We seek nominations for the 2012 R. E. Moore Prize for Applications of Interval Analysis. R. E. MOORE PRIZE: HISTORY. In 2002, the Editorial Board of Reliable Computing, an International Journal devoted to reliable mathematical(Continue reading)
3 Feb 23:30
[Reliable Computing] FW: PARA 2012: Call for Papers extension and other updates
FYI, please note that there is an interval session organized by Dr. Kubica -----Original Message----- From: para-l@... [mailto:para-l@...] On Behalf Of Pekka Manninen Sent: Friday, January 27, 2012 3:19 AM To: para-l@... Subject: PARA 2012: Call for Papers extension and other updates PARA 2012 Workshop on State-of-the-Art in Scientific and Parallel Computing June 10-13, 2012 Helsinki, Finland www.csc.fi/para12 CALL FOR PAPERS =============== Scope ----- The main theme of PARA12 is State of the Art in Scientific and Parallel Computing with a special theme "Towards Exascale". Interesting topics include (but are not restricted to) algorithms, software, tools, environments as well as applications for scientific computing, high-performance computing, grid computing, cloud computing, and interactive visualization. Important dates and deadlines -----------------------------(Continue reading)
6 Feb 15:47
klaus.havelund@...>]
Approved: iou14it Received: from lists.nasa.gov (lists.nasa.gov [128.156.249.229]) by interval.louisiana.edu (8.14.1/8.14.1/ull-interval-math-server-1.6) with ESMTP id q15JZoq3008182; Sun, 5 Feb 2012 13:35:55 -0600 (CST) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 8EE26602BF7; Sun, 5 Feb 2012 14:35:48 -0500 (EST) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id IW9l5dUtDfmM; Sun, 5 Feb 2012 14:35:48 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 1F2A2600D7D; Sun, 5 Feb 2012 14:35:48 -0500 (EST) X-Original-To: fm-announcements@... Delivered-To: fm-announcements@... Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 5C41A6011AF for <fm-announcements@...>; Sun, 5 Feb 2012 14:35:46 -0500 (EST) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id jcvt-SOVBhwi for <fm-announcements@...>; Sun, 5 Feb 2012 14:35:46 -0500 (EST) Received: from mail.jpl.nasa.gov (sentrion2.jpl.nasa.gov [128.149.139.106]) by lists.nasa.gov (Postfix) with ESMTP id F2B39600D7D for <fm-announcements@...>; Sun, 5 Feb 2012 14:35:45 -0500 (EST) Received: from [192.168.0.7] (cpe-76-170-88-117.socal.res.rr.com [76.170.88.117]) (authenticated (0 bits)) by smtp.jpl.nasa.gov (Switch-3.4.3/Switch-3.4.3) with ESMTP id(Continue reading)
8 Feb 21:03
[Reliable Computing] new ACM Fellows
The latest (February 2012) issue of Communications of the ACM, the main computer science professional organization, has a list of new ACM Fellows. Some of the folks on this list are familiar to many of us in the interval computations community. This list includes Christian S. Jensen, a specialist in, among other things, interval-valued temporal reasoning and interval-valued temporal databases. It also included Linda Petzold, a specialist in numerical mathematics, especially on differential and algebra-differential equations. Many of us may remember her invited talk at the 2002 SIAM Workshop on Validated Computing 2002 in Toronto, Canada. Congratulations to the new Fellows!
9 Feb 02:30
[Reliable Computing] FW: Special Session on Imprecise Probabilities at FUSION 2012, Singapore, 9 - 12 July 2012
FYI, please note that interval-valued probabilities are one of the highlighted topics
From Alessio Benavoli
Dear Colleague,
in the context of the "15th International Conference on Information Fusion"
(Fusion 2012, http://www.fusion2012.org/), we are organizing the following
Special Session:
'Information Fusion with Imprecise Probabilities'
This special session addresses state estimation and information fusion with
imprecise probabilities and other approaches dealing with uncertainty modeling
that go beyond the classical Bayesian approach.
If you are interested in participating in this Special Session, please
send the title of your paper as soon as you can (preferably before 31
January 2012) to
isas-special-session-LzjI1I19FwmELgA04lAiVw@public.gmane.org
* Please see the attachment for further details. *
Instructions for the submission of a paper are available on the Fusion 2012
web site (http://www.fusion2012.org).
IMPORTANT DATES
Papers due: 1 March 2012
Notification of accepted papers: 15 April 2012
Final paper submission: 15 May 2012
Best regards,
Uwe D. Hanebeck, Alessio Benavoli, Alessandro Antonucci, and Benjamin Noack
_______________________________________________ SIPTA mailing list SIPTA <at> idsia.ch http://mailman.ti-edu.ch/mailman/listinfo/sipta
9 Feb 05:00
[Reliable Computing] FW: New URL for Computing Reviews: ComputingReviews.com
FYI
From: Annette Cords [mailto:service-j9mISXBebvpQGwSQIjy88FaTQe2KTcn/@public.gmane.org]
Computing Reviews is moving to a new URL: |
9 Feb 17:08
[Reliable Computing] missing SCAN
Sergey, dear friends and colleagues You all noticed the invitation to the 15th SCAN meeting , and will hopefully come. Just for fun, I tried to remember where the other meetings took place. I only found 13 predesessors, then I counted your list on the webpage SCAN-XX indeed there are 13 entries! Why that? Is there an overestimation in integer arithmethic 13+1=15? That made me curious. The oldest announcement as "n^th Scan meeting was from the year 2000 in Karlruhe with n=9. Counting from 9 you arrive perfectly at 15 in Novosibirsk. Hence the first 7 conferences pretend to be 8.! Ithink I found the solution: The SCAN meetings were preceded by some smaller meetings in Karlruhe, that was mentioned in the first announcements, until in Vienna it found its way into the list of predesessors. Somebody tossed it out there, but forgot to adjust the number or didn't dare to change it. So do I. My consequence out of this episode will be to organize the 16th SCAN 2014 in Würzburg and insert Karlsruhe before the first. take it easy Jürgen -- -- - Prof. Dr. Juergen Wolff von Gudenberg o Lehrstuhl fuer Informatik II / \ Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg InfoII o Tel.: +49 931 / 31 86602 Fax ../31 86603 / \ Uni E-Mail:wolff@... o o Wuerzburg
9 Feb 17:01
[Reliable Computing] FW: CDC'2012 invited session about "Robust estimation of uncertain systems"
FYI -----Original Message----- From: Tarek RAISSI [mailto:tarek.raissi@...] We are organizing an invited session about "Robust estimation of uncertain systems" in the 51th IEEE Conference on Decision and Control (December 10-13, 2012, Grand Wailea, Maui, Hawaii). Could you please forward the message belowon the mailing list of "reliable computing". Best regards, Tarek RAISSI %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Dear Colleague, We are organizing an invited session about "Robust estimation of uncertain systems" in the 51th IEEE Conference on Decision and Control (December 10-13, 2012, Grand Wailea, Maui, Hawaii): http://control.disp.uniroma2.it/cdc2012/index.php This invited session addresses robust state and parameter estimation mainly with set-membsership techniques. The attached file contains more information about this session. If you are interested in participating in this invited session, please send a title of your paper before 1st March 2012 to the organisers: tarek.raissi@..., or denis.efimov@... Best regards, Tarek RAISSI& Denis EFIMOV -- Tarek RAISSI Maître de Conférences Conservatoire National des Arts et Métiers Département EASY Cedric - laetitia 292, Rue St-Martin, case 2D2P10 75141 Paris Cedex 03 Tél. : 01 40 27 21 69 / 01 58 80 88 83 Por. : 06 10 79 00 71 http://www.mendeley.com/profiles/tarek-raissi/
10 Feb 02:37
[Reliable Computing] New papers and books on interval arithmetic
This new paper should be of interest to list readers:
@String{j-SIAM-J-MAT-ANA-APPL = "SIAM Journal on Matrix Analysis and
Applications"}
@Article{Rump:2012:VBL,
author = "Siegfried M. Rump",
title = "Verified Bounds for Least Squares Problems and
Underdetermined Linear Systems",
journal = j-SIAM-J-MAT-ANA-APPL,
volume = "33",
number = "1",
pages = "130--148",
month = "????",
year = "2012",
CODEN = "SJMAEL",
DOI = "http://dx.doi.org/10.1137/110840248",
ISSN = "0895-4798 (print), 1095-7162 (electronic)",
ISSN-L = "0895-4798",
bibdate = "Thu Feb 9 08:15:52 MST 2012",
bibsource = "http://epubs.siam.org/sam-bin/dbq/toc/SIMAX/33/1;
http://www.math.utah.edu/pub/tex/bib/siamjmatanaappl.bib",
URL = "http://epubs.siam.org/simax/resource/1/sjmael/v33/i1/p130_s1",
acknowledgement = ack-nhfb,
fjournal = "SIAM Journal on Matrix Analysis and Applications",
keywords = "interval arithmetic",
onlinedate = "January 13, 2012",
}
In shorter form, here are pointers to some other recent (2011--date)
books and papers that I've recorded:
Warwick Tucker
Validated numerics: a short introduction to rigorous computations
ISBN 0-691-14781-7, 978-0-691-14781-9
Modern computer arithmeticRichard P. Brent and Paul Zimmermann
ISBN 0-521-19469-5, 978-0-521-19469-3
B. T{\'o}th and J. Fern{\'a}ndez
Interval methods for single and bi-objective optimization problems ---
applied to competitive facility location model
ISBN 3-8383-6624-7, 978-3-8383-6624-1
Katsuhisa Ozaki and Takeshi Ogita and Shin'ichi Oishi and Siegfried
M. Rump
Error-free transformations of matrix multiplication by using fast
routines of matrix multiplication and its applications
http://www.springerlink.com/openurl.asp?genre=article&issn=1017-1398&volume=59&issue=1&spage=95
Hung T. Nguyen and Vladik Kreinovich and Berlin Wu
Computing statistics under interval and fuzzy uncertainty:
applications to computer science and engineering
ISBN 3-642-24904-3, 978-3-642-24904-4
Michel Colman and Annie Cuyt and Joris {Van Deun}
Validated computation of certain hypergeometric functions
http://dx.doi.org/10.1145/2049673.2049675
Ulrich Kulisch and Van Snyder
The exact dot product as basic tool for long interval arithmetic
http://dx.doi.org/10.1007/s00607-010-0127-7
Ulrich Kulisch
Very fast and exact accumulation of products
http://dx.doi.org/10.1007/s00607-010-0131-y
Katsuhisa Ozaki and Takeshi Ogita and Shin'ichi Oishi and Siegfried
M. Rump
Error-free transformations of matrix multiplication by using fast
routines of matrix multiplication and its applications
http://www.springerlink.com/openurl.asp?genre=article&issn=1017-1398&volume=59&issue=1&spage=95
-------------------------------------------------------------------------------
- Nelson H. F. Beebe Tel: +1 801 581 5254 -
- University of Utah FAX: +1 801 581 4148 -
- Department of Mathematics, 110 LCB Internet e-mail:
beebe@... -
- 155 S 1400 E RM 233 beebe@...
beebe@... -
- Salt Lake City, UT 84112-0090, USA URL: http://www.math.utah.edu/~beebe/ -
-------------------------------------------------------------------------------
RSS Feed