2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.CE2025
LRQ-Solver: A Transformer-Based Neural Operator for Fast and Accurate Solving of Large-scale 3D PDEs
Peijian Zeng, Guan Wang, Haohao Gu +5
Solving large-scale Partial Differential Equations (PDEs) on complex three-dimensional geometries represents a central challenge in scientific and engineering computing, often impe…
cs.AI2022★ 2 cited
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
Han Liu, Xiaoyu Song, Ge Gao +3
Semantic rule checking on RDFS/OWL data has been widely used in the construction industry. At present, semantic rule checking is mainly performed on static models. There are still…