bluuebunny/crossref_metadata_2025_split huggingface dataset:
Hubungan Tingkat Kecemasan Dengan Kejadian Insomnia Pada Mahasiswa S1 Keperawatan Fakultas Ilmu Keperawatan Universitas Muhammadiyah Kalimantan Timur
Authors: Muflihatin Siti Khoiroh , Astuti Zulmah , Sujianti Annisa Syahra 
Published: January 2025

Tidur adalah suatu proses fisiologis yang sangat penting bagi manusia, karena pada saat tidur terjadi proses pemulihan dan perbaikan sel-sel tubuh yang rusak akibat aktivitas sehari-hari. Insomnia umumnya didefinisikan sebagai ketidakpuasan dengan tidur baik secara kualitatif maupun kuantitatif. Biasanya berhubungan kesulitan tidur, kesulitan mempertahankan tidur, karakteristik sering terbangun atau tidak bisa tidur kembali setelah bangun tidur dan lebih sering terbangun dimulai dengan ketidakmampuan untuk tertidur. Kecemasan merupakan salah satu fenomena psikiologis yang ditemui dimasyarakat. Mahasiswa Keperawatan adalah salah satu populasi yang memiliki kecenderungan mengalami kecemasan. Dikarenakan tuntutan akademik, ujian, sosial lingkungan perkuliahan dan ketidakmampuan dalam mengatasi tekanan psikologis, mental.Jenis penelitian ini merupakan penelitian kuantitatif dengan pendekatan studi cross sectional.Teknik pengambilan sampel dalam penelitian ini dilakukan dengan metode Total sampling yang berjumlah 568 orang. teknik pengumpulan data menggunakan kuesioner dengan melalui googel from serta uji statistik yang digunakan adalah uji gamma.Berdasarkan dari hasil uji statistik dengan menggunakan uji Gamma didapatkan p-value 0,004 < 0,05, maka H1 diterima dan H0 ditolak yang berarti bahwa terdapat hubungan antara kecemasan dengan kejadian insomnia pada mahasiswa S1 keperawatan Universitas Muhammadiyah Kalimantan Timur, dengan nilai korelasi sebesar 0,170 yang berarti bahwa ada hubungan keterikatan antara 2 variabel dengan korelasi positif dengan nilai kekuatan antara 2 variabel yaitu sangat lemah.sehingga dapat disimpulkan bahwa terdapat hubungan antara kecemasan dengan kejadian insomnia pada mahasiswa Universitas Muhammadiyah Kalimantan Timur.
ASUHAN KEPERAWATAN PADA PASIEN POST OPERASI FRAKTUR FEMUR DENGAN MASALAH KEPERAWATAN NYERI AKUT MENGGUNAKAN TERAPI KOMPRES COLD PACK DI RUANG YUDISTIRA RSUD JOMBANG
Authors: Maria Rahmadiyah Hana , Fitriyah Erna Tsalatsatul , Sudarso Sudarso , Camelia Dina , Yosdimyati R Leo 
Published: January 2025

Kondisi pada pasien pasca operasi fraktur femur biasanya akan merasakan nyeri. Jika nyeri pasca operasi tidak segera diatasi, dapat menyebabkan penundaan dalam proses rehabilitasi dan perpanjangan masa rawat inap. Tujuan penelitian ini adalah melaksanakan asuhan keperawatan pada pasien post operasi fraktur femur dengan masalah keperawatan nyeri akut menggunakan terapi kompres cold pack. Metode penelitian ini menggunakan pendekatan studi kasus dengan subjek peneliti berjumlah dua pasien post operasi fraktur femur dengan masalah keperawatan nyeri akut dan dilakukan intervensi selama 3 hari. Hasil penelitian menunjukan bahwa nyeri akut teratasi sebagian pada hari ketiga yaitu dengan keluhan nyeri menurun dan meringis menurun dengan skala nyeri pasien 1 pada hari pertama yaitu skala nyeri 5 berkurang ke skala 2 dan pada pasien 2 dari skala nyeri 6 berkurang ke skala nyeri 4. Kesimpulan dari penelitian dengan pemberian terapi kompres dingin metode cold pack terbukti dapat menurunkan intesitas nyeri yang dirasakan pasien post op fraktur femur. Saran penelitian ini adalah terapi kompres cold pack dapat diaplikasikan pada area luar bebatan luka post operasi untuk mengurangi rasa intensitas nyeri.
POLA MAKAN DAN PENGETAHUAN TERHADAP PENYEMBUHAN LUKA PERINEUM PADA IBU NIFAS DI WILAYAH KERJA UPTD PUSKESMAS JEURAM NAGAN RAYA
Authors: Sari Meliza , Oktaviyana Cut , Sartika Dewi 
Published: January 2025

