251,974 research outputs found
Wang, Hao
No full textHao Wang, circa 1980s. Photo credit: unknown
Years at The Rockefeller University: 1966-1991
Hao Wang (1921-1995) was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel. One of Wang\u27s most important contributions was the Wang tile.He showed that any Turing machine can be turned into a set of Wang tiles. A philosopher in his own right, Wang also developed a penetrating interpretation of Ludwig Wittgenstein\u27s later philosophy of mathematics, which he called anthropologism. He chronicled Kurt Gödel\u27s philosophical ideas and authored several books on the subject, thereby providing contemporary scholars with many insights elucidating Gödel\u27s later philosophical thought.
See also Hao Wang as Philosopher and Interpreter of Gödel and Interview with Hao Wang and Robin Gandyhttps://digitalcommons.rockefeller.edu/faculty-members/1109/thumbnail.jp
Magniberotha Yuan, Ren & Wang 2016
No full text3.269 Genus Magniberotha Yuan, Ren & Wang, 2016 Magniberotha Yuan, Ren & Wang, 2016: 43. Type species: Magniberotha recurrens Yuan, Ren & Wang, 2016.Published as part of Guo, Mingxia, Xing, Lida, Wang, Bo, Zhang, Weiwei, Wang, Shuo, Shi, Aimin & Bai, Ming, 2017, A catalogue of Burmite inclusions, pp. 249-379 in Zoological Systematics 42 (3) on page 310, DOI: 10.11865/zs.201715, http://zenodo.org/record/536031
Maculaberotha Yuan, Ren & Wang 2016
No full text3.268 Genus Maculaberotha Yuan, Ren & Wang, 2016 Maculaberotha Yuan, Ren & Wang, 2016: 41. Type species: Maculaberotha nervosa Yuan, Ren & Wang, 2016.Published as part of Guo, Mingxia, Xing, Lida, Wang, Bo, Zhang, Weiwei, Wang, Shuo, Shi, Aimin & Bai, Ming, 2017, A catalogue of Burmite inclusions, pp. 249-379 in Zoological Systematics 42 (3) on page 310, DOI: 10.11865/zs.201715, http://zenodo.org/record/536031
Maculaberotha nervosa Yuan, Ren & Wang 2016
No full text338) Maculaberotha nervosa Yuan, Ren & Wang, 2016 Maculaberotha nervosa Yuan, Ren & Wang, 2016: 42. Type specimen(s). H (♀): CNU-NEU-MA2016003 (CNU).Published as part of Guo, Mingxia, Xing, Lida, Wang, Bo, Zhang, Weiwei, Wang, Shuo, Shi, Aimin & Bai, Ming, 2017, A catalogue of Burmite inclusions, pp. 249-379 in Zoological Systematics 42 (3) on page 310, DOI: 10.11865/zs.201715, http://zenodo.org/record/536031
Magniberotha recurrens Yuan, Ren & Wang 2016
No full text339) Magniberotha recurrens Yuan, Ren & Wang, 2016 Magniberotha recurrens Yuan, Ren & Wang, 2016: 44. Type specimen(s). H (♀): CNU-NEU-MA2016001 (CNU). P (?): CNU-NEU-MA2016002 (CNU).Published as part of Guo, Mingxia, Xing, Lida, Wang, Bo, Zhang, Weiwei, Wang, Shuo, Shi, Aimin & Bai, Ming, 2017, A catalogue of Burmite inclusions, pp. 249-379 in Zoological Systematics 42 (3) on page 310, DOI: 10.11865/zs.201715, http://zenodo.org/record/536031
Source code and demo of MAGUS (Machine Learning and Graph Theory Assisted Universal Structure Searcher) v2.0.0
No full textThis is the source code and demo for MAGUS (Machine Learning and Graph Theory Assisted Universal Structure Searcher) v2.0.0. Future updates can be accessed from gitlab (https://gitlab.com/bigd4/magus) after registration (https://www.wjx.top/vm/m5eWS0X.aspx).MAGUS is a Python package designed to predict crystal structures, which is free for non-commercial academic use, subject to registration and approval at https://www.wjx.top/vm/m5eWS0X.aspx .
1) This Code or its derivative work will not be used for any purpose other than non-commercial research.
2) This Code or its derivative code will not be published or otherwise distributed.
3) The use of this Code should be acknowledged by citing the tutorial paper describing the use of this code:
[1] Junjie Wang, Hao Gao, Yu Han, Chi Ding, Shuning Pan, Yong Wang, Qiuhan Jia, Hui-Tian Wang, Dingyu Xing, and Jian Sun, "MAGUS: machine learning and graph theory assisted universal structure searcher", National Science Review 10 (7), nwad128 (2023).
[2] Kang Xia, Hao Gao, Cong Liu, Jianan Yuan, Jian Sun, Hui-Tian Wang, Dingyu Xing, "A novel superhard tungsten nitride predicted by machine-learning accelerated crystal structure search", Sci. Bull. 63, 817 (2018).Additional references that may be cited (at the discretion of the user) are:
Graph theory:
[3] Hao Gao, Junjie Wang, Yu Han, Jian Sun, "Enhancing Crystal Structure Prediction by Decomposition and Evolution Schemes Based on Graph Theory", Fundamental Research 1, 466 (2021).
[4] Hao Gao, Junjie Wang, Zhaopeng Guo, Jian Sun, "Determining dimensionalities and multiplicities of crystal nets" npj Comput. Mater. 6, 143 (2020).
Surface reconstruction:
[5] Y. Han, J. Wang, C. Ding, H. Gao, S. Pan, Q. Jia, and J. Sun, "Prediction of surface reconstructions using MAGUS", The Journal of Chemical Physics 158 (17), 174109 (2023).
Structure searching in confined space:
[6] Chi Ding, Junjie Wang, Yu Han, Jianan Yuan, Hao Gao, and Jian Sun, "High Energy Density Polymeric Nitrogen Nanotubes inside Carbon Nanotubes", Chin. Phys. Lett. 39, 036101 (2022). (Express Letter)Peer reviewe
Jiang xue yuan de yi ben cao
No full textV.1. 條目 -- 絳雪園得宜本草 / 王晉三集 ; 吳蒙校 -- 絳雪園古方選註 : 六門 : 和劑四十四方 / 王子接註 ; 葉桂校 -- v.2. 絳雪園古方選註 : 寒劑十方 / 王子接註 ; 薛雪校 -- 温劑十九方 / 王子接註 ; 葉桂校 -- 汗劑十三方 / 王子接註 ; 葉桂校 -- 吐劑五方 / 王子接註 ; 王士琳校 -- 下劑二十二方 / 王子接註 ; 葉桂校 -- v.3-4. 絳雪園古方選註 : 內科 / 王子接註 ; 葉桂校 -- v.5. 絳雪園古方選註 : 內科丸方 / 王子接註 ; 吳蒙校 -- v.6. 絳雪園古方選註 : 女科 / 王子接註 ; 周德秀校 -- 女科丸方 / 王子接註 ; 吳蒙校 -- 外科 / 王子接註 ; 王士琳校 -- 痘疹科附幼科 / 王子接註 ; 葉桂校 -- 眼科 / 王子接註 ; 吳蒙校 -- 咽喉科內附口齒 / 王子接註 -- 折傷科 / 王子接註 ; 吳蒙校 -- 金簇科 / 王子接註 -- 祝由科 / 王子接註 ; 徐焯校 -- 符禁科.V.1. Tiao mu -- Jiang xue yuan de yi ben cao / Wang Jinsan ji ; Wu Meng jiao -- Jiang xue yuan gu fang xuan zhu : liu men : he ji si shi si fang / Wang Zijie zhu ; Ye Gui jiao -- v.2. Jiang xue yuan gu fang xuan zhu : han ji shi fang / Wang Zijie zhu ; Xue Xue jiao -- Wen ji shi jiu fang / Wang Zijie zhu ; Ye Gui jiao -- Han ji shi san fang / Wang Zijie zhu ; Ye Gui jiao -- Tu ji wu fang / Wang Zijie zhu ; Wang Shilin jiao -- Xia ji er shi er fang / Wang Zijie zhu ; Ye Gui jiao -- v.3-4. Jiang xue yuan gu fang xuan zhu : nei ke / Wang Zijie zhu ; Ye Gui jiao -- v.5. Jiang xue yuan gu fang xuan zhu : nei ke wan fang / Wang Zijie zhu ; Wu Meng jiao -- v.6. Jiang xue yuan gu fang xuan zhu : nü ke / Wang Zijie zhu ; Zhou Dexiu jiao -- Nü ke wan fang / Wang Zijie zhu ; Wu Meng jiao -- Wai ke / Wang Zijie zhu ; Wang Shilin jiao -- Dou zhen ke fu you ke / Wang Zijie zhu ; Ye Gui jiao -- Yan ke / Wang Zijie zhu ; Wu Meng jiao -- Yan hou ke nei fu kou chi / Wang Zijie zhu -- Zhe shang ke / Wang Zijie zhu ; Wu Meng jiao -- Jin cu ke / Wang Zijie zhu -- Zhu you ke / Wang Zijie zhu ; Xu Zhuo jiao -- Fu jin ke.王晉三注 ; 葉天士校.綫裝.框18x13.4公分, 10行22字, 小字雙行同. 白口, 左右雙邊, 單黑魚尾. 版心上鐫"古方選註", 中鐫小題, 下鐫葉次.題名據內封頁.內封頁刻"魏柏鄉先生鑑定, 埽葉山房刊"前有雍正辛亥[1731]魏荔彤序.《中國中醫古籍總目》03520著錄.鈐"莊兆祥印", "莊兆祥".Xian zhuang.Kuang 18 x 13.4 gong fen, 10 hang 22 zi, xiao zi shuang hang tong. Bai kou, zuo you shuang bian, dan hei yu wei. Ban xin shang juan "Gu fang xuan zhu", zhong juan xiao ti, xia juan ye ci.Ti ming ju nei feng ye.Nei feng ye ke "Wei Boxiang xian sheng jian ding, Sao ye shan fang kan"Qian you Yongzheng xin hai [1731] Wei Litong xu.Detailed notes in vernacular field only.Wang Jinsan zhu ; Ye Tianshi jiao.Qian "Zhuang Zhaoxiang yin", "Zhuang Zhaoxiang"
Yuan Zicai Jiang Xinyu shi xuan.
No full text[袁枚, 蔣士銓撰] ; 王均卿選本 ; 王文濡選輯.On cover: 王均卿選本.Cover title.[Yuan Mei, Jiang Shiquan zhuan] ; Wang Junqing xuan ben ; Wang Wenru xuan ji.On cover: Wang Junqing xuan ben
Erratum: Yuan, M.D. & Wang, R.J. (2020) Involucrella lithophila (Rubiaceae: Spermacoceae): A new species from Guangxi, China. Phytotaxa 464 (1): 59-68.
No full textYuan, M.D., Wang, R.J. (2021): Erratum: Yuan, M.D. & Wang, R.J. (2020) Involucrella lithophila (Rubiaceae: Spermacoceae): A new species from Guangxi, China. Phytotaxa 464 (1): 59-68. Phytotaxa 510 (2): 196-196, DOI: https://doi.org/10.11646/phytotaxa.510.2.10, URL: http://dx.doi.org/10.11646/phytotaxa.510.2.1
sj-pdf-2-sph-10.1177_19417381231221716 – Supplemental material for Reliability and Validity of the Star Excursion Balance Test for Evaluating Dynamic Balance of Upper Extremities
No full textSupplemental material, sj-pdf-2-sph-10.1177_19417381231221716 for Reliability and Validity of the Star Excursion Balance Test for Evaluating Dynamic Balance of Upper Extremities by Qi-Hao Yang, Yong-Hui Zhang, Shu-Hao Du, Yu-Chen Wang, Hao-Ran Xu, Ji-Wei Chen, Yuan Mao and Xue-Qiang Wang in Sports Health</p
- …
