http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2119 <pre>FYI, as usual in fuzzy conferences, interval-related papers are welcome, and, if there is an interest, an interval session is strongly encouraged. ************************************************************ From: Shahnaz Shahbazova [mailto:shahbazova-Re5JQEeQqe8AvxtiuMwx3w&lt; at &gt;public.gmane.org] 2nd WORLD CONFERENCE ON SOFT COMPUTING www.wconsc-2012-Baku.org Baku, Azerbaijan December 3-5, 2012 dedicated to Research Heritage of LOTFI A. ZADEH UC Berkeley, CA, USA organized by Ministry of Communication and Information Technologies of the Republic of Azebraijan AIMS AND SCOPE 2nd World Conference on Soft Computing, Baku 2012, aims to bring together researchers, engineers and practitioners to present the latest achievements and innovations in the multiple areas of soft computing, to discuss thought-provoking developments and challenges, to consider potential future directions. One of the objectives of the conference is to encourage participation by young researchers; to this end student papers will be given </pre> Kreinovich, Vladik 2012-05-17T17:59:17 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2118 <pre>FYI ********************************************************** From: Michael Beer [mailto:M.Beer-sZfJFUT1i4lOXXNyRuEUqw&lt; at &gt;public.gmane.org] We would like to invite you to contribute to our Mini-symposium "Engineering analyses with vague and imprecise information", which we are organizing at the 11th International Conference On Structural Safety And Reliability ICOSSAR'2013, Columbia University, New York, NY, USA, June 16-20, 2013, http://icossar2013.org/ We would be very pleased if you could accept this invitation and present a paper in one of our special sessions. The special sessions within the mini-symposium will be formed thematically after abstract submission. Engineering problems typically involve nondeterministic information in various forms and of various nature. Uncertainty and imprecision of this information may considerably influence the results of an analysis and associated decisions. This poses a challenge for a suitable mathematical modeling and an efficient analysis. Significant research is </pre> Kreinovich, Vladik 2012-05-15T17:11:02 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2117 <pre>FYI -----Original Message----- From: Edoardo Patelli [mailto:edoardo.patelli&lt; at &gt;liverpool.ac.uk] Sent: Thursday, May 03, 2012 7:49 AM Subject: Call for Papers: ICOSSAR2013 MS “Engaging with risk and uncertainty: robust engineering solutions” we would like to kindly invite you to contribute to our: Mini-symposium “Engaging with risk and uncertainty: robust engineering solutions ” which we are organizing under the auspices of the IASSAR umbrella committee at the 11th International Conference On Structural Safety And Reliability (ICOSSAR) June 16 – 20, 2013, Columbia University, New York, NY, USA (http://icossar2013.org/) &lt;http://icossar2013.org/&gt; We would be very pleased if you could accept this invitation and present a paper in one of our special sessions. The special sessions within the mini-symposium will be formed thematically after abstract submission. We would like to emphasize that our focus is bringing together researchers, academics and practicing e</pre> Kreinovich, Vladik 2012-05-15T04:10:37 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2116 <pre>Second Call for Submission of abstracts to “Interaction Between Computer Algebra and Interval Computations”, Special Session at 18th International Conference on Applications of Computer Algebra (ACA 2012) June 25–28, 2012, Sofia, Bulgaria http://www.math.bas.bg/ACA2012/ Extended DEADLINE for abstract submission: May 20, 2012. See the conference and the session websites for more details http://www.math.bas.bg/~epopova/ACA2012/ Best regards, W. Kraemer (BU Wuppertal), E. Popova (IMI-BAS, Sofia) Session Organizers </pre> Evgenija D. Popova 2012-05-04T08:58:41 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2115 <pre>Dear Friends, This is just FYI. The website http://conf.nsc.ru/scan2012 of SCAN'2012 conference contains information about accommodation and visa requests. The accommodation part says that "Accommodation Housing at the symposium SCAN'2012 is available in the hotel "Zolotaya Dolina" and in the hostel of Novosibirsk State University. They are situated in Akademgorodok, not far from the Institute of Computational Technologies and House of Scientists where the symposium will work. It is preferable to make hotel booking through the organizing committee of SCAN'2012." Re visas: US citizens need an official invitation to get a Russian visa, the organizing committee can provide such an invitation, instructions are given on the visa part of the conference website </pre> Kreinovich, Vladik 2012-05-01T23:36:33 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2114 <pre>== Apologies for multiple postings == Dear colleagues, Please find attached the 3rd call for talk for the 5th edition of the Small Workshop on Interval Methods, SWIM2012, which will be held on 4-6 June 2012 in Oldenburg, Germany. Web site is alive : please visit http://hs.informatik.uni-oldenburg.de/swim2012 Deadline for submitting proposals has been extended to May 7th. Best Regards Andreas, Martin, Luc and Nacim ========================================================================== The 5th edition of the Small Workshop on Interval Methods SWIM 2012 will be held on 4-6 June 2012 in Oldenburg, Germany http://hs.informatik.uni-oldenburg.de/swim2012 ========================================================================== Description ************************************************************** The goal of SWIM 2012 is to bring together researchers and practitioners working on interval methods and their applications, in the broader sense,</pre> Nacim Ramdani 2012-04-28T15:52:03 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2113 <pre>=09by interval.louisiana.edu (8.14.1/8.14.1/ull-interval-math-server-1.6) w= ith ESMTP id q3OAF4Mt005046 =09for &lt;reliable_computing-E9+sLAtVED2EWnqy5K9BMqTQW1a2GfqN&lt; at &gt;public.gmane.org&gt;; Tue, 24 Apr 2012 05:15:= 10 -0500 (CDT) Received: from [209.119.5.151] ([209.119.5.151:2323] helo=3Dtangerine) =09by lychee-msg (envelope-from &lt;owner-sigsam-friends*reliable_computing**I= NTERVAL*-LOUISIANA*-EDU-JX7+OpRa80TphdPTu6puEQ&lt; at &gt;public.gmane.org&gt;) =09(ecelerity 3.2.2.42971 r(42971)) with ESMTP =09id 7D/07-16897-82D769F4; Tue, 24 Apr 2012 06:15:04 -0400 Received: by LISTSERV.ACM.ORG (LISTSERV-TCP/IP release 16.0) with spool id 36604473 for SIGSAM-FRIENDS-0lvw86wZMd8LmzJvb425Mg&lt; at &gt;public.gmane.org; Tue, 24 Apr 2012 06:14:36 -0400 Approved-By: infodir_SIGSAM-1DbhX8CPdoQ&lt; at &gt;public.gmane.org Received: from psmtp.com (na3sys009amx204.postini.com [74.125.149.44]) by TANGERINE.EASE.LSOFT.COM (SMTPL release 1.1c) (envelope-from &lt;Clement.Pernet-wMUr/XMoy4A&lt; at &gt;public.gmane.org&gt;) for SIGSAM-FRIENDS-0lvw</pre> owner-reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org 2012-04-26T21:59:03 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2112 <pre>FYI -----Original Message----- From: Eyke Hüllermeier --------------------------------------------------------------- Call for Short Papers S U M 2 0 1 2 6th International Conference on Scalable Uncertainty Management www.sum2012.org --------------------------------------------------------------- SUM is an annual conference with the goal to exploit and strengthen the connection between the Artificial Intelligence and Database communities. It aims at bringing together all those researchers interested in the management of massive amounts of uncertain information. Such information originates commonly in applications where significant computational effort is needed to process data in a meaningful and semantically justifiable manner. Typical applications of that kind include databases, the Web, and the life sciences. Following the submission of regular conference papers, SUM is now soliciting contributions in the category of SHORT PAPERS. Th</pre> Kreinovich, Vladik 2012-04-26T15:05:51 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2111 <pre>Dear colleagues, Please find attached the second call for talk for the 5th edition of the Small Workshop on Interval Methods, SWIM2012, which will be held on 4-6 June 2012 in Oldenburg, Germany. Web site is alive : please visit http://hs.informatik.uni-oldenburg.de/swim2012 Best Regards Andreas, Martin, Luc and Nacim ========================================================================== The 5th edition of the Small Workshop on Interval Methods SWIM 2012 will be held on 4-6 June 2012 in Oldenburg, Germany http://hs.informatik.uni-oldenburg.de/swim2012 ========================================================================== Description ************************************************************** The goal of SWIM 2012 is to bring together researchers and practitioners working on interval methods and their applications, in the broader sense, providing a forum to review and discuss the state-of-the-art in this area and fostering cross-fertil</pre> Nacim Ramdani 2012-04-06T20:24:47 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2110 <pre> Second Call for Submissions SCAN'2012 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russia, September 23-29, 2012 The 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations will take place in Novosibirsk, at the Institute of Computational Technologies of the Russian Academy of Sciences, on September 23-29, 2012. This conference continues the series of international SCAN symposia initiated by University of Karlsruhe, Germany, and held under the joint auspices of GAMM and IMACS. SCAN symposia have been held in many cities across the world: Karlsruhe, Germany (1988), Basel, Switzerland (1989), Albena-Varna, Bulgaria (1990), Oldenburg, Germany (1991), Vienna, Austria (1993), Wuppertal, Germany (1995), Lyon, France (1997), Budapest,</pre> С.П. Шарый 2012-04-09T03:55:45 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2109 <pre>Papers from the journal Computing's Special Issue on GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN2010) are now available at https://springerlink3.metapress.com/content/0010-485x/94/2-4/ BibTeX entries for all of them can be found here: http://www.math.utah.edu/pub/tex/bib/index-table-c.html#computing ------------------------------------------------------------------------------- - 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-wL0C45Pv+aaUArH+D2fLrA&lt; at &gt;public.gmane.org - - 155 S 1400 E RM 233 beebe-HInyCGIudOg&lt; at &gt;public.gmane.org beebe-bdq14YP6qtRg9hUCZPvPmw&lt; at &gt;public.gmane.org - - Salt Lake City, UT 84112-0090, USA URL: http://www.math.utah.edu/~beebe/ - ------------------------------------------------------------------------------- </pre> Nelson H. F. Beebe 2012-04-10T15:03:57 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2108 <pre>-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Dear intervalers, Several interval arithmetic libraries rely on properties of the IEEE 754 standard to reduce the number of rounding direction switches through the "opposite trick" (e.g.: rnddn(a*b) = -rndup((-a)*b), ...). In this way, it is possible to implement the basic operations (+, -, *, /, sqrt) with only one rounding switch to either +inf or -inf. This approach is also pivotal in the efficient implementation of interval arithmetic with short vector SIMD instructions such as Intel SSE2. To optimize the computation of an expression further, one might set the rounding direction once at the beginning of the evaluation of the expression tree and reset it only at the end. This approach is made possible by several libraries, and it leads to massive speed-ups. However, this approach falls apart as soon as the expression to evaluate uses non-basic operations (say, sine, log, ...): to implement, say, an interval exponential operator, one may rely on a floating</pre> Frédéric Goualard 2012-04-05T09:14:12 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2107 <pre>Dear Friends, Due to several requests by folks who plan to attend SCAN'2012, it was decided to extend the deadline for the affiliated CoProd'12 workshop to April 30, the same deadline as SCAN'2012. -----Original Message----- From: Ceberio, Martine [Please distribute - apologies for multiple postings] ============================================== CALL FOR PAPERS CoProD'12 5th International Workshop on Constraint Programming and Decision Making http://coprod.constraintsolving.com Novosibirsk, Russia September 23, 2012 right before the 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Novosibirsk, Russia, September 24-28, 2012 Submission deadline: April 30, 2012 (extended) =============================================== Constraint programming tech</pre> Kreinovich, Vladik 2012-04-02T23:03:07 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2106 <pre>Dear Friends, Many of us know Professor Ivo Babuska. In addition to his numerous pioneering scientific results, he is known for his lifelong interest in different aspects of uncertainty, his passion in aiming for useful applications, and his active organization of and participation in many related conferences. Congratulations to Professor Babuska for this great prize! *********************************************************************************************************** Lifetime Achievement: Ivo M. Babuska from Notices of the American Mathematical Society http://www.ams.org/notices/201204/rtx120400563p.pdf Citation The 2012 Steele Prize for Lifetime Achievement is awarded to Ivo M. Babuska for his many pioneering advances in the numerical solution of partial differential equations over the last half century. In his work on finite element methods, Babu¡sk a has developed and applied mathematics in profound ways to develop, analyze, and validate algorithms which are crucial for computational science</pre> Kreinovich, Vladik 2012-04-01T03:52:22 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2105 <pre>Dear Friends, I will be glad to receive your help and advice. As you probably know, I was invited to give one of the plenary talks at the SCAN'2012 conference in Novosibirsk; specially, I was encouraged to give a talk on decision making under interval uncertainty -- one of the main areas of my current applied research. This is a very broad topic, too broad to cover fully in one talk, so inevitably my talk will be narrower than the title. Understandably, my main focus will be on the directions with which I am mostly familiar, i.e., the ones related to the projects in which either I myself or some of my colleagues actively participated. However, it is definitely desirable, in addition to a more detailed description of specific ideas, to also give a more general overview of the related research. In view of this, if you have related published papers, books, or texts with ideas, please send me references and/or papers. I realize that it is not possible to even mention all very interesting results in a</pre> Kreinovich, Vladik 2012-04-01T03:23:16 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2104 <pre>This may be of interest, e.g., to those who use interval computations to prove mathematical results From Lee Wen-Shin Sent: Thursday, March 29, 2012 8:35 AM ===================================================================== The Tenth Asian Symposium on Computer Mathematics October 26th-28th, 2012 Beijing, China http://www.mmrc.iss.ac.cn/ascm/ascm2012 ===================================================================== The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serve as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. The previous ASCM meetings were held in Beijing, China (1995), Kobe, Japan (1996), Lanzhou, China (1998), Chiang Mai, Thailand (2000), Matsuyama, Japan (2001) , Beijing, China (2003), Seoul, Korea (2005), Singapore, Singapore (2007) and Fukuoka, Japan (2009). Further info</pre> Kreinovich, Vladik 2012-03-29T17:17:05 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2103 <pre> ----- Forwarded Message ----- Date: Thu, 29 Mar 2012 07:27:50 +0200 From: =?ISO-8859-1?Q?Fr=E9d=E9ric_Goualard?= &lt;Frederic.Goualard-zanJymNeSEOeCSforKHNpg&lt; at &gt;public.gmane.org&gt; User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:11.0) Gecko/20120312 Thunderbird/11.0 MIME-Version: 1.0 To: reliable computing &lt;reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB&lt; at &gt;public.gmane.org&gt; Subject: (long) MATLAB and reliable computing X-Enigmail-Version: 1.4 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Dear fellow intervalers, I am involved in a research project in which I will have to write a lot of floating-point and interval arithmetic code in MATLAB and in C++ to compute verified results. For the past few weeks, I have been trying hard to understand the behaviour of MATLAB regarding FPU control. The more I investigate it, the more it baffles me, to the point where I am wondering whether MATLAB can be a reliable host platform to compute reliable results. As far as I can see in the </pre> Ralph Baker Kearfott 2012-03-29T12:09:53 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2102 <pre>Michael, Actually, I was having problems, but not that: I had tried to "approve" a message to the reliable_computing list from Frederic.Goualard-zanJymNeSEOeCSforKHNpg&lt; at &gt;public.gmane.org, but either my email client or the list server software mangled the headers. Frederic.Goualard&lt; at &gt;univ-nantes.fr was the one who asked the question. I am passing this on to him, as well as to the list. Frédéric: Would you like me to subscribe the exact email address from which you posted your original message? Baker On 03/29/2012 05:30 AM, Michael Zimmer wrote: </pre> Ralph Baker Kearfott 2012-03-29T12:00:35 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2101 <pre>1.146]) =09by interval.louisiana.edu (8.14.1/8.14.1/ull-interval-math-server-1.6) w= ith ESMTP id q2SDcAU3019872 =09for &lt;reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB&lt; at &gt;public.gmane.org&gt;; Wed, 28 Mar 2012 08:38:= 15 -0500 (CDT) Received: from localhost (debian [127.0.0.1]) =09by smtp-tls.univ-nantes.fr (Postfix) with ESMTP id 80D73849EFD =09for &lt;reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB&lt; at &gt;public.gmane.org&gt;; Wed, 28 Mar 2012 15:57:= 16 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at univ-nantes.fr Received: from smtp-tls.univ-nantes.fr ([127.0.0.1]) =09by localhost (smtp-tls2.d101.univ-nantes.fr [127.0.0.1]) (amavisd-new, p= ort 10024) =09with LMTP id YkOkxQDSEJyD =09for &lt;reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB&lt; at &gt;public.gmane.org&gt;; =09Wed, 28 Mar 2012 15:57:16 +0200 (CEST) Received: from [192.168.0.16] (trl44-1-78-234-228-195.fbx.proxad.net [78.23= 4.228.195]) =09(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) =09(No client certificate requested) =09by smtp-tls.univ-nante</pre> owner-reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org 2012-03-28T21:48:21 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2100 <pre>This is a test message. </pre> Ralph Baker Kearfott 2012-03-27T12:57:11 http://permalink.gmane.org/gmane.comp.mathematics.reliable-computing/2099 <pre>Dear interval community, I would like to announce a PhD position within my group in validated numerics at Uppsala University, Sweden. The specialization is toward Dynamical Systems in a broad sense, and the aim is to employ rigorous numerical methods on selected problems in this area. The position is for four years, and can be extended to five years with 20% teaching. Various info: Salaries for PhD students in Sweden are pretty decent (ca 2500 EUR/month), and Swedish taxes are ca 32%. Health care, schools, universities etc are free (or, well, payed for by the taxes). Full time childcare costs ca 150 EUR/month (but that is almost covered by child support). We have elks, but no polar bears. The application should go through the electronic form at the bottom of the announcement for the position: http://www2.personalavd.uu.se/ledigaplatser/479PHd.html The final date for applying is April 2. Please visit the home page of my group at http://www2.math.uu.se/~warwick/CAPA/index.html for more i</pre> Warwick Tucker 2012-03-16T10:38:01 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.mathematics.reliable-computing