Miracle-dz/UniFAR-FTUs huggingface dataset:
Extending Semantic Resolution via Automated Model Building: Applications

An extension of semantic resolution is proposed. It is also an extension of the set of support as it can be considered as a particular case of semantic resolution. It is proved sound and refutationally complete. The extension is based on our former method for model building. The approach uses constrained clauses (or c-clauses), i.e. couples [clause : constraint]. Two important new features are introduced with respect to semantic resolution. Firstly, the method builds its own (finite or infinite) models to guide the search or to stop it if the initial set of clauses is satisfiable. Secondly, instead of evaluating a clause in an interpretation it imposes conditions (coded in its rules) to force a c-clause not to be evaluated to true in the interpretation it builds. The extension is limited in this paper to binary resolution but generalizing it to nary-resolution should be straightforward. The prover implementing our method is an extension of OTTER and compares advantageously with it (if binary resolution is used in OTTER), both in the search space and in the proof lenght of a relevant non trivial example. Last but not least, model building is incremental. This feature is specially useful when dealing with large set of clauses.
An in vivo and in vitro investigation of the effect of Aloe vera gel ethanolic extract using animal model with diabetic foot ulcer

Aim: To examine the preventive effect of Aloe vera gel ethanolic extract using diabetic foot ulcer (DFUs) protocol in Wistar rats. Materials and Methods: Male Wistar rats were divided into untreated control (Group I), untreated DFUs (Group II), DFUs treated with A. vera gel ethanolic extract (Group III), DFUs treated with topical A. vera gel (Group IV), DFUs treated with A. vera gel ethanolic extract and topical A. vera gel (Group V). The rats in the treatment groups were daily administered the A. vera gel and ethanolic extract for 9 days. Fasting blood glucose levels and percentage of wound ulcer contraction were measured on day 3, 6, and 9. Statistical Analysis used: The results are expressed as a mean ± Standard Error Mean (SEM). Data were analyzed using one-way analysis of variance (ANOVA) after Newman–Keuls test. P < 0.05 were considered statistically significant in all cases. Results: Oral administration of A. vera gel ethanolic extract at a dose of 300 mg/kg body weight per day to diabetic rats for a period of 9 days resulted in a significant reduction in fasting blood glucose and a significant improvement in plasma insulin. Topical application of A. vera gel at a dose 30 mg/kg body weight per day to streptozotocin (STZ)-induced diabetic rats for a period of 9 days resulted in no change in blood glucose and plasma insulin. Oral administration as well as topical application of A. vera gel ethanolic extract and gel significantly reduced the blood glucose, improved the plasma insulin, and significantly increased DNA and glycosaminoglycans (GAGs) to improve the wound ulcer healing as well as the breaking strength on day 9. Conclusions: Present findings provide a scientific rationale for the use of A. vera gel ethanolic extract, and showed that the gel attenuated the diabetic foot wound in rats.
Applying quality assurance in real time to compliant long-term periodontal maintenance patients utilizing cost-effectiveness and cost utility.

BACKGROUND Little work has been done on quality assurance of long-term maintenance of periodontal therapy MATERIALS/METHODS A quality assurance model was applied to 80 patients (50 females, 30 males) with an average age of 64.3 years (SD. 8.83, range 45-91) and with 21.6 (SD. 2.65, range 16-26) maintenance years. The main elements were patients' expectations, objectives and patient-based outcomes, human and financial costs and treatment deviations. For cost-effectiveness, this group was compared with a control group of 25 patients with an average of 9.96 years not complying with maintenance therapy. RESULTS The patients' main expectations and reasons for seeking treatment were to save teeth and a desire for better oral health. The patients had a total tooth-year loss of 3.3%. 81.3% reported improved oral health. Total treatment discounted cost was €5842. The cost of buying an extra tooth year was €20.2. Patients reported anxiety of 4.6 (SD10.5, range 0-47) and discomfort of 11.8 (SD13.2 range 0-70) for the maintenance visits on the Visual Analogue Scale (VAS). Treatment deviations showed 3.8% extreme downhill patients, 6.3% with poor oral hygiene, 3.8% reported a worsening of their oral health, 3.8% had high anxiety whereas 5.0% experienced a high level of discomfort. CONCLUSION It is possible to apply a number of elements of a quality assurance measure to a patient population of compliant maintenance patients in real time. The results obtained compare well with previous internal and external studies. This model should be useful to patients and practitioners as well as for larger population-based studies.
Recyclable insulation material for HVDC cables in Global Energy Interconnection

