You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture.
Shortlisted for the 2021 Wolfson History Prize and a finalist for the 2021 Cundill History Prize Told for the first time from their perspective, the story of children who survived the chaos and trauma of the Holocaust—named a best history book of 2020 by the Daily Telegraph "Impressive, beautifully written, judicious and thoughtful. . . . Will be a major milestone in the history of the Holocaust and its legacy."—Mark Roseman, author of The Villa, the Lake, the Meeting How can we make sense of our lives when we do not know where we come from? This was a pressing question for the youngest survivors of the Holocaust, whose prewar memories were vague or nonexistent. In this beautifully wr...
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability in Prolog, constraint programming, grammar combinators, belief set merging and work on new language extensions and tools.
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lübeck, Germany in September 2004. The 13 revised full papers presented went through two rounds of reviewing and improvement and were selected from an initial total of 40 workshop presentations. The papers address current issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues and applications in various contexts.
Evolution is not merely a chapter in biology textbooks; rather, it is the mesh that embraces and connects every biological phenomenon; indeed, as Dobzhansky pointed out, nothing in biology could be understood without the evolutionary logic. The contents of this book highlight the importance of evolution in applied biological sciences such as agricultural, medical, environmental and the social sciences. Evolutionary science provides renewed ideas which can result in practical applications and tools that deal with current problems concerning humanity, such as disease, food production, and environmental destruction. Most of the topics in this book were discussed during the III Summit on Evolution which took place in the Galapagos Islands in June 2013, hosted by the Galapagos Institute for the Arts and Sciences and the Galapagos Science Institute, Universidad San Francisco de Quito.
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24–28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L ̈of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: “Constructive Validity Revisited” by Dana Scott, “From the Rules of Logic to the Logic of Rules” by Jean-Yves Girard, and “The Varie...
This book presents a selection of the newest research on themes amplified by the sixth annual Beyond Camps and Forced Labour conference on the post-Holocaust period, including ‘displaced persons’, reception and resettlement, exiles and refugees, trials and justice, reparation and restitution, and memory and testimony. The chapters highlight new, transnational approaches and findings based on underused and newly opened archives, including compensation files of the British government; on historical actors often on the periphery within English-language historiography, including Romanian and Hungarian survivors; and new approaches such as the spatial history of Drancy, as well as geographies that have undergone less scrutiny, for example, Tehran, Chile, Mexico and Cyprus. This volume represents the vibrant and varied state of research on the aftermath of the Holocaust.
The World Wide Web (WWW) and digitisation have become important sites and tools for the history of the Holocaust and its commemoration. Today, some memory institutions use the Internet at a high professional level as a venue for self-presentation and as a forum for the discussion of Holocaust-related topics for potentially international, transcultural and interdisciplinary user groups. At the same time, it is not always the established institutions that utilise the technical possibilities and potential of the Internet to the maximum. Creative and sometimes controversial new forms of storytelling of the Holocaust or more traditional ways of remembering the genocide presented in a new way with...