•  8
    Psychiatric document retrieval using a discourse-aware model
    with Chung-Hsien Wu and Fong-Lin Jang
    Artificial Intelligence 173 (7-8): 817-829. 2009.
  •  6
    Eye-movement evidence of the time-course of attentional bias for threatening pictures in test-anxious students
    with Yunying Dong, Alain De Beuckelaer, and Renlai Zhou
    Cognition and Emotion 31 (4): 781-790. 2017.
  •  6
    Machine learning algorithms now sweep the world to train machines to learn and make decisions similar to a human. These algorithms provide recommendations and sometimes make judgments on a human’s behalf. However, machine learning creates a disconnect between the intention of human beings and the results of machine learning algorithms, which is defined as the alignment problem. This chapter aims to establish what is required for future leaders to address the alignment problem and the related eth…Read more
  •  6
    On the definable ideal generated by nonbounding c.e. degrees
    with Yue Yang
    Journal of Symbolic Logic 70 (1): 252-270. 2005.
    Let [NB]1 denote the ideal generated by nonbounding c.e. degrees and NCup the ideal of noncuppable c.e. degrees. We show that both [NB]1 ∩ NCup and the ideal generated by nonbounding and noncuppable degrees are new, in the sense that they are different from M, [NB]1 and NCup—the only three known definable ideals so far.
  •  3
    Zheng ju xiang guan xing yan jiu =
    Beijing da xue chu ban she. 2008.
    本书从界定证据相关性的内涵入手,分别探讨了逻辑上的相关性和法律上的相关性,从而澄清了一些在借鉴英美国家证据规则时出现的概念混淆。
  •  2
    Conference on Computability, Complexity and Randomness
    with Jinhe Chen and Decheng Ding
    Bulletin of Symbolic Logic 14 (4): 548-549. 2008.
  •  2
    Proceedings of the 14th and 15th Asian Logic Conferences (edited book)
    with Byunghan Kim, Jörg Brendle, Gyesik Lee, Fenrong Liu, R. Ramanujam, Shashi M. Srivastava, and Akito Tsuboi
    World Scientific Publishing Company. 2019.
    The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or a…Read more
  • There is no SW-complete c.e. real
    with Decheng Ding
    Journal of Symbolic Logic 69 (4): 1163-1170. 2004.
    We prove that there is no sw-complete c.e. real, negatively answering a question in [6].
  • Duchamp and Bergson-A Contrast Study
    Philosophy and Culture 37 (6): 127-153. 2010.
    This article is based on Bergson philosophy of life point of view, to interpret the same period of modern painting as part of research projects. The initial study was the author of "father of modern painting," Cézanne and the real comparative study between Bergson; then, have been discussed separately subsequent art movements: Fauvism, Cubism, rhythm, Futurism and the doctrine of representativeness of Ophelia in theory and creative artists in the philosophy of Bergson quality. This adjourned its…Read more
  • This is among the last turn of the century one of the central figure in French culture: Bergson philosophy of life perspective, to interpret the same period of modern painting as part of research projects. The initial study was the author of "father of modern painting" plugs yet and the real comparative study between Bergson; then have follow-up, respectively, In order to explore the art of movement: Fauvism , stereo doctrine , Yun legal doctrine and the future doctrine theory of representative …Read more