Miracle-dz/UniFAR-FTUs huggingface dataset:
Expressive Non-Monotonic Description Logics Based on Circumscription

Recent applications of description logics (DLs) strongly suggest the integration of non-monotonic features into DLs, with particular attention to defeasible inheritance. However, the existing non-monotonic extensions of DLs are usually based on default logic or autoepistemic logic, and have to be seriously restricted in expressive power to preserve the decidability of reasoning. In particular, such DLs allow the modelling of defeasible inheritance only in a very restricted form, where non-monotonic reasoning is limited to individuals that are explicitly identified by constants in the knowledge base. In this paper, we consider non-monotonic extensions of expressive DLs based on circumscription. We prove that reasoning in such DLs is decidable even without the usual, strong restrictions in expressive power. We pinpoint the exact computational complexity of reasoning as complete for NPNEXP and NEXPNP, depending on whether or not the number of minimized and fixed predicates is assumed to be bounded by a constant. These results assume that only concept names (and no role names) can be minimized and fixed during minimization. On the other hand, we show that fixing role names during minimization makes reasoning undecidable.
Year Six Fraction Understanding :A Part of the Whole Story

A range of assessment tasks was developed for use in one-to-one interviews in December 2005 with 323 Grade 6 students in Victoria. In this paper, we summarise briefly the research literature on fractions, describe the process of development of assessment tasks, share data on student achievement on these tasks, and suggest implications for curriculum and classroom practice. Particular emphasis in the discussion is given to students’ judgements and strategies in comparing fractions. A particular feature of this report is that one-to-one interview assessment data were collected from a larger number of students than is typically the case in these kinds of studies. Recommendations arising from these data include the importance of teachers understanding and presenting a wider range of sub-constructs of fractions to students in both teaching and assessment than is currently the case, using a greater variety of models, and taking available opportunities to use the interview tasks with their own students.
ANTIBIOTIC PRESCRIPTION HABITS OF SWEDISH DENTISTS

Antibiotic prescriptions have been on the increase worldwide, leading to increased antibiotic resistance. Inappropriate use of antibiotics has been blamed on lack of education and continuing professional development, and also on patient demand even when they are not required. This study was carried out to find out the pattern of prescriptions by Swedish dentists using data provided by pharmaceutical industry. The data shows that although the number of prescriptions is on the increase in Sweden, dentists still prefer to use conventional antibiotics such as Penicillin V for the treatment of oral diseases.
Towards Earlier Discharge, Bett er Outcomes, Lower Costs: Stroke rehabilitation in Ireland

This report describes the analysis and findings of the Stroke Rehabilitation in Ireland (SRI) study . This study was undertaken with the overall aim of examining rehabilitation services for stroke patients in the Irish healthcare system, identifying patterns of use, an d assessing implications ( in terms of e conomic and health outcomes) of existing and new models of care. The SRI study ha d four main objectives: • to describe current rehabilitation provision for stroke patients in Ireland; • to analyse best practice path way s of stroke rehabilitation; • to compare cost s, outcome s and cost - effectiveness implications of actual and best practice path ways of rehabilitation in Ireland; • to recommend how best to deliver stroke rehabilita tion after the inpatient phase.
Histological variations in fibroadenoma of breast

Background: Fibroadenoma of the breast is a relatively frequently occurring tumor. Although often considered a benign tumour, several reports describe a higher risk of subsequent breast carcinoma in patients diagnosed with fibroadenoma. Increased risk depends on presence of complex changes within fibroadenoma, presence of hyperplasia and positive family history for breast cancer. But surprisingly not much literature is available on the variations within the fibroadenoma of the breast. Aims and Objectives: Our main aim was to study the histological variations within the fibroadenoma of the breast. We also tried to identify those lesions with the possible risk of malignancy. Materials and Methods: A total of 100 specimens of fibroadenoma of breast between May 2013 and April 2015 were studied at our institute. Slides were stained with hematoxylin and Eosin (H & E) and were thoroughly reviewed. Slides were screened for proliferative epithelial changes, fibrocystic epithelial changes, stromal changes and various other changes such as foci of tubular adenoma and phyllodes tumour. Slides with invasive malignancies were excluded from the study. Results: Mild hyperplasia was the commonest variation within the fibroadenoma. Complex hyperplasia was seen in older age groups. Conclusion: Fibroadenoma is a common tumour of breast, more frequently occurring in 2 nd and 3 rd decade. Since malignant transformation is not seen or is extremely rare under 35yrs of age, only fibroadenomas in women above this age should be considered for excision biopsy.
Effective Methodology for the Study of HCI

