Kaya: A Testing Framework for Blockchain-based Decentralized Applications

In recent years, many decentralized applications based on blockchain (DApp) have been developed. However, due to inadequate testing, DApps are easily exposed to serious vulnerabilities. We find three main challenges for DApp testing, i.e., the inherent complexity of DApp, inconvenient pre-state setting, and not-so-readable logs. In this paper, we propose a testing framework named Kaya to bridge these gaps. Kaya has three main functions. Firstly, Kaya proposes DApp behavior description language (DBDL) to make writing test cases easier. Test cases written in DBDL can also be automatically executed by Kaya. Secondly, Kaya supports a flexible and convenient way for test engineers to set the blockchain pre-states easily. Thirdly, Kaya transforms incomprehensible addresses into readable variables for easy comprehension. With these functions, Kaya can help test engineers test DApps more easily. Besides, to fit the various application environments, we provide two ways for test engineers to use Kaya, i.e., UI and command-line. Our experimental case demonstrates the potential of Kaya in helping test engineers to test DApps more easily

Naringenin suppresses BEAS-2B-derived extracellular vesicular cargoes disorder caused by cigarette smoke extract thereby inhibiting M1 macrophage polarization

Extracellular vesicles (EVs)-mediated epithelium-macrophage crosstalk has been proved to maintain lung homeostasis in cigarette smoke-induced lung diseases such as chronic obstructive pulmonary disease (COPD). In our previous study, we found that EVs derived from cigarette smoke extract (CSE) treated BEAS-2B promoted M1 macrophage polarization, which probably accelerated the development of inflammatory responses. Naringenin has been proved to suppress M1 macrophage polarization, but whether naringenin regulates macrophage polarization mediated by EVs has not been reported. In this study, we firstly found that EVs derived from naringenin and CSE co-treated BEAS-2B significantly inhibited the expression of CD86 and CD80 and the secretion of tumor necrosis factor (TNF)-α, interleukin (IL)-6, IL-1β, inducible nitric oxide synthase (iNOS), and IL-12 in macrophage induced by EVs derived from CSE-treated BEAS-2B. Further research revealed that naringenin downregulated BEAS-2B-derived EVs miR-21-3p which targeted phosphatase and tensin homolog deleted on chromosome ten/protein kinase B (PTEN/AKT) cascade in macrophages and then suppressed M1 macrophage polarization. Subsequent proteomics suggested that naringenin decreased BEAS-2B-derived EVs poly ADP-ribose polymerase (PARP)1 expression thereby suppressing M1 macrophage polarization probably. Our study provides novel pharmacological references for the mechanism of naringenin in the treatment of cigarette smoke-induced lung inflammatory diseases

VBench: Comprehensive Benchmark Suite for Video Generative Models

Video generation has witnessed significant advancements, yet evaluating these models remains a challenge. A comprehensive evaluation benchmark for video generation is indispensable for two reasons: 1) Existing metrics do not fully align with human perceptions; 2) An ideal evaluation system should provide insights to inform future developments of video generation. To this end, we present VBench, a comprehensive benchmark suite that dissects "video generation quality" into specific, hierarchical, and disentangled dimensions, each with tailored prompts and evaluation methods. VBench has three appealing properties: 1) Comprehensive Dimensions: VBench comprises 16 dimensions in video generation (e.g., subject identity inconsistency, motion smoothness, temporal flickering, and spatial relationship, etc). The evaluation metrics with fine-grained levels reveal individual models' strengths and weaknesses. 2) Human Alignment: We also provide a dataset of human preference annotations to validate our benchmarks' alignment with human perception, for each evaluation dimension respectively. 3) Valuable Insights: We look into current models' ability across various evaluation dimensions, and various content types. We also investigate the gaps between video and image generation models. We will open-source VBench, including all prompts, evaluation methods, generated videos, and human preference annotations, and also include more video generation models in VBench to drive forward the field of video generation.Comment: Equal contributions from first four authors. Project page: https://vchitect.github.io/VBench-project/ Code: https://github.com/Vchitect/VBenc

Analysis of Tumor Microenvironment Heterogeneity among Breast Cancer Subtypes to Identify Subtype-Specific Signatures

Breast cancer is one of the most frequent malignancies in women worldwide. According to 50-gene signature, Prediction Analysis of Microarray 50 (PAM50), breast cancer can be categorized into five molecular subtypes, and these subtypes are highly heterogeneous in different molecular characteristics. However, the landscape of their tumor microenvironment (TME) heterogeneity has not been fully researched. Using the multi-omics dataset of breast cancer from the METABRIC cohort (n = 1699), we conducted extensive analyses of TME-related features to investigate TME heterogeneity in each breast cancer subtype. We then developed a cell-based subtype set enrichment analysis to identify the subtype-specific TME cells, and further evaluate their prognostic effects. Our results illustrate that different breast cancer subtypes exhibit different TME patterns. Basal-like and HER2-enriched subtypes are associated with high immune scores, expression of most immune regulatory targets, and immune cell infiltration, suggesting that these subtypes could be defined as “immune hot” tumors and suitable for immune checkpoint blockade (ICB) therapy. In contrast, Luminal A and Luminal B subtypes are associated with low immune scores and immune cell infiltration, suggesting that these subtypes could be defined as “immune cold” tumors. Additionally, the Normal-like subtype has relatively high levels of both immune and stromal features, which indicates that the Normal-like subtype may be suitable for more diverse treatment strategies. Our study reveals the breast cancer tumor microenvironment heterogeneity across subtypes. The comprehensive analysis of breast cancer TME-related characteristics may help us to adopt a tailored treatment strategy for different subtypes of patients

