Reviewerly/exHarmony huggingface dataset:
Comparison of body composition and physical fitness between general and physical education female college students

The purpose of this study is to investigate the differences of body composition and physical fitness among female students majoring in physical education and general female students at college. A total of 16 students participated in this study. The students consisted of nine physical education students and seven non - major students. Body composition, body fat, BMI, visceral fat index were significantly lower in physical education students than non - majoring students. In the case of skeletal muscle mass, physical education students were significantly higher than non - major students. In the case of physical strength, the trunk extension and the standing long jump were higher in the students of physical education than the non - major students. In the case of shuttle run, the students majoring in physical education were significantly lower than non - major students. In the case of basic metabolism, physical education major students were significantly lower than non - major students. In conclusion, physical education students showed lower body fat than non-major students, but higher physical strength and muscle mass and lower basal metabolism. This means that physical activities during college show positive changes in physical fitness, body composition, and basal metabolism. This study suggests that non-majoring students who do not major in physical education need physical activity.
A Multiserver User-space Unikernel for a Distributed Virtualization System

Nowadays, most Cloud applications are developed using Service Oriented Architecture (SOA) or MicroService Architecture (MSA). The scalability and performance of them is achieved by executing multiple instances of its components in different nodes of a virtualization cluster. Initially, they were deployed in Virtual Machines (VMs) but, they required enough computational, memory, network and storage resources to hold an Operating System (OS), a set of utilities, libraries, and the application component. By deploying hundreds of these application components, the resource requirements increase a lot. To minimize them, usually small footprint OS are used. Later, as management tools were improved, the application components began to be deployed in Containers which require even less resources than VMs. Another way to reduce the resource requirements is integrating the application components in a Unikernel. This article proposes a Unikernel called MUK, based on a multiserver OS, to be used as a tool to integrate Cloud application components. MUK was built to run in user-space inside a Container of a Distributed Virtualization System. Both technologies facilitate the scattering of application components in a virtualization cluster keeping the isolation properties and minimal attack surface of a Unikernel.
Drop Out Students Identification Using Knowledge Base

The purpose of this study is modeling for the initial identification of college dropout students. Samples were taken from drop out student data for the past 4 years. Information from this sample will be acquired as a knowledge base in system modeling. The research aims to provide a knowledge-based system approach using Dempster Shafer for the management of student drop outs at universities especially in Yogyakarta. The symptoms of DO students are obtained from knowledge about DO that appears on campus in Yogyakarta. The system output is in the form of 3 groups of classification namely initial potential DO, enough potential and once potential. The results of the study produced a system that could help university managers deal with drop-out problems early.
Analysis of the Visual Differences in the Impact of Kendo Players According to the Technical Level of Kendo Players Using the Eye-Tracker

The purpose of this study is to identify Visual Differences according to the degree of kendo proficiency using the eye-Tracker. The subjects consisted of 10 skilled (A), mid-skilled (B), and beginner (C), and used eye-tracker to set the area with the head (1 section), wrist (2 section), and waist (three zones) on the surface of the detector to see the movement of the vision, and 15 hits when the light was illuminated by attaching luminous diodes to each section. The following conclusions were reached using IBM’s Window SPSS Statistics V. 18.0 program (p＜.05).<BR> First, in the case of head-to-head fixed time between groups, there was no difference in the time-to-sight fixed for the skilled and the unskilled, and in the case of the novice, the time-to-see fixed time was small.<BR> Second, in the case of wristwatch fixation time between groups, there was no difference in sight fix time between skilled and unskilled, and in the case of novices, the time of eye fixation was high.<BR> Third, in the case of waist-to-waist fixed time between groups, there was no difference in fixed time between skilled and unskilled, and in the case of beginners, the fixed time was shown to be high.<BR> Fourth, in the case of eye movement between groups, there was no difference in eye movement between skilled and unskilled, and the eyes of beginners showed much movement.<BR> It was found that skilled and mid-skilled people were hitting each other by looking at the first section, and for beginners there was a lot of movement in their eyes, and the time to fix their eyes was also short.
Securing Wireless Coprocessors from Attacks in the Internet of Things

Wireless communications coprocessors are a vital component of numerous Internet of Things and mobile devices. These subsystems enable devices to communicate directly with peers and supporting network infrastructures. Previous research has shown that wireless communications coprocessors lack fundamental security mechanisms to combat attacks originating from the air-interface and application processor (main CPU). To mitigate the risk of exploitation, methods are needed to retroactively add security mechanisms to communications coprocessors. This chapter focuses on securing a cellular baseband processor from attacks by hostile applications in the application processor. Such attacks often leverage attention (AT) commands to exploit vulnerabilities in baseband firmware. The attacks are mitigated by installing an AT command intrusion prevention system between the application processor and baseband processor interface.
Semantics of IT Professionals Training

