Miracle-dz/UniFAR-FTUs huggingface dataset:
Pre-hypertension and hypertension among primary-secondary school teachers in Çorum: results from a Turkish cross-sectional study

Hypertension is epidemic in worldwide nonetheless, approximately five million men and six million women are hypertensive in Turkish society. This study was aimed to determine hypertension prevalence and related factors in primary-secondary school teachers. This cross-sectional study was conducted among teachers working in pimary-secondary levels of public schools in Corum province. The study was completed by 500 teachers. A 50-item questionnaire form was generated to question socio-demographic and occupational characteristics, health-illness status, behavioral health factors and measurements of blood pressure levels of and Body Mass Index. The prevalence of hypertension was 21.4% among teachers. Blood pressure was normal in the 53.4% and was pre-hypertension level in 38.6% of participants. In hypertensives, blood pressure levels were significantly higher. According to various features such as age groups, gender, occupations of partners, years of seniority and Body mass index, blood pressure levels showed significant differences. The risk of hypertension was 2 - fold higher between the age of 35-49 and 4.5 - fold higher between the age of 50-64 than the 25-34 age groups. The risk of hypertension was 3.5 fold higher in men than in women. One of every five teachers were found to be hypertensive. This result was important to remember that teachers were a specific group of physical health problems. Ensuring appropriate primary care systems and public health services for teachers should be a priority for lifestyle changes and early medical invention in school environment.
The effectiveness of IS certification in E-commerce: does personality matter?

ABSTRACT IS certifications are frequently utilised on e-commerce websites to increase trustworthiness towards e-commerce vendors. However, existing research is inconsistent regarding the true effectiveness of IS certifications in e-commerce. While some studies show that IS certificates have a positive influence (e.g., on trust), others contradict these findings by revealing null or even negative effects. In order to shed light on resolving these inconsistencies, we argue that e-commerce consumers’ personality traits, which influence their cognitive processes and hence IS certification perceptions, are a major cause for these heterogeneous findings. Drawing on IS certification research, psychological literature, and the theory of planned behaviour, we utilise a vignette-based online experiment (N = 145) to show how consumers’ personality traits (i.e., openness, neuroticism, and conscientiousness) shape the effectiveness of IS certifications. More broadly, we disentangle the inconsistent findings that have plagued previous IS certification research and thus provide a basis for moving future research forward.
Scalable and precise verification based on k-induction, symbolic execution and floating-point theory

FACULTY OF ENGINEERING, SCIENCE AND MATHEMATICS SCHOOL OF ELECTRONICS AND COMPUTER SCIENCE Thesis for the degree of Doctor of Philosophy by Mikhail Yasha Ramalho Gadelha In this thesis, we describe and evaluate approaches for the efficient reasoning of realworld C programs using either Bounded Model Checking (BMC) or symbolic execution. We present three main contributions. First, we describe three new technologies developed in a software verification tool to handle real-world programs: (1) a frontend based on a state-of-the-art compiler, (2) a new SMT backend with support for floating-point arithmetic and (3) an incremental bounded model checking algorithm. These technologies are implemented in ESBMC, an SMT-based bounded model checker for C programs; results show that these technologies enable the verification of a large number of programs. Second, we formalise and evaluate the bkind algorithm: a novel extension to the kinduction algorithm that improves its bug-finding capabilities by performing backward searches in the state space. The bkind algorithm is the main scientific contribution of this thesis. It was implemented in ESBMC, and we show that it uses fewer resources compared to the original k-induction algorithm to verify the same programs without impacting the results. Third, we evaluate the use of SMT solvers in a state-of-the-art symbolic execution tool to reduce the number of false bugs reported to the user. Our SMT-based refutation of false bugs algorithm was implemented in the clang static analyser and evaluated on a large set of real-world projects, including the MacOS kernel. Results show that our refutation algorithm cannot only remove false bugs but also speed up the analysis when bugs are refuted. The algorithm does not remove any true bug and only introduces a 1% slowdown if it is unable to remove any bugs.
Fractional Order and Virtual Variable Sampling Design of Repetitive Control for Power Converters

