Miracle-dz/UniFAR-FTUs huggingface dataset:
Development and Impact Evaluation of Community Development and Empowerment Program by PT Adaro Indonesia's in South Kalimantan

The responsibility of the company towards the social and environment around its working area becomes something that is mandatory. This responsibility is implemented in the form of a community development and empowerment program (PPM program). PT Adaro Indonesia is a company that operates coal mining in the Tabalong and Balangan regencies, South Kalimantan Province. In order for the PPM program to run well, it is necessary to evaluate the progress and impact of PT Adaro Indonesia's PPM program. The purpose of this study is to determine the development and impact of PT Adaro Indonesia's PPM program for the communities around the mining area. -----------------------------------------------------------------------* Corresponding author. International Journal of Sciences: Basic and Applied Research (IJSBAR) (2020) Volume 54, No 4, pp 350-358 351 The research was conducted in August to September 2020, in the Tabalong and Balangan regencies. The research method used is descriptive analysis method. The results showed that the existence of PT Adaro's PPM program had a good impact on communities in the Tabalong and Balangan regencies.
The Effect of Internet Usage on Social Capital in Indonesia

Received on 9 July 2020 Revised on 13 September 2020 Accepted on 14 September 2020 The development capital consists of financial capital, physical capital, human capital, and social capital. Social capital focuses on efforts to empower social relations. The relationship between social capital and ICT, especially the internet, has become an interesting debate. In fact, several studies have been conducted with quite diverse findings. The internet is able to connect people who are far from each other, but on the other hand, it often makes people who are physically close to each other seem far apart. This study aims to examine the effect of internet use on social capital in Indonesia. The data is obtained from the fifth Indonesian Family Life Survey (IFLS-5). The study found that in general, internet users have lower social capital than non-internet users. Likewise, highly educated people have higher social capital than people with low education. Then, internet users with higher education have higher social capital when compared to internet users with lower education. This means that the use of the internet must be accompanied by the readiness of human resources (digital literacy) in accepting new technology, filtering the flow of incoming information, and educating the public about how to use the internet in healthy, safe, and wise manner.
Physico-chemical analysis of certain abiotic parameters of a tropical floodplain lake of Tinsukia, Assam (Northeast India)

An investigation of abiotic parameters was under taken during October 2013-September 2015 in Khamti Guali beel of Dibru-Saikhowa Biosphere Reserve. Water temperature was recorded using a centigrade thermometer; pH and specific conductivity were recorded with the help of field probes; dissolved oxygen was estimated by the modified Winkler’s method; and the other abiotic parameters were analyzed by following A.P.H.A. (1992). Results revealed that, water temperature corroborated with the geographical location and subtropical nature of the sampled beel. Hydrogen ion values affirmed slightly acidic to alkaline nature of waters; specific conductivity recorded low ionic concentrations and thus, warranted inclusion of this sampled beel under ‘Class 1’ category of Talling and Talling. Dissolved oxygen indicated moderately oxygenated nature of waters and free carbon dioxide is attributed to its insufficient uptake by photo-autotrophs in the sampled floodplain lake. Total alkalinity and total hardness exhibited soft to hard water character; calcium content indicated ‘soft to moderately soft’ calcium poor waters. Magnesium, an important co-factor in enzymatic transformations resulted in the dominance of Calcium > Magnesium. Chloride concentrations corroborated with the natural waters and thus, indicated lack of influence of organic pollution caused by human impact. The sampled beel recorded low concentrations of dissolved organic matter, total dissolved solids and nutrients namelyphosphate, nitrate, sulphate and silicate during the study period.
Changes in drought features at the European level over the last 120 years

Abstract. In this study we analyze drought features at the European level over the period 1901–2019 using three drought indices: the standardized precipitation index (SPI), the standardized precipitation evapotranspiration index (SPEI), and the self-calibrated Palmer drought severity index (scPDSI). The results based on the SPEI and scPDSI point to the fact that Central Europe (CEU) and the Mediterranean region (MED) are becoming dryer due to an increase in the potential evapotranspiration and mean air temperature, while North Europe (NEU) is becoming wetter. By contrast, the SPI drought does not reveal these changes in the drought variability, mainly due to the fact that the precipitation does not exhibit a significant change, especially over CEU. The SPEI12 indicates a significant increase both in the drought frequency and area over the last three decades for MED and CEU, while SPI12 does not capture these features. Thus, the performance of the SPI may be insufficient for drought analysis studies over regions where there is a strong warming signal. By analyzing the frequency of compound events (e.g., high temperatures and droughts), we show that the potential evapotranspiration and the mean air temperature are becoming essential components for drought occurrence over CEU and MED. This, together with the projected increase in the potential evapotranspiration under a warming climate, has significant implications concerning the future occurrence of drought events, especially for the MED and CEU regions.
Integrating Landscape Of Organizational Commitment Among Teachers In Indigeneous Primary Schools In Malaysia

