Miracle-dz/UniFAR-FTUs huggingface dataset:
GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

ILP learners are commonly implemented to consider sequentially each training example for each of the hypotheses tested. Computing the cover set of a hypothesis in this way is costly, and introduces a major bottleneck in the learning process. This computation can be implemented more efficiently through the use of data level parallelism. Here we propose a GPU-accelerated approach to this task for propositional logic and for a subset of first order logic. This approach can be used with one’s strategy of choice for the exploration of the hypothesis space. At present, the hypothesis language is limited to logic formulae using unary and binary predicates, such as those covered by certain types of description logic. The approach is tested on a commodity GPU and datasets of up to 200 million training examples, achieving run times of below 30ms per cover set computation.
BONE CEMENT AND GENTAMICIN IN THE TREATMENT OF BONE INFECTION . BACkGROUND AND IN vITRO STUDY

Study conducted in the Department of Biomechanics, Medicine and Rehabilitation of the Locomotor Apparatus, of Faculdade de Medicina de Ribeirão Preto of Universidade de São Paulo. Mailing Address: Departamento de Biomecânica, Medicina e Reabilitação do Aparelho Locomotor. Faculdade de Medicina de Ribeirão Preto da Universidade de São Paulo, Av Bandeirantes 1900, CEP 14048-900, Ribeirão Preto, São Paulo, Brazil. E-mail:mlazi@hotmail.com
Production in bioreactor and application of biosurfactant in dissolved air flotation for the treatment of industrial effluents

Production in Bioreactor and Application of Biosurfactant in Dissolved Air Flotation for the Treatment of Industrial Effluents Juliana M. Luna, Adriana A. L. Pinto, Maria Isabel S. Pinto, Pedro P.F. Brasileiro, Raquel D. Rufino, Darne G. Almeida , Valdemir A. Santos, Leonie A. Sarubbo Centre of Biological Scinces and Health, Catholic University of Pernambuco, Rua do Príncipe, n. 526, Boa Vista, Cep: 50050-900, Recife, Pernambuco, Brazil Centre of Science and Technology, Catholic University of Pernambuco, Recife, Pernambuco, Brazil Department of Chemical Engineering, Federal University of Pernambuco, Recife, Pernambuco, Brazil Advanced Institute of Technology and Innovation (IATI), Recife, Pernambuco, Brazil Julianamouraluna@gmail.com
Estimation of preptin in serum of Thyroid Dysfunction Patients and its Relationship with other Parameters

The research includes a clinical study of Preptin with other parameters. The normal value of preptin in hypothyroidism (2638.4 ± 280.0) in female while (2960.4 ± 256.6) in male, in hyperthyroidism (589.0 ± 90.1) in male, while in female (993.2 ± 103.9), diabetes (2465.6 ± 282.4 ) in female, in male (2085.5 ± 282.8), in diabetes & hypothyroidism (3314.3 ± 177.3) in male, (3179.4 ± 265.7) in female, but control group in female (427.8 ± 60.4), in male (384.7 ± 62.4) at age (20-45) years they were divided into five groups: group one (G1) consisted of 30 hypothyroidism. The two group (G2) consisted of 30 patients with hyperthyroidism. And three group (G3) consisted of 30 healthy group, four group (G4) consisted of 30 patient with diabetes, and five group (G5) consisted of 30 patient with diabetes & hypothyroidism. The result show BMI where the results showed higher females compared with male in all groups, and a rise in the TSH in hypothyroidism and diabetes & hypothyroidism compared with other group, while shown low result in hyperthyroidism compared with other groups. But calcium, vitamin D3, FSH, and LH were nonsignificant because of people with osteoporosis and heart disease were excluded as did women with multiple polycystic ovaries. The aim of this study is to estimate the efficacy of preptin hormone for thyroid patients with diabetes. keywords: Preptin, Thyroid dysfunction, Diabetes mellitus,
Green hairy root cultures of Solanum khasianum Clarke - a new route to in vitro solasodine production

