•  6
    © 2015 Macmillan Publishers Limited All rights reserved. Genome-wide gene expression measurements have enabled comprehensive studies that integrate the changes of gene expression and phenotypic information to uncover their novel associations. Here we reported the association analysis between psychophysical phenotypes and genome-wide gene expression changes in human adaptation to one of the most extreme climates on Earth, the Antarctic Dome Argus. Dome A is the highest ice feature in Antarctica, …Read more
  •  102
    A logic of knowing why
    with Yanjing Wang and Thomas Studer
    Synthese 198 (2): 1259-1285. 2021.
    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}{…Read more