Miracle-dz/UniFAR-FTUs huggingface dataset:
A fully-mixed finite element method for the steady state Oberbeck–Boussinesq system

A new fully-mixed formulation is advanced for the stationary Oberbeck–Boussinesq problem when viscosity depends on both temperature and concentration of a solute. Following recent ideas in the context of mixed methods for Boussinesq and Navier–Stokes systems, the velocity gradient and the Bernoulli stress tensor are taken as additional field variables in the momentum and mass equilibrium equations. Similarly, the gradients of temperature and concentration together with a Bernoulli vector are considered as unknowns in the heat and mass transfer equations. Consequently, a dual-mixed approach with Dirichlet data is defined in each sub-system, and the well-known Banach and Brouwer theorems are combined with Babuška–Brezzi’s theory in each independent set of equations, yielding the solvability of the continuous and discrete schemes. We show that our development also applies to the case where the equations of thermal energy and solute transport are coupled through cross-diffusion. Appropriate finite element subspaces are specified, and optimal a priori error estimates are derived. Furthermore, a reliable and efficient residual-based a posteriori error estimator is proposed. Several numerical examples illustrate the performance of the fully-mixed scheme and of the adaptive refinement algorithm driven by the error estimator. 2020 Mathematics Subject Classification. 65N30, 65N12, 65N15, 35Q79, 80A20, 76D05, 76R10.
Configuration Manual

As the world is gradually being engulfed by the inevitability of technology, each and every aspect that technology is incorporated into are becoming increasingly vulnerable to digital crimes. The insurance sector is no exception to this and the potentiality of insurance frauds are taking a huge toll on the industry and the numbers are increasing day by day. Basically, any act carried out to swindle an insurance process can be termed as an ‘Insurance Fraud’. Fake claims are another way by which a malefactor can deceive an insurance process. Such is the magnitude of the threat that the industry loses almost $30 billion a year according to a recent survey. Several methods and processes have been applied and tested as an anti-fraud measure to minimise and ideally terminate illicit activities in the sector and data-mining methodologies have proven to be instrumental in fighting digital crimes in the insurance domain. Although there exists several ways and methods of applying data-mining into a fraud-prevention program, this research particularly aims to explore an optimal hybrid model in identification of aberrant and atypical activities in an insurance claim process in an attempt to detect potential anomaly. The efficiency of this particular model that combines feature optimisation with classification algorithms is based on the performance metrices viz. accuracy, sensitivity and specificity. The model is being tested on a dataset of insurance claim taken from Kaggle and the feature optimisation algorithms used are Particle Swarm Optimisation (PSO) and Firefly Algorithm (FFA). The classification algorithms applied are Support Vector Machines (SVM), Artificial Neural Network (ANN), Naïve Bayes (NB), KNearest Neighbour (kNN) and Random Forest (RF). In an attempt to achieve a high quality predictive output on the basis of the above-mentioned metrices, this paper investigates that a hybrid combination of PSO and RF proves to be the most effective in achieving the best predictions over other models. This research is optimistic that the model deduced will hence allow insurers to put a check on fraudulent activities within the industry that eventually will save billions of dollars globally.
THE POTENCY OF ANGLE MEASUREMENT AND COMPARISON OF VEIN LENGTHS IN DISTINGUISHING BACTROCERA SPECIES COMPLEXES

The potency of angle measurement and comparison of vein lengths in distinguishing Bactrocera species complexes. One of the most conspicuous features of Bactrocera fruit flies is their wing, which can be elaborated for identification. The distinctive wing patterns are used to separate species and classify species complexes. The wing shape can be used as a potential discriminator between closely related taxa. To develop wing applications in taxonomy, in this study, the degree measure of angles and the comparisons of vein lengths were investigated quantitatively to distinguish among important pest quarantine species of the Bactrocera dorsalis complex: B. dorsalis and B. carambolae; the B. frauenfeldi complex: B. frauenfeldi and B. albistrigata; and a species belonging to subgenus Zeugodacus, B. cucurbitae. The result showed that species complexes were clustered into significantly different groups based on the degree measure of cell br and the comparison between r-m and dm-cu cross-vein length. This conclusive evidence was supported by phylogenetic analysis using COI gene. This present result indicated that the cell br angle measure and the comparison between r-m and dm-cu vein length could be applied to distinguish species complexes in genus Bactrocera.
The Assessment of Task-Dependent Manual Laterality in Second Grade Students İkinci Sınıf Öğrencilerinde Göreve Bağlı Manuel Lateralitenin Değerlendirilmesi