With the growth of electricity demand and renewable energy power source, power converter becomes a more and more significant component in electrical power systems. The requirement of the power converter controller is to produce an accurate and low-distorted voltage or current under different load conditions. Although the conventional controller can meet the requirement of some applications, it requires accurate knowledge of the system model and cannot provide a satisfactory result especially under nonlinear loads or sudden load change. Repetitive control (RC) presents an attractive solution to achieve excellent steady-state tracking error and low total harmonic distortion for periodic signals, and it is increasingly applied to power converter systems. However, there are still some limitations or requirements of RC when it is applied to power electronics system: first, RC requires the system sampling frequency is a fixed value and needs to be an integral multiple of the reference frequency; second, low controller sampling frequency results in low phase lead compensation resolution in RC, which leads to control inaccuracy; third, conventional RC does not have frequency adaptability to reference frequency fluctuation, and even a small reference frequency fluctuation can lead to severe performance degradation. To overcome the conventional RC limitations, two advanced design methods are proposed in the thesis: fractional order delay and virtual variable sampling. The method of fractional order delay approximates the non-integer delay part by building a finite impulse response filter. This improved method is not only able to be applied on a period delay unit but also on phase-lead compensation. The accurate period delay
COMPARISON OF SUBJECTIVE RESPONSES TO VIBRATION AND SHOCK WITH STANDARD ANALYSIS METHODS AND ABSORBED POWER

Abstract Evaluation of human exposure whole-body vibration (WBV) and shock can be carried out in a variety of ways. The most commonly used standards for predicting discomfort from WBV are BS6841 (1987) and ISO2631-1 (1997) which offer different frequency weightings ( W b and W k ) and three methods of assessment: vibration dose value (VDV), estimated VDV (eVDV) and maximum transient vibration value (MTVV). Previous studies have also used DRI and absorbed power for assessments of shock and WBV. This paper reports a laboratory study in which 24 human subjects were exposed to 15 vertical vibration stimuli comprising of random vibration, repeated shocks and combinations of random vibration and shocks at 0·5, 1·0 and 1·5 m/s 2 r.m.s. Subjects rated the discomfort from the vibration on a numerical scale after each exposure. Acquired acceleration signals were analyzed using VDV, r.m.s. and MTVV for unweighted, W b , W k and DRI weighted signals. Acceleration and force were combined to give a measure of absorbed power. Subjective responses were correlated to vibration magnitude for the 13 analysis types. VDV was the best standard method of assessment; MTVV was the worst. W b and W k frequency weightings showed slightly greater correlations between vibration magnitude and discomfort than DRI weighted or unweighted signals. For VDV, there were no significant differences between the correlations obtained using any frequency weighting. For assessment of all stimuli types together, absorbed power gave higher correlations with subjective discomfort than acceleration-based methods. It is concluded that the methods described in ISO2631-1 should be clarified and simplified. Due to the difficulty in measuring absorbed power in the field, methods proposed in BS6841 are recommended as the most appropriate for assessment of discomfort from continuous vibration or repeated shocks.
Properties of a Generalized Divergence Related to Tsallis Generalized Divergence

In this paper, we investigate the partition inequality, joint convexity, and Pinsker’s inequality, for a divergence that generalizes the Tsallis Relative Entropy and Kullback–Leibler divergence. The generalized divergence is defined in terms of a deformed exponential function, which replaces the Tsallis $q$ -exponential. We also constructed a family of probability distributions related to the generalized divergence. We found necessary and sufficient conditions for the partition inequality to be satisfied. A sufficient condition for the joint convexity was established. We proved that the generalized divergence satisfies the partition inequality, and is jointly convex, if, and only if, it coincides with the Tsallis relative entropy. As an application of partition inequality, a criterion for the Pinsker’s inequality was found.
Effects of simvastatin and metformin on polycystic ovary syndrome after six months of treatment.

CONTEXT A randomized trial on women with polycystic ovary syndrome (PCOS) compared simvastatin, metformin, and a combination of these drugs. OBJECTIVE The aim of the study was to evaluate long-term effects of simvastatin and metformin on PCOS. DESIGN Women with PCOS (n = 139) were randomized to simvastatin (S), metformin (M), or simvastatin plus metformin (SM) groups. Evaluations were performed at baseline and at 3 and 6 months. SETTING The study was conducted at a university medical center. PRIMARY OUTCOME We measured the change of serum total testosterone. RESULTS Ninety-seven subjects completed the study. Total testosterone decreased significantly and comparably in all groups: by 25.6, 25.6, and 20.1% in the S, M, and SM groups, respectively. Both simvastatin and metformin improved menstrual cyclicity and decreased hirsutism, acne, ovarian volume, body mass index, C-reactive protein, and soluble vascular cell adhesion molecule-1. Dehydroepiandrosterone sulfate declined significantly only in the S group. Total cholesterol and low-density lipoprotein cholesterol significantly declined only in the S and SM groups. Ongoing reduction of ovarian volume, decreased hirsutism, acne and testosterone were observed between 0 and 3 months as well as between 3 and 6 months. Improvement of lipid profile, C-reactive protein, and soluble vascular cell adhesion molecule-1 occurred only during the first 3 months of treatment, with little change thereafter. Treatments were well tolerated, and no significant adverse effects were encountered. CONCLUSIONS Long-term treatment with simvastatin was superior to metformin. Improvement of ovarian hyperandrogenism continued throughout the duration of the study.
Evaluating the Rationality of Antibiotic Dispensing in Treating Common Cold Infections among Pharmacists in Baghdad - Iraq

