Bristol, England, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Other Academic Areas
  •  36
    Order algebras as models of linear logic
    with Constantine Tsinakis
    Studia Logica 76 (2). 2004.
    The starting point of the present study is the interpretation of intuitionistic linear logic in Petri nets proposed by U. Engberg and G. Winskel. We show that several categories of order algebras provide equivalent interpretations of this logic, and identify the category of the so called strongly coherent quantales arising in these interpretations. The equivalence of the interpretations is intimately related to the categorical facts that the aforementioned categories are connected with each othe…Read more
  •  26
    Diagnosis of Autism Spectrum Disorders Using Multi-Level High-Order Functional Networks Derived From Resting-State Functional MRI
    with Feng Zhao, Islem Rekik, Zhiyong An, and Dinggang Shen
    Frontiers in Human Neuroscience 12. 2018.
  •  23
    Multi-agent path finding with mutex propagation
    with Jiaoyang Li, Pavel Surynek, T. K. Satish Kumar, and Sven Koenig
    Artificial Intelligence 311 (C): 103766. 2022.
  •  17
    The current literature in artificial intelligence and robotics awareness focused on the dark side of AIRA. Accordingly, this study sheds light on the positive effect of AIRA on employee creativity by exploring how and when hotel employees may take proactive behavior facing the threat of AI and robotics to further stimulate creativity. Based on the work adjustment theory and the locus of control theory, this study constructs a moderating multiple mediation model to explain the influence of AIRA o…Read more
  •  16
    Meta-Network Analysis of Structural Correlation Networks Provides Insights Into Brain Network Development
    with Xiaohua Xu, Ping He, Pew-Thian Yap, Jingxin Nie, and Dinggang Shen
    Frontiers in Human Neuroscience 13. 2019.
  •  16
    Electroencephalogram Access for Emotion Recognition Based on a Deep Hybrid Network
    with Qinghua Zhong, Yongsheng Zhu, Dongli Cai, and Luwei Xiao
    Frontiers in Human Neuroscience 14. 2020.
    In the human-computer interaction, electroencephalogram access for automatic emotion recognition is an effective way for robot brains to perceive human behavior. In order to improve the accuracy of the emotion recognition, a method of EEG access for emotion recognition based on a deep hybrid network was proposed in this paper. Firstly, the collected EEG was decomposed into four frequency band signals, and the multiscale sample entropy features of each frequency band were extracted. Secondly, the…Read more
  •  15
    Simple and efficient bi-objective search algorithms via fast dominance checks
    with Carlos Hernández, William Yeoh, Jorge A. Baier, Luis Suazo, Sven Koenig, and Oren Salzman
    Artificial Intelligence 314 (C): 103807. 2023.
  •  6
    Zhonghua mei xue shi
    Xin hua shu dian jing xiao. 1995.
    本书介绍了我国的地置、地形、海疆、资源、河流、建筑等。
  •  5
    Constantine Tsinakis
    Studia Logica 76 195-219. 2004.
  •  2
    本书列为国家“九五”重点图书选题出版规划。