Search results for: Yuheng Li

Authors: Jiaqi Huang, Yuheng Wang

Abstract:

Premises selection, the task of selecting a set of axioms for proving a given conjecture, is a major bottleneck in automated theorem proving. An array of deep-learning-based methods has been established for premises selection, but a perfect performance remains challenging. Our study examines the inaccuracy of deep neural networks in premises selection. Through training network models using encoded conjecture and axiom pairs from the Mizar Mathematical Library, two potential biases are found: the network models classify more premises as necessary than unnecessary, referred to as the ‘positive bias’, and the network models perform better in proving conjectures that paired with more axioms, referred to as ‘length bias’. The ‘positive bias’ and ‘length bias’ discovered could inform the limitation of existing deep neural networks.

Keywords: automated theorem proving, premises selection, deep learning, interpreting deep learning

Procedia PDF Downloads 137

Authors: Kaixuan Feng, Ruixiang Lin, Yuyan Hu, Yuheng Feng, Dezhen Chen, Tongcheng Cao

Abstract:

In this study, we propose a reaction system for the low-temperature reduction of NO by H₂ on carbon-based materials decorated with 5%wt. Ni. This cost-effective catalyst system efficiently utilizes pyrolysis carbon-based materials and waste hydrogen. Additionally, it yields environmentally friendly products without requiring extra heat sources in practical SCR devices. Density functional theory elucidates the mechanism of NO heterogeneous reduction by H₂ on Ni-decorated char surfaces. Two distinct reaction paths were identified, one involving the intermediate product N₂O and the other not. These pathways exhibit different rate-determination steps and activation energies. Kinetic analysis indicates that the N₂O byproduct pathway has a lower activation energy. Experimental results corroborate the theoretical findings. Thus, this research enhances our mechanistic understanding of the NO-H₂ reaction over char and offers insights for optimizing catalyst design in low-temperature NO reduction.

Keywords: char-based catalysis, NO reduction, DFT study, heterogeneous reaction, low-temperature H₂-reduction

Procedia PDF Downloads 41

Authors: Yuheng Tao

Abstract:

Rapid urbanization has brought the consequences of incompatible and excessive homogeneity of urban system, and urban color planning has become one of the most effective ways to restore the characteristics of cities. Among the many urban color design research, the establishment of urban theme colors has rarely been discussed. This study took the "New Taipei City Environmental Aesthetic Color” project as a research case and conducted mixed-method research that included expert interviews and quantitative survey data. This study introduces how theme colors were selected by the experts and investigates public’s perception and preference of the selected theme colors. Several findings include 1) urban memory plays a significant role in determining urban theme colors; 2) When establishing urban theme colors, areas/cities with relatively weak urban memory are given priority to be defined; 3) Urban theme colors that imply cultural attributes are more widely accepted by the public; 4) A representative city theme color helps conserve culture rather than guiding innovation. In addition, this research rearranges the urban color symbolism and specific content of urban theme colors and provides a more scientific urban theme color selection scheme for urban planners.

Keywords: urban theme color, urban color attribute, public perception, public preferences

Procedia PDF Downloads 114

Authors: Hao Yuan, Yongjian Shen, Xiangjun He, Yuheng Li, Zhouzhou Zhang, Pengyu Zhang, Minkang Cai

Abstract:

Remote sensing data can provide support for decision-making in disaster assessment or disaster relief. The traditional processing methods of sensitive targets in remote sensing mapping are mainly based on manual retrieval and image editing tools, which are inefficient. Methods based on deep learning for sensitive target hiding are faster and more flexible. But these methods have disadvantages in training time and cost of calculation. This paper proposed a target hiding model Self Attention (SA) Deepfill, which used self-attention modules to replace part of gated convolution layers in image inpainting. By this operation, the calculation amount of the model becomes smaller, and the performance is improved. And this paper adds free-form masks to the model’s training to enhance the model’s universal. The experiment on an open remote sensing dataset proved the efficiency of our method. Moreover, through experimental comparison, the proposed method can train for a longer time without over-fitting. Finally, compared with the existing methods, the proposed model has lower computational weight and better performance.