Infeksi masa nifas masih berperan sebagai penyebab utama kematian ibu terutama di negara berkembang seperti Indonesia. Luka perineum merupakan faktor predisposisi terjadinya infeksi masa nifas. Bentuk infeksi ini bervariasi dan bersifat lokal sampai terjadi sepsis dan kematian masa nifas. Diantaranya yang mengalami robekan, tersebut dan kurangnya pengetahuan dalam merawat luka perineumnya. Mereka juga mengatakan bahwa membersihkan luka dengan kain basah dan belum bisa mandi selain itu juga terdapat ibu yang harus dilakukan tindakan hecting ulang yang disebabkan karena tidak menjaga kebersihan luka perineum setelah BAB, membiarkan luka perineum lembab, tidak mengganti celana dalam dengan yang bersih dan kering. Tujuan Penelitian ini untuk mengetahui hubungan pola makan dan pengetahuan terhadap penyembuhan luka perineum pada ibu nifas di Wilayah Kerja UPTD Puskesmas Jeuram Nagan Raya. Penelitian ini menggunakan metode penelitian kuantitatif dengan pendekatan cross sectional. Teknik sampling yang digunakan adalah acidental sampling. Populasi dan Sampel dalam penelitian ini adalah ibu nifas selama 2 minggu dari tanggal 23 Maret 2024 - 04 April 2024 dengan 43 responden. Hasil penelitian terdapat Pengaruh Pola Makan Terhadap Penyembuhan Luka Perineum Pada Ibu Nifas dengan nilai p = 0,009 dan terdapat Pengaruh Pengetahuan Terhadap Penyembuhan Luka Perineum Pada Ibu Nifas dengan nilai p = 0,008.
IDENTIFIKASI DAN PENENTUAN KADAR METIL SINAMAT DALAM MINYAK LENGKUAS (ALPINIA GALANGA LINN)
Authors: DJUHARIAH Y. S. , Kardono L.B S. 
Published: January 2025

Rimpang lengkuas (Alpinia galanga Linn.) mengandung minyak atsiri cukup banyak yaitu metil sinamat, feladren, kaempferol, dan kaempferitrin yang berkhasiat sebagai antiinflamasi Tujuan dari penelitian untuk mengidentifikasi dan menentukan kadar metil sinamat yang terkandung dalam minyak lengkuas. Penelitian dilakukan menggunakan metode Spektrofotometer Ultra Violet – Cahaya Tampak (UV-VIS) dengan pelarut metanol pada panjang gelombang 322,0 nm dan 288,0 nm., Spektrofotometer Infra-Merah pada panjang gelombang 4000 cm-1 sampai 650 cm-1 dengan tablet KBR, serta penentuan kadar dilakukan dengan metode GCMS dan detektor Spektrofotometer Massa. Hasil menunjukkan bahwa minyak lengkuas (Alpinia galangan Linn.) mengandung metil sinamat dengan kadar 78,68%.
GAMBARAN SPINAL CORD INJURY DI RSUP FATMAWATI TAHUN 2020
Authors: Asy'ari Yudha , C. Adisasmita Asri 
Published: January 2025

