咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Minimum energy for computation, theory vs. experiment
Minimum energy for computation, theory vs. experiment
收藏 引用
2011 11th IEEE International Conference on Nanotechnology, NANO 2011
作者: Snider, Gregory L. Blair, Enrique P. Boechler, Graham P. Thorpe, Cameron C. Bosler, Nicholas W. Wohlwend, Matthew J. Whitney, Jean M. Lent, Craig S. Orlov, Alexei O. Department of Electrical Engineering University of Notre Dame Notre Dame IN 46556 United States Department of Electncal and Computer Engineering University of Wisconsin Madison United States
How much energy is required to compute a bit of information? As the end of the CMOS scaling era approaches, this question becomes ever more important. A group at the Semiconductor Research Corporation (SRC) has postul... 详细信息
来源: 评论
Proceedings of SPIE - Evolutionary and Bio-inspired computation: theory and Applications
Proceedings of SPIE - Evolutionary and Bio-inspired Computat...
收藏 引用
Evolutionary and Bio-inspired computation: theory and Applications
The proceedings contain 16 papers. The topics discussed include: biologically inspired models for swarming;classifying and evolving multi-agent behaviors from animal packs in search and tracking problems;developing AE... 详细信息
来源: 评论
Symbols and computation a critique of the computational theory of mind
收藏 引用
MINDS AND MACHINES 1999年 第3期9卷 347-381页
作者: Horst, S Wesleyan Univ Middletown CT 06459 USA
Over the past several decades, the philosophical community has witnessed the emergence of an important new paradigm for understanding the mind.(1) The paradigm is that of machine computation, and its influence has bee... 详细信息
来源: 评论
Control and estimation under information constraints: Toward a unified theory of control, computation and communications
收藏 引用
AUTOMATION AND REMOTE CONTROL 2010年 第4期71卷 572-633页
作者: Andrievsky, B. R. Matveev, A. S. Fradkov, A. L. Russian Acad Sci Inst Problems Mech Engn St Petersburg 196140 Russia St Petersburg State Univ St Petersburg Russia
An attempt is made to overview an emerging area of research devoted to analysis and design of control systems under constraints caused by limited information capacity of communication channels. The problem's prehi... 详细信息
来源: 评论
theory AND computation OF PERTURBED SPECTRA - APPLICATION TO THE (ALD)-D-2 RELATIVISTIC SPECTRUM
收藏 引用
JOURNAL OF PHYSICS B-ATOMIC MOLECULAR AND OPTICAL PHYSICS 1995年 第11期28卷 2049-2067页
作者: KOMNINOS, Y ASPROMALLIS, G NICOLAIDES, CA Theor. & Phys. Chem. Inst. Nat. Hellenic Res. Found. Athens Greece
We present a multichannel reaction matrix theory for perturbed discrete and continuous spectra, using Hartree-Fock (HF) or MCHF-based configuration-interaction (CI) wavefunctions, in the Breit-Pauli approximation. The... 详细信息
来源: 评论
Recursion theory on the reals and continuous-time computation
收藏 引用
THEORETICAL COMPUTER SCIENCE 1996年 第1期162卷 23-44页
作者: Moore, C Santa Fe Institute 1399 Hyde Park Rd Santa Fe NM 87501 USA
We define a class of recursive functions on the reals analogous to the classical recursive functions on the natural numbers, corresponding to a conceptual analog computer that operates in continuous time. This class t... 详细信息
来源: 评论
The computation of bending eigenfrequencies of single-walled carbon nanotubes based on the nonlocal theory
收藏 引用
MECHANICAL SCIENCES 2018年 第2期9卷 349-358页
作者: Bocko, Jozef Lengvarsky, Pavol Hunady, Robert Sarlosi, Juraj Tech Univ Kosice Dept Appl Mech & Mech Engn Kosice 04200 Slovakia
In this work, a recently proposed nonlocal theory of bending is used in the analysis of eigenfrequencies of single-walled carbon nanotubes (SWCNTs). The nanotube vibration is analyzed in the form of a homogenized cont... 详细信息
来源: 评论
Preface to Special Issue: theory and Applications of Models of computation (TAMC)
收藏 引用
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2009年 第1期19卷 5-7页
作者: Cai, Jin-Yi Cooper, S. Barry Li, Angsheng Univ Wisconsin Dept Sci Madison WI 53706 USA Univ Leeds Sch Math Leeds LS2 9JT W Yorkshire England Chinese Acad Sci Inst Software Beijing 100080 Peoples R China
theory and Applications of Models of computation (TAMC) is an international conference series with an interdisciplinary character bringing together researchers working in computer science, mathematics (especially logi... 详细信息
来源: 评论
theory and practice of multiparty computation
收藏 引用
5th International Conference on Security and Cryptography for Networks
作者: Damgard, Ivan Aarhus Univ Dept Comp Sci DK-8000 Aarhus Denmark
This is a short summary of the invited talk given by the author at the SCN conference.
来源: 评论
theory and Practice of Population Diversity in Evolutionary computation  22
Theory and Practice of Population Diversity in Evolutionary ...
收藏 引用
Genetic and Evolutionary computation Conference (GECCO)
作者: Sudholt, Dirk Squillero, Giovanni Univ Passau Passau Germany Politecn Torino Dept Control & Comp Engn Comp Sci Turin Italy
"The principle of divergence is simplicity itself: the more the coinhabitants of an area differ from each other in their ecological requirements, the less they will compete with each other; therefore natural sele... 详细信息
来源: 评论