Relevance of the issue under study is due to the fact that students and IT specialists often face the difficulties in use of terms, and consequently insufficient knowledge of English computer terminology affects the efficiency of their work.The purpose of the article is to analyze the impact of computer terminology awareness on professional skills and qualification of IT specialists.The leading approaches to the study are empirical, experimental (conducting a survey, a questionnaire).The results showed efficiency of using English computer terminology to increase professional skills of IT specialists.The research highlights that knowledge of English computer terminology is one of the important professional skills of IT specialists.The article may be useful for students, teachers, and specialists in the branch of IT and for all computer users.
Optimized neuro-PSO-based software maintainability prediction using relief features selection method

&lt;p&gt;The recent development in software engineering reveals the importance of software maintenance during the time of software development that is becoming more important in software development environment and software metrics, which are very essential for measuring the maintainability of software, software complexity, estimating size, quality and project efforts. There are various approaches through which one can estimate the software cost and predict on various kinds of deliverable items. This paper aims at developing an optimized Neuro-PSO-based software maintainability prediction model by applying the dimensionality reduction using relief feature selection method for identifying the optimal feature subsets in order to increase the accuracy and reduce the time complexity of the prediction model. The simulation result proves the performance of the proposed model which will be more beneficial for the software developers in predicting the maintenance of the software in advance.&lt;/p&gt;
Array – a Simple and Efficient Data Structure

When we are in a situation where we need to store and manipulate a bunch of the same types of data, we need to think about the right data structure to use. Let’s say we want to deal with data representing the same category of things such as students’ names and ages in your school. The data will need to be sorted, queried or searched, and accessed easily. And, we sometimes may need to update or delete some of the data.
Minimum <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si3.svg"><mml:mrow><mml:msup><mml:mo>ℓ</mml:mo><mml:mi>p</mml:mi></mml:msup><mml:mo>-</mml:mo></mml:mrow></mml:math> norm method for estimating compactness of FM signal in the FRFT domain

Frequency modulation (FM) signal is widely used in the sonar, radar, laser and newly developed optics cross-research fields, its compactness (or sparsity) plays an important role in the FM signal sampling, reconstruction, compression and denoising. This paper is devoted to studying the compactness of FM signal, a minimum ℓp- norm method (MPNM) is proposed to estimate the compactness of FM signal in the fractional Fourier transform (FRFT) domain. Compared with the existing methods, the compact FRFT domain of FM signal obtained by this method has better sparsity. Furthermore, the proposed method is successfully applied to the denoising of linear FM signal.
UAV FLIGHT CONTROL BASED ON ARDUINO BOARD IMPLEMENTATIONS

The paper presents the analysis of the operation and implementation of a flying autonomous robotic vehicle or unmanned aerial vehicle.The purpose in its final form is to allow the vehicle to take off, swing holding steady its position, move in the space in case it approaches a moving object and finally to land smoothly.Commands will be taken entirely from a computing platform with a built-in microcontroller that will communicate directly with the vehicle's sensors and will be responsible for controlling them.
Rancang Bangun Manajemen Sistem Informasi Persediaan Barang untuk Bagian Gudang

The difficulty of the warehouse in managing inventory that are easily damaged, expired, lost, management of goods receipts, expenditure of goods, and a list of goods that have reached the minimum stock. Through an information system for inventory management, the warehouse will be helped in managing all transactions in and out of goods in the warehouse and can monitor all inventory items to avoid undesirable things such as loss of goods, damage and expiration. Information Systems Management Inventory is built using the System Development Lifecycle methodology. This information system is built with features that can be customized as needed so that it can be used generally by many agencies that need it.
Automatic Propbank Generation for Turkish

Semantic role labeling (SRL) is an important task for understanding natural languages, where the objective is to analyse propositions expressed by the verb and to identify each word that bears a semantic role.It provides an extensive dataset to enhance NLP applications such as information retrieval, machine translation, information extraction, and question answering.However, creating SRL models are difficult.Even in some languages, it is infeasible to create SRL models that have predicate-argument structure due to lack of linguistic resources.In this paper, we present our method to create an automatic Turkish PropBank by exploiting parallel data from the translated sentences of English PropBank.Experiments show that our method gives promising results.
Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial)

