Miracle-dz/UniFAR-FTUs huggingface dataset:
Automated Theorem Proving for Quality-checking Medical Guidelines

Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. Previously we have shown that these requirements can be verified using interactive theorem proving techniques [HLB04]. In this paper, we investigate how this approach can be mapped to the facilities of a resolution-based theorem prover, otter, and a complementary program that searches for finite models of first-order statements, mace-2. It is shown that the reasoning that is required for checking the quality of a guideline can be mapped to such fully automated theorem-proving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way.
EFFECT OF MINERAL AND BIO-FERTILIZATION ON PRODUCTIVITY OF SUGAR BEET

Tow field experiments were conducted during 2008/2009 and 2009/2010 seasons at Sakha Agricultural Research Station , Kafer El-Sheikh, Governorate, Egypt, to study the effect of phosphorus treatments: 30 kg P2O5 and 300 and 600g/fed of phosphorin , Bucillus sp, ( phosphate dissolving bacteria ) and nitrogen treatments : ( 100 kg N, Azotobacter sp +60 or 80 kg N/fed, Azospirillum sp + 60 or 80 kg N/fed, Azoto. + Azosp. + 60 or 80 kg N/fed on yield and quality traits of sugar beet. A split plot design with four replications was used with P treatments in the main plots and N treatments in the sub plots. Results revealed that application of 30 kg P2O5 produced the highest root fresh weight, plant dry weight, LAI, yields of roots, sugar and tops and improved juice quality traits in terms of TSS%, sucrose%, purity%, and recoverable sugar %, followed by phosphorin at the rate of 600g and 300 g/fed in a descending order. On the other hand biophosphatic fertilizer decreased sucrose loss to molasses. Application of 100 kg mineral N/fed produced the highest growth traits followed by Azot. + Azosp. with 80 kgN/fed. The highest values of TSS%, sucrose%, and recoverable sugar resulted from either Azoto. or Azosp. + 60kgN/fed. Increasing N rates from 60 to 80 kg/fed in combination with N fixing bacteria depressed beet quality and increased impurities in beet roots. The highest root and top yields resulted from 100 kg N/fed, while sugar yield was highest with the combination of Azto. + Azosp. With 60 or 80 kg N /fed followed by 100 kg N/fed.
Atmospheric nucleation : from molecular to global scale ( ATMNUCLE )

Atmospheric aerosol particles and trace gases affect the quality of our life in many different ways. In polluted urban environments they have adverse effects on human health and deteriorate visibility (e.g. Nel, 2005; Pope and Dockery, 2006), whereas on regional and global scales they have a potential to change climate patterns and affect the hydrological cycle (Lohmann and Feichter, 2005; IPCC, 2007). Aerosol particles also influence the radiation intensity distribution that reaches the earth surface, thus having a direct influence on the terrestrial carbon sink (Gu et al. 2002). Better understanding of the various effects in the atmosphere requires detailed information on how different sources (including those related to the biosphere) and atmospheric transformation processes modify the properties of aerosol particles and the concentrations of trace gases. Trace gases and atmospheric aerosols are tightly connected with each other via physical, chemical, meteorological and biological processes occurring in the atmosphere and at the atmosphere-biosphere interface. Human actions, such as emission policy, forest management and land use change, as well as various natural feedback mechanisms involving the biosphere and atmosphere, have substantial impacts on the complex couplings between atmospheric aerosols, trace gases, air quality and climate (Brasseur and Roeckner, 2005; Dentener et al., 2006).
Solving Vision Problems via Filtering Supplementary Material

in which we define the sub-matrices of H and z) similarly to before. Revaud et al. [4] use a weighted combination of two data terms d(u) based on (S2) and (S4). 9is combination can be understood as forming new H and z) by stacking the ones in (S2) and (S4). When the two data terms are combined using equal weights, the inverse covariance matrix H∗H becomes Z = [ ∑Z∗/Z∗/ ∑Z∗/Z∗1 ∑Z∗/Z∗1 ∑Z∗1Z∗1 ] , (S5)
WS 3.5-6-76 corr

