gmane.comp.mathematics.reliable-computing

[Reliable Computing] EURO XIII conference 2009 in Bonn

Milan Hladík — 2008-10-09T11:45:29

Dear Colleagues, the 23rd European Conference on Operational Research (EURO 2009) will be held in Bonn, July 5 - 8, 2009. I have an honor to be an organizer of the session "Optimization under uncertainty" at EURO 2009 in the stream "Mathematical Programming". I would like to consider this "uncertainty" as interval-based, since there will be another sessions on Fuzzy Optimisation and Stochastic Programming. You are kindly invited to take part in this session. If you interested and accept this invitation, please go to the Abstract submission page http://www.euro-2009.de/ and submit an invited abstract by using the code number 83f28b11. Notice that the deadline for abstract submission is March 1, 2009. Best wishes, Sincerely yours, Milan Hladik ---- Charles University, Faculty of Mathematics and Physics, Department of Applied Mathematics, Malostranske nam. 25, 118 00, Prague, Czech Republic e-mail: milan.hladik-qjK4eJmZdpSlVyrhU4qvOw< at >public.gmane.org URL: http://kam.mff.cuni.cz/~hladik phone: +420-22191-

[Reliable Computing] RE: Photos from SCAN 2008

Kreinovich, Vladik — 2008-10-07T00:10:23

Dear Markus, Many many thanks. Forwarding as requested. I am also forwarding to the interval mailing list. Vladik -----Original Message----- From: Markus Neher [mailto:markus.neher-o02PS0xoJP9y80wz8M7KhqmYAUrVh0xC< at >public.gmane.org] Sent: Monday, October 06, 2008 5:45 AM To: Kreinovich, Vladik Subject: Photos from SCAN 2008 Dear Vladik, the pictures I took at the SCAN conference are available at http://iamlasun8.mathematik.uni-karlsruhe.de/~ae16/albums/scan2008/ For people who want to download all files, a tgz file has been placed at http://iamlasun8.mathematik.uni-karlsruhe.de/~ae16/albums/ The pictures will be available for about four weeks. Please forward this email to all participants of SCAN 2008. Best regards, Markus

[Reliable Computing] FW: FUZZ-IEEE'09

Kreinovich, Vladik — 2008-10-06T04:06:28

Dear Friends, Traditionally, due to close relations between fuzzy and interval computations, these conferences welcome interval sessions. I myself am most probably unable to attend in 2009, but if there is an interest in organizing such a session, please submit a proposal to the organizers by December 1. I am sending a copy of this message to Sergey Shary, he may be able to attend this conference and thus may be able to organize this session. Good thing about these conferences is that they published pre-conference proceedings in highly readable IEEE database to which many people have access, so papers published in IEEE conferences are highly visible. At a post-SCAN'08 workshop, we have discussed this and decided that interval participation in such conferences should be highly encouraged, since this provides us with additional contacts, gives us extra visibility, and helps establish good and productive collaborations. Vladik -----Original Message----- CALL FOR PAPERS 17th IEEE International Confe

[Reliable Computing] interval mini in Poland in 2009: P.S.

Kreinovich, Vladik — 2008-10-05T17:05:56

P.S. Re mini-symposium on Interval Analysis at the International Conference on Parallel Processing and Applied Mathematics PPAM'09 in Wroclaw, Poland, September 13-16, 2009. Dr. Bartlomiej Kubica, one of the main organizers of the similar 2007 symposium, kindly agreed to take a lead in organizing this symposium too (hopefully, with the help of other 2007 co-organizers). He has helped promote this event at SCAN'08. Many thanks to Dr. Kubica, and hope to see you in Wroclaw next year!

Re: [Reliable Computing] Reliable Computing journal

Ray Moore — 2008-10-05T12:01:13

Yes, many thanks to Slava ! Ray Moore ----- Original Message ----- From: "Kreinovich, Vladik" public.gmane.org> To: public.gmane.org>; public.gmane.org> Cc: public.gmane.org> Sent: Saturday, October 04, 2008 11:39 PM Subject: [Reliable Computing] Reliable Computing journal Dear Friends, This is just FYI, re Reliable Computing journal. We are still discussing the new arrangement, the official announcement will be made in a month. R. Baker Kearfott kindly agreed to serve as the journal's new Editor-in-Chief. He will be making an official announcement in a month or so. Many thanks to Slava Nesterov for all his tireless efforts in leading our journal. Yours Vladik

[Reliable Computing] Reliable Computing journal

Kreinovich, Vladik — 2008-10-05T03:39:41

Dear Friends, This is just FYI, re Reliable Computing journal. We are still discussing the new arrangement, the official announcement will be made in a month. R. Baker Kearfott kindly agreed to serve as the journal's new Editor-in-Chief. He will be making an official announcement in a month or so. Many thanks to Slava Nesterov for all his tireless efforts in leading our journal. Yours Vladik

[Reliable Computing] a new book with a strong emphasis on interval methods

Kreinovich, Vladik — 2008-10-04T22:39:52

