Reviewerly/exHarmony huggingface dataset:
A model-based system engineering approach to manage railway safety-related decisions

The safety assessment of Safety Critical Systems (SCSs) is a challenging task since it involves different actors and a combination of several knowledge domains.This increases the complexity of the integration of safety requirements into the design model.Consequently, there is a need for a shared model with an unambiguous terminology aiming to avoid misunderstandings between both safety and design teams.In this paper, we propose a model-based system engineering approach in order to support the goal-oriented safety reasoning and to provide a common model between both safety and requirement engineering driven by goals.Furthermore, the present study considers the safety rules development process based on the Organization-based Access Control (Or-BAC) model, which is normally used to improve the security of the information systems.Then, the common vocabulary proposed for the interpretation of the considered notions of domains is defined.Moreover, safety requirements are expressed with a high level of abstraction according to the required railway knowledge and the requirement traceability process is considered through an up-bottom reasoning using the Unified Modeling Language (UML) diagrams.The proposed approach aims to provide a methodology able to identify safety conditions in order to anticipate risks and to make better safety-related decisions.Finally, the proposed methodology is evaluated through a real accident scenario analysis in order to validate its adaptability to represent real critical situations.
Seamless and non-repetitive 4D texture variation synthesis and real-time rendering for measured optical material behavior

We show how to overcome the single weakness of an existing fully automatic system for acquisition of spatially varying optical material behavior of real object surfaces. While the expression of spatially varying material behavior with spherical dependence on incoming light as a 4D texture (an ABTF material model) allows flexible mapping onto arbitrary 3D geometry, with photo-realistic rendering and interaction in real time, this very method of texture-like representation exposes it to common problems of texturing, striking in two disadvantages. Firstly, non-seamless textures create visible artifacts at boundaries. Secondly, even a perfectly seamless texture causes repetition artifacts due to their organised placement in large numbers over a 3D surface. We have solved both problems through our novel texture synthesis method that generates a set of seamless texture variations randomly distributed over the surface at shading time. When compared to regular 2D textures, the inter-dimensional coherence of the 4D ABTF material model poses entirely new challenges to texture synthesis, which includes maintaining the consistency of material behavior throughout the 4D space spanned by the spatial image domain and the angular illumination hemisphere. In addition, we tackle the increased memory consumption caused by the numerous variations through a fitting scheme specifically designed to reconstruct the most prominent effects captured in the material model.
Measuring the Effectiveness of Phishing Detection Tool: Comparative Study on Pattern Matching and User Rating Technique

Phishing incidents continues to increase each year and becoming a global threat despite of having phishing detection tools in place.Successful phishing attacks are causing huge loss of money to Internet users and financial Institutions globally and several anti-phishing tools had been proposed to mitigate against phishing.A popular phishing detection tool currently used is the user rating technique, in which users will submit suspicious phishing URLs to a Phishing Blacklist Database, that for verification if it is phishing site.However, it is unclear to the effectiveness of this mechanism in detecting a suspicious site as a phishing website and in mitigating phishing attacks.The shortcomings and setbacks to this approach, in some aspects, needs to be improved and for this purpose, this paper proposes a new phishing detection tool which uses pattern matching technique in detecting a suspicious site as a phishing website.Our findings from this paper will be looked in terms of the speed of detection, false alarm, accuracy and interdependability in comparison to the current phishing detection tool.
An empiric path towards fraud detection and protection for NFC-enabled mobile payment system

The synthesis of NFC technology accompanying mobile payment is a state-of-the-art resolution for payment users. In view of rapid development in electronic payment system there is rise in fraudulent activity in banking transactions associated with credit cards and card-not-present transaction. M-Commerce aid the consumers and helps to bestow real-time information in payment system. Due to the familiarization of m-commerce there is cogent increase in the number of fraudulent activities, emerging in billions of dollar loss every year worldwide. To absolute the security breaches, payment transactions could be confined by considering various parameters like user and device authentication, consumer behavior pattern, geolocation and velocity. In this paper we formally assay NFC-enabled mobile payment fraud detection ecosystem using score-based evaluation method. The fraud detection ecosystem will provide a solution based on transaction risk-modeling, scoring transaction, business rule-based, and cross-field referencing. The score-based evaluation method will analyze the transaction and reckon every transaction for fraud risk and take pertinent decision.
Hammock-based Identification of Changes in Advice Applications between Aspect-oriented Programs

