bluuebunny/crossref_metadata_2025 huggingface dataset:
Induction Models on $\mathbb{N}$
Authors: Dileep A. , Meel Kuldeep S. , Sabili Ammar F.
Published: May 2020

Mathematical induction is a fundamental tool in computer science and mathematics. Henkin [12] initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and a unary generating function S. The usage of mathematical induction often involves wider set of base cases and k−ary generating functions with different structural restrictions. While subsequent studies have shown several Induction Models to be equivalent, there does not exist precise logical characterization of reduction and equivalence among different Induction Models. In this paper, we generalize the definition of Induction Model and demonstrate existence and construction of S for given B and vice versa. We then provide a formal characterization of the reduction among different Induction Models that can allow proofs in one Induction Models to be expressed as proofs in another Induction Models. The notion of reduction allows us to capture equivalence among Induction Models.
Polynomial Loops: Beyond Termination
Authors: Hark Marcel , Frohn Florian , Giesl Jürgen
Published: May 2020

In the last years, several works were concerned with identifying classes of programs

where termination is decidable. We consider triangular weakly non-linear loops

(twn-loops) over a ring Z ≤ S ≤ R_A , where R_A is the set of all real algebraic

numbers. Essentially, the body of such a loop is a single assignment

(x_1, ..., x_d) ← (c_1 · x_1 + pol_1, ..., c_d · x_d + pol_d)

where each x_i is a variable, c_i ∈ S, and each pol_i is a (possibly non-linear)

polynomial over S and the variables x_{i+1}, ..., x_d. Recently, we showed that

termination of such loops is decidable for S = R_A and non-termination is

semi-decidable for S = Z and S = Q.

In this paper, we show that the halting problem is decidable for twn-loops over any

ring Z ≤ S ≤ R_A. In contrast to the termination problem, where termination on all

inputs is considered, the halting problem is concerned with termination on a given

input. This allows us to compute witnesses for non-termination.

Moreover, we present the first computability results on the runtime complexity of

such loops. More precisely, we show that for twn-loops over Z one can always

compute a polynomial f such that the length of all terminating runs is bounded

by f( || (x_1, ..., x_d) || ), where || · || denotes the 1-norm. As a corollary, we

obtain that the runtime of a terminating triangular linear loop over Z is

at most linear.
On Reasoning about Access to Knowledge
Authors: Salhi Yakoub
Published: May 2020

Controlling access to knowledge plays a crucial role in many multi-agent systems. In- deed, it is related to different central aspects in interactions among agents such as privacy, security, and cooperation. In this paper, we propose a framework for dealing with access to knowledge that is based on the inference process in classical propositional logic: an agent has access to every piece of knowledge that can be derived from the available knowledge using the classical inference process. We first introduce a basic problem in which an agent has to hide pieces of knowledge, and we show that this problem can be solved through the computation of maximal consistent subsets. In the same way, we also propose a coun- terpart of the previous problem in which an agent has to share pieces of knowledge, and we show that this problem can be solved through the computation of minimal inconsis- tent subsets. Then, we propose a generalization of the previous problem where an agent has to share pieces of knowledge and hide at the same time others. In this context, we introduce several concepts that allow capturing interesting aspects. Finally, we propose a weight-based approach by associating integers with the pieces of knowledge that have to be shared or hidden.
The Triguarded Fragment with Transitivity
Authors: Kieronski Emanuel , Malinowski Adam
Published: May 2020

The triguarded fragment of first-order logic is an extension of the guarded fragment in which quantification for subformulas with at most two free variables need not be guarded. Thus, it unifies two prominent decidable logics: the guarded fragment and the two-variable fragment. Its satisfiability problem is known to be undecidable in the presence of equality, but becomes decidable when equality is forbidden. We consider an extension of the tri- guarded fragment without equality by transitive relations, allowing them to be used only as guards. We show that the satisfiability problem for the obtained formalism is decidable and 2-ExpTime-complete, that is, it is of the same complexity as for the analogous exten- sion of the classical guarded fragment. In fact, in our satisfiability test we use a decision procedure for the latter as a subroutine. We also show how our approach, consisting in exploiting some existing results on guarded logics, can be used to reprove some known facts, as well as to derive some other new results on triguarded logics.
MANAGEMENT OF RADIOGRAPHIC WASTE IN DENTISTRY- A REVIEW
Authors: Joseph Biju Baby , Joseph Meenu , Mohan Theertha , PP Thabsheera , Deepa M. S.
Published: May 2020

Radiographs are imperative part of the complete assessment and treatment in medical and dental fields. The attractiveness and expediency of x ray technology extends way beyond the medical fields. Despite the fact that the advent of medical imaging reached to digital radiography, conventional radiography is still used by the practitioners. Unfortunately conventional radiographic procedures potentially generate hazardous waste products that have an alarming impact on environment. The accumulated waste products from the conventional radiographic methods may risk the environmental systems. Proper waste disposal and management is required to resolve this inevitable problem. The main intention of this article is to deal with the hazardous consequences of radiographic waste produced in dentistry and to enlighten the management methods to settle the impact of harmful effects of radiographic waste generated during dental procedure.
UNTOUCHABILITY-THE PLIGHT OF DALITS: IN THE WORKS OF DALIT WRITERS, DR. B.R. AMBEDKAR AND OM PRAKASH VALMIKI
Authors: Bhardwaj Payal , Sharma Vikas
Published: May 2020

