This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the s…
It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Inter…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
Buku ini berisi informasi 101 jenis ikan hias air tawar Asli Indonesia yang selanjutnya disebut Ikan Hias Nusantara. Ikan-ikan tersebut tersebar di Papua Barat (Irian), Sulawesi, Kalimantan, Jawa, dan Sumatera. Akan tetapi cenderung didominasi oleh ikan hias yang berasal dari Papua yang berjumlah 49 jenis. Dua jenis di antaranya merupakan hasil rekayasa (hibridisasi) yang dilakukan di Laborator…
Munculnya penyakit pada budidaya ikan menyebabkan kerugian ekonomi yang tidak sedikit. Infeksi Aeromonas sp. (penyakit merah) mengakibatkan kerugian 400 miliar rupiah per tahun. Infeksi parasit Ichthyophthyrius multifiliis (bintik putih) mengakibatkan kematian ikan 25% hingga 100% dalam waktu singkat, dengan kerugian 50 miliar rupiah per tahun. Serangan Streptococcus sp. pada ikan nila mengakib…
Fighting for a Living investigates the circumstances that have produced starkly different systems of recruiting and employing soldiers in different parts of the globe over the last 500 years. It does so on the basis of a wide range of case studies taken from Europe, Africa, America, the Middle East and Asia. The novelty of "Fighting for a Living" is that it is not military history in the tradit…
Companion to the exhibition “Japan’s Book Donation to the University of Louvain”, KU Leuven University Library, 28 October 2022 - 15 January 2023 With more than 3,000 titles in almost 14,000 volumes, the 1920s Japanese book donation to the University of Leuven/Louvain constitutes an invaluable time capsule of Japan’s pre-modern culture in all its diversity and richness. A century on, th…
Since the end of the Cold War, a new dynamic has arisen within the international system, one that does not conform to established notions of the state’s monopoly on war. In this changing environment, the global community must decide how to respond to the challenges posed to the state by military threats, political and economic decline, and social fragmentation. This insightful work considers …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
This volume presents ground-breaking research on fortified sites in three parts of Wallacea by a highly regarded group of scholars from Australia, Europe, Southeast Asia and the United States. In addition to surveying and dating defensive sites in often remote and difficult terrain, the chapters provide an important and scholarly set of archaeological and ethnohistoric studies that investigate …