Purpose of the study: This study focused on job satisfaction and organizational commitment among teachers who are teaching the indigenous students in the Pahang state. The purpose of this study was to identify the relationship between job satisfaction and organizational commitment among the teachers and to find out which dimension in job satisfaction scored the highest factors in fulfilling organizational commitment. Methodology: This is a correlational study adopting a quantitative approach in data analysis. A questionnaire on organizational commitment was adapted from Meyer and Allen (1990) while job satisfaction dimension was adapted from Spector (1985). The questionnaires were distributed to 51 respondents from 3 indigenous schools in Pahang. This study used purposive sampling technique and data were analysed using SPSS version 25. Main Findings: Findings showed a significant relationship between job satisfaction and organizational commitment among the teachers. The result showed that promotion opportunities were the element of job satisfaction that has the highest influence towards organizational commitment, meanwhile supervision has the factors lowest influence to organizational commitment. Applications of this study: This study is beneficial to the Pahang State Education Department in providing guidelines on how to increase organizational commitment among teachers in indigenous schools. Besides that, this study also benefits the school management as it offers a guideline for them to improve performance appraisal. The findings can also help future researchers by providing better understanding of the connection between job satisfaction and organizational commitment. Novelty/Originality of this study: Although literature pertaining to job satisfaction and organizational commitment has often been discussed internationally, there is a scarcity of investigation on the issue in the Malaysian context, explicitly in the topic related to indigenous school teachers. Hence, this study is trying to fill this gap.
Effect of two occlusal Patterns of Implant Retained Overdenture by Two Attachment Systems on the Electromyographic Activity

Purpose: To assess the effect of two attachment systems ball and socket and locator attachments and two occlusal patterns; bilateral balanced and monoplane occlusion on the electromyographic activity of temporalis and masseter muscles in mandibular implant retained overdenture. Material and Methods: Twelve male completely edentulous patients were selected from the outpatient clinic, Prosthodontic department, Faculty of Dental Medicine for Girls, Al-Azhar University. The patients were divided into two different groups: Group I received the Locator attachment and Group II received ball and socket attachment. All patients in both groups were divided equally into two subgroups: In subgroup 1: Patients received complete dentures with bilateral occlusal pattern and subgroup 2 the patients received complete denture with monoplane occlusion. Electromyographic activity for masseter and temporalis muscles were made after one month and three months for soft food and hard food. In subgroup 1 the dentures were replaced by the dentures with monoplane occlusion while in subgroup 2 the dentures were replaced by the denture with bilateral balanced occlusion. In group I and II attachments were switched and the same steps were followed for subgroups. The data were collected. Results: When using denture with bilateral balanced occlusion with locator attachment showed low electromyographic activity on the masseter and temporalis muscle than the denture with monoplane occlusion and there was no significant difference when using soft food during the first month while after 3 months there were significant difference. When using ball & socket attachments there were significant difference when using soft and hard food when using hard food there are significant difference between the subgroups. Conclusion: The two implant retained mandibular overdenture with the locator attachment showed relatively low electromyographic activity of the masticatory muscles (masseter and temporalis) than with ball and socket attachment and high electromyographic activity of the masticatory muscles (masseter and temporalis) with monoplane occlusion than with bilateral balanced occlusion.
Cutaneous Leishmaniasis Species By Nested- PCR Technique In Babylon Province/ Iraq

The study included identification of Leishmania parasite from cases of cutaneous leishmaniasis, by examination of smears from patients and Nested-PCR technique ,Out of 215 cases suspected for cutaneous leishmaniasis included (61) pus and (178) tissue these pus sample were diagnosed by direct smear method to see the Amastgote phase . The cases included in this study belonged to some hospitals in the Babylon as Morjan Medical City Hospital (24) , Musayyib General Hospital(17), Thu AlKifl General Hospital (29) and Hashimyah General Hospital(145), during the period from (October 2019 to March 2020). According to stain results,(60.6%) from the (61) total pus sample cases were positive to giemsa stain and after that used the DNA extraction from total number (215) sample in Nested–PCR and the results appear in percent (82.7%) ,these percent divided in to (20.7%) to Leishmania. Tropica and (79.2%) to Leishmania. Major. The study aimed to detection of Leishmania species in Babylon province.
Post-traumatic Stress Symptoms, Fear, and Health-Related Quality of Life among Community Dwelling Older Adults during COVID-19 Pandemic in Alexandria, Egypt

