咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
Symmetry analysis of cellular automata
收藏 引用
PHYSICS LETTERS A 2013年 第3-4期377卷 276-285页
作者: Garcia-Morales, V. Tech Univ Munich Inst Adv Study D-85748 Garching Germany
By means of B-calculus [V. Garcia-Morales, Phys. Lett. A 376 (2012) 26451 a universal map for deterministic cellular automata (CAs) has been derived. The latter is shown here to be invariant upon certain transformatio... 详细信息
来源: 评论
SCATTERED DELETION AND COMMUTATIVITY
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第2期125卷 361-371页
作者: MATEESCU, A Faculty of Mathematics University of Bucharest Academiei 14 sector 1 Bucharest Romania
This paper deals with the scattered deletion of a language by another language, i.e. with scattered residuals. We introduce the notion of the scattered syntactical monoid. The main result is a Myhill-Nerode-like theor... 详细信息
来源: 评论
Automated Design Space Exploration for Optimized Deployment of DNN on Arm Cortex-A CPUs
收藏 引用
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 2021年 第11期40卷 2293-2305页
作者: de Prado, Miguel Mundy, Andrew Saeed, Rabia Denna, Maurizo Pazos, Nuria Benini, Luca Swiss Fed Inst Technol IIS CH-8092 Zurich Switzerland Arm Ltd Cambridge England He Arc Ingn HES SO CH-2000 Neuchatel Switzerland Nviso CH-1015 Lausanne Switzerland Swiss Fed Inst Technol Integrated Syst Lab CH-8092 Zurich Switzerland
The spread of deep learning on embedded devices has prompted the development of numerous methods to optimize the deployment of deep neural networks (DNNs). Works have mainly focused on: 1) efficient DNN architectures;... 详细信息
来源: 评论
PROVING PROPERTIES OF STATES IN THE SITUATION CALCULUS
收藏 引用
ARTIFICIAL INTELLIGENCE 1993年 第2期64卷 337-351页
作者: REITER, R CANADIAN INST ADV RES TORONTOONCANADA
In the situation calculus, it is sometimes necessary to prove that certain properties are true in all world states accessible from the initial state. This is the case for some forms of reasoning about the physical wor... 详细信息
来源: 评论
Interocular Phase Disparity Tuning of Binocular Contrast Summation Depends on Carrier Spatial Frequency and Orientation
收藏 引用
OPTOMETRY AND VISION SCIENCE 2022年 第7期99卷 547-559页
作者: Raghunandan, Avesh Boyak, Tabytha A. Ferris State Univ Michigan Coll Optomet Big Rapids MI 49307 USA
SIGNIFICANCE Binocular summation is a sensitive metric of binocular integration. As such, characterization of the mechanisms underlying binocular summation is a key step in translating and applying this knowledge to a... 详细信息
来源: 评论
CONSTRUCTIBLE DIFFERENTIALLY FINITE ALGEBRAIC SERIES IN SEVERAL VARIABLES
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第1-2期144卷 59-65页
作者: BERGERON, F SATTLER, U UNIV ERLANGEN NURNBERG INST MATH MACHINEN & DATENVEARBEITUNG 1W-8520 ERLANGENGERMANY
We extend the concept of CDF-series to the context of several variables, and show that the series solution of first-order differential equations y' = x(t,y) and functional equation y = x(t, y), with x CDF in two v... 详细信息
来源: 评论
CPL calculations of helicenes with alleged exceptional emission dissymmetry values
收藏 引用
JOURNAL OF MATERIALS CHEMISTRY C 2023年 第31期11卷 10474-10482页
作者: Guido, Ciro A. Zinna, Francesco Pescitelli, Gennaro Univ Piemonte Orientale Dipartimento Sci & Innovaz Tecnol Alessandria Italy Univ Pisa Dipartimento Chim & Chim Ind Pisa Italy
Any device based on materials exhibiting circularly polarized luminescence (CPL) requires a high degree of circular polarization, quantified through the dissymmetry factor g(lum) and related quantities such as the CPL... 详细信息
来源: 评论
A COMPLETE L-SYSTEM SPECIFICATION FOR GENERATING AN EXACT SELF-AFFINE GROWTH DECAY FUNCTION WITH A RANDOM-WALK SCALING PROPERTY
收藏 引用
COMPUTER JOURNAL 1994年 第1期37卷 58-66页
作者: BRADLEY, J Department of Computer Science University of Calgary Calgary Alberta Canada
The existence of at least four exact self-affine time functions, called E5:3 functions, that allow for an infinite number of exact replications of Growth-Decay 12345abc structures, is demonstrated. These E5:3 function... 详细信息
来源: 评论
Knowledge Approximations in Binary Relation: Granular Computing Approach
收藏 引用
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS 2013年 第9期28卷 843-864页
作者: Chen, Zehua Lin, Tsau-Young (T. Y. ) Xie, Gang Taiyuan Univ Technol Coll Informat Engn Taiyuan 030024 Shanxi Peoples R China San Jose State Univ Dept Comp Sci San Jose CA 95192 USA
The primary goal of this paper is to present a new approximation theory. In classical rough sets, topological concepts, closure, and interior are expressible by elementary sets;hence, they are the elementary knowledge... 详细信息
来源: 评论
A COMPLETE AND RECURSIVE FEATURE theory
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第1-2期146卷 243-268页
作者: BACKOFEN, R SMOLKA, G UNIV SAARLAND DFKIGERMAN RES CTR ARTIFICIAL INTELLIGENCED-66123 SAARBRUCKENGERMANY
Various feature descriptions are being employed in logic programming languages and constraint-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. ... 详细信息
来源: 评论