Spinal Cord Injury (SCI) adalah cedera medula spinalis yang dapat menyebabkan morbiditas dan mortalitas. Hingga saat ini studi terkait gambaran Spinal Cord Injury di Indonesia masih sulit ditemukan. Penelitian ini bertujuan untuk mengetahui Gambaran pasien Spinal Cord Injury di rawat inap RSUP Fatmawati pada tahun 2020. Studi Cross sectional dilakukan dengan meninjau rekam medis dari pasien yang didiagnosa Spinal Cord Injury yang dirawat inap selama 2020 di RSUP Fatmawati. Total sampling digunakan pada penelitian ini, didapatkan 82 pasien rawat inap yang terdiagnosa SCI. Proporsi perempuan (51.2%) lebih banyak daripada laki-laki (48.8%). Kelompok umur terbanyak adalah kelompok umur 46-60 tahun sebesar 30.5%. 50% pasien memiliki indeks massa tubuh normal. Mayoritas pasien berpendidikan SMA (42.7%), tidak memiliki pekerjaan (41.5%), berstatus menikah (53.7%), dan bertempat tinggal di luar Jakarta (63.4%). Penyebab paling umum dari SCI adalah Infeksi (Mycobacterium TB) 40.2%, diikuti Neoplastic 14.6%, dan jatuh 14.6%. Klasifikasi SCI terbanyak adalah SCI AIS D (42.7%) dengan Neuro Level Injury (NLI) di segmen Torakal (52.4%). 82.9% pasien mengalami komplikasi SCI. Komplikasi yang paling banyak ditemukan adalah neurogenic bladder (74.4%), neurogenic bowel (61%), dan spastisitas (24.4%). Kejadian Non-Traumatic SCI (NTSCI) hampir empat kali lipat dari Traumatic SCI (TSCI) di RSUP Fatmawati. Kebijakan kesehatan masyarakat harus bertujuan untuk mengurangi penyebab NTSCI khususnya Infeksi (Mycobacterium TB) dimana dapat diobati sebelum menyebar ke medula spinalis. Selain itu, perhatian khusus harus diberikan untuk jangka panjang manajemen pasien SCI untuk menurunkan angka morbiditas dan mortalitas
Enhancing Equity through Curriculum Differentiation Practice in Nepal
Authors: G.C. Krishna Bahadur 
Published: January 2025

Diversity is an inherent reality of today’s classrooms, where students represent a wide range of backgrounds, abilities, and socio-cultural dynamics. The issue of equity has gained significant attention from researchers and curriculum developers as they seek to address such diverse phenomena in the curriculum development process. This study explored the status of equity through curriculum differentiation practice in the school, its major problems, and coping strategies for addressing the challenges. The study was conducted in two different types of schools (public and private) from Kathmandu Valley. Building on a qualitative research approach and case study design, four teachers from the two selected schools were purposively selected to derive the data. In this study, open-ended interviews, non-participant observation, and focus group discussions were used as the data collection tools. The obtained data were analyzed and interpreted using thematic analysis procedures. The findings show that there is enough practice of curriculum differentiation regarding the content, strategy and methods, learning environment, and student output in the schools. However, there are rare intentional practices of curriculum differentiation to promote equity in schools. Instead, these practices primarily focus on addressing the equity of the learners related to their learnability. The study also indicates that schools have faced some problems like poor resources, proper training, and collaborative instruction during the differentiation practice of curriculum. Therefore, equity can be enhanced in educational institutions through curriculum differentiation practices by effectively managing resources, providing adequate training, and fostering collaborative instruction. The study suggests that enhancing equity in schools requires not only the efforts of teachers but also the active involvement of administrators, parents, and students.
Teacher Agency Through Translanguaging in English-Medium Community Schools
Authors: Ghimire Nani Babu , Pandeya Yam Prasad , Gurung Bhanu Bhakta 
Published: January 2025

The development of teacher agency in teaching academic subjects in English within community schools has become a critical global issue, including in Nepal. This study examines how teachers create agency through translanguaging practices while implementing the English Medium Instruction (EMI) policy in Nepal’s multilingual classroom context. The study employed an ethnographic research design within a qualitative research approach to explore the ideas and experiences of three Basic-level (Grade VI-VII) teachers. Data were collected from three different EMI community schools through in-depth interviews, classroom observations, and field notes. The study found that teachers in EMI community schools in Nepal exercise their agency by employing translanguaging practices such as using bilingual textbooks, integrating students’ mother tongues, and facilitating comprehension during examinations. These strategies help teachers navigate linguistic challenges, making EMI classrooms more inclusive and supportive for multilingual students. The findings highlight the need for policies and professional development programs that support bilingual and translanguaging practices to enhance learning outcomes in multilingual EMI classrooms.
Pengaruh Penerapan Model Pembelajaran Kooperatif Tipe STAD (Student Team Achievement Division) Terhadap Hasil Belajar Ekonomi Siswa SMAN 2 Bojonegoro
Authors: Nisak Khoirun , Kamalia Putri Ulfa 
Published: January 2025

