Miracle-dz/UniFAR-FTUs huggingface dataset:
Austrian-Japanese Workshop on Symbolic Computation in Software Science

Rewriting induction (Reddy, 1990) is an automated proof method for inductive theorems of term rewriting systems. Reasoning by the rewriting induction is based on the noetherian induction on some reduction order and the original rewriting induction is not capable of proving theorems which are not orientable by that reduction order. To deal with such theorems, Bouhoula (1995) as well as Dershowitz & Reddy (1993) used the ordered rewriting. However, even using ordered rewriting, the weak capability of non-orientable theorems is considered one of the weakness of rewriting induction approach compared to other automated methods for proving inductive theorems. We present a refined system of rewriting induction with an increased capability of non-orientable theorems and a capability of disproving incorrect conjectures. Soundness for proving/disproving are shown and effectiveness of our system is demonstrated through some examples.
Chinese Language Learning Strategies for Thai Undergraduate Students at Higher Education Institution, Thailand

This study investigated Chinese language learning strategies of Thai undergraduate students’ by means of a designed questionnaire at a higher education institution of Thailand during the academic year of 2017. Questionnaire of Chinese language learning strategies developed by pervious researcher were distributed to 206 Thai undergraduate students, and they were required to report to what degree they used each strategy in their learning together with their demographic information. The collected data was analyzed by descriptive statistics, t-test and one-way ANONA. Accordingly, the study reported the demographic information of the respondents, including their gender, age and study level ; revealed the four categories of Chinese language learning strategies that those Thai students used “frequently” in their learning, including learning Chinese by media, by communication, self-learning and class learning ; and also found that female students used the Chinese language learning strategies more than the male students ; the intermediate level students used more strategies than those pre-intermediate level students.
The Economic Impact of Reducing Non-Performing Loans

Non-performing loans (NPLs) are a burden for both lender and borrower; they contract credit supply, distort allocation of credit, worsen market confidence and slow economic growth. So what is the best way to deal with them? This paper compares three different scenarios: actively reducing NPLs, waiting until fast growth of new loans renders the NPL problem obsolete, or doing nothing. We find that reducing NPLs has an unambiguously positive medium-term impact on the economy. And while countries that experience an influx of fresh credit grow the fastest, the economies that actively seek to resolve NPLs do comparably well. When the NPL problem is ignored, economic performance suffers.
Variation in stickleback head morphology associated with parasite infection

Dingemanse, N. J., Oosterhof, C. , Van Der Plas, F. , Barber, I. (2009). Variation in stickleback head morphology associated with parasite infection. Biological Journal of the Linnean Society, 96, (4), 759-768. Sponsorship: Netherlands Organization for Scientific Research; Research Council of Norway IMPF: 02.04 RONO: 00
How youth in transitional housing perceive the independent living program and aftercare services at Cameron Hill

This qualitative study examined the perspectives of emancipated youth who qualified to participate in Cameron Hill's transitional housing aftercare program in San Bernardino, California. Data was collected via short, face-to-face interviews on-site with all eight residents. The findings indicated that despite participants' perceived shortcomings of the services at Cameron Hill, all eight residents were able to verbalize a specific life plan once they exit aftercare, and more than half named specific college majors they plan to pursue. Implications for social work practice, policy and research include educating foster youth about after care services years before they reach the age of emancipation. Further implications include the necessity for periodic evaluative interviews with transitional housing participants by non-aftercare social workers to assess and report on the level of housing quality, and to substantiate that a maximum level of empowerment-based services are being provided in a manner that embraces client dignity.
Distributed practice in classroom inquiry science learning

ABSTRACT This study is inspired by laboratory studies demonstrating that distributing study sessions over time better supports learning and retention than clustering sessions. We compare two implementations of a multi-day inquiry science unit: in the clustered instruction condition, students completed an inquiry unit in five consecutive class periods. In the distributed instruction condition, students completed one activity per week for five weeks. Both conditions resulted in significant and similar gains in understanding and retention overall. Students’ self-directed revisits to previously studied materials differed by condition, with students in the clustered condition tending to visit materials studied on previous days. These distal revisits explained variance in delayed post-test scores as an interaction effect with condition. Students in the clustered condition who revisited distal materials tended to score higher on the delayed post-test, whereas those in the distributed condition who did so tended to score lower. Our findings illustrate the complexity of realising laboratory findings in classrooms under real-world conditions.
MARKET ORIENTATION AND ENTREPRENEURIAL EFFECT OF WINEMAKERS