Background: The outbreak of the COVID-19 pandemic is a public health crisis that largely has affected people worldwide. Since older adults are universally perceived as the most vulnerable group, post-traumatic symptoms and fear produced by this pandemic could have devastating effects on their quality of life. Therefore, this study aimed to assess the prevalence and levels of post-traumatic stress symptoms and fear during COVID-19 pandemic and determine the impact of these psychological symptoms on health-related quality of life among community dwelling older adults. Methodology: A descriptive correlational research design was utilized. Participants included a representative sample of 190 community dwelling older adults registered in El-Wafaa club. Online web-based electronic questionnaires were used including Older Adults Socio-Demographic and Clinical Data Questionnaire, PCL-C, FCQ, and SF-12. Results: The results of this study revealed that during COVID-19 pandemic 76.9% and 97.4 % of the studied older adults had medium to severe stress and fear levels, respectively. These levels of PTSD symptoms significantly affect their physical and mental health-related quality of life (P≤ 0.01). While fear levels affected mental components only (P≤ 0.01). Conclusion: It can be concluded from this study that more than three-quarters of the studied Egyptian community dwelling older-adults suffered from PTSD symptoms levels ranged from medium to severe post-COVID-19 pandemic outbreak. The majority of them suffered from fear of COVID-19 pandemic with the same levels. The PTSD symptoms and fear levels were the best predictors of the mental components of health-related quality of life. Recommendations: Nursing interventions with emotional, spiritual, social, and physical components through online videos and Apps platform for phones and tablets should be made available for elderly people were recommended
Model order reduction for linear time delay systems

This paper proposes a model order reduction technique for asymptotically stable linear time delay systems with pointwise delays. The presented delay-dependent approach, which can be regarded as an extension of existing balancing model order reduction techniques for linear delay-free systems, is based on energy functionals that characterize observability and controllability properties of the time delay system. The reduced model obtained by this approach is an asymptotically stable time delay system of the same type as the original model, meaning that the approach is both stabilityand structure-preserving. It also provides an a priori bound on the reduction error, serving as a measure of the reduction accuracy. The effectiveness of the proposed method is illustrated by numerical simulations.
VALIDATING PURCHASE INTENTIONS FOR GREEN COSMETIC PRODUCTS: APPLYING AND EXTENDINTHEORY OF PLANNED BEHAVIOR

In the last few years, consumers in the Asian market have become conscious of green products and their impact on environmental welfare. Millennial consumers specifically, have started preferring environment friendly, socially responsible products and have come to be known as quick spenders tending the hedonistic consumption. The key intention of this research is to ascertain the variables that have an impact on the purchasing intentions which thereby affects the willingness of millennial buyers to pay a premium for eco-friendly and organic cosmetics in India by expanding the Theory of Planned Behavior by providing a structural equation model (SEM) and path analysis. Results of the study show that the subjective norms are an essential element affecting the environmental concerns and the attitudes of individuals towards green cosmetics which in turn, influence customers intention of purchasing these products and their willingness in paying a premium The research concludes that, with the presence of subjective norms to impose environment-friendly behavior and the correct attitude of individuals towards green cosmetics, the purchase intention and willingness of the millennial buyers to pay a premium for eco-friendly cosmetic products high. Keyword: Theory of Planned Behavior, environmental concern, subjective norms, attitude of individuals, purchase intention, willingness to pay a premium
Cattle Feed Resource, Water Sources and Housing System in the Cen- tral Rift Valley of Oromia Regional State, Ethiopia

Article history Received: 24 September 2020 Accepted: 21 October 2020 Published Online: 31 January 2021 The study was conducted in Adami Tulu Jidokombolcha (ATJK), Bora, Dodola, Shala and Negele-Arsi districts with objective to assess main cattle feed resources, water sources and housing systems. A pre-tested, semi-structured questionnaire was used to conduct survey. About 240 respondents were identified using random sampling techniques. Collected data was analyzed by SPSS statistical software (Ver. 24). Study result indicates that household in average had three hectares of land and allocated about two hectares of land for crop cultivation. Most respondents reported that cattle herding is not common during dry season while it is common during wet season. Survey result indicate that natural pasture, weed and maize tiller and stored crop residues are main feed resources in wet season while crop after math, crop residue and fodder trees are main resources during dry season. Brackish, local mineral and common salt are mineral sources for cattle in study areas. Lake, river and boreholes are important water sources in dry season where as ponds and rivers are main water sources during wet season for their cattle. The observed cattle watering frequency is mainly once a day. Housing system practiced in the study areas is mainly Kraal. The information generated from this study on land size per household, cattle herding system, feed resources, mineral sources, water sources, water utilization and housing type can be used as a baseline for any livestock development programs in those and similar areas.
PERFECTIONISM IN THE CONTEXT OF THE REVISED REINFORCEMENT SENSITIVITY THEORY