Penelitian ini bertujuan untuk mengetahui apakah terdapat perbedaan hasil belajar ekonomi siswa SMAN 2 Bojonegoro dengan menggunakan model pembelajaran kooperatif tipe STAD (Student Team Achievement Division). Jenis penelitian yang digunakan yaitu eksperimen dengan pendekatan kuantitatif dan data yang dikumpulkan berupa hasil tes. Populasi dalam penelitian yaitu siswa kelas XI IPS dan sampel penelitian kelas XI IPS 1 sebanyak 30 siswa sebagai kelas kontrol dan kelas XI IPS 3 sebanyak 30 siswa sebagai kelas eksperimen. Berdasarkan hasil pengujian hipotesis yang telah dilakukan sehingga hipotesis Ha diterima dan Ho ditolak. Hal ini ditunjukkan dari besarnya nilai signifikan 0,006 < 0,05. Dengan demikian, dapat disimpulkan bahwa terdapat perbedaan hasil belajar ekonomi siswa SMAN 2 Bojonegoro dengan menggunakan model pembelajaran kooperatif tipe STAD (Student Team Achievement Division).
Kata kunci : STAD (Student Team Achievement Division), Hasil belajar ekonomi.
Penanaman Karakter Kepedulian Sosial dalam Pembelajaran Pendidikan Agama Islam di SD IT Khoirul Ummah
Authors: Fiter Fiter , Harmi Hendra , Rini Rini 
Published: January 2025

Masalah pokok dalam penelitian ini adalah Penanaman Karakter Kepedulian Sosial dalam Pembelajaran Pendidikan Agama Islam di SD IT Khoiru Ummah, tujuan penelitian untuk Menggambarkan Penanaman Karakter Kepedulian Sosial dalam Pembelajaran Pendidikan Agama Islam di SD IT Khoiru Ummah, kendala yang dihadapi dan upaya yang dilakukan. Jenis peneltian ini adalah penelitian lapangan ( field research) dengan menggunanakan metode kualitatif dengan pendekatan deskriptif, Teknik pengumpulan data yang digunakan yaitu observasi, wawancara, dan dokumentasi. Teknik analisis data yang penulis gunakan adalah reduksi data, Penyajian data dan conclusion drawing atau verifikation. Selanjutnya Teknik penjaminan keabsahan data yang digunakan adalah ketekunan pengamatan dan triangulasi. Penanaman karakter kepedulian sosial dalam pembelajaran pendidikan agama islam di lakukan dengan cara metode ceramah, memberikan pengertian, memberikan nasehat memberikan hukuman dan memberikan contoh secara langsung kepada peserta didik. Adapun faktor yang dihadapi dalam penanaman karakter kepedulian sosial adalah masih ada peserta didik yang tidak peduli dengan temannya, masih ada peserta didik yang tidak ada rasa taggung jawab pada lingkungannya, tidak antusias untuk mengikuti mata kegiatan yang seharusnya di lakukan, masih ada siswa yang tidak memperhatikan guru ketika mejelaskan, ribut dalam kelas dan sebagainya.

Kata kunci: Penanaman Karakter, Karakter Kepedulian Sosial, Sikap Kepedulian Sosial
Manajemen Program Pendidikan Kesetaraan Paket C di PKBM Rumpun Aksara Panti – Jember
Authors: Layyinah Marifatul , Yaum Lailil Aflahkul 
Published: January 2025