©2020 Türkiye Spor Hekimleri Derneği. Tüm hakları saklıdır. ABSTRACT Objective: This study was aimed to evaluate the task-dependent manual laterality during fine coordination and grapho-motor tests in school children. Materials and Methods: We used two action tests (transitive and intransitive) to assess fine coordination skills and a tablet PC to assess number of strokes, pressure, speed and quality in a figure-tracing skill test, among 20 school children (12 girls and 8 boys) of second grade (7-8 years old). Results: Two-way RM-ANOVA (side × gender) revealed better values in the transitive task on the dominant side (p<0.05), a lesser number of strokes in girls (p<0.001), especially on the dominant side, and higher pressure and better quality on the dominant side (p<0.001). We also found correlations between speed and strokes ratios (r=-0.684), speed and quality ratios (r=0.627), stroke and quality ratios (r=-0.440), and pressure and stroke ratios (rho=-0.395). Conclusions: Findings showed that functional asymmetry was prominent in complex tasks and in tasks related to practice, such as tracing. Gender differences were also involved. Finally, children were shown to use specific motor strategies to accomplish coordination and grapho-motor tasks with the non-dominant hand.
Assessing first-year engineering students' pre-university mathematics knowledge: Preliminary validity results based on an item response theory model

The importance of students’ prior knowledge to their current learning outcomes cannot be overemphasised. Students with adequate prior knowledge are better prepared for the current learning materials than those without the knowledge. However, assessment of engineering students' prior mathematics knowledge has been beset with a lack of uniformity in measuring instruments and inadequate validity studies. This study attempts to provide evidence of validity and reliability of a Norwegian national test of prior mathematics knowledge using an explanatory sequential mixed-methods approach. This approach involves use of an item response theory model followed by cognitive interviews of some students among 201 first-year engineering students that constitute the sample of the study. The findings confirm an acceptable construct validity for the test with reliable items and a high-reliability coefficient of . 92 on the whole test. Mixed results are found on discrimination and difficulty indices of questions on the test with some questions having unacceptable discriminations and require improvement, some are easy, and some appear too tricky questions for students. Results from the cognitive interviews reveal the likely reasons for students' difficulty on some questions to be lack of proper understanding of the questions, text misreading, improper grasping of word-problem tasks, and unavailability of calculators. The findings underscore the significance of validity and reliability checks of test instruments and their effect on scoring and computing aggregate scores. The methodological approaches to validity and reliability checks in the present study can be applied to other national contexts.
How to Talk of Music Technology: An Interview Analysis Study of Live Interfaces for Music Performance among Expert Women

With the aim of making women’s work in music technology more visible, the organization Women Nordic Music Technology (WoNoMute) has originated conversations with expert women in the form of seminar talks and interviews that are archived digitally. This paper analyses the ﬁrst seven interviews and seminar talks with women from this online archive using thematic analysis. We explore whether and how their gender determines the shape of their tools focusing on live interfaces . From our ﬁndings, we propose to investigate alternative usage of the technical term ‘music technology’ to accommodate more diversity and ﬂuidity into the ﬁeld. This can inform the revision of the language used in education and human-computer interaction in order to be more inclusive but also to become more conscious about the creation of professional and academic environments that involve music technology.
SPATIAL DATA QUALITY EVALUATION FOR LAND COVER CLASSIFICATION APPROACHES

Abstract. Data gaps and poor data quality may lead to flawed conclusions and data-driven policies and decisions, such as the measurement of Sustainable Development Goals progress. This is particularly important for land cover data, as an essential source of data for a wide range of applications and real-world challenges including climate change mitigation, food security planning, resource allocation and mobilization. While global land cover datasets are available, their usability is limited by their coarse spatial and temporal resolutions. Furthermore, having a good understanding of the fitness for the purpose is imperative. This paper compares two datasets from a spatial data quality perspective: (1) a global land cover map, and (2) a fit-for-purpose training dataset that is generated using visual inspection of very high-resolution satellite data. The latter dataset is created using Google Earth Engine (GEE), a cloud-based computing platform and data repository. We systematically evaluate the two datasets from spatial data quality (SDQ) perspective using the Analytic Hierarchy Process (AHP) to prioritise the criteria, i.e. SDQ. To validate the results, land cover classifications are conducted using both datasets, also within GEE. Based on the results of the SDQ evaluation and land cover classification, we find that the second training dataset significantly outperformed the global land cover maps. Our study also shows that cloud-based computing platforms and publicly available data repositories can provide an effective approach to filling land cover data gaps in data-scarce regions.
THE ROLE OF DATA MINING ON THE SUCCESSFUL CUSTOMER RELATIONSHIP MANAGEMENT

- The relationship between Data Mining (DM) and Customer Relationship Management (CRM) has been studied within an empirical study in Carrefour Chain Store-Family Mall branch in Erbil province-Iraq. Data Mining has been considered as a vital element in business domain. As such Customer Relationship Management has become more important in the industry especially the service segmentation. That is why this study has been select Carrefour Store as a biggest store in Erbil province. The study proposed that there is no statistical relationship between DM techniques and CRM as a dependent variable. A specific Questionnaire has been considered In order to complete the practical side of this paper. SPSS-20 software package has been used to find out data analysis. Based on the analysis a conclusion has been drawn that DM techniques represent the main key for the success of CRM.
Medial-Inguinal Approach: A Novelty in Hip Joint Replacement

Introduction: True to the concept of Tissue Sparing Surgery, we developed this new surgical technique to reach the coxofemoral joint by starting at the inguinal-medial region. Methods: We performed total hip arthroplasty on 150 patients suffering from hip arthritis. Results: In our study, operation time and blood loss were lower, there were no complications, and recovery time was shorter. Discussion: We have developed a surgical process that allows for safe, easy and fast replacement of the hip that spares the hip stabilizer muscles completely. Throughout the operation, the surgeon can view the acetabulum from the front, which is a view that is preferable to the one available with other known techniques. There is no need for special equipment or special operating tables, and surgeons do not face a steep learning curve when first introduced to the procedure. Since risks of dislocation are non-existent, the patient is allowed to lie in bed in any position. The procedure is preferable aesthetically since any scarring is hidden from view in the inguinal folds of skin. Patients can resume walking immediately, using two Canadian crutches for only a few days. Conclusion: The authors believe, thanks to its low cost and ease of performance and replication, this technique offers nothing but advantages for the patient. Easier rehabilitation is another positive aspect. The procedure can be considered a valid alternative to other common surgical approaches.
Empirical evaluation of selective DNA pooling to map QTL in dairy cattle using a half-sib design by comparison to individual genotyping and interval mapping

This study represents the first attempt at an empirical evaluation of the DNA pooling methodology by comparing it to individual genotyping and interval mapping to detect QTL in a dairy half-sib design. The findings indicated that the use of peak heights from the pool electropherograms without correction for stutter (shadow) product and preferential amplification performed as well as corrected estimates of frequencies. However, errors were found to decrease the power of the experiment at every stage of the pooling and analysis. The main sources of errors include technical errors from DNA quantification, pool construction, inconsistent differential amplification, and from the prevalence of sire alleles in the dams. Additionally, interval mapping using individual genotyping gains information from phenotypic differences between individuals in the same pool and from neighbouring markers, which is lost in a DNA pooling design. These errors cause some differences between the markers detected as significant by pooling and those found significant by interval mapping based on individual selective genotyping. Therefore, it is recommended that pooled genotyping only be used as part of an initial screen with significant results to be confirmed by individual genotyping. Strategies for improving the efficiency of the DNA pooling design are also presented. selective DNA pooling / dairy half-sib design / genome scan / individual selective genotyping
On HARQ Schemes in Satellite-Terrestrial Transmissions

