This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020. The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and…
In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-d…
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 book summarizes the first two decades of the NII Testbeds and Community for Information access Research (NTCIR). NTCIR is a series of evaluation forums run by a global team of researchers and hosted by the National Institute of Informatics (NII), Japan. The book is unique in that it discusses not just what was done at NTCIR, but also how it was done and the impact it has achiev…
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual system…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…
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…
The MCPC 2014 is a multi‐track conference featuring a combination of high profile keynotes with expert talks, panel discussions, paper sessions, workshops, receptions, and much more. While it is devoted to sharing and discussing the latest research in the field, the MCPC conference has a strong focus on real life applications. Since its beginning, the MCPC conference has had an equal share of…
This book offers a state of the art collection covering themes related to Advanced Intelligent Computational Technologies and Decision Support Systems which can be applied to fields like healthcare assisting the humans in solving problems. The book brings forward a wealth of ideas, algorithms and case studies in themes like: intelligent predictive diagnosis; intelligent analyzing of medical ima…
This book presents a comprehensive analysis of D2D communication over LTE-A band. The book uses 3GPP LTE-A as a baseline and explains all fundamental requirements for deploying D2D network under cellular systems from an architectural, technical and business point of view. The contributors explain the standardization activities of Release 12 of LTE-A, which has been recently acknowledged as supp…
This book presents (1) an exhaustive and empirically validated taxonomy of quality aspects of multimodal interaction as well as respective measurement methods, (2) a validated questionnaire specifically tailored to the evaluation of multimodal systems and covering most of the taxonomy‘s quality aspects, (3) insights on how the quality perceptions of multimodal systems relate to the quality pe…
This book aims to present a viable alternative to the Hopfield Neural Network (HNN) model for analog computation. It is well known the standard HNN suffers from problems of convergence to local minima, and requirement of a large number of neurons and synaptic weights. Therefore, improved solutions are needed. The non-linear synapse neural network (NoSyNN) is one such possibility and is discusse…
This book contains a selection of papers presented at the 17th AISEM (“Associazione Italiana Sensori e Microsistemi”) National Conference on Sensors and Microsystems, held in Brescia, 5-7 February, 2013. The conference highlighted state-of-the-art results from both theoretical and applied research in the field of sensors and related technologies. This book presents material in an interdisci…
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…
Decision has inspired reflection of many thinkers since the ancient times. With the rapid development of science and society, appropriate dynamic decision making has been playing an increasingly important role in many areas of human activity including engineering, management, economy and others. In most real-world problems, decision makers usually have to make decisions sequentially at differen…
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 …
The integrated and advanced science research topic Man-Machine-Environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian. In a letter to Shengzhao Long from October 22nd, 1993, Xuesen Qian wrote: “You have created a very important modern science and technology i…
Human reliability, error, and human factors in the area of power generation have been receiving increasing attention in recent years. Each year billions of dollars are spent in the area of power generation to design, construct/manufacture, operate, and maintain various types of power systems around the globe, and such systems often fail due to human error. This book compiles various recent resu…
The ever-increasing number of vehicle users makes traffic congestion one of the major problems to be overcome. Services provided by Intelligent Transportation Systems (ITS) can help solve traffic congestion problems. Smart transportation systems are an important part of smart cities by focusing on lane optimization, traffic lights, and congestion detection. The optimal model is obtained using c…
Dalam membangun Knowledge Management System (KMS) pada Kantor Urusan Agama (KUA) Kecamatan Prabumulih Timur Kota Prabumulih, penulis mencoba menerapkan metode Knowledge Management System Life Cycle (KMSLC) yang dikenalkan oleh (Awad and Ghazairi 2010) yang di implementasikan dalam jurnal yang ditulis oleh (Wardhana et.al 2020) yang berjudul “Knowledge Management System Berbasis Web Tentang Bu…
This book is a selection of results obtained within three years of research performed under SYNAT—a nation-wide scientific project aiming at creating an infrastructure for scientific content storage and sharing for academia, education and open knowledge society in Poland. The book is intended to be the last of the series related to the SYNAT project. The previous books, titled “Intellige…
This book unites two different technologies: parasitic antenna arrays driven via analogue circuits that control the electromagnetic waves generated by the antenna array; and MIMO technology for multi-antenna arrays, typically driven by digital techniques in the baseband domain. The combination of these two technologies has revealed a novel functionality that breaks through the conventional MIMO…
Discrete Control Systems establishes a basis for the analysis and design of discretized/quantized control systems for continuous physical systems. Beginning with the necessary mathematical foundations and system-model descriptions, the text moves on to derive a robust stability condition. To keep a practical perspective on the uncertain physical systems considered, most of the methods treated a…
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…
This book comprises select peer-reviewed proceedings of the international conference on Research in Intelligent and Computing in Engineering (RICE 2020) held at Thu Dau Mot University, Vietnam. The volume primarily focuses on latest research and advances in various computing models such as centralized, distributed, cluster, grid, and cloud computing. Practical examples and real-life application…