bluuebunny/crossref_metadata_2025 huggingface dataset:
Ragam Sulukan Wayang Kulit Purwa Gaya Yogyakarta: Studi Kasus Timbul Hadiprayitno, Hadi Sugito, dan Suparman
Authors: - Sudarko
Published: November 2018

ABSTRAK Penelitian ini bertujuan untuk mencari penjelasan tentang ragam sulukan wayang kulit purwa gaya Yogyakarta versi Timbul Hadi Prayitno, Hadi Sugito, dan Suparman. Penjelasan itu didapat dengan jalan mencari persamaan dan perbedaan sulukan tiga dalang itu. dalam mencari persamaan dan perbedaan sulukan tiga dalang tersebut. Dalam mencari sebab-sebab terjadinya perbedaan sulukan digunakan landasan pemikiran Koentjaraningrat mengatakan bahwa segala bentuk perubahan yang terjadi dalam tata kehidupan masyarakat di antaranya disebabkan oleh tiga faktor pokok yakni: (1) ketidakpuasan terhadap hasil yang telah ada, (2) kemampuan di dalam bidangnya, dan (3) keinginan mendapatkan imbalan. Berdasarkan penelitian dapat disimpulkan bahwa persamaan sulukan tiga dalang terletak pada pathet, jenis, fungsi, hubungan cakepan dengan lagu, hubungan gendhing dengan sulukan. Sementara itu perbedaan sulukan terletak pada: (1) jenis lagon, suluk, dan kawin terletak pada wilet. (2) Jenis ada-ada yakni perbedaan pada wilet dan cakepan dan letak pada lagu pokok. Kata kunci: ragam, sulukan, Yogyakarta.   ABSTRACT The Various Mood Song of Yogyakarta Shadow Puppet Theater: A Case Study on Timbul Hadiprayitno, Hadi Sugito, dan Suparman’s Work. This paper is intended to look for the explanations about the various kinds of puppet sulukan (mood song) in Yogyakarta style especially sulukan of Timbul Hadiprayitno, Hadi Sugito, and Suparman. The explanation was obtained by seeking similarities and differences of the three puppeteer’s sulukan. In order to search for similarities and differences of sulukan, the comparative approach was used. Moreover, in searching for the causes of differences of sulukan, the theoritical framework by Koentjaraningrat was used. It says that any changes happened in the governance of community life of which they are caused by three main factors, namely: (1) dissatisfaction to the existing results, (2) the capabilities in one’s fi eld, and (3) the desire to get rewards. The similarities to the three puppeteers’ sulukan lie on pathet, type, function, cakepan relationship with the song, and the relationship of gendhing with sulukan. Meanwhile, the differences of the three puppeteer’s sulukan are on: (1) the type of lagon, suluk, and kawin which lies in wilet. (2) the type of ada-ada, namely the difference lies in wilet and cakepan and the difference lies in the basic song, wilet, and cakepan. Keywords: mood song, pupputry, wayang
Kanca Indihiang sebagai Embrio Kreativitas Mang Koko
Authors: Satriana Rasita , Haryono Timbul , Hastanto Sri
Published: November 2018

Kanca Indihiang adalah sebuah grup yang dibentuk oleh Mang Koko tahun 1946, yang termasukpada genre seni Jenaka Sunda, yakni seni pertunjukan dengan format seni humor. Kreativitas MangKoko dalam melakukan berbagai inovasi garap, membuat grup Kanca Indihiang sangat berbeda denganseni Jenaka Sunda pada umumnya. Nama Mang Koko terkenal sebagai pencipta genre seni baruatau dikenal dengan sebutan karawitan wanda anyar. Untuk mengungkap perkembangan kreativitasMang Koko, digunakan metode kualitatif dengan pendekatan etnomusikologi. Berdasarkan hasilpenelitian dapat disimpulkan bahwa dalam wadah grup Kanca Indihiang, Mang Koko bereksplorasimemodernisasi kekakuan pakem seni kawih Sunda tradisi. Karawitan wanda anyar diyakini sebagaigenre karawitan Sunda yang terbentuk dari akumulasi kreativitas berkesenian dari Mang Koko.Kanca Indihiang: As a Creativity Embryo of Mang Koko. Kanca Indihiang is a group which wasfirst created by Mang Koko in 1946 and is one of the Sundanese art genres that is a performing art withsuch a humorous art format. Mang Koko’s creativity in doing works on a variety of innovations makes KancaIndihiang group may differ a lot from Sundanese humorous art in general. Mang Koko’s name then becomesfamous as a creator of a new art genre called ‘karawitan wanda anyar’. Thus, a qualitative research applyingethno-musicological approach is done to uncover the development of Mang Koko’s creativity. According to thisresearch, it can be concluded that within this Kanca Indihiang group, Mang Koko did some explorationsto modernize rigidity in the rules of traditional Sundanese kawih. Karawitan wanda anyar is believed as aSundanese karawitan genre shaped from the accumulation of Mang Koko’s artistic creativities.
Kosmologis Tetabuhan dalam Upacara Ngaben
Authors: Arsana I Nyoman Cau , Lono L. Simatupang G. R. , Soedarsono R. M. , Dibia I Wayan
Published: November 2018

