Reviewerly/exHarmony huggingface dataset:
Study on image stitching algorithm of surface defects three-dimensional features measurement with transient interferometry

Surface defects on large-aperture optical elements are one of the key factors to restrain the improvement of performance of high-power laser systems. Detecting and characterizing accurately these defects are an important basis for optical elements manufacturing and system performance evaluation. Based on the principle of transient interferometry, a measurement setup used to detect the three-dimensional features of surface defects is reported in this paper. We also propose a template matching and stitching algorithm for interferometric images obtained by the system: Firstly, determining whether the interference images have enough features to complete the stitching work; secondly, selecting the stitching template in the area where the template image needed to be stitched; Finally, searching for the template in the stitched image, and calculating the relative offset of these two images according to the relative position of the template to complete the stitching work. Through simulation analysis and actual image obtained by the measurement system verification, the proposed algorithm has the advantages of good noise resistance and high mosaic accuracy. Moreover, it has a positive significance for the study of transient interferometry detection.
Mw 5.5~6.5 지진동의 위상특성과 계속시간 및 PGA와의 관계

The phase properties of ground acceleration records from Mw 5.5~6.5 earthquakes are analyzed. The interrelationships between phase properties and significant durations, as well as PGA, are clarified through both of theoretical and empirical approaches. The probabilistic characteristics of phase information is also discussed based on previous studies and it is shown that circular normal distribution is the most appropriate probability distribution for the phase angle and phase difference. Whereas those variates can be modeled by Gaussian random variables. From the survey results on the frequency dependency of the phase statistics, a simple model is introduced, which is possible to express the frequency dependency of phase information. It is also shown that the significant duration can be controlled by appropriately chosen standard deviation of phase difference for 4~8Hz frequency band and additional consideration of phase scattering in higher frequency band through a series of Monte Carlo simulations. The source of phase scattering effect is also pointed out and discussed.
Assamese POS-Tagged Text

Assamese POS tagger is a CRF++ based POS Tagger. Raw text is given to this CRF++ based POS tagger to get POS tagged data. Standard POS tagset is used.---1. These Assamese NLP resources including the Tools and Applications are developedduring Research and Development Projects as well as Masters and Ph.D. thesisworks.2. These are mainly developed or generated at Gauhati University Department ofComputer Science and Department of Information Technology.3. These resources are used by students and researchers for further studies, researches, aswell as for design and development of tools and applications.4. Computational Linguistics in Assamese is not rich, and Natural Language Processingworks have mainly started during last two decades, and most of the resources are firstgeneration resources, and with ample scope for upgrading, enriching, and purifying.5. These are very good and essential resources for all the researchers in Assamese NLP, asthe language requires more and more NLP works to make Assamese a rich media forthe digital world.6. Anyone interested, or in need of such resources may express their interest for therequired resources, and the way of availability will be advised/informed accordingly.7. These are purely research materials and could only be used for further research only.8. Researchers may visit the NLP Lab of Department of Information Technology, GauhatiUniversity, Guwahati, India or contact us.9. Researchers interested in collaborative works, and also students for project works, arewelcome.10. Contact person is Professor Shikhar Kr. Sarma, Department of InformationTechnology, Gauhati University, Guwahati 781014, Assam, India. Email-sks@gauhati.ac.in
Facial image retrieval on semantic features using adaptive mean genetic algorithm

The emergence of larger databases has made image retrieval techniques an essential component and has led to the development of more efficient image retrieval systems. Retrieval can either be content or text-based. In this paper, the focus is on the content-based image retrieval from the FGNET database. Input query images are subjected to several processing techniques in the database before computing the squared Euclidean distance (SED) between them. The images with the shortest Euclidean distance are considered as a match and are retrieved. The processing techniques involve the application of the median modified Weiner filter (MMWF), extraction of the low-level features using histogram-oriented gradients (HOG), discrete wavelet transform (DWT), GIST, and Local tetra pattern (LTrP). Finally, the features are selected using Adaptive Mean Genetic Algorithm (AMGA). In this study, the average PSNR value obtained after applying the Wiener filter was 45.29. The performance of the AMGA was evaluated based on its precision, F-measure, and recall, and the obtained average values were respectively 0.75, 0.692, and 0.66. The performance matrix of the AMGA was compared to those of particle swarm optimization algorithm (PSO) and genetic algorithm (GA) and found to perform better; thus, proving its efficiency.
Mobile Technologies and the Writing Classroom: Resources for Teachers Review