The following book describes complex interval arithmetic and new techniques that use this arithmetic to produce guaranteed estimates for the roots. ************************************************************************ ***************** Miodrag Petkovic, "Point Estimation of Root Finding Methods", Springer Lecture Notes in Mathematics, Vol. 1933, 2008 Product Description This book sets out to state computationally verifiable initial conditions for predicting the immediate appearance of the guaranteed and fast convergence of iterative root finding methods. Attention is paid to iterative methods for simultaneous determination of polynomial zeros in the spirit of Smale's point estimation theory, introduced in 1986. Some basic concepts and Smale's theory for Newton's method, together with its modifications and higher-order methods, are presented in the first two chapters. The remaining chapters contain the recent author's results on initial conditions guaranteeing convergence of a wide class of iterative m

[Reliable Computing] SCAN'08: results of processing evaluation forms

Kreinovich, Vladik — 2008-10-04T22:06:25

Dear Friends, Many thanks to those SCAN'08 participants who filled the evaluation forms. We have just finished processing them. Your feedback is very helpful, especially your suggestions which may help in organizing future meetings. Here are the suggestions: * several participants suggested that it is better to have fewer parallel sections, and to distribute talks more equally over 5 days * another recurring suggestion was that not much time was left for questions and discussions; it is better to explicitly allocate time for questions in the program * it would be good to use recyclable dishes for the meals * it is desirable to have confirmation of early registration as soon as possible * finally, an important suggestion: "interval" as a term should be mentioned either in the scope or in the title of the conference; we have so much interval in our talks and results (This was clearly our oversight, we apologize - VK). Thanks again. Martine and Vladik

[Reliable Computing] SCAN'08 is over

Kreinovich, Vladik — 2008-10-04T03:03:02

Dear Friends, 1) Today was the last day of SCAN'08, our major interval conference. Many thanks to those who participated! We had more than 100 attendees from all over the world. 2) A softcopy of the conference's book of abstracts is available at the conference website http://www.scan2008.com click on Abstracts then on Book of Abstracts, or directly at http://www.cs.utep.edu/interval-comp/scan08.pdf We have a few hardcopies left (5 to 10, we need to count), if anyone is interested, let us know, we will send you a hardcopy. 3) Slides for a large number of talks are posted online, you can access them from the conference website http://www.scan2008.com click on Detailed Program, there are links to presentations from many talks. Alternatively, you can access this program directly, at http://www.cs.utep.edu/interval-comp/programScan08.html Some more presentations will be posted later. 4) The next SCAN conference will be, as originally planned, in Lyon, France, in September-October 2010. 5) We have

[Reliable Computing] FW: PPAM 2009: mark your calendars

Kreinovich, Vladik — 2008-10-04T02:44:48

Forwarding. Vladik -----Original Message----- From: Roman Wyrzykowski [mailto:roman-uQU7ZXBRFY6rDJvtcaxF/A< at >public.gmane.org] Dear Colleagues, Just now we start organizing the next PPAM conference (International Conference on Parallel Processing and Applied Mathematics) which will take place in Wroclaw (Poland) on Sept. 13-16, 2009. ... Based on success of the previous Minisymposium (MS) on Interval Analysis held at PPAM 2007 in Gdansk, we plan to organize the Second MS on this topic. I think such events are very important for promoting the idea of interval methods. Kindest regards, Roman Wyrzykowski Chair of PPAM 2009

[Reliable Computing] FW: Taylor Model Workshop in Karlsruhe - mark your calendars

Kreinovich, Vladik — 2008-10-04T02:21:34

Dear Friends, FYI. Vladik -----Original Message----- From: Markus Neher [mailto:markus.neher-o02PS0xoJP9y80wz8M7KhqmYAUrVh0xC< at >public.gmane.org] next year's Taylor model workshop is intended to be in Karlsruhe in late May or early June 2009.

[Reliable Computing] INTLAB update

Siegfried M. Rump — 2008-10-03T23:07:22

Dear INTLAB-users, Prof. Shary pointed to a problem which may occur when starting INTLAB. The path to find some file may not be correct. If INTLAB starts, you do not need to do anything. If not, please replace the enclosed file in the directory \intval. Best wishes Siegfried M. Rump

[Reliable Computing] Russian-language interval website

Kreinovich, Vladik — 2008-09-28T23:35:06

Dear Friends, This is FYI, there is a Russian-language website http://www.nsc.ru/interval on Interval Analysis and Its Applications. I have just added a link to it to the Interval Research Groups part http://www.cs.utep.edu/interval-comp/icompwww.html of the interval computations website http://www.cs.utep.edu/interval-comp Many thanks to Sergey Shary for maintaining this website. Vladik

[Reliable Computing] materials re interval standards

Kreinovich, Vladik — 2008-09-27T04:44:21

Are (temporarily) placed on the interval computations website http://www.cs.utep.edu/interval-comp click on Materials or directly on http://www.cs.utep.edu/interval-comp/standards.html

[Reliable Computing] new book by Ramon E. Moore: re-sending

Kreinovich, Vladik — 2008-09-25T18:39:47