In an aspect-oriented program, the cross-cutting functionalities are defined in pieces of advice such that they apply to program-execution points for the core functionalities. Program changes can affect the application of pieces of advice. To that end, a source-code differencing tool, for two versions of an aspect-oriented program, needs to support the identification of changes in pieces of advice at locations of their applications. To alleviate this task, we introduce an extension of the existing differencing technique for object-oriented programs. We implemented a tool AjDiff and used it to evaluate our technique on the two examples of aspect-oriented programs: Tracing and Telecom. We manually verified that our tool can successfully identify changes in pieces of advice at locations of their application.
The Imparative Of Repositioning Nigeria’s Development Initiative Through Agriculture, The Neglected Path

Through series of age-long interactions and experimentations, agricultural production with its associated technologies, has always been the pivot for rural and general socio-economic development. By implication, at least among the Third World countries, agriculture, among other sectors and depending on how it is managed, addresses poverty and unemployment challenges. Since antiquity, Nigeria has practiced agriculture, yet rising food insecurity, unemployment, poverty and stagnated development prevail. These are reversible with adoption of the UN 2030 Sustainable Development Goals (UN, 2015). The challenge to social science prompted this empirical research in Lapai community with the aim of interrogating Nigeria’s agricultural practices, issues and prospects towards widening fact based knowledge for enhanced and beneficial agricultural production. The research relied on both quantitative and qualitative methods and generated data from famers in the locality. Among the findings are that systemic exclusive governance and associated impunity, waste, and leadership failure, among others, stagnate agricultural production, grow poverty, unemployment and socio-economic development crisis. Respondents identify government and culture as the sources of the country’s failure in agricultural production and related socio-economic problems and also hold the view that these forces should lead the deconstruction of the problem. Respondents view grassroots attention to farmers as key in developing Nigeria. Among the recommendations are strategic inclusiveness of farmers and all stakeholders in agricultural planning and implementation, liberalized extension services to farmers including financing, training, tools and seedlings.
An Application of Natural Language Processing: Named Entity Recognition with BLSTM in Chinese Corpora

Author(s): Mao, Lihui | Advisor(s): Wu, Yingnian | Abstract: This paper presents the idea behind resume screening system used by human resources. The implementation of NER offers a practical scenario for natural language processing in the real world. We first review the traditional solutions to sequential labeling tasks but then point out their drawbacks. Non-linear neural networks including LSTM and its variants are then introduced. By experimentally investigating the performance of four models on different NER tasks, we conclude that BLSTM-CRF with character-level embedding obtains the best performance on all evaluation matrices. Finally, the case study is employed to analyze the model performance, and offer a thorough bridge connecting the confusion matrix and the experimental data set.
PENGARUH DUKUNGAN MANAJEMEN PUNCAK, KETERLIBATAN PENGGUNA, FORMALISASI PENGEMBANGAN SISTEM, PELATIHAN DAN PENDIDIKAN TERHADAP KINERJA SISTEM INFORMASI AKUNTANSI (Studi di Badan Pendapatan Pengelolaan Keuangan dan Aset Daerah Kota Surakarta)

The purpose of this research is to analyze the significance of the influence of top management support, user engagement, formalisasi systems development as well as training and education of accounting information system on performance of the Agency's Revenue Financial and assets management Area of the city of Surakarta. The research results obtained conclusions that: 1) there is a significant positive influence on the support of top management on performance information system accounting. 2) there is a significant positive influence on user engagement on performance of accounting information system on Financial management of Income and assets of the regional city of Surakarta. 3) there is a significant positive influence on the development of formalisasi system on performance of accounting information system on Financial management of Income and assets of the regional city of Surakarta. 4) there is a significant positive influence on training and education on performance system of accounting information on Income and assets financial management Area of the city of Surakarta. Keywords: top management support, user engagement. formalisasi systems development, training and education, the accounting information system performance.
Multi-PQTable for Approximate Nearest-Neighbor Search