Penelitian ini difokuskan pada dua hal, yaitu: (1) mendeskripsikan hubungan musik dan ritual melalui penggunaan tetabuhan dalam upacara ngaben dan (2) menemukan aspek-aspek kosmologis tetabuhan dalam upacara ngaben. Penelitian ini menggunakan perspektif etnomusikologis dipadukan dengan konsep agama dan filsafat bunyi yang tertuang dalam lontar Prakempa. Hasil penelitian ini menunjukkan bahwa ada hubungan yang sangat erat antara tetabuhan dan upacara ngaben yang teraplikasi lewat penggunaan tetabuhan dalam prosesi upacara ngaben. Penggunaan tetabuhan dalam upacara ngaben berkaitan erat dengan aspek-aspek kosmologis. Suara yang dijadikan dasar dari nada-nada gamelan Bali adalah suara (bunyi) yang keluar dari alam. Suara tersebut digabungkan menjadi sepuluh suara yaitu panca suara patut pelog dan panca suara patut slendro yang menyebar ke seluruh penjuru alam. Tetabuhan dalam upacara ngaben, melalui jalinan nada-nada merupakan manifestasi dari pemujaan kepada ista dewata sebagai cermin konsep keseimbangan mikrokosmos, makrokosmos, dan metakosmos. Penelitian ini difokuskan pada dua hal, yaitu: (1) mendeskripsikan hubungan musik dan ritual melalui penggunaan tetabuhan dalam upacara ngaben dan (2) menemukan aspek-aspek kosmologis tetabuhan dalam upacara ngaben. Penelitian ini menggunakan perspektif etnomusikologis dipadukan dengan konsep agama dan filsafat bunyi yang tertuang dalam lontar Prakempa. Hasil penelitian ini menunjukkan bahwa ada hubungan yang sangat erat antara tetabuhan dan upacara ngaben yang teraplikasi lewat penggunaan tetabuhan dalam prosesi upacara ngaben. Penggunaan tetabuhan dalam upacara ngaben berkaitan erat dengan aspek-aspek kosmologis. Suara yang dijadikan dasar dari nada-nada gamelan Bali adalah suara (bunyi) yang keluar dari alam. Suara tersebut digabungkan menjadi sepuluh suara yaitu panca suara patut pelog dan panca suara patut slendro yang menyebar ke seluruh penjuru alam. Tetabuhan dalam upacara ngaben, melalui jalinan nada-nada merupakan manifestasi dari pemujaan kepada ista dewata sebagai cermin konsep keseimbangan mikrokosmos, makrokosmos, dan metakosmos.
Musik Adaptasi Dangdut Madura
Authors: Hidayatullah Panakajaya
Published: November 2018

Musik adaptasi dangdut Madura adalah bentuk penciptaan musik yang prosesnya dilakukandengan mengadaptasi lagu asing (asal) menjadi lagu dangdut Madura (sasaran). Tujuan penelitianini adalah untuk mengetahui proses adaptasi musik dangdut Madura dari lagu asal ke lagu sasaranmelalui analisis musikologis. Analisis musikologis meliputi lirik, melodi vokal, dan hubungan antaralirik dan melodi vokal. Lirik dan melodi vokal dipilih sebagai objek studi karena keduanya merupakanunsur yang paling menonjol dalam musik adaptasi dangdut Madura. Hasil penelitian menunjukkanbahwa dalam proses adaptasi lagu asal ke lagu sasaran terdapat pola-pola atau kecenderungan yangsering terjadi yaitu: 1) lirik lagu sasaran selalu menyesuaikan dengan lirik lagu asal, penyesuaiantersebut melalui penyesuaian pola liris, pola tiruan bunyi (onomatope), pola penyesuaian bunyi dansaduran. 2) Melodi vokal lagu asal selalu berorientasi untuk tetap dipertahankan, tetapi mengalamiperubahan yaitu penyesuaian ritme melodi vokal dan perubahan nada melodi vokal. 3) Terdapat hubungan lirik dan melodi vokal yang saling mempengaruhi dalam musik adaptasi dangdut Madura.The Musical Adaptation of Maduranese Dangdut. The musical adaptation of Maduranese dangdutis a form of musical creation process done by adapting a foreign song (origin) into a Maduranese dangdutsong (target). The purpose of this study was to determine the adaptation process of Maduranese dangdutmusic from the origin song to the target one through musicological analysis. The musicological analysisincludes the analysis of the lyrics, the vocal melodies, and the relationship between the lyrics and vocalmelodies. The lyrics and vocal melodies were chosen as the objects of study because both of which were themost prominent elements in the musical adaptation of Maduranese dangdut. The results showed that in theprocess of adaptation tracked from the target to the original songs there are several patterns or tendencies thatoften occur. The patterns are the followings: 1) The lyrics targets always adjust to the lyrics of origin, theseadjustments include the adjustment of lyrical pattern, the pattern of sound imitation (onomatopoeic), thepattern of sound adjustment and adaptation. 2) The melody of the original vocal songs are always designedto be retained, yet the changes are in the adjustment of the vocal melody rhythm and the tonal changes of thevocal melody. 3) There is a relationship between the lyrics and vocal melody which interplay in the musical adaptation of Maduranese dangdut.
Estetika Bawa dalam Karawitan Gaya Surakarta
Authors: Haryono Timbul
Published: November 2018

