MARITIME SECURITY POLICY OF INDIA IN EARLY 21ST CENTURY: VIETNAM’S PERCEPTION OF ITS IMPLICATION ON THE ASIA-PACIFIC REGION

Since the early 21st century, the Asia-Pacific has become a dynamic region of development by some powerful countries in the world such as the United States (US), India, China, and Russia. Thus, the issue of ensuring maritime security to develop sea trade plays a central role in the strategies of these countries. From India’s perspective, maritime security in the Indian Ocean – Pacific Ocean is a deciding factor in the development, affirming its position and creating a balance of power in the country in comparison with other countries in the region. Nevertheless, the developed sea trade of India has faced challenges from various countries including the US, and China. Therefore, India has promoted a cooperative relationship with Vietnam to guarantee maritime security for Indian traders in the region. This paper aims to provide general information about maritime security as well as to determine and estimate India’s maritime security strategies. Additionally, it will present the role of Vietnam in India’s maritime security policies. The findings show that both nations, India and Vietnam have adequate backup strategies, which is the foundation for developing sea trade sustainability. Furthermore, India and Vietnam will play an increasingly strong role in the Asia-Pacific in the future.

SOME RESULTS OF AIR MONITORING QUALITY IN HANOI AND ASSESSMENT OF AIR MONITORING METHODS USED IN VIETNAM

Joint Research on Environmental Science and Technology for the Eart

Factors affecting the adoption of climate-smart aquaculture (CSAq) in the North Central Coast of Vietnam

Climate-smart aquaculture (CSAq) is considered an appropriate and effective adaptation approach for the coastal aquaculture sector under the climate change phenomenon. This study, applying probit model, aims to assess the influence of several factors on the farmers’ decision to apply CSAq practices in extensive coastal shrimp farming. Data were collected from interviews with 200 households who have both already applied and have yet to apply CSAq practices in five coastal districts of Thanh Hoa Province. The results showed six key factors that influenced the decision of the farmers to apply CSAq practices: availability of household labor; access to information on CSAq practices; market price of products applying CSAq practices; economic efficiency; ability to ensure food security; and improved pond environment when applying CSAq practices. These factors explained 69.41% of their decision to apply CSAq, among which economic efficiency had the greatest impact (30.2%). Market prices and access to information about CSAq are also important factors with respective levels of influence at 16.0% and 14.9%. The result implies that strengthening access to CSAq information and improving technical understanding of CSAq practices are important solutions to upscale CSAq in the North Central Coast of Vietnam

SL-COMP: Competition of Solvers for Separation Logic

International audienceSL-COMP aims at bringing together researchers interested on improving the state of the art of the automated deduction methods for Separation Logic (SL). The event took place twice until now and collected more than 1K problems for different fragments of SL. The input format of problems is based on the SMT-LIB format and therefore fully typed; only one new command is added to SMT-LIB's list, the command for the declaration of the heap's type. The SMT-LIB theory of SL comes with ten logics, some of them being combinations of SL with linear arithmetics. The competition's divisions are defined by the logic fragment, the kind of decision problem (satisfiability or entailment) and the presence of quantifiers. Until now, SL-COMP has been run on the StarExec platform, where the benchmark set and the binaries of participant solvers are freely available. The benchmark set is also available with the competition's documentation on a public repository in GitHub

A formal proof of the Kepler conjecture

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project

AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC

Ph.DDOCTOR OF PHILOSOPHY (SOC