A city-level inventory for atmospheric mercury emissions from coal combustion in China

Cities are essential entities for dedicated mercury control policies. However, the city-level mercury emission inventory as the cornerstone of proper policy design is still in its infancy, due to data availability. For the first time, this study developed a comprehensive city-level atmospheric mercury emission inventory from coal combustion in China in 2010, by updating emission factors based on high-resolution information such as the plant-specific air pollution control devices (APCDs) in 182 cities. The estimated atmospheric mercury emissions from coal combustion were 202.3 tons (−51.7%,133.6%), over half of which were concentrated in 36 cities such as Chongqing (megacity) and Ordos (heavily coal-reliant city), implying mercury emissions were unevenly distributed. Mercury emitted from coal-fired power plants with the largest coal consumption was less than that from industrial coal combustion, because more efficient APCDs were installed in power plants. This study also took GDP, the proportion of coal in energy mix and cities’ population as the benchmark to classify cities into various groups. Energy production and heavy manufacturing cities had comparatively larger emissions. Moreover, optional mitigation policies were elaborated for specific cities, such as retrofit of APCDs for coal-reliant cities (e g., Nanyang and Sanmenxia) lack of enough efficient end-of-pipe mercury removal devices

Distributionally Invariant Learning: Rationalization and Practical Algorithms

The invariance property across environments is at the heart of invariant learning methods for the Out-of-Distribution (OOD) Generalization problem. Although intuitively reasonable, strong assumptions on the availability and quality of environments have to be made for the learnability of the strict invariance property. Recently, to relax the requirements for environments empirically, some works propose to learn pseudo-environments for invariant learning. However, it could be misleading when pursuing strict invariance under latent heterogeneity, since the underlying invariance could have been violated during the pseudo-environment learning procedure. To this end, we come up with the distributional invariance property as a relaxed alternative to the strict invariance, which considers the invariance only among sub-populations down to a prescribed scale and allows a certain degree of variation. We reformulate the invariant learning problem under latent heterogeneity into a relaxed form that pursues the distributional invariance, based on which we propose our novel Distributionally Invariant Learning (DIL) framework as well as two implementations named DIL-MMD and DIL-KL. Theoretically, we provide the guarantees for the distributional invariance as well as bounds of the generalization error gap. Extensive experimental results validate the effectiveness of our proposed algorithms

Impact of aging on food consumption in rural China: Implications for dietary upgrading and health improvement

BackgroundThe issue of population aging in rural China is getting profound; nevertheless, its impact on food consumption has not been well evaluated. This study aims to examine the relationship between rural aging and family food consumption in rural China.Materials and methodsUsing the statistical yearbook data and the nationally representative household-level data from the China Rural Fixed Observation Points, this study compares the evolution of food consumption between rural and urban residents from 1985 to 2020 and analyzes the structure of food consumption expenditure of rural residents. Next, this study further investigates the impact of aging on food consumption in rural households with ordinary least squares.Results(1) The principal foods consumed by rural residents in 2020 are meat and meat products (36.8%), grain (24.5%), and vegetables (10.9%). (2) An increase in older adults has decreased the absolute consumption of all foods, while it increased relative consumption of meat and meat products, aquatic products, edible oil and fats, poultry, eggs, and sugar. (3) Due to differences in the structure of young adults’ food consumption, older adults would increase their consumption of fruits and vegetables if they lived with younger adults.ConclusionThe findings of this study suggest that rural older adults may increase their consumption of fruits and vegetables by advocating intergenerational cohabitation while maintaining their intake of protein to achieve a balanced dietary structure and improve their health condition.</p

Assessment of carbon dioxide emissions during production, construction and use stages of asphalt pavements

The carbon dioxide emissions generated during the life of flexible asphalt pavements are an important indicator of the sustainability of these infrastructures. The study aims at tentatively quantifying the CO2 released during production, construction and use stages of a road pavement, the analysis is performed adopting a Life Cycle Assessment approach. Each stage is structured based on data retrieved from an extensive literature review. Special focus is given to the use stage, which is usually only partially addressed. The study is achieved employing the “HERMES CO2” spreadsheet tool developed for the purpose and it is publicly available to maximize openness and the interaction with the user. As an illustrative application, the study then quantifies the generation of carbon dioxide for the three major categories of Norwegian highways referring to 1 km as functional unit with lifespan of 50 years. The analysis documents that the overall CO2 amount is approximately equal to 1 million metric tons, which is significantly related to the albedo and rolling resistance of the use stage. Overall, the research establishes a common methodology and analysis frame which is relevant to early planning of road pavements and can be refined further for specific case-studies.publishedVersio