Solasodine is recognized as a potential alternative to diosgonin. Both share the characteristic that they can be converted to 16-dehydro-pregnenolone acetate; the first step in steroid synthesis. Effort has been ongoing in the production of solasodine using cell and lately hairy root cultures of various Solanum species. As seen in our pilot experiments, some of the hairy root lines of Solanum khasianum Clarke show enhancement of solasodine production compared to non-transformed roots. Light and temperature as physical factors of growth are found to have an important role in controlling greening, growth and secondary product formation in these hairy root cultures. This is similar to the greening observed in tubers of Solanum tuberosum (potato), leading to stimulation of solanine production. Enrichment of the nutrient medium with CO 2 further increases growth and secondary metabolite production in the hairy root cultures of S. khasianum. Thus by manipulating environmental and nutritional conditions, solasodine production can be maximized in hairy root cultures of S. khasianum.
Characteristics of Atmospheric PM2.5 in a Densely Populated City with Multi-Emission Sources

Fine particulate matters (PM_(2.5)) have been identified as one of the major air pollutants in urban areas, which are responsible for the deterioration of the atmospheric air quality as well as adverse effects on public health. In this study, the mass concentration, water-soluble ionic component, trace metal component, carbon component and modeling the contribution source for PM_(2.5) was characterized for Chiayi City, which has high population density and surrounded by agricultural area. The lowest PM_(2.5) mass concentrations were registered in the summer (9-22 μg m^(-3)), while for the spring, autumn, and winter were well above the healthy level suggested by World Health Organization (WHO). For all seasons, the dominants were the sulfate (SO_4^(2-)), nitrate (NO_3^-) and followed closely by ammonium (NH_4^+). Those secondary aerosols were transformed from SO_2 and NO_2 into particulate NO_3^- and SO_4^(2-) during spring, autumn and winter. Lower carbon mass concentrations were observed for summer (2.03-2.49 μg m^(-3)) corresponding to the highest carbon content in PM_(2.5) mass concentrations in terms of percentages (average 18.1%). Using the Chemical Mass Balance receptor model, the secondary nitrate (NO_3^-), primary traffic source, secondary sulfate (SO_4^(2-)), re-suspending soil particle, and petrochemical industry were identified as the major sources of PM_(2.5) in Chiayi City. Consequently, the PM_(2.5) contributions were complicated in a small but various seasons and geological distributing area. The air quality control strategies were thus seasonal and periodical dependent.
The Role of Project Management in Achieving Project Success: Empirical Study from Local NGOs in Mogadishu-Somalia

This study is about the role of project management in achieving success from local NGOs in Mogadishu-Somalia. The study has three objectives which are; to investigate the role of feasibility study on project success, to examine the impact of planning activities on project success and to identify the effect of human resource management on project success from local NGOs in Mogadishu-Somalia. The researcher utilized convenient sampling to collect 100 questionnaires from local NGOs staff in Mogadishu. Staffs from these NGOs were provided with main constructs which are measuring; feasibility study, planning activity, human resource management as well as project success. However, using correlation and regression analyze, the study found that all dimensions of independent variable have positive relationship with dependent variable which project success.
A review of the consequences of decreased flow for instream habitat and macroinvertebrates

Abstract The effects of drought on stream invertebrates have been reviewed, but the effects of artificially reduced flows have not. We addressed this knowledge gap by reviewing the literature on the effects of natural low flows and artificially reduced flows (without complete cessation of flow). We considered the effects of low water volume on habitat conditions and on invertebrate community structure, behavior, and biotic interactions. Decreases in discharge usually cause decreased water velocity, water depth, and wetted channel width; increased sedimentation; and changes in thermal regime and water chemistry. Invertebrate abundance increases or decreases in response to decreased flow, whereas invertebrate richness commonly decreases because habitat diversity decreases. Invertebrates differ in their environmental tolerances and requirements, and any loss of habitat area or alteration of food resources from decreased flow can influence organism behavior and biotic interactions. Invertebrate drift often increases immediately after flow reduction, although some taxa are more responsive to changes in flow than others. Natural low flows and artificially reduced flows have similar effects on invertebrates, but the severity (duration and magnitude) of the flow decrease can influence invertebrate responses. Certain invertebrate taxa are especially sensitive to flow decreases and might be useful indicators for reduced flows or flow restoration. The effect of low flow on streams is an important issue, but few empirical studies of the impacts of decreased flow on stream ecosystems have been done, and more manipulative experiments are needed to understand the ecological consequences of decreased flow.
Comparative study of the effects of some NSAIDs on ovulation in female mice.