The method of interviews was used to conduct a case study whose objective was to determine the market orientation and entrepreneurial effect of four winemakers in Osijek-Baranja and Vukovar-Srijem Counties. The study showed that the four interviewed winemakers did not have a marketing orientation in the sense of the marketing budget and capacity or in the sense of market orientation. Even though the winemakers are aware of the importance of using marketing in the modern world, their inadequate knowledge of marketing and the absence of a marketing department make them mostly sales-oriented. If the winemakers wish to be competitive in the Croatian and international markets and compete against European winemakers, they must increase their market orientation and turn their sales orientation into marketing.
The Valuation of Interest Rate Swap with Bilateral Counterparty Risk

This paper presents an analytical model for valuing interest rate swaps, subject to bilateral counterparty credit risk. The counterparty defaults are modeled by the reduced-form model as the first jump of a time-inhomogeneous Poisson process. All quantities modeled are market-observable. The closed-form solution gives us a better understanding of the impact of the credit asymmetry on swap value, credit value adjustment, swap rate and swap spread.
Where does the time go? An academic workload case study at an Australian university

ABSTRACT Many universities divide their academic workloads according to a model of 40 per cent teaching, 40 per cent research, and 20 per cent administration and service. Increasing demands on academic time, however, make this balance hard to achieve, since teaching and administration frequently impinge on research time. Moreover, regular academic activities may not fit into the workloaded time available. This paper presents evidence from a 3 month case study of a single academic in an Arts department at a research-intensive Australian university who has a 40:40:20 workload and is encouraged to publish an average of two high quality journal articles a year. Based on the study’s findings, a more realistic workload model would be 40 per cent teaching, 25 per cent research and 35 per cent administration, with an adjustment in the amount of quality research outputs expected. A new model should also balance face-to-face teaching time with teaching-related activities.
Hypervirulent carbapenem-resistant Klebsiella pneumoniae causing highly fatal meningitis in southeastern China

Klebsiella pneumoniae (K. pneumoniae) is one of the most common causes of bacterial meningitis worldwide. The purpose of this study was to investigate the clinical and microbiological characteristics of K. pneumoniae meningitis, as well as the association of antimicrobial resistance, virulence, and patient prognosis. The clinical data of patients with K. pneumoniae meningitis from 2014 to 2020 in a tertiary teaching hospital were retrospectively evaluated. Antimicrobial susceptibility profiles were performed by the agar dilution method and broth microdilution method. The isolates were detected for virulence-related genes, resistance genes, capsular serotypes, and molecular subtypes. A total of 36 individuals with K. pneumoniae meningitis were included in the study, accounting for 11.3% (36/318) of all cases of bacterial meningitis. Of the 36 available isolates, K1, K47, and K64 were tied for the most frequent serotype (7/36, 19.4%). MLST analysis classified the isolates into 14 distinct STs, with ST11 being the most common (14/36, 38.9%). Carbapenem resistance was found in 44.4% (16/36) of the isolates, while hypervirulent K. pneumoniae (HvKP) was found in 66.7% (24/36) of the isolates. The isolates of hypervirulent carbapenem-resistant K. pneumoniae (Hv-CRKP) were then confirmed to be 36.1% (13/36). Importantly, individuals with meningitis caused by Hv-CRKP had a statistically significant higher mortality than the other patients (92.3%, 12/13 vs. 56.5%, 13/23; P < 0.05). The high percentage and fatality of K. pneumoniae-caused meningitis, particularly in Hv-CRKP strains, should be of significant concern. More effective surveillance and treatment solutions will be required in future to avoid the spread of these life-threatening infections over the world.
Qclin;Qmsr for several small detectors and for two linear accelerators using Monte Carlo simulations

clin;fmsr Qclin;Qmsr was evaluated. Moreover, a MC analysis of the parameters that influence the change of k f clin;fmsr Qclin;Qmsr as a function of field dimension was performed. A detailed analysis of uncertainties related to the measurements of the field specific output factor and to the Monte Carlo calculation of k f clin;fmsr Qclin;Qmsr was done. Results: The simulations demonstrated that the correction factor k f clin;fmsr Qclin;Qmsr can be considered inde- pendent from the quality beam factor Q in the range 0.68 60.01 for all the detectors analyzed. The k f clin;fmsr Qclin;Qmsr of PTW 60012 and EDGE diodes can be assumed dependent only on the field size, for fields down to 0.5 � 0.5 cm 2 . The microLion, and the microchambers, instead, must be used with some caution because they exhibit a slight dependence on the radial FWHM of the electron source, and therefore, a correction factor only dependent on field size can be used for fields � 0.75 � 0.75 and � 1.0 � 1.0 cm 2 , respectively. The analysis of uncertainties gave an estimate of uncertainty for the 0.5 � 0.5 cm 2 field of about 0.7% (1r )f ork f clin;fmsr Qclin;Qmsr factor and of about 1.0% (1r) for the field output factor, X f clin;f msr Qclin;Qmsr , of diodes, microchambers, and microLion. Conclusions: Stereotactic diodes with the appropriate k f clin;fmsr Qclin;Qmsr are recommended for determining X f clin;f msr Qclin;Qmsr of small photon beams. V C 2011 American Association of Physicists in Medicine.
Impactful publications of critical care medicine research in China: A bibliometric analysis

