Reviewerly/exHarmony huggingface dataset:
Ontology Modeling of Army Equipment Maintenance Support Business Process under the New System Base on IDEF5/Owl

IDEF5, as a semantic information modeling method, plays an important role in solving the problem of knowledge sharing and reuse. Aiming at the characteristics of the army equipment maintenance support business process under the new system, the IDEF5 graphical ontology development method and OWL semantic description language were used to establish the army equipment maintenance support business process ontology under the new system. This study provides a new idea and method for the establishment of the military conceptual model of the army equipment maintenance support business process under the new system, and has theoretical significance and application value for improving the semantic consistency of the military conceptual model of the army equipment maintenance support business process under the new system and the degree of development automation.
Using gamification to develop shared understanding of the pandemic: COVID-19 in indigenous communities of Choco, Colombia

Effective communication with local communities is a critical factor in containing an outbreak. However, simply broadcasting expertknowledge carries a risk of being rejected, particularly in indigenous communities that traditionally rely on ancestral knowledge. This paper presents an investigation into developing a shared understanding of COVID-19 in indigenous communities of Choco, Colombia, that could help them develop effective mitigating practices, while being respectful of their believes. Unstructured interviews and observations were used to explore how indigenous communities perceive and respond to COVID-19. Based on these, a communicative strategy was developed using participatory design and gamification approach, that aimed at bridging their beliefs and traditional ancestral medicine with the official medical recommendations for prevention of the virus transmission. The findings revealed that the intervention became a trigger for mindful discussion within indigenous communities about the preventive measures from the virus, while gamification elements acted as an enabler of such discussion and created more trusting attitude towards the recommendations. Based on the initial findings, we discuss challenges of conducting indigenous research, including the role of trust between researchers and the communities, gamification as an enabler of shared knowing of a problem matter, and the importance of flexible participatory research methods whereby indigenous people are treated not as mere researched, but as full participants of the study. Copyright © 2021 for this paper by its authors.
Research on the design of multi-source heterogeneous data application framework for deep sea based on XML

Abstract In view of the various instruments, equipment, survey methods and current problems involved in the deep sea survey, based on the analysis of the characteristics of the deep sea survey data, this paper puts forward a design method for the application framework of multi-source heterogeneous data in the deep sea survey. This method uses XML language to analyze, extract and fuse the multi-source heterogeneous data generated by marine survey equipment, so as to meet the practical application requirements of data. The practice shows that this method is feasible and easy to use as an application method of multi-source heterogeneous data in deep and deep sea survey.
Mastering Vocabulary by Using CrosswordPuzzle

The objective of this research is to find out whether crossword puzzle is effective in improving students’ vocabulary mastery. The sample of this research is the eight grade students of SMP GKST I Tentena particularly class VIIIC and VIII A. This research is quasi experimental design- the nonequivalent control group design, that involved two sample groups, they are experimental group and control group. The researcher uses clustering sampling. The researcher applies test instrument (Pre-test and Post-test) in collecting the data. The pre-test is administered to measure the students’ achievement in learning vocabulary before treatment, while the post-test is administered to measure the students’ achievement after treatment. Based on the result of the study, it is proved that the application of crossword puzzle is affective in improving students’ vocabulary mastery. It is found that the tcounted (1.820) is higher that t-table (1.693). It means that the hypothesis of this research is accepted. In conclusion, the achievement of the eight grade students of SMP GKST I Tentena in mastering vocabulary can be improved significantly by using crossword puzzle. Keywords: Crossword Puzzle, Improve, Vocabulary Mastery
Comparing Verification of List Functions in LiquidHaskell and Idris

Formal verification is important for guaranteeing correctness of critical computer programs. LiquidHaskell and Idris are 2 functional programming languages in which formal verification can be perfo ...
HPNET: DETECTING HUMAN PARTS IN THE WILD / HPNET: DETECTANDO PARTES HUMANAS NA NATUREZA

The objective of this work is to present a model of neural network for the detection and segmentation of human's body parts (HPNet).We offer a multiplatform real-time solution that can be run on ordinary computers, as well as on mobile devices and embedded systems.Our proposal is characterized by presenting a compact solution, and by investigating a part of object detection still little explored.One of the striking features presented is the ability to recognize parts of the human body even in uncontrolled environments, due to the use of a random subset of Google's public database (Open Images Dataset) that contains images with objects in the most varied sizes, positions, lighting and occlusion conditions.At first, we offer a solution only for the detection and segmentation of the common parts of the human body, but we intend to expand its capabilities to detect other more specific parts and regions.The main purpose of our model is its use to solve specific problems that require the detection and segmentation of human's body parts, for example, in user authentication.
LibGuides: Streaming Video: A Guide to Streaming Video Collections from NOVA Libraries: Docuseek Streaming Video