Background:Ovulation constitutes a central event in ovarian physiology, and ovulatory dysfunction which is a relevant cause of female infertility. Mammalian ovulation is comparable to aninflammatory reaction since many of the molecules responsible for inducing the inflammatorycascade including PGs, leukotrienes and various cytokines have been describedin the ovary.Objectives:This study was designed to compare between the effects of some NSAIDs(aspirin,diclofenac sodium and meloxicam)on the ovulatory process and the reproductive tract of female mice.Materials and methods:Twenty four female mice were subdivided into 4groups (6 animals/group). The first received distilled water serve as control group, the second receivedaspirin (7.5 mg/kg.B.W) ,thethird received diclofenac sodium(2mg/kg.B.W) and the fourth received meloxicam(0.001mg/kg.B.W) subcutaneously at proestrous phase,Blood was collected at metestrousfor subsequent hormonal assay. The whole reproductive tract was excised out, examined, weighed and ova were flushed.Results :Female mice that received 7.5 mg/kg.B. W of aspirin,showedenlarged, congested ovaries with cystic appearance and congested uteri with prominent blood vessels.Mice that received 2mg /kg.B. W.diclofenac and those received 0.01 mg/kg.B. W. meloxicam showed more congestion and more obvious cystic appearance of ovaries with uteri more bulky compared to controls that showed no congestion and no cystic appearance of the ovaries with thin non congested uteri.Highly significant (P < 0.001) increase in the ovarian weight and highly significant decrease in number of ova flushedwhile no significant changes (P > 0.05) were seen in the uterine weight nor in hormonal levels of LH and FSH between controls and each of animals that received aspirin, diclofenac and meloxicam respectively.Conclusion:Short -term administration of low-dose (aspirin, diclofenac& meloxicam) to female mice at proestrous cause a highly significant increase in the ovarian weight with morphological changes of ovaries and uteri and a highly significant decrease in the ovulatory rate as compared to controls . Greater effect were produced by meloxicam with a lower dose compare to diclofenac and aspirin.
Enhanced Multi-Intensity Analysis in Multi-Scenery Classification-Based Macro and Micro Elements

—Several computationally challenging issues are encountered while classifying complex natural scenes. In this paper, we address the problems that are encountered in rotation invariance with multi-intensity analysis for multi-scene overlapping. In the present literature, various algorithms proposed techniques for multi-intensity analysis, but there are several restrictions in these algorithms while deploying them in multi-scene overlapping classiﬁcations. In order to resolve the problem of multi-scenery overlapping classiﬁcations, we present a framework that is based on macro and micro basis functions. This algorithm conquers the minimum classiﬁcation false alarm while pigeonholing multi-scene overlapping. Furthermore, a quadrangle multi-intensity decay is invoked. Several parameters are utilized to analyze invariance for multi-scenery classiﬁcations such as rotation, classiﬁcation, correlation, contrast, homogeneity, and energy. Benchmark datasets were collected for complex natural scenes and experimented for the framework. The results depict that the framework achieves a signiﬁcant improvement on gray-level matrix of co-occurrence features for overlapping in diverse degree of orientations while pigeonholing multi-scene overlapping.
Survey of Relationship between Changes in Serum Levels of Procalcitonin with Response to Treatment in Patients with SIRS Positive Acute Pyelonephritis