Image retrieval or content-based image retrieval (CBIR) can be transformed into the calculation of the distance between image feature vectors. The closer the vectors are, the higher the image similarity will be. In the image retrieval system for large-scale dataset, the approximate nearest-neighbor (ANN) search can quickly obtain the top k images closest to the query image, which is the Top-k problem in the field of information retrieval. With the traditional ANN algorithms, such as KD-Tree, R-Tree, and M-Tree, when the dimension of the image feature vector increases, the computing time will increase exponentially due to the curse of dimensionality. In order to reduce the calculation time and improve the efficiency of image retrieval, we propose an ANN search algorithm based on the Product Quantization Table (PQTable). After quantizing and compressing the image feature vectors by the product quantization algorithm, we can construct the image index structure of the PQTable, which speeds up image retrieval. We also propose a multi-PQTable query strategy for ANN search. Besides, we generate several nearest-neighbor vectors for each sub-compressed vector of the query vector to reduce the failure rate and improve the recall in image retrieval. Through theoretical analysis and experimental verification, it is proved that the multi-PQTable query strategy and the generation of several nearest-neighbor vectors are greatly correct and efficient.
Work in Progress: Visualizing Design Team Analytics for Representing and Understanding Design Teams’ Process

is a Learning Analytics Scientist with interest in design research, learning analytics, research methods and under-representation in engineering, A major strand of his work focuses on developing and analyzing learning analytics that model students' cognitive states or strategies through fine-grained computer-logged data from open-ended technology-centered science and engineering projects.His dissertation research explored the use of Minecraft to teach early engineering college students about the design process.
Development of Thinking Skills in Early Childhood

This research aims to obtain empirical data on the effect of reading method and thinking skills toward intelligence language of early childhood. Thus the researchers wanted to investigate the causal relationship between the reading method and thinking skills with the intelligence language of children by giving treatment to the experimental group and compared it with the control group. This study used a treatment design by level 2 x 2 be In the design, each of the independent variables are classified into two sides, includes action variable that is reading methods (A) are classified into the Big Book Methods (A1) and Syllables Method (A2). Whereas moderator variables that is thinking skills (B), are classified based on high and low level into high-level thinking skills (B1) and low-level thinking skills (B2). ANOVA calculation results showed that language skills of children who followed reading activities by using the Big Book method is higher than the language skills of children who attend reading activities by using Syllables method. Thus, there is the effect of the application of the Big Book method and Syllables methods toward language skills of children.
“It’s Modern Day Presidential! An Evaluation of the Effectiveness of Sentiment Analysis Tools on President Donald Trump’s Tweets”

This paper reports on an evaluation of five commonly used, lexicon-based sentiment analysis tools (Mean-ingCloud, ParallelDots, Repustate, RSentiment for R, SentiStrength), tested for accuracy against a collection of Trump's tweets spanning from election day November 2016 to one year post inauguration (January 2018).Repustate was found to be the most accurate at 67.53%.Our preliminary analysis suggests that this percentage reflects Trump's frequent inclusion of both positive and negative sentiments in a single tweet.Additionally to providing an evaluative comparison of sentiment analysis tools, a summary of shared features of a number of existing datasets containing Twitter content along with a comprehensive discussion is also provided.
Managing Discipline-Specific Metadata Within an Integrated Research Data Management System

Our university intends to improve the central IT-support for management of research data. A core demand is supporting FAIR guiding principles. In order to make research data findable for future research projects, an application for the creation and storage of structured meta data for research data was developed. The created meta data repository enable creating, maintaining and querying research data based on discipline-specific properties. Since large number of meta data standards exist for different scientific domains, technologies from the areas of Linked Data and Semantic Web are used to process and store meta data. This work describes the requirements, the design and the implementation a the meta data application that can be integrated into existing research work flows and gives an overview of technical backgrounds used for creating the meta data repository.
Exploring Factors Influencing the Continued Interest in a Computer Science Major

For this research paper, our study used a qualitative approach to better understand factors that impact the retention of students in computer science majors and minors at Virginia Tech, a large research university, and whether there were differences by gender.With increasing industry demand for graduates with computer science degrees, it is important for universities to identify methods for attracting and retaining students, particularly women, in computer science.Interactionalist theory which suggests student retention to a degree is based on personal and environmental factors provided the framework guiding our study.In addition, career certainty models allowed us to investigate how experiences at the undergraduate level influenced career interest in computer science.Questions included prompts to reflect on environmental and personal factors that sustained or diminished interest in continuing within a computer science degree and ultimately a career.Significant results suggest that females and males have a similar undergraduate experience and our results indicate that across institutions there are actionable steps that faculty members and graduate teaching assistants can take to positively influence career interest in computer science for undergraduates.Results also underscore steps that faculty can take to design educational approaches within their classrooms that would sustain interest in a computer science degree among both males and females.
Experience in applying a local analysis an sulfur isotopes in the ore sulfides of the largest deposits of Bodaibinsky Synclinoria (Eastern Siberia)