Abstract With the development of modern power systems, especially that of the global energy internet, high-voltage, direct current (HVDC) cable power transmission will play an important role in the future. The key problem of HVDC cable power transmission is the need for novel cable insulation materials that have high performance, recyclability, and higher working temperature to replace traditional crosslinked polyethylene. This paper investigates the thermal and electrical properties of polypropylene (PP)/Al2O3 nanocomposites as a potential recyclable HVDC cable insulation material. The developed nanocomposites exhibit excellent thermal and electrical properties with the introduction of Al2O3 nanoparticles. Particularly, the space charge accumulation is greatly suppressed.
A comparative analysis on the effects of perceived enjoyment and perceived risk on hedonic/utilitarian smartphone applications

Although smartphone applications are widely adopted around the world, empirical studies that examine the user acceptance on different application types are still scarce. This paper empirically compares the effects of perceived enjoyment and perceived risk on hedonic and utilitarian smartphone applications. Our analyses show that perceived enjoyment is a stronger determinant of intention to use a hedonic smartphone application than a utilitarian application. Perceived risk has a significant negative influence on intention to use utilitarian smartphone applications, while it does not have a significant impact on intention to use hedonic applications. Surprisingly, perceived risk has an insignificant effect on perceived usefulness both in utilitarian and hedonic smartphone applications. This study is expected to help service providers in designing smartphone applications and make contributions to the research perspective on mobile computing adoption.
Sealing ability and bond strength of four contemporary adhesives to enamel and to dentine.

AIM To compare the shear bond strength and microleakage of four adhesive systems to the enamel and dentine of primary bovine teeth. METHODS 120 bovine primary mandibular incisors were collected and stored in an aqueous 1% chloramine solution at room temperature for no longer than 3 months after extraction (80 for shear bond testing and 40 for microleakage evaluation). The adhesives tested were Clearfil SE bond (SE), Adper Prompt L Pop (LP), Xeno III (XE), and Prime and Bond NT (PB). For shear bond strength testing the specimens were wet ground to 600 grit SiC paper to expose a flat enamel or dentine surface. After bonding and restoration with Dyract AP (DAP), the teeth were subjected to shear stress using a universal testing machine. For microleakage evaluation, facial class V cavities were prepared half in enamel and half in cementum. All cavities were restored with DAP. After thermocycling and immersion in 2% methylene blue, the dye penetration was evaluated under a stereomicroscope. STATISTICS All data were analysed by Chi-square tests or Fisher's tests when adapted in order to determine the significant differences between groups. Results were considered as significant for p < 0.05. Results were analysed with an ANOVA test and a Bonferroni's multiple comparison. The level of significance was p < 0.05. RESULTS Shear bond strength values (MPa,) ranged from: on enamel 11.06 to 5.34, in decreasing order SE, LP, XE and PB and on dentine 10.47 to 4.74, in decreasing order SE, XE, LP and PB. Differences in bond strengths between the four systems on enamel and dentine were all statistically significant, excepted for XE vs LP (shear bond at dentine). No significant differences were recorded in the microleakage degree between the four adhesive systems on enamel and on dentine (p > 0.0.5). CONCLUSIONS The highest shear bond strength was achieved by Clearfil SE bond and the lowest by Prime and Bond NT. There was no significant difference concerning the sealing ability of the four adhesive systems.
Idiom, syntax, and advanced theory of mind abilities in children with autism spectrum disorders.

