Meskipun hukum adat internasional (CIL) telah menjadi pusat hukum internasional sejak awal, hal ini sering disalahpahami. Volume yang diedit ini memecahkan masalah tersebut dengan menelusuri sejarah CIL, dan memberikan studi mendalam tentang teori, praktik, dan interpretasinya. Bab-babnya membahas pertanyaan-pertanyaan besar yang melingkupi sumber hukum internasional ini seperti: apa aturan yan…
This book was born within the CINETS group – Crimmigration Control International Net of Studies (www.crimmigrationcontrol.com), which was established in 2011 with the aim of bringing together expertise from different fields, professions, universities and countries. It aims to form a new paradigm for sharing knowledge and advancing research on topics related to human trafficking, crimmigration…
Instanon, atau partikel semu, adalah solusi untuk persamaan gerak dalam teori medan klasik pada ruang waktu Euclidean. Instanon ditemukan di mana-mana dalam teori kuantum karena memiliki banyak aplikasi dalam terowongan kuantum. Fenomena fisik yang beragam dapat dijelaskan melalui terowongan kuantum, misalnya: efek Josephson, peluruhan keadaan inti meta-stabil, pembentukan pita dalam model ikat…
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; m…
This book presents a detailed account of Iceland’s recovery from the tumultuous banking collapse that overturned its financial industry in 2008. Early chapters recount how Iceland’s central bank was unable to follow the quantitative easing policies of the time to print money and save the banks, while serving the world´s smallest currency area. The book goes on to explore how the government…
This book is a collection of ISRM suggested methods for testing or measuring properties of rocks and rock masses both in the laboratory and in situ, as well as for monitoring the performance of rock engineering structures. The first collection (Yellow Book) has been published in 1981. In order to provide access to all the Suggested Methods in one volume, the ISRM Blue Book was published in 2007…
Initially caught helplessly between well-meaning fellow scientists, the government and more sinister agents, Michelle, with the help of a host of unlikely heroes, eventually takes control and finds the courage to confront the decision of whether to save human lives or humanity.
Drawing on theory and practice, and spanning a broad range of subject matter, the book explores the origin of key concepts such as human security, reconciliation and resilience and questions their effectiveness in the pursuit of humanitarian ends. It also charts current developments in the humanitarian system, in particular in its legal and financial frameworks. Issues relating to humanitaria…
humanities. It is divided into two main parts: Part 1 is about different permutations of enabling technologies as well as core computational capabilities, namely context awareness, implicit and natural interaction, and intelligent behavior. It details the existing and upcoming prerequisite technologies, and elucidates the application and convergence of major current and future computing trends.…
In this unique overview of the Hsp60 chaperonin, Peter Bross addresses molecular biologists, medical research scientists and individuals interested in molecular or general biology. First, Bross discusses the basics of the Hsp60 chaperonin in terms of its structure and the molecular mechanisms determining its function. Second, the author highlights the multiple roles of Hsp60 for cellular system…