bluuebunny/crossref_metadata_2025_split huggingface dataset:
Proof-of-Concept Simulasi Kadar Saturasi Oksigen untuk Evaluasi Pulse Oximeter
Authors: UGHI FUAD 
Published: April 2018

ABSTRAKSimulator SpO2 yang mengemulasikan sinyal yang ekuivalen dengan saturasi oksigen pada manusia, dapat digunakan untuk evaluasi repeatibility pulse oximeter. Simulator ini tersedia di pasaran dengan harga yang cukup mahal di Indonesia, di kisaran 80-100 juta rupiah. Studi ini bertujuan untuk mengembangkan simulator SpO2 dengan biaya rendah, menggunakan komponen elektronika umum yang ada di pasaran. Karakteristik simulasi mengacu kepada referensi yang diambil dari simulator komersial dengan menggunakan sistem akuisisi data berbasis LabVIEW. Kadar saturasi oksigen disimulasikan dengan mengatur intensitas cahaya light emitting diode (LED), untuk meniru penyerapan cahaya oleh darah pada pembuluh arteri. Digital to analog converter digunakan sebagai LED driver, untuk mengatur besar tegangan ke LED yang berbanding lurus dengan intensitas cahaya. Sebagai pembuktian konsep, studi ini berhasil menyimulasikan kadar saturasi oksigen 80% dengan galat mencapai 11.25%, dan 80 denyut jantung per menit dengan galat 6.25%. Hasil simulasi belum bisa dibandingkan dengan simulator komersial, karena hasil yang belum stabil. Total biaya untuk komponen perangkat keras, mencapai satu juta rupiah.Kata kunci: simulator, saturasi oksigen, pulse oximeter, digital to analog converter, light emitting diode ABSTRACTSpO2 simulator, which emulates signal that equivalent to oxygen saturation level of human, can be used to evaluate repeatibility of pulse oximeter. SpO2 simulators are available in Indonesia, but the price is quite expensive, in range of 80-100 million rupiah. The study aims to develop low-cost SpO2 simulator, using common electronic components. Characteristic of simulation refer to reference data, which taken from commercial simulator using LabVIEW based data acquisition system. Level of oxygen saturation is simulated by adjusting beam intensity of light emitting diode (LED), to imitate light absorbance by arterial blood. Digital to analog converter is used as LED driver, to control voltage to LED that directly proportional to light intensity. As a proof of concept, SpO2 simulation has been successfully performed at level 80% with error reaches 11.25% deviation, and heart rate 80 beat per minute with error reaches 6.25%. The simulation result had not compared yet to a commercial simulator, due to the unstable result. Total cost for hardware components of the prototype is around one million rupiah.Keywords: simulator, oxygen saturation, pulse oximeter, digital to analog converter, light emitting diode
A FOOLish Encoding of the Next State Relations of Imperative Programs
Authors: Kotelnikov Evgenii , Kovács Laura , Voronkov Andrei 
Published: April 2018

Automated theorem provers are routinely used in program analysis and verification for checking program properties. These properties are translated from program fragments to formulas expressed in the logic supported by the theorem prover. Such translations can be complex and require deep knowledge of how theorem provers work in order for the prover to succeed on the translated formulas. Our previous work introduced FOOL, a modification of first-order logic that extends it with syntactical constructs resembling features of programming languages. One can express program properties directly in FOOL and leave translations to plain first-order logic to the theorem prover.&nbsp;In this paper we present a FOOL encoding of the next state relations of imperative programs. Based on this encoding we implement a translation of imperative programs annotated with their pre- and post-conditions to partial correctness properties of these programs. We present experimental results which demonstrate that program properties translated using our method can be efficiently checked by the first-order theorem prover Vampire.
Кліматична безпека: сутність та необхідність фінансового забезпечення
Authors: Prots Nataliya 
Published: April 2018