The right to live a dignified life is one of the basic necessities of human beings. In Maslow’s hierarchy of needs, self-esteem and being respected takes almost the topmost position in a person’s psychological needs. Women’s suffragette, the civil movements for equality of African- American’s and other such movements in history are a testament of the same. However, Indian history reeks of a dark past, a past that not only differentiated amongst people, but treated them worse than animals. The Indian society’s ‘Chaturvarna’ system placed the untouchables in the lowest social category. They are also called ‘Dalits’, which literally translates to ‘broken men’. The untouchables were forced to inhumane treatment and atrocities for no fault of their own. Basic rights such as drinking water, food, proper accommodation and even walking on roads were not allowed to them. With the efforts of visionaries and social workers, the condition improved; but it is still not a complete victory.

This paper is but a feeble light shining on the struggles that come with unfair castigation of this social hierarchy. It also points out how plight of Dalits is addressed in writings of the Dalit writers. Dalit writers suggested that the plight of Dalits can only be addressed through social consciousness, which can only come with education and legal empowerment.
Uji Daya Hasil Sepuluh Galur Cabai (Capsicum annuum L.) Bersari Bebas yang Potensial Sebagai Varietas Unggul
Authors: Kusmanto . , Ritonga Arya Widura , Syukur Muhamad
Published: May 2020

Penelitian ini bertujuan untuk membandingkan beberapa galur harapan cabai bersari bebas (OP) hasil pemuliaan Laboratorium Pemuliaan IPB dengan varietas cabai OP komersial dan mendapatkan galur yang memiliki karakter-karakter yang lebih unggul dibandingkan dengan varietas pembanding tersebut. Penelitian ini dilaksanakan pada bulan Juli 2010 sampai Januari 2011 di Kebun Percobaan Leuwikopo IPB. Percobaan dilaksanakan dengan menggunakan Rancangan Kelompok Lengkap Teracak dengan tiga belas perlakuan dan tiga ulangan sehingga seluruhnya terdapat 39 satuan percobaan. Galur yang diuji yaitu F6001004-5, F6002003-9, F6002005-4-76, F6002046-2, F6015002-8, F7002001-4, F7009002-1, F7009015-4, F7009019-1, dan F7015008-5, selanjutnya dibandingkan dengan tiga varietas cabai komersial yaitu varietas Trisula, Gelora, dan Tit Super. Peubah yang diamati meliputi tinggi tanaman, tinggi dikotomus, diameter batang, lebar kanopi, lebar daun, panjang daun, umur berbunga, bobot per buah, bobot buah layak pasar, dan bobot buah total.  Berdasarkan peubah yang diamati menunjukkan bahwa galur F6002046-2, F6001004-5 dan F7009015-4 berpotensi sebagai calon varietas unggul.
Evaluasi Produktivitas Beberapa Varietas Padi
Authors: Hambali Asep , Lubis Iskandar
Published: May 2020

Penelitian ini berlangsung pada bulan Februari sampai Juni 2014 dan dilaksanakan di Balai Penelitian Padi Muara, Bogor. Tujuan dari penelitian ini adalah untuk mempelajari faktor-faktor tanaman yang mempengaruhi produktivitas beberapa varietas padi. Rancangan yang digunakan adalah rancangan kelompok lengkap teracak (RKLT) dengan satu faktor yaitu varietas yang terdiri dari 6 varietas. Varietas yang digunakan adalah varietas unggul baru (varietas Inpari 13, Ciherang, Mekongga), padi tipe baru (IPB 4S), varietas lokal (Mentik Wangi), dan varietas hibrida (Hipa Jatim 2). Masing-masing varietas diulang sebanyak tiga kali sehingga terbentuk 18 satuan percobaan. Hasil penelitian menunjukkan bahwa secara umum varietas unggul (VUB) Inpari 13, Ciherang dan Mekongga memiliki produktivitas lebih tinggi dari varietas yang lain (lokal, PTB, hibrida). Produktivitas VUB berkisar antara 4.59 hingga 5.62 ton ha-1. Hasil produktivitas ketiga VUB ini dipengaruhi oleh komponen hasilnya yaitu anakan produktif, bobot 1000 butir, persentase gabah isi dan ketahanan terhadap hama penyakit.
Intrahepatic Arterial Delivery of Sorafenib Eluting Beads: A Pharmacokinetics Study
Authors: Ning Eerdunbagena , Wang Zhijun
Published: May 2020

