咨询与建议

限定检索结果

文献类型

  • 3,623 篇 会议
  • 2,204 篇 期刊文献

馆藏范围

  • 5,827 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5,120 篇 工学
    • 4,360 篇 计算机科学与技术...
    • 1,441 篇 软件工程
    • 405 篇 电气工程
    • 275 篇 信息与通信工程
    • 266 篇 控制科学与工程
    • 230 篇 电子科学与技术(可...
    • 216 篇 生物工程
    • 189 篇 力学(可授工学、理...
    • 156 篇 机械工程
    • 134 篇 材料科学与工程(可...
    • 133 篇 化学工程与技术
    • 130 篇 动力工程及工程热...
    • 115 篇 土木工程
    • 105 篇 生物医学工程(可授...
    • 91 篇 光学工程
    • 74 篇 建筑学
    • 70 篇 仪器科学与技术
    • 68 篇 航空宇航科学与技...
  • 2,576 篇 理学
    • 1,707 篇 数学
    • 816 篇 物理学
    • 488 篇 统计学(可授理学、...
    • 257 篇 生物学
    • 164 篇 化学
    • 130 篇 系统科学
    • 62 篇 地球物理学
  • 393 篇 管理学
    • 223 篇 管理科学与工程(可...
    • 179 篇 图书情报与档案管...
    • 121 篇 工商管理
  • 132 篇 法学
    • 129 篇 社会学
  • 89 篇 医学
    • 72 篇 临床医学
  • 51 篇 教育学
  • 47 篇 经济学
  • 11 篇 农学
  • 7 篇 文学
  • 7 篇 军事学
  • 2 篇 哲学
  • 1 篇 艺术学

主题

  • 5,827 篇 computation theo...
  • 9 篇 computational mo...
  • 8 篇 computer science
  • 8 篇 computational co...
  • 7 篇 application soft...
  • 7 篇 game theory
  • 7 篇 controllers
  • 6 篇 discrete event s...
  • 6 篇 control theory
  • 6 篇 linear systems
  • 5 篇 integral equatio...
  • 5 篇 dynamical system...
  • 5 篇 software enginee...
  • 5 篇 non
  • 5 篇 embedded systems
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 graph theory
  • 5 篇 automata
  • 5 篇 distributed comp...

机构

  • 9 篇 ieee
  • 9 篇 stanford univers...
  • 7 篇 technion haifa
  • 7 篇 columbia univers...
  • 7 篇 physics departme...
  • 7 篇 carnegie mellon ...
  • 7 篇 carnegie mellon ...
  • 6 篇 department of co...
  • 6 篇 university of to...
  • 6 篇 department of co...
  • 6 篇 univ calif berke...
  • 5 篇 harvard universi...
  • 5 篇 university of ca...
  • 5 篇 department of ma...
  • 5 篇 university colle...
  • 5 篇 mathematics inst...
  • 5 篇 university of sy...
  • 5 篇 school of comput...
  • 5 篇 massachusetts in...
  • 5 篇 deutsches elektr...

作者

  • 8 篇 wagner marc
  • 7 篇 li wei
  • 6 篇 ishai yuval
  • 5 篇 yuan wei
  • 5 篇 wang jian
  • 5 篇 rakow p.e.l.
  • 5 篇 perlt h.
  • 5 篇 schierholz g.
  • 5 篇 muller michael
  • 5 篇 yung moti
  • 5 篇 rajsbaum sergio
  • 5 篇 philipsen owe
  • 5 篇 sandholm tuomas
  • 5 篇 herlihy maurice
  • 5 篇 raz ran
  • 5 篇 procaccia ariel ...
  • 5 篇 horsley r.
  • 5 篇 fraigniaud pierr...
  • 5 篇 kushilevitz eyal
  • 5 篇 bournez olivier

语言

  • 5,715 篇 英文
  • 68 篇 其他
  • 23 篇 中文
  • 5 篇 西班牙文
  • 4 篇 法文
  • 4 篇 日文
  • 3 篇 俄文
  • 2 篇 德文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
5827 条 记 录,以下是131-140 订阅
排序:
Planar separators and parallel polygon triangulation
收藏 引用
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 1995年 第3期51卷 374-389页
作者: Goodrich, MT Johns Hopkins Univ Dept Comp Sci Baltimore MD 21218 USA
We show how to construct an O(root n)-separator decomposition of a planar graph G in O(n) time. Such a decomposition defines a binary tree, where each node corresponds to a subgraph of G and stores an O(root n)-separa... 详细信息
来源: 评论
Efficient parallel genetic algorithms:: theory and practice
收藏 引用
COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING 2000年 第2-4期186卷 221-238页
作者: Cantú-Paz, E Goldberg, DE Univ Illinois Dept Comp Sci Urbana IL 61801 USA Univ Illinois Illinois Genet Algorithms Lab Urbana IL USA Univ Illinois Dept Gen Engn Urbana IL USA
Parallel genetic algorithms (GAs) are complex programs that are controlled by many parameters, which affect their search quality and their efficiency. The goal of this paper is to provide guidelines to choose those pa... 详细信息
来源: 评论
ON THE GREATEST FIXED-POINT OF A SET FUNCTOR
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第1期150卷 57-75页
作者: ADAMEK, J KOUBEK, V CHARLES UNIV FAC MATH & PHYSPRAGUE 1CZECH REPUBLIC
The greatest fixed point of a set functor is proved to be (a) a metric completion and (b) a CPO-completion of finite iterations. For each (possibly infinitary) signature Sigma the terminal C-coalgebra is thus proved t... 详细信息
来源: 评论
Insights into the structural variations in SmNb1-xTaxO4 and HoNb1-xTaxO4 combined experimental and computational studies
收藏 引用
DALTON TRANSACTIONS 2021年 第26期50卷 9103-9117页
作者: Mullens, Bryce G. Avdeev, Maxim Brand, Helen E. A. Mondal, S. Vaitheeswaran, G. Kennedy, Brendan J. Univ Sydney Sch Chem Sydney NSW 2006 Australia Australian Nucl Sci & Technol Org Lucas Heights NSW 2234 Australia Australian Synchrotron 800 Blackburn Rd Clayton Vic 3168 Australia Univ Hyderabad Adv Ctr Res High Energy Mat ACEREM Prof CR Rao Rd Hyderabad 500046 Telangana India Univ Hyderabad Sch Phys Prof CR Rao Rd Hyderabad 500046 Telangana India
The impact of Ta doping on two orthoniobates SmNbO4 and HoNbO4 has been studied using a combination of high-resolution powder diffraction and Density-Functional theory calculations. In both ANb(1-x)Ta(x)O(4) (A = Sm, ... 详细信息
来源: 评论
Structural and computational characterization of a bridging zwitterionic- amidoxime uranyl complex
收藏 引用
ORGANIC CHEMISTRY FRONTIERS 2019年 第7期6卷 1038-1043页
作者: Decato, Daniel A. Berryman, Orion B. Univ Montana Dept Chem & Biochem 32 Campus Dr Missoula MT 59812 USA
A bridging ((2)) neutral zwitterionic amidoxime binding mode previously unobserved between amidoximes and uranyl is reported and compared to other uranyl amidoxime complexes. Density functional theory computations sho... 详细信息
来源: 评论
Metallophilic interactions in sitver(I) dicyanoaurate cornplexes
收藏 引用
DALTON TRANSACTIONS 2022年 第15期51卷 5818-5827页
作者: Priola, Emanuele Giordana, Alessia Gomila, Rosa M. Zangrando, Ennio Andreo, Luca Rabezzana, Roberto Operti, Lorenza Diana, Eliano Mahmoudi, Ghodrat Frontera, Antonio Univ Turin Dept Chem Via P Giuria 7 I-10125 Turin Italy Univ Illes Balears Dept Quim Crta De Valldemossa Km 7-5 Palma De Mallorca 07122 Baleares Spain Univ Trieste Dept Chem & Pharmaceut Sci Via L Giorgieri 1 I-34127 Trieste Italy Univ Maragheh Fac Sci Dept Chem POB 55181-83111 Maragheh Iran Kurgan State Univ Adv Mat Indistry & Biomed Lab Sovetskaya Str 63-4 Kurgan 640020 Russia
This manuscript reports four new gold(I)-silver(I) complexes with 2-(2-pyridyl)-1,8-naphthyridine (pyNP) and terpyridine (terpy) as ancillary ligands, having formulae [Ag(pyNP)(Au(CN)2)]2 (1), [Ag2Au2(mu-CN)(2)(CN)2(p... 详细信息
来源: 评论
computation-predicted, stable, and inexpensive single-atom nanocatalyst Pt@Mo2C - an important advanced material for H2 production
收藏 引用
JOURNAL OF MATERIALS CHEMISTRY A 2017年 第28期5卷 14658-14672页
作者: Li, Qiaohong Ma, Zuju Sa, Rongjian Adidharma, Hertanto Gasem, Khaled A. M. Russell, Armistead G. Fan, Maohong Wu, Kechen Chinese Acad Sci State Key Lab Struct Chem Fujian Inst Res Struct Matter Fuzhou 350002 Peoples R China Univ Wyoming Sch Energy Resources Laramie WY 82071 USA Univ Wyoming Dept Chem Engn Laramie WY 82071 USA Univ Wyoming Dept Petr Engn Laramie WY 82071 USA Georgia Inst Technol Sch Civil & Environm Engn Atlanta GA 30332 USA
The finding that transition metals on Mo2C-supported nanocatalysts are promising for water-gas shift (WGS) reactions at room temperature has generated much excitement. However, the progress achieved with computational... 详细信息
来源: 评论
ALGEBRAIC APPROACH TO SINGLE-PUSHOUT GRAPH TRANSFORMATION
收藏 引用
THEORETICAL COMPUTER SCIENCE 1993年 第1-2期109卷 181-224页
作者: LOWE, M FR 6-1 Technische Universit&auml t Berlin Franklinstrasse 28/29 W-1000 Berlin 10 Germany
The single-pushout approach to graph transformation interprets a double-pushout transformation rule of the classical algebraic approach which consists of two total graph morphisms as a single partial morphism from the... 详细信息
来源: 评论
Program extraction in exact real arithmetic
收藏 引用
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2015年 第8期25卷 1692-1704页
作者: Miyamoto, Kenji Schwichtenberg, Helmut LMU Math Inst D-80333 Munich Germany
The importance of an abstract approach to a computation theory over general data types has been stressed by Tucker in many of his papers. Berger and Seisenberger recently elaborated the idea for extraction out of proo... 详细信息
来源: 评论
Enhanced spin-orbit torque and field-free switching in Au/TMDs/Ni hybrid structures
收藏 引用
NANOSCALE 2023年 第7期15卷 3142-3149页
作者: Luo, Yi Chen, Qian Li, Rongxin Wang, Yipeng Lv, Weiming Zhang, Baoshun Fan, Yaming Wu, Hao Zeng, Zhongming Univ Sci & Technol China Sch Nanotech & Nanob Hefei 230026 Anhui Peoples R China Chinese Acad Sci Suzhou Inst Nanotech & Nanob Nanofabricat facil Suzhou 215123 Jiangsu Peoples R China Southeast Univ Sch Phys Nanjing 211189 Peoples R China SINANONC Div Nanodevices & Technol Nanchang 330200 Peoples R China SINANONC Jiangxi Inst Nanotechnol Nanchang Key Lab Adv Packaging Nanchang 330200 Peoples R China Songshan Lake Mat Lab Dongguan 523808 Guangdong Peoples R China
Spin-orbit torque (SOT) plays a significant role in spintronic logic and memory devices. However, due to the limited spin Hall angle and SOT symmetry in a heavy-metal-ferromagnet bilayer, further improving SOT efficie... 详细信息
来源: 评论