Introduction to Interval Analysis Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud SIAM Press This unique book provides an introduction to a subject whose use has steadily increased over the past 40 years. An update of Ramon Moore's previous books on the topic, it provides broad coverage of the subject as well as the historical perspective of one of the originators of modern interval analysis. The authors provide a hands-on introduction to INTLAB, a high-quality, comprehensive MATLAB(r) toolbox for interval computations, making this the first interval analysis book that does with INTLAB what general numerical analysis texts do with MATLAB. Readers will find the following features of interest: * Elementary motivating examples and notes that help maximize the reader's chance of success in applying the techniques. * Exercises and hands-on MATLAB-based examples woven into the text. * INTLAB-based examples and explanations integrated into the text, a comprehensive set of exercises and solutions, and an

[Reliable Computing] a new book by Ramon E. Moore and others

Kreinovich, Vladik — 2008-09-25T18:38:08

Introduction to Interval Analysis Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud This unique book provides an introduction to a subject whose use has steadily increased over the past 40 years. An update of Ramon Moore's previous books on the topic, it provides broad coverage of the subject as well as the historical perspective of one of the originators of modern interval analysis. The authors provide a hands-on introduction to INTLAB, a high-quality, comprehensive MATLAB(r) toolbox for interval computations, making this the first interval analysis book that does with INTLAB what general numerical analysis texts do with MATLAB. Readers will find the following features of interest: * Elementary motivating examples and notes that help maximize the reader's chance of success in applying the techniques. * Exercises and hands-on MATLAB-based examples woven into the text. * INTLAB-based examples and explanations integrated into the text, a comprehensive set of exercises and solutions, and an appendix wit

[Reliable Computing] IEEE Interval standard organizational committee meeting at SCAN 2008

R. Baker Kearfott — 2008-09-24T12:51:57

reliable_computing colleagues (and Bob Davis FYI), The IEEE New Standards Committee has officially sanctioned a working group (P1788) for development of a stand-alone standard for interval arithmetic. We will have an organizational meeting at SCAN 2008 next week. The overall goal of this meeting is to establish policies and procedures for development of a standards document (and for resolution of differences of opinion), and to determine officers (Chair, vice chair, webmaster, archivist, secretary, and technical editor). Once we have agreed upon policies and procedures, we will send this set of policies and procedures to IEEE for approval. At SCAN 2008, I will make a presentation outlining all of this. Interested parties will then discuss and make decisions at two lunch meetings. (I thank Vladik Kreinovich for these arrangements.) Nathalie Revol has agreed to chair the working group, but I am serving as an alternate for the SCAN meeting. We will formally vote on officers when we meet. I envision ve

Re: [spam] Re: [Reliable Computing] interval standardization group at SCAN 2008

Bob Davis — 2008-09-20T00:25:26

Dr. Rump, You may want to note that IEEE Std 754-1985 has been replaced, finally, as of 29 August 2008 with IEEE Std 754-2008. Bob Davis MSC Chair.. Siegfried M. Rump wrote:

[Reliable Computing] New book on interval and soft computing

Chenyi Hu — 2008-09-19T14:12:26

Dear Colleagues, Springer UK just published our book: Knowledge Processing with Interval and Soft Computing (ISBN 978-1-84800-325-5). The following is cited from Springer's flyer: "Interval computing combined with fuzzy logic has become an emerging tool in studying artificial intelligence and knowledge processing (AIKP) applications since it models uncertainties frequently raised in the field. This book provides introductions for both interval and fuzzy computing in a very accessible style. Application algorithms covered in this book include quantitative and qualitative data mining with interval valued datasets, decision making systems with interval valued parameters, interval valued Nash games and interval weighted graphs. Successful applications in studying finance and economics, etc are also included. This book can serve as a handbook or a text for readers interested in applying interval and soft computing for AIKP." Contents: - Fundamentals of Interval Computing. - Soft Computing Essentials. - Relatio

[Reliable Computing] List is back up

R. Baker Kearfott — 2008-09-19T11:51:48

reliable_computing colleagues, The reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org list has not been fully operational the past two weeks. I had shut the machine down as a precautionary measure before Hurricane Gustav. This was the first time it had been shut down in a year. When it was brought back up, a configuration file that had erroneously been changed went into effect. That configuration file prevented email address except those on-campus from posting. This should now be fixed. Please accept my apologies for the delay, and please report any problems to me. Sincerely, Baker P.S. Although we are not in the same state as Houston / Galveston, we experienced significantly more effects from Hurricane Ike than El Paso (and Vladik). Lafayette is a refuge for evacuees from coastal western Louisiana and eastern Texas, and Lafayette is a staging area for emergency operations and electrical crews that have come in from across the country. El Paso

Re: [Reliable Computing] interval standardization group at SCAN 2008

Siegfried M. Rump — 2008-09-19T09:59:54

Dear Baker, appended are some thoughts which may help in structuring the discussions. Best wishes and see you in El Paso, Siegfried On Fri, 08 Aug 2008 13:56:01 -0000, R. Baker Kearfott public.gmane.org> wrote: