The L∞L^{\infty} estimate for parabolic complex Monge-Amp\`ere equations

Following the recent development by Guo-Phong-Tong and Chen-Cheng, we derived the $L^{\infty}$ estimate for K\"ahler-Ricci flows under a weaker assumption. The technique also extends to more general cases coming from different geometric backgrounds

Activating More Information in Arbitrary-Scale Image Super-Resolution

Single-image super-resolution (SISR) has experienced vigorous growth with the rapid development of deep learning. However, handling arbitrary scales (e.g., integers, nonintegers, or asymmetric) using a single model remains a challenging task. Existing super-resolution (SR) networks commonly employ static convolutions during feature extraction, which cannoteffectively perceive changes in scales. Moreover, these continuous scale upsampling modules only utilize the scale factors, without considering the diversity of local features. To activate more information for better reconstruction, two plug-in and compatible modules for fixed-scale networks are designed to perform arbitrary-scale SR tasks. Firstly, we design a Scale-aware Local Feature Adaptation Module (SLFAM), which adaptively adjusts the attention weights of dynamic filters based on the local features and scales. It enables the network to possess stronger representation capabilities. Then we propose a Local Feature AdaptationUpsampling Module (LFAUM), which combines scales and local features to perform arbitrary-scale reconstruction. It allows the upsampling to adapt to local structures. Besides, deformable convolution is utilized letting more information to be activated in the reconstruction, enabling the network to better adapt to the texture features. Extensive experiments on various benchmark datasets demonstrate that integrating the proposed modules into a fixed-scale SR network enables it to achieve satisfactory results with non-integer or asymmetric scales while maintaining advanced performance with integer scales

NGF-p75 signaling coordinates skeletal cell migration during bone repair

: Bone regeneration following injury is initiated by inflammatory signals and occurs in association with infiltration by sensory nerve fibers. Together, these events are believed to coordinate angiogenesis and tissue reprogramming, but the mechanism of coupling immune signals to reinnervation and osteogenesis is unknown. Here, we found that nerve growth factor (NGF) is expressed following cranial bone injury and signals via p75 in resident mesenchymal osteogenic precursors to affect their migration into the damaged tissue. Mice lacking Ngf in myeloid cells demonstrated reduced migration of osteogenic precursors to the injury site with consequently delayed bone healing. These features were phenocopied by mice lacking p75 in Pdgfra+ osteoblast precursors. Single-cell transcriptomics identified mesenchymal subpopulations with potential roles in cell migration and immune response, altered in the context of p75 deletion. Together, these results identify the role of p75 signaling pathway in coordinating skeletal cell migration during early bone repair

Geochemical reactions altering the mineralogical and multiscale pore characteristics of uranium-bearing reservoirs during CO2 + O2in situ leaching

CO2 + O2in situ leaching has been extensively applied in uranium recovery in sandstone-type uranium deposits of China. The geochemical processes impact and constrain the leaching reaction and leaching solution migration; thus, it is necessary to study the CO2 + O2–water–rock geochemical reaction process and its influence on the physical properties of uranium-bearing reservoirs. In this work, a CO2 + O2–water–rock geochemical reaction simulation experiment was carried out, and the mineralogical and multiscale pore characteristics of typical samples before and after this simulation experiment were compared by X-ray diffraction and high-pressure mercury intrusion porosimetry (HPMIP). The results show that the CO2 + O2–water–rock geochemical reaction has complicated effects on the mineral compositions due to the various reaction modes and types. After the CO2 + O2–water–rock geochemical reaction, the femic minerals decrease and the clay minerals in the coarse sandstone, medium sandstone, fine sandstone, and siltstone increase, while the femic minerals and clay minerals in sandy mudstone show a contrary changing trend. The CO2 + O2–water–rock geochemical reaction decreases the total pore volume of uranium-bearing reservoirs and then promotes pore transformation from small scale to large scale. The fractal dimensions of macropores are decreased, and the fractal dimensions of mesopores, transition pores, and micropores are increased. The effects of felsic mineral and carbonate dissolution, secondary mineral precipitate, clay mineral swelling, and mineral particle migration are simultaneously present in the CO2 + O2in situ leaching process, which exhibit the positive transformation and the negative transformation for the uranium-bearing reservoirs. The mineral dissolution may improve reservoir permeability to a certain degree, while the siltation effect will gradually reveal with the extension of CO2 + O2in situ leaching. This research will provide a deep understanding of the physical property response of uranium-bearing reservoirs during CO2 + O2in situ leaching and indicate the direction for the efficient recovery of uranium resources

Cortactin contributes to the tumorigenesis of gastric cancer by activating ERK/MMP pathway

Gastric cancer is a malignant tumor with high mortality and high incidence. This study aims to explore the function and molecular mechanism of Cortactin on gastric cancer progression in vitro and in vivo. A bioinformatics analysis from TCGA displayed that Cortactin was highly expressed in gastric cancer samples, and patients with a high Cortactin level had a worse survival rate. Subsequently, we investigated the specific mechanism of action of A in gastric cancer by collecting patient samples for immunohistochemistry, WB, qRT-PCR, cell transfection, cell invasion and metastasis, and constructing tumor xenografts in nude mice. Overexpression of Cortactin inhibited apoptosis and enhanced cellular proliferation and mobility in AGS cells, while those activities were reversed by the knockdown of MMP2 or MMP9. Conversely, the deletion of Cortactin induced apoptosis and suppressed cell growth and metastasis in SGC7901 cells, whereas those behaviors were inhibited by overexpression of MMP2 or MMP9. Additionally, the ERK pathway was activated by Cortactin upregulation. In vivo studies presented that overexpression of Cortactin promoted tumor growth, increased Ki67 expression, and reduced caspase 3 expression, which was reversed by ERK inhibitor treatment. In conclusion, Cortactin acted as an oncogene in gastric cancer and exerted its function by ERK/MMP2/MMP9 signaling pathway

Constrained Heterogeneous Two-facility Location Games with Max-variant Cost

In this paper, we propose a constrained heterogeneous facility location model where a set of alternative locations are feasible for building facilities and the number of facilities built at each location is limited. Supposing that a set of agents on the real line can strategically report their locations and each agent's cost is her distance to the further facility that she is interested in, we study deterministic mechanism design without money for constrained heterogeneous two-facility location games. Depending on whether agents have optional preference, the problem is considered in two settings: the compulsory setting and the optional setting. In the compulsory setting where each agent is served by the two heterogeneous facilities, we provide a 3-approximate deterministic group strategyproof mechanism for the sum/maximum cost objective respectively, which is also the best deterministic strategyproof mechanism under the corresponding social objective. In the optional setting where each agent can be interested in one of the two facilities or both, we propose a deterministic group strategyproof mechanism with approximation ratio of at most $2n+1$ for the sum cost objective and a deterministic group strategyproof mechanism with approximation ratio of at most 9 for the maximum cost objective.Comment: 19 page

Study on Indentation Experiments and Mechanical Behavior of RB-SiC

In this work, we studied on the mechanical behavior of RB-SiC by the indentation experiments. The Vickers hardness tester and the laser scanning confocal microscope are used to process and observe the RB-SiC sample pieces. The indentations result shows that the hardness at the Si phase is lower than the SiC phase, thus it is easier to remove the Si than SiC. The morphology of indentations are complicated, there were no accumulation phenomenon at indentation edge. When the loading was O.lkgf, 0.2kgf and 0.3kgf, only the radical cracking can be observed and the cracking was not obvious at Si and SiC mixed phase. Avalanche crushed phenomenon occurred when the load increased to 0.4kgf. According to the Evans’ fracture toughness formula, the fracture toughness of SiC phase is about 2.5MPam1/2, and the fracture toughness of Si-SiC mixed phase is bigger than 3.0 MPam1/2. The critical cutting depth (dc) of RB-SiC was calculated by empirical formula presented by T. G. Bifano, and the value is 22.54nm

Research on Cache Coherence Protocol Verification Method Based on Model Checking

This paper analyzes the underlying logic of the processor’s behavior level code. It proposes an automatic model construction and formal verification method for the cache consistency protocol with the aim of ensuring data consistency in the processor and the correctness of the cache function. The main idea of this method is to analyze the register transfer level (RTL) code directly at the module level and variable level, and extract the key modules and key variables according to the code information. Then, based on key variables, conditional behavior statements are retrieved from the code, and unnecessary statements are deleted. The model construction and simplification of related core states are completed automatically, while also simultaneously generating the attribute library to be verified, using “white list” as the construction strategy. Finally, complete cache consistency protocol verification is implemented in the model detector UPPAAL. Ultimately, this mechanism reduces the 142 state-transition path-guided global states of the cache module to be verified into 4 core functional states driven by consistency protocol implementation, effectively reducing the complexity of the formal model, and extracting 32 verification attributes into 6 verification attributes, reducing the verification time cost by 76.19%