Background Although publications have been increasing rapidly, the research quality has yet to improve in the field of critical care medicine (CCM) in China. This study aimed at investigating the current status of and the influential factors for impactful publications in CCM research by Chinese authors. Methods Publications by authors with the affiliation of critical care medicine department or intensive care unit (CCM/ICU) in Chinese as well as American hospitals from 2001 to 2020 were retrieved from the Web of Science Core Collection (WoSCC) database for this bibliometric analysis. Moreover, statistical analyses to test factors affecting impactful publications by Chinese authors were performed. Results Of 13,487 articles retrieved by this search strategy, 6,622 were published by Chinese authors as first or corresponding authors. The annual publications by Chinese authors have been rapidly increasing from 2001 to 2020, and so did the citations to these articles. However, the proportion in the world of publications by Chinese authors was much less than that by American authors each year [M (IQR): 1.85 (9.592) vs. 27.77 (7.3), p < 0.001]. In addition, impactful articles were significantly less published by Chinese than by American authors, including articles either in journals with a high impact factor (p < 0.001) or in the top 10 journals in the field of CCM (5.4 vs 13.4%, p < 0.001), and articles with high citation frequency as well (p < 0.001). Moreover, the percentage of impactful publications by Chinese authors was likely associated with academic background and regions of the author's affiliations, funds support, public health events of COVID-19, and collaboration between authors. Conclusion Our results demonstrated that CCM research in China grew rapidly in the recent 20 years. However, the impactful publications remained limited, largely owing to the shortage of comprehensive research training, inactive collaboration, and underfunded CCM research.
The determinants of self-employment of black entrepreneurs in Ladysmith, KwaZulu-Natal

Orientation: The study seeks to provide an in-depth understanding of the determinants of self-employment within the context of black entrepreneurs. Research purpose: Given the unprecedented increase in self-employment, because of reduction in formal job opportunities in South Africa, the primary objective of this study was to probe the determinants of self-employment relative to being a wage earner among black people in Ladysmith. Motivation for the study: The study investigated the determinants of self-employment through the use of the logistic modelling technique as its primary focus. Research design, approach and method: The study employed both probability and non-probability sampling techniques. The convenience and snowball sampling methods were used to locate all targeted entrepreneurs while the systematic random sampling method was used to locate the wage earners. A total of 450 respondents were interviewed through face-to-face administered questionnaires. The data collected was statistically analysed, using SPSS to acquire the descriptive statistics and EViews software to obtain logistic regression results and the related diagnostic tests (Hosmer–Lemeshow test and Wald statistics). Main findings: All the variables, except for household income per capita, were statistically significant, indicating that they were plausible predictors of self-employment. Practical/managerial implications: Financial life skills and entrepreneurship training ought to be embedded in all learning programmes at the primary, secondary and tertiary levels. In particular, all young persons through whatever skills development programme – including those offered at in-service and/or work-related training – they are given access to, must be taught to develop an entrepreneurial mind-set. Contribution/value-add: A combination of skills development and guidance-based access to finance to targeted groups involving women, the young adults at schools and tertiary institutions and entrepreneurial adults are likely to reap significant outcomes.
An evaluation of the impact of an integrated multidisciplinary therapeutic team on the mental health and well-being of young people in an educational setting

ABSTRACT The mental health and well-being of young people and the accessibility of appropriate support is an increasingly salient matter in society. As mental health difficulties can disrupt education, providing pastoral care within education is mandatory within the UK, with established pathways for schools to seek specialist support from external agencies. This paper reviews services provided by a therapeutic team that is integrated within an Educational Trust, in the UK. The Trust comprises of a Social, Emotional and Mental Health (SEMH) secondary academy and an Alternative Provision (AP) academy (which includes Key Stage 3, Key stage 4 and a medical provision). A mixed methods design is used to evaluate the impact of the therapeutic team by considering; the accessibility of therapeutic support, targeted interventions for groups and individuals, and feedback from service users. Strengths and limitations of current methods used to measure the impact of the therapeutic team are discussed, including implications for subsequent academic years. The application of an integrated therapeutic team model to other educational settings is considered.
The cult of personality as an important feature of totalitarian propaganda

Ustrój totalitarny, w przeciwieństwie do systemu demokracji przedstawicielskiej (opartego na bezosobowych procedurach), jest mocno związany z pozycją przywódcy,. Stąd też kult jednostki nie tylko służy utrwaleniu władzy totalitarnego przywódcy, ale przyczynia się do legitymizacji całego systemu politycznego. W artykule zaprezentowano propagowanie i tworzenie kultu jednostki wokół trzech przywódców państw totalitarnych: Stalina, Mussoliniego i Hitlera.
ENTERTAINMENT GRATIFICATION, INFORMATIVE GRATIFICATION, WEB IRRITATION AND SELF-EFFICACY AS MOTIVATIONAL FACTORS TO ONLINE SHOPPING INTENTION

