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.
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ̈ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ̈ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas...
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.
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.
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...
After World War II, tracing and documenting Nazi victims emerged against the background of millions of missing persons and early compensation proceedings. This was a process in which the Allies, international aid organizations, and survivors themselves took part. New archives, documentation centers and tracing bureaus were founded amid the increasing Cold War divide. They gathered documents on Nazi persecution and structured them in specialized collections to provide information on individual fates and their grave repercussions: the loss of relatives, the search for a new home, physical or mental injuries, existential problems, social support and recognition, but also continued exclusion or ...