Part 1: The Problem of Methodology. What is Effective Methodology? The scope of the problem. Conceptualisation of the Human Computer Interface. The user-as-a-program approach. The front-end approach. The layered model approach. Towards a characterisation of the user interface. Why evaluate with users? An informed choice of methods. Determining what is to be compared. Selecting the evaluation procedure. Allocating subjects to conditions in a study. The dependent variable. Evaluating the results. Conclusions so far. Part 2: Conceptualising the Interface. Studying the User. Components of categorisation. Categorisation in HCI. Review of user typologies. Synthesis of traditional typologies. User typologies and development. The incremental model. The stage model. The convenience model. Consequences. The impact of motivation. Motivation theories. Maslow's hierarchy of motives. Bandura's self efficacy theory. Herzberg's motivation-hygiene theory. Vroom's expectancy theory. Integrating motivation theories. General motivation theories. Relevant cognitive dimensions. Reasoning strategies. Learning with an interface. Interface style requirement. Motivational and attitudinal factors. Psychometric tools. Attitude scales. Locus of control. Other personality measures. Cognitive measures. Aptitude tests. User to Interface. Systems independent user modelling. A perceptual analysis of the interface. In favour of Gibson. Gibson's approach and the user interface. Dimensions of operability in interface design. Operability characteristics. Visibility. Manipulability. Natural language interfaces. Wordiness. Flexible interfaces. Users learn. Users differ. Users reflect on their knowledge. Properties of flexible interfaces. Adaptive and adaptable interfaces. The need for a notation. Notating for adaptability. Approaches to notation. Networks as notations. Grammars as notation. Production systems as notations. Part 3: Informed Choices. Structural Framework. Humans adapt spontaneously. Observation as method. Defining the observational method. Limiting the amount of information to be collected. Objective record. Time scores. Correctness and error scores. Help data. Key stroke logs. Physiologically based records. Subjects observations about themselves. Concurrent verbalisations. Retrospective verbalisations. Role play methods. Observer's record. Stability and replicability. Classification of errors. Observation sessions must be planned. Objectivity of observation and analysis. Describing appropriate units. Categorising units unambiguously. Verbal systems. Nominal systems. Distinctive feature systems. Category systems. Dimensional systems. Structural systems. Towards an Informed Choice of Method. Determining what is to be measured (hypothesis generation). Selecting the evaluation procedure. Naturalistic approach. Quasi-naturalistic approach. Experimental approach. Allocating subjects to conditions in a study. Independent subjects, latin squares. Repeated measures.
Pattern of dysglycemia among Nigerian adult patients with vitiligo: a 10-year retrospective study