У статті досліджено антропогенний вплив на навколишнє середовище; висвітлено фінансові аспекти забезпечення кліматичної безпеки та формування кліматичної політики; з’ясовано, що кліматична безпека – це захищеність екосистем і пов’язаних із ними форм спільного життя людей від глобальних кліматичних змін і їхніх наслідків, кліматичний ризик – це міра, у якій ця система сприйнятлива до впливу негативних наслідків у результаті зміни клімату й неспроможна протистояти негативним впливам зміни клімату, уключаючи його мінливість та екстремальні кліматичні явища. До основних ризиків належать природні, техногенні, екологічні. В Україні кліматичні ризики проявляються у сфері сільського господарства: утрати врожаю, зміни періодів дозрівання сільськогосподарських культур і підвищення їх здатності до ураження шкідниками; у сфері водних ресурсів – це порушення гідродинамічного режиму та водного балансу річок; деградація водних ресурсів; в енергетичній сфері – ускладнення функціонування об’єктів гідроенергетики; у сфері охорони здоров’я населення – збільшення кількості потерпілих від теплових ударів.
Запропоновано для втілення цілей державої політики протидій зміні клімату забезпечити розробку механізму фінансового забезпечення її реалізації. Фінансовий механізм протидії зміні клімату та адаптації до таких змін уключає нормативно-правове, інформаційне й організаційне забезпечення, скукупність фінансових методів та інструментів, що забезпечують формування фінансових ресурсів для досягнення визначених цілей. Основні джерела фінансування заходів реалізації кліматичної політики – це кошти державного та місцевих бюджетів, міжнародних фінансових організацій, Фонду енергоефективності, інвестиційних компаній. У майбутньому доцільно застосовувати механізми співфінансування за участю держави, місцевої влада, суб’єктів господарювань, домогосподарств, міжнародних фондів.
Концептуальні засади використання системи збалансованих показників як джерела підвищення ефективності міжнародних вантажних перевезень
Authors: Platonov Artem 
Published: April 2018

У статті сформовано концептуальні засади використання системи збалансованих показників як джерела підвищення ефективності міжнародних вантажних перевезень у роботі вітчизняних автотранспортних підприємств. Методологія ґрунтується на використанні теорії систем, методу комплексного підходу, теорії діяльності. Розглянуто вихідну концепцію використання системи збалансованих показників, розроблену Р. Капланом та Д. Нортоном, охарактеризовано зміст проекцій «фінанси», «клієнти», «навчання й кар’єрне зростання (персонал)», «внутрішні бізнес-процеси» в контексті управління автотранспортним підприємством, що здійснює міжнародні вантажні перевезення. Ґрунтуючись на характеристиці змісту проекцій, відзначено, що для вітчизняних автотранспортних підприємств потрібен персонал (рівень навчання й розвитку), який надає якісні послуги з організації міжнародних вантажних перевезень (рівень внутрішніх бізнес-процесів), тоді клієнт буде задоволений (рівень перспектив розвитку клієнтів), і автотранспортне підприємство досягне стратегічних фінансових цілей (рівень фінансових перспектив). Акцентовано на продуктивності персоналу, його задоволеності. Сформовано причинно-наслідковий ланцюг стратегічних цілей автотранспортних підприємств для підвищення ефективності міжнародних вантажних перевезень. Ключовою стратегічною метою визначено зростання вартості бізнесу (або посилення позиції на ринку), проведено деталізацію цілей фінансової діяльності підприємства, організації роботи з клієнтами, побудови внутрішніх бізнес-процесів і роботи з персоналом. Визначено логіку розробки заходів щодо впровадження ЗСП у роботу автотранспортних підприємств, що передбачає установлення бачення розвитку компанії; визначення стратегічних цілей, оцінних показників, їхніх цільових значень та способів розрахунку; формування причинно-наслідкових ланцюгів стратегічних цілей; їх каскадування; розробку плану стратегічних заходів та заходів підтримки, оновлення й розвитку ЗСП. Представлено алгоритм реалізації управління автотранспортним підприємством, що працює у сфері міжнародних вантажних перевезень, на основі системи збалансованих показників, який складається з таких етапів, як розробка показників, виявлення причинного зв’язку, розробка ієрархії карт показників, установлення взаємозв’язків із мотивацією персоналу, підготовка інфраструктури інформаційних технологій, отримання й урахування зворотного зв’язку.
The Impact of Monetary and Non-Monetary Factors of Motivation on Employee Productivity
Authors: Mokhniuk Anna , Yushchyshyna Larysa 
Published: April 2018