Penelitian ini difokuskan pada garap vokal terutama estetika båwå untuk mencapai keselarasanbåwå atau carem.  Penelitian ini menggunakan perpektif musikologis dengan menganalisis berbagaiaspek yang berkaitan dengan estetika båwå dalam karawitan meliputi (1) teknik penyuaraan,pernafasan, dinamika, laya, dan kepekaan pathet; (2) jenis-jenis suara yang mendukung capaiankeselarasan sajian båwå; dan (3) pelarasan. Hasil penelitian ini menunjukkan bahwa caremmerupakan perpaduan dari beberapa unsur musikal membentuk  satu  kesatuan yang utuh (atut), sehinggamenimbulkan keselarasan (runtut). Dengan demikian untuk mencapai båwå pada tataran carem harus memiliki unsur-unsur estetika: suara baik, larasan pleng, menguasai teknik penyuaraan, menguasai teknik pernafasan, mampu mengatur dinamika, mampu mengatur laya, memiliki kepekaan pathet,dan mampu memilih céngkok, sesuai dengan jenis suara. Pelantun båwå yang memenuhi persyaratanini dapat dipastikan telah mencapai carem..The Aesthetics of Bawa in Karawitan Style of Surakarta. This study focuses on the vocal creation,especially on the aesthetic of båwå, to achieve the harmony of båwå, which is called carem. This study isconducted by employing the musicological perspective, by which analyzing the various aspects related to theaesthetics of båwå karawitan style of Surakarta which include the followings: (1) the techniques of voicing,breathing, dynamics, laya, and sensitivity of pathet; (2)types of sounds that support the achievement of Båwå presentation; and (3) sound tunings. The results of this study show that carem is the combination ofseveral musical elements which form a whole unity (atut), so that it will create a sense of harmony (runtut).Therefore, in order to achieve carem, the singer of the båwå must at least have the aesthetics elements, suchas: 1) a good voice and accurate intonation, 2) a good command of vocal techniques, 3) a good commandof breathing techniques, 4) the ability to control dynamics, 5) the ability to regulate the laya (tempo), 6)the sensitivity to pathet, and 7) the ability to select céngkok, according to the type of voice. Thus, it can beascertained that a båwå singer who meets the above conditions will achieve carem.
Lareh Koto Piliang: Sistem Kekuasaan dan Musik Perunggu Dalam Kajian Konsep Estetika Musikal di Luhak Nan Tigo Mingkabau
Authors: Sastra Andar Indra
Published: November 2018

This article aims to discover the concept of Lareh Kotopiliang: Power Systems and Bronze Music in a Study of the Concept of Musical Aesthetics in Luhak Nan Tigo Minangkabau. Lareh Kotopiliang is oriented towards a royal or autocratic system of power, in which the primary figure holds the title of Dt. Katumangguangan. A legendary figure, Dt. Katumangguangan is believed to be the one who first implemented this autocratic system of power or leadership. There are two types of bronze music, namely oguang and talempong. From the aspect of performance, there are two different concepts: (1) oguang (a gong ensemble); and (2) talempong bararak (processional music). As an ensemble, oguang is played on top of a frame (rea), with gandang palalu and paningkah, six talempong, and two gongs. Talempong bararak is performed in procession – in declaration of the title of a headman, and musically is made up of three pairs of talempong – talempong jantan, talempong paningkah, and talempong pangawinan. Each of the talempong pairs plays a different rhythmic pattern, and the combination of the three patterns forms the characteristic melody of talempong bararak. The problems addressed in this article are: first, the traditional historiography of Lareh Koto Piliang as part of the trilogy of power in Luhak Nan Tigo Minangkabau; second, Lareh Koto Piliang and the concept of bronze music; and third, the musical concept of talempong bararak.
Analisis Teknik Komposisi Musik “Variation on Theme of Sepasang Mata Bola” Karya Jazeed Djamin
Authors: Rosiana Dewi Maria Octavia
Published: November 2018

Tujuan penelitian ini adalah untuk mengungkapkan tentang latar belakang dan cara atau teknik pembuatan sebuah komposisi musik oleh Jazeed Djamin yang berjudul “Variation on theme of Sepasang Mata Bola”. Karya tersebut diciptakan dalam bentuk Piano Concerto dengan 9 variasi yang berdasar dari tema lagu “Sepasang Mata Bola” karya Ismail Marzuki. Penelitian ini dilakukan dengan metode penelitian kualitatif serta menggunakan pendekatan musikologi. Dari hasil penelitian dapat menunjukkan bahwa dipilihnya lagu “Sepasang Mata Bola” sebagai tema dari karya variasi tersebut untuk menunjukkan optimisme yang besar dari Jazeed Djamin terhadap potensi musikal negeri ini (Indonesia) yang sangat kaya dan layak digarap dalam bentuk-bentuk karya musik konvensional dan yang lebih besar. Selain itu Jazeed Djamin ingin mengenalkan dan mengangkat lagu-lagu asli Indonesia ke pentas Internasional. Karya tersebut diciptakan menjadi 9 variasi dengan diawali sebuah introduksi dan berakhir dengan suatu coda yang menjadi satu bagian dengan variasi IX, dan memiliki 469 birama dengan durasi sepanjang 25 menit. Setiap variasi memiliki karakter yang mengacu pada karakter variasi karya-karya musik jaman romantik. Teknik komposisi yang digunakan antara lain: variasi cantus firmus, variasi fixed harmony, variasi melodi dengan fixed harmony serta variasi fantasia. Karya tersebut juga memiliki bagian kadensa yang unik, karena tidak diletakkan menjelang akhir bagian lagu atau coda, tetapi sebagai bagian dari variasi VI. Idiom-idiom musik didalamnya sangat ilustratif karena mampu menggambarkan efek suara kereta api yang sedang berjalan.
Model Pembelajaran Komposisi Musik Sekolah Melalui Pemanfaatan Perkakas Tangan
Authors: Sukmayadi Yudi , Purnama Arif
Published: November 2018

Model Pembelajaran Komposisi Musik Sekolah Melalui Pemanfaatan Perkakas Tangan. Artikel ini mendeskripsikan model pembelajaran komposisi musik sekolah dengan memanfaatkan perkakas tangan sebagai media kreativitasnya. Penelitian yang dilakukan di Sekolah Menengah Kejuruan Negeri (SMKN) 12 Bandung ini  mengungkap tentang rancangan, implementasi, dan efektivitas model pembelajaran, serta upaya pencapaian tujuan untuk meningkatkan dan mengembangkan kompetensi musikal siswa. Penelitian ini menggunakan action research. Data dikumpulkan melalui  observasi, wawancara, studi dokumentasi dengan berbasis pada kegiatan eksperimen musik. Hasil penelitian menunjukkan bahwa model pembelajaran komposisi musik sekolah dengan mendayagunakan keunikan sekolah kejuruan yakni penggunaan perkakas tangan sebagai media kreativitas siswa, sangat efektif dan efisien dalam mengembangkan proses pembelajaran seni musik, khususnya dalam membangun dan mengembangkan kompetensi musikal siswa.
Garap Gending Sekaten Keraton Yogyakarta
Authors: Subuh Subuh
Published: November 2018

