机构

• 数学与系统科学研究院 [3]
• 地理科学与资源研究所 [2]
• 心理研究所 [2]
• 力学研究所 [1]
• 理论物理研究所 [1]
• 上海微系统与信息技术... [1]
• 更多

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [10]
• 学位论文 [2]

发表日期

• 2020 [1]
• 2019 [3]
• 2016 [1]
• 2015 [1]
• 2010 [1]
• 2004 [1]
• 更多

学科主题

• Optics; Ph... [1]
• Physics [1]
• 半导体物理 [1]
• 工程力学 [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Directed connectivity analysis of the brain network in mathematically gifted adolescents 期刊论文  OAI收割 COMPUTATIONAL INTELLIGENCE AND NEUROSCIENCE, 2020, 卷号: 8, 页码: 10 作者:  Wei, MT (Wei, Mengting);  Wang, QY (Wang, Qingyun);  Jiang, X (Jiang, Xiang);  Guo, YY (Guo, Yiyun);  Fan, H (Fan, Hui)   |  收藏  |  浏览/下载：20/0  |  提交时间：2020/10/22 Spatial Pattern and Heterogeneity of Port & Shipping Service Enterprises in the Yangtze River Delta, 2002-2016 期刊论文  OAI收割 CHINESE GEOGRAPHICAL SCIENCE, 2019, 卷号: 29, 期号: 3, 页码: 474-487 作者:  Cao Youhui;  Jiang Ziran;  Ye Shilin;  Wu Wei;  Liang Shuangbo   |  收藏  |  浏览/下载：56/0  |  提交时间：2019/09/24 port & shipping service enterprises  spatial distribution  regional differentiation  hub port city  Yangtze River Delta   Active Online Learning in the Binary Perceptron Problem 期刊论文  OAI收割 COMMUNICATIONS IN THEORETICAL PHYSICS, 2019, 卷号: 71, 期号: 2, 页码: 243-252 作者:  Zhou, HJ   |  收藏  |  浏览/下载：53/0  |  提交时间：2019/07/19 STATISTICAL-MECHANICS  EXAMPLES  INFERENCE  ALGORITHM  NETWORKS  STORAGE   spatialpatternandheterogeneityofportshippingserviceenterprisesintheyangtzeriverdelta20022016 期刊论文  OAI收割 中国地理科学英文版, 2019, 卷号: 000, 期号: 003, 页码: 474 作者:  CAO Youhui;  JIANG Ziran;  YE Shilin;  WU Wei;  LIANG Shuangbo   |  收藏  |  浏览/下载：19/0  |  提交时间：2020/03/23 基于Pushdown系统证明的可视化 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 周青   |  收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21 deductive reasoning  formal verification  alternating pushdown system  infinite state systems   Neural correlates of deductive reasoning An ERP study with the Wason Selection Task 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF PSYCHOPHYSIOLOGY, 2015, 卷号: 98, 期号: 3, 页码: 381-388 作者:  Tim R.H. Cutmore;  Graeme S. Halford;  Ya Wang;  Brentyn J. Ramm;  Tara Spokes   |  收藏  |  浏览/下载：32/0  |  提交时间：2018/08/22 Deductive Reasoning  Complexity  Cognitive Conflict  Conditional Reasoning  Event-related Potentials   Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266 作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 Geometry theorem proving  Proof with hierarchical structures  Visually dynamic presentation of proof  Dynamic geometry  Full-angle  Deductive database  Fixpoint  Unordered geometry  Hilbert geometry  Tarski geometry   MMP/geometer - A software package for automated geometric reasoning 期刊论文  OAI收割 AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66 作者:  Gao, XS;  Lin, Q   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 geometry software  automated reasoning  geometric theorem proving  geometric theorem discovering  geometric diagram generation  intelligent dynamic geometry   Dephasing rate in an InAs/GaAs single-electron quantum dot qubit 期刊论文  OAI收割 science in china series a-mathematics physics astronomy, 2002, 卷号: 45, 期号: 5, 页码: 666-670 Pan LX; Li SS; Liu JL; Niu ZC; Feng SL; Zheng HZ 收藏  |  浏览/下载：60/0  |  提交时间：2010/08/12 quantum dot  quantum computing  decoherence  COMPUTATION  LOGIC   A deductive database approach to automated geometry theorem proving and discovering 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2000, 卷号: 25, 期号: 3, 页码: 219-246 作者:  Chou, SC;  Gao, XS   |  收藏  |  浏览/下载：7/0  |  提交时间：2018/07/30 deductive database  automated geometry theorem proving and discovering  search strategies  redundant deduction  Skolemization  structured database