A guide to finding and using streaming video for use in courses. Questions? Email LTS@nvcc.edu
Computação Serverless: Conceito, Aplicações e Desafios

The book Short Courses of the 38th Symposium on Computer Networks and Distributed Systems comprises the short courses selected for presentation at the 38th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), held online between December 7 and 10, 2020. The SBRC Short Courses Book has traditionally been used as high quality study material by undergraduate and graduate students as well as by IT professionals who work on computer networking and distributed systems. The short-courses presentations sessions are also an important opportunity to update the knowledge of the scientific community and to complement the attendees training. The main objective of the SBRC Short Courses is to offer short-term training and updating on topics not normally covered in the curriculum and to make both the students and professionals more interested in the area.
English Reading Literacy Of Secondary School Students In West Java According To Pisa And Pirls Model

This research aims at examining and describing the student’s reading literacy test results following the principles of two international studies of PISA and PIRLS. The sample of this study involves 15 schools at Sumedang Regency and 518 students consisted of 256 males and 262 females, coming from both accredited public and private schools. The results show that the students are able to do this international model of test quite well with the average score of 62.065. The students from public schools obviously get better achievement (64.95) than those from private ones (59.18). This is due to the fact that there are some influencing factors from the students themselves, the teachers, and school quality as well as their school environments examined in this research. The research is expected to provide alternative test model based on international standards to improve the quality of English education in secondary schools in Indonesia.
국어의 생략 현상에 대하여I

It is necessary to analyse normal Korean sentences for constructing a Korean sentence grammar, and in that regard the ellipsis phenomenon is a matter of the utmost importance. Ellipsis is defined as a phenomenon where a sentence element is omitted although it should be present in the sentence. A sentence in Korean where a subject is missing has no subject, not because it is omitted, but because it is not needed. Ellipsis is different from contraction which curtails the length of word or sentence. A sentence with ellipsis appears abnormal in terms of its syntax and semantics, which makes it possible to distinguish between elided sentence and normal sentence. Concrete examples of ellipsis concerns ellipsis of the modified in the modification construction and that of the verb ‘hada’, and several other types. It is believed that there are many more examples besides those examined in this paper. It is suggested in the paper that ellipsis is motivated not for the purpose of utterance economy, but for the purpose of communicative efficiency (or transparency). Due to the motivation and some other basic traits of Korean syntax, ellipsis takes place in the modification construction, etc. Ellipsis is a universal phenomenon, but the omittable object, the way of ellipsis, and its condition demonstrates language-particular characteristics. In particular, Korean and Indo-European languages show difference in sentence structuring, and thus in details of ellipsis.
Application of a Convolutional Neural Network and a Kohonen Network for Accelerated Detection and Recognition of Objects in Images

One of the most effective ways to improve the accuracy and speed of algorithms for searching and recognizing objects in images is to pre-select areas of interest in which it is likely to detect objects of interest. To determine areas of interest in a pre-processed radar or satellite image of the underlying surface, the Kohonen network was used. The found areas of interest are sent to the convolutional neural network, which provides the final detection and recognition of objects. The combination of the above methods allows to speed up the process of searching and recognizing objects in images, which is becoming more expedient due to the constantly growing volume of data for analysis. The process of preliminary processing of input data is described, the process of searching and recognizing patterns of aircraft against the underlying surface is presented, and the analysis of the results is carried out. The use of the Kohonen neural network makes it possible to reduce the amount of data analyzed by the convolutional network by 18–125 times, which accordingly accelerates the process of detection and recognition of the object of interest. The size of the parts of the input image fed into the convolutional network, into which the zones of interest are divided, is tied to the image scale and is equal to the size of the largest detectable object, which can significantly reduce the training sample. Application of the presented methods and centering of the object on training images allows accelerating the convolutional network training by more than 5 times and increasing the recognition accuracy by at least 10%, as well as minimizing the required minimum number of layers and neurons of the network by at least halving, respectively increasing its speed.
Efektivitas Powerpoint Bernarasi Pembelajaran Daring Pada Materi Iklim di SMP Prawira Marta Kartasura Kabupaten Sukoharjo