It is evident that a number of distinct factors are involved in the performance of an employee: his inborn abilities and his character traits; the basic knowledge and the experience he has acquired in the past; and above all, the degree to which he is motivated. In this article consideration is given to motivation as being the factor which has the strongest and the most rapid influence. Our primary objective was to investigate the effectiveness of different methods for enhancing employee motivation in an organization. An initial point to underline in connection with the findings of this study is that we have devised a definition for an additional category that we have examined, one which involves factors that improve performance not because they involve some specific benefits that may be obtained, but because they make it possible to avoid some unpleasant circumstances that could develop if performance is not improved. We refer to these factors as «adverse consequence avoidance factors»: they could be linked with the fear of receiving sharp criticism from a superior, the fear of being observed by others during the process of being reprimanded, or ultimately the fear of being discharged. A survey was conducted to devise a ranking of the various factors in terms of their influence on personnel productivity. The results of the study demonstrate that the employees’ fear of being discharged or of receiving a sharp criticism from their superior are important factors, that increase productivity of Ukrainian workers. Moreover, the results of the survey indicated that there are three factors which influence labour productivity more than any others – having a satisfactory basic salary, obtaining bonuses and receiving verbal or written recognition. Having access to free parking or feeling that one’s job provides a personal challenge are considered to be less influential factors. However, there are significant differences between the groups with respect to some specific factors. The combinations of monetary and non-monetary incentives that have the highest influence on employee performance are suggested for different staff groups: top, middle and low level managers, and professional and supporting staff.
Analisis Kesalahan Siswa Dilihat dari Skema Dalam Menyelesaikan Masalah Matematika
Authors: Hanifah Ayu Ismi 
Published: April 2018

Penyelesaian masalah merupakan bagian yang tidak dapat terpisahkan dari pembelajaran dan merupakan bagian terpadu dari seluruh pembelajaran matematika. Pemberian masalah matematika dalam suatu pembelajaran matematika sangat penting untuk mengukur sejauh mana pemahaman siswa dalam menguasai materi tersebut. Namun tidak memungkinkan adanya siswa mengalami kesalahan ketika menyelesaikan masalah matematika. Adanya kesalahan yang dilakukan siswa tersebut perlu dianalisis untuk mengurangi kesalahan yang terjadi. Kesalahan ini dikarenakan adanya skema struktur berpikir yang belum dimunculkan dalam menyelesaikan masalah matematikaKeywords: analisis kesalahan, skema, masalah matematika
The Method of Plant Water Status Measurement in Sweet Potato (<i>Ipomoea Batatas</i> (L) Lam.)
Authors: Prabawardani Saraswati 
Published: April 2018