The main goal of this research was to examine the role of personality traits in predicting the two aspects of perfectionism – maladaptive evaluation concerns and positive strivings. Personality traits were postulated by the Revised Reinforcement Sensitivity Theory, while the dimensions of perfectionism were defined by the Model of Perfectionism developed by Frost et al. The sample consisted of 299 students of the Faculty of Philosophy in Nis (79.3% were female), aged 19 to 29 years (M = 20.34; SD = 1.83). The instruments used were: the Reinforcement Sensitivity Questionnaire (RSQ), and the Multidimensional Perfectionism Scale (MPS). The main takeaways of this research indicate that the Behavioural Inhibition System (BIS) is the strongest and positive correlate of maladaptive evaluation concerns, followed by Freeze and Fight. Unlike personality defence systems, the Behavioural Approach System (BAS) shows a negative correlation with the abovementioned criterion. The total percentage of explained variance for maladaptive evaluation concerns is 23%. When positive strivings are used as the criterion, BAS is seen as a positive correlate only in the first step of the hierarchical regression analysis. However, Flight and Fight represent consistent and positive correlates of this criterion. The total percentage of explained variance for positive strivings is 6.9%. The findings are consistent with the Revised Reinforcement Sensitivity Theory and available empirical findings from previous studies. Moreover, the results indicate that in the context of the abovementioned personality theory, maladaptive evaluation concerns and positive strivings can be understood as maladaptive forms of perfectionism, which deviates from previous understandings of perfectionism.
COMPOSITIONAL MODELING OF WAX FORMATION IN PETROLEUM MIXTURES

Heavy organics deposition is a common problem in oil industry, especially in oil production, transportation and processing. Wax or solid paraffin series are examples of heavy organics that deposit. Precipitation and crystallization of wax causes major difficulties in different processes. Based on multi-solid theory, a basic model is modified in this paper for wax precipitation in different oils. Four oil samples with paraffin/naphthene/aromatic (PNA) analysis are used. Twoparameter gamma function is used for molecular weight distribution of C7+ fraction. Since all samples in original multi-solid model were dead oil with vapor phase being ignored, the pressure and composition effects on wax precipitation were, therefore, impossible (existence of vapor phase). When considering vapor phase in this work, the proposed modification (i.e. solution method) is well able to predict pressure and composition (addition of different solvents) effects on wax appearance point (WAP). The results obtained agree very well with the experimental and previous investigators results.
Algorithm Selection with Attention on Software Verification

We introduce StarChild and Lazuli, two proof-of-concept libraries which leverage the type system and theorem proving capabilities of F∗ and Liquid Haskell, respectively, to verify properties of pre-trained neural networks. We largely focus on StarChild, as the F∗ syntax is slightly more concise, but Lazuli implements the same functionality. Currently, both libraries are capable of verifying small models. Performance issues arise for larger models. Optimising the libraries is future work. We make two novel contributions. We demonstrate that (a) it is possible to leverage a sufficiently advanced type system to model properties of neural networks such as robustness as types, and check them without any proof burden; and in service of that, we demonstrate that (b) it is possible to approximately translate neural network models to SMT logic. Introduction Neural networks are widely used for classification and patternrecognition tasks in computer vision, signal processing, data mining, and many other domains. They have always been valued for their ability to work with noisy data, yet only recently [7], it was discovered that they are prone to adversarial attacks—specially crafted inputs that lead to unexpected outputs. Verifying properties of neural networks, such as, e.g., robustness against adversarial attacks, is a recognised research challenge [4]. Several current approaches involve: (a) encoding properties as satisfiability problems [2,3]; (b) proving properties via abstract interpretation [5]; (c) or using an interactive theorem prover [1]. F∗ [6] and Liquid Haskell [8] are functional languages with refinement types, i.e., types can be refined with SMT-checkable constraints. For instance, the type of positive reals (x:R{x > 0}), or booleans which are true (b:bool{b ≡ true}), or a type of neural networks which are robust against adversarial attacks. Unlike, e.g., Python, F∗ and Liquid Haskell are referentially transparent, which means the semantics of pure programs in these languages can be directly encoded in the SMT logic. This tight integration allows users to specify neural network models and their properties in the same language, while leveraging the powerful automated verification offered by SMT solvers! The work was funded by the National Cyber Security Center, UK.