Results for 'Huijing Guo'

24 found
Order:
  1. Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
    This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. An Evidence Fusion Method with Importance Discounting Factors based on Neutrosophic Probability Analysis in DSmT Framework.Qiang Guo, Haipeng Wang, You He, Yong Deng & Florentin Smarandache - 2017 - Neutrosophic Sets and Systems 17:64-73.
    To obtain effective fusion results of multi source evidences with different importance, an evidence fusion method with importance discounting factors based on neutrosopic probability analysis in DSmT framework is proposed. First, the reasonable evidence sources are selected out based on the statistical analysis of the pignistic probability functions of single focal elements. Secondly, the neutrosophic probability analysis is conducted based on the similarities of the pignistic probability functions from the prior evidence knowledge of the reasonable evidence sources. Thirdly, the importance (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. A new paradox and the reconciliation of Lorentz and Galilean transformations.Hongyu Guo - 2021 - Synthese 199 (3-4):8113-8142.
    One of the most debated problems in the foundations of the special relativity theory is the role of conventionality. A common belief is that the Lorentz transformation is correct but the Galilean transformation is wrong. It is another common belief that the Galilean transformation is incompatible with Maxwell equations. However, the “principle of general covariance” in general relativity makes any spacetime coordinate transformation equally valid. This includes the Galilean transformation as well. This renders a new paradox. This new paradox is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Philosophy of science in China : politicized, de-politicized, and re-politicized.Yuanlin Guo & David Ludwig - 2021 - In David Ludwig & Inkeri Koskinen (eds.), Global Epistemologies and Philosophies of Science. New York: Routeldge.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Solving word problems involving triangles and implications on training pre-service mathematics teachers.William Guo - 2024 - Stem Education 4 (3):263-281.
    Triangles and trigonometry are always difficult topics for both mathematics students and teachers. Hence, students' performance in solving mathematical word problems in these topics is not only a reflection of their learning outcomes but also an indication of teaching effectiveness. This case study drew from two examples of solving word problems involving triangles by pre-service mathematics teachers in a foundation mathematics course delivered by the author. The focus of this case study was on reasoning implications of students' performances on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Academic Integrity: Understanding Essence of Undergraduates’ Plagiarism in Their Research Writing at a Southern Chinese University.Zhengyan Guo - 2022 - The 5Th World Conference on Research in Education.
    In China, plagiarism among undergraduate students has been a protuberant issue preventing the robust development of tertiary education. The purpose of this Interpretative Phenomenological Analysis (IPA) research was to acquire a profound understanding of the essence of the phenomenon through the process of students’ research writing at Shaoyang University (SYU), a southern Chinese University. Employing a step-wise combination of purposive and random sampling techniques, 11 participants were selected to partake in the study’s online, face-to-face, and one-on-one semi-structured interviews. On completion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Positive youth development attributes, mental disorder, and problematic online behaviors in adolescents: a longitudinal study amidst the COVID-19 pandemic.Xiong Gan, Guo-Xing Xiang, Min Li, Xin Jin & Ke-Nan Qin - 2023 - Frontiers in Public Health 11:1133696.
    Introduction: During the COVID-19 pandemic, adolescents have increasingly suffered from online problem behaviors and mental disorders. But little research has paid attention to the protective factors among adolescents. Therefore, the present study attempted to investigate the role of positive youth development (PYD) attributes in adolescents’ depression, internet gaming disorder (IGD) and cyberbullying/victimization (CBV). -/- Methods: A total of 995 Chinese adolescents (Mage = 15.97 years, SD = 0.77, 325 boys) from two public high schools in Hubei province were recruited to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Laughing in Chinese. [REVIEW]Robert Keith Shaw & Guo-Hai Chen - 2014 - Humor 27 (1):167-170.
    Santangelo, Paulo (ed.). 2012.Laughing in Chinese.Rome: Aracne Editrice. 472pp. €26. ISBN 97888 548 46203. This book of 15 papers is divided into four parts: humor in Chinese and Japanese literary works, examples of comic literature, the moral involvement of humor, and the psychology of humor. Santangelo provides a substantial introduction to smiles and laughter in the Chinese context and also to the papers in his book (pp. 5–28). This structure lends itself to a description and analysis of smiling and laughing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. OAE: The Ontology of Adverse Events.Yongqun He, Sirarat Sarntivijai, Yu Lin, Zuoshuang Xiang, Abra Guo, Shelley Zhang, Desikan Jagannathan, Luca Toldo, Cui Tao & Barry Smith - 2014 - Journal of Biomedical Semantics 5 (29):1-13.
    A medical intervention is a medical procedure or application intended to relieve or prevent illness or injury. Examples of medical interventions include vaccination and drug administration. After a medical intervention, adverse events (AEs) may occur which lie outside the intended consequences of the intervention. The representation and analysis of AEs are critical to the improvement of public health. Description: The Ontology of Adverse Events (OAE), previously named Adverse Event Ontology (AEO), is a community-driven ontology developed to standardize and integrate data (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  10. Ownership reasoning in children across cultures.Philippe Rochat, Erin Robbins, Claudia Passos-Ferreira, Angela Donato Oliva, Maria D. G. Dias & Liping Guo - 2014 - Cognition 132 (3):471-484.
    To what extent do early intuitions about ownership depend on cultural and socio-economic circumstances? We investigated the question by testing reasoning about third party ownership conflicts in various groups of three- and five-year-old children (N = 176), growing up in seven highly contrasted social, economic, and cultural circumstances (urban rich, poor, very poor, rural poor, and traditional) spanning three continents. Each child was presented with a series of scripts involving two identical dolls fighting over an object of possession. The child (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  11. New Development of Neutrosophic Probability, Neutrosophic Statistics, Neutrosophic Algebraic Structures, and Neutrosophic Plithogenic Optimizations.Florentin Smarandache & Yanhui Guo - 2022 - Basel, Switzerland: MDPI.
    This volume presents state-of-the-art papers on new topics related to neutrosophic theories, such as neutrosophic algebraic structures, neutrosophic triplet algebraic structures, neutrosophic extended triplet algebraic structures, neutrosophic algebraic hyperstructures, neutrosophic triplet algebraic hyperstructures, neutrosophic n-ary algebraic structures, neutrosophic n-ary algebraic hyperstructures, refined neutrosophic algebraic structures, refined neutrosophic algebraic hyperstructures, quadruple neutrosophic algebraic structures, refined quadruple neutrosophic algebraic structures, neutrosophic image processing, neutrosophic image classification, neutrosophic computer vision, neutrosophic machine learning, neutrosophic artificial intelligence, neutrosophic data analytics, neutrosophic deep learning, and neutrosophic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Fairness in Distributive Justice by 3- and 5-Year-Olds Across Seven Cultures.Philippe Rochat, Maria D. G. Dias, Guo Liping, Tanya Broesch, Claudia Passos-Ferreira, Ashley Winning & Britt Berg - 2009 - Journal of Cross-Cultural Psychology 40 (3):416-442.
    This research investigates 3- and 5-year-olds' relative fairness in distributing small collections of even or odd numbers of more or less desirable candies, either with an adult experimenter or between two dolls. The authors compare more than 200 children from around the world, growing up in seven highly contrasted cultural and economic contexts, from rich and poor urban areas, to small-scale traditional and rural communities. Across cultures, young children tend to optimize their own gain, not showing many signs of self-sacrifice (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  13. Seyn, ἕν, 道: Brevis tractatus meta-ontologicus de elephantis et testudinibus.Florian Marion - 2022 - Revue Philosophique De Louvain 119 (1):1-51.
    The question of ontological foundation has undergone a noteworthy revival in recent years: metaphysicians today quarrel about how exactly to understand the asymmetrical and hyperintensional relationship of grounding. One of the reasons for this revival is that the old quantificationalist meta-ontology inherited from Quine has been effectively criticised by leading philosophers favourable to a meta-ontology, the aim of which is to come to know “which facts/items ground (constitute the base of) which other facts/items”, thus to examine the relation of ontological (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  81
    A New Discourse on Fengjian: The Redefinition of Fengjian and the Demonization of Federalism.Wynn Wong - 2024 - Chinese Historical Review 31 (1):81-102.
    This article examines the evolution of the vocabulary “feudal (fengjian)” in early twentieth-century China. Despite having served as a symbol of local autonomy and countervailing against imperial authority as emphasized in the Confucian tradition, the term had descended into an object of scorn, oppression, and retrogression in the latter half of the twentieth century until today. An alternative interpretation toward the modern misuse of fengjian may be found by focusing and comparing the two seemingly unrelated and radically different portrayals of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Islamic ethics and the controversy about the moral heart of confucianism.Mohammad Ashraf Adeel - 2008 - Dao: A Journal of Comparative Philosophy 7 (2):151-156.
    This essay briefly evaluates the ongoing controversy between LIU Qingping and GUO Qiyong (and their followers) about the “moral heart ”of Confucianism in order to draw acomparison with Islamic ethics for mutual illumination of the two traditions.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Nishida and Merleau-Ponty: Art, “Depth,” and “Seeing without a Seer”.Adam Loughnane - 2016 - European Journal of Japanese Philosophy 1:47-74.
    This paper sets Maurice Merleau-Ponty and Nishida Kitarō in dialogue and explore the interpretations of artistic expression, which inform their similar phenomenological accounts of perception. I discuss how both philosophers look to artistic practice to reveal multi-perspectival aspects of vision. They do so, I argue, by going beyond a “positivist” representational under-standing of perception and by including negative aspects of visual experience as constitutive of vision. Following this account, I interpret artworks by Cézanne, Guo Xi, Rodin, and Hasegawa according to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. _Attention what is it like [Dataset].Vitor Manuel Dinis Pereira - manuscript
    R Core Team. (2016). R: A language and environment for statistical computing. R Foundation for Statistical Computing. Supplement to Occipital and left temporal instantaneous amplitude and frequency oscillations correlated with access and phenomenal consciousness. Occipital and left temporal instantaneous amplitude and frequency oscillations correlated with access and phenomenal consciousness move from the features of the ERP characterized in Occipital and Left Temporal EEG Correlates of Phenomenal Consciousness (Pereira, 2015) towards the instantaneous amplitude and frequency of event-related changes correlated with a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Collected Papers (Neutrosophics and other topics), Volume XIV.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran Andujar, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Collected Papers (on Neutrosophic Theory and Applications), Volume VI.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This sixth volume of Collected Papers includes 74 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2015-2021 by the author alone or in collaboration with the following 121 co-authors from 19 countries: Mohamed Abdel-Basset, Abdel Nasser H. Zaied, Abduallah Gamal, Amir Abdullah, Firoz Ahmad, Nadeem Ahmad, Ahmad Yusuf Adhami, Ahmed Aboelfetouh, Ahmed Mostafa Khalil, Shariful Alam, W. Alharbi, Ali Hassan, Mumtaz Ali, Amira S. Ashour, Asmaa Atef, Assia Bakali, Ayoub Bahnasse, A. A. Azzam, Willem K.M. Brauers, Bui (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Collected Papers (on Neutrosophic Theory and Applications), Volume VII.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This seventh volume of Collected Papers includes 70 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2013-2021 by the author alone or in collaboration with the following 122 co-authors from 22 countries: Mohamed Abdel-Basset, Abdel-Nasser Hussian, C. Alexander, Mumtaz Ali, Yaman Akbulut, Amir Abdullah, Amira S. Ashour, Assia Bakali, Kousik Bhattacharya, Kainat Bibi, R. N. Boyd, Ümit Budak, Lulu Cai, Cenap Özel, Chang Su Kim, Victor Christianto, Chunlai Du, Chunxin Bo, Rituparna Chutia, Cu Nguyen Giap, Dao The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Collected Papers (on various scientific topics), Volume XIII.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Nidus Idearum. Scilogs, IX: neutrosophia perennis.Florentin Smarandache - 2022 - Grandview Heights, OH, USA: Educational Publisher.
    In this ninth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, – in email messages to research colleagues, or replies, and personal notes, some handwritten on the planes to, and from international conferences, about topics on Neutrosophy and its applications, such as: Neutrosophic Bipolar Set, Linguistic Neutrosophic Set, Neutrosophic Resonance Frequency, n-ary HyperAlgebra, n-ary NeutroHyperAlgebra, n-ary AntiHyperAlgebra, Plithogenic Crisp Graph, Plithogenic Fuzzy Graph, Plithogenic Intuitionistic Fuzzy Graph, Plithogenic Neutrosophic Graph, Plithogenic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Superluminal and Instantaneous Physics.Florentin Smarandache - 2014 - Columbus, OH, USA: Educational Publisher.
    This book is a selection from the papers of the First International Conference on Superluminal Physics as New Fields of Research held at the University of New Mexico, Gallup Campus, USA, in July 2012. The editor have selected seven papers proposed by the following authors and co co-authors Kaizhe Guo Guo, Chongwu Guo Guo, Chen Jianguojianguo, Dong Jingfeng Jingfeng, Mi Haijiang Haijiang, Changwei Hu Hu, Yang Shijiashijia, Guli, and Fu Yuhua Yuhua.
    Download  
     
    Export citation  
     
    Bookmark  
  24. “Xuanxue’s Contributions to Chinese Philosophy,”.James Sellmann - 2020 - In David Chai (ed.), Dao compainon to Xuanxue. pp. 13-32.
    This chapter offers a brief introduction to Xuanxue Wei Jin Dynasty philosophy.
    Download  
     
    Export citation  
     
    Bookmark