Results for 'Zhaohui Su'

1000+ found
Order:
  1.  10
    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  
  2. Yi Sŭng-man: t'ongch'i inyŏm ŭrosŏ chayu minjujuŭi ŭi t'ansaeng.Chŏng Sŭng-hyŏn & Chŏn Chae-ho - 2019 - In Chŏng-in Kang (ed.), Inmul ro ingnŭn hyŏndae Han'guk chŏngch'i sasang ŭi hŭrŭm: haebang ihu put'ŏ 1980-yŏndae kkaji. Ak'anet.
     
    Export citation  
     
    Bookmark  
  3.  16
    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  
  4.  81
    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  
  5. Ma Kwang-su ŭi inmunhak pit'ŭlgi.Kwang-su Ma - 2014 - Kyŏnggi-do Koyang-si: Ch'aek Ingnŭn Kwijok.
     
    Export citation  
     
    Bookmark  
  6. 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  
  7. 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  
  8.  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  
  9.  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.
  10. An Extended Calculus of Constructions.Zhaohui Luo - 1990 - Dissertation, University of Edinburgh
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  11.  28
    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  
  12.  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.
  13.  7
    The Confucian concepts of tianxia天下, yi-xia 夷夏and Chinese nationalism.Mao Zhaohui - 2022 - Asian Philosophy 33 (1):75-89.
    ABSTRACT There are two views on the nature of Chinese nationalism. The one view treats Chinese nationalism as political nationalism while the other recognises it as cultural nationalism. This paper argues that Chinese nationalism had been deeply shaped by Confucianism, which has two important and influential concepts of nationalism: tianxia天下and yi-xia夷夏. These two concepts reflect the two facets of Confucian nationalism. With the first facet, manifested in the concept of tianxia, Confucianism emphasizes cultural identity and the pursuit of a kind (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14. Sam ŭl kŭngjŏng hanŭn hŏmujuŭi: kŏnnŭn sahoe hakcha Chŏng Su-bok i tungji ch'ŏrhakcha Pak I-mun ŭl mannada.Su-bok Chŏng - 2013 - Sŏul-si: Alma.
     
    Export citation  
     
    Bookmark  
  15.  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   3 citations  
  16.  88
    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  
  17.  21
    Is Xunzi a utilitarian? Revisiting a disagreement.M. A. O. Zhaohui - 2018 - Asian Philosophy 28 (4):358-367.
    In Chinese scholarship, Xunzi is often regarded as an eclectic Confucian master who accepted some form of utilitarian thoughts (e.g. Fung Yu-lan, Mou Zongsan and Xu Fuguan). 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, (...)
    Direct download (4 more)  
     
    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.  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  
  21.  13
    The Prose-Poetry of Su Tung-p'o.J. K. Shryock, Cyril Drummond LeGros Clark & Su Tung-P'O. - 1936 - Journal of the American Oriental Society 56 (1):95.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  70
    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  
  23.  19
    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  
  24.  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  
  25. Neurodynamic and Particle Swarm Optimization-Extended Particle Swarm Optimiser with Adaptive Acceleration Coefficients and Its Application in Nonlinear Blind Source Separation.Ying Gao, Zhaohui Li, Hui Zheng & Huailiang Liu - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 1174-1182.
  26. El estilo alfarero yavi Y su relación con la construcción de entidades culturales.Yavi Y. Su El Estilo Alfarero - 2005 - Theoria 14 (1):85-101.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  1
    The Evolution and Determinants of Interorganizational Coinvention Networks in New Energy Vehicles: Evidence from Shenzhen, China.Jia Liu, Zhaohui Chong & Shijian Lu - 2021 - Complexity 2021:1-12.
    With the increasing attention to climate change, air pollution, and related public health issues, China’s new energy vehicles industry has developed rapidly. However, few studies investigated the evolution of interorganizational collaborative innovation networks in the sector domain of NEVs and the influence of different drivers on the establishment of innovation relationships. In this context, this paper uses the joint invention patent of Shenzhen, a low-carbon pilot city of China, to investigate the dynamics of network influencing factors. The social network analysis (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  3
    A general approach to extension-based semantics in abstract argumentation.Lixing Tan, Zhaohui Zhu & Jinjin Zhang - 2023 - Artificial Intelligence 315 (C):103836.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  35
    Coercion completion and conservativity in coercive subtyping.Sergei Soloviev & Zhaohui Luo - 2001 - Annals of Pure and Applied Logic 113 (1-3):297-322.
    Coercive subtyping offers a general approach to subtyping and inheritance by introducing a simple abbreviational mechanism to constructive type theories. In this paper, we study coercion completion in coercive subtyping and prove that the formal extension with coercive subtyping of a type theory such as Martin–Löf's type theory and UTT is a conservative extension. The importance of coherence conditions for the conservativity result is also discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  13
    Nature and Self: A Study of the Poetry of Su Dongpo with Comparisons to the Poetry of William Wordsworth.Jonathan Pease, Vincent Yang, Su Dongpo & William Wordsworth - 1992 - Journal of the American Oriental Society 112 (3):517.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. Li Ti Ching Shen Li Yüeh Wen Hua Yü Chung-Kuo Cheng Chih.Su Liu - 1990
    No categories
     
    Export citation  
     
    Bookmark  
  32.  4
    Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R.Yan Zhang, Zhaohui Zhu, Jinjin Zhang & Yong Zhou - 2015 - Journal of Applied Logic 13 (4):654-675.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  1
    Südarabien im Altertum: Kommentierte Bibliographie der Jahre 1997 bis 2011. By Walter W. Müller.Paul A. Yule - 2021 - Journal of the American Oriental Society 138 (2):453.
    Südarabien im Altertum: Kommentierte Bibliographie der Jahre 1997 bis 2011. By Walter W. Müller. Epigraphische Forschungen auf der Arabischen Halbinsel, vol. 6. Tübingen: Wasmuth, 2014. Pp. vii + 187. €19.80.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Ch'ŏrhak chisik.Su-yŏng Kim - 2014 - [P'yon̆gyang]: Sahoe Kwahak Ch'ulp'ansa.
     
    Export citation  
     
    Bookmark  
  35. Chungguk chisik chihyŏng ŭi hyŏngsŏng kwa pyŏnyong.Sŭng-uk Kim (ed.) - 2020 - Kyŏnggi-do Koyang-si: Hakkobang.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Chabonjuŭi ihu ŭi saeroun sahoe.Su-Haeng Kim & Chŏng-wan Sin (eds.) - 2007 - Sŏul: Sŏul Taehakkyo Ch'ulp'an Munhwawŏn.
     
    Export citation  
     
    Bookmark  
  37. Hanʼguk Esŏ Marŭkʻŭsŭjuŭi Kyŏngjehak Ŭi Toip Kwa Chŏnʼgae Kwajŏng.Su-Haeng Kim - 2004 - Sŏul Taehakkyo Chʻulpʻanbu.
  38. Han'guk Sŏngnihak ŭi insik kwa silch'ŏn.Sŭng-yŏng Kim - 2019 - Taejŏn Kwangyŏksi: Pindŭl.
     
    Export citation  
     
    Bookmark  
  39. Pan'gye Yu Hyŏng-wŏn saeroun Chosŏn ŭl kkum kkuda.Sŭng-dae Kim - 2020 - Chŏnbuk Chŏnju-si: Hŭrŭm.
    1. Yu Hyŏng-wŏn ŭi ppuri wa Pan'gyehak ŭl nonhada -- 1.1. Pan'gye Yu Hyŏng-wŏn kagye punsŏk -- 1.2. Chiyŏkhak ŭrosŏ Pan'gyehak yŏn'gu -- 2. Pan'gye Sŏnsaeng palchach'wi rŭl ch'aja kada -- 2.1. Sirhak ŭi mek'a, Puan Uban-dong -- 2.2. Pan'gye Sŏnsaeng i namgin palchach'wi -- 2.3. Puan chiyŏk Yugyo munhwa yusan ŭi hyŏnhwang kwa kwaje -- 3. Pan'gye Sŏnsaeng ŭl kirida -- 3.1. Puan Tongnim Sŏwŏn ŭi kŏllip kwa pyŏnch'ŏn e taehan yŏn'gu -- 3.2. Tŏkch'on Yang Tŭk-chung ŭi kagye wa (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Sŭmu sal, Panya simgyŏng e mich'ida.Yong-ok Kim - 2019 - Sŏul-si: T'ongnamu.
     
    Export citation  
     
    Bookmark  
  41. Su qiu zheng tong: Zhou Rudeng yu Wanli Wang xue.Ge Wang - 2022 - Shanghai Shi: Shanghai ren min chu ban she.
    No categories
     
    Export citation  
     
    Bookmark  
  42.  10
    Detecting continuity violations in infancy: a new account and new evidence from covering and tube events.Su-hua Wang, Renée Baillargeon & Sarah Paterson - 2005 - Cognition 95 (2):129-173.
  43. Indagini Su Hegel a Schiarimenti Filosofici.Benedetto Croce - 1952 - G. Laterza.
     
    Export citation  
     
    Bookmark   2 citations  
  44.  2
    Mathematics for human flourishing.Francis Su - 2020 - New Haven: Yale University Press.
    An inclusive vision of mathematics-- its beauty, its humanity, and its power to build virtues that help us all flourish. For mathematician Francis Su, a society without mathematical affection is like a city without museums. To miss out on mathematics is to live without experiencing some of humanity's most beautiful ideas. In this profound book, written for a diverse audience but especially for those disenchanted by their past experiences, an award-winning mathematician and educator weaves personal reflections, puzzles, and stories to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Newmann: su estela a lo largo de una centuria.F. De B. Vizmanos - 1945 - Pensamiento 1 (4):405-412.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  11
    Finite-Time Stabilization of Memristive Cohen-Grossberg Neural Networks with Time-Varying Delay.Ge Li, Yaqiong Li & Zhaohui Yuan - 2018 - Complexity 2018:1-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Suʼāl al-ʻunf: bayna al-iʼtmānīyah wa-al-ḥiwārriyah.Ṭāhā ʻAbd al-Raḥmān - 2017 - Bayrūt, Lubnān: al-Muʼassasah al-ʻArabīyah lil-Fikr wa-al-Ibdāʻ.
     
    Export citation  
     
    Bookmark  
  48.  13
    Young infants view physically possible support events as unexpected: New evidence for rule learning.Su-hua Wang, Yu Zhang & Renée Baillargeon - 2016 - Cognition 157 (C):100-105.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  4
    Improving Cycling Behaviors of Dockless Bike-Sharing Users Based on an Extended Theory of Planned Behavior and Credit-Based Supervision Policies in China.Lanying Sun, Xing Zhou & Zhaohui Sun - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  3
    Note su Gérard Lebrun e la sua ricezione della Critica del giudizio: un’influenza sulla filosofia biologica francese contemporanea?Emiliano Sfara - forthcoming - Kant E-Prints:29-44.
    Al netto di alcune eccezioni, non si può certo affermare che la concezione kantiana dell’organismo abbia rappresentato un modello frequente per le spiegazioni del funzionamento dell’organismo nella filosofia della biologia del ventesimo e del ventunesimo secolo. Tuttavia, il filosofo francese della biologia Philippe Huneman fa riferimento a questo tipo di concezione in alcune opere dedicate alla filosofia dell'organismo. Prendendo in analisi alcuni passaggi degli scritti del filosofo Gérard Lebrun, che fu il supervisore della tesi dottorale di Huneman, questo articolo si (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000