Background: The prevalence of dysglycemia among adult patients with vitiligo is higher than the general population. However, data is scarce in our region regarding this hypothesis. This study was to define the pattern of dysglycemia in adult Nigerian patients with vitiligo. Methods: The study was conducted retrospectively among vitiligo patients who visited the University of Port Harcourt Teaching Hospital between 1st January 2007 and 31st December 2016. The laboratory characteristics of this patients were evaluated. Data collected irrespective of vitiligo variant were age, sex, and fasting plasma glucose concentrations. Shapiro-Wilk test, descriptive statistics, chi-square test, Fisher’s exact test, and two-sample t-test were used for analysis. The level of p < 0.05 was considered statistically significant. Results: There were a total of 160 vitiligo patients consisting of 55 (34.4%) males and 105 (65.6%) females. The overall patients mean age was 35±1.9 years (range 19 -61 years). The mean fasting plasma glucose concentration was 5.3±1.1mmol/l. Impaired fasting plasma glucose was detected in 41(26.6%) subjects with female dominance (female 61.0% versus male 39.0%). Diabetes mellitus was documented in 6 (3.8%) subjects with no sex difference (female 50% versus male 50%). Conclusions: Dysglycemia is frequent in vitiligo patients. Screening for dysglycemia should be incorporated into the management protocol of patients with vitiligo.
The role of new technologies in competence teaching in higher education: The case of accounting

The Spanish educational system will require certain changes in order to achieve the Bologna objectives for the European Higher Education Area, including a more professional profile, with new activities and roles for both students and teachers, who must assume new skills that will affect concepts and attitudes related to the teaching and learning processes within the framework of training projects. However, students must also take a leading role in the educational process by adopting independent, meaningful and cooperative learning methods. This process will imply a notable change of mindset for the typical Spanish students and will involve a high degree of collaboration between students and teachers. Teachers will have to choose suitable methodologies for achieving those objectives, within the academic framework and considering the characteristics of professional training in skills. In addition, they must create the appropriate structural and organizational conditions to carry out these activities (class size, space, educational organization, etc.). This paper describes the authors' experience in designing learning methodologies for the teaching of accountancy in the business administration degree course at the Polytechnic University of Valencia. The paper is divided into three parts. The first part describes the methodology designed for teaching accounting, based on PBL (problem-based learning), compiled with Internet-based technologies. We analyze its use and evolution in two accounting subjects in the first and the fourth years of the degree. The second part presents the results for each subject in these years. The authors also point out the differences between students who chose the learning methodology described and those who used the traditional approach. The final part of the paper presents the conclusions obtained from the statistical treatment of the results and the analysis of different options for correlating the information obtained. These results show that there is a direct correlation between the use of an active learning model—through the teaching methodology—and obtaining satisfactory exam results in the subject. Finally, the authors analyze these results and consider how they should be used for evaluating the suitability of the methodology and to determine whether it is necessary to redesign the methodology to fit in with the characteristics, conditions and limitations of the teaching and learning processes.
Opioid false-positivity in urine drug screening: levomepromazine cross-reactivity

ABSTRACT Urine drug screening false-positives are reported for several drugs, which may lead to clinical misdiagnosis and have negative consequences for the patient on personal and social grounds, if not identified. False-positives for opiates are rare, but we report a case where high-dose levomepromazine was very likely involved.
Retrieving physiotherapy patient records in an academic hospital in Johannesburg, South Africa

ABSTRACT: The purpose of this study was to evaluate the process and feasibility of retrieving physiotherapy patient records in an academic hospital in Johannesburg in the Republic of South Africa. Multiple methods of data collection which included a walk-through observation of the whole health facility, aided by a researcher designed checklist, interviews and attempting to retrieve physiotherapy records were employed to evaluate the process of retrieving physiotherapy patient records and to determine the factors that influenced physiotherapy record retrieval. The percentage record retrieval was calculated by dividing the number of physiotherapy patient records that were actually retrieved by the total number of patients billed for receiving physiotherapy for one calendar month. The process of retrieving physiotherapy records was arduous and multi-faceted, requiring the use of multiple recording books, files and boxes to identify the names and hospital numbers of patients who attended physiotherapy. These data were required to retrieve the correct physiotherapy record. A final retrieval rate of 29.7% (n = 769) was achieved. The implications for the quality and planning of physiotherapy services, the legal and professional standing of the physiotherapy profession and implications for the academic functions in this hospital are discussed. The study concluded that the process of retrieving physiotherapy records in different sections of the selected hospital lacked uniformity.
PENGARUH MOTIVASI KERJA DAN GAYA KEPEMIMPINAN TERHADAP DISIPLIN KERJA SERTA DAMPAKNYA PADA KINERJA KARYAWAN (STUDI KASUS PADA PT. PLN (PERSERO) APD SEMARANG)