Keywords: remote sensing mapping, image inpainting, self-attention mechanism, target hiding

Procedia PDF Downloads 87

Authors: Taha Kadir Yesin, Hanyu Liu, Zhangfan Ding, Amit Singh, Qi Tian, Yuheng Zhang, Biswajyoti Borah, Junyu Chen, Anjali P. Kusumbe

Abstract:

The skeletal structure and bone marrow endothelium collectively form a critical functional unit essential for bone development, health, and aging. At the core of osteogenesis and bone formation lies the dynamic process of angiogenesis. In this study, we reveal a potent endogenous anabolic NCAM1-14.3.3. ζδ-derived- Peptide interaction, which stimulates bone angiogenesis and osteogenesis during homeostasis, aging, and age-related bone diseases. Employing high-resolution imaging and inducible cell-specific mouse genetics, our results elucidate the pivotal role of the NCAM1-14.3.3.ζδ-derived-Peptide interaction in driving the expansion of Clec14a+ angiogenic endothelial cells. Notably, Clec14a+ endothelial cells express key osteogenic factors. The NCAM1-14.3.3.ζδ-derived-Peptide interaction in osteoblasts drives osteoblast differentiation, ultimately contributing to the genesis of bone. Moreover, the NCAM1-14.3.3.ζδ-derived-Peptide interaction leads to a reduction in bone resorption. In age-associated vascular and bone loss diseases, stimulating the NCAM1-14.3.3.ζδ-derived-Peptide interaction not only promotes angiogenesis but also reverses bone loss. Consequently, harnessing the endogenous anabolic potential of the NCAM1-14.3.3.ζδ-derived-Peptide interaction emerges as a promising therapeutic modality for managing age-related bone diseases.

Keywords: endothelial cell, NCAM1, Clec14a, 14.3.3.ζδ

Procedia PDF Downloads 20

Authors: Man Fung Ho, Lap So, Jiaqi Zhang, Yuheng Zhao, Huiyang Lu, Tat Shing Choi, K. Y. Michael Wong

Abstract:

Nowadays, a tremendous amount of data is available in the transportation system, enabling the development of various machine learning approaches to make short-term latency predictions. A natural question is then the choice of relevant information to enable accurate predictions. Using traffic data collected from the Taiwan Freeway System, we consider the prediction of short-term latency of a freeway segment with a length of 17 km covering 5 measurement points, each collecting vehicle-by-vehicle data through the electronic toll collection system. The processed data include the past latencies of the freeway segment with different time lags, the traffic conditions of the individual segments (the accumulations, the traffic fluxes, the entrance and exit rates), the total accumulations, and the weekday latency profiles obtained by Gaussian process regression of past data. We arrive at several important conclusions about how data should be refined to obtain accurate predictions, which have implications for future system-wide latency predictions. (1) We find that the prediction of median latency is much more accurate and meaningful than the prediction of average latency, as the latter is plagued by outliers. This is verified by machine-learning prediction using XGBoost that yields a 35% improvement in the mean square error of the 5-minute averaged latencies. (2) We find that the median latency of the segment 15 minutes ago is a very good baseline for performance comparison, and we have evidence that further improvement is achieved by machine learning approaches such as XGBoost and Long Short-Term Memory (LSTM). (3) By analyzing the feature importance score in XGBoost and calculating the mutual information between the inputs and the latencies to be predicted, we identify a sequence of inputs ranked in importance. It confirms that the past latencies are most informative of the predicted latencies, followed by the total accumulation, whereas inputs such as the entrance and exit rates are uninformative. It also confirms that the inputs are much less informative of the average latencies than the median latencies. (4) For predicting the latencies of segments composed of two or three sub-segments, summing up the predicted latencies of each sub-segment is more accurate than the one-step prediction of the whole segment, especially with the latency prediction of the downstream sub-segments trained to anticipate latencies several minutes ahead. The duration of the anticipation time is an increasing function of the traveling time of the upstream segment. The above findings have important implications to predicting the full set of latencies among the various locations in the freeway system.

Keywords: data refinement, machine learning, mutual information, short-term latency prediction

Procedia PDF Downloads 142