The complementary strengths of interactive theorem proving and SMT solvers have motivated several efforts at integration including Sledgehammer for Isabelle/HOL, CoqSMT. The goal of these efforts is to combine the generality of interactive theorem provers, especially support for inductive proofs, with the automation of SMT solvers for discharging tedious subgoals. In practice, such efforts have been hindered by the gaps between the logic of the theorem prover and the SMT solver. Typically, goals in the theorem prover are expressed in an untyped logic, making often making extensive use of recursive functions and quantifiers. In contrast, the logic of SMT solvers is first-order, many-sorted, and lacks recursive functions. In practice, the effort to transform proof goals into formulations that are amenable to SMT techniques can dominate the proof effort. This tutorial describes Smtlink, our integration of Z3 into ACL2, and presents examples demonstrating the effectiveness of the approach. Smtlink makes extensive use of reflection. By inspecting proof goals and extracting already proven facts, Smtlink automates much of the translation of goals from the untyped logic of ACL2 to the many-sorted logic of Z3. From the users perspective, Smtlink can discharge goals that include user-defined data types, recursive functions, and whose proofs build on previously established theorems. We present several examples from analog and mixed-signal circuits. We also present a simple proof of the Cauchy-Schwartz inequality. In our experience, these proofs were surprisingly straightforward: we identified the obvious, inductive lemmas, and these lemmas were discharged without further effort by the user. As we will show with these examples, the SMT integration makes the theorem proving process productive and fun.This tutorial is based on joint work with Carl Kwan and Yan Peng.
DIDACTIC POTENTIAL OF ACTIVE AND INTERACTIVE TEACHING METHODS

The paper considers the theoretical and methodological aspects of the didactic influence of active and interactive teaching methods on the intensification of professional education in the context of competence and project approaches. The appropriateness of the use of the mentioned methods intended to form and develop the subject-professional, motivational-stimulating and communicative competencies in favorable didactic and psychological environment for self-oriented study has been substantiated. On the basis of the analysis of publications and practical experience of professional education, the rationale for feasibility of implementation of problem-oriented, active and interactive teaching methods into the learning process, namely role-plays, discussions, brainstorming, project making, has been given, which fully corresponds to the principles of the competence- and project-oriented approaches, and the use of professional-situational subjects in the proposed tasks creates unique prerequisites to motivate students to analyze, simulate and play situations that are associated with chosen specialty. The essence and specific features of role-playing games, discussions, "brainstorming" and the project method has been revealed. The scheme of planning, organization and evaluation of the project has been proposed.
단어 연관성 가중치를 적용한 연관 문서 추천 방법

Big data processing technology and artificial intelligence (AI) are increasingly attracting attention. Natural language processing is an important research area of artificial intelligence. In this paper, we use Korean news articles to extract topic distributions in documents and word distribution ve...
Topics in Graph Theory

Graph Theory is an area of modern mathematics with many applications in today’s world, but its roots lie in several recreational puzzles going back to the mid-eighteenth century. This chapter will introduce a few main topics in Graph Theory, drawing upon this history. The first two sections look at ways one can traverse a graph (Eulerian trails and Hamiltonian paths), while the last two sections deal with planar graphs (ones that can be drawn so their edges don’t cross) and graph coloring (graphs whose adjacent vertices have different colors). While connected to a couple of earlier topics, this concluding chapter has a more geometric character, balancing out the algebraic emphasis of the rest of the text.
Detection of Tuberculosis Using Active Contour Model Technique

Tuberculosis is a disease where it is being a great threat to human being. If this disease is not found earlier then it leads to death. Tuberculosis is found when TB rods are found in the sputum of the patient when viewed through a microscope which is a traditional method. To detect this disease faster and with good accuracy active contour model is applied on the sputum image so presence of tuberculosis is found. Then in the second phase mobile application is created and an message is sent to people regarding free checkup camp organized in rural area or tribal area.
Total Variation Regularized Turbo Decoder (TV-TD) for Reliable Image Transmission in Wireless Multimedia Sensor Networks

This paper presents a novel total variation regularization based turbo decoding (TV-TD) scheme for robust image transmission in wireless multimedia sensor networks. The proposed decoder comprises of constituent non-binary soft-output Viterbi algorithm (SOVA) decoders, where the decoder for the systematic bits is modified to a TV regularized non-binary SOVA decoder (TV-NSD) that additionally employs a TV cost- function in order to exploit the bounded variation property of the images for improved reconstruction. Further, a novel trellis structure is proposed for the TV-NSD, which evaluates the pertinent soft-outputs of the codewords corresponding to the coded image components. The expressions for various node/ branch metrics and soft-output values are determined for the proposed trellis structure followed by a description of the TV-TD scheme for image reconstruction. Simulations performed using various test images demonstrate the improved recovery achieved by the proposed decoder, thus making it well suited for image transmission in power-constrained sensor networks.
Android-Based for Fiqh Science Learning