Tujuan dari penelitian ini adalah untuk menganalisis dan membuktikan pengaruh motivasi kerja dan gaya kepemimpinan terhadap disiplin kerja dan kinerja karyawan, serta untuk menganalisis dan membuktikan pengaruh disiplin kerja terhadap kinerja karyawan. Penelitian ini juga ingin memberikan beberapa rekomendasi tentang bagaimana meningkatkan kinerja karyawan untuk Divisi Sumber Daya Manusia (SDM) berdasarkan hasil penelitian ini. Penelitian dilakukan di PT. PLN (Persero) APD Semarang. Data dikumpulkan melalui kuesioner yang dibagikan kepada 63 orang. Selain kuesioner, data juga dikumpulkan melalui wawancara singkat. Penelitian dilakukan dengan menggunakan Structural Equation Modeling (SEM) yang dijalankan oleh SmartPLS 2.0 M3. Hasil penelitian ini menunjukkan bahwa motivasi dan gaya kepemimpinan memiliki dampak positif yang signifikan terhadap disiplin kerja dan kinerja karyawan. Namun, penelitian ini tidak dapat membuktikan bahwa motivasi memiliki dampak positif yang signifikan terhadap kinerja karyawan. Berdasarkan kondisi yang terjadi dilapangan, penelitian ini menghasilkan rekomendasi untuk perbaikan pekerjaan di masa depan yang berkaitan dengan motivasi, gaya kepemimpinan, disiplin kerja, dan kinerja karyawan. Keyword : motivasi kerja, gaya kepemimpinan, disiplin kerja, dan kinerja karyawan ABSTRACT The purpose of this study was to analyze and prove the effect of work motivation and leadership style to work discipline and employee performance, as well as to analyze and prove the effect of work discipline on employee performance. This research also want to provide some recommendation about how to increase employee performance for the Division of the Human Resources (HR) based on the results of this study. Research was conducted at PT. PLN (Persero) APD Semarang. Data collected through a questionnaire which distribution to 63 people. Besides questionnaire, data also collected through a short interview. Research carried out by using Structural Equation Modeling (SEM) which was run by SmartPLS 2.0 M3. The results of this research showed that motivation and leadership style have a significant positive impact on work discipline and employee performance. However, this research can’t prove that motivation has a significant positive impact on employee performance. Based the condition which was happen in the field, this research generate recommendations for improvement of future work related to motivation, leadership style, work discipline , and employee performance. Keyword : work motivation, leadership style, work discipline, and employee performance
Nsambya Community Home-Based Care Complements National HIV and TB Management Efforts and Contributes to Health Systems Strengthening in Uganda: An Observational Study

Community Home-Based Care (CHBC) has evolved in resource-limited settings to fill the unmet needs of people living with HIV/AIDS (PLHA). We compare HIV and tuberculosis (TB) outcomes from the Nsambya CHBC with national averages in Kampala, Uganda. This retrospective observational study compared HIV and TB outcomes from adults and children in the Nsambya CHBC to national averages from 2007 to 2011. Outcomes included numbers of HIV and TB patients enrolled into care, retention, loss to follow-up (LTFU), and mortality among patients on antiretroviral therapy (ART) at 12 months from initiation; new smear-positive TB cure and defaulter rates; and proportion of TB patients tested for HIV. Chi-square test and trends analyses were used to compare outcomes from Nsambya CHBC with national averages. By 2011, approximately 14,000 PLHA had been enrolled in the Nsambya CHBC, and about 4,000 new cases of TB were detected and managed over the study period. Overall, retention and LTFU of ART patients 12 months after initiation, proportion of TB patients tested for HIV, and cure rates for new smear-positive TB scored higher in the Nsambya CHBC compared to national averages. The findings show that Nsambya CHBC complements national HIV and TB management and results in more positive outcomes.
TMVA - Toolkit for Multivariate Data Analysis