PURPOSE When researchers investigate figurative language abilities (including idioms) in children with autism spectrum disorder (ASD), syntax abilities may be more important than once considered. In addition, there are limitations to the overreliance on false-belief tasks to measure theory of mind (TOM) abilities. In the current study, the authors investigated idiom, syntax, and advanced TOM abilities in children with ASD compared to children with typical development (TD). METHOD Twenty-six children with ASD, ages 5 to 12 years, were compared to individuals in each of 2 control groups of children with TD: 1 matched on chronological age and nonverbal IQ, and 1 matched on syntax age-equivalence and raw scores. Idiom comprehension, syntax, vocabulary, and 2 measures of advanced TOM abilities were examined. RESULTS Although children with ASD performed worse on idiom comprehension compared to the age-matched group with TD, they exhibited comparable idiom performance to the syntax-matched group with TD. Advanced TOM abilities were related to idiom comprehension for children with ASD, but not for children with TD, above the contributions of basic language abilities. CONCLUSION Syntax abilities should be used as a matching variable when examining figurative or other late-developing language skills.
The effects of generational differences on use continuance of Twitter: an investigation of digital natives and digital immigrants

This study links generational literature and information systems (IS) research by investigating the effect of generational differences on the usage of Twitter. Using theories of technology acceptance and IS continuance, we propose a research model to explore whether digital natives (DN) and digital immigrants (DI) perceive technology differently, and whether any such differences affect Twitter use-continuance behaviour. Structural equation modelling analysis of survey data from 385 users reveals that DN and DI perceive Twitter differently, providing partial support for the propositions of the model. The findings emphasise the role of generation in explaining users' continuance behaviour, with DN experiencing more social pressure to use Twitter, and finding it easier to use – but less useful – than do DI. This study has important implications for research in that it contributes to the debate on generational differences and to the IS continuance literature.
Disordered Eating Behavior in Individuals With Diabetes

This review was conducted to examine disordered eating behavior (DEB), including diagnosable eating disorders, in the context of diabetes. The use of criteria and assessment methods standardized on the healthy population is examined. Also considered is the need for modified assessment methods and classification of this behavior when evaluating patients with diabetes. Future directions for research are suggested. Literature published from 1980 to present was examined using “eating disorders and diabetes” as search terms. Over 100 peer-reviewed articles were identified via PubMed, Cochrane Reviews, PsycInfo, etc. Bibliographies from articles were reviewed to ascertain additional publications. Cited articles include reviews and individual studies indicating experimental design (self as control, healthy control, or population estimate), assessment methods (self-report, questionnaires, and structured/clinical interviews), and use of standard diagnostic criteria. Not all relevant articles could be included. However, some older references (published before 2000) are included because they provide foundation literature from which our understanding of DEB in the population of patients with diabetes derives and/or are validation studies for measurement methods. Additional references pertinent to hypothesized mechanisms are cited. Most studies, including those in a 2005 meta-analysis ( N = 8 case-controlled studies), tend to focus on young women with type 1 diabetes, usually between ages 15–35 years, when weight concerns, DEB, and eating disorders are at a high prevalence (1). Recent studies have included type 2 diabetic patients, minorities, and male patients (2–9). The diagnosis of diabetes has been associated with elevated rates of DEB and eating disorders, particularly when insulin omission is considered purging (1,8–11). Diagnosed eating disorders and subclinical DEB have been associated with poorer health in individuals with type 1 diabetes. Early reports found prevalence rates of the co-occurrence of diabetes and DEB to be low and accompanied by psychiatric comorbidity and weight …
Working conditions under multiple exposures: A cross-sectional study of private sector administrative workers.