Background: Common cold is a self limited viral infection, which can be treated symptomatically without the need to antibiotics which are not effective or curative. This study aimed to evaluate the practices of community pharmacists in communicating, diagnosing, treating and counseling patients who are requesting antibiotics for their common cold treatment. Methods: A cross-sectional pilot exploratory study was done in Baghdad – Iraq at which a pharmacist acts as simulated person (SP) in order to collect the data. SP asks the pharmacist about the strongest antibiotic for common cold. SP observed and explored adherence of the pharmacist to law in dispensing over the counter (OTC) and prescription
Co-relation between the financial news articles and Stock prices and Stock Prediction

Stock market prediction has been the most shortsighted field. Everyone wants to earn more from their stocks which brings the need for an efficient prediction algorithm which can consider all the possible factors affecting the price of the stocks. It has so many factors which makes it spontaneous and dynamically driven. Till now all the predictions had considered the historical data and the technical indicators of the stock prices and fore-cast the the market and also have used the twitter tweets and the financial news about the companies and analysed the text to predict the trend of the market. This research focuses on combining both that is text analytics and the time series forecasting of the stock prediction and predict the market trend. This research concentrates on implementation of the prediction model using the newly available convolution neural network called the Temporal Convolution network (TCN). This project implements the stock prediction system on TCN which is most efficient algorithm compare to the Recurrent Neural Network (RNN), Long Short Term memory neural network (LSTM). Research concentrates on combining the information from the financial news and technical indicators calculated from the historical data of the stock prices. Here we have considered the news about companies over a period of six months and the corresponding stock prices on that day coming days. The model gives an accuracy of 58.3% and also considerable improvement in the time taken and also it is compared with other neural networks.
A Comparative Analysis of Computer-Aided Collaborative Design Tools and Methods

A Comparative Analysis of Computer-Aided Collaborative Design Tools and Methods Keenan Louis Eves Department of Mechanical Engineering, BYU Master of Science Collaboration has always been critical to the success of new product development teams, and the advent of geographically dispersed teams has significantly altered the way that team members interact. Multi-user computer-aided design (MUCAD) and crowdsourcing are two results of efforts to enable collaboration between geographically dispersed individuals. In this research, a study was done to investigate the differences in performance between MUCAD and single-user CAD teams, in which teams competed to create the best model of a hand drill. This was done across a three-day period to recreate the scenario found in industry. It was found that MUCAD increases awareness of teammates’ activities and increases communication between team members. Different sources of frustration for single-user and multi-user teams were identified, as well as differing patterns of modeling style. These findings demonstrate that MUCAD software has significant potential to improve team collaboration and performance. A second study explored a number of potentially significant factors in MUCAD team performance, including leadership, design style, unfamiliar parts, knowledge transfer, individual experience, and team composition. In this study, teams of undergraduate mechanical engineering students worked together to complete tasks using NXConnect, a MUCAD plugin for NX developed at Brigham Young University. A primary finding was that having an appointed leader for a MUCAD team improves performance, in particular when that leader works with the team in creating the CAD model. It was also found that creating a framework to aid in organizing and coordinating the creation of the CAD model may decrease the time required for completion. In the final study, the possibility of using crowdsourcing to complete complex product design tasks was explored. In this study, a process for crowdsourcing complex product design tasks was developed, as well as a website to act as the platform for testing this process. A crowd consisting of engineering and technology students then worked together on the website to design a frisbee tracking device. The crowd was able to collaborate to accomplish some detailed product design tasks, but was not able to develop a complete product. Major findings include the need for more formal leadership and crowd organization, the need for better decision making mechanisms, and the need for a better model for engaging crowd members on a consistent basis. It was also found that crowd members had a greater willingness to pay for the product they developed than individuals who had not worked on the project. Results also show that although crowd members were often frustrated with the collaboration process, they enjoyed being able to work with a large group of people on a complex project.
A Unified Performance Analysis of Relaying Communication System for IoT Application With Hybrid Fading