Introduction: Urinary tract infection (UTI) is a common human illness. Patients with acute pyelonephritis may progress to septicemia and septic shock. Disease complications are significantly associated with increased mortality. Rapid and timely diagnosis of sepsis and differentiating it from non-infectious causes with similar symptoms is very important; because timely initiation of antibiotic therapy in patients with sepsis is vital in reducing mortality and improving final outcome. Serum procalcitonin level increases in patients with sepsis and bacterial infection. The aim of this study is measuring serum levels of procalcitonin in patients with Systemic Inflammatory Response Syndrome (SIRS) positive acute pyelonephritis before and after treatment and a survey of the relationship between changes in serum levels of procalcitonin with response to treatment in patients with SIRS positive acute pyelonephritis. Materials and methods: This study was carried out on 30 patients older than 18 years with SIRS positive acute pyelonephritis who were admitted to Shahid Beheshti Hospital in Yasuj, Iran, in 2016. Before initiation of antibiotic treatment, procalcitonin levels were measured. Then 5and ten days and two weeks after treatment simultaneous urine sample and a blood sample was taken. In cases with negative culture in each of their urine cultures, serum levels of procalcitonin were measured and the results were compared. Results: This study included 30 patient (15 males, 15 females) with SIRS positive acute pyelonephritis. The mean and standard deviation of participant ́s pretreatment serum procalcitonin level and post-treatment serum procalcitonin level were 8/88±1/24 and 0/05±0/01 ng/ml respectively, (p value= 0/001). The mean and standard deviation of pre-treatment serum procalcitonin level in patients with complicated and uncomplicated pyelonephritis were 10/97±1/46 and 0/54±0/08 respectively, (p value= 0/001). Conclusion: The procalcitonin can be used in patients with urinary tract infections to evaluate their response to treatment and duration of hospitalization and duration of antibiotic therapy.
Changes to flood peaks of a mountain river: implications for analysis of the 2013 flood in the Upper Bow River, Canada

The mountain headwater Bow River at Banff, Alberta, Canada, was subject to a large flood in June 2013, over which considerable debate has ensued regarding its probability of occurrence. It is therefore instructive to consider what information long‐term streamflow discharge records provide about environmental change in the Upper Bow River basin above Banff. Though protected as part of Banff National Park, since 1885, the basin has experienced considerable climate and land cover changes, each of which has the potential to impact observations, and hence the interpretations of flood probability. The Bow River at Banff hydrometric station is one of Canada's longest‐operating reference hydrological basin network stations and so has great value for assessing changes in flow regime over time. Furthermore, the station measures a river that provides an extremely important water supply for Calgary and irrigation district downstream and so is of great interest for assessing regional water security. These records were examined for changes in several flood attributes and to determine whether flow changes may have been related to landscape change within the basin as caused by forest fires, conversion from grasslands to forest with fire suppression, and regional climate variations and/or trends. Floods in the Upper Bow River are generated by both snowmelt and rain‐on‐snow (ROS) events, the latter type which include flood events generated by spatially and temporally large storms such as occurred in 2013. The two types of floods also have different frequency characteristics. Snowmelt and ROS flood attributes were not correlated significantly with any climate index or with burned area except that snowmelt event duration correlated negatively to the Pacific Decadal Oscillation. While there is a significant negative trend in all floods over the past 100 years, when separated based on generating process, neither snowmelt floods nor large ROS floods associated with mesoscale storms show any trends over time. Despite extensive changes to the landscape of the basin and in within the climate system, the flood regime remains unchanged, something identified at smaller scales in the region but never at larger scales. Copyright © 2016 John Wiley & Sons, Ltd.
1 Key Findings and Implications of a Recent 2 Systematic Review of the Potential Adverse Effects of 3 Caffeine Consumption in Healthy Adults , Pregnant 4 Women , Adolescents , and Children 5

