咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 5,124 篇 工学
    • 4,361 篇 计算机科学与技术...
    • 1,441 篇 软件工程
    • 405 篇 电气工程
    • 274 篇 信息与通信工程
    • 266 篇 控制科学与工程
    • 230 篇 电子科学与技术(可...
    • 216 篇 生物工程
    • 189 篇 力学(可授工学、理...
    • 157 篇 机械工程
    • 135 篇 材料科学与工程(可...
    • 133 篇 化学工程与技术
    • 130 篇 动力工程及工程热...
    • 113 篇 土木工程
    • 105 篇 生物医学工程(可授...
    • 91 篇 光学工程
    • 72 篇 建筑学
    • 69 篇 仪器科学与技术
    • 68 篇 航空宇航科学与技...
  • 2,581 篇 理学
    • 1,709 篇 数学
    • 818 篇 物理学
    • 487 篇 统计学(可授理学、...
    • 258 篇 生物学
    • 164 篇 化学
    • 129 篇 系统科学
    • 62 篇 地球物理学
  • 387 篇 管理学
    • 218 篇 管理科学与工程(可...
    • 178 篇 图书情报与档案管...
    • 121 篇 工商管理
  • 132 篇 法学
    • 129 篇 社会学
  • 90 篇 医学
    • 72 篇 临床医学
  • 51 篇 教育学
  • 46 篇 经济学
  • 10 篇 农学
  • 7 篇 文学
  • 7 篇 军事学
  • 2 篇 哲学
  • 1 篇 艺术学

主题

  • 5,837 篇 computation theo...
  • 9 篇 computational mo...
  • 8 篇 computational co...
  • 7 篇 computer science
  • 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,724 篇 英文
  • 69 篇 其他
  • 23 篇 中文
  • 5 篇 西班牙文
  • 4 篇 法文
  • 4 篇 日文
  • 3 篇 俄文
  • 2 篇 德文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
5837 条 记 录,以下是241-250 订阅
排序:
Non-deterministic structures of computation
收藏 引用
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2015年 第6期25卷 1295-1338页
作者: Fu, Yuxi Shanghai Jiao Tong Univ Dept Comp Sci BASICS Shanghai 200240 Peoples R China Shanghai Jiao Tong Univ MOE MS Key Lab Intelligent Comp & Intelligent Sys Shanghai 200240 Peoples R China
Divergence and non-determinism play a fundamental role in the theory of computation, and their combined effect on computational equality deserves further study. By looking at the issue from the point of view of both c... 详细信息
来源: 评论
TREE-TRANSDUCERS WITH EXTERNAL FUNCTIONS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1993年 第2期108卷 185-236页
作者: FULOP, Z HERRMANN, F VAGVOLGYI, S VOGLER, H RHEIN WESTFAL TH AACHEN LEHRSTUHL INFORMAT 2 W-5100 AACHEN GERMANY UNIV ULM THEORET INFORMAT ABT W-7900 ULM GERMANY
In this paper we investigate the computational power of particular tree transducers, viz., macro tree transducers and attributed tree transducers. The former tree transducers formalize the idea of syntax-directed tran... 详细信息
来源: 评论
Sulfur-arene interactions: the S•••π and S-H•••π interactions in the dimers of benzofuran•••sulfur dioxide and benzofuran•••hydrogen sulfide
收藏 引用
PHYSICAL CHEMISTRY CHEMICAL PHYSICS 2023年 第17期25卷 12174-12181页
作者: Jin, Yan Li, Wenqin Saragi, Rizalina Tama Juanes, Marcos Perez, Cristobal Lesarri, Alberto Feng, Gang Chongqing Univ Sch Chem & Chem Engn Daxuecheng South Rd 55 Chongqing 401331 Peoples R China Univ Valladolid Fac Ciencias IU CINQUIMA Dept Quim Fis & Quim Inorgan Paseo Belen 7 Valladolid 47011 Spain
Non-covalent interactions between sulfur centers and aromatic rings play important roles in biological chemistry. We examined here the sulfur-arene interactions between the fused aromatic heterocycle benzofuran and tw... 详细信息
来源: 评论
HYBRID ATOMICITY FOR NESTED TRANSACTIONS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第1期149卷 151-178页
作者: FEKETE, A LYNCH, N WEIHL, WE MIT COMP SCI LABCAMBRIDGEMA 02139 UNIV SYDNEY SYDNEYNSW 2006AUSTRALIA
This paper defines the notion of hybrid atomicity for nested transaction systems, and presents and verifies an algorithm providing this property. Hybrid atomicity is a modular property;it allows the correctness of a s... 详细信息
来源: 评论
Constraint-generating dependencies
收藏 引用
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 1999年 第1期59卷 94-115页
作者: Baudinet, M Chomicki, J Wolper, P Free Univ Brussels Brussels Belgium Monmouth Univ Dept Comp Sci Long Beach NJ 07764 USA Univ Liege Inst Montefiore B-4000 Liege Belgium
Traditionally, dependency theory has been developed for uninterpreted data. Specifically, the only assumption that is made about the data domains is that data values can be compared for equality. However, data is ofte... 详细信息
来源: 评论
TOWARDS A MATHEMATICAL-theory OF MACHINE DISCOVERY FROM FACTS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第1期137卷 53-84页
作者: MUKOUCHI, Y ARIKAWA, S KYUSHU UNIV 33 FUNDAMENTAL INFORMAT SCI RES INST FUKUOKA 812 JAPAN
This paper intends to give a theoretical foundation of machine discovery from facts. We point out that the essence of a computational logic of scientific discovery or a logic of machine discovery is the refutability o... 详细信息
来源: 评论
theory and modelling of time dependent phenomena in the plasma edge.
收藏 引用
CONTRIBUTIONS TO PLASMA PHYSICS 1996年 第2-3期36卷 150-160页
作者: Coster, DP Schneider, R Neuhauser, J Braams, B Reiter, D COURANT INST NEW YORK NY USA FORSCHUNGSZENTRUM JULICH FORSCHUNGSZENTRUM JULICH GERMANY
Recent work, both theoretical and computational, in the modelling of time-dependent phenomena (Edge Localized Modes (ELMs)) in the plasma edge is reviewed.
来源: 评论
Learning counting functions with queries
收藏 引用
THEORETICAL COMPUTER SCIENCE 1997年 第1-2期180卷 155-168页
作者: Chen, ZX Homer, S BOSTON UNIV DEPT COMP SCI BOSTON MA 02215 USA SW STATE UNIV DEPT MATH & COMP SCI MARSHALL MN 56258 USA
We investigate the problem of learning disjunctions of counting functions, which are general cases of parity and module functions, with equivalence and membership queries. We prove that, for any prime number p, the cl... 详细信息
来源: 评论
LOCATING THE CONTRACTUM IN THE DOUBLE PUSHOUT APPROACH
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第2期152卷 305-320页
作者: BANACH, R Department of Computer Science University of Manchester Oxford Road Manchester M13 9PL UK
Double pushout (algebraic) graph rewriting, which works by first removing the part of the graph to be regarded as garbage, and then gluing in the new part of the graph, is contrasted with term graph rewriting, which w... 详细信息
来源: 评论
Toward Accurate Calculation of Excitation Energies on Quantum Computers with ΔADAPT-VQE: A Case Study of BODIPY Derivatives
收藏 引用
JOURNAL OF PHYSICAL CHEMISTRY LETTERS 2024年 第28期15卷 7111-7117页
作者: Nykanen, Anton Thiessen, Leander Borrelli, Elsi-Mari Krishna, Vijay Knecht, Stefan Pavosevic, Fabijan Algorithmiq Ltd FI-00160 Helsinki Finland Cleveland Clin Lerner Res Inst Dept Biomed Engn Cleveland OH 44195 USA Case Western Reserve Univ Lerner Coll Med Cleveland Clin Dept Biomed Engn Cleveland OH 44106 USA
Quantum chemistry simulations offer a cost-effective way to computationally design BODIPY photosensitizers. However, accurate predictions of excitation energies pose a challenge for time-dependent density functional t... 详细信息
来源: 评论