BACKGROUND Office workers are increasingly exposed to physical and psychosocial risk factors. OBJECTIVE To assess the association between environmental, physical and organizational working conditions and the physical and psychosocial well-being of a sample of private sector office workers. METHODS Musculoskeletal pain was collected from a body map and the Disabilities of the Arms, Shoulders and Hands questionnaire. The short version of the Copenhagen Psychosocial Questionnaire enabled collecting information on six job related satisfaction and dissatisfaction subscales. A checklist for ergonomics in computer work guided the analysis of ergonomic factors and measurements were taken to characterize environmental conditions. Association between exposures and outcomes was calculated using IBM SPSS Statistics 20 software. RESULTS Significant moderate positive association was found between dissatisfaction with job psychological demands and musculoskeletal pain in the upper body (0.40; p= 0.05), as well as between postural ergonomic mismatches and dissatisfaction with job insecurity towards the future (0.42; p= 0.04). A significant moderate negative association (-0,47; p= 0.02) was found as well between satisfaction with job social support and with leadership quality and location of the work station in an open-plan office as opposed to smaller office rooms. CONCLUSIONS The results show how raising awareness of the risk factors encountered in contemporary office work is still necessary to promote widespread improvement of working conditions, from both a physical and a psychosocial perspective.
[Corneal riboflavin/UV-A collagen cross-linking (CXL) in keratoconus: two-year results].

BACKGROUND Photochemical collagen cross-linking with riboflavin and UV-A radiation (CXL) is reported to strengthen the cornea in keratoconus. This retrospective longitudinal study analyses the outcomes 2 years after CXL. METHODS 46 eyes of 45 patients with keratoconus stadium 1 to 3 with disease progression confirmed by topography or patient history underwent CXL after corneal abrasion. Follow-up over 2 years included biomicroscopy, visual acuity, topography, pachymetry, and endothelial cell count. Changes were analysed with paired Student's t test or Wilcoxon signed-rank test. RESULTS All patients showed initial haze (maximum 2 + ) and increase of epithelial surface irregularity resulting in temporarily reduced vision, but this resolved within 3 months. Medium visual acuity (logMAR) improved from 0.29 to 0.20 (p = 0.019, 12 months postop) or to 0.24 (p = 0.200; 24 months postop). This corresponds to an improvement (≧ 1 line) in 51 % of eyes, a loss of vision in 27 %. Mean maximum radius of curvature was reduced by 1.24 diopters (D) (95 % confidence interval 0.05 - 2.43; p = 0.042) in the first year, and reduced by 1.23 D (0.42 - 2.05; p = 0.004) at 2 years after CXL. Mean pachymetry showed a significant reduction of 23 µm (p = 0.0004, 1 year postop), endothelial cell count showed no significant change. CONCLUSION In spite of a temporary reduction in vision, long-term outcome showed recovery or increase in visual acuity in the majority of eyes. Topography data indicate a stabilisation of keratoconus after CXL.
Endophytic microbial diversity of the halophyte Arthrocnemum macrostachyum across plant compartments.

In this study, the microbial community structures of the endosphere of the halophyte Arthrocnemum macrostachyum were evaluated from two locations in Mallorca, Spain, focusing on three plant compartments (roots, green and red stems) compared to the rhizospheric soil where the plants grew. The physicochemical parameters of the rhizospheric soils differed between locations, and the soils were characterized by different microbial community structures. Accordingly, the endophytic community composition, mainly composed of putatively halophilic organisms, was highly influenced by the rhizospheric soil microbiota, as revealed by the co-occurrence of the major endophytic taxa in the endosphere and the rizospheric soils. Moreover, the reduction of diversity from the endorhizosphere towards the red leaves may support the fact that part of colonization of the plant by bacteria could have an origin in the rhizospheric soils through the roots and subsequent migration to the aerial parts of the plant. Finally, there were certain relevant ubiquitous taxa, such as Chromohalobacter canadensis, Rudaea cellulosilytica (never reported before as endophytic), Psychrobacter sp. , Bradyrhizobium sp. and Halomonas sp. , that, due their moderate halophilic nature, seemed to find an optimal environment inside the plants. Some of these relevant endophytes were not always detectable in their respective soils, and were probably part of the soils' rare biosphere, which would gain preponderance in a favorable endophytic environment.
Evolution of the ART approach: highlights and achievements