Penelitian ini mengkaji tentang manajemen program pendidikan kesetaraan paket C di PKBM Rumpun Aksara. Tujuan penelitian ini adalah untuk mendeskripsikan: 1) perencanaan program pendidikan kesetaraan paket C, 2) pengorganisasian program pendidikan kesetaraan paket C, 3) pelaksanaan program pendidikan kesetaraan paket C, dan 4) evaluasi program pendidikan kesetaraan paket C. Penelitian ini menggunakan pendekatan kualitatif dengan metode deskriptif, teknik pengumpulan data dilakukan dengan observasi, wawancara, dan dokumentasi. Informan terdiri dari Kepala PKBM , 3 tutor, dan 2 warga belajar. Teknik analisis data yang digunakan dalam penelitian ini meliputi: 1) pengumpulan data, 2) penyajian data dan 3) penarikan kesimpulan. Teknik yang digunakan untuk pengecekan keabsahan data dalam penelitian ini adalah triangulasi sumber dan data. Dari hasil penelitian yang diperoleh kesimpulan yaitu : 1) perencanaan, pada program paket C di PKBM Rumpun Aksara sudah dikategorikan baik namun masih perlu diperbaiki dan dikembangkan lagi, 2) Pengorganisasian yang ada di PKBM Rumpun Aksara dalam mengelola program pendidikan kesetaraan masih belum optimal.3) Pelaksanaan di PKBM Rumpun Aksara sudah cukup baik namun masih ada beberapa hal yang perlu di benahi dan dikembangkan., 4) Penilaian / evaluasi yang ada di Rumpun Aksara juga dikategorikan baik.
Kata Kunci : Manajemen, Pusat Kegiatan Belajar Masyarakat
Pengaruh Teknik Punishment dengan Media Puzzle Floor terhadap Perilaku Hiperaktif pada Anak Down Syndrome
Authors: Ekawati Agustin Siti Yulia , Mais Asrorul , P Nostalgianti Citra 
Published: January 2025

Sikap hiperaktif pada anak down syndrome dapat mempengaruhi berjalannya pembelajaran dalam kelas, sehingga pada penelitian ini akan membahas tentang pengaruh teknik punishment dengan media puzzle floor yang diharapkan dapat meminimalisir sikap hiperaktif pada anak tersebut. Teknik punishment merupakan suatu bentuk hukuman yang memberikan efek jera terhadap seseorang, sedangkan media puzzle floor merupakan media edukatif yang bermanfaat untuk meningkatkan daya konsentrasi pada anak. Jadi, media puzle floor ini adalah sebagai bentuk dari punishmentnya. Metode yang digunakan pada penelitian ini yakni metode Single Subject Research (SSR) yang biasa disebut dengan penelitian subjek tunggal. Metode SSR artinya metode eksperimen dalam memfokuskan data individu. Desain yang digunakan pada penelitian ini adalah desain A – B dimana desain tersebut melibatkan fase baseline (A) dan juga fase intervensi (B). Hasil penelitian ini menunjukkan bahwa, teknik punishment dengan media puzzle floor berpengaruh terhadap siswa down syndrome yang hiperaktif. Hal itu dibuktikan dengan adanya mean fase intervensi (B) dengan nilai 15 lebih tinggi jika dibandingkan dengan fase baseline (A) yang memperoleh nilai 6,8. Begitupun perubahan level pada analisis antar kondisinya mendapatkan nilai (+9). Pada persentase overlap, mendapatkan nilai 0% dimana hal tersebut menunjukkan jika intervensi yang telah diberikan kepada siswa memiliki pengaruh pada perilaku hiperaktifnya. Berdasar pada hasil dari analisis data dalam kondisi maupun antar kondisi, maka diketahui jika, penerapan teknik punishment dengan media puzzle floor berpengaruh terhadap perilaku hiperaktif pada anak down syndrome. Hal ini, dapat diketahui karena perolehan hasil dari mean level fase intervensi (B) yang lebih tinggi dibandingkan dengan mean level fase baseline (A).

Kata Kunci : Teknik Punishment, Media Puzzle Floor, Down Syndrome, Perilaku Hiperaktif
Implementasi Marketing Mix 7P. Studi Kasus pada Klinik Universitas Brawijaya
Authors: Ulfa Dina Maria Maria , Enjelika Enjelika , Firdaus Romadhoni Satrio Ahmadtul , Putra Wardanu Aditya , Sudarmiatin Sudarmiatin 
Published: January 2025

This study aims to analyze the implementation of the Marketing Mix 7P strategy at Universitas Brawijaya Clinic (Klinik UB) to enhance competitiveness and patient satisfaction. The strategy encompasses the elements of Product, Price, Place, Promotion, People, Process, and Physical Evidence, applied holistically to create an optimal service experience. The research employs a qualitative descriptive method through in-depth interviews and direct observation. The results indicate that Klinik UB successfully integrates the Marketing Mix 7P elements to expand service accessibility, improve service quality, and strengthen patient trust. This study provides insights into the importance of comprehensive marketing strategies in addressing competition in the healthcare sector.
Keywords: Marketing Mix 7P, Marketing Strategy, Patient Satisfaction, Healthcare Clinic, Competitiveness
Meningkatkan Customer Engagement melalui Brand Image dan Content Visual: Perspektif pengguna DNVB di Indonesia
Authors: Wardanu Aditya Putra , Noviarkahman Zagladi Arief 
Published: January 2025