The purpose of this study was to determine the effectiveness of powerpoint with daring learning narrative on climate material at SMP Prawira Marta Kartasura, Sukoharjo Regency. This research is a quantitative research. The design used is the One-Group Pretest-Postest. The data collection techniques used were documentation, observation and tests. The prerequisite test for data analysis used the normality test. Test data analysis using the T test (T-Test) to answer the hypothesis. The population in this study were all students of class VIII and IX SMP Prawira Marta, totaling 31 students. Sampling using saturated sampling, namely all members of the population become the research sample. The results showed that the research conducted at SMP Prawira Marta showed the results of the pretest and posttest data hypothesis testing in the analysis of the t-test hypothesis which showed the value of 0.000 <0.05 so that the hypothesis was accepted. Based on the results of data analysis in this study, it can be concluded that the powerpoint narrative media is Effective in using climate material daring learning at SMP Prawira Marta. The results of learning using narrative powerpoint learning media have increased, namely the results of the study show the average pretest value of 54.8 while the average posttest score is 76.45. So that there is an increase in the average pretest and posttest. In the percentage, the increase in learning outcomes is 39.50%.
Lightweight aggregates to reduce heavy metal pollution in green infrastructure for urban stormwater management

&amp;lt;p&amp;gt;The impervious nature of urban areas is mostly responsible for urban flooding, runoff water pollution and the interception of groundwater recharge. Green infrastructure and sustainable urban drainage systems combine natural and artificial measures to mitigate the abovementioned problems, improving stormwater management and simultaneously increasing the environmental values of urban areas. The actual rate of urban growth in many urban areas requires the enhancement and optimization of stormwater management infrastructures to integrate the territorial development with the natural processes. Regarding the quality of runoff stormwater, heavy metals are critical for their impact on human health and ecological systems, even more if we consider the cumulative effect that they produce on biota. Thus, innovative stormwater management approaches must consider new solutions to deal with heavy metal pollution problems caused by runoff. In this study, we propose the employment of Arlita&amp;lt;sup&amp;gt;&amp;amp;#174;&amp;lt;/sup&amp;gt; and Filtralite&amp;lt;sup&amp;gt;&amp;amp;#174;&amp;lt;/sup&amp;gt;, two kind of lightweight aggregates obtained from expanded clays, to remove heavy metal concentration from runoff stormwater. Laboratory experiments were developed to evaluate the removal rate of different heavy metals existent in runoff stormwater. The lightweight aggregates acted as filter materials in column experiments to quantify their removal capacity. In addition, batch tests were also developed to evaluate the exhaustive capacity of the materials. Results from the study confirmed the efficiency of the selected lightweight aggregates to reduce the heavy metals concentration by up to 90% in urban stormwater runoff.&amp;lt;/p&amp;gt;
Handleiding Archeologisch Tekenen

This guide is born from the often-voiced desire for standardising the style of images used in archaeological publications. It explains the various aspects of drawing archaeological material, treating the drawing of complete vessels, potsherds and other artefacts, as well as the marking and photographing of finds and the scanning of drawings. Creating well-designed visual documentation is an essential part of presenting a clear archaeological narrative.
Εφαρμογή έξυπνων συμβολαίων σε αγοραπωλησίες ακινήτων

Blockchain platforms are based on transformative technology that can provide reliability, integrity, and control without confidential entities. One of the key features ofthese platforms is the reliable decentralized execution of general-purpose calculations inthe form of smart contracts, which are considered to have a wide range of applicationsfrom finance to the Internet of Things. As a result, a rapidly expanding and active community of smart contract manufacturers has emerged in recent years. Some research efforts have explored the technological challenges faced by smart contract manufacturers.However, very little is known about the community itself, the developers and the topicsthey are looking for and interesting.Smart contracts are a new technology that emerges with strength because of theopportunities and advantages it can offer. The main innovation is that the terms agreedupon by the parties to regulate their relationships are executed automatically by a computer program. Then, from a legal point of view, we need to analyze whether they complywith the essentials of the contract - agreement, object and cause and key concerns duringits existence regarding formation, performance and breach. We also need to check thatsmart contracts are in line with existing principles of contract law and offer some solutions and encourage lawmakers and lawyers to ignore these contracts for legal certainty.Using smart contracts allows us to tackle the challenge of transparency, longevityand trust in web applications. However, real applications that use smart contracts mustdeal with important exchanges (compromises), such as performance, privacy and thechallenge of being properly written.
LibGuides: Streaming Video: A Guide to Streaming Video Collections from NOVA Libraries: Academic Video Online

