Multi-Granularity Information Interaction Framework for Incomplete Utterance Rewriting

Recent approaches in Incomplete Utterance Rewriting (IUR) fail to capture the source of important words, which is crucial to edit the incomplete utterance, and introduce words from irrelevant utterances. We propose a novel and effective multi-task information interaction framework including context selection, edit matrix construction, and relevance merging to capture the multi-granularity of semantic information. Benefiting from fetching the relevant utterance and figuring out the important words, our approach outperforms existing state-of-the-art models on two benchmark datasets Restoration-200K and CANAND in this field. Code will be provided on \url{https://github.com/yanmenxue/QR}.Comment: Findings of EMNLP2023 (short

Valsartan Loaded Micelle for Th2 High Lung Disease Management

Th-2 high lung disease is a family of highly heterogenous diseases, in which the type 2 lymphoid cells are stimulated to release Th2 cytokines (e.g. IL-13 and IL-4) and activate type 2 inflammation, facilitating the disease develop to an uncontrolled stage. The management and symptoms reversing of uncontrolled Th2 high lung disease still remain highly problematic, despite inhaled corticosteroids (ICSs) and several add-on therapeutics were selected as the current clinical medication. Here, we developed an inhalable valsartan loaded micelle (TW80/Val) to reverse the nature history of Th2 high lung disease in an inducible CC10-rtTA-IL-13 mice model. TW80/Val was formulated by simply mixing an angiotensin receptor blocker (ARB), valsartan, and a FDA approved inhalable excipient, Tween 80, and can be stored as low-endotoxin dry powder after lyophilization. TW80/Val performs a efficient pulmonary delivery due to its mucus penetrating property as well as the macrophage-resistance given by the PEGylation of TW80. Then, after applying hypotonic vehicle to further enhance the distribution on airway epithelial cells, we also show the enhanced pulmonary accumulation after intratracheal TW80/Val administration, comparing to dosing with free drug, and demonstrated its promising biosafety, especially for no lifting Th2 immune response. The eventual therapy effect was examined after one-month intratracheal administration with TW80/Val (1 mg/kg) every other day. The histological studies were conducted and revealed that TW80/Val successfully reverse the key pathologic features of severe asthma, including emphysema, Th2 inflammation, mucus hypersecretion and fibrosis. Therefore, our formulation creates a practical option to develop Th2 high lung disease management clinically with the rare-reported symptoms-reversing abilit

A Provably Sound TAL for Back-end Optimization

Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages are hand-written and cannot be machine-checked, which is worrisome for such large calculi. We have designed and implemented a low-level typed assembly language (LTAL) with a semantic model and established its soundness from the model. Compared to existing typed assembly languages, LTAL is more scalable and more secure; it has no macro instructions that hinder low-level optimizations such as instruction scheduling; its type constructors are expressive enough to capture dataflow information, support the compiler's choice of data representations and permit typed position-independent code; and its type-checking algorithm is completely syntax-directed

ALPHAPROG: Reinforcement Generation of Valid Programs for Compiler Fuzzing

Fuzzing is a widely-used testing technique to assure software robustness. However, automatic generation of high-quality test suites is challenging, especially for software that takes in highly-structured inputs, such as the compilers. Compiler fuzzing remains difficult as generating tons of syntactically and semantically valid programs is not trivial. Most previous methods either depend on human-crafted grammars or heuristics to learn partial language patterns. They both suffer from the completeness issue that is a classic puzzle in software testing. To mitigate the problem, we propose a knowledge-guided reinforcement learning-based approach to generating valid programs for compiler fuzzing. We first design a naive learning model which evolves with the sequential mutation rewards provided by a target compiler we test. By iterating the training cycle, the model learns to generate valid programs that can improve the testing efficacy as well. We implement the proposed method into a tool called ALPHAPROG. We analyze the framework with four different reward functions and our study reveal the effectiveness of ALPHAPROG for compiler testing. We also reported two important bugs for a compiler production that were confirmed and addressed by the project owner, which further demonstrates ALPHAPROG's applied value in practice

Recent Advances in Applications of Carbon Nanotubes for Desalination: A Review

As a sustainable, cost-effective and energy-efficient method, membranes are becoming a progressively vital technique to solve the problem of the scarcity of freshwater resources. With these critical advantages, carbon nanotubes (CNTs) have great potential for membrane desalination given their high aspect ratio, large surface area, high mechanical strength and chemical robustness. In recent years, the CNT membrane field has progressed enormously with applications in water desalination. The latest theoretical and experimental developments on the desalination of CNT membranes, including vertically aligned CNT (VACNT) membranes, composited CNT membranes, and their applications are timely and comprehensively reviewed in this manuscript. The mechanisms and effects of CNT membranes used in water desalination where they offer the advantages are also examined. Finally, a summary and outlook are further put forward on the scientific opportunities and major technological challenges in this field

Impacts of Climate Change and Human Activities on the Three Gorges Reservoir Inflow

Identifying changes in runoff and quantifying the impacts of climate change and human activities are of great significance for water resources planning and management in a river basin. In this study, an inflow series of the Three Gorges Reservoir observed from 1951 to 2016 is used to identify the trend and abrupt change point by using statistical methods. Based on the meteorological data, soil type data, and land use data during the same period, the Soil and Water Assessment Tool (SWAT) model is established to quantitatively attribute changes in the Three Gorges Reservoir inflow to climate change and human activities separately and discuss the differences between the two-stage method, which divides the whole study period into two stages to analyze the reasons for runoff evolution, and multi-stage method, which divides the whole study period into more stages to consider the temporal and spatial variation of land use/cover (LULC). The results show: (1) During the study period, a significant decrease is detected in the Three Gorges Reservoir inflow and the decrease rate is 7.7 km3 per ten years, annual total precipitation decreases by −13.5 mm per ten years, and annual average temperature increases by 0.1 °C per ten years. (2) Contribution of climate change and human activities is around 7:3. Climate change is the main reason for the decrease in the Three Gorges Reservoir inflow. (3) Results of stages in multi-stage method are different from the result of two-stage method. Accumulative results of multi-stage method and result of two-stage method are consistent. There are some changes in results of every stage, which are different from the accumulative results

Optimizing the Extraction of Polysaccharides from Bletilla ochracea Schltr. Using Response Surface Methodology (RSM) and Evaluating their Antioxidant Activity

Bletilla ochracea Schltr. polysaccharides (BOP) have a similar structure to Bletilla striata (Thunb.) Reichb.f. (Orchidaceae) polysaccharides (BSP). Therefore, BOP can be considered as a substitute for BSP in the food, pharmaceuticals and cosmetics fields. To the best of our knowledge, little information is available regarding the optimization of extraction and antioxidant activity of BOP. In this study, response surface methodology (RSM) was firstly used for optimizing the extraction parameters of BOP. The results suggested that the optimal conditions included a temperature of 82 °C, a duration of 85 min and a liquid/material ratio of 30 mL/g. In these conditions, we received 26.45% ± 0.18% as the experimental yield. In addition, BOP exhibited strong concentration-dependent antioxidant abilities in vitro. The half-maximal effective concentration (EC50) values of BOP against 1,1-diphenyl-2-picrylhydrazyl (DPPH·), 2,2′-azino-bis (3-ethylbenzothiazoline-6-sulphonate) (ABTS+·), hydroxyl (·OH) and superoxide anion (·O2−) radicals and ferrous ions (Fe2+) were determined as 692.16, 224.09, 542.22, 600.53 and 515.70 µg/mL, respectively. In conclusion, our results indicate that BOP can be a potential natural antioxidant, deserving further investigation