•  20
    UPC++: A PGAS extension for C++
    with A. Kamil, M. B. Driscoll, H. Shan, and K. Yelick
    Partitioned Global Address Space languages are convenient for expressing algorithms with large, random-access data, and they have proven to provide high performance and scalability through lightweight one-sided communication and locality control. While very convenient for moving data around the system, PGAS languages have taken different views on the model of computation, with the static Single Program Multiple Data model providing the best scalability. In this paper we present UPC++, a PGAS ext…Read more
  •  15
    Evaluation of PGAS communication paradigms with geometric multigrid
    with H. Shan, A. Kamil, S. Williams, and K. Yelick
    Copyright 2014 ACM 978-1-4503-3247-7/14/10$15.00.Partitioned Global Address Space languages and one-sided communication enable application developers to select the communication paradigm that balances the performance needs of applications with the productivity desires of programmers. In this paper, we evaluate three different one-sided communication paradigms in the context of geometric multigrid using the miniGMG benchmark. Although miniGMG's static, regular,and predictable communication does n…Read more
  •  23
    The human cationic antimicrobial protein LL-37 is a multifunctional host defense peptide with a wide range of immunomodulatory activities. Previous work has shown that LL-37 exerts both pro- and anti-inflammatory effects. The role of mitochondria in the skin inflammatory effects of LL-37 has not been well studied. Therefore, our aim was to investigate the immunomodulatory effect of LL-37 in HaCaT cells and to delineate the underlying mechanisms related to mitochondrial function. Immunohistochemi…Read more
  •  12
    Both SKP2 and transforming growth factor-β1 play important roles in cancer metastasis through different mechanisms: TGF-β1 via induction of epithelial-mesenchymal transition and SKP2 via downregulating p27kip1. Recent studies indicated that c-Myc and Akt1 were active players in metastasis. In this study we demonstrated a crosstalk between these pathways. Specifically, we found that TGF-β1 treatment increased SKP2 expression accompanied with increased phosphorylation of Akt1 and c-Myc protein acc…Read more
  •  29
    Copyright © 2014 ACM 978-1-4503-2937-8/14/06. 15.00.Multidimensional arrays are an important data structure in many scientific applications. Unfortunately, built-in support for such arrays is inadequate in C++, particularly in the distributed setting where bulk communication operations are required for good performance. In this paper, we present a multidimensional library for partitioned global address space programs, supporting the one-sided remote access and bulk operations of the PGAS model. …Read more
  •  13
    Partitioned Global Address Space languages offer programmers the convenience of a shared memory programming style combined with locality control necessary to run on large-scale distributed memory systems. Even within a PGAS language programmers often need to perform global communication operations such as broadcasts or reductions, which are best performed as collective operations in which a group of threads work together to perform the operation. In this paper we consider the problem of implemen…Read more
  •  145
    Dynamic Interactions with the Philosophy of Mathematics
    Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (3): 437-459. 2001.
    Dynamic interaction is said to occur when two significanrly different fields A and B come into relation, and their interaction is dynamic in the sense that at first the flow of ideas is principally from A to B, but later ideas from B come to influence A. Two examples are given of dynamic interactions with the philosophy of mathematics. The first is with philosophy of scicnce, and thc sccond with computer science. Theanalysis cnables Lakatos to be charactcrised as thc first to devclop the philoso…Read more
  •  50
    Shu xue, luo ji yu zhe xue
    Xin hua shu dian Hubei fa xing suo jing xiao. 1987.
    本书着重阐述了数学、逻辑与哲学三者之间的辩证关系。探讨了数学哲学的历史发展;数学哲学的现代发展;数学的逻辑化与逻辑的数学化;哲学逻辑与逻辑哲学中的若干问题。
  •  58
    The Effect of Non-immersive Virtual Reality Exergames Versus Band Stretching on Cardiovascular and Cerebral Hemodynamic Response: A Functional Near-Infrared Spectroscopy Study
    with Tingting You, Rongwei Du, Jiahui Zhang, Tingting Peng, Junjie Liang, Biyi Zhao, Haining Ou, Yongchun Jiang, Huiping Feng, Anniwaer Yilifate, and Qiang Lin
    Frontiers in Human Neuroscience 16. 2022.
    BackgroundExercise is one of the effective ways to improve cognition. Different forms of exercises, such as aerobic exercise, resistance exercise, and coordination exercise, have different effects on the improvement of cognitive impairment. In recent years, exergames based on Non-Immersive Virtual Reality have been widely used in entertainment and have gradually been applied to clinical rehabilitation. However, the mechanism of NIVR-Exergames on improving motor cognition has not been clarified. …Read more
  •  1
    Some remarks on the Philosophy of Mathematics Education
    Philosophy of Mathematics Education Journal 7. 1994.
  •  75
    Philosophy Of Mathematics In China
    Philosophia Mathematica (1): 174-199. 1991.
  •  20
    数学方法论教程
    with Lizhi Xu and Wujia Zhu
    Jing xiao Jiangsu sheng xin hua shu dian. 1992.
    本书内容包括概论、关系映射反演方法、公理化方法与数学结构主义、数学抽象方法与抽象度分析法等7章。
  •  96
    Philosophy of mathematics in china
    Philosophia Mathematica (2): 174-199. 1991.
  • Non-Euclidean geometry and revolutions in mathematics
    In Donald Gillies (ed.), Revolutions in mathematics, Oxford University Press. pp. 169--182. 1992.