A guide to finding and using streaming video for use in courses. Questions? Email LTS@nvcc.edu
Pemanfaatan Layanan E Book Oleh Pemustaka di Perpustakaan IAIN Kediri

This research aims to see the extent to which e-book services at IAIN Kediri have been utilized by musicians. The theory used is ebook and Pustaka services. Using a qualitative approach, this study concluded that ebook services are very useful for respondents. The majority of users know the collection over the internet. Pemustaka is able to browse e-book collections independently without using the help of librarians. Pemustaka explores the collection of e-books through a google search engine and web library. The behavior of the user in using the e-book service is: directly read on the screen, download the e-book file, saved as a private collection, in print., respondents make use of the collection of e-books for personal collections and references. While the information in the e-book is used by respondents to create articles, and add knowledge.
PENERAPAN MODEL PEMBELAJARAN PJBL-STEAM MENGGUNAKAN MEDIA VIDEO CAMTASIA UNTUK MENINGKATKAN LITERASI PADA PEMBELAJARAN BAHASA INDONESIA KELAS V SDN 120 BERRU, SOPPENG

This best practice is a report on the author's experience in applying the PjBL-STEAM learning model by using the Camtasia video media to improve learning literacy in Indonesian V grade SDN. 120 Berru. The background of this best practice is that the teacher does not involve the role of student activities, the students' learning outcomes are not optimal, especially in the field of literacy, the teacher does not use learning media, the teacher does not motivate and interact with students to produce products from learning outcomes. This best practice research is focused on improving literacy through PjBL-STEM with classroom action research methods consisting of planning, action, observation, and reflection. An instrument for data collection. includes student activity observation sheets, learning outcomes tests, interviews, and documentation. The results of this best practice report are taken data after 2 cycles of classroom action research. The results of the qualitative analysis show that the average score of activities and student learning outcomes has increased. Learning activities in the first cycle of the average score of Indonesian learning activities are 60% in the fairly good category and in the second cycle, there is an increase in the average score of Indonesian learning activities, which is 84% ​​in the good category. The learning results in the first cycle showed an average score of 63 learning activities in a fairly good category and in the second cycle, there was an increase of 77 in the good category. Based on the results of this study, it was concluded that applying the PjBL-STEAM learning model using video Camtasia media can improve learning literacy.
Estimation technique of global fringe contrast using in interferometers with adjustable contrast

In the accuracy measurement of phase from interferometers with adjustable fringe contrast, it needs to estimate the contrast of experimental patterns so as to obtain the interference patterns with the maximum contrast. We develop the Fourier-polar transform and combine the directional projection to estimate the global contrast of carrier fringe pattern. The technique is especially used for low-quality fringe pattern such as low contrast and low signal to noise ratio (SNR) that often appear in the interferometric experiment. An illustrative experiment based on the radial shearing interferometer is given. Results generated from this technique are compared with the derived values from theoretical model, and exemplary agreement between both is demonstrated.
An Analysis of Types and Causes of Errors in Chinese EFL Students’ Writing

Given the significance of the development of productive skills in college English teaching in China, writing assessment and evaluation have gained much attention. Previous studies have pointed out that the extent of improvement in learners’ writing proficiency can be due to differences in the teaching objectives, syllabus and curriculum. Based on error analysis theory and transfer theory, this paper explores the common types and underlying causes of errors in Chinese EFL students’ writings. In data collection, non-English major students from Zhejiang University of Finance and Economic were asked to complete a writing assignment on Pigai Website as their coursework. Pigai, with automatic processing and scoring, conducts online correction and identifies the errors in the writing samples. Altogether, 70 compositions were collected. A semi-structured interview was carried out to get more in-depth insights into learner’s writing process. Findings indicated that three typical types of writing errors were among EFL students’ writing samples: lexical errors, grammatical errors and discourse errors. Among them, grammatical errors ranked the top, followed by the lexical errors and the discourse errors. Moreover, mother tongue interference, target language interference and psychological factors partly explained the errors in Chinese EFL students’ writing. It is hoped that the detailed analysis of writing errors can improve EFL learners’ writing proficiency and reduce errors in their writing performances.
The Demand for Cybersecurity and SOC Analysts

In this chapter we’ll discuss the demand for cybersecurity professionals at three different levels, starting with the demand for cybersecurity workers, then address the demand of cybersecurity analysts and, finally, the demand for security operations center (SOC) analysts.
I absolutely dislike automated customer "service" call ...

I absolutely dislike automated customer service call handling system. @dell your system is especially BAD. Cancelling my order just because of this.