-
International Workshop on Web-Based Internet Computing for Science and Engineering (ICSE 2006)-A Model of XML Access Control with Dual-Level Security ViewsIn O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science, Springer Verlag. pp. 3842--799. 2006.
-
60Internal Categoricity in Arithmetic and Set TheoryNotre Dame Journal of Formal Logic 56 (1): 121-134. 2015.We show that the categoricity of second-order Peano axioms can be proved from the comprehension axioms. We also show that the categoricity of second-order Zermelo–Fraenkel axioms, given the order type of the ordinals, can be proved from the comprehension axioms. Thus these well-known categoricity results do not need the so-called “full” second-order logic, the Henkin second-order logic is enough. We also address the question of “consistency” of these axiom systems in the second-order sense, that…Read more
-
32An Ehrenfeucht‐Fraïssé game for Lω1ωMathematical Logic Quarterly 59 (4-5): 357-370. 2013.In this paper we develop an Ehrenfeucht‐Fraïssé game for. Unlike the standard Ehrenfeucht‐Fraïssé games which are modeled solely after the behavior of quantifiers, this new game also takes into account the behavior of connectives in logic. We prove the adequacy theorem for this game. We also apply the new game to prove complexity results about infinite binary strings.
-
7The axonal radial contractility: Structural basis underlying a new form of neural plasticityBioessays 43 (8): 2100033. 2021.Axons are the longest cellular structure reaching over a meter in the case of human motor axons. They have a relatively small diameter and contain several cytoskeletal elements that mediate both material and information exchange within neurons. Recently, a novel type of axonal plasticity, termed axonal radial contractility, has been unveiled. It is represented by dynamic and transient diameter changes of the axon shaft to accommodate the passages of large organelles. Mechanisms underpinning this…Read more
-
10Power Option Pricing Based on Time-Fractional Model and Triangular Interval Type-2 Fuzzy NumbersComplexity 2022 1-10. 2022.The problem of generalizing the power option-pricing model to incorporate more empirical features becomes an urgent and necessary event. A new power option pricing method is designed for the financial market uncertainty that simultaneously involves randomness and fuzziness. The randomness in market uncertainty is modeled by a time-fractional diffusion model, which describes trend memory in underlying asset prices. The fuzziness in market uncertainty is characterized by a triangular interval type…Read more
-
12Media has paid more attention recently on environmental issues caused by construction companies which imposes public opinion pressure on construction companies and could potentially impact their decision-making processes for green innovations. However, research on the relationship between public opinions pressure and construction company green innovation behavior is still limited. To understand how such public opinions pressure can impact construction companies' green transition and formulate ad…Read more
-
16Impact of Home-Based Learning Experience During COVID-19 on Future Intentions to Study Online: A Chinese University PerspectiveFrontiers in Psychology 13. 2022.As coronavirus disease 2019 swept the world in early 2020, all the Chinese universities and colleges adopted online learning to fulfill the directive saying “classes suspended but learning continues.” Understanding the impact of this large-scale online learning experience on the future online learning intention of Chinese university students can help design better blended-learning activities. This study applies flow experience and theory of planned behavior to construct a theoretical framework f…Read more
-
13The trend of the modern model of sprinter strength trainingKant 38 (1): 204-208. 2021.The article presents the results of a study aimed at forming a general model of sprinter strength training, taking into account modern trends and scientific achievements, presented in the form of technology and combined techniques aimed at developing the physical quality under study. The general model was based on an approach based on the concentration of a given focus at specific stages of sports training, which determined the requirements for the distribution of the volume of training load whi…Read more
-
53Analysis of the status of informed consent in medical research involving human subjects in public hospitals in ShanghaiJournal of Medical Ethics 36 (7): 415-419. 2010.