Results for 'Zhaohui Xu'

1000+ found
Order:
  1.  9
    Characterization of Complex Image Spatial Structures Based on Symmetrical Weibull Distribution Model for Texture Pattern Classification.Jinping Liu, Jiezhou He, Zhaohui Tang, Pengfei Xu, Wuxia Zhang & Weihua Gui - 2018 - Complexity 2018:1-23.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  1
    Xu Heng Ji.Heng Xu - 2010 - Beijing Shi: Jilin Wen Shi Chu Ban She.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  12
    First Speech of Miss Xu Yucheng From Jinkui to the Women's World (1907).Xu Yucheng - 2001 - In Stephen C. Angle & Marina Svensson (eds.), Chinese Human Rights Reader. M. E. Sharpe. pp. 42.
  4. Xu Chongqing Wen Ji.Chongqing Xu - 2004 - Zhongshan da Xue Chu Ban She.
     
    Export citation  
     
    Bookmark  
  5.  1
    Xu Fancheng Wen Ji.Fancheng Xu - 2006 - Hua Dong Shi Fan da Xue Chu Ban She.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Xu Lizhi Tan Shu Xue Zhe Xue =.Lizhi Xu - 2008 - Dalian Li Gong da Xue Chu Ban She.
    本书收录了《科学文化人与审美意识》、《试论“展望数学的新时代”》、《略论数学真理及真理性程度》等文章。.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  1
    Xu Lizhi Tan Shu Xue Fang Fa Lun =.Lizhi Xu - 2008 - Dalian Li Gong da Xue Chu Ban She.
    本书收录了《数学方法论概论》、《数学方法纵横谈》、《数学抽象度概念与抽象度分析法》、《论Godel不完备性定理》等文章。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Xu Zhigong Zi Xuan Ji =.Zhigong Xu - 2007 - Xue Xi Chu Ban She.
    本书内容包括:哲学认识论基本理论问题;科学社会主义和中国特色社会主义问题;马克思主义中国化问题等。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Zhuzi xue zhu shu xu ba ti ji zi liao hui bian.Hongyi Gu & Qishan Xu (eds.) - 2018 - Nanchang: Jiangxi ren min chu ban she.
     
    Export citation  
     
    Bookmark  
  10. Zhongguo Si Xiang Shi Lun Ji Xu Pian.Fuguan Xu - 2004 - Shanghai Shu Dian Chu Ban She.
     
    Export citation  
     
    Bookmark  
  11.  14
    Computation and Reasoning: A Type Theory for Computer Science.Zhaohui Luo - 1994 - Clarendon Press.
    Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  80
    Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
    In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type theories (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  13. Xun Xu and the Politics of Precision in Third-Century Ad China.Howard L. Goodman - 2010 - Brill.
    This biography of the court scholar Xun Xu explores central areas of intellectual life in third-century China — court lyrics, music, metrology, pitch systems, archeology, and historiography. It clarifies the relevant source texts in order to reveal fierce debates. Besides solving technical puzzles about the material details of court rites, the book unfolds factional struggles that developed into scholarly ones.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Wen Ming de Hui Mie Yu Xin Sheng: Ru Xue Yu Zhongguo Xian Dai Xing Yan Jiu.Zhaohui Fang - 2011 - Zhongguo Ren Min da Xue Chu Ban She.
    本书试图论证: 法治、自由、民主、人权等价值是植根于西方社会历史和文化土壤的西方文化价值, 并至少并不完全适合于中国文化的习性. 未来中国现代性的发展可能在一定程度上与这些价值相融, 甚至在一定程度上需要吸收或发展它们, 但是它们决不能构成未来中国现代性的核心价值.--.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Xue Tong de Mi Shi Yu Zai Zao: Ru Xue Yu Dang Dai Zhongguo Xue Tong Yan Jiu.Zhaohui Fang - 2010 - Shanxi Shi Fan da Xue Chu Ban She Zong She You Xian Gong Si.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Xian Qin yin xun zhe xue lun =.Jianliang Xu - 2021 - Beijing: Ren min chu ban she.
     
    Export citation  
     
    Bookmark  
  17. Zhuzi zhe xue xi lun yu fan xing.Zongxing Xu - 2021 - Taibei Shi: Wen shi zhe chu ban she.
     
    Export citation  
     
    Bookmark  
  18. Fo Jiao Hou She Lun Li Xue.Zhaohui - 2008 - Fa Jie Chu Ban She You Xian Gong Si.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. "Fa Yu Lü Zhi Shen Ceng Tan Suo" Lun Ji.Zhaohui - 2009 - Fa Jie Chu Ban She You Xian Gong Si.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  8
    Facial Recognition Law in China.Zhaohui Su, Ali Cheshmehzangi, Dean McDonnell, Barry L. Bentley, Claudimar Pereira da Veiga & Yu-Tao Xiang - 2022 - Journal of Medical Ethics 48 (12):1058-1059.
    Although the prevalence of facial recognition-based COVID-19 surveillance tools and techniques, China does not have a facial recognition law to protect its residents’ facial data. Oftentimes, neither the public nor the government knows where people’s facial images are stored, how they have been used, who might use or misuse them, and to what extent. This reality is alarming, particularly factoring in the wide range of unintended consequences already caused by good-intentioned measures and mandates amid the pandemic. Biometric data are matters (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  5
    Exploring the Term “Harmony” and its Practical Significance in Confucian Classics with Examples Drawn From the Liji.Zhaohui Fang & Thomas McConochie - 2020 - Philosophy Compass 15 (9):1-12.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  14
    Metaphysics or Xing(Er) Shangxue? A Western Philosophical Term in Modern China.Fang Zhaohui - 2005 - Dao: A Journal of Comparative Philosophy 5 (1):89-107.
  23. An Extended Calculus of Constructions.Zhaohui Luo - 1990 - Dissertation, University of Edinburgh
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  24.  27
    Is Xunzi a Utilitarian? Revisiting a Disagreement.Zhaohui Mao - 2018 - Asian Philosophy 28 (4):358-367.
    ABSTRACTIn Chinese scholarship, Xunzi is often regarded as an eclectic Confucian master who accepted some form of utilitarian thoughts. This characteristic was also observed by some western scholars such as Benjamin I. Schwartz. In a recent study, I argued that the basic character of Xunzi’s philosophy is utilitarianism in a broad sense based on an examination on his intellectual criticism and political criticism. Xunzi asserts that humans are innately driven by self-interested desires, and he evaluates all intellectual works and political (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  4
    Zhongdaology: How Should Chinese Philosophy Engage with African Philosophy?Keqian Xu - 2022 - Arụmarụka 2 (1):60-97.
    Zhongdaology is the core of Chinese traditional Confucian philosophy. The zhongdaological way of thinking represents the Chinese philosophical thinking mode, with Confucianism as the main body, and has deeply influenced many aspects of Chinese culture. It is different from the traditional ontological thinking in the West. However, for a long time, due to the influence of the dominant position of Western ontological thinking in the field of philosophical research, the characteristics of zhongdaological thinking have not been fully elaborated and promoted. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  9
    Liu, Yuli 劉餘莉, Confucian Ethics and Virtue Ethics 儒家倫理與美德倫理: Beijing 北京: Shijie Zhishi Chubanshe 世界知識出版社, 2020, 312 pages.Zhaohui Mao - 2022 - Dao: A Journal of Comparative Philosophy 21 (1):151-154.
  27.  13
    An Algebraic Characterization of Equivalent Preferential Models.Zhaohui Zhu & Rong Zhang - 2007 - Journal of Symbolic Logic 72 (3):803 - 833.
    Preferential model is one of the important semantical structures in nonmonotonic logic. This paper aims to establish an isomorphism theorem for preferential models, which gives us a purely algebraic characterization of the equivalence of preferential models. To this end, we present the notions of local similarity and local simulation. Based on these notions, two operators Δ(·) and μ(·) over preferential models are introduced and explored respectively. Together with other two existent operators ρ(·) and ΠD(·), we introduce an operator ∂D(·). Then (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  87
    Valuation Structure.Zhaohui Zhu, Zhenghua Pan, Shifu Chen & Wujia Zhu - 2002 - Journal of Symbolic Logic 67 (1):1-23.
    This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and only if it can be represented by a standard preferential model. This conclusion generalizes (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  29.  19
    Is Xunzi a Utilitarian? Revisiting a Disagreement.M. A. O. Zhaohui - 2018 - Asian Philosophy 28 (4):358-367.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. Zhi Xu Yu Zi You: Ru Dao Hu Bu Chu Lun = Order and F[R]Eedom: Preliminary Discussion on the Complementarity of Confucianism and Taoism.Jimin An - 2010 - She Hui Ke Xue Wen Xian Chu Ban She.
    本书的目的是揭示以儒道互补为主的中国文化形态和哲学理念在社会结构平衡和历史动态平衡中生效的内在理路和机制.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Zhongtaology: A Confucian Way of Philosophical Thinking and Moral Life.Keqian Xu - 2013 - In School of Philosophy (ed.), XXIII World Congress of Philosophy: Philosophy as Inquiry and Way of Life(Abstract). University of Athens.
    Due to the differences of languages, “ontology” in its original Western sense had not been conceptualized in ancient China. The most prominent and unique feature of Confucian philosophy in early ancient China is “Zhongtaology” instead of “ontology”. Zhongtaology is the philosophical inquiring for the way of “Zhong”, which is based on all the primordially related semantic meanings embodied in the Chinese character “zhong”. Zhongtaological philosophy indicates an association between human beings and their world, a coincidence between subjectivity and objectivity, a (...)
     
    Export citation  
     
    Bookmark  
  32.  28
    The Advantages, Shortcomings, and Existential Issues of Zhuangzi’s Use of Images.Bao Zhaohui - 2010 - Frontiers of Philosophy in China 5 (2):196-211.
    Zhuangzi is considered a creative poet-philosopher because of his use of imaginative images. He used the imaginative images of his system to construct the world of the Dao. He left the essence of material things as they are to speak for the mystery of existence itself, and let them express both the state of and the dream for human freedom. Zhuangzi’s way of using images shows his own lack of the understanding about images, and his lack of adequate assessments. He (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  33. Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap, Michael Perloff & Ming Xu - 2002 - Philosophical Quarterly 52 (209):660-662.
    No categories
     
    Export citation  
     
    Bookmark   147 citations  
  34. The Unique Features of Hui Shi’s Thought: A Comparative Study Between Hui Shi and Other Pre-Qin Philosophers.Keqian Xu - 1997 - Journal of Chinese Philosophy 24 (2):231-253.
    Hui Shi (370-310B.C.E.?) is a unique one among the pre-Qin scholars. The object and orientation of his scholarship emphasized on “chasing after the materials” or the research for objective knowledge of natural things. He shows a tendency of tolerating and advocating diversity and variety, and intentionally pursuing new and unusual ideas. In certain degree he judges the value of knowledge by its truthfulness rather than its usefulness. As pointed out by Wing-tsit Chan, Hui shi represents a “tendency in ancient China (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  37
    A Logic of Knowing Why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.
    When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  11
    Hand-Printed Books, Ceiling and Wall Scrolls From False Letter Blocks, Installation View From Elvehjem Museum, Madison, WI, 1991.Xu Bing - 2004 - Diacritics 34 (4):3-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. V. 2]. Liang Han Juan.Xu Kangshengzhu - 2010 - In Yijie Tang & Zhonghua Li (eds.), Zhongguo Ru Xue Shi. Beijing da Xue Chu Ban She.
     
    Export citation  
     
    Bookmark  
  38.  7
    The Origin and Historical Development of Human Rights Theory (1989).Xu Bing - 2001 - In Stephen C. Angle & Marina Svensson (eds.), Chinese Human Rights Reader. M. E. Sharpe. pp. 307.
  39.  13
    Transmission and Change: The Religious Belief of Tibetan Villagers in Kangding [J].Xu Jun - 2002 - Journal of Religious Studies (Misc) 2:007.
  40.  46
    A Different Type of Individualism in Zhuangzi.Xu Keqian 徐克謙 - 2011 - Dao: A Journal of Comparative Philosophy 10 (4):445-462.
    Individualism is not only a Western tradition. In the Zhuangzi we can also identify some elements which may be appropriately attributed to “individualism.” However, due to its particular cultural and philosophical background, Zhuangzian individualism has unique characteristics, which distinguish it from the variety of other individualist thoughts that have emerged in the West. Zhuangzi has a dynamic and open view on individual “self,” considering individuals as changing and unique beings rather than fixed and interchangeable “atoms”; he sets the unlimited Dao (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. On the Relativity of Simultaneity.Xu Shaozhi & Xu Xiangqun - 1993 - Apeiron: Studies in Infinite Nature 16:8-11.
     
    Export citation  
     
    Bookmark  
  42. No One Can Save the LT.Xu Shaozi - 2000 - Apeiron 7 (1-2).
     
    Export citation  
     
    Bookmark  
  43. A Multiculturalist Approach to Discourse Theory. Shi-Xu - 2006 - Semiotica 158 (1-4):383-400.
     
    Export citation  
     
    Bookmark  
  44.  4
    Along Marx Goes With Us.Xu Junzhong - 2003 - Modern Philosophy 2:008.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  23
    Educational Philosophy – East, West, and Beyond: A Reading and Discussion of Xueji.Xu Di - 2017 - Educational Philosophy and Theory 49 (5):442-451.
    This article analyzes Xueji and discusses some of the myths and facts in Western perceptions of Chinese educational practice. It also looks at the similarities and contrasts between Eastern and Western conceptions of teaching and learning. A careful study of Xueji will help in understanding some common Western misunderstandings and misperceptions of Chinese pedagogic practices, in particular, the views that Chinese educational practices and ideas are authoritarian, encourage obedience to authority over individual inquiry, promote memorization over comprehension, and are non-individualized (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  68
    Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
    In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  13
    Review: Business Ethics by Ouyang Runping. [REVIEW]Xu Dajian - 2008 - Journal of Business Ethics Education 5:303-306.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  18
    Adjectival and Adverbial Modification: The View From Modern Type Theories.Stergios Chatzikyriakidis & Zhaohui Luo - 2017 - Journal of Logic, Language and Information 26 (1):45-88.
    In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  10
    Xu, Guorong 徐國榮, Compendium of Wei-Jin Xuanxue 魏晉玄學會要: Nanjing 南京: Jiangsu Renmin Chubanshe 江蘇人民出版社, 2014, 419 Pages.Paul D’Ambrosio - 2015 - Dao: A Journal of Comparative Philosophy 14 (3):473-474.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  40
    Classical Predicative Logic-Enriched Type Theories.Robin Adams & Zhaohui Luo - 2010 - Annals of Pure and Applied Logic 161 (11):1315-1345.
    A logic-enriched type theory is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise different approaches (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000