<!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal</w:View> <w:Zoom>0</w:Zoom> <w:PunctuationKerning /> <w:ValidateAgainstSchemas /> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:Compatibility> <w:BreakWrappedTables /> <w:SnapToGridInCell /> <w:WrapTextWithPunct /> <w:UseAsianBreakRules /> <w:DontGrowAutofit /> <w:UseFELayout /> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> </w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" LatentStyleCount="156"> </w:LatentStyles> </xml><![endif]--> <!--[if gte mso 10]> <mce:style><! /* Style Definitions */ table.MsoNormalTable	{mso-style-name:"Table Normal";	mso-tstyle-rowband-size:0;	mso-tstyle-colband-size:0;	mso-style-noshow:yes;	mso-style-parent:"";	mso-padding-alt:0cm 5.4pt 0cm 5.4pt;	mso-para-margin:0cm;	mso-para-margin-bottom:.0001pt;	mso-pagination:widow-orphan;	font-size:10.0pt;	font-family:"Times New Roman";	mso-fareast-font-family:"Times New Roman";	mso-ansi-language:#0400;	mso-fareast-language:#0400;	mso-bidi-language:#0400;} --> <!--[endif]--> <p class="MsoNormal" style="text-align: justify;"><span style="font-size: 10pt;">The measurement of plant water status such as leaf water potential (LWP) and leaf relative water content (RWC) is important part of understanding plant physiology and biomass production. Preliminary study was made to determine the optimum amount of leaf abrasion and equilibration time of sweet potato leaf inside the thermocouple psychrometer chambers. Based on the trial, the standard equilibration time curve of a Peltier thermocouple for sweet potato leaf was between 2 and 3 hours. To increase the water vapour conductance across the leaf epidermis the waxy leaf cuticle should be removed or broken by abrasion. The result showed that 4 times leaf rubbings was accepted as the most effective way to increase leaf vapour conductance of sweet potato in the psychrometer chambers. In calculating the leaf relative water content, unstressed water of sweet potato leaves require 4 hours imbibition, whereas water stressed of sweet potato leaves require 5 to 6 hours to reach the saturation time. Either leaf water potential or relative water content can be used as a parameter for plant water status in sweet potato.</span><span style="font-size: 10pt;"> </span></p>
RELASI SOSIAL DALAM NYANYIAN TRADISIONAL KEMATIAN “MUNABA” ETNIK WAROPEN – PAPUA: KAJIAN SOSIOLOGI SASTRA
Authors: Yenusi Belghita Sonei Risia 
Published: April 2018

<p>Penelitian berfokus pada relasi sosial dalam nyanyian tradisional kematian”munaba” yang berasal dari suku Waropen, Papua yang merupakan kajian sosiologi sastra. Pendekatan penelitian berdasarkan teks dan konteks yang berfokus pada karya sastra dan beberapa aspek lainnya. Metode yang digunakan dalam penelitian ini adalah metode deskriptif kualitatif meliputi fakta, fenomana dan variable yang ada. Penafsiran data dengan menggunakan teori sosiologi sastra disesuaikan dengan situasi yang terjadi dan sesuai dengan pandangan masyarakat, perbedaan antarfakta, pengaruh terhadap sebuah kondisi dan masalah yang diteliti dan diselidiki.</p>Data diperoleh dari teks <em>munaba </em>yang dituturkan oleh beberapa penutur melalui observasi. Sumber data adalah syair <em>munaba </em>dalam bahasa Waropen dan telah ditransliterasikan dalam bahasa Indonesia. Berdasarkan teori dan analisis sosiologi sastra ditemukan beberapa relasi sosial yang terbentuk dengan baik antara sera dengan rakyatnya dan sera dengan alam.
KEANEKARAGAMAN DAN KELIMPAHAN IKAN DI DANAU TES, BENGKULU SUATU UPAYA KONSERVASI SECARA IN-SITU
Authors: Binur Robi 
Published: April 2018

<p><em>The research of the diversity and abundance of fish had been done at Tes Lake at the province of Bengkulu by using in-situ conservation. Observation and collecting of samples had been done in the mid of August to the mid of November 2002. Collecting of samples was done in 4 stations. There are 21 species of fish included 18 genera and 12 families which had been caught using gillnet (jaring insang), cast net (jala), fish pot (lukah/bubuh), fishline (pancing/tajur), and dip net (serok). Cyprinidae is the fish family which has most variety (8 species), while other families have only 2 and 1 species. The species of fish which had been caught were mostly river fish (freshwater fish). Based on the index of diversity (H’), the diversity of fish is medium between 0.78 – 1.27 with the highest diversity index is at station I (1.27) and the lowest is at station IV (0.78). The spread of fish based on uniformity index (E) is about 0.33 – 0.49 with the highest uniformity index is at station III (0.49) and the lowest is at station IV (0.33). The total abundance of fish which are collected during the research is 13,030 with the highest abundance is at station IV (4,643 fish) and the lowest is at station III (1,171 fish). Species of fish that are abundance and predominant are Puntius binotatus (C.V.) and Osteochilus hasseltii (C.V.) compared with others. The value of CPUE is 2.75 kg/trip with the highest value of CPUE is at station IV (4.6 kg/trip) and the lowest are at station II and III (1.7 kg/trip). The water quality of Tes Lake is still able to fishes living and fishery. The kinds of fish which are really valuable economically but it’s extinction being threatened are Anguilla marmorata Benn. and Tor douronensis (C.V.)</em>.</p>
PAPAYA (Carica papaya L.) CANDY PRESERVATIVE STUDY
Authors: Santoso Bimo Budi 
Published: April 2018

