Sejarawan membuat kueri penelitian di Google, ProQuest, dan HathiTrust. Mereka mengumpulkan informasi dari pencarian kata kunci, yang dilakukan di jutaan dokumen, penelitian mereka dibentuk oleh algoritme yang jarang mereka pahami. Sejarawan kemudian sering mengunjungi arsip dalam perjalanan angin puyuh yang ditandai dengan ribuan foto digital, kemudian dieksplorasi di monitor komputer dari ken…
Several limiting factors for human health and performance in microgravity have been clearly identified as an unacceptable risk for long-term and interplanetary flights. Serious concerns arose whether spaceflight-associated immune system dysfunction ultimately precludes the expansion of human presence beyond Earth's orbit. The immune system has undergone many evolutionary steps to cope with a ne…
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…