The experience of LA—ICP determining of the isotopic composition of sulfur pyrite and arsenopyrite of gold deposits of the Baikal-patomsky plateau is considered. The technique is characterized. It is shown that all the studied samples have values δ34S and δ33S strictly corresponding to the law of mass-dependent fractionation of sulfur isotopes. A regular alleviation of the isotopic composition of sulfur of pyrite as its crystals grow for Sukhoi Log and the isotopic homogeneity of pyrite and pyrrhotite of the Golets Vysokhashiy deposit are established. It is concluded that the possible role of metamorphism of the Mamsko-Oronsky belt in the formation of isotopic homogeneity of ore sulfides.
The status quo of employee engagement in Jordanian secondary schools: principals' and teachers' perspective

This study aimed at identifying the status quo of employee engagement in Jordanian secondary schools from their principals' and teachers' perspective. To achieve the research objectives, the descriptive survey approach was adopted. The randomly selected study sample consisted of (205) male/female principals and (377) male/female teachers, from public and private schools in Amman, Jordan. A 19-item questionnaire was developed on employee engagement divided into four dimensions: communication, growth, recognition and trust. The results of the study indicated that the total degree of the status quo of employee engagement in secondary schools in Jordan from the perspective of their principals and teachers was moderate, as well as all four dimensions of the scale. Furthermore, the findings of the study showed significant differences at (α ≤ 0.05) in the total degree of the study sample's perceptions, attributed to teaching sector and job title, in favour of the private sector and principals respectively. Thus, the researchers recommended setting standards for hiring and assessing school leaders who are responsible for engaging their staff at work, in addition to raising awareness about the significance of the employee engagement factor as a prerequisite for educational development.
The Time Operator of Reals

The purpose of the paper is to establish the continuum in terms of the complex systems physics. It is based upon the intuitionistic mathematics of Brouwer, implying a processual definition of real numbers that concerns the measurement problem. The Brouwerian continuum is proved to be a categorical skeleton of complex systems whose determining feature is the existence of time operator. Acting on continuous signals, the time operator represents multiresolution hierarchy of the measurement process. The wavelet domain hidden Markov model, that recapitulates statistical properties of the hierarchy, is applicable to a wide range of signals having experimental verification. It indicates a novel method that has already been proved tremendously useful in applied mathematics.
Architecture for Mapping Relational Database to OWL Ontology: An Approach to Enrich Ontology Terminology Validated with Mutation Test

Ontologies are structures used to represent a specific domain. One well-known method to simplify the ontology building is to extract domain concepts from a relational database. This article presents an architecture which enables an automatic mapping process from a relational database to OWL ontology. It proposes to enrich the terminology of ontology elements and it was validated with mutation tests. The architecture mapping process makes use of new and existent mapping rules and overcome lacks not previously addressed, such as the use of database logic model to eliminate duplicated elements of ontology and mapping inheritance relationships from tables and records. We stand out the structure of element mapping, which allows maintaining source-to-target traceability for verification. We validate our approach with two experiments: the first one focuses on architecture validation applying an experiment with three scenarios and the second one uses a testing engine applying a mutation test methodology to OWL ontology validation.
A Study on the Innovation Efficiency Evaluation by the R&amp;D Operation Type: Focused on the Information Services Industries

As the necessity of nurturing the root industry, which is the source of the value chain structure of the manufacturing industry, is increasing, productivity improvement through manufacturing innovation is becoming an important issue in order to improve the pettiness of SMEs belonging to that industry. As part of these efforts, various policy support is provided, such as the introduction of smart factories, but there is no consensus with the companies on the necessity and method of promoting manufacturing innovation. The purpose of this study is to derive the status and problems of manufacturing innovation based on in-depth interviews with domestic small and medium-sized root manufacturing companies, and then present customized manufacturing innovation strategies for each root industry through interviews with experts. In addition, this study presents a roadmap for implementing customized manufacturing innovations for root SMEs. The roadmap is divided into process design, facility maintenance, manufacturing execution, and quality analysis stages. The requirements for introduction stage and settling stage for manufacturing innovation are presented separately. Lastly, according to the roadmap suggested in this study, it is expected to provide a solution for the manufacturing innovation of small and medium-sized root manufacturing companies by providing effective effect on the value chain if the manufacturing innovation is successfully settled.