Showing results 1 to 20 of 68
next >
| Issue Date | Title | Author(s) |
| 2017 | ACPA Activate Challenged Synovial Fibroblasts through a PAD Dependent Mechanism: A Potential Explanation of the "Second Hit Model" in RA | Sun, Meng; Joshua, Vijay; Krishnamurthy, Akilan; Hensvold, Aase; Liu, Yanying; Catrina, Sergiu-Bogdan; Ospelt, Caroline; Malmstrom, Vivianne; Steen, Johanna; Engstrom, Marianne; Wahamaa, Heidi; Rethi, Bence; Catrina, Anca I. |
| 2016 | Active Learning from Blackbox to Timed Connectors | Li, Yi; Sun, Meng; Wang, Yiwu |
| 2011 | Analysis of WS-BPEL processes in PRISM | Deng, Chen; Yang, Hongli; Liao, Husheng; Sun, Meng; Qiu, Zongyan |
| 2021 | Are Coverage Criteria Meaningful Metrics for DNNs? | Sun, Weidi; Lu, Yuteng; Sun, Meng |
| Nov-2023 | Association between Dietary Acid Load and Hypertension in Chinese Adults: Analysis of the China Health and Nutrition Survey (2009) | Lin, Feng; Zhang, Min; Wang, Ruoyu; Sun, Meng; Zhang, Zongfeng; Qiao, Yanjiang; Zhang, Zhaofeng |
| Apr-2023 | Association between Dietary Acid Load and Hyperuricemia in Chinese Adults: Analysis of the China Health and Nutrition Survey (2009) | Zhang, Min; Ye, Chen; Wang, Ruoyu; Zhang, Zongfeng; Huang, Xiaojie; Halimulati, Mairepaiti; Sun, Meng; Ma, Yuxin; Zhang, Zhaofeng |
| 2017 | Capturing stochastic and real-time behavior in reo connectors | Li, Yi; Zhang, Xiyue; Ji, Yuanyi; Sun, Meng |
| 2024 | Challenges Engaging Formal CBSE in Industrial Applications | Li, Yi; Sun, Meng |
| Sep-2020 | Changes in the quality of life of living liver donors: A meta-analysis | Shi, Yuexian; Liu, Chunxia; Zhang, Haiming; Huang, Yaqi; Sun, Meng; Wang, Wenru; Shang, Shaomei |
| Jul-2024 | Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation | Bu, Hao; Sun, Meng |
| Mar-2023 | cMIND Diet, Indoor Air Pollution, and Depression: A Cohort Study Based on the CLHLS from 2011 to 2018 | Wang, Ruoyu; Ye, Chen; Huang, Xiaojie; Halimulati, Mairepaiti; Sun, Meng; Ma, Yuxin; Fan, Rui; Zhang, Zhaofeng |
| 2017 | Component-based modeling in Mediator | Li, Yi; Sun, Meng |
| 2021 | Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks | Zhang, Xiyue; Du, Xiaoning; Xie, Xiaofei; Ma, Lei; Liu, Yang; Sun, Meng |
| 15-Jan-2023 | Deep learning-based synapse counting and synaptic ultrastructure analysis of electron microscopy images | Su, Feng; Wei, Mengping; Sun, Meng; Jiang, Lixin; Dong, Zhaoqi; Wang, Jue; Zhang, Chen |
| Jul-2022 | DeepGlobal: A framework for global robustness verification of feedforward neural networks | Sun, Weidi; Lu, Yuteng; Zhang, Xiyue; Sun, Meng |
| 2023 | DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks | Bu, Hao; Sun, Meng |
| 2023 | DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks | Bu, Hao; Sun, Meng |
| 24-Apr-2024 | Dopamine D1 receptor in medial prefrontal cortex mediates the effects of TAAR1 activation on chronic stress-induced cognitive and social deficits | Sun, Meng; Zhang, Yue; Zhang, Xian-Qiang; Zhang, Yanan; Wang, Xiao-Dong; Li, Ji-Tao; Si, Tian-Mei; Su, Yun-Ai |
| 2022 | EPMC Gets Knowledge in Multi-agent Systems | Fu, Chen; Hahn, Ernst Moritz; Li, Yong; Schewe, Sven; Sun, Meng; Turrini, Andrea; Zhang, Lijun |
| Jun-2021 | An evolutionary/heuristic-based proof searching framework for interactive theorem prover | Nawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng |
