Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…

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…

Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…

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…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

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…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

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…

Optimization and Optimal Control in Automotive Systems

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…

Adapting Interactive Learning Environments to Student Competences

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…

PENGEMBANGAN UI/UX APLIKASI MOBILE IPUSNAS DENGAN METODE DESIGN THINKING

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…

ANALISIS KEPUASAN PENGGUNA TERHADAP APLIKASI SPOTIFY MENGGUNAKAN METODE END U…

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 …

PENERAPAN METODE DESIGN THINKING PADA PERANCANGAN KNOWLEDGE MANAGEMENT SYSTEM…

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.…

Pedagogy and Partnerships in Innovative Learning Environments

​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 …

Advances in Signal Processing and Intelligent Recognition Systems

This edited volume contains a selection of refereed and revised papers originally presented at the International Symposium on Signal Processing and Intelligent Recognition Systems (SIRS-2014), March 13-15, 2014, Trivandrum, India. The program committee received 134 submissions from 11 countries. Each paper was peer reviewed by at least three or more independent referees of the program committee…

RANCANG BANGUN APLIKASI LEARNING MANAGEMENT SYSTEM (LMS) PADA SMAN 14 PALEMBA…

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…

Recent Advances in Gearing : Scientific Theory and Applications

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…

PERANCANGAN SISTEM INFORMASI REKAM MEDIS RAWAT INAP PADA RUMAH SAKIT BUKIT AS…

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…

PENGEMBANGAN UI/UX DENGAN METODE DESIGN THINKING PADA APLIKASI TEMAN BUS BERB…

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…

Immersive Technology in Smart Cities : Augmented and Virtual Reality in IoT

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…

Time Reversal Acoustics

This book highlights time reversal acoustics, techniques based on the symmetry properties of acoustic fields. It has the unique feature that the first eleven chapters of the book are on the indepth studies of the theories of time reversal acoustics. The remaining chapters are on the four major applications of time reversal acoustics, together with their experimental setups and case studies: un…

Advances in Intelligent Information Hiding and Multimedia Signal Processing

Edition

1

ISBN/ISSN

978-981-33-6420-2

Collation

xx, 531p.:Ill.

Series Title

-

Call Number

005.8 Adv

Conceptual Digital Signal Processing with MATLAB

Edition

1

ISBN/ISSN

978-981-15-2584-1

Collation

xiii, 677p.:Ill.

Series Title

-

Call Number

621.382 2 Kim c

Advances in Automation, Signal Processing, Instrumentation, and Control

Edition

1

ISBN/ISSN

978-981-15-8221-9

Collation

xxxiv, 3329p.:ll

Series Title

-

Call Number

629.831 2 Adv

Manned Spacecraft Technologies

Edition

1

ISBN/ISSN

978-981-15-4898-7

Collation

xxiii,355p.:Ill.

Series Title

-

Call Number

629.47 Yan m

Advances in Electrical and Computer Technologies

Edition

-

ISBN/ISSN

978-981-15-9019-1

Collation

xvi, 1335p.:Ill

Series Title

Lecture Notes in Electrical Engineering

Call Number

004.6 Sen

Current Trends in Communication and Information Technologies

Edition

1

ISBN/ISSN

978-3-030-76343-5

Collation

xix, 438p.:Ill.

Series Title

Lecture Notes in Networks and Systems

Call Number

621.382 Cur

Advances in Ergonomics in Design

Edition

1

ISBN/ISSN

978-3-030-79760-7

Collation

xxi, 1036p.:Ill

Series Title

-

Call Number

620.82 Adv

Communications, Signal Processing, and Systems

Edition

1

ISBN/ISSN

978-981-15-8411-4

Collation

XXVI, 2070p.:Ill

Series Title

Lecture Notes in Electrical Engineering

Call Number

621.382 Com

Sensor Networks and Signal Processing

Edition

-

ISBN/ISSN

978-981-15-4917-5

Collation

xviiii, 600p.:Ill

Series Title

Smart Innovation, Systems and Technologies

Call Number

006.25 Sen

3D Imaging Technologies—Multi-dimensional Signal Processing and Deep Learning

Edition

-

ISBN/ISSN

978-981-16-3391-1

Collation

XII, 348p.:ll.

Series Title

Smart Innovation, Systems and Technologies

Call Number

006.693 Ima

3D Imaging Technologies—Multidimensional Signal Processing and Deep Learning

Edition

-

ISBN/ISSN

978-981-16-3180-1

Collation

xii, 332p.:Ill

Series Title

Smart Innovation, Systems and Technologies

Call Number

006.693 Ima

Dual Mode Logic

Edition

-

ISBN/ISSN

978-3-030-40786-5

Collation

XIV, 185p.:Ill

Series Title

-

Call Number

621.381 5 Lev d

TERAPI OKSIGEN Aplikasi Klinis

Edition

1

ISBN/ISSN

978-979-044-241-2

Collation

xiv, 63hlm.; ilus.; 21cm

Series Title

-

Call Number

615.836 Pat t