Penelitian ini menganalisis faktor-faktor yang mempengaruhi garap gending sekaten keraton Yogyakarta. Metode deskriptif analitis digunakan untuk menganalisis unsur-unsur musikal gending melalui transkripsi notasi dan analisis garap. Gending Sekaten Keraton Yogyakarta merupakan salah satu jenis gending tradisi pakurmatan yang memiliki keunikan garap dan fungsi penting dalam upacara ritual. Gending Sekaten menjadi bagian integral dalam tata upacara Keraton Yogyakarta. Dalam sebuah catatan dari masa Sultan Hamengku Buwono VIII, ditulis 63 titi laras gending, 16 di antaranya adalah gending khusus untuk sekaten yang ditulis lengkap dengan racikan yang digunakan dalam penyajian gending tersebut. Selebihnya adalah gending-gending mares (mars) atau gending gati. Berdasarkan penelitian dapat disimpulkan bahwa bahwa faktor yang mempengaruhi garap gending sekaten adalah keharmonisan antar unsur garap yang didominasi oleh pembonang sebagai pimpinan penggarap, karena bonang berfungsi sebagai pamurba lagu dan pamurba wirama, sedang pengrawit lainnya merupakan pendukung yang berkontribusi dalam suatu kerja kolektif untuk mewujudkan sajian yang ideal.
Tokoh Bambang Ekalaya dan Moralitas Pendidikan
Authors: PRASETYA AGUS
Published: November 2018

Bambang Ekalaya and The Education Morality. Si Bambang Ekajaya is a story that is produced from theeducation morality condition that is growing in society at this time, and than commuted be a play manuscript story,it means that the appraise these are justifi cation and contraction. It can also be said as criticism what are looked andheard as a respond. The creation of Si Bambang Ekajaya used inter-textual theory, which inter-textual theory is tofi nd some aspects which have already exist in the works before, which appears more in the text. From some aspects,inter-textual principle can also be connected to literature work reception.
Pemimpin: Sebuah Komposisi Karawitan
Authors: ATMOJO BAMBANG SRI
Published: November 2018

The Leaders. This karawitan compotition based on the current situations of Indonesian political leaders andgovernment. As we can see from printed and electronic media, there are political leaders and government peoplewho corrupt, violate the laws, and so on. This has inspired the writer to write a piece of karawitan compositionentitled “The Leader”. In this composition, the writer is trying to criticize the situations, give some moral messages,and ask people not to follow the bad examples of those leaders. The process of composition has involved phaseslike exploration of the ideas, improvisation, and composition. This composition is played softly in laras pelog patetbarang and it can take the form of ladrang, ayak-ayak, lancaran and playon.
Ikonisitas Tata Panggung: Sebuah Kajian Semiotika Seni Rupa Teater
Authors: BUDI ANTONO UNTUNG TRI
Published: November 2018

The Semiotic of Stage. Semiotics is a study dealing with signs and sign systems. Signs are created for theneeds of communication and information. According to Piercean’s, semiotics in theatre is a transformation of storysigns which symbolically become iconic signs of its acts. Stage setting is an artistic part of theatre which makes usethe potentials of iconicity. Since its functions as a drama support of the acts, its potentials of iconicity optimize itsfunctions.
Menelusuri Karya dan Karsa Manthou’s Sebagai Seniman dan Pencipta Campursari
Authors: TRI LAKSONO JOKO
Published: November 2018

Manthous as Campursari Musician and Composer. The study reveals that in his early age Manthous wasnurtured in a highly disciplined environment, and he had a strong determination to become a reliable fi gure in theart-world. Before composing Campursari Manthous had dealt with Pop Krontjong which was well-recognizedworldwide. In addition, Manthou’s also served as a recording programmer in several well-known recording studios.Through years Manthous has developed his musical skills as music player, singer, composer and artist manager. Hiscompositions contain simple lyric, diction, and rhyme. They have been composed in accordance to his personalmoods, marketing strategies and orders. By composing Campursari, he expects all groups of people, especially theyoung generation, can accept and enjoy Javanese musical performance (karawitan) in different form
The Teaching of “Jnana Sandi” in The Text “Tutur Muladara”
Authors: Lestawi I Nengah
Published: November 2018

Lontar is a written media which is used in the earlier period before the discovery of the paper as a part of the renewable technology. Studying or researching old manuscripts is not an effortless job. In addition to the technical factors, it also involves language and script which are applied in the text as well as other factors associated with the culture system. In the manuscript, there are texts which match its soul. One text that is fascinating to observe further is the text of Tutur Muladara, the teachings of the spiritual that focus on the integration of sound, breath, and mind. This article analyzes the teachings contained in the text Tutur Muladara. In this text, there are various teachings of kadiatmikan. One of them is the teachings of Jnana Sandhi. This sort of teaching consists of three subs, namely the teaching of seven holes of the sky, Yoga Sandhi and Sang Hyang Adnyana Sandhi.
Fungsi dan Makna Simbolis Pohon Beringin dalam Kehidupan Masyarakat Bali
Authors: Sutjiati Beratha Ni Luh , Rajeg I Made , Sukarini Ni Wayan
Published: November 2018