As an efficient supplement for terrestrial communications, e.g., fifth-generation communication networks, satellite communication has been proved as a promising choice to realize seamless coverage, due to its inherent superiority over common wireless communication systems, like large-scale coverage area and flexibility of deployment. In this article, a satellite-terrestrial transmission (STT) system including a satellite transmitter (S) and a group of terrestrial receivers (D) is focused on. Considering the randomness of D and employing stochastic geometry, the outage performance and diversity gain of three hybrid automatic repeat request (HARQ) schemes, generalized slotted ALOHA (GSA), repetition time diversity (RTD) and general incremental redundancy (IR), are respectively studied. In detail, the exact closed-form analytical expression for the outage probability (OP) is derived for the GSA scheme, while the approximated expression for the OP of RTD scheme is presented and a useful expression for the OP of IR scheme is derived. Furthermore, the diversity gains of the three considered HARQ schemes are respectively investigated in STT scenarios. Finally, some numerical results are provided to validate the proposed analysis models.
The Review of IoT Security Framework Based on Mobile Edge Computing

At present, IoT has received extensive attention and has exerted tremendous influence in the life of people and production. The number of actuators and sensors stationed across the world is also growing rapidly. The application of smart devices and smart services has upgraded our lives more refined and more convenient. However, while bringing convenience to our lives, it also brings a series of security and privacy risks. In this article, we have integrated the background knowledge of IoT, including the development process and applications, the mobile edge computing, the security threats, the security requirements and the basic architecture of IoT. On this basis, we focused on the analysis of the mainstream of the academic community. Compared with the IoT security framework adopted by the industry, comparing and evaluating several popular frameworks, we have put forward our own security framework perspectives and possible in-depth research points in the future.
The Biology and Ecology of Giant Kelp Forests

Preface Acknowledgments Introduction PART I. THE BIOLOGY OF GIANT KELP 1. Introduction to Giant Kelp Forests Worldwide 2. The Structure, Function, and Abiotic Requirements of 3. The Abiotic Environment 4. Demography, Dispersal, and Connectivity of Populations PART II. THE GIANT KELP ECOSYSTEM 5. Giant Kelp Communities 6. Detached Giant Kelp Communities, Production, and Food / Control Webs 7. Facilitative and Competitive Interactions in Giant Kelp Forests 8. Grazing in Kelp Communities 9. Predation and Trophic Cascades in Kelp Communities PART III. HUMAN USAGE, MANAGEMENT, AND CONSERVATION 10. Anthropogenic Effects on Kelp Forests 11. Human Usage of Giant Kelp and Kelp Forest Organisms 12. Marine Protected Areas and Fisheries Effects PART IV. GLOBAL CHANGE AND THE FUTURE 13. Global Change 14. Giant Kelp Forests: Conclusions and Final Thought Afterword References Index
The Effect Of Employee Work Isolation On Employee Deviant Behaviour In The Hotel Industry Within South-South, Nigeria

Today, the rate at which deviant behaviours occur in the workplace have become so worrisome as well as harmful to the wellbeing of the organization which is presently prevailing in most organizations including the hospitality industry. Thus, the purpose of this paper is to study the relationship that exist between employee work isolation and deviant behaviour in the hotel industry within the South-South Region of Nigeria. A survey design was adopted using questionnaire as the research instrument which was distributed to 291 employees of three selected hotels in the South-South region of Nigeria. The data derived were analyzed through the use of Spearman’s Rank Order Correlation Coefficient Statistical as well as t-statistics to test the relationship between the variables of the study through the use of Statistical Package for Social Sciences within a significance level of 0.05. The findings showed that employee work isolation has significant influence on deviant behaviour vis-à-vis production deviance, property deviance, political deviance and personal aggression as measures of deviant behaviour in the studied hotels. We therefore recommend that managers of the hotels should encourage and demonstrate collaboration and generosity among employees to reduce personal aggression and other deviant behaviours among employees in the hotel.
Revealed by Whole-Genome Analysis H1N1/2009 Influenza Virus Lineages Evolutionary Dynamics of Local Pandemic