Objective: To determine the slow-release effect of Sorafenib carried beads and its impact on the normal liver of dogs. Materials and Methods: (1) To obtain the maximal drug-carrying of beads, different sizes of beads (300-500 μm and 500-700 μm) were tried. Five bottles of different sizes of beads were added into 75% solution of Sorafenid-alcohol with different concentrations: Bottle a,50mg/20ml; Bottle b, 100mg/20ml; Bottle c, 100 mg/40ml; Bottle d, 200mg/40m; Bottle e, 250mg/50ml. (2) In vivo study: 12 dogs were randomly divided into four groups [group A, Sorafenib carried bead (500-700μm); group B, only bead (300-500μm) ; group C, Lipiodol-sorafenib and four dogs in each group. Each group was treated with TAE with emulsion mentioned above. Sorafenib concentration in plasma and liver tissue was determined with HPLC respectively. Result: (1) In vitro research: Sorafenib can be dissolved into 75% alcohol and the best concentration for drug-carrying was 100mg/20ml. (2) In vivo study: ① Compared with group D, the Cmax and AUC in plasma in group A and B has a significant statistics difference(p<0.05). ② Sorafenib concentration in liver tissue could be determined in group A in the 3rd day and even after one week while it could not be determined in group D. Conclusion: Sorafenib can be carried in DC-Bead in a certain condition. Compared with emulsion with Sorafenib and lipiodol, DC-bead has a definite slow-release function and it is superior to lipiodol.
Survey and Research on Health Information Assistance Needs of Junior Middle School Students in Different Regions of Guangdong Province
Authors: Liu Donglan , Deng Jinmei , Huang Weigao , Cao Yongxun , Long Yinghua
Published: May 2020

Objective: To study the health information assistance needs of junior high school students in 8 different regions of Guangdong Province in a cluster, to understand the current situation of junior high school students' health information assistance needs, and to collect feasibility data for hospitals and schools to jointly promote the healthy development of students. Methods: In June 2019, a group of junior high school students from 8 different regions in Guangdong Province [678 students (in 2 towns), 352 students (in 2 counties and prefecture-level cities), and 1098 students (in 4 provincial-level cities)] were selected in a group. A questionnaire survey was conducted by 2128 people, the results of the questionnaire survey were collected, and statistical analysis was performed. Results: Of the 2128 junior high school students in 8 different regions, only 52.07% had confidence in their health, and there were no regional differences. Health information for students seeking professional medical assistance includes: 1578 person-times (74.15%) of nutritional diets, 1084 person-times (50.94%) to eliminate tiredness, 1190 person-times (55.92%) to improve sleep quality, 1002 person-times (47.09%) to reduce anxiety, making him happier and stronger 1164 person-times ( 54.70%). Students in different regions asked for help on how to make their hearts happier and stronger. The results suggest that provincial and county-level students have greater needs than urban students. Conclusion: The results of this research show that junior high school students in different regions of Guangdong Province have insufficient awareness of health, and there is a large demand for various health help information, and the focus is on prevention. It is of practical significance to strengthen and meet the health information needs of junior high school students.
PEMBERIAN PUPUK KULIT PISANG RAJA (Musa sapientum) TERHADAP PERTUMBUHAN DAN PRODUKSI TANAMAN CABAI RAWIT (Capsicum frutescens L.)
Authors: Tuapattinaya Prelly , Tutupoly Feby
Published: May 2020

Backgroud: Cayenne pepper or Capsicum frutescens L. is a plant wich very popular all over the world.  Banana peel has been considered as garbage and smells, there are many chemicals that contain elements of potassium, phosphorus, magnesium, potassium, and sodium brpotensi to be used as fertilizer.

Method: This study used a randomized block design (RBD) with treatment carried out in the form of fertilizers Plantain skin (P). Fertilization Plantain skin consists of four stage treatment, namely: P0 (0 ml/polybag), P1 (200 ml/polybag), P2 (350 ml/polybag), P3 (500 ml/polybag). From the observed level of treatment, three replications were made so that there are 12 samples in the study.

Results: Cayenne pepper plant growth with the highest value on plant height, number of leaves and number of branches acquired in treatment P3 (500 ml fertilizer plantain skin ).  While the generative period banana peels fertilizer treatments showed that there is a significant influence on the production of fruit and weeks 8, 10 and 12 and the weight of the fruit at harvest time. The number of pieces of cayenne pepper with the highest value obtained in treatment P3 (500 ml fertilizer plantain skin).

Conclusion: Treatment P3 (500ml fertilizer plantain skin) is a treatment wich best during the vegetative growth of plant height, number of leaves and number of branches cayenne pepper. Moreover P3 is also the best treatment on fruit number and fruit weight during the generative crop.
PENGARUH PENGGUNAAN AIR KELAPA (Cocos nucifera) TERHADAP PERTUMBUHAN TANAMAN SAWI (Brassica juncea L.)
Authors: Tiwery Riny R
Published: May 2020

Background: The research purpose is to know the influences use of coconut water on the growth of mustard plants. The materials used on this research are: Green Mustard Seed, Coconut Water, Water and Soil. Research carried out for 2 months, from 15 September 2010 till 15 November 2010.

Method: The research using Design Randomly Complette, that consist of 5 treatments with each treatments: A0 = control without coconut water, A1 = volume of coconut water is 100 ml, A2 = volume of coconut water is 150 ml, A3 = volume of coconut water is 200 ml, and A4 = volume of coconut water is 250 ml. Each treatments repeated 3 times. Data were analyzed using Analysis of Variance and followed by the Smallest Real Test at level α 0,5% and α 0,1%.

Result: The result of the researchshowed that, the use of coconut water give a real impact on the growth of mustard plants on it’s height and number of leaves, that obtained on treatments A4 = volume of coconut water is 250 ml.

Conclusion: The volume of coconut water that most influence on the growth of mustard (Brassica juncea L.), on plant height and number of leaves, contained in a volume of 250 ml, followed by volume of 200 ml, 150 ml and a further volume of 100 ml, and Control (A0).
KEANEKARAGAMAN DAN POLA DISTRUBUSI ANGGUR LAUT (Caulerpa sp) DI DESA LETMAN KECAMATANKEI KECIL KABUPATEN MALUKU TENGGARA
Authors: Heumassy Alcytha Pascallia , Tuapattinaya Prelly M , Arini Ine
Published: May 2020

Background: Wine sea (algae) and Caulerpa types of Caulerpa letifera racesmosa or in any other language communities of Southeast Maluku call as Lat plant. These algae species are used as vegetables and vegetables are very interested in the community and has become a typical regional menu with a fairly high protein content.

Methods: This study is a descriptive study to reveal information about the diversity and patterns of sea Wine distrubusi (Caulepa sp) in the village of Letman District of Kei Kecil. Calculated using the species diversity index formula diversity (diversity) Shannon-Winner, namely: H '= - N Σ Pi ln Pi where Pi = ni / N and to calculate the value of diversity and patterns distrubusi.

Results: Based on the research that has been conducted in the coastal waters of the Village Letman District of Kei Kecil Southeast Maluku regency, overall research sites found five species of sea grapes that Caulerpa lentifera, Caulerpa racemosa, Caulerpa sertuloroides, Caulerpa cupresoides / serrulata (Forskal), and Caulerpa taxifolia.

Conclusion: 4 (four) research station found the type of Caulerpa lentifera with the number 93, the type of Caulerpa racemosa with the number 79, sea grape Caulerpa sertuloroides with the number 53, the type of Culerpa cupresoides / serrulata (forskal) with the number 59, the type of Caulerpa taxifolia by the number 61.
PENERAPAN STRATEGI BELAJAR MOOD, UNDERSTAND, RECALL, DIGEST, EXPAND, REVIEW (MURDER) DALAM MENINGKATKAN HASIL BELAJAR BIOLOGI KONSEP SISTEM EKSKRESI MANUSIA PADA KELAS XI IPA1 SMA NEGERI 1 KAIRATU
Authors: Lopulalan Roger , Matdoan M Nur
Published: May 2020

Background: One of the interesting and applicable learning strategies in the learning process is the MURDER learning strategy. Where this learning strategy aims to train and facilitate students in receiving and understanding the material provided. With the strategy of learning murder is expected the students get involved further in the process of teaching and learning effectively so that students are encouraged to understand every material in teaching teachers.

Methods: Instruments used in this study are non-test instruments in the form of affective ratings sheets and psychomotor sheets and test instruments in the form of items used for initial and final tests. Data collection is done by literature, student learning result test, interview and observation. The data have been obtained in the form of scores analyzed in the form of product moment statistics to see the relationship between the results of learning results by using learning strategies MURDER.

Result: Inferential statistic analysis showed that in table "r" product moment db 27 was consulted at 5% significant level obtained r table = 0,381 while significant 1% at r table = 0,487 so there is significant relation between variable x and variable y.

Conclusion: MURDER learning strategy can improve learning outcomes in SMA Negeri 1 Kairatu students and this strategy is very influential on cognitive, affective and psychomotor assessment on students.
POTENSI EKSTRAK DAUN TERATAI (Nymphaea pubescens L.) DALAM MENGHAMBAT Staphylococcus aureus
Authors: Sabban Alfia , Rumahlatu Dominggus , Watuguly Theopilus
Published: May 2020

Background: The lotus (Nymphaea pubescens L.) is one of the ornamental plants that many people in demand because it has varieties, shapes, and color of flowers are diverse. The lotus has the potential to be developed as an antibacterial. This study aims to determine the use of lotus leaf extract as anti-bacterial Staphylococcus aureus.

Method: This study included the making of extraction using maceration method using ethanol, phytochemical testing of lotus leaf extract and testing of anti bacterial activity was done by diffusion method agar by observing and measuring the inhibition zone diameter formed on Muller Hinton (MHA) media. Then done by giving lotus leaf extract with 3 treatment of concentration that is 5%, 10%, 20%, positive control (ampicillin) and negative control (aquades). With an incubation period of 1 x 24 hours.

Result: The result of phytochemical test showed that lotus leaf extract contain alkaloid compound, triterpenoid, steroid, flavonoid, phenolic and saponin. Anti-bacterial activity test results showed that the concentration given was not able to inhibit the growth of test bacteria.

Conclusions: Bacteriostatic tests with a 60% extract concentration indicating that at 10-5 to 10-9 dilutions there were no bacterial colonies growing.
KOMPOSISI JENIS DAN KEPADATAN BIVALVIA DIPERAIRAN PANTAI DUSUN TANJUNG METIELLA NEGERI LIANG KECAMATAN SALAHUTU
Authors: Latuihamallo Aneke
Published: May 2020

Background: Ecologically, marine waters are divided into several zones, one of which is intertidal waters, where various types have adapted well to habitat conditions in various zones and types of ecosystems. The existence of bivalves plays an important role in the lives of fish and other biota that are bound to one food chain.

Method: This research is a descriptive research that is to express descriptive information about bivalves in the waters of Metiella Cape. This study uses data collection techniques using the line transect method where each observation transect is drawn by a rope perpendicular to the coastline of 5 transects with a distance between each transect of 20 meters. As long as the transect is made of sample plots or quadrants with an area of ​​1 m X 1 m with a distance between each of the 5 meter quadrants, observation of the type of bivalvia is carried out in each quadrant.

Results: The composition of Bivalvia found in Metiella Cape waters is 282 individuals classified in 2 sub-orders, 5 super families, 5 families, 7 genera, 8 species, namely: Pinna muricatta, Trachycardium rugosum, Fragum unedo, Mactra violacea, Tellina spengleri, Tellina timorensis, Gafrarium tumidum, Meretrix linnaeus.

Conclusion: In the waters of Metiella Cape, 8 types of Bivalvia were found, namely: Fragum unedo, Trachycardium rugosum, Mactra violacea, Tellina spengleri, Tellina timorensis, Pinna muricata, Gafrarium tumidum and Meretrix linnaeus. The highest density value is found in transect II with a density value of 5.8 ind / m2 found in the type of Fredoum unedo and the lowest density value found on transect III with a density value of 0.2ind / m2 found in Mactra violacea.
PENGARUH KONSENTRASI NATRIUM BENZOAT DAN LAMA PENYIMPANAN TERHADAP MUTU MINUMAN SARI BUAH GANDARIA (Bouea macrophylla Griff) BERKARBONASI
Authors: Sumanik Rence Aurelia , Papilaya Pamella Mercy , Rumahlatu Dominggus
Published: May 2020

Background: Gandaria plants (Bouea macrophylla Griff) are one of the annual Maluku fruits which need to be cultivated because they are beneficial both economically and ecologically. This study aims to determine the effect of sodium benzoate concentration and storage time on Gandaria fruit juice (Bouea macrophylla Griff).

Method: The type of research used in this study was an experimental type laboratory with experiments conducted in a closed room. This study uses ripe gandaria fruit in orange. This study used a completely randomized design method with 2 factors, namely, the concentration of sodium benzoate 200 ppm, 250 ppm, 300 ppm and storage time of 5 days, 10 days and 15 days. The parameters measured were vitamin C levels, total solid soluble and total acid levels.

Results: The study showed that the concentration of sodium benzoate and storage time had an effect on vitamin C, total acid and total soluble solid. Whereas the interaction between the concentration of sodium benzoate and the length of storage gave a significant effect on total acid.

Conclusion: The concentration of sodium benzoate and storage time have an effect on vitamin C, total acid and total soluble solid and the interaction between sodium benzoate concentration and storage time has a significant effect on total acid.
KADAR LEMAK ES KRIM TEPUNG DAUN KELOR (Moringa oleifera) BERDASARKAN VARIASI VOLUME SARI KACANG TANAH (Arhacis hypogea)
Authors: Faubun Stella , Sinay H
Published: May 2020

Background: Moringa leaves are rich in nutrients and are a source of antioxidants, but are underutilized by the public as a food ingredient because they smell ‘unpleasant '. In an effort to increase the benefits to extend the shelf life of the product and also attract the interest of the community to consume Moringa leaves, Moringa leaves can be processed into flour, then made ice cream with the addition of peanut juice.

Method: Implementation of this research was conducted at the Pattimura University Basic Biology Laboratory. This study uses a Completely Randomized Design (CRD). Data from the research results were analyzed using inferential statistics One Way Anova (ANOVA).

Results: There was an effect of adding variations of peanut juice (Arachis hypogea) to fat content in Moringa oleifera leaf ice cream ie control of 4,457%, addition of 50 ml peanut juice as much as 5,207%, addition of 75 ml peanut juice as much as 5,956% and the addition of 100 ml peanut juice, fat content of 5.993%.

Conclusion: There is an effect of adding variations in peanut juice (Arachis hypogea) to fat content in Moringa oleifera leaf ice cream.
PERBEDAAN HASIL BELAJAR SISWA MENGGUNAKAN MODEL PEMBELAJARAN KOOPERATIF TAI DAN STAD PADA MATERI GERAK TUMBUHAN PADA SISWA KELAS VIII SMP NEGERI 3 NAMROLE
Authors: Seleky Maria Natalia , Matdoan M Nur , Arini Ine
Published: May 2020

Background: The TAI (Team Assisted Individualization) model is individual assistance in the characteristic group that the responsibility is for students. Therefore students must build knowledge without accepting the finished form of the teacher. While the STAD Model (Student Team Achievement Division) is to motivate students to be able to support and help one another in mastering the abilities taught by the teacher.

Method: This research was conducted on April 10, 2017 - May 10, 2017 with the research location on Junior High School 3 Namrole. To find out the difference in learning outcomes, it was analyzed using T-test analysis.

Results: Through the design of quasi-experimental research shows that there are no differences in student learning outcomes taught using the TAI and STAD models, but in the TAI and STAD classes almost all students reach KKM 68. However, based on the calculation of the average (mean) and standard deviation for the class TAI 76.68 and class 75.31 so that it can be said that the TAI model is more effective than STAD.

Conclusion: There is an increase in student learning outcomes after conducting the teaching and learning process by using the Team Assisted Individualization and Student Team Achievemint Devision models so that the t-test results show that thit <ttab with thit 1.023 and ttab 2.0105.
Editorial
Authors: Gorniok Lukasz , Roos Lena , Illman Ruth , Hedner Zetterholm Karin , Lundgren Svante
Published: May 2020

Editorial for Vol. 31/1
Parameter identification of the interaction body model using available measurements
Authors: Zhang Qingwen , Li Zheng , Zhang Yu , Ji Tianjian
Published: May 2020

This paper determines the parameters of the interaction models based on available published experimental measurements. The masses, damping ratios and stiffnesses of body models are identified by the curve fitting of the measured apparent mass curves from shaking table tests in
published biomechanics studies. Then the extracted data are used to identify the parameters of the interaction models. Finally, the eigenvalue analyses of the human-structure models are calculated for comparison. In this identification process, it was identified that the quality of the curve fitting for the interaction model is as good as and
even slightly better than the published results. One or two additional conditions for the interaction models would lead to several sets of parameters, but with the result of the continuous model, reasonable parameters have to be applied which can be identified and these parameters could be used in further calculations.
PENGGUNAAN METODE CAWAN TUANG TERHADAP UJI MIKROBA PADA TEPUNG KELAPA
Authors: Angelia Ika Okhtora
Published: May 2020

Penelitian ini bertujuan untuk mencari metode terbaik dalam menguji kandungan mikroba yang terdapat pada tepung kelapa. Metode Cawan Tuang (Pour Plate) merupakan teknik lain yang dapat digunakan untuk mendapatkan koloni murni mikrooganisme. Kelemahan metode ini adalah membutuhkan waktu dan bahan yang lama dan banyak, akan tetapi tidak memerlukan keterampilan tinggi. Biarkan campuran diencerkan dengan menggunakan medium agar yang telah dicairkan dan didinginkan. Adapun prinsip pengujian deteksi yaitu: Pembuatan media serta Isolasi dan identifikasi hasil. Dalam metode ini bakteri yang di uji adalah bakteri TPC (Total Plate Count) dengan menggunakan Obat PCA (Plate Count Agar) yang memberikan hasil berwarna kuning jika sudah terbentuk menjadi media agar sedangkan Enterobacteriaceae dan Coliform menggunakan Obat VRBA (Violet Red Bile Agar) dengan hasil akhir berwarna merah jika sudah terbentuk menjadi media agar.
PENENTUAN KEBUNDARAN, EKSENTRISITAS, ASPEK RASIO, DENSITAS CURAH, POROSITAS, DAN VOLUME RELATIF KENTANG (Solanum tuberosum L.)
Authors: Tofa Mus
Published: May 2020

Kebundaran (roundness), eksentrisitas, aspek rasio, densitas curah (bulk density), porositas dan volume relatif merupakan beberapa sifat fisik bahan pertanian yang sangat penting. Pentingnya sifat-sifat ini berkaitan dengan perancangan dan proses pengolahannya. Penelitian ini dimaksudkan untuk menentukan dimensi dan bentuk (roundness, eksentrisitas, dan aspek rasio), bulk density, dan porositas dari kentang, dimana kentang merupakan salah satu bahan pertanian yang digolongkan sebagai sayuran. Kentang banyak diminati oleh masyarakat karena terkandung komponen-komponen yang diperlukan tubuh, seperti karbohidrat, protein, dan komposisi lainnya.

Penentuan sifat dimensi dan bentuk menggunakan alat jangka sorong dengan parameter diameter dan jari-jari dari kentang. Bulk density kentang ditentukan dengan perbandingan bulk mass (massa curah) dari kentang dengan volumenya. Sedangkan porositas ditentukan dengan perbandingan bulk density dan densitas bahan.

Berdasarkan hasil penelitian diperoleh data bahwa kentang memiliki kebundaran, aspek rasio, kelonjongan, densitas curah, porositas, dan volume relatif masing-masing sebesar 0.45, 0.88, 0.59, 0.49 g.cm-3, dan 0.55, dan 0.45. Data tersebut dapat digunakan sebagai informasi awal dalam desain dan perancangan alat pengolahan kentang.
Improving the Ability of MTs Mathematics Teachers Using Mathematics Learning Media Through the Training of "Kelasmen" Model in Target Madrasah in the Temanggung Regency
Authors: Yuliani Anik
Published: May 2020

The purpose of this research was to improve the ability of MTs mathematics teachers in the Temanggung regency to use mathematics learning media through the training of the Kelasmen model. This was supervisory action research. The research period was three months from mid of February 2019 to mid of April 2019. This research was conducted in three cycles on mathematics teachers in the Pringsurat, Tembarak, Selopampang, Kaloran, and Temanggung subdistrict in eleven targets MTs in Temanggung regency. The stages undertaken by the researcher in this study are (1) the preliminary initial reflection stage, (2) the planning stage, (3) the implementation phase of the action, (4) the observation phase, and (5) the reflection phase. After being given training through the Kelasmen model on the use of mathematics learning media, the ability of mathematics teachers in eleven MTs in Temanggung regency experienced an improvement from 53.33% in cycle I to 66.67% in cycle II and  86.67% in cycle III. Therefore, it could be concluded that the training of the Kelasmen model could improve the ability of MTs mathematics teachers in the Temanggung regency to use mathematics learning media. Thus the hypothesis of the proposed action was declared successful and accepted.
Can a Positive School Climate Promote Student Attendance? Evidence From New York City
Authors: Hamlin Daniel
Published: May 2020

Nearly 15% of American students are chronically absent from school. To address absenteeism, many states have recently made chronic absence a core component of their school accountability plans. Scholars have theorized that a positive school climate can promote student attendance, but empirical support for this idea is lacking. In this study, the relationship between four student-reported measures of school climate and student attendance are investigated by analyzing two annual school climate surveys (N = 823,753) from New York City. Results indicate small associations among the four measures of perceived school climate and student attendance. Furthermore, school-level changes in perceived school climate between middle and high school were only marginally associated with student attendance.
The Association Between New COVID-19 Cases and Google Searches for Mental Health
Authors: Tennant Patrick , Gonzalez Jennifer , Rowan Melissa , Hilbelink Catie , Moore Quianta
Published: May 2020

Mental health concerns related to the COVID-19 pandemic and the resulting economic and societal changes are an important matter of public health. We examined the state-level association between new cases of COVID-19 reported and mental health, as measured through Google search trends, on a daily basis. Our analyses indicate a significant positive association, such that increases in mental health Google searches should be expected on days when relatively more new cases of COVID-19 are announced. The overall effect and state-level variation were analyzed via a multi-level model and full results are included here. Implications and public policy suggestions are discussed.
Common Illnesses of Students in a University, Central Visayas, Philippines: 2014 to 2016
Authors: Amparado Mauro Allan Padua , Lafuente Leah G.
Published: May 2020

This study determined the common illnesses of students in a university in Central Visayas, Philippines from 2014 to 2016. The findings served as basis for a proposed action plan. This quantitative study employs the descriptive design. It utilized secondary data on common illnesses which were recorded as medical diagnosis of students who consulted the medical clinic from 2014 to 2016. The study was conducted at UCLM, Mandaue City, Cebu, Philippines.Treatment of the study includes simple percentage for the profile of the respondents and a three-year table presentation of the common illnesses experienced by the students.Majority of the clients were 12-19 years old. There were 469 clients in 2014 (51.54%), 405 clients in 2015 (54.28%) and 332 clients in 2016 (43.91%). There were more female clients than male clients from 2014 to 2016, 52.20%, 62.33% and 62.96%, respectively. More than 50% of the consultations occur from 6:00 AM to 2:00 PM.Upper Respiratory Tract Infection tops the list in 2014, 2015 and 2016. Other illnesses in 2014 are (in order): Acute Gastritis, German Measles, Infected wound, Acute Tonsillitis, Viral Exanthem, Acute Folliculitis, Acute Gastroenteritis, Allergy, and Abscess.In 2015, the other common illnesses were Acute Conjunctivitis, Infected Wound, Acute Gastroenteritis, Essential Hypertension, Acute Gastritis, Allergy, Systemic Viral Infection, Acute Tonsillitis, Abscess, and Urinary Tract Infection. In 2016, new entrants in the top ten list include Acute Sinusitis, and Sprain.Based on the findings of the study, the most common illnesses of students in the university are Upper Respiratory Tract Infection, Infected Wound, and Abscess. It is essential for the medical clinic and its staff to be prepared with resources related to these health conditions to immediately address them as the need arises. In addition, health promotion through lectures and distribution of information materials regarding these health conditions are important activities to be conducted to attain optimal health among students.Recommended citation: Amparado, M. A. P. & Lafuente, L. G. (2019). Common Illnesses of Students in a University, Central Visayas, Philippines: 2014 to 2016. Cebu Journal of Nursing, 2(1), 41-52.
Administrasi Keuangan
Authors: Milla Aidina
Published: May 2020

Financial administration is all recording of entry and exit of finance to finance all work organization activities in the form of financial administration or accounting.financial management is the act of handling or financial governance which includes recording, planning, implementing, accountability and reporting.
OPTIMIZATION OF AERO ENGINE UTILIZATION THROUGH IMPROVED ESTIMATION OF REMAINING USEFUL LIFE (RUL) OF ON CONDITION (OC) PARTS
Authors: Vidyasagar Kotha
Published: May 2020

Gas Turbine Operators and Maintainers face the challenge of increasing the operational life, availability, and reliability of Aero Engine during the operations amid the advancements in the technology for the speed, Power, SFC, and Comfort which led to closing in the safety margins and increasing in the failure rate of Aero Engines, and low serviceability of aero engines due to the rapid increase in demand and expansion of the aircraft fleet by the various airlines for various reasons which led to increase in downtime and lead time of serviceability of Aero Engines. This study focuses on the inherent Aero Engine deterioration caused due to various Gas Turbine Faults or Physical Problems and how Performance, Trend, and Systems Monitoring contain this deterioration and contribute to the optimization of aero engine utilization. The purpose of this paper is to present the importance of accurate estimation of Remaining Useful Life (RUL) of On Condition (OC) Parts and how it optimizes aero engine life. The benefits associated with the introduction of a novel estimation of RUL of OC Parts are also presented. A Standardized Replacement Model (SRM), which improves the estimation of RUL of OC Parts, is proposed for optimization of Aero Engine Utilization
Covid-19 in mind: how job loss and health threatening events modulate risk-taking behaviours in real-life contexts
Authors: Galandra Caterina , Cerami Chiara , Santi Gaia , Dodich Alessandra , Cappa Stefano , Vecchi Tomaso , Crespi Chiara
Published: May 2020

Covid-19 pandemic is exerting a tragic impact all around the world. First-person experience of life-threatening and stressful events can modify individuals’ risk perception, and, consequently, risk-taking behaviours. Here we investigated risk-taking profiles in 130 Italian residents, and compared healthcare to non-healthcare workers, during the lockdown phase. We ad hoc developed the “Covid-19 Risk Task”, including the classic monetary Holt-Laury Paired Lottery Task (Monetary Condition, MC) and two new ecological conditions exploring Covid-19 related risk-taking aptitudes in relation to different health (Health Status Condition, HsC) and employment (Employment Status Condition, EsC) outcomes. Results showed that, in the whole sample, individuals were more risk-averse in MC than in HsC and EsC. Moreover, a payoff increase produced a shift toward more risk-averse behaviours in MC, but not in HsC and EsC, where we found an opposite trend suggesting a more risk-loving behaviour. Finally, we found that healthcare workers were significantly less risk-averse compared to non-healthcare workers in EsC, but not in MC and HsC.These findings provided evidence of the possible effects of Covid-19 outbreak on risk-taking aptitudes. The negative impact on human choices and, consequently, on the whole world economy of this catastrophic life event must not be underestimated.
On the Quantum Mechanical Wave Function as a Link Between Cognition and the Physical World: A Role for Psychology
Authors: Snyder Douglas Michael
Published: May 2020

A straightforward explanation of fundamental tenets of quantum mechanics concerning the wave function results in the thesis that the quantum mechanical wave function is a link between human cognition and the physical world. The reticence on the part of physicists to adopt this thesis is discussed. A comparison is made to the behaviorists’ consideration of mind, and the historical roots of how the problem concerning the quantum mechanical wave function arose are discussed. The basis for an empirical demonstration that the wave function is a link between human cognition and the physical world is provided through developing an experiment using methodology from psychology and physics. Based on research in psychology and physics that relied on this methodology, it is likely that Einstein, Podolsky, and Rosen’s theoretical result that mutually exclusive wave functions can simultaneously apply to the same concrete physical circumstances can be implemented on an empirical level. Original article in The Journal of Mind and Behavior is on JSTOR at https://www.jstor.org/stable/pdf/43853678.pdf?seq=1 . Preprint on CERN preprint server at https://cds.cern.ch/record/569426 .
Moral Values' Impact on Responses to NFL Protests
Authors: Monroe Andrew Elliott , Wyngaarden James B. , Plant E. Ashby
Published: May 2020

In 2017, Colin Kaepernick drew global attention by kneeling during the national anthem before a football game. The protest divided the country into two groups: those who supported Kaepernick’s stand against inequality, and those who believed it was disrespectful. The current study investigates whether differences in moral values (i.e., fairness vs. respect for authority) predict an individual’s opinion of the protestors, and whether priming one of those values influences opinions on social justice protests more broadly. Our data support the moral tradeoff hypothesis by demonstrating that when values are in conflict, the degree to which individuals value fairness versus authority predicts their opinions of the protesters. These differences in fairness vs. authority also extended to judgments of other kinds of social justice protests. These findings support the Moral Foundations Theory as a useful tool for investigating the influence of moral values on perceptions of social issues and subsequent behavior.
Does hearing loss lead to dementia? A review of the literature
Authors: Nadhimi Yosra , Llano Daniel
Published: May 2020

Recent studies have revealed a correlation between aging-related hearing loss and the likelihood of developing Alzheimer Disease. However, it is not yet known if the correlation simply reflects the fact that these two disorders share common risk factors or whether there is a causal link between them. The answer to this question carries therapeutic implications. Unfortunately, it is not possible to study the question of causality between aging-related hearing loss and dementia in human subjects. Here, we evaluate the research surrounding induced-hearing loss in animal models on non-auditory cognition to help infer if there is any causal evidence linking hearing loss and a more general dementia. We find ample evidence that induction of hearing loss in animals produces cognitive decline, particularly hippocampal dysfunction. The data suggest that noise-exposure produces a toxic milieu in the hippocampus consisting of a spike in glucocorticoid levels, elevations of mediators of oxidative stress and excitotoxicity, which as a consequence induce cessation of neurogenesis, synaptic loss and tau hyperphosphorylation. These data suggest that hearing loss can lead to pathological hallmarks similar to those seen in Alzheimer’s Disease and other dementias. However, the rodent data do not establish that hearing loss on its own can induce a progressive degenerative dementing illness. Therefore, we conclude that an additional “hit”, such as aging, APOE genotype, microvascular disease or others, may be necessary to trigger an ongoing degenerative process such as Alzheimer Disease.
PENGARUH DUKUNGAN MANAJEMEN PUNCAK TERHADAP KUALITAS SISTEM INFORMASI AKUNTANSI PADA PERUSAHAAN ASURANSI SYARIAH
Authors: Cahyadi Wahyu , Mukhlisin Murniati , Pramono Sigid Eko
Published: May 2020

This study is objected to test the support of top management  that can enhance the quality of Accounting Information Systems (SIA) in Islamic insurance companies in Indonesia. This study uses qualitative methods with a positive paradigm. The data used are primary data with the help of questionnaires as research instruments. Data obtained from returning questionnaires filled out by respondents who are leaders, division heads, department heads or heads of accounting departments. The research population is a sharia insurance company consisting of 59 companies registered as members of the Indonesian Sharia Insurance Association (AASI) as of April 2019. From the population obtained 34 respondents who filled out the questionnaire. Data analysis was performed with descriptive static and PLS-structural equation modelling (PLS-SEM) using SmartPLS software. The results showed that top management's support had a significant effect on the quality of accounting information systems and support of top management has not been maximized.
Sistem Informasi Pembayaran Sumbangan Penunjang Pendidikan (SPP) Santri Pesantren Tahfidz Adh Dhuhaa Tangerang
Authors: Elly Mega Nurmalasari , Hati Kusuma
Published: May 2020

Abstract

 

The Islamic Boarding School Tahfidz Adh Dhuhaa needs an information system specifically to overcome problems related to the management of SPP payments for students that are increasing every year. So far, the management of Santri SPP payments is done by inputting payment data with the Microsoft Excel application so that it still often experiences obstacles when searching for data and providing Santri SPP payment reports. Because of that, it is needed a web-based payment information system for students-based SPP in order to facilitate the treasurer of the Islamic Boarding School Tahfidz Adh Dhuhaa in managing the SPP payment. The SPP Santri Payment Information System includes management of student data, monthly SPP payment data, and producing a report. With this system, it is hoped that it will be easier for treasurers of the Islamic Boarding School Tahfidz Adh Dhuhaa to manage students' tuition payment data easily and quickly.

 

Keywords: Student, Information System, Educational Support Contribution, Waterfall Model

 

 

Abstrak

 

Pesantren Tahfidz Adh Dhuhaa membutuhkan sebuah sistem informasi khususnya untuk mengatasi permasalahan yang terkait dengan pengelolaan pembayaran SPP para santri yang semakin bertambah setiap tahunnya. Selama ini pengelolaan pembayaran SPP Santri dilakukan dengan menginput data pembayaran dengan aplikasi microsoft excel sehingga masih sering mengalami kendala pada saat mencari data dan memberikan laporan pembayaran SPP santri. Karena itu dibutuhkan Sistem Informasi Pembayaran SPP santri berbasis web agar dapat mempermudah bendahara Pesantren Tahfidz Adh Dhuhaa dalam mengelolah pembayaran SPP tersebut. Sistem Informasi Pembayaran SPP santri ini meliputi pengelolaan data santri, data pembayaran SPP setiap bulan, sampai menghasilkan sebuah laporan. Dengan adanya sistem tersebut di harapkan dapat mempermudah bendahara Pesantren Tahfidz Adh Dhuhaa dalam melakukan pengolalaan data pembayaran SPP santri dengan mudah dan cepat.

 

Kata kunci: Santri, Sistem Informasi, Sumbangan Penunjang Pendidikan (SPP), Model Waterfall