This two-volume set LNCS 1319 and 13320 constitutes the thoroughly refereed proceedings of the 13th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2022, which was held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022. The total of 1271 papers and 275 poster papers included in the…
The main aim of the book is to give a review of all relevant information regarding a well-known and important problem of Feedback Arc Set (FAS). This review naturally also includes a history of the problem, as well as specific algorithms. To this point such a work does not exist: There are sources where one can find incomplete and perhaps untrustworthy information. With this book, information …
This book provides full-scale field tests of different types of pile foundations. For the testing, it includes static load tests which consider various loading orientations, dynamic load tests, inclinometer monitoring and tests that aim to determine the load transfer mechanism of pile foundation. This book also covers the up-to-date popular topic with detailed project studies. This includes the…
This book discusses several topics regarding different vocabularies, such as sacred architecture, heritage buildings, open spaces, landmarks, and street escapes, all of which have a direct influence on the city form. The city form is also affected by the indirect impact of the citizens themselves, for example their culture, which in turn depends on the arts, as can be seen and embodied in moral…
Recent years have witnessed important advancements in our understanding of the psychological underpinnings of subjective properties of visual information, such as aesthetics, memorability, or induced emotions. Concurrently, computational models of objective visual properties such as semantic labelling and geometric relationships have made significant breakthroughs using the latest achievements …
This interdisciplinary book explores design theories, combining research from a range of fields including architecture, landscape architecture, urban planning, urban design, industrial design, software engineering, environmental psychology, geography, anthropology, and sociology. Following an extensive review of the current literature, the author reveals eight major types of theory in design pr…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
This book demonstrates the use of the optimization techniques that are becoming essential to meet the increasing stringency and variety of requirements for automotive systems. It shows the reader how to move away from earlier approaches, based on some degree of heuristics, to the use of more and more common systematic methods. Even systematic methods can be developed and applied in a large numb…
This monograph focuses on the design of personalized and adaptive online interactive learning environment (OILE) to enhance students’ learning in and about complex dynamic systems (CDS). Numerous studies show that students experience difficulties when learning in and about CDS. The difficulties are due to challenges originating from a) the structural complexity of CDS, (b) the production of d…
The National Library of Republic of Indonesia built a reading application media for education called iPusnas. In observing interface problems that exist in the iPusnas application, all reviews of the last 3 months data were scraped from Playstore platform with total 11 reviews discussing about UI/UX issues. The problems are related to uncomfortable display size, confusing UI, requests for UI/UX…
Aplikasi streaming musik adalah aplikasi yang memungkinkan pengguna mendengarkan musik legal atau online. Spotify saat ini dikenal sebagai aplikasi yang menyediakan layanan streaming musik, musik digital, podcast, dan layanan video terbesar dengan akses ke jutaan lagu dan konten lainnya dari berbagai kreator di seluruh dunia. Penelitian ini mengenai analisis kepuasan pengguna terhadap aplikasi …
Knowledge and experience possessed by teachers of SMK Negeri 2 Palembang from teachers who are still actively teaching or who have retired are still stored in each individual and are not well documented, causing this knowledge to be lost at any time. To solve this problem, this research was carried out by developing a Knowledge Management System (KMS) prototype using the Design Thinking method.…
This book examines contexts and possibilities in Aotearoa New Zealand education contexts arising from the international trend for open, flexible, innovative learning environments (ILE), specifically on the pedagogical load. The book responds to questions such as: What does it mean to teach, learn or lead in an innovative learning environment? What happens when teachers move form single cell …
SMA Negeri 14 Palembang pada masa pandemi virus Covid-19 memanfaatkan beberapa platform online seperti Google Classroom dan WhatsApp dalam membantu menunjang proses belajar-mengajar dan belum memiliki platfom pembelajaran online sendiri. Oleh karena itu penelitian ini dibuat dengan tujuan membuat aplikasi Learning Management System di SMAN 14 Palembang dengan pendekatan UCD (User Centered Desig…
This book presents the most up-to-date accomplishments in gear design and gear production, detailing theory of gearing and its application. As an enormous number of gears are used in such sectors as automobiles, aerospace, machines, and similar industries, even a very small improvement in the gear design or production, for example a 10 cent savings on each gear, can result in huge of savings in…
Rekam medis merupakan berkas yang memuat catatan yang berisikan identitas pribadi dan pelayanan yang telah diberikan pihak rumah sakit kepada pasien. Rumah Sakit Bukit Asam Medika rata-rata telah menggunakan rekam medis dengan media elektronik. Namun penggunaan media elektronik masih belum sepenuhnya, salah satunya pada pelayanan rawat inap. Dalam penggunaan rekam medis media konvensial masih m…
Teman bus is a digital service for users of government public transportation, specifically buses. It was previously known by various names according to the areas it operated in, in the city of Palembang, formerly called Trans Musi. As the application has evolved, many negative comments have surfaced regarding its quality on iOS (App Store). These comments cite the poor appearance and functional…
This book presents recent trends and enhancements in the convergence of immersive technology and smart cities. The authors discuss various domains such as medical education, construction, brain interface, interactive storytelling, edification, and journalism in relation to combining smart cities, IoT and immersive technologies. The book sets up a medium to promulgate insights and in depth under…
What type of sustainable concepts will meet future mobility requirements? Digitization is leading to the growth of the "sharing society". Especially in megacities, automation and the challenges to last mile logistics are likely to increase significantly. The question is: How can we use active development methods to design clean, efficient and intelligent mobility solutions? The internationa…
This book examines the theoretical basis of one of the functional layers—the message layer—of an architectural theory of instructional design. The architectural theory (Gibbons, 2003; Gibbons & Rogers, 2009; Gibbons, 2014) identifies seven functions carried out during instruction that correspond with designable strata, or layers. The architectural theory proposes that for each layer t…
This book gathers the papers of the PUDCAD Universal Design Practice Conference: Game + Design Education, organized by Istanbul Technical University and held online on June 24-26, 2020. The conference represented one of the key events of the Practicing Universal Design Principles in Design Education through a CAD-Based Game (PUDCAD) project, which developed a design game on a CAD-based platform…
This book includes a selection of reviewed papers presented at the 11th China Academic Conference on Printing and Packaging, held on November 26–29, 2020, Guangzhou, China. The conference is jointly organized by China Academy of Printing Technology and South China University of Technology. With 10 keynote talks and 200 presented papers on graphic communication and packaging technologies, the …