Balinese people seem to realize that their existence in this world has a high dependence on nature as a buffer of life. One of the natural elements, especially trees that are very functional in the life of Balinese people, is banyan (beringin). Beringin, which is referred to as the waringin, wandira, and grodha agung, is preserved in almost all customary villages in Bali. Recognizing the importance of banyan trees in Balinese life, this study aims to analyze two problems related to banyan trees from the perspective of their functions and meanings. Qualitative methods are applied and data is analyzed by discourse theory. The results show that banyan trees are used as a means of yadnya ceremonies in Bali and are useful for curing various diseases, both caused by naturalistic (sakala) and personalistic causes (niskala). Symbolically the use of banyan in a pitra yadnya ceremony in Bali is interpreted as a means of purification to improve the quality of the ancestral spirit in the process of unification with the gods.
Refleksi Kekerasan dalam Rumah Tangga dalam Cerita Rakyat Bali Tuwung Kuning: Analisis Feminisme
Authors: Suaka I Nyoman
Published: November 2018

The purpose of this article is to examine Tuwung Kuning (Yellow Egg Plant) folklore based on the feminist approach. The object of the study is the drama script and performance Tuwung Kuning recording. Data were analysed with hermeneutic method, namely the interpretation of text both written and audiovisual texts. The results of the study show that the manuscripts and theater express the theme of domestic violence. The female character of the story, Tuwung Kuning, is very weak and in an oppressed conditions. The bullying was carried out by the husband and by environmental conditions of a gambler family. The female character was powerless and oppressed by male-based power of patriarchy, even though in a state of old pregnancy, when giving birth and caring for the child. She was threatened, terrorized and killed. This condition is very contrary to the spirit of feminism that fights for gender equality so that the position of women is equal to men. The change in the fate of this female character is not by herself, but by an angel, as a fortune.
Fenomena Langgam Penjor Galungan pada Era Kekinian Bali
Authors: Mudra I Wayan
Published: November 2018

The making of penjor for the Hindu holy day of Galungan shows the existence of innovation and excessive creativities. This research was aimed at investigating the phenomenon of penjor Galungan style in the contemporary Bali which viewed from the community involvement, the use of material, and the emergence of spiritual meaning. This study used descriptive qualitative research method. The data collection was carried out through observation and literature review. The analysis shows that the Hindu community in Bali currently prefers buying the elements of penjor for rather than make by themselves; the making of penjor Galungan uses contemporary available material; and the structural spiritual meaning of penjor Galungan is being embellished by the domination of contemporary spiritual meanings.
Extending a Verified Simplex Algorithm
Authors: Thiemann René
Published: November 2018

As an ingredient for a verified DPLL(T) solver, it is crucial to have a theory solver that has an incremental interface and provides unsatisfiable cores. To this end, we extend the Isabelle/HOL formalization of the simplex algorithm by Spasi ́c and Mari ́c. We further discuss the impact of their design decisions on the development of our extension.
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Authors: Katelaan Jens , Matheja Christoph , Noll Thomas , Zuleger Florian
Published: November 2018

In this tool paper we present Harrsh – a tool for unified reasoning about symbolic-heap separation logic. Harrsh supports the analysis of robustness properties of the symbolic heap fragment of separation logic with user-defined inductive predicates. Robustness properties, such as satisfiability, reachability, and acyclicity, are important for a wide range of reasoning tasks in automated program analysis and verification based on separation logic. Harrsh makes use of heap automata, which offer a generic approach to reasoning about robustness properties. We report on experimental results for several robustness properties taken from the literature and compare against satisfiability checkers participating in a recent competition. We conclude that a generic approach to checking robustness is feasible and promising for the extension to further properties of interest.
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
Authors: Vivekanandan Paventhan
Published: November 2018

This paper investigates a preliminary application of homotopy type theory in cryptography. It discusses specifying a cryptographic protocol using homotopy type theory which adds the notion of higher inductive type and univalence to Martin-Lo ̈f’s intensional type theory. A higher inductive type specification can act as a front-end mapped to a concrete cryptographic implementation in the universe. By having a higher inductive type front-end, we can encode domain-specific laws of the cryptographic implementation as higher-dimensional paths. The higher inductive type gives us a graphical computational model and can be used to extract functions from underlying concrete implementation. Us- ing this model we can extend types to act as formal certificates guaranteeing on correctness properties of a cryptographic implementation.
Towards Efficient Metaquery Generator
Authors: Bash Tamar , Ben-Eliyahu-Zohary Rachel
Published: November 2018

Metaquery (MQ) is a datamining tool for inferring relations between data items over a relational database. The concept of MQ leads to autonomous discovery of logical rules involving the database tables. A central module of any MQ system is the MQ generator, which automatically generates all possible MQs to be tested against a database. The MQ generator is supposed to work in an efficient manner, while not missing any meaningful MQ. In this paper we present an algorithm for MQ generation that works as a search algorithm in which the states are all possible MQs, and the search tree is pruned whenever possible. Preliminary experiments prove that, indeed, the approach we take leads to a significant reduction in computation resources.
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
Authors: Erascu Madalina , Micota Flavia , Zaharie Daniela
Published: November 2018

The problem of Cloud resource provisioning for component-based applications is very important. It consists in the allocation of virtual machines (VMs) from various Cloud Providers (CPs), to a set of applications such that the constraints induced by the inter- actions between components and by the components hardware/software requirements are satisfied and the performance objectives are optimized (e.g. costs are minimized). It can be formulated as a constrained optimization problem and tackled by state-of-the-art optimization modulo theories (OMT) tools. The performance of the OMT tools is highly dependent on the way the problem is formalized as this determines the size of the search space. In the case when the number of VMs offers is large, a naive encoding which does not exploit the symmetries of the underlying problem leads to a huge search space making the optimization problem intractable. We overcame this issue by reducing the search space by using: (1) a heuristic which exploits the particularities of the application by detect- ing cliques in the conflict graph of the application components fixing all components of the clique with the largest number of component instances, and (2) a lex-leader method for breaking variable symmetry where the canonical solution fulfills an order based on either the number of components deployed on VMs, or on the VMs price. As the result, the running time of the optimization problem improves considerably and the optimization problem scales up to hundreds of VM offers. We also observed that by combining the heuristic with the lex-leader method we obtained better computational results than by using them separately, suggesting the fact that symmetry breaking constraints have the advantage of interacting well with the search heuristic being used.
Analisis Beban Kerja Untuk Perencanaan Kebutuhan Sumber Daya Manusia (SDM) Bidang Bina Marga Dinas Pekerjaan Umum Dan Penataan Ruang (PUPR) Kabupaten Lombok Barat
Authors: Hidayat Rahmat , Agusdin Agusdin , Sakti Dwi Putra Buana
Published: November 2018