27 In 2016–2017, we conducted and published a systematic review on caffeine safety [1] that set out to 28 determine whether conclusions presented in the heavily cited Health Canada assessment, Nawrot et 29 al. [2], remain supported by more recent data. To that end, we reviewed data from 380 studies 30 published between June 2001 and June 2015, which were identified from an initial batch of over 5,000 31 articles through a stringent search and evaluation process [1]. In the current paper, we use plain 32 language to summarize our process and findings, with the intent of sharing additional context for 33 broader reach to the general public. We addressed whether caffeine doses previously determined not 34 to be associated with adverse effects by Health Canada (400 mg/day for healthy adults, 300 mg/day 35 for pregnant women, 2. 5 mg/kg body weight/day for adolescents and children, and 10 g/day for 36 acute effects) remain appropriate for five outcome areas (acute toxicity, cardiovascular toxicity, bone 37 & calcium effects, behavior, and development and reproduction) in healthy adults, pregnant women, 38 adolescents, and children. We used a weight-of-evidence approach to draw conclusions for each of 39 the five outcomes, as well as more specific endpoints within those outcomes, which considered study 40 quality, consistency, level of adversity, and magnitude of response. In general, updated evidence 41 confirms the levels of intake put forth by Nawrot et al., as not being associated with any adverse health 42 effects, and our results support a shift in caffeine research from healthy to sensitive populations. 43 Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 23 August 2018 doi:10.20944/preprints201808.0405. v1 © 2018 by the author(s). Distributed under a Creative Commons CC BY license. Peer-reviewed version available at Nutrients 2018, 10, 1536; doi:10.3390/nu10101536
Dynamic Compensation Contracts with Private Savings

This article studies a dynamic agency problem in which a risk-averse agent can save privately. In the optimal contract, (i) cash compensations exhibit downward rigidity to failures; (ii) permanent pay raises occur when the agent's historical performance is sufficiently good; (iii) and when the agent is dismissed due to poor performance, he walks away with severance pay to support his post-firing consumption at the current compensation level. Thus, the theory can simultaneously explain the popularity of options-like compensation contracts and the increasing incidence of forced turnovers with sizeable severance pay. The Author 2012. Published by Oxford University Press on behalf of The Society for Financial Studies. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com. , Oxford University Press.
The use of avian feeding guilds to detect small-scale forest disturbance: a case study in East Kalimantan, Borneo

Finding suitable indicators to monitor the state of disturbance of tropical forests is a challenge. Avian feeding guilds are a promising candidate and we test their practical usefulness. We use checklists compiled during short surveys. The observed species are classified into avian feeding guilds based on a combination of diet and foraging layer. We compare avian feeding guild structure of two forests exploited on a small scale (traditional community forest or hutan adat) with an undisturbed control area. Fieldwork was conducted in duplicate (in two rounds, by different observers) in East Kalimantan (Indonesian Borneo). Four avian feeding guilds were found to show differences in species numbers between the disturbed and control sites: terrestrial insectivores and arboreal nectarivores are more numerous, whereas understorey insectivores and arboreal insectivores are less numerous in terms of number of species. Of these four, understorey insectivores were considered to be the most informative, as understorey species are surveyed most effectively and as the guild contains a relatively large number of species. Standardised monitoring of avian feeding guilds yields valuable information on the state of disturbance of forests, and species checklists based on short surveys are a suitable method to obtain the required data. We recommend including avian feeding guilds in standardised monitoring programmes and discuss possible improvements for a study in a larger framework.
The role of quality management activities in achieving high performance of maintenance processes

In today’s highly competitive environment maintenance, quality, and productivity are essentially related components and very important operational issues for a modern, successful, economic, and profitable production system. The focal point in this paper emerges from the lack of understanding how various quality management approaches and practices can contribute to the overall maintenance performance. The aim of this study is therefore, to define the impact of quality management practices on maintenance performance. The questionnaire survey was carried out among Slovenian organisations in order to address the research problem. Several statistical analysis methods including correlation analysis as well as regression analysis are utilised to accomplish the objective of this study. Results of the study indicate that quality management practices incorporated into maintenance processes have positive impact on maintenance performance. We conclude that these results can benefit to organisations seeking for an app.