Interactivity-Constrained Server Provisioning in Large-Scale Distributed Virtual Environments

Maintaining interactivity is one of the key challenges in distributed virtual environments (DVEs). In this paper, we consider a new problem, termed the interactivity-constrained server provisioning problem, whose goal is to minimize the number of distributed servers needed to achieve a prespecified level of interactivity. We identify and formulate two variants of this new problem and show that they are both NP-hard via reductions to the set covering problem. We then propose several computationally efficient approximation algorithms for solving the problem. The main algorithms exploit dependencies among distributed servers to make provisioning decisions. We conduct extensive experiments to evaluate the performance of the proposed algorithms. Specifically, we use both static Internet latency data available from prior measurements and topology generators, as well as the most recent, dynamic latency data collected via our own large-scale deployment of a DVE performance monitoring system over PlanetLab. The results show that the newly proposed algorithms that take into account interserver dependencies significantly outperform the well-established set covering algorithm for both problem variants

A virtualization-based approach for zone migration in distributed virtual environments

Best paper award.</p

Policy options for offshore wind power in Vietnam

This study assesses key barriers to offshore wind power (OWP) development in Vietnam and policy options for the development of the sector. A survey of 39 experts from government agencies, research institutions, industry, and civil society plus 22 follow-up interviews were conducted over January–September 2021, coupled with a broader analysis of key barriers and policy options. The analysis finds that an underdeveloped policy environment, incomplete procedures, and infrastructure and supply chain immaturity are key current barriers to OWP development in Vietnam. Recommended policy measures include: 1) setting a clear vision and ambitious target for OWP development, 2) adopting a renewable portfolio standard while charting the way for a move from feed-in tariffs to reverse auctions, 3) clarifying that OWP project developers are to self-connect to onshore grids, and 4) developing a streamlined leasing and licensing process within an integrated overall electricity and marine policy. If enabled by well-designed policy, OWP has the potential to play a key role in Vietnam’s emission reduction and energy availability efforts.Zero-Carbon Energy for the Asia-Pacific Grand Challenge, Australian National University

Geology, Pb and S Isotope Geochemistry, and Genesis of the Na Bop-Pu Sap Lead-Zinc Deposit in the Cho Don area, Northeastern Vietnam

The Na Bop-Pu Sap Pb-Zn ore bodies represent a typical vein-type lead-zinc deposit situated in the Cho Don area and are currently being extracted for their lead and zinc resources. This deposit is characterized by its significant scale and quality and is considered one of the prominent lead-zinc deposits in the Cho Don area. Despite its significance, this deposit has not received adequate attention, resulting in limited knowledge of its geology, mineralization, and deposit genesis model. To address this knowledge gap, our study utilized several methodologies, including field surveying, ore mineral analysis under a microscope, and S and Pb isotopic geochemistry. By employing these approaches, we were able to obtain specific insights into the origin of mineralization and the deposit model. Our field survey suggests that the ore deposits are formed as Pb-Zn-bearing veins along Devonian shale, claystone, and limestone faults. Microscopic analyses of the veins reveal the presence of galena, sphalerite, chalcopyrite, pyrite, arsenopyrite, and pyrrhotite as ore minerals, and quartz, calcite, dolomite, and chalcedony as gangue minerals. Sulfur-isotope values (δ34SCDT) of galena 5.3 to 0.1‰ (average 2.8‰), sphalerite 6.8 to 2.5‰ (average 5.3‰), and pyrite 5.8 to 4.1‰ (average 4.9‰) indicate that the sulfide mineralization may be related to a deep source, possibly originating from magmatic activity in the region and contaminated by carbonate-bearing marine sedimentary rocks. Lead-isotope studies indicate a model age of 598-424 Ma for the lead reservoir, consistent with the possible presence of local source rocks containing sulfur. The lead and sulfur in the ore veins were probably contaminated by Devonian carbonate-bearing marine sedimentary rocks and leached from Neoproterozoic to Cambrian magmatic activity. The lead-zinc deposits in Na Bop-Pu Sap do not display any Mississippi valley-type (MVT) or Sedimentary exhalative (SEDEX) lead-zinc deposit characteristics, as they appear to be related to shear zone-hosted lead-zinc deposits

Lung Volume Reduction Surgery in Patients with Heterogenous Emphysema: Selecting Perspective

BACKGROUND: Lung volume reduction surgery (LVRS) was introduced to alleviate clinical conditions in selected patients with heterogenous emphysema. Clarifying the most suitable patients for LVRS remained unclear. AIM: This study was undertaken to specifically analyze the preoperative factor affecting to LVRS. METHODS: The prospective study was conducted at 103 Military Hospital between July 2014 and April 2016. Severe heterogenous emphysema patients were selected to participate in the study. The information, spirometry, and body plethysmographic pulmonary function tests in 31 patients who underwent LVRS were compared with postoperative outcomes (changing in FEV1 and CAT scale). RESULTS: Of the 31 patients, there was statistically significant difference in the outcome of functional capacity, lung function between two groups (FEV1 ≤ 50% and &gt; 50%) (∆FEV1: 22.46 vs 18.32%; p = 0.042. ∆CAT: 6.85 vs 5.07; p = 0.048). Changes of the FEV1 and CAT scale were no statistically significant differences in three groups residual volume. Patients with total lung capacity &lt; 140% had more improved than others (∆FEV1: 23.81 vs 15.1%; p = 0.031). CONCLUSION: Preoperative spirometry and body plethysmographic pulmonary function tests were useful measures to selected severe heterogenous emphysema patients for LVRS. Patients with FEV1 ≤ 50%, TLC in the range of 100-140% should be selected

