A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance

As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and possibly 100%) test coverage? Before considering these questions, we briefly recall the main features of interval arithmetic and of the IEEE 1788-2015 standard for interval arithmetic. After listing the different aspects that, in our opinion, must be tested, we contribute a first step towards offering a test suite for an interval arithmetic library. First we define a format that enables the exchange of test cases, so that they can be read and tried easily. Then we offer a first set of test cases, for a selected set of mathematical functions. Next, we examine how the Julia interval arithmetic library, IntervalArithmetic.jl, actually performs to these tests. As this is an ongoing work, we list extra tests that we deem important to perform.Comment: 2 figure

Interviews with the 2021 CONCUR Test-of-Time Award recipients

Last year, the CONCUR conference series inaugurated its Test-of-Time Award, purpose of which is to recognise important achievements in Con- currency Theory that were published at the CONCUR conference and that have stood the test of time. This year, the following four papers were chosen to receive the CONCUR Test-of-Time Awards for the periods 1994–1997 and 1996–1999 by a jury consisting of Rob van Glabbeek (chair), Luca de Alfaro, Nathalie Bertrand, Catuscia Palamidessi, and Nobuko Yoshida: - David Janin and Igor Walukiewicz. On the Expressive Completeness of the Propositional mu-Calculus with respect to Monadic Second Or- der Logic [3]. - Uwe Nestmann and Benjamin C. Pierce. Decoding Choice Encod- ings [4]. - Ahmed Bouajjani, Javier Esparza, and the late Oded Maler. Reacha- bility Analysis of Pushdown Automata: Application to Model- checking [2]. - Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, and Moshe Y. Vardi. Alternating Refinement Relations [1]. This year, the second paper was live-interviewed by Nobuko Yoshida; the third paper was interviewed by Nathalie Bertrand and the forth paper was interviewed by Luca Aceto. Adam Barwell and Francisco Ferreira helped making the article from the live interview by Yoshida

David Machacek, Global Citizens. The Soka Gakkai Buddhist Movement in the World

Ce recueil d'articles, co-dirigé par D. Machacek et B. Wilson, s'attache à montrer les diverses facettes de la mondialisation et de la transnationalité de la Soka Gakkai, nouveau mouvement religieux japonais, dont l'expansion internationale est impressionnante. L'ouvrage est divisé en deux parties. La première se concentre sur l'influence du groupe au Japon, la seconde étudie son établissement dans d'autres pays tels que les États-Unis, le Brésil, la Grande Bretagne, l'Italie et l'Asie du sud..

BARKER (Eileen), WARBURG (Margit), eds, New Religions and New Religiosity

Résultat de la conférence de Rennord’94 tenue à Copenhague en août 1994, cet ouvrage est à conseiller aux étudiants qui s’intéressent aux Nouveaux Mouvements Religieux. Il traite du contexte d’apparition des N.M.R., explique le choix de cette expression, présente quelques essais théoriques à travers Danièle Hervieu-Léger, Gordon Melton ou Massimo Introvigne, notamment. Il offre également des études de cas, faites dans différents pays et contextes culturels (les pays de l’Est, l’Inde, les U.S...

Peter Washington, La Saga théosophique. De Blavatsky à Krishnamurti

Photograph taken by Salt Lake Tribune staf

Roberte Hamayon, Jouer. Une étude anthropologique à partir d’exemples sibériens

On connaît Roberte Hamayon pour ses remarquables travaux sur le chamanisme, dont elle a écrit la première théorie sous le beau titre de La chasse à l’âme (1990), ouvrage qui traite plus largement, à partir de l’exemple sibérien, de la gestion de l’aléatoire liant « la “chance”, en tant que bien symbolique, le “jeu” comme technique d’obtention de ce bien, et la “croyance” comme attitude mentale qui conditionne cette obtention » (Buffetrille, Lambert, Luca, de Sales, Études mongoles et sibérien..

Laënnec Hurbon, Religion et lien social. L'Église et l'État moderne en Haïti

Laënnec Hurbon nous offre, à travers cet ouvrage, un regard passionnant, riche et touchant sur la société haïtienne dont il dévoile la profonde crise d'identité. Soulevant chaque parcelle de son histoire, plongeant au cœur de ses souffrances, il nous livre une analyse remarquable sur la place ambiguë de la religion, et plus encore du christianisme, dans la construction d'une nation peu certaine de ses frontières symboliques. Les colons voyaient dans l'évangélisation des Caraïbes le moyen d'ob..