Although numerous ultraand microfiltration dead-end plants with capillary membranes are already operative, some phenomena are still unexplained. Therefore, the fundamental processes taking place inside a capillary membrane were observed. Initially, the flow field depending on axial and radial position inside the capillary was determined. Then, particle transport and deposition were theoretically studied by determination of particle trajectories considering influences of particle concentration and walleffects on hydrodynamics, DLVO-forces, buoyancy, gravitation, diffusion and interparticular forces. Following these calculations, incoming particles with a diameter smaller than the so-called “limiting diameter”, which depends on operational and geometrical boundary conditions, due to depositions are widely and evenly distributed. Larger particles do not deposit until they are at a certain distance from the water inlet. The larger the particle size, the longer the distance. If the particle is larger than the so-called “corkforming diameter” then the particles are transported to the dead-end of the capillary which may cause a clogging of the capillary. This “corkforming diameter” depends on operational as well on geometrical boundary conditions. These theoretical predictions are confirmed by experimental results from investigations with spherical latex and non-spherical walnut particles. To avoid this clogging, the deposition of the particles should be evenly distributed, which means that the “corkforming diameter” should be as large as possible. That goal could be achieved by operating the membrane plant with short and/or wide capillaries. However, a small permeate flux, a small membrane resistance and/or a small membrane surface potential succeed as well. Another possibility could be to operate the capillaries with a very small cross flow.
Investigating Power and Limitations of Ensemble Motif Finders using CE3 Metapredictor∗

Ensemble methods represent a relatively new approach to motif discovery that combines the results returned by “third-party” finders with the aim of achieving a better accuracy than that obtained by the single tools. Besides the choice of the external finders, another crucial element for the success of an ensemble method is the particular strategy adopted to combine the finders’ results, a.k. a. learning function. Results appeared in the literature seem to suggest that ensemble methods can indeed provide noticeable improvements over the quality of the most popular tools available for motif discovery. With the goal of better understanding potentials and limitations of ensemble methods, we developed a general software architecture whose major feature is the flexibility with respect the crucial aspects of ensemble methods mentioned above. The architecture provides facilities for the easy addition of virtually any third-party tool for motif discovery whose code is publicly available, and for the definition of new learning functions. We present a prototype implementation of our architecture, called CE3 (Customizable and Easily Extensible Ensemble). Using CE3, and available ensemble methods, we performed experiments with three well-known datasets. The results presented here are varied. From the one hand, they confirm that ensemble methods cannot be just considered as the universal remedy to the difficulty of “in-silico” motif discovery. On the other hand, we found some encouraging regularities that may help to find a general set up for CE3 (and other ensemble methods as well) able to guarantee substantial improvements over single finders in a systematic way.
Numerical investigation of nanoporous evaporation using direct simulation Monte Carlo

Evaporation is an effective cooling mechanism widely exploited in the thermal management of modern electronic devices, with a growing interest in the evaporation process in thin film based nanoporous membrane technologies. At such scales, classical approaches fail and one requires solutions of the Boltzmann equation; these are obtained here using the direct simulation Monte Carlo method. In particular, the evaporation from representative nanoporous meniscus shapes, corresponding to different operating conditions, has been investigated. Evaporation rates for the different conditions have been characterized as a function of a wide range of Knudsen numbers and free-stream Mach numbers. Additionally, the influence of porosity and evaporation coefficient on the nanoporous evaporation rates has been assessed. Investigations have also been carried out to consider cases where the meniscus has sunk within the pore, and cooling efficacy compared with cases where the meniscus is pinned to the top of the pore. This work demonstrates that the net evaporative mass flux is ultimately determined by the interplay between various physical effects, whose dominance is quantified by the Knudsen number, porosity, evaporation coefficient and the meniscus shape. This work thus provides useful information for the design of nanoporous membrane-based cooling devices.
PeRiodontal Treatment to Eliminate Minority Inequality and Rural Disparities in Stroke (PREMIERS): A Multicenter, Randomized, Controlled Study.

