•  72
    The quality of clinical practice guidelines in China: a systematic assessment
    with J. Hu, R. Chen, S. Wu, J. Tang, G. Leng, I. Kunnamo, Z. Yang, W. Wang, X. Hua, Y. Xie, and S. Zhan
    Journal of Evaluation in Clinical Practice 19 (5): 961-967. 2013.
  •  36
    Frequency-Specific Functional Connectivity Density as an Effective Biomarker for Adolescent Generalized Anxiety Disorder
    with Zhe Zhang, Mei Liao, Zhijun Yao, Bin Hu, Yuanwei Xie, Weihao Zheng, Tao Hu, Yu Zhao, Fan Yang, Linyan Su, Lingjiang Li, Jürg Gutknecht, and Dennis Majoe
    Frontiers in Human Neuroscience 11. 2017.
  •  36
    Decidability of Logics Based on an Indeterministic Metric Tense Logic
    with Kai Li
    Studia Logica 103 (6): 1123-1162. 2015.
    This paper presents two general results of decidability concerning logics based on an indeterministic metric tense logic, which can be applied to, among others, logics combining knowledge, time and agency. We provide a general Kripke semantics based on a variation of the notion of synchronized Ockhamist frames. Our proof of the decidability is by way of the finite frame property, applying subframe transformations and a variant of the filtration technique
  •  35
    Decreased Intrinsic Functional Connectivity in First-Episode, Drug-Naive Adolescents With Generalized Anxiety Disorder
    with Fan Yang, Linlin Fan, Tianyi Zhai, Ying Lin, Yuyin Wang, Junji Ma, Mei Liao, Lingjiang Li, Linyan Su, and Zhengjia Dai
    Frontiers in Human Neuroscience 12. 2019.
  •  31
    A New Look at the Impact of Maximizing on Unhappiness: Two Competing Mediating Effects
    with Jiaxi Peng, Jiaxi Zhang, Pinjia Gong, Bing Han, Hao Sun, Fei Cao, and Danmin Miao
    Frontiers in Psychology 9. 2018.
  •  29
  •  26
    Inter-Definability of Horn Contraction and Horn Revision
    with Zhiqiang Zhuang and Maurice Pagnucco
    Journal of Philosophical Logic 46 (3): 299-332. 2017.
    There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are inter-definable as in the AGM case through the Levi and Harper identities. In this paper, we give a positive answer by providing methods for generating contraction and revision from their dual op…Read more
  •  24
    Poro-viscoelastic properties of anisotropic cylindrical composite materials
    with Y. H. Cui, X. Wang, and F. J. He
    Philosophical Magazine 90 (9): 1197-1212. 2010.
  •  19
    Microstructure of the potentially multiferroic Fe/BaTiO3epitaxial interface
    with X. Wang, Y. L. Zhu, X. W. Wang, and X. L. Ma
    Philosophical Magazine 92 (14): 1733-1747. 2012.
  •  18
    Emerging High‐Level Tigecycline Resistance: Novel Tetracycline Destructases Spread via the Mobile Tet(X)
    with Liang-Xing Fang, Chong Chen, Chao-Yue Cui, Xing-Ping Li, Xiao-Ping Liao, Jian Sun, and Ya-Hong Liu
    Bioessays 42 (8): 2000014. 2020.
    Antibiotic resistance in bacteria has become a great threat to global public health. Tigecycline is a next‐generation tetracycline that is the final line of defense against severe infections by pan‐drug‐resistant bacterial pathogens. Unfortunately, this last‐resort antibiotic has been challenged by the recent emergence of the mobile Tet(X) orthologs that can confer high‐level tigecycline resistance. As it is reviewed here, these novel tetracycline destructases represent a growing threat to the n…Read more
  •  17
  •  13
    [full article, abstract in English; abstract in Lithuanian] Modern revolution as the beginning of founding a new political order has to confront the vicious circle inhered in all beginnings: in so far as it is the beginning, where does its principle come from? Or, if there is no principle, how could the beginning establish one? Set in the context of modern political experience, the aporia is equal to the problem of how modern politics to be self-grounded or how to reestablish political authority…Read more
  •  13
    Supercube grains leading to a strong cube texture and a broad grain size distribution after recrystallization
    with F. X. Lin, W. Pantleon, and D. Juul Jensen
    Philosophical Magazine 95 (22): 2427-2449. 2015.
  •  11
    Ordered completion for logic programs with aggregates
    with Vernon Asuncion, Yin Chen, and Yi Zhou
    Artificial Intelligence 224 (C): 72-102. 2015.
  •  10
    The Animal Ethic Thoughts in the Eastern and Western Religions and Their Resource Significance
    with Fu Tongtao and Yang Weirong
    International Journal of Philosophy 8 (2): 38. 2020.
  •  10
    Study on data mining method of network security situation perception based on cloud computing
    with Rahul Neware, Vishal Jagota, and Arshpreet Kaur
    Journal of Intelligent Systems 31 (1): 1074-1084. 2022.
    In recent years, the network has become more complex, and the attacker’s ability to attack is gradually increasing. How to properly understand the network security situation and improve network security has become a very important issue. In order to study the method of extracting information about the security situation of the network based on cloud computing, we recommend the technology of knowledge of the network security situation based on the data extraction technology. It converts each rece…Read more
  •  9
    This paper proves the finite axiomatizability of transitive modal logics of finite depth and finite width w.r.t. proper-successor-equivalence. The frame condition of the latter requires, in a rooted transitive frame, a finite upper bound of cardinality for antichains of points with different sets of proper successors. The result generalizes Rybakov’s result of the finite axiomatizability of extensions of$\mathbf {S4}$of finite depth and finite width.
  •  8
    Ordered completion for first-order logic programs on finite structures
    with Vernon Asuncion, Fangzhen Lin, and Yi Zhou
    Artificial Intelligence 179 (C): 1-24. 2012.
  •  8
    Internet Use Influences Self-Related Process: Evidence From Behavior and ERPs
    with Gai Zhao, Fanchang Kong, Zhaojun Liu, Yadan Wang, Bo Zhou, Xingjie Zhang, Feng Tang, and Zongkui Zhou
    Frontiers in Psychology 9. 2018.
    The present study aimed to examine whether a self-related stimulus produces a self-related process bias between pathological-tendency internet users and ordinary internet users. Participants were asked to judge the color of the target stimulus’ frame (internet pictures) in an implicit priming task, which enclosed the prime of self/other-related words and the target of the online image in sequence. Results from Experiment 1 showed that the main effect of priming type and the interaction of the pr…Read more
  •  7
    Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R
    with Zhaohui Zhu, Jinjin Zhang, and Yong Zhou
    Journal of Applied Logic 13 (4): 654-675. 2015.
  •  7
    Loop-separable programs and their first-order definability
    with Yin Chen, Fangzhen Lin, and Yi Zhou
    Artificial Intelligence 175 (3-4): 890-913. 2011.
  •  5
    Interference of unilateral lower limb amputation on motor imagery rhythm and remodeling of sensorimotor areas
    with Shaowen Liu, Wenjin Fu, Conghui Wei, Fengling Ma, Nanyi Cui, and Xinying Shan
    Frontiers in Human Neuroscience 16 1011463. 2022.
    PurposeThe effect of sensorimotor stripping on neuroplasticity and motor imagery capacity is unknown, and the physiological mechanisms of post-amputation phantom limb pain (PLP) illness remain to be investigated.Materials and methodsIn this study, an electroencephalogram (EEG)-based event-related (de)synchronization (ERD/ERS) analysis was conducted using a bilateral lower limb motor imagery (MI) paradigm. The differences in the execution of motor imagery tasks between left lower limb amputations…Read more
  •  5
    Knowledge forgetting: Properties and applications
    with Yi Zhou
    Artificial Intelligence 173 (16-17): 1525-1537. 2009.
  •  5
    Attention and working memory are important cognitive functions that affect junior school students’ learning ability and academic performance. This study aimed to explore the relationships among trait mindfulness, attention, and working memory and to explore differences in performance between a high trait mindfulness group and a low one in attention and working memory under different stressful situations. In study 1, 216 junior school students completed the Five Facet Mindfulness Questionnaire, a…Read more
  •  5
    Physical cleansing reduces the mindset effect in problem-solving
    with Fengying Li, Shan Ma, Lin Bai, and Weijian Li
    Cognition and Emotion 38 (1): 180-186. 2024.
    The present study investigated whether physical cleansing can reduce the mindset effect in problem-solving in two experiments. Both experiments followed the same procedure. In the first stage, participants formed a mindset through the Luchins’ water-jar task (Experiment 1) or the idiom maze task (Experiment 2). The second stage is cleansing manipulation. In Experiment 1, participants were asked to clean their hands with wipes (cleansing condition) or examine the packaging of the wipes (no-cleans…Read more