This book is open access under a CC BY 4.0 license. This book investigates the impact of vote buying on the accountability of democratic institutions and policy representation in newly democratic countries, with a focus on Indonesia. In doing so, the book presents a wide-ranging study of the dynamics of vote buying in Indonesia’s young democracy, exploring the nature, extent, determinants, t…
This open access book is the first publication to provide a comparative framework for the study of martial culture and historical martial arts in Europe and Asia, in particular in Italy and China. Due to the interdisciplinary nature of martial studies, contributors to this volume include historians, archeologists, art historians, scholars of fencing literature, metallurgists, as well as contemp…
This open access book focuses on the field of aerospace propulsion theory and engineering. The book takes the solar thermal thruster as the research object, has carried on the solar thermal thruster working process theoretical analysis, the numerical simulation and the experimental verification, and has revealed the solar thermal thruster internal working mechanism, and a design optimization me…
This Open Access book introduces readers to the regional geology of Hanggai, Xianxia and Chuancun, the area between China's northern Zhejiang Province and southern Anhui Province and explores the strata, magmatic rocks and tectonic structures in 1:50,000 scale geological maps. Based on studies of multiple stratigraphic divisions, the standard stratigraphic section of the upper Ordovician Hirnan…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
he open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topi…
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following t…
This open access book is a compilation of selected papers from 2020 DigitalFUTURES—The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020). The book focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers will e…