Published Ahead of Print 19 October 2011. 2012, 86(1):11. DOI: 10.1128/JVI.05347-11. J. Virol. Paul Kellam and Maria Zambon Rambaut, Jonathan Green, Rod Daniels, Oliver G. Pybus, Steven Platt, Estelle McLean, Richard G. Pebody, Andrew Simon J. Watson, Jessica Hedge, Anthony Underwood, Richard Myers, Rachael Chiam, Astrid Gall, Anne L. Palser, Gregory J. Baillie, Monica Galiano, Paul-Michael Agapow, Revealed by Whole-Genome Analysis H1N1/2009 Influenza Virus Lineages Evolutionary Dynamics of Local Pandemic
Do dark pools affect asset price volatility?

Recent years there has been an increased usage of dark pools followed by a rise in interest to study the field. During 2018, 14% of the US equity trading was made in dark pools. It is therefore highly relevant to consider dark pools effect on market qualities such as asset price volatility. This thesis investigates if there is a relation between dark pool trading and asset price volatility on the US equity market during the time period of 2015-2019. A quantitative method has been applied by running two regressions with time fixed effects on historical data. With statistical significance, the thesis suggests that there is a relation. Further, the results imply that there is an increasing effect on asset price volatility when dark trading percentage is high. The thesis is based on historical data for 100 stocks in the national market system tier 1 listed as alternative trading systems who report to the Financial Industry Regulatory Authority. JEL classifications: G12, G14, G23
STRUCTURAL CONCRETE WITH INCORPORATED RECYCLED CONCRETE COARSE AGGREGATES Influence of the curing conditions on the mechanica l behaviour

This research aims at evaluating the effect of the incorporation of recycled concrete coarse aggregates on the properties of the concrete, as well as analysing the influence of the curing conditions on mechanical properties of recycled coarse aggregates concrete. In particular, the relations between the compressive strength, the splitting tensile strength, the elasticity modulus and the abrasion resistance are investigated and discussed in detail. In order to accomplish these purposes, cylindrical and cubic specimens were cast, for testing the aforementioned hardened properties of the concrete, with four different concrete mixes: a conventional reference concrete and three concrete with substitution rates of 20, 50 and 100% of natural coarse aggregates by recycled concrete coarse aggregates. All mixes were prepared with a water / binder ratio of 0.43. Four curing methods were performed, namely, laboratory curing, water curing, wet chamber curing and outer environment curing, to cure the cylindrical and cubic specimens, until the day of testing.
A Paulownia coreana Box for Storage of Annals of Joseon Dynasty: Its Efficacy and Functionality Evaluations of Temperature and Relative Humidity Control, and Microbe and Insect Repellent Activity

This is an Open-Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/ licenses/by-nc/3.0) which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited. ABSTRACT Paulownia coreana has various advantages as a convenient workability, aesthetic outlook, beautiful patterns, low weight and high strength, and its permeability. P. coreana has been widely used for storage but there are no empirical researches proving its functionality in a field of conservation science until now. In this study, the seasonal and daily temperature and relative humidity control, and microbe and insect repellent activity were evaluated under the controlled and uncontrolled circumstances from 2015 to 2016. The results showed to be mainly excellent in relative humidity control and the buffering effect was good to adjust the average daily relative humidity range from the outside. With respect to the antimicrobial properties of P. coreana, we observed that its water-soluble extract produced visible zones of inhibition against five bacteria. However, it was difficult to predict the antimicrobial and/or insecticidal properties.