Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-23 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. 31 makalah reguler yang disajikan dalam volume ini ditinjau dengan c…
Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-26 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. Total 60 makalah reguler yang disajikan dalam volume ini diti…
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…
Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-18 tentang Analisis Data Cerdas, IDA 2020, yang diadakan di Konstanz, Jerman, pada bulan April 2020. 45 makalah lengkap yang disajikan dalam volume ini ditinjau dan dipilih dengan saksama dari 114 kiriman. Memajukan Analisis Data Cerdas memerlukan ide-ide baru yang berpotensi mengubah permainan. Misi IDA adalah untuk mempro…
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 explores the key barriers and facilitators to advancing meaningful and fulfilling academic careers in the higher education sector for Australian Indigenous doctoral graduates. It focuses on the career trajectories of Indigenous early career researchers who have participated in the Developing Indigenous Australian Early Career Researchers study, funded by the Australian Res…
This open access book examines the facilitation of pre-service and in-service educators’ research thinking that equips them to be responsive to the unfolding uncertainties of the 21st century, and to likewise prepare their own students. It addresses several key areas, including: articulating the contemporary need for research thinking across teacher education; showcasing diverse yet conceptua…
This is an open access book. Covering both theories and practices in Technical Vocational Education and Training (TVET) teacher development, this book provides up-to-date discussions and recommendations on issues relating to TVET teacher development in the digital age. It caters for the needs of in-service teachers and trainers, as well as TVET leaders who want to upscale their professional lea…
This open access book employs Paul Ricoeur's methodologies to identify, challenge, and replace with responsible language the many continuing abuses of power, including in the university curriculum and in the international discourse of right-wing populism. Using Ricoeur’s philosophy, the book provides a meta-frame for current debates about the university and a pragmatic micro-frame for support…
From the perspective of translanguaging and instruction theories, this Open Access book examines Chinese English Medium Instruction (EMI) lecturers’ linguistic and pedagogical characteristics. This book demonstrate that ‘English’ in EMI is not a monolingual issue and EMI lecturers have applied their bilingual advantages to systematically and strategically advance their pedagogy practices …