This study aims to analyze the workload of each work unit and HR category, analyze the needs of the number and competency of HR and analyze the investment costs of procurement and compensation for HR needs in the Highways Division of the PUPR Office of West Lombok Regency. The population in this study were all employees who worked in the Highways Division of the PUPR Office of West Lombok Regency totaling 39 people. Census method as a data collection method used. The data analysis technique used in this study is WISN (Workload Indicators of Staffing Need). The results showed that the workload in each unit of Bina Marga was still not optimal, the Marga field still lacked 10 employees and still needed competency improvement, the results of the analysis also showed the type of procurement that must be carried out by the Highways Division with compensation costs in accordance with applicable guidelinesKeywords:Workload, Human Resource Planning, Human Resource Needs, Workload Indicators of Staffing Need, Business Management
Adenisa Refitasari 165100034
Authors: Refitasari Adenisa
Published: November 2018

A.STUDI KASUS ( SK )Pertanyaan Type C : Paparkan dan jelaskan logo anda Jawaban : Keterangan : Orang Bergandengan : Artinya terus bersatu saling bergandengan dan saling menghargai.Kedua Telapak Tangan Terbuka : Menggambarkan kepedulian terhadap sesama yang membutuhkan uluran tangan.Bentuk Oval : Menggambarkan seperti telur,yang berarti kita bisa seperti telur yang terus melahirkan generasi-generasi yang saling peduli.Keterangan Warna :Biru : Melambangkan air, yang selalu mengalir tidak habis-habis dalam arti kata berkah yang terus mengalir tidak akan pernah habis.Merah : Melambangkan keberanian dan semangat kita yang menyala-nyala dalam membawa Vis dan Misi.Hijau : Melambangkan kesuburan dan kemakmuran, dalam arti akan terus tumbuh dan berkembang.Emas : Melambangkan hati yang mulia seperti emas( Berhati Emas ).Putih : Melambangkan suci, bersih dan netral. Tidak memandang suku, agama, ras ataupun golongan. Dalam arti semua sama bersaudara.Visi : Menjadi saluran bantuan untuk saudara-saudara kita yang membutuhkan.Misi : Perdamaian, Kemanusiaan dan cinta kasih kepada sesama. B.STUDI REFERENSI ( SP )Pertanyaan Jenis B:Jelaskan Fungsi detail dalam objeck treeview Jawaban :Object Treeview adalah sebuah diagram pohon yang menggambarkan hubungan logis antara komponent visual dan non visual yang terletak pada form, data module maupun frame akan muncul pada object treeview . jika ingin memilih pada slah satu objek treeview, secara otomatis focus pada form yang akan berpindah .C.STUDI PENALARAN ( SP )Pertanyaan Kategori 3 :Buatlah Aplikasi Calculator
CHARZON 165100040
Authors: Charzon
Published: November 2018

Object Inspector dipergunakan untuk mengubah nilai property dari objek terseleksi yang ada dalam form Designer. Object Inspector terdiri atas dua page yaitu Property dan Event. Setiap jenis component akan memiliki propertie dan event yang berbeda dengan jenis komponen lainnya
Patient-driven efforts to liberate clinical cancer genomic data
Authors: Wankowicz Stephanie , Maile Brooke , Deutsch Ken , Hayden Adam , Brown Erika , Marsilje Tom , Caldwell Beth , Simoncelli Tania , Van Allen Eliezer
Published: November 2018

Cancer patients’ data, including clinical and genomic sequencing, typically reside within incompatible electronic health records (EHR) and/or proprietary databases in clinical laboratories or companies. Multiple academic and commercial consortia have initiated “top down” approaches to encourage data sharing, though these consortia represent a small percentage of the cancer patient population and may not capture the genomic and phenotypic diversity of the larger cancer community. Critically, patients have the unique power to liberate and share their own data, since the Health Insurance Portability and Accountability Act (HIPAA) gives patients a right to access all data in a computable format. Here, we partnered with patients to examine the feasibility of leveraging the HIPAA right of access provision to access their cancer genomic data in a computable format from both academic and commercial laboratories (n = 5 patients; 3 academic labs, 5 commercial labs). We observed wide heterogeneity in responses to requests, deliverables to patients, and patient effort required to access data. Multiple labs reported that these requests were the first of their kind and subsequently instituted procedural changes to facilitate data sharing with patients. Furthermore, individual patients expressed significant meaning attributed to having access to and control over their cancer genomes. While this experiment exposed multiple difficulties for patient genomic data access, we argue that these difficulties can be overcome with a patient-centered platform to facilitate these efforts. Toward that end, we propose and describe a patient-driven cancer genome collective to directly address this need and empower data liberation and donation to advance cancer research and patient empowerment.
Cách Trung Quốc làm khoa học và gợi ý cho Việt Nam
Authors: Ho Manh-Toan
Published: November 2018

Cùng chung gốc văn hóa đạo Khổng nhưng khoa học và giáo dục Trung Quốc đang phát triển mạnh mẽ cả về chất và lượng. Cách Đại học Thanh Hoa, Trung Quốc phát triển khoa học, kêu gọi nhân tài là một ví dụ điển hình để Việt Nam học tập.
Monika Rizkiana_165100061
Authors: Rizkiana Monika
Published: November 2018