<p><em>Perendaman dalam larutan kapur dan larutan gula jenuh memengaruhi kualitas manisan pepaya sedangkan tingkat konsentrasi larutan kapur memengaruhi kandungan vitamin C dan kekerasan buah pepaya. Semakin tinggi konsentrasi larutan kapur yang dipakai, kandungan vitamin C semakin rendah dan buah pepaya semakin keras. Manisan pepaya yang direndam dalam larutan kapur dengan konsentrasi 5% (B/B) paling disukai konsumen. Perendaman pepaya dalam larutan gula jenuh memengaruhi kandungan vitamin C dan rasa manisan pepaya. Semakin lama pepaya direndam dalam larutan gula jenuh, kadar vitamin C semakin rendah. Perendaman pepaya selama 2 hari dalam larutan gula jenuh adalah yang paling disukai konsumen. Berdasarkan hasil penelitian, disarankan pada pembuatan manisan pepaya untuk merendam pepaya dalam larutan gula jenuh selama 2 hari dan direndam dalam laruatan kapur dengan konsentrasi 5% (B/B) selama 2 jam. Dengan perlakuan tersebut manisan pepaya yang dihasilkan masih mengandung vitamin C relatif tinggi (40,96 mg/100 g buah pepaya) dan disukai konsumen.</em></p>
BIOKIMIA NUKLEOTIDA DAN PERANNYA SEBAGAI SUPLEMEN MAKANAN
Authors: Kilmaskossu Agust 
Published: April 2018

<em>The metabolism of nucleotides is an important part in many cellular processes. It can be synthesize through two mechanisms of metabolism, de novo and salvage. Supplementation of nucleotides in the diet shows a significant effect in growth rate, development of the intestine, increasing microflora of the colon. How much should be added as a food supplement is not known yet. But it is suggested to use the ingredients of human milk before new findings is available. </em>
SIFAT-SIFAT HIDRAULIK TANAH CLAY LOAM BOGOR DARI LAPISAN OLAH DAN MODEL PENGAMBILAN AIR OLEH AKAR
Authors: Erari Ishak S. 
Published: April 2018

<em>Untuk mempelajari dinamika air di dalam tanah clay loam asal Bogor dengan mengunakan persamaan Richard, informasi tentang sifat-sifat hidraulik yaitu hubungan kadar air tanah dengan head matriks, dan hubungan antara konduktivitas hidraulik tak jenuh dengan head matriks dari jenis tanah tersebut sangat diperlukan. Informasi-informasi hubungan tersebut juga diperlukan untuk simulasi laju penyerapan air oleh akar tanaman jika penyelesaian persamaan Richard melibatkan laju penyerapan air oleh akar. Model yang digunakan untuk memprediksi hubungan parameter-parameter tersebut adalah model van Genuchten (1980) dan Mualem (1976). Sedangkan model laju penyerapan air oleh akar tanaman mengikuti model yang diusulkan oleh Hillel (1998), yang memperlakukan sistim perakaran sebagai rangkaian tahanan listrik. Hasil pencocokan kurva karakteristik retensi air, memperlihatkan model van Genuchten dan Mualem memberikan hubungan yang sangat tinggi (r &gt; 0.988) antara kadar air dengan head matriks untuk tanah yang diuji. Dari kurva karakteristik retensi air dapat diprediksi konduktivitas hidraulik tak jenuh sebagai fungsi head matriks tanah. Model simulasi laju penyerapan air oleh akar tanaman yang dibandingkan dengan laju transpirasi aktual memberikan hasil yang cocok hingga umur tanaman 19 hari. Sedangkan pada tanaman berumur diatas 19 hari, model simulasi laju pengambilan air oleh akar lebih tinggi daripada laju transpirasi aktual</em>.<em>Model pengambilan air oleh akar dapat digunakan untuk memprediksi kerapatan akar minimum yang berhubungan dengan laju transpirasi potensial, dan model van Genuchten untuk hubungan θ(h) dapat digunakan untuk memprediksi ketersediaan air di dalam tanah.</em>
KAJIAN PEMANFAATAN ABU SEKAM PADI SEBAGAI SUMBER LISTRIK
Authors: Mujasam Mujasam 
Published: April 2018