ABSTRACT Atraumatic Restorative Treatment (ART) was initiated in the mid-eighties in Tanzania in response to an inappropriately functioning community oral health programme that was based on western health care models and western technology. The approach has evolved to its present standing as an effective minimal intervention approach mainly because the originators anticipated the great potential of ART to alleviate inequality in oral health care, and because they recognised the need to carry out research to investigate its effectiveness and applicability. Twenty-five years later, ART was accepted by the World Health Organisation (1994) and the FDI World Dental Federation (2002). It is included in textbooks on cariology, restorative dentistry and minimal intervention dentistry. It is being systematically introduced into public oral health service systems in a number of low- and middle income countries. Private practitioners use it. Many publications related to aspects of ART have been published and many more will follow. To achieve quality results with ART one has to attend well-conducted and sufficiently long training courses, preferably in combination with other caries preventive strategies. ART should, therefore, not be considered in isolation and must be part of an evidence-based approach to oral health with a strong foundation based on prevention.
THE RELATION OF PERSONAL CHARACTERISTICS AND BRAIN DIMORPHISM OF WOMEN TO MASCULINE/FEMININE MEN FACE PREFERENCE

The possible connection among women personality traits, their masculinity (measured by the ratio 2D:4D), and preference of masculine/feminine male's face image is explored on the research sample of 288 women (M=21.23y, SD=6.135). Personality Inventory KUD has been used to assess their personality traits: dominance/submissiveness, rationality/sensuality, and extraversion/introversion. Results have shown that there is a connection among the personality traits, 2D:4D and preference of men’s face. More masculine women prefer masculine male face. The more feminine is a female, the more are her personality traits accentuated, the less straightforward is her preference of the man’s face type. Women who are neither feminine nor masculine prefer feminine male face.
Variation of milk coagulation properties, cheese yield, and nutrients recovery in curd of cows of different breeds before, during and after transhumance to highland summer pastures

This paper aimed at evaluating the effect of summer transhumance to mountain pastures of dairy cows of different breeds on cheese-making ability of milk. Data were from 649 dairy cows of specialized (Holstein Friesian and Brown Swiss) dual purpose (Simmental) and local (mostly Rendena and Alpine Grey) breeds. The Fourier-Transform Infra-Red Spectra (FTIRS) of their milk samples were collected before and after transhumance in 109 permanent dairy farms, and during transhumance in 14 summer farms (with multi-breeds herds) of the Trento Province, north-eastern Italy. A variety of 18 traits describing milk coagulation, curd firming, cheese yield and nutrients recovery in curd/loss in whey were predicted on the basis of FTIRS collected at the individual cow level. Moving the cows to summer farms improved curd firming traits but reduced cheese yields because of an increase of water and fat lost in the whey. During summer grazing, most of cheese-making traits improved, often non-linearly. The milk from summer farms supplementing cows with more concentrates showed better curd firming and cheese yield, because of lower fat lost in the whey. The breed of cows affected almost all the traits with a worst cheese-making ability for milk samples of Holsteins through all the trial, and interacted with concentrate supplementation because increasing compound feed tended to improve cheese-making traits for all breed, with the exception of local breeds for coagulation time and of Brown Swiss for curd firming time. In general, summer transhumance caused a favourable effect on cheese-making aptitude of milk, even though with some difference according to parity, initial days in milk, breed and concentrate supplementation of cows.
A Flexible Shallow Approach to Text Generation

In order to support the ecien t development of NL generation systems, two orthogonal methods are currently pursued with emphasis: (1) reusable, general, and linguistically motivated surface realization components, and (2) simple, task-oriented template-based techniques. In this paper we argue that, from an application-oriented perspective, the benets of both are still limited. In order to improve this situation, we suggest and evaluate shallow generation methods associated with increased exibilit y. We advise a close connection between domain-motivated and linguistic ontologies that supports the quick adaptation to new tasks and domains, rather than the reuse of general resources. Our method is especially designed for generating reports with limited linguistic variations.