A.STUDI KASUS ( SK )Pertanyaan Type C : Paparkan dan jelaskan logo anda Jawaban : Keterangan : Logo yang saya buat ini memiliki beberapa makna yang terkandung di dalam nya, anatara lain:MR merupakan inisial yang saya ambil dari nama saya sendiri yaitu Monika RizkianaSementara warna kuning yang terkandung di dalam nya menggambarkan keceriaan,kecerdasan, dan merupakan salah satu warna paling bahagia menurut ilmu psikologi.Sedangkan simbol bulu menegaskan bahwa logo ini mengusung tentang sesuatu yang berhubungan dengan kepenulisan. Karena dulu nya sebelum era milenial seperti sekarang ini, para penulis menggunakan alat ini sebagai media untuk menuliskan kisah atau syair yang ingin di abadikan. Warna hitam yang terkandung di dalam nya menggambarkan kesuraman, elegan, dan ketegasan terhadap sesuatu.Background putih yang menjadi latar belakang pada logo ini diibaratkan seperti kertas, tergantung kita ingin menuliskan kebahagiaan (yang dilambangkan dengan warna kuning) atau kesedihan (yang dilambangkan dengan warna hitam)Jadi dapat ditarik kesimpulan bahwa setiap manusia memiliki kesempatan yang sama tergantung kita ingin meninggalkan suatu karya atau tidak. Karena yang paling penting dari sesorang bukan lah tampilan nya melainkan karakter dan cara berpikirlah yan paling penting. B.STUDI REFERENSI ( SP )Pertanyaan Jenis B:Jelaskan Fungsi detail dalam objeck treeview Jawaban :Merupakan sebuah diagram pohon yang menggambarkan hubungan logis menghubungkan semua komponen yang terdapat dalam suatu proyek program. Komponen tersebut meliputi form, modul atau frame. Fungsinya digunakan untuk menampilkan seluruh daftar komponen program dalam sebuah aplikasi program sesuai dengan penempatnnya. Misal: didalam 1 form terdapat 2 edit dan 1 button maka untuk object treeview nya nanti akan menampilkan form sebagai induk, 2 edit serta 1 button akan berada dibawah posisi form
WHIDA NADYA CANTIKA 165100041
Authors: cantika Whida nadya
Published: November 2018

Memaparkan dan menjelaskan logo software "Straw Mask" yang memproduksi masker strawberry yang mempunyai banyak manfaat. Menjelaskan fungsi-fungsi object inspector, serta membuat aplikasi portal.
Family Involvement And Academic Self Efficacy as a Factors in Children’s Academic Engagement
Authors: Nurmina
Published: November 2018

The main goal of the present study is to examine the effect of family involvement and academic self efficacy toward children academic engagement. Sample of this research 97 children from 5rd to 6th grade of elementary school. Data collection tool used was questionaire form of academic engagement scale (35 items), family involvement scale (28 items), and academic self efficacy scale (40 items). Based on the analysis of research data, it was found that the obtained R square value of 0.35 with a significance level of p<0.01. It can be concluded that there are significant effect of family involvement and academic self efficacy toward children academic engagement. In general, we found the positive impact of student’s academic self-efficacy and parents involvement on student’s school engagement. But their impact differ in the respondent, their parents personal and their parents involvement characteristics also. As an example, gender status, specifically being as female, made their academic engagement better.
PEMBELAJARAN PENEMUAN SUMBER ENERGI LISTRIK ALTERNATIF TERBARUKAN UNTUK MENINGKATKAN KREATIFITAS DAN AKTIFITAS SISWA PADA PEMBELAJARAN FISIKA
Authors: Festiyed
Published: November 2018

Materi sumber-sumber energi dan energi alternatif, pada pembelajaran Fisika kelas XII diSMA, menuntut siswa untuk dapat memahami dan memperoleh kompetensi belajar lewatpengalaman langsung, yang didasari konsep learning by doing. Pada kesempatan ini, penelitimencoba mencari sumber-sumber energi alternatif terbarukan lainnya, salah satunya adalahdari tape singkong, dengan tujuan untuk memberikan pengalaman belajar pada siswa,menemukan dan mengembangkan ide-ide kreatif, inovatif dan meningkatkan aktivitas siswapada pembelajaran fisika, untuk menemukan sumber-sumber energi alternatif terbarukanlainnya yang berada disekitar siswa. Pembelajaran ini dapat dilakukan melalui pendekataninkuiri dengan langkah-langkah : merumuskan masalah, merumuskan hipotesiss, mengumpulkandata, menguji hipotesis, merumuskan kesimpulan..Hasil penelitian menunjukan bahwa dengan memberikan materi sumber energi alternatifterbarukan dari tape singkong didapatkan kuat arus yag dihasilkan dengan satu sel 0,7 Volt dankuat arus untuk satu sel kurang lebih 1,5 mA, dengan dibuat hubungan seri dan parel sel-seltapai yang sudah dibuat dapat menghidupkan lampu led atau mencas Hp. Dari hasil ini siswamempunyai ide kreatif, inovatif dan aktifitas menemukan sumber energi listrik alternatiflainnya dari bahan bahan yang ada disekitar siswa. Bahan yang dapat dijadikan sumberenergilistrik alternatif adalah yang mengandung asam, basa, energi, gula, garam.
VOCABULARY IN ESP APPLICATION AS REFLECTED TO THE LANGUAGE ACROSS CURRICULUM
Authors: Sumekto Didik Rinan
Published: November 2018