Review of edited collection titled Mobile Technologies and the Writing Classroom: Resources for Teachers. Review assesses content on a chapter-by-chapter basis, includes author's Twitter commentary and a short critique of elements possibly missing in the collection.
Family Self-Determination Of Students In The Process Of Professionalization

The socio-economic and political changes taking place in modern society has led to the transformation of the family as a social institution. Serious psychological problems associated with life choices and family self-determination are detected in the environment that youth live in. Against this background, studying the factors and conditions influencing the formation and development of family self-determination of students in the process of professionalization becomes particularly urgent. The purpose of this research is to study the characteristics of family self-determination of students depending on the educational and professional activities, educational environment and socio-psychological environment. To achieve this goal, a set of the following complementary research methods were used: theoretical and methodological analysis of literary sources; survey, psych diagnostic methods; and mathematical-statistical methods of data processing. The results of the empirical studyinvolving 774 university students indicate that the professional orientation (for example in such educational areas as Psychological and Pedagogical Education, Psychology, Sociology, Public and Municipal Administration, and Management) and the educational level are important determinants of activation of family self-determination for students. Professional orientation causes development of such components of family self - determination as cognitive, value - emotional, regulatory and behavioral, motivational, reflexive. Family self-determination of students in the process of professionalization in high school is a dynamic phenomenon. This stage of training is associated with the change of importance of such elements as the position of an individual in the family structure, attitude to the romantic type of love, my past, marriage motives – harmonious sexual relations, communication with people.
High Reliable Spatial Query Processing Using Secure RC5 Algorithm

Cloud computing data is stored over the distributed servers, which can be accessed with the help of user queries. In cloud computing, millions of user queries are processed by distributed server with less latency, high availability and high reliability. However, providing confidentiality user queries is still a challenging task due to the high vulnerability exist in the cloud environment. The existing mechanisms suffer from high computational and communication overhead, in addition to vulnerabilities still exists in their security mechanisms. In our proposed approach, any user send the spatial queries to the service provider, then the service provider use these spatial queries to check on the spatial encrypted data. User uses the RC5 key to decrypt the response messages. In this entire process, users is able to protect the data from the data leakage, reduces the communication overhead when compared with other existing mechanisms.
PEMBUATAN SISTEM PENGECEKAN KELULUSAN BERBASIS WEBSITE DI FAKULTAS TEKNIK UNIVERSITAS SURABAYA

College students certainly want to graduate with the best results and on time or faster. Graduation checking system in the University of Surabaya, especially in the Engineering Faculty have not been able to completely follow the curriculum changes that occur. In addition, students have difficulties to check their prerequisite to graduate in their respective department. Until now, the system still using desktop-based application. It is difficult for students who do not have the app. Creating a graduation checking systemwebsite-based in the Engineering Faculty University of Surabaya aims to facilitate students to graduation prerequisite checks in each department. The system is made tocheckvarious aspects of the graduation requirements in each department. This system will compare the courses taken by students with courses that must be taken and ensure that students can graduate and fulfill all prerequisites with lectures contract. The trial results showed that students who use this system will be easier to check what are the prerequisites of graduation and find out what deficiencies unmet graduation prerequisite. Thus, administrative officer, Academic Advisor, and the Head of Department may determine the graduation of each student in each department more efficiently.
Research on the Education Reform of Desktop Virtualization Teaching Based on Cloud Computing

Education informatization has entered the period of application transformation, and is gradually changing from building infrastructure platforms such as campus network to deepening application, so as to drive the development of modern education. This paper proposes to use the desktop virtualization teaching platform based on cloud computing to realize the rapid development of education informatization compared with the traditional PC application program with its features of low cost, high reliability, low maintenance, high security and flexibility.
The Discourse Of Professional Identity Construction Of Beginning Teachers

This research focuses on the process of designing teachers’ professional identity. The main objective is to carry out an in-depth description of the stages of the process of constructing a professional identity. The main focus is on the abilities and constructs of personality which is formatting during studies at the university. The main aim is to analyse the basic factors of teacher’s professional identity formation. In this qualitative oriented research design, mind mapping based on narrative analysis, semi-structured interview, open coding analysis of the statements were used as the data collection methods. The output of the research is the concept and creation of the discourse, structures, and semi-structures of the self-identity development and professional self-concept with focus on reconstruction and construction the subjective conceptualization of the teachers’ profession perception. Based on this discourse analysis, we intend to present the conceptual apparatus in theory of teachers’ education.
Code generation from formal models for automatic RTOS portability

