1,723,219 research outputs found
Miranti eltari_topik penelitian Komunikasi interpersonal orangtua dan anak Sd mengenai pola be;ajar dan pembagian waktu bermain anak
Catatan : Pengumpulan Tugas Mata Kuliah Metedologi Penelitian Sosial, Miranti Eltari (1820701019
Origami Training to Train Students' Motor Skills at SLBC Dharma Miranti
Penekanan keterampilan hidup kepada anak berkebutuhan khusus sebagai bekal mereka untuk mandiri adalah kelebihan yang di miliki SLB dibandingkan sekolah lain untuk ABK. Mata pelajaran program khusus adalah mata pelajaran yang hanya ada dalam kurikulum di SLB. Khalayak sasaran kegiatan pelatihan origami untuk meningkatkan keterampilan motorik siswa. Kegiatan ini dilaksanakan dengan khalayak sasaran yaitu siswa yang ada di SLBC Dharma Miranti Singkawang. Hasil karya yang telah dibuat oleh masing-masing siswa, diberikan untuk dibawa pulang agar dapat ditunjukkan kepada orang tua dan keluarga di rumah serta dapat memotivasi mereka untuk belajar membuat bentuk lainnya.Hasil dari pelaksanaan kegiatan pelatihan origami ini menunjukkan bahwa demonstrasi melipat kertas origami menjadi salah satu media pembelajaran yang interaktif karena terjadi interaksi yang baik antara tim pengabdian dengan sisw
APLIKASI PELAYANAN PASIEN BERBASIS WEB (STUDI KASUS : KLINIK MIRANTI BOYOLALI)
Kesehatan adalah salahsatu hal penting bagi kehidupan manusia. Jika terkendala akan kesehatan kita dapat berobat ke rumah sakit, praktek dokter, pustesmas maupun klinik. Klinik Miranti adalah salah satu klinik besar yang ada di kota Boyolali. Di klinik Miranti terdapat beberapa dokter umum, dokter mata dan dokter gigi. Selama ini klinik Miranti dalam segala prosesnya masih menggunakan manual (tulis tangan). Hal ini dapat menyebabkan tertukarnya data, hilangnya data, salah penghitungan data. Namun penulis mengusulkan adanya aplikasi untuk memudahkan segala kegiatan yang ada di klinik miranti tersebut. Apilkasi ini berkaitan dengan segala kegiatan, mulai dari pendaftaran pasien baru, pendaftaran periksa, rekam medis pasien, periksa dokter, kelola dokter, kelola obat. Semua fungsionalitas tersebut dimiliki 4 aktor, yaitu petugas, pasien, dokter dan apoteker. Dengan adanya aplikasi ini membuat segala kegiatan di klinik miranti menjadi mudah dan meminimalisir terjadinya tertukar data, kehilangan data. Masing masing memiliki hak sesuai dengan kebutuhan aktor.
Aplikasi ini diharapkan dapat memberikan solusi terhadap permasalahan tersebut. Aplikasi ini dibuat menggunakan metode pengerjaan waterfall, framework CodeIgniter dengan bahasa pemrograman php. MySQL digunakan sebagai basis data server dan black box testing untuk pengujian aplikasi. Hasil dari dibangunnya aplikasi ini adalah dapat memberikan kemudahan bagi seluruh actor yang ada di aplikasi pelayanan pasien Klinik Miranti Boyolali.
Kata Kunci: Fungsionalitas, Kelola, Waterfall, MySql, Codeigniter, PHP
Miranti Fauziah Agma's Quick Files
The Quick Files feature was discontinued and it’s files were migrated into this Project on March 11, 2022. The file URL’s will still resolve properly, and the Quick Files logs are available in the Project’s Recent Activity
Naluri purba : duo exhibition Rocka Radipa & Miranti Minggar
Kali ini Edwin's Gallery berkesempatan menyelenggarakan pameran yang terbilang istimewa, yakni menampilkan karya-karya dari pasangan perupa yang juga merupakan suami-istri, Rocka Radipa dan Miranti Minggar. Edwin's Gallery berbangga hati melihat kontribusi keduanya dalam perkembangan seni rupa Indonesia pada masa kini. Karya-karya kedua perupa ini cukup menarik untuk dilihat sebagai sebuah proses panjang, yang bukan saja butuh ketekunan-mengingat medium yang mereka gunakan melainkan juga kesenangan untuk terus mencipta dan bereksplorasi. Rocka menggunakan lempengan besi sebagai media berekspresinya dan Miranti menggunakan kayu
Miranti Fauziah Agma's Quick Files
The Quick Files feature was discontinued and it’s files were migrated into this Project on March 11, 2022. The file URL’s will still resolve properly, and the Quick Files logs are available in the Project’s Recent Activity
Miranti Fauziah Agma's Quick Files
The Quick Files feature was discontinued and it’s files were migrated into this Project on March 11, 2022. The file URL’s will still resolve properly, and the Quick Files logs are available in the Project’s Recent Activity
Semantics of low-level languages
In this paper we address the motivations, problems and challenges involved in formally specifying low level programming languages. We utilize the K programming language specification framework to build executable models of the languages discussed: x86 and Tezos Michelson. We extend an existing formalization of x86 to include its most common format - executable binaries by implementing an instruction decoder. We start completely from scratch with another: Tezos’ Michelson. We produce executable models capable of running programs in each language, with natural extensions towards formal verification tools possible through the K Framework. Finally, we discuss the differences between the two languages which make formalizing the former daunting, and the latter relatively straightforward.Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2020-08-25 without embargo termsThe student, Andrew Miranti, accepted the attached license on 2020-05-11 at 15:51.The student, Andrew Miranti, submitted this Thesis for approval on 2020-05-11 at 15:56.This Thesis was approved for publication on 2020-05-12 at 10:06.DSpace SAF Submission Ingestion Package generated from Vireo submission #15332 on 2020-08-25 at 17:13:58Made available in DSpace on 2020-08-26T21:58:03Z (GMT). No. of bitstreams: 3
MIRANTI-THESIS-2020.pdf: 258685 bytes, checksum: 1e494df33d527ed91e94c7dc072de5c8 (MD5)
MirantiThesisSource.zip: 80234 bytes, checksum: 2a3ba4539bde3b3f977712f4f678e893 (MD5)
LICENSE.txt: 4211 bytes, checksum: 52b8f7b4ddc8e8fb0cd6891fa90a80e4 (MD5)
Previous issue date: 2020-05-1
Jonathan Barron Baskin, Paul J. Miranti Jr, A History of Corporate Finance
Hautcoeur Pierre-Cyrille. Jonathan Barron Baskin, Paul J. Miranti Jr, A History of Corporate Finance. In: Annales. Histoire, Sciences Sociales. 53ᵉ année, N. 3, 1998. pp. 635-639
- …