Background Stroke remains more common in the "buckle" of the stroke belt, and disproportionately impacts African Americans. The reasons for this racial disparity are poorly understood and are not entirely explained by traditional stroke risk factors. The PeRiodontal treatment to Eliminate Minority InEquality and Rural disparities in Stroke (PREMIERS) study will evaluate the effect of periodontal treatment on recurrent vascular events and stroke risk factors among ischemic stroke and transient ischemic attack patients. Design Eligibility for the trial includes a non-disabling stroke confirmed by neuroimaging or Transient Ischemic Attack (TIA), being at least 18 years of age, having ≥ 5 natural teeth with ≥ 2 interproximal sites with ≥ 4 mm of clinical attachment loss and at least 2 sites with probing depth of ≥ 5 mm, and who are able to provide written informed consent. Within 90 days of the index event, patients are randomly assigned to intensive or initial standard cycle of supragingival mechanical scaling, polishing, and oral health instruction and followed for 1 year. The primary outcome is a composite of death, myocardial infarction and stroke or TIA. Secondary outcomes include A1C, fasting lipid profile, triglycerides, high sensitivity C-reactive protein, carotid intimal medial thickness, and blood pressure. A five year enrollment period followed by an addition one year of follow-up is planned.
Anonymiza on of directory-structured sensi ve data Anonymisering av katalogstrukturerad känslig data

Data anonymization is a relevant and important field within data privacy, which tries to find a good balance between utility and privacy in data. The field is especially relevant since the GDPR came into force, because the GDPR does not regulate anonymous data. This thesis focuses on anonymization of directory-structured data, which means data structured into a tree of directories. In the thesis, four of the most common models for anonymization of tabular data, k-anonymity, l-diversity, t-closeness and differential privacy, are adapted for anonymization of directory-structured data. This adaptation is done by creating three different approaches for anonymizing directory-structured data: SingleTable, DirectoryWise and RecursiveDirectoryWise. These models and approaches are compared and evaluated using five metrics and three attack scenarios. The results show that there is always a trade-off between utility and privacy when anonymizing data. Especially it was concluded that the differential privacy model when using the RecursiveDirectoryWise approach gives the highest privacy, but also the highest information loss. On the contrary, the k-anonymity model when using the SingleTable approach or the t-closeness model when using the DirectoryWise approach gives the lowest information loss, but also the lowest privacy. The differential privacy model and the RecursiveDirectoryWise approach were also shown to give best protection against the chosen attacks. Finally, it was concluded that the differential privacy model when using the RecursiveDirectoryWise approach, was the most suitable combination to use when trying to follow the GDPR when anonymizing directory-structured data.
Spatial Distribution of Electrokinetically Driven Flow Measured by Micro-PIV (An Evaluation of Electric Double Layer in Microchannel)

The effect of varying pH on electrokinetically driven flow has been investigated by an optical measurement system using fluorescent submicron particles. The objectives of the present study are to establish quantitative measurements of electroosmotic velocity and zeta-potential, and to apply a spatially averaged time-resolved particle tracking velocimetry (SAT-PTV) technique to particle stacking affected by pH gradient. SAT-PTV can detect an unsteady microchannel flow, eliminating the errors associated with Brownian motion without losing temporal resolution. A flow is driven by the electric field in a T-shaped microchannel that is comprised of a poly(dimethylsiloxane) (PDMS) chip and a fused silica cover glass. 500 nm diameter particles were included in buffer solutions. Electroosmotic velocity was obtained by subtracting particle electrophoretic velocity from the observed particle velocity, and the zeta-potential of particles and each wall was calculated by using electrophoretic and electroosmotic velocities, respectively. With increasing pH, electroosmotic velocity and the zeta-potential of glass and PDMS surface was increased due to deprotonation at each surface. Figure 1 depicts time evolution of an accumulation of submicron particles affected by pH gradient. The uniform concentration of submicron particles was observed at t = 0. On application of electric field, particles were moved toward the left hand side region, which is confirmed by velocity profiles of in the transverse direction detected by SAT-PTV, as shown in figure 2. At t = 7.8 s particles were accumulated along the interface between different pH buffer solutions. It is pointed out from these results that the electric potential may influence depletion or accumulation of submicron particles. (a) t = 0 sec (b) t = 7.8 sec position, x [μm] -150 -100 -50 0 50 100 150 T ra ns ve rs e ve lo ci ty , U EK D F [μ m /s ] -160 -140 -120 -100 -80 -60 -40 -20 0 20 40 60 t = 0.1 sec t = 7.8 sec Figure 1. Instantaneous images of flow field in the junction area at (a) t = 0 sec, (b) t = 7.8 sec with the 600 V. HEPES buffer solution (pH = 7.2) was injected into right hand side and Borate buffer solution (pH = 9.4) was injected into left hand side. Figure 2. Transverse velocities versus transverse location (x) at vertical location y = 150 μ m.
Anonymization in the Presence of Structural Knowledge