Current approaches for portability of real-time operating systems (RTOSs) for embedded systems are largely based on manual coding, which is arduous and error prone. With increasing dependability requirements for cyber physical systems, specially within the Internet of Things (IoT), along with the expected great diversity of hardware platforms, software platforms will only remain competitive in the long run if they guarantee correct operation and easy deployment to every hardware platform. In this scenario, a new approach to the development and portability of RTOSs that guarantees correct implementations for all current and future devices and hardware architectures becomes indispensable. We present a framework for automatic RTOS portability that integrates model-based design and formal methods into dependable embedded software development. We focus specially on modeling the interaction between software and hardware in order to generate low-level code. This enables automatic portability for hardware-related parts of the OS (i.e., context switching, memory management, security aspects, etc,) as well as for on-chip peripheral drivers (i.e., timers, I/O, etc.). With our framework we will be able to prove the consistency of the refinements as well as that the RTOS model fulfills various functional and non-functional requirements. Automatic code generation guarantees that the model is correctly translated to machine language, avoiding implementation mistakes common to manual coding. Changes on the software, for bug fixes or testing of new concepts, for example, do not require knowledge of the target architectures, since they are done on the model and are immediately reflected in all implementations upon code generation, assuring consistency across platforms.
System for automatic generation of logical formulas

The satisfiability problem (SAT) is one of the classical and also most important problems of the theoretical computer science and has a direct bearing on numerous practical cases. It is one of the most prominent problems in artificial intelligence and has important applications in many fields, such as hardware and software verification, test-case generation, AI planning, scheduling, and data structures that allow efficient implementation of search space pruning. In recent years, there has been a huge development in SAT solvers, especially CDCL-based solvers (Conflict-Driven Clause-Learning) for propositional logic formulas. The goal of this paper is to design and implement a simple but effective system for random generation of long and complex logical formulas with a variety of difficulties encoded inside. The resulting logical formulas, i.e. problem instances, could be used for testing existing SAT solvers. The entire system would be widely available as a web application in the client-server architecture. The proposed system enables generation of syntactically correct logical formulas with a random structure, encoded in a manner understandable to SAT Solvers. Logical formulas can be presented in different formats. A number of parameters affect the form of generated instances, their complexity and physical dimensions. The randomness factor can be entered to every generated formula. The developed application is easy to modify and open for further extensions. The final part of the paper describes examples of solvers’ tests of logical formulas generated by the implemented generator.
Investigation on the Feasibility of Establishing an Anti-fraud Platform in Colleges and Universities

The model of anti-fraud platform in colleges and universities highlights the crucial role of the combination of colleges and universities with large data in combating fraud. It aims to solve various problems such as the lack of legal provision in small-sum fraud, and forms a radiation circle of anti-fraud centred on colleges and universities. By analysing existing research achievements and challenges of anti-fraud platform in colleges and universities, this paper makes an in-depth discussion on the mode of anti-fraud platform in colleges and universities.
Roles and Proficiency of Systems Librarians as Managers of Library Systems in Academic Libraries in Nigeria

The study explores the roles and proficiency of the systems librarian as manager of library systems in academic libraries in Nigeria. Specifically, the forms of training, level of proficiency in requisite ICT skills as well as the ability to perform the roles of systems librarians by librarians in the systems department of academic libraries in some universities in Nigeria were examined. The results revealed that most systems librarians in Nigeria acquire their training through self studies, colleagues and on the job and that their proficiency both in the requisite ICT skills and their ability to perform their specialized roles is low. The study demonstrated that the low proficiency in the requisite ICT skills possessed by the respondents accounted proportionately for their poor proficiency in performing their roles as systems librarians. The study re-echoes the need for urgent overhauling of LIS school curriculum to include more contents on systems librarianship.
ANALISA PERANCANGAN SISTEM INFORMASI MONITORING QUALITY AGENT SOCIAL MEDIA BERBASIS WEBSITE

PT. XYZ had 199 social media agents, 16 Team Leaders, 15 Quality Control Teams. All agents are sued for provide the right information and provide good services to customers for 24 hours. Quality teams was formed to monitor service quality for customers. Monitoring is carried out every day, and the result of monitoring will be given every 10 days (one period) from Quality Control Teams through Team Leaders. at this time, the result of monitoring are recapitulated manually using Microsoft Excel and sent via email. the result of monitoring will be seen by Team Leaders, if there is incompatibility then carried out the justifications process by email. currently monitoring process and justifications are carried out manually. The purpose of this research is to simplify monitoring process and make the process of monitoring more well- documented. This research using SWOT Analysis and Fishbone Diagram which called as Cause and Effect Diagram in analyzing related problems that experienced at this time, and produce solutions as expected. SWOT Analysis is abbreviation from internal environment which Strengths and Weakness, and external environments which Opportunities and Threats
Controlling the Transition of Hidden States for Neural Machine Translation

Recurrent Neural Networks (RNN) based Neural Machine Translation (NMT) models under an encoder-decoder framework show significant improvements in translation quality recently. Given the encoded representations of source sentence, the NMT systems generate translated sentence word by word, dependent on the hidden states of the decoder. The hidden states of the decoder update at each decoding step, deciding the next translation to be generated. In this case, the transitions of the hidden states between successive steps contribute to the decisions of the next token of the translation, which draws less attention in previous work. In this work, we propose an explicit supervised objective on the transitions of the decoder hidden states, aiming to help our model to learn the transitional patterns better. We first attempt to model the increment of the transition by the proposed subtraction operation. Then, we require the increment to be predictive of the word to translate. The proposed approach strengthens the relationship between the transition of the decoder and the translation. Empirical evaluation shows considerable improvements on Chinese-English, German-English, and English-German translation tasks, demonstrating the effectiveness of our approach.
Order-preserving graph grammars

The field of semantic modelling concerns formal models for semantics, that is, formal structures for the computational and algorithmic processing of meaning. This thesis concerns formal graph langu ...
Considering social factors in new technologies

New technologies that alter how we interact with other people come and go, creating new opportunities but also upending social norms. How should builders of new technologies consider the social implications of their systems?
A Study on Determination of Outlier Observations by Using Chi-Square Threshold Value

Outlier observations are observations that are out of the tendency of all observations in a data set. The observations come out in situations such as faulty observation, incorrect data entry. It is important to be able to identify these observations as the results of statistical analysis, for example such as multiple regression analysis, can be quite sensitive against to these observations. Outlier observations are mostly determined by using distance calculation, statistical test and density based approaches. In this study, the distances of each observation vector to the center were calculated with Mahalanobis distance by using R program. For this purpose, the features such as hematokrit (htc), hemoglobin (hgb), mean platelet volume (mpv), platelet distribution width (pdw), nonbacterial prostatitis (nbp) and pulse pressure values measured in the blood of 315 heart patients were examined as data set. As a result of the research, sixteen observations were found as outlier observation. It is thought that the result of this study will help the researchers trying to find out especially the outlier observations.
Block Binary Search Tree

This paper illustrates a novel data structure created by me called Block Binary Search Tree (BBST). BBST is a data structure which extends Binary Search Tree by replacing the key-value pair domain with an array of key-value pairs in each node of Binary Search Tree. It greatly reduces the space usage cost compared to B+ tree, Binary Search Trees and all kinds of different Self-Balancing Binary Search Trees such as AVL, RBT, Splay.
A world full of emojis

The XRDS blog highlights a range of topics from conference coverage, to security and privacy, to CS theory. Selected blog posts, edited for print, are featured in every issue. Please visit xrds.acm.org/blog to read each post in its entirety. If you are interested in joining as a student blogger, please contact us.
Optical cavities, coherent emitters, and protocols for diamond-based quantum networks

Quantum mechanics differs deeply from classical intuition and knowledge, sparking fundamental questions and radically new technology. Generating large entangled states between distant nodes of a quantum network will advance both domains. The nitrogen-vacancy (NV) centre in diamond is a promising building block for such a network. However, extending quantum networks to more nodes and larger distances relies upon improving the entangling efficiency of these defect centres. In this thesis we present experimental and theoretical work focused on addressing this challenge through embedding NV centres in an optical cavity, taking care to preserve coherence of the NV optical transition. We further analyze protocols for efficient quantum communication over an NV-based quantum network.
An Analysis of Motivational Actions Used by the Lecturers in Teaching Reading to Motivate the Students of Syariah Faculty at IAIN STS Jambi

This article was written to know motivational actions used by the lecturers in teaching reading English at Syariah Faculty at IAIN STS Jambi. This research was done to the first year students. The design of this research was descriptive research by using observation technique and written interview. Source of the data was all the activities of the English lecturers in the classroom. The result shown that all the English lecturers only applied six of the seven kinds of motivational actions. Those are: using visual aids, giving a praise, giving chance to the students to read, building a fun situation, giving direct rewards, and giving positive example. And building students’ knowledge was not applied by all of the English lecturers. From the research, it can be explained that all students were motivated in studying reading English when the lecturers applied motivational actions in teaching reading.