<p>This research aims on measuring and knowing the electricity current resulted from husk-ash. The husk-ash is the remainder of burning process which contains inorganic compound. Because of this compound, husk-ash can produce electricity. The husk-ash used in this research is made of burned paddy trunks; the research used simple electro-chemistry method (primary cell). In the analyzing process, copper (Cu) and zinc (Zn) are used. While the parameters are electrodes distance, width of the electrodes and items amount variation. The result is that there is electricity current produced from the paddy husk-ash, with a requirement the smaller distance between the electrodes, the wider the size of the electrodes and the more the amount of the items, the electricity will be and the longer its ability to store the electricity.</p>
KOMPOSISI JENIS DAN KELIMPAHAN IKAN DI PERAIRAN TELUK DORERI, MANOKWARI
Authors: Massora Maria 
Published: April 2018

<em>A study was done to search the composition and abundance of fish species in the waters of the Doreri Gulf the District of Manokwari, from September - October 2005. The fish catchments wash about 143 specimens consist of 49 species included in 23 families. The species of fish with a high abundance index consists of Nemipterus celebicus, Upeneus sundaicus, and Upeneus sulphureus. Those fishes have a high economic value in the market of Manokwari</em>
EVALUATION OF THE GROUNDWATER DISCHARGE FROM THE YARRAGADEE FORMATION INTO THE BLACKWOOD RIVER, BLACKWOOD PLATEAU, WESTERN AUSTRALIA USING WATER BALANCE ANALYSIS
Authors: Afkril Baina 
Published: April 2018

<p>Area studi terletak di bagian tenggara Dataran Tinggi Blackwood, Australia Barat mencakup 71 km<sup>2</sup>. Akifer Yarragadee di daerah studi utamanya tersusun oleh batu pasir yang mengandung lapisan-lapisan batu lempung dan liat. Akifer ini merupakan akifer tak-tertekan karena muncul dipermukaan sepanjang alur Sungai Blackwood pada daerah hilir di Nannup dan merupakan sumber airtanah yang keluar ke sungai. Sungai Blackwood mengalir melintasi Dataran Tinggi Blackwood. Selama musim kering, aliran permukaan ke dalam Sungai Blackwood dapat diabaikan, namun aliran dasar dari airtanah menjadi sumber utama bagi aliran sungai. Neraca air pada daerah studi dilakukan dengan menggunakan analisa jaring-aliran dan kesetimbangan air guna mengevaluasi masukan airtanah dari akifer Yarragadee ke dalam Sungai Blackwood. Mayoritas sel-sel jaring-aliran adalah sel-sel keluaran dan kebanyakan aliran airtanah masuk ke dalam Sungai Blackwood di daerah studi. Curah hujan rata-rata tahunan area studi sekitar 6.7 x 10<sup>7</sup> m<sup>3</sup> a<sup>-1</sup>. Sekitar 9 % dari total curah hujan rata-rata tahunan ini masuk ke dalam tanah sebagai sumber bagi air tanah dan 91 % hilang melalui proses evapotranspirasi. Volume total airtanah yang masuk ke dalam Sungai Blackwood antara stasiun Darradup dan Layman Flat yang dihitung menggunakan analisis jarring-aliran dan kesetimbangan air sekitar 8.1 GL a<sup>-1</sup>. </p>