gmane.comp.mathematics.reliable-computing

[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 Conference on Fuzzy Systems FUZZ-IEEE 2009 Jeju Island, Korea August 20-24, 2009 http://www.fuzz-ieee2009.org The Annual IEEE International Conference on Fuzzy Systems, well known as FUZZ-IEEE, is one of the premier international conferences in the field of fuzzy sets and systems. FUZZ-IEEE 2009 (17th in its series) will be held on Jeju Island, Korea, which is one of the most beautiful islands in Asia with a historical wealth of cultural and tourist attractions. The conference venue will be at the newly built "ocean view" Jeju International Convention Center. The conference will cover the whole range of research and applications in fuzzy systems and soft computing, including but not limited to: * Fuzzy control and robotics, sensors, fuzzy hardware, fuzzy architectures * Soft computing and hybrid systems - adaptive, hierarchical, evolutionary, neural and nature-inspired systems * Fuzzy image, speech and signal processing, vision and multimedia * Fuzzy data analysis - clustering and classifiers, pattern recognition, bio-informatics * Mathematical foundations of fuzzy systems * Knowledge discovery, learning, reasoning, agents, knowledge representation * Fuzzy information processing - information extraction and retrieval, fusion, text mining * Computing with words granular computing, rough sets, fuzzy human computer interaction * Fuzzy systems and the internet - semantic web, ontologies, searching, networks and routing, intrusion detection * Fuzzy optimization and design, decision analysis and support * Fuzzy systems modeling, identification, fault detection * Industrial, financial, and medical applications In addition to regular oral and poster presentations, the conference will include a full program of tutorials, specialist workshops and panel sessions together with keynote talks from several well known leaders in the field. Submissions for oral and poster presentation are invited from researchers, practitioners, and students worldwide. Proposals for Special Sessions are highly welcomed. Each proposal should give a description of the session topic and the names of the contributors plus their paper titles. Papers submitted to special sessions will go through the normal reviewing process. Proposals for Tutorials are also highly welcomed. An outline for each tutorial should be submitted and any pre-requisites for the intended audience. Further details of the submission process will be posted on the conference website in the near future. Information Contact: Prof. Frank Chung-Hoon Rhee School of Electrical and Computer Engineering Hanyang University, KOREA Email: frhee-qHyw558ZKe5c5qvlKmYc//tlr8jbLJk3< at >public.gmane.org Phone: +82 31 400 5296 Fax: +82 31 501 7502 Key dates: Tutorials/special sessions December 1, 2008 Acceptance of Tutorials/special sessions December 15, 2008 Paper submission February 1, 2009 Notification of acceptance March 15, 2009 Camera ready copy due May 1, 2009 Tutorials August 20, 2009 Conference August 20-24, 2009

[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 methods for solving algebraic equations. These conditions are of practical interest since they depend only on available data, the information of a function whose zeros are sought and initial approximations. The convergence approach presented can be applied in designing a package for the simultaneous approximation of polynomial zeros.

[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 also decided that SCAN'2012 will be held in Novosibirsk, Russia. Many many thanks to Professors Sergey Shary and Yuri Shokin for volunteering to organize this conference. 6) As you know from the previous mailings, we have officially started an interval standards working groups, and we decided, in addition to email communications, to have annual face-to-face meetings. The 2010 meeting will be in Lyon, at SCAN'2010. We have also decided to have a 2009 meeting at the Mini-Symposium on Interval Analysis at the International Conference on Parallel Processing and Applied Mathematics PPAM'09 which will take place in Wroclaw (Poland) on Sept. 13-16, 2009. 7) There will be post-conference proceedings, but we have not yet finalized where and in what format. The official announcement about the post-conference proceedings will be sent in a month. Again, many many thanks to those who participated! Martine and Vladik

[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 appendix with INTLAB commands. * An extensive bibliography and appendices that will continue to be valuable resources once the reader is familiar with the subject. * A Web page with links to computational tools and other resources of interest. Audience - This book will be valuable to engineers and scientists interested in scientific computation, especially in reliability, effects of roundoff error, and automatic verification of results. The introductory material is particularly important for experts in global optimization and constraint solution algorithms. This book is suitable for introducing the subject to students in these areas. About the Authors - Ramon E. Moore authored Interval Analysis (Prentice-Hall, 1966), Methods and Applications of Interval Analysis (SIAM, 1979), and numerous related publications. Now retired, he was a professor of computer science and/or mathematics from 1965 through 2000, and from 1950 until 1965 he worked in the area of computational mathematics. He is the 1975 recipient of the Alexander von Humboldt Foundation-US Senior Scientist Award. R. Baker Kearfott has been on the faculty of the University of Louisiana at Lafayette since 1977 and has participated in various modeling projects at the University of Louisiana and while at Exxon Research and Engineering. Michael J. Cloud has been a faculty member in the Department of Electrical and Computer Engineering at Lawrence Technological University since 1987 and currently holds the rank of Associate Professor. He has coauthored seven other books. Available January 2009 * Approx. xii + 225 pages * Softcover * ISBN 978-0-898716-69-6 Not yet priced - Order Code OT110 Pricing and ordering information will be posted at http://www.siam.org/catalog/forthcoming.php as it becomes available. SIAM, 3600 Market Street, 6th Floor, Philadelphia, PA 19104-2688 USA; +1-215-382-9800 (worldwide) or toll free 1-800-447-SIAM (USA & Canada); fax: +1-215-386-7999; e-mail: service-VrpBL5DI3dU< at >public.gmane.org; web: www.siam.org. CONTENTS Preface Introduction Chapter 1: The Interval Number System Chapter 2: First Applications of Interval Arithmetic Chapter 3: Further Properties of Interval Arithmetic Chapter 4: Introduction to Interval Function Chapter 5: Interval Sequences Chapter 6: Interval Matrices Chapter 7: Interval Newton Methods Chapter 8: Integration of Interval Functions Chapter 9: Integral and Differential Equations Chapter 10: Applications Appendix A: Sets and Functions Appendix B: Formulary Appendix C: Hints for Selected Exercises Appendix D: Internet Resources Appendix E: INTLAB Commands and Functions References Index

[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 with INTLAB commands. * An extensive bibliography and appendices that will continue to be valuable resources once the reader is familiar with the subject. * A Web page with links to computational tools and other resources of interest. Audience - This book will be valuable to engineers and scientists interested in scientific computation, especially in reliability, effects of roundoff error, and automatic verification of results. The introductory material is particularly important for experts in global optimization and constraint solution algorithms. This book is suitable for introducing the subject to students in these areas. About the Authors - Ramon E. Moore authored Interval Analysis (Prentice-Hall, 1966), Methods and Applications of Interval Analysis (SIAM, 1979), and numerous related publications. Now retired, he was a professor of computer science and/or mathematics from 1965 through 2000, and from 1950 until 1965 he worked in the area of computational mathematics. He is the 1975 recipient of the Alexander von Humboldt Foundation-US Senior Scientist Award. R. Baker Kearfott has been on the faculty of the University of Louisiana at Lafayette since 1977 and has participated in various modeling projects at the University of Louisiana and while at Exxon Research and Engineering. Michael J. Cloud has been a faculty member in the Department of Electrical and Computer Engineering at Lawrence Technological University since 1987 and currently holds the rank of Associate Professor. He has coauthored seven other books. Available January 2009 * Approx. xii + 225 pages * Softcover * ISBN 978-0-898716-69-6 Not yet priced - Order Code OT110 CONTENTS Preface Introduction Chapter 1: The Interval Number System Chapter 2: First Applications of Interval Arithmetic Chapter 3: Further Properties of Interval Arithmetic Chapter 4: Introduction to Interval Function Chapter 5: Interval Sequences Chapter 6: Interval Matrices Chapter 7: Interval Newton Methods Chapter 8: Integration of Interval Functions Chapter 9: Integral and Differential Equations Chapter 10: Applications Appendix A: Sets and Functions Appendix B: Formulary Appendix C: Hints for Selected Exercises Appendix D: Internet Resources Appendix E: INTLAB Commands and Functions References Index

[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 very wide participation, as well as discussion and voting by email. That way, everyone's input will count, regardless of whether or not they will be able to attend a particular meeting. (This will be formally decided when we set down policies and procedures.) If you wish to volunteer for one or more officer's positions, or if you have a nomination or opinion about who should serve, please tell me or Nathalie. Also, if you wish to formally be in the working group (for voting purposes), please tell me or Nathalie (Nathalie.Revol-vYW+cPY1g1pWj0EZb7rXcA< at >public.gmane.org). That way, we can put you on IEEE's official mailing list for the group. (I think this list needs to be official; I'm envisioning using it to determine a quorum for voting.) The overall idea is to have procedures that are sufficiently comprehensive and fair that everyone will accept the eventual document, regardless of whether or not it embodies their original opinion on particular features. Once the reliable computing (interval) community is satisfied with the document, we will send it to the IEEE Sponsor (the Microprocessor Standards Committee) for official approval. We will post milestones the working group has passed to this reliable_computing list. I envision that people will continue to be able to join the working group throughout the process. Sincerely, Baker

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. - Relations Between Interval Computing and Soft Computing. - Interval Matrices in Knowledge Discovery. - Interval Function Approximation and Applications. - Interval Rule Matrices for Decision Making. - Interval Matrix Games. - Interval Weighted Graphs and Flow Networks. - Arithmetic on Bounded Families of Distributions: a DEnv Algorithm Tutorial. - Intbox: An Object-Oriented Interval Computing Software Toolbox in C++. - Index For more information please visit http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-1-84800-325-5 Baker, Andre, Vladik and myself are the co-editors Chenyi

[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 is in a dry mountainous desert, an almost opposite environment from that of hurricanes. I'm looking forward to the change and SCAN 2008 :-)

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:

[Reliable Computing] interval.louisiana.edu back up

R. Baker Kearfott — 2008-09-04T12:32:33

reliable_computing subscribers, I turned on interval.louisiana.edu on September 2 without a large problem. Computing and internet connections on campus were largely unaffected. However, electricity was out at my house, and when it came back on, the internet connection was out. Also, my desktop PC, where I normally send email, will not boot, and there was a strict curfew in town. Hence, I had a bit of trouble posting this. Otherwise, life and limb are OK here :-) Baker