n high-energy physics, with the search for ever smaller signals in ever larger data sets, it has become essential to extract a maximum of the available information from the data. Multivariate classification methods based on machine learning techniques have become a fundamental ingredient to most analyses. Also the multivariate classifiers themselves have significantly evolved in recent years. Statisticians have found new ways to tune and to combine classifiers to further gain in performance. Integrated into the analysis framework ROOT, TMVA is a toolkit which hosts a large variety of multivariate classification algorithms. They range from rectangular cut optimization using a genetic algorithm and from one- and multidimensional likelihood estimators, over linear and nonlinear discriminants and neural networks, to sophisticated more recent classifiers such as a support vector machine, boosted decision trees and rule ensemble fitting. TMVA manages the simultaneous training, testing, and performance evaluation of all these classifiers with a user-friendly interface, and expedites the application of the trained classifiers to data.
Histopathological findings of prostatic autopsy in a sample of over 50 years old men in Baghdad, Iraq

Incidental carcinoma of the prostate is very important subject concerning the society in which the western population have a high incidence of it and prostatic carcinoma as a common cause of death in male patients, many efforts have been done to detect it in its early stage using many diagnostic tools like serum PSA estimation, Trans rectal ultrasound, biopsy and fine needle aspiration (FNA). The aim of this study is to interpret histopathologically prostatic autopsy samples from men over 50 years of age, to determine premalignant and malignant lesions to compare our frequency of incidental prostatic carcinoma with other studies, analyzing the collected samples according to age, volume and weight and application of immunohistochemical techniques on hyperplastic and malignant lesions to be familial with these techniques.
Handleiding Landelijke implementatie JGZ richtlijn secundaire preventie kindermishandeling

Op 1 januari 2011 zijn het Nederlands Jeugdinstituut (NJi), TNO Behavioural and Societal Sciences en het Nederlands Centrum Jeugdgezondheid (NCJ) gestart met de landelijke implementatie van de JGZ-richtlijn secundaire preventie kindermishandeling. Voor een goed verloop van deze landelijke implementatie is de Handleiding Landelijke Implementatie JGZ Richtlijn Secundaire preventie kindermishandeling geschreven. De handleiding is geschreven voor sleutelfiguren in de jeugdgezondheidszorg-organisaties die verantwoordelijk zijn voor de implementatie van deze richtlijn in hun organisatie. Het eerste hoofdstuk van de handleiding geeft een verantwoording van de keuzes die gemaakt zijn voor de landelijke implementatie. In de daarop volgende zeven hoofdstukken staat de werkwijze beschreven die deelnemers aan de landelijke implementatie kunnen gebruiken. Een slothoofdstuk bespreekt de relevante landelijke ontwikkelingen voor de JGZ-Richtlijn. De bijlagen bevatten alle benodigde materialen en verwijzingen voor de implementatie.
Early features of the bone-implant interface in hip arthroplasty: a comparative study in the proximal femur of the goat after implantation of a cemented versus an uncemented endoprosthesis

We carried out comparative microangiography and fluorescence microscopy on two groups of six adult female African pygmy goats who received cemented or uncemented femoral endoprostheses in their right hip. One additional goat was used for in vivo angiography preand postoperatively. The blood supply to the proximal femur at a macroscopic level was not severed by the surgical procedure. The animals were killed at weekly intervals until the sixth postoperative week. Microangiography and fluorescence microscopy revealed that rapid revascularization of the metaphyseal trabecular bone in the vicinity of the implants already occurred from the first postoperative week in both groups. However, in general.the revascularization of the bone around the uncemented prostheses occurred more rapidly, resulting in earlier bone remodelling compared to the cemented group. Surprisingly, the apposition of periosteal bone lasted longer and was more intensive in the uncemented group, particularly at the metaphyseal level. We suggest that this phenomenon may be enhanced by mechanical stimuli.