Collections of real-world data usually have implicit or explicit structural relations. For example, databases link records through foreign keys, and XML documents express associations between different values through syntax. Privacy preservation, until now, has focused either on data with a very simple structure, e.g. relational tables, or on data with very complex structure e.g. social network graphs, but has ignored intermediate cases, which are the most frequent in practice. In this work, we focus on tree structured data. Such data stem from various applications, even when the structure is not directly implied by the syntax, e.g. XML documents. A characteristic case is a database where information about a single person is scattered amongst different tables that are associated through foreign keys. We define k-anonymity, which provides protection against identity disclosure and we propose a greedy anonymization heuristic that is able to sanitize large datasets. The algorithms and the quality of the anonymization are evaluated experimentally. Index Terms privacy, tree data, anonymity, structural knowledge, generalization, disassociation. • Olga Gkountouna is with the School of Electrical and Computer Engineering, National Technical Univerity of Athens, Greece. Her work has been co-financed by the European Union (European Social Fund ESF) and Greek national funds through the Operational Program “Education and Lifelong Learning” of the National Strategic Reference Framework (NSRF) Research Funding Program: Heracleitus II. Investing in knowledge society through the European Social Fund. TECHNICAL REPORT SCHOOL OF ELECTRICAL AND COMPUTER ENGINEERING, NTUA, GREECE 2013 2
Environmental Impact of Scrap Metal Dumpsites on Vegetation, Soil and Groundwater in Yenagoa Metropolis, Nigeria

The environment is an intrinsic resource that sustains man and all living organisms for growth, and survival. As such the protection of the environment against adverse impacts must be sustained. This study assessed the impacts of scrap metal dumping on soil, water and vegetation in Yenagoa metropolis. Soil, groundwater and vegetation samples were randomly collected from scrap metal dumpsites in Yenagoa Metropolis. The samples were similarly analyzed for Heavy metals using standard analytical methods. Results of soil quality for surface (0-15cm) and subsoil (15-30cm) were 12.27 – 74.27 and 6.21 – 52.13 mg/kg respectively (iron), 7.24 – 35.73 and 11.41 – 33.57 mg/kg (copper), 14.23 – 47.17 and 12.11 – 36.22 mg/kg (manganese), 11.07 – 49.38 and 17.42 – 35.72 mg/kg (zinc), 24.43 – 47.67 and 17.11 – 32.38 mg/kg (aluminum), 11.48 – 35.77 and 9.53 – 31.22 mg/kg for Nickel. For water quality, the pH ranged from 4.62 – 6.33. While the level of iron, copper, manganese, zinc, aluminum and nickel ranged from 3.27 – 9.73, 0.0152 – 0.071, 0.0023 – 0.0023, 0.0022 – 0.523, 0.0023 0.0023 and 0.005 – 0.005 mg/l respectively. On the other hand, concentrations of manganese, aluminum and nickel recorded were below detection limit. For vegetation, Iron, copper and zinc ranged from 0.338 – 3.027 mg/kg, 0.0152 – 0.1071 mg/kg and 0.0023 – 0.223 mg/kg respectively. While, manganese, aluminum and nickel were not detected. Based on the findings of this research, it is recommended that scrap metal dumping in Yenagoa metropolis should be subjected to periodic monitoring.
Mega-Discourse on the Cognitive and Ethno-Cultural Aspects of the Problem of the Functional and Genre Stratification of Modern Sport