This paper discusses on the empirical experience of vocabulary instruction in English for specific purpose (ESP) as considered to the language across curriculum, particularly in mathematics course which stresses on syntax and semantics. ESP curriculum is relevantly designed to accommodate the specific needs of particular learners in groups, related to content, particular disciplines, occupations and activities, and centered on the language appropriateness to relevant activities, such as syntax, lexis, discourse, and semantics. The issue of vocabulary instruction for English language learners (ELLs) concerns with productive, receptive, and recognition vocabulary where the one main goals of the instruction is to assist ELLs improve their comprehension in the multiple-choice tests, text comprehension, and process of understanding new meaning of words or phrases.
POLA PEMBELAJARAN KOOPERATIF MODEL JIGSAW BAGI SISWA SEKOLAH
Authors: Sumekto Didik Rinan
Published: November 2018

Cooperative learning covers either academic assignments or social goals. The important aspects of cooperative learning herewith are to assist students in developing the cooperative behaviors by implementing a good relationship among them mutually to any subject matters mastery they are learning for. The complex learning assignments, such as solving the problems, adopting critical thinking, analyzing the matters, and learning the concepts are applicably needed to the cooperative learning concept. Cooperative learning reflects views in which students may learn it from their own active participation and empirical experience through the small groups. These activities will help students to learn the social skills accordingly, besides they may mutually develop democratic behaviors, logical thinking skills, and creative quality improvements as well. The jigsaw model cooperative learning adopts some students’ potencies to interact with each other. This learning model is intended to stimulate the cooperative capability in critical and analytical thinking and to assist students who have insufficient understanding to any subject matters. The heterogenic participants (race, religion, social and economic strata, learners’ capability, etc.) of the jigsaw learning model are chosen randomly. The randomly group members determination will benefit to students, because they are able to fit their self-adaptability as well as this condition is fair-regarded. The teacher’s role in the jigsaw model is as a facilitator, skills trainer, controller to the learning process, motivator to students’ mutual responsibility and evaluator to the multiple perspectives on the subject matters given.
Pengembangan Bahan Ajar Tematik Berbasis Islam & Kearifan Lokal Kelas Iv Min Seduri & Mis Nurul Amal Kabupaten Mojokerto
Authors: Permadi Benny Angga , Adityawati Ika Agustin
Published: November 2018

The Development of Thematic Teaching Materials Islam and Local Wisdom Based Class IV of MIN (Madrasah Ibtidaiyah Negeri (State of Islamic Elementary School)) Seduri and MIS (Private of Islamic Elementary School) Nurul Amal Mojokerto Regenct. The application of curriculum 2013 requires every student of elementary school from first up to sixth graders to apply thematic study. The interview with the teacher of fourth grader of MIN (Madrasah Ibtidaiyah Negeri (State of Islamic Elementary School)) Seduri and MIS (Private of Islamic Elementary School) Nurul Amal Mojokerto Regency and also the observation in the field show that the teaching materials used from Ministry of Education and Culture of the theme of ‘My Place’ is not fit in with the condition of students’ place in Mojokerto Regency while the essence of curriculum 2013 of thematic study is to support the contextual aspect and close with students’ place. Else, the character education in curriculum 2013 must also be applied through Islamic habits which are done in school. These habits are not discussed in guide book from Ministry of Education and Culture. Therefore, this research objective is to develop the product of thematic teaching materials Islamic and local wisdom based. The feasibility of teaching materials which are developed is assessed according to the validity, interesting, effectiveness and application levels. The research result and development of thematic study materials are in form of (1) thematic teaching materials Islamic and local wisdom based. The materials are integrated with Islamic values in the teaching and learning activities and the materials about local wisdom of Mojokerto Regency such as historical buildings, special foods, dances and handicrafts. (2) the experts validity shows percentage of 89.17% with the criteria of high validity and deserved to be used. (3) the interesting level shows percentage of 93.12% with the criteria of high interesting and deserved to be used. (4) the effectiveness level shows percentage of 78.01 with the criteria of high effective. (5) application level shows percentage of 86.08% with the criteria of very good and fulfil the elements of application for teaching materials.
Metode Bercerita Dengan Teknik Role Playing untuk Menumbuhkan Akhlak Mulia
Authors: Kartiko Ari , Kurniwan Edy
Published: November 2018

Education plays an important role in achieving the ideals of the Indonesian people in accordance with the formulation of the 1945 Constitution which clearly states that the purpose of education is to promote public welfare and educate the life of the nation, essentially the realization of these noble individuals of course it will balance the nation's intelligence in prospering the country. Based on this, education must be able to foster noble character so that later can produce generations that are intelligent and useful for the nation. The problem lies in how to cultivate noble character in students. School institutions by means of teacher teaching are central to instilling students' noble character. Therefore this study aims to find out how storytelling and role-playing activities can foster noble character. This study uses qualitative research with the type of research library. Research libraries are research techniques using book sources to develop science. Clear information and sources have been arranged systematically. Storytelling with role-playing techniques is something that students really like. This will be learning that can stimulate student activity. Inserting values into a story will be useful in developing a noble character. Noble character is a sincere and conscious act that arises from within a person. By telling stories, students will get knowledge about good grades and role-playing will provide opportunities for students to apply the knowledge gained. So that it will become good habits and emerge noble character in students.
Konsep 'Aql Dalam Al-Qur'an Dan Neurosains
Authors: Nurjanah Asti Faticha
Published: November 2018

In the Qur'an the term brain is not known, to illustrate the intelligence used the term of reason. The brain is the meaning of reason in the physical dimension. 'Aql is the power of thought, effort, deception, trickery, ingenuity, cunning, and the ability to see. Muslim philosophers understand 'Aql as binding, attaching, and limiting. The term 'Aql can be found in Qs. As-Syams: 7-8. Intellect is an active and conscious organ, binding and holding objects of science with words or other forms of symbolism. Neuroscience is neural science that studies the nervous system, mainly studies neurons or nerve cells with a multidisciplinary approach. Neurosains is a science that specializes in scientific studies of the nervous system. Neuroscience has traces in Islam. Islamic education has traces in the nature of neuroscience. Therefore, Islamic education can be integrated-interconnected with neuroscience.