Does BLEU Score Work for Code Migration?

Statistical machine translation (SMT) is a fast-growing sub-field of computational linguistics. Until now, the most popular automatic metric to measure the quality of SMT is BiLingual Evaluation Understudy (BLEU) score. Lately, SMT along with the BLEU metric has been applied to a Software Engineering task named code migration. (In)Validating the use of BLEU score could advance the research and development of SMT-based code migration tools. Unfortunately, there is no study to approve or disapprove the use of BLEU score for source code. In this paper, we conducted an empirical study on BLEU score to (in)validate its suitability for the code migration task due to its inability to reflect the semantics of source code. In our work, we use human judgment as the ground truth to measure the semantic correctness of the migrated code. Our empirical study demonstrates that BLEU does not reflect translation quality due to its weak correlation with the semantic correctness of translated code. We provided counter-examples to show that BLEU is ineffective in comparing the translation quality between SMT-based models. Due to BLEU's ineffectiveness for code migration task, we propose an alternative metric RUBY, which considers lexical, syntactical, and semantic representations of source code. We verified that RUBY achieves a higher correlation coefficient with the semantic correctness of migrated code, 0.775 in comparison with 0.583 of BLEU score. We also confirmed the effectiveness of RUBY in reflecting the changes in translation quality of SMT-based translation models. With its advantages, RUBY can be used to evaluate SMT-based code migration models.Comment: 12 pages, 5 figures, ICPC '19 Proceedings of the 27th International Conference on Program Comprehensio

Species diversity of rotifers (Rotifera: Eurotatoria) of Phu Ninh Lake with five new records from Vietnam

A total of sixty-one taxa of rotifer, belonging to 15 families, 3 orders were identified from the Phu Ninh Lake, Vietnam. Of these, five species were recorded new to Vietnam Rotifera fauna, including Lecane acanthinula (Hauer, 1938), L. sola (Hauer, 1936), L. thailandensis Segers & Sanoamuang, 1994, L. pyriformis (Daday, 1905), and Mytilina bisulcata (Lucks, 1912). The result raised the total number of rotifers known from Vietnam to 227 species. Moreover, the results showed that the number of species recorded increased with the increase of sample size, which followed the equation y=12.85+14.12log(x) (R2 = 0.99). Based on the estimators, the α-diversity of rotifers in Phu Ninh Lake might be up to 67±4 taxa (according to the Bootstrap index), 71±8 taxa (according to the Chao index), or even up to 79 taxa (according to Jacknife 2 index)

Black-box modeling of nonlinear system using evolutionary neural NARX model

Nonlinear systems with uncertainty and disturbance are very difficult to model using mathematic approach. Therefore, a black-box modeling approach without any prior knowledge is necessary. There are some modeling approaches have been used to develop a black box model such as fuzzy logic, neural network, and evolution algorithms. In this paper, an evolutionary neural network by combining a neural network and a modified differential evolution algorithm is applied to model a nonlinear system. The feasibility and effectiveness of the proposed modeling are tested on a piezoelectric actuator SISO system and an experimental quadruple tank MIMO system

CHARACTERIZATION OF CARBONATED STEELMAKING SLAG AND ITS POTENTIAL APPLICATION IN CONSTRUCTION

In the current context of Vietnam, the solid waste of steel slag occupy ground for dumping and lead to severe environmental issue due to their high content of heavy metal and fine dust. For the purpose of large-scale recycling steel slag, up to now one of the most relevant solutions is to use as aggregate for asphaltic and/or cement concrete. In this paper, we aim to analyze the influence of the accelerated carbonation condition in the laboratory on the physio-chemical properties of carbonated steel slag. Materials composition were characterized by using different analysis techniques of XRD, SEM, TG and others measurement of the physio-properties (density, L.O.I..) were also realized with regards to the requirement of the national standard for concrete aggregate. In conclusion, we will discuss the effect of reaction condition and on the feasibility of implementing this specific treatment method on a larger scale.Keywords: steelmaking slag, solid waste, CO2 sequestration, accelerated carbonation, concrete aggregate