This study aims to analyze the influence of Brand Image (BI), Interest Audience (IA), and Content Visual (CV) on Customer Engagement (CE) among Digitally Native Vertical Brands (DNVB) users in Indonesia. 286 samples were used in this study. The results of this study indicate that BI has a significant positive influence on CV, indicating that a good brand image contributes to a positive perception of the quality of visual content. In addition, IA also has a significant effect on CE, indicating that content that is relevant to the audience's interests can increase their engagement. The results of the analysis show that CV has a positive effect on CE, indicating that attractive visual content can encourage user interaction. This study also found an indirect effect of BI through CV and IA on CE, indicating that brand image not only has a direct impact but also through increasing audience interest and the quality of visual content. In conclusion, this study emphasizes the importance of managing brand image and presenting high-quality visual content in increasing customer engagement in today's digital era. Therefore, DNVB companies are advised to continue to improve the quality of visual content and ensure that content matches audience interests to build stronger relationships with consumers.
Keywords: Brand Image, Content Visual, Interest Audience
Списки Саровского устава: атрибуция списка (ЦГАРМ. Ф. 1. Оп. 4. Д. 18), характерные особенности, гипотезы
Authors: Дудоров Павел 
Published: January 2025

В статье исследуется один из одиннадцати списков Саровского общежительного устава — ЦГАРМ Ф. 1. Оп. 4. Д. 18. Автор делает гипотетические выводы не только о составителе, переписчике и времени написания текста, но и сам исследует документ в его дисциплинарной части. Для последнего указываются особенности его содержания и написания, перечисляются основные характеристики источников, на которые ссылается составитель рукописи. В связи с изучением списка монастырского устава автором предлагается новая гипотетическая версия о самом близком к оригинальному списку общежительного Типика рукописном документе — «Достодолжном отпуске». Фрагмент текста из подлинного списка Отпуска был обнаружен в одной из архивных рукописей монастырского устава — ЦГАРМ. Ф. 1. Оп. 2. Д. 5. В статье представлены обновлённые данные и новые выводы по исследованию списков Саровского общежительного устава.
The article examines one of the 11 lists of the Sarov hostel charter (The Central State Archive of the Republic of Mordovia. Fun. 1. Inv. 1. Fil. 18). The author of the article makes hypothetical conclusions not only about the compiler and copyist of this list and the time of writing the text itself, but also examines the text of the archival document itself. For the latter, the peculiarities of its content and spelling are indicated in its disciplinary part. For the first part of the charter, the main characteristics of the sources referred to by the compiler of the manuscript are listed. In connection with the study of the monastery charter the author proposes a new hypothetical version of the handwritten document closest to the original list of the dormitory charter «Dostodoljniy otpusk». A fragment from the genuine list of «otpusk» was found in one of the lists of the monastery type: in the new list (Central State Archive of Ancient Acts. Fun. 1. Inv. 2. Fil. 5). The article presents new data and new conclusions on the study of lists of dormitory charter.
Symbolic simulation of industrial real-time and embedded systems-experiments with the bluetooth baseband communication protocol
Authors: Wang Farn , Huang Geng-Dian , Yu Fang 
Published: January 2025

We introduce the symbolic simulation function implemented in our model-checker/simulator RED 4.0 for dense-time concurrent systems. By representing and manipulating state-spaces as logic predicates, the technique of symbolic simulation can lead to high performance by encoding even a dense amount of traces in traditional simulation into one symbolic trace. Symbolic simulation adds the dimension of width to a trace of state-spaces. By controlling the width of traces, we have a much better chance to find bugs using fewer traces. Our main contribution is the design of symbolic simulation function in RED 4.0 for dense-time concurrent systems. In our tool, users can strongly control the width of traces and the generation of traces. We discuss how to generate traces using various policies, how to manipulate the state-predicate, and how to manage the trace trees. Moreover, we design a C-like language whose programs can be mechanically translated into the optimized communicating timed automata(CTA). Engineers can also put down comment-line assertions as specifications in their verification tasks. Finally, experiments using our simulator to verify the Bluetooth baseband protocol justify the usefulness of our tool. The tool is available at http://cc.ee.ntu.edu.tw/∼farn/ .