Executive summary

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 18 5   Download

The purpose of the research: The purpose of the research topic is to build a scientific basis to propose solutions to strengthen the coordination relationship between executive power and judicial power in the control of state power in Vietnam today.

27p prisonbreak123 21-05-2021 25 4   Download

The purpose of the dissertation was to systematize and deepen the theory of the right to market entry; research and assess the current legal status of Vietnam's market access rights; contribute to improve the law on market entry rights in Vietnam.

26p cothumenhmong10 19-03-2021 22 4   Download

Select and identify the content in the suitable narrative documents and meet the goal of developing self-awarenessskills for junior high school students. Propose principles and methods to develop self-awareness skills for junior high school students in teaching reading and understanding narrative text in the direction of developing students' qualities and competencies in order to contribute to improving effective teaching grammar in high schools.

27p angicungduoc10 09-03-2021 14 3   Download

The research purpose of the dissertation is to build a theoretical system, propose recommendations to improve legal regulations and other solutions to contribute to enhancing human rights guarantee in the execution of imprisonment penalty in Vietnam.

26p angicungduoc10 09-03-2021 27 5   Download

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 37 4   Download

The research object of the thesis is the legal content related to the handling of practices in restraint of competition, the status of promulgating and enforcing the law on handling practices in restraint of competition in Vietnam, international experience in completing laws governing practices in restraint of competition and handling practices in restraint of competition.

30p nguathienthan10 23-02-2021 14 2   Download

By clarifying theoretical issues on the relationship between judicial and executive power, and assessing the reality of this relationship, the dissertation aims to propose viewpoints and solutions to ensure the relationship between judicial and executive power in exercising state power in Vietnam today

27p trinhthamhodang1217 14-01-2021 23 4   Download

Researching the theory of technically academic counseling to guide self-study in technical teaching for technical college students, proposing measures to improve students' learning skills, thereby improving the quality of training at technical colleges when implementing credit-based training mode.

30p gaocaolon6 30-07-2020 13 2   Download

To describe some relating factors and clinical features of psoriasis concomitant with metabolic syndrome. To survey the metabolic syndrome in psoriasis patient and its relationship with clinical features. To identify the effectiveness of the combination of methotrexate and metformin in the treatment of mild and moderate psoriasis.

48p angicungduoc6 21-07-2020 13 1   Download

The dissertation's research purpose is through the study of impact assessment activities before the legal documents of provincial governments to propose solutions to further improve this activity, indirectly contributing to improve the quality of legal documents of provincial governments.

27p cothumenhmong6 17-07-2020 21 2   Download

On the basis of analyzing and assessing the current status of regulations and competition law practices on the control of abusing market dominant postion, the research aims to build solutions to improve the provisions of the law on the control of abuse dominant position in Vietnam.

28p cothumenhmong6 17-07-2020 22 3   Download

The research objective of the thesis is to focus on proposing solutions to improve the capacity of supply chain management in medical examination and treatment at Military Medical Hospitals in Hanoi, the case study of Hospital 108 , 103 and 354.

28p cothumenhmong6 17-07-2020 26 2   Download

The dissertation aims to systematize and clarify theories on managerial human resources development in Vietnam Rubber Group under the economic management approach; analyze and evaluate the current situation of managerial human resource development in Vietnam Rubber Group, then make some major recommendations on managerial human resource development in Vietnam Rubber Group (with the focus on top executives and middle managers under succession planning who are managed by the direct State administration agency) in the period to 2025.

26p kequaidan6 15-07-2020 34 1   Download

In Vietnam, there is no complete and systematic research but preliminary research on prosecution of imprisonment execution. In other nations, there are research on the prosecution/supervision of imprisonment execution but they studies on foreign laws and reality. Therefore, this thesis is not duplicated and foreign works as reference materials which contribute to the development of the thesis.

25p kequaidan6 15-07-2020 29 1   Download

This study makes an original contribution to both of theory and practice through forming and validating the ERP success model for accounting professionals only. In a little more detail, it provides empirical evidence regarding Hunton’s accounting value chain (2002). In addition, it discovers and proves effective use as the most appropriate system-use concept so far. Moreover, it makes an effort to investigate outcomes of accounting benefits perceived from ERP system, which related-studies are much further underresearched.

29p kequaidan6 15-07-2020 20 1   Download

The purpose of the study is to clarify the theoretical and practical issues of national responsibility for ensuring nuclear safety through in-depth and comprehensive study of the rules of international law executed in some typical countries in the world. On that basis, recommendations are made to improve the law on national responsibility for ensuring nuclear safety in Vietnam.

27p quenchua 28-09-2019 52 3   Download

The study is carried out through two phases: In the first phase, the study uses qualitative methods to explore and find out main factors that local firms apply in their operations and business activities. This method is conducted through focus groups, in-depth interviews with 12 senior executives, CEOs, owners coming from Vietnamese firm in marketing communication industry. The second phase, main survey is implemented by using in both face to face interviews and direct mailing with broader scope to Vietnamese firm in marketing communication industry, in Ho Chi Minh City.

24p bibianh 19-09-2019 27 4   Download

Clarifying the main theoretical issues about economic efficiency of FDI in the province to apply to the study of FDI in Vietnam's localities. Proposing solutions to improve the economic efficiency of FDI in Vinh Phuc province by 2025 with scientific bases; thereby providing more scientific basis for local authorities in planning the policy of attracting FDI, renewing the management of FDI enterprises and improving the economic efficiency of FDI in the coming years.

27p dungmaithuy 18-09-2019 46 4   Download

The PhD thesis studies the theoretical and practical issues of fixed asset accounting in coal mining enterprises of Vinacomin. In particular, the thesis focuses on studying the principles of measuring, recording, presenting and providing information on fixed assets as well as the method to collect, process, analyze and provide information in respond to requirements of fixed asset management. The thesis studies the application of these principles in the practice of fixed asset accounting in Vinacomin's coal mining enterprises.

32p dungmaithuy 18-09-2019 24 3   Download