The problem of classifying various discourses is topical. The aim of this research is to describe various discourses of sport communication. Sport is a huge sphere of human physical activity. The questions addressing sport as communication through the different structure of physical activity are rather topical in our research. Sport is a form of physical activity that is performed by professionals, non-professionals and their supporters. Ethnocultural studies can provide insight into the peculiarities of sport communication through a verbalised description of the cognitive-pragmatic processes involved in this communication. This will greatly benefit our multicultural world. Having generalised the empirical data of translation practice in the field of sport, it remains for researchers to work out new models of sport discourse based on European languages. We provide an interdisciplinary understanding of the integrated system of knowledge accessed from different fields for solving the topical and difficult scientific, theoretical and practical tasks of sport megadiscourse in the context of an integral and competency-based approach that combines the cognitive, ethno-cultural, medico-social and psycholinguistic aspects. This synergetic approach is used to consider the subject from the setting of international competitions and the Russian 2014 Olympics. Larisa G. Yarmolinets, Sultan M. Akhmetov, Elena N. Luchinskaya, Zhanna Z. Terpelets and Maria N. Kunina 126 Pertanika J. Soc. Sci. & Hum. 25 (S): 125 136 (2017)
Blended Teaching Based on College Students' Sense of Acquisition Evaluation-A Case Study of Wuhan University of Technology

The purpose of blended teaching reform is to use advanced technology to guide students to study independently and deeply, so as to improve the sense of learning achievement of college students. This paper takes the students' acquisition consciousness as the starting point, takes the blended teaching model as the research problem, and adopts the method of rooted theory to interview some students and teachers of Wuhan University of Technology. The study found that there are some problems in MOOC classroom, such as poor system operation, unclear content design, reform slogan and so on, and some suggestions are put forward to improve the mixed teaching reform, such as strengthening training, grading learning, rearrangement etc.
DETERMINATIONOF TOTAL BODYFAT BY ABSORPTIONOF

The usefulness of the concept of a "fat-free lean mass" (FFLM)l has been widely appreciated (2-6). Such a concept involves a consideration of the mammalian body as a sum of two major components: a) the body fat, which varies widely from individual to individual and which may also vary in a given individual from time to time depending upon his state of nutrition; and b) the FFLM which is of relatively constant weight in a given healthy individual and of relatively constant composition in the various mammalian species except perhaps for the proportion of bone. Since the concentrations of protein, water and electrolytes in the FFLMvary only slightly, it is the difference in fat content which leads to wide variations in these concentrations in the whole body. This observation was made for individual tissues in 1937 by Hastings and Eichelberger (7). A knowledge of the relative proportions of these two major components of the body is of obvious biological interest. It has been suggested that the FFLM, rather than body weight or surface area, should be used as a primary reference standard for various purposes (8, 9). Similarly, total body fat would seem to be fundamentally involved in the action and distribution of various substances
Prospective analysis of inter-observer and intra-observer variability in multi ultrasound descriptor assessment of thyroid nodules

Abstract Aim: The aim of this study was to evaluate the inter- and intra-observer variability and accuracy of ultrasound assessment of thyroid nodules using a descriptive lexicon. Materials and methods: A prospective study was performed on complete ultrasound examinations, including sonoelastography and color Doppler ultrasound of 18 patients with 20 thyroid nodules. A total of 20 records of thyroid nodules from these techniques were duplicated, numbered, and randomly arranged. Five radiologists assessed the recordings independently. Cohen Kappa and Fleiss Kappa statistics were used to determine the degree of intra- and inter-observer agreement. Results: Mean accuracy rates for all radiologists, for all ultrasound features, ranged from 82.7 to 87.8%. For B-mode and strain elastography, accuracies ranged from 65.0 to 100% and 47.4 to 86.8%, respectively. Concerning intra-observer variability, three radiologists demonstrated almost perfect agreement (the κ-value ranged from 0.81 to 0.86), and a substantial agreement was noted for the two remaining radiologists. The κ-values for inter-observer agreement ranged from 0.61 for macrocalcifications (substantial agreement) to 0.33 for Asteria four-point elastography scale criteria (fair agreement). Conclusions: The results suggest relatively good inter-observer and excellent intra-observer agreement in the assessment of thyroid nodules using ultrasound, and fair agreement in the case of strain elastography.