Modularization is a promising technique to meet the scalability challenge in reasoning with very large ontologies. In this work, we introduce a novel boundary-based modular extraction method for ontologies in weakly acyclic EL++ description logics. The proposed method is capable of identifying...

point-of-care detection (POCT) for vital biomolecules is of great significance for home testing in biomedical and clinical diagnosis due to the unique detection advantages with rapid, convenient, sensitive, non-damaging, and specific identification. Based on the advantages of the excellent...

We study a two-period supply chain consisting of a manufacturer, who participates in a cap-and-trade scheme and faces an uncertain emission permit price, and a retailer, who sells the product from the manufacturer to consumer and faces a price-sensitive demand. In the face of uncertain future...

We obtain optimal emission levels and abatement expenditures in a finite-horizon transboundary pollution game with emission trading between two regions. We show that emission trading has significant impact on the optimal strategies and profits of the two regions. We find that cooperation between...

We obtain optimal emission levels and abatement expenditures in a finite-horizon transboundary pollution game with emission trading between two regions.We show that emission trading has significant impact on the optimal strategies and profits of the two regions. We find that cooperation between...

The People's Republic of China (PRC) has been undergoing marvelous industrialization and manufacturing development in the past decades, which has promoted its fast economic growth and has reached a level of middle-income in recent years. It is widely accepted that the PRC's status as the...