With development of internet technology, mobile-learning models began to be developed. M-learning is a conventional form of learning as outlined in digital format through internet technology. This system can be used in distance learning or conventional learning. Therefore developing this model does not merely present subject matter to the internet but needs to be considered logically and holds the principles of learning. Likewise, the development design that is simple, personal, and fast, and the element of entertainment will make students feel convenience studying in front of the internet as if they were learning in class.
A participatory design approach to designing a playful cultural heritage experience : A case study of the Majapahit sites

Within HCI, CSCW, and other related disciplines, participatory design has been proven to be an effective way of developing technological solutions where the end- users are involved throughout the d ...
Gender and Australian Patents

For the past two decades, successive Australian governments have sought to increase the participation of women in STEM-related fields. One reason for this is the advancement of social equality; another reason is the popular theory that STEM-based-innovation is and will be a primary driver of future economic growth. Rigorous intellectual property law (particularly patent law), supports this strategy by facilitating the commercialisation of innovative ideas. A patent provides the inventor(s) with an opportunity to monetise their work, and (in exchange) the technology disclosed can be used by the public to further scientific progress. One measure of female participation in STEM, is participation as an inventor in the patents system. There is some evidence that Australian patent applications with female inventors have increased over the last 30 years. However, while applications have increased, it is unclear whether women are as successful as men in having their patent application proceed to grant. In 2018, Yale researchers examined 2.7 million US patent applications and found that inventors with female sounding names were less likely to be granted a patent than inventors with male or neutral sounding names. The researchers concluded that some bias was evident from the examiner-side and suggested that the examination process be ‘more blind to the identity of participants. This study will work with large data sets from IP Australia to determine whether the gender of the inventor impacts Australian patent application outcomes. The findings from this project could have major implications on patent prosecution procedures and long term strategies for gender equity in STEM fields.
Toward Modularization of Neural Network Autonomous Driving Policy Using Parallel Attribute Networks.

Neural network autonomous driving policies are widely explored. However, no matter using imitation learning or reinforcement learning, the network policies are generally hard to train, and the learned knowledge encoded in neural network policies are hard to transfer. We propose to modularize the complicated driving policies in terms of the driving attributes, and present the parallel attribute networks (PAN), which can learn to fullfill the requirements of the attributes in the driving tasks separately, and later assemble their knowledge together. Concretely, we first train a policy network that accomplish the base lane tracking attribute. The modules for the add-on attributes such as avoiding obstacles and obeying traffic rules are then trained to map the corresponding state to a satisfactory set of the vehicle action space. Finally the reference action given by the base policy is projected into the satisfactory sets so as to satisfy the requirements of all the attributes. Using the PAN, many complicated tasks that are hard to train from scratch can be easily trained; also unseen driving tasks can be solved in a zero-shot manner by assembling the pretrained attribute modules. We have validated the capability of our model on a class of autonomous driving problems with attributes of obstacle avoidance, traffic light and speed limit in simulation. Experimental results based on an obstacle avoidance task are also presented.
There is no definition problem with transwomen

Transwomen must apply to the usual biological definition of woman to claim the identities/spaces/etc specified by it. Any sense of some definitional problem is a confusion or a distraction.
Training Low Bitwidth Model with Weight Normalization for Convolutional Neural Networks

Convolutional Neural Networks (CNNs) is now widely utilized in computer vision applications, including image classification, object detection and segmentation. However, high memory complexity and computation intensive have limited the deployment on low power embedded devices. We propose a method to train convolutional neural networks with low bitwidth by performing weight normalization. By normalization, the distribution of the weight can be narrowed, which enables the low bitwidth network to achieve a good trade-off between range and precision. Moreover, adding a scaling factor to the weight solves the problem of inadequate expressiveness at low bits, which further improves the performance of classification. The experiments on various datasets show that our method can achieve comparable prediction accuracy as that of full-precision models. To emphasize, the proposed scheme can quantize the network of AlexNet to 3-bit fixed point on ImageNet, and the accuracy of top-1 drop only by 1%.
Thermo Scientific Explorer 4 Analyzer Datasheet

Robust automation and reporting, together with its smallfootprint and low cost of ownership make the Explorer 4 Analyzer the best solutionfor operations looking to improve their production processes and quality whilealso maximizing operational budgets. The Explorer 4 Analyzer rapidly providesfull morphological and chemical characterization of each individual inclusion.