This open access book contains 13 contributions on global animal law, preceded by an introduction which explains key concepts and methods. Global Animal Law refers to the sum of legal rules and principles (both state-made and non-state-made) governing the interaction between humans and other animals, on a domestic, local, regional, and international level. Global animal law is the response to t…
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-29 tentang Pemrograman, ESOP 2020, yang direncanakan akan diselenggarakan di Dublin, Irlandia, pada bulan April 2020, sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. Pertemuan ETAPS 2020 yang sebenarnya ditunda karena pandemi Corona. Makalah-makalah tersebut membahas isu-isu menda…
The book provides an overview of more than a decade of joint R&D efforts in the Low Countries on HLT for Dutch. It not only presents the state of the art of HLT for Dutch in the areas covered, but, even more importantly, a description of the resources (data and tools) for Dutch that have been created are now available for both academia and industry worldwide. The contributions cover many a…
This open access book provides insights from Indigenous higher degree research (HDR) students on supervision practices in an Australian context. It examines findings from qualitative studies conducted with Indigenous HDR students from different academic disciplines, enrolled higher education institutions across Australia, and supervisors of Indigenous HDR students. Six types of data and their t…
This books is open access under a CC BY 4.0 license. This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview o…
Dieses Buch ist eine Open Access Publikation. Der lange gehegte Traum von künstlicher Intelligenz (KI) wird in unserer Alltagswelt zunehmend Realität. Damit verbinden sich hohe gesellschaftliche Erwartungen, aber auch Sorgen hinsichtlich einer schleichenden Entmündigung des Menschen. Am Beispiel des Forschungssektors lotet dieser Band die Optionen, Entwicklungschancen und Risiken von KI-Tec…
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Poppe…
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices u…
This open access book explores the complex relationship between schooling as a set of practices embedded in educational institutions and their specific spatial dimensions from different disciplinary perspectives. It presents innovative empirical and conceptual research by international scholars from the fields of social geography, pedagogy, educational and social sciences in Germany, the United…