Epidemiology of forest malaria in central Vietnam: a large scale cross-sectional survey

In Vietnam, a large proportion of all malaria cases and deaths occurs in the central mountainous and forested part of the country. Indeed, forest malaria, despite intensive control activities, is still a major problem which raises several questions about its dynamics. A large-scale malaria morbidity survey to measure malaria endemicity and identify important risk factors was carried out in 43 villages situated in a forested area of Ninh Thuan province, south central Vietnam. Four thousand three hundred and six randomly selected individuals, aged 10–60 years, participated in the survey. Rag Lays (86%), traditionally living in the forest and practising "slash and burn" cultivation represented the most common ethnic group. The overall parasite rate was 13.3% (range [0–42.3] while Plasmodium falciparum seroprevalence was 25.5% (range [2.1–75.6]). Mapping of these two variables showed a patchy distribution, suggesting that risk factors other than remoteness and forest proximity modulated the human-vector interactions. This was confirmed by the results of the multivariate-adjusted analysis, showing that forest work was a significant risk factor for malaria infection, further increased by staying in the forest overnight (OR= 2.86; 95%CI [1.62; 5.07]). Rag Lays had a higher risk of malaria infection, which inversely related to education level and socio-economic status. Women were less at risk than men (OR = 0.71; 95%CI [0.59; 0.86]), a possible consequence of different behaviour. This study confirms that malaria endemicity is still relatively high in this area and that the dynamics of transmission is constantly modulated by the behaviour of both humans and vectors. A well-targeted intervention reducing the "vector/forest worker" interaction, based on long-lasting insecticidal material, could be appropriate in this environment

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

Rapid decrease of malaria morbidity following the introduction of community-based monitoring in a rural area of central Vietnam

<p>Abstract</p> <p>Background</p> <p>Despite a successful control programme, malaria has not completely disappeared in Vietnam; it remains endemic in remote areas of central Vietnam, where standard control activities seem to be less effective. The evolution of malaria prevalence and incidence over two and half years in a rural area of central Vietnam, after the introduction of community-based monitoring of malaria cases, is presented.</p> <p>Methods</p> <p>After a complete census, six cross-sectional surveys and passive detection of malaria cases (by village and commune health workers using rapid diagnostic tests) were carried out between March 2004 and December 2006 in Ninh-Thuan province, in a population of about 10,000 individuals. The prevalence of malaria infection and the incidence of clinical cases were estimated.</p> <p>Results</p> <p>Malaria prevalence significantly decreased from 13.6% (281/2,068) in December 2004 to 4.0% (80/2,019) in December 2006. <it>Plasmodium falciparum </it>and <it>Plasmodium vivax </it>were the most common infections with few <it>Plasmodium malariae </it>mono-infections and some mixed infections. During the study period, malaria incidence decreased by more than 50%, from 25.7/1,000 population at risk in the second half of 2004 to 12.3/1,000 in the second half of 2006. The incidence showed seasonal variations, with a yearly peak between June and December, except in 2006 when the peak observed in the previous years did not occur.</p> <p>Conclusion</p> <p>Over a 2.5-year follow-up period, malaria prevalence and incidence decreased by more than 70% and 50%, respectively. Possibly, this could be attributed to the setting up of a passive case detection system based on village health workers, indicating that a major impact on the malaria burden can be obtained whenever prompt diagnosis and adequate treatment are available.</p

True versus Apparent Malaria Infection Prevalence: The Contribution of a Bayesian Approach

AIMS: To present a new approach for estimating the "true prevalence" of malaria and apply it to datasets from Peru, Vietnam, and Cambodia. METHODS: Bayesian models were developed for estimating both the malaria prevalence using different diagnostic tests (microscopy, PCR & ELISA), without the need of a gold standard, and the tests' characteristics. Several sources of information, i.e. data, expert opinions and other sources of knowledge can be integrated into the model. This approach resulting in an optimal and harmonized estimate of malaria infection prevalence, with no conflict between the different sources of information, was tested on data from Peru, Vietnam and Cambodia. RESULTS: Malaria sero-prevalence was relatively low in all sites, with ELISA showing the highest estimates. The sensitivity of microscopy and ELISA were statistically lower in Vietnam than in the other sites. Similarly, the specificities of microscopy, ELISA and PCR were significantly lower in Vietnam than in the other sites. In Vietnam and Peru, microscopy was closer to the "true" estimate than the other 2 tests while as expected ELISA, with its lower specificity, usually overestimated the prevalence. CONCLUSIONS: Bayesian methods are useful for analyzing prevalence results when no gold standard diagnostic test is available. Though some results are expected, e.g. PCR more sensitive than microscopy, a standardized and context-independent quantification of the diagnostic tests' characteristics (sensitivity and specificity) and the underlying malaria prevalence may be useful for comparing different sites. Indeed, the use of a single diagnostic technique could strongly bias the prevalence estimation. This limitation can be circumvented by using a Bayesian framework taking into account the imperfect characteristics of the currently available diagnostic tests. As discussed in the paper, this approach may further support global malaria burden estimation initiatives