The Internet technology and pervasive computing has provided consumers with privileges to shop online. In addition, the Industry 4.0 agenda has placed the business web and the social web as the ecosystem domains, which explains why online shopping is a norm today. While many studies have been conducted to investigate the determinants of consumers’ intention to use online shopping, mixed results are always found, especially when the business take unique approaches for their digital presence. Besides, even though self-efficacy has been studied extensively in information system research, technological complexity has always given a challenge to consumers’ computing ability. Building on the Use and Gratification Theory (GTA) and the Social Cognitive Theory (SCT), this study aims to examine the relationships between entertainment gratification, informative gratification, web irritation and self-efficacy towards individual’s intention to use online shopping. Using the quantitative survey approach, data was collected from 217 young executives who are frequent online shoppers. The results of the structural equation modeling suggest entertainment gratification, informative gratification and self-efficacy are the factors that derive consumers’ intention to shop online. On the other hand, web irritation has no significant relationship with online shopping intention. The findings do not only capture the importance for web retailers to provide adequate buying-selling information and to provide the element of fun to the shopping portals, but it also suggests for the web retailers to provide less complicated online shopping features since consumers’ ability to use the technology determines purchase behavior. The findings serve as future research agenda. Keywords: online business, Use and Gratification Theory (GTA), Social Cognitive Theory (SCT), entertainment gratification, informative gratification, web irritation, self-efficacy
The Relationship between Interpersonal Abuse and Depersonalization Experiences

Depersonalization is a common psychiatric symptom that remains understudied amongst Latino/Hispanic populations. There is evidence that depersonalization is relatively common among persons with a history of psychological trauma and interpersonal abuse. In this study we compared the frequency of depersonalization experiences in two group of adults: 40 patients with a history of interpersonal abuse (HIA), and a control community group (CCG) of 40 adults without HIA. Results indicated that the patients with HIA showed significantly higher scores on the Cambridge Depersonalization Scale (CDS). Moreover, 25% of the HIA group (vs. none of the CCG) obtained a score (>70) in the CDS that suggests the presence of a Depersonalization Disorder. Moreover, as the frequency of abusive experiences increased, the scores on the CDS concomitantly increased, in many cases to clinical levels. Consistent with other international studies, we found a significant correlation between depersonalization and depressive symptoms as measured with the Patient Health Questionnaire-9. Results are consistent with the assertion that interpersonal abuse is intricately related with depersonalization and dissociative symptoms.
On the Nature of Corporate Sustainability

Scholarly and managerial interest in corporate sustainability has increased significantly in the past two decades. However, the field is increasingly criticized for failing to effectively contribute to sustainable development and for its limited impact on managerial practice. We argue that this criticism arises due to a fundamental ambiguity around the nature of corporate sustainability. To address the lack of concept clarity, we conduct a systematic literature review and identify 33 definitions of corporate sustainability. Adopting the Aristotelian perspective on definitions, one that promotes reducing concepts to their essential attributes, we discern four components of corporate sustainability. These components offer a conceptual space of inquiry that, while being parsimonious, offers nuanced understanding of the dimensions along which definitions of corporate sustainability differ. We discuss implications for research and practice and outline several recommendations for how advancements in construct clarity may lead to a better scholarly understanding of corporate sustainability.
Mattering and Self-Compassion as Mediators of the Relationship between Attachment Style and Marital Satisfaction among Young Spouses in Kerala: A Mixed Method Study

This explanatory sequential mixed method study examined how self-compassion and mattering mediated the relationship between attachment style and marital satisfaction in a sample of 397 married spouses between the ages of 20 to 40 in Kerala. The instruments used to measure four variables of this cross sectional quantitative study were ECR-R, Self-Compassion short form, Mattering 4-Items and ENRICH Marital Satisfaction scale. Results indicated that mattering mediated the relationship between attachment styles and marital sati sfaction among young spouses in Kerala. But self-compassion does not mediate the relationship between attachment style and marital satisfaction among young spouses in Kerala. The results suggest that mattering can enhance the marital satisfaction of anxious and avoidant attached spouses. In the multiple case study, conducted in-depth interviews often spouses who were selected based on the high scores on marital satisfaction. The results explained how mattering was an important experience in improving marital satisfaction with their anxious and avoidant attachment style. Themes generated from this study were; longing for presence, caring, partner support, communication, being responsible and respect. Moreover, this study suggests that mattering might provide a useful lens through which spouses are able to enhance their marital satisfaction.