Browsing by Author Sun, Meng

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 64  next >
Issue DateTitleAuthor(s)
2017ACPA Activate Challenged Synovial Fibroblasts through a PAD Dependent Mechanism: A Potential Explanation of the "Second Hit Model" in RASun, 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.
2016Active Learning from Blackbox to Timed ConnectorsLi, Yi; Sun, Meng; Wang, Yiwu
2011Analysis of WS-BPEL processes in PRISMDeng, Chen; Yang, Hongli; Liao, Husheng; Sun, Meng; Qiu, Zongyan
2021Are Coverage Criteria Meaningful Metrics for DNNs?Sun, Weidi; Lu, Yuteng; Sun, Meng
Nov-2023Association 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-2023Association 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
2017Capturing stochastic and real-time behavior in reo connectorsLi, Yi; Zhang, Xiyue; Ji, Yuanyi; Sun, Meng
Sep-2020Changes in the quality of life of living liver donors: A meta-analysisShi, Yuexian; Liu, Chunxia; Zhang, Haiming; Huang, Yaqi; Sun, Meng; Wang, Wenru; Shang, Shaomei
Mar-2023cMIND Diet, Indoor Air Pollution, and Depression: A Cohort Study Based on the CLHLS from 2011 to 2018Wang, Ruoyu; Ye, Chen; Huang, Xiaojie; Halimulati, Mairepaiti; Sun, Meng; Ma, Yuxin; Fan, Rui; Zhang, Zhaofeng
2017Component-based modeling in MediatorLi, Yi; Sun, Meng
2021Decision-Guided Weighted Automata Extraction from Recurrent Neural NetworksZhang, Xiyue; Du, Xiaoning; Xie, Xiaofei; Ma, Lei; Liu, Yang; Sun, Meng
15-Jan-2023Deep learning-based synapse counting and synaptic ultrastructure analysis of electron microscopy imagesSu, Feng; Wei, Mengping; Sun, Meng; Jiang, Lixin; Dong, Zhaoqi; Wang, Jue; Zhang, Chen
Jul-2022DeepGlobal: A framework for global robustness verification of feedforward neural networksSun, Weidi; Lu, Yuteng; Zhang, Xiyue; Sun, Meng
2023DeepPatch: A Patching-Based Method for Repairing Deep Neural NetworksBu, Hao; Sun, Meng
2023DeepPatch: A Patching-Based Method for Repairing Deep Neural NetworksBu, Hao; Sun, Meng
24-Apr-2024Dopamine D1 receptor in medial prefrontal cortex mediates the effects of TAAR1 activation on chronic stress-induced cognitive and social deficitsSun, Meng; Zhang, Yue; Zhang, Xian-Qiang; Zhang, Yanan; Wang, Xiao-Dong; Li, Ji-Tao; Si, Tian-Mei; Su, Yun-Ai
2022EPMC Gets Knowledge in Multi-agent SystemsFu, Chen; Hahn, Ernst Moritz; Li, Yong; Schewe, Sven; Sun, Meng; Turrini, Andrea; Zhang, Lijun
Jun-2021An evolutionary/heuristic-based proof searching framework for interactive theorem proverNawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng
2018A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVSNawaz, M. Saqib; Sun, Meng
2017A formal design model of cloud servicesSun, Meng; Fu, Guirong