Designing Songs for Teaching and Learning English: A Literature Review

This paper presents the theoretical backgrounds covering the theories of material design, which is useful for understanding of the effective material and the steps to produce it, and mentioning the theories of learning, which include foci on the language, the learners, and learning process. The paper aslo addresses a relationship among factors that contribute to teaching and learning process by using songs as English language teaching material. The authors review the benefits of songs and music under the lights of the cognitive, linguistic, and pedagogical levels through the material design model suggested by Hutchinson and Waters (1987). This paper contributes to the understanding of designing songs as a tool for teaching and learning English. Keywords: Songs, Music, Material design, Cognitive process, Motivation A material design model DOI: 10.7176/JLLL/61-10 Publication date:October 31st 201

Analyzing Effects of Institutional Quality on Banking Stability: Evidence from Asean Countries

Purpose: The aim of this study is to examine the effect of institutional quality on bank stability using bank-level data from 2010 to 2020.   Theoretical framework: The study considers institutions from the perspective of governance institutions. Accordingly, the concept of government institutions is related to the country's organizational foundation in terms of governance, implying institutional quality.   Design/methodology/approach: The study uses GMM method and also choose the Zscore as the primary variable for bank stability.   Findings: The results show that institutional quality increases the stability of banks. Moreover, with the threshold model, the results show that countries with institutional quality above the threshold will increase the stability of banks. In addition, macroeconomic and banking characteristics variables such as total assets, income diversification, quality of control, inflation, and GDP growth rate have a high significance in the model.   Research, Practical & Social implications: The study shows The study's empirical results have specific policy implications for the Government in implementing policies related to institutional quality to improve bank stability.   Originality/value:   there are not many researches done to investigate institutional quality to improve bank stability. Moreover, from economic crisis, the matter of banking stability is among main concerns of many researches. Second, previous researches just focus on the aspect of corruption and ignore other aspects or other factors. That’s why authors conduct this research

EXTRACURRICULAR SPORTS: POPULAR CONTENTS AND FORMS AMONG STUDENTS IN THE DORMITORY OF VIETNAM NATIONAL UNIVERSITY HO CHI MINH CITY

This article is written to provide thorough information about popular contents and forms of extracurricular sports performed by university students at a dormitory of Vietnam National University Ho Chi Minh City (VNUHCMC). The study uses document references, surveys, and statistical mathematics to investigate what extracurricular sports are favored by the students and how they organize their practices. The results indicate that the majority of students choose to practice football, volleyball, badminton, athletics, and martial arts. They play with themselves and/or in teams, without instructors, from 30 minutes to 02 hours in the afternoon after school time and/or in the morning, at the dormitory and/or sports centers.  Article visualizations

PHYSICAL CONDITION OF MALE STUDENTS AT VIETNAM NATIONAL UNIVERSITY OF HO CHI MINH CITY DORMITORY

The purpose of the study is to provide information about the current physical condition of 19-year-old male students of the Vietnam National University of Ho Chi Minh City (VNUHCMC) dormitory. The research used the methods of synthesizing sport-related documents, interviewing experts, applying pedagogical tests, and statistical analysis to determine appropriate physical fitness assessment tests. Afterward, the figures for the physical condition of male students at the VNUHCMC dormitory were compared with that of the average Vietnamese people, of Hanoi National University (HNU), University of Danang (UD), Can Tho University (CTU), and Ho Chi Minh City (HCMC) students at the same age and gender, and with the standard shown in Decision 53/2008/BGDDT of the Ministry of Education and Training. The results show that the “good” group accounts for 28.75%, the “acceptable” group for 23.19% and the “failed” group for 48.06%. It is notable that the agility, leg muscular strength, endurance, and motor skills of 19-year-old male students at the VNUHCMC dormitory are greater than the average physical fitness of Vietnamese people, as well as students of the same age and gender at HNU, UD, and CTU. Their endurance is also higher than that of male HCMC pupils of the same age, but their leg muscular strength and motor abilities are almost comparable.  Article visualizations