Power line and wireless hybrid communication address the problem that wireless and power line cannot communicate with each other in the Internet of Things (IoT). However, the theoretical performance of amplify-and-forward (AF) relay communication based on hybrid fading condition has no closed expression. This article takes a relay system model of wireless and power line hybrid media as a representative and investigates a unified performance analysis method for AF relay systems with hybrid fading. The mixture lognormal (LogN) approximate algorithm based on the moment-generating function (MGF) is applied to approximate a wireless fading coefficient to mixture LogN distribution. Moreover, we propose a joint optimization algorithm for determining the key parameters given that the adjustable variables in the MGF equations evidently affect the approximation accuracy. Importantly, this article is then extended to other fading models, taking general gamma (GG) as an example. The effectiveness and reliability of the algorithm are verified by the Monte Carlo simulation. Finally, closed analytic expressions of the system performance, such as bit error rate (BER), outage probability, and average channel capacity, are derived. The effects of hybrid fading factor, impulse noise parameter, and power allocation on system performance are analyzed using the theoretical formulas.
Pyramid Multi‐View Stereo with Local Consistency

In this paper, we propose a PatchMatch‐based Multi‐View Stereo (MVS) algorithm which can efficiently estimate geometry for the textureless area. Conventional PatchMatch‐based MVS algorithms estimate depth and normal hypotheses mainly by optimizing photometric consistency metrics between patch in the reference image and its projection on other images. The photometric consistency works well in textured regions but can not discriminate textureless regions, which makes geometry estimation for textureless regions hard work. To address this issue, we introduce the local consistency. Based on the assumption that neighboring pixels with similar colors likely belong to the same surface and share approximate depth‐normal values, local consistency guides the depth and normal estimation with geometry from neighboring pixels with similar colors. To fasten the convergence of pixelwise local consistency across the image, we further introduce a pyramid architecture similar to previous work which can also provide coarse estimation at upper levels. We validate the effectiveness of our method on the ETH3D benchmark and Tanks and Temples benchmark. Results show that our method outperforms the state‐of‐the‐art.
Copyright Educational Services and Information in Academic Libraries

Library and information science literature tells a story of the recent surge in creation the copyright librarian positions in academic libraries from identification of need to construction of job responsibilities and position requirements. This article seeks to continue the story by identifying what information materials and services the librarians responsible for providing copyright assistance have created at their libraries, and how those services are delivered to their institutions. An examination of 115 library websites is employed to identify topics and foci within copyright services with the goal of establishing commonalities of service among U.S. research 1 libraries that can be used to inform new service development.
Distribution Update of Deformable Patches for Texture Synthesis on the Free Surface of Fluids

We propose an approach for temporally coherent patch‐based texture synthesis on the free surface of fluids. Our approach is applied as a post‐process, using the surface and velocity field from any fluid simulator. We apply the texture from the exemplar through multiple local mesh patches fitted to the surface and mapped to the exemplar. Our patches are constructed from the fluid free surface by taking a subsection of the free surface mesh. As such, they are initially very well adapted to the fluid's surface, and can later deform according to the free surface velocity field, allowing a greater ability to represent surface motion than rigid or 2D grid‐based patches. From one frame to the next, the patch centers and surrounding patch vertices are advected according to the velocity field. We seek to maintain a Poisson disk distribution of patches, and following advection, the Poisson disk criterion determines where to add new patches and which patches should e flagged for removal. The removal considers the local number of patches: in regions containing too many patches, we accelerate the temporal removal. This reduces the number of patches while still meeting the Poisson disk criterion. Reducing areas with too many patches speeds up the computation and avoids patch‐blending artifacts. The final step of our approach creates the overall texture in an atlas where each texel is computed from the patches using a contrast‐preserving blending function. Our tests show that the approach works well on free surfaces undergoing significant deformation and topological changes. Furthermore, we show that our approach provides good results for many fluid simulation scenarios, and with many texture exemplars. We also confirm that the optical flow from the resulting texture matches the fluid velocity field. Overall, our approach compares favorably against recent work in this area.
Network File Storage With Graceful Performance Degradation

A file storage scheme is proposed for networks containing heterogeneous clients. In the scheme, the performance measured by file-retrieval delays degrades gracefully under increasingly serious faulty circumstances. The scheme combines coding with storage for better performance. The problem is NP-hard for general networks; and this article focuses on tree networks with asymmetric edges between adjacent nodes. A polynomial-time memory-allocation algorithm is presented, which determines how much data to store on each node, with the objective of minimizing the total amount of data stored in the network. Then a polynomial-time data-interleaving algorithm is used to determine which data to store on each node for satisfying the quality-of-service requirements in the scheme. By combining the memory-allocation algorithm with the data-interleaving algorithm, an optimal solution to realize the file storage scheme in tree networks is established.