咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 6,066 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5,269 篇 工学
    • 4,440 篇 计算机科学与技术...
    • 1,452 篇 软件工程
    • 407 篇 电气工程
    • 275 篇 信息与通信工程
    • 271 篇 控制科学与工程
    • 230 篇 电子科学与技术(可...
    • 217 篇 生物工程
    • 203 篇 力学(可授工学、理...
    • 161 篇 机械工程
    • 159 篇 化学工程与技术
    • 136 篇 材料科学与工程(可...
    • 136 篇 动力工程及工程热...
    • 116 篇 土木工程
    • 108 篇 生物医学工程(可授...
    • 88 篇 光学工程
    • 73 篇 建筑学
    • 70 篇 航空宇航科学与技...
    • 69 篇 仪器科学与技术
  • 2,722 篇 理学
    • 1,743 篇 数学
    • 919 篇 物理学
    • 486 篇 统计学(可授理学、...
    • 263 篇 生物学
    • 194 篇 化学
    • 132 篇 系统科学
  • 395 篇 管理学
    • 226 篇 管理科学与工程(可...
    • 178 篇 图书情报与档案管...
    • 123 篇 工商管理
  • 132 篇 法学
    • 129 篇 社会学
  • 99 篇 医学
    • 81 篇 临床医学
    • 63 篇 基础医学(可授医学...
  • 53 篇 教育学
  • 45 篇 经济学
  • 11 篇 农学
  • 7 篇 军事学
  • 6 篇 文学
  • 2 篇 哲学
  • 1 篇 艺术学

主题

  • 6,066 篇 computation theo...
  • 9 篇 computational mo...
  • 8 篇 computational co...
  • 7 篇 application soft...
  • 7 篇 game theory
  • 7 篇 controllers
  • 6 篇 computer science
  • 6 篇 discrete event s...
  • 6 篇 logic
  • 6 篇 control theory
  • 6 篇 automata
  • 6 篇 artificial intel...
  • 6 篇 books
  • 6 篇 linear systems
  • 5 篇 integral equatio...
  • 5 篇 dynamical system...
  • 5 篇 non
  • 5 篇 embedded systems
  • 5 篇 formal languages
  • 5 篇 optimization

机构

  • 9 篇 ieee
  • 9 篇 stanford univers...
  • 7 篇 technion haifa
  • 7 篇 columbia univers...
  • 7 篇 physics departme...
  • 7 篇 carnegie mellon ...
  • 7 篇 carnegie mellon ...
  • 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...
  • 5 篇 department of co...

作者

  • 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 篇 bournez olivier
  • 4 篇 hu liang

语言

  • 5,937 篇 英文
  • 85 篇 其他
  • 23 篇 中文
  • 5 篇 西班牙文
  • 4 篇 法文
  • 4 篇 日文
  • 3 篇 俄文
  • 2 篇 德文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
6066 条 记 录,以下是4891-4900 订阅
排序:
Atomistic behavior of metal surfaces under high electric fields
arXiv
收藏 引用
arXiv 2018年
作者: Kyritsakis, A. Baibuz, E. Jansson, V. Djurabekova, F. Helsinki00014 Finland
Combining classical electrodynamics and density functional theory (DFT) calculations, we develop a general and rigorous theoretical framework that describes the energetics of metal surfaces under high electric fields.... 详细信息
来源: 评论
THE H_ F2-HOMOLOGY OF C2-EQUIVARIANT EILENBERG-MACLANE SPACES
arXiv
收藏 引用
arXiv 2022年
作者: Petersen, Sarah Dept. of Mathematics University of Notre Dame Notre DameIN United States
We extend Ravenel-Wilson Hopf ring techniques to C2-equivariant homotopy theory. Our main application and motivation is a computation of the RO(C2)-graded homology of C2-equivariant Eilenberg-MacLane spaces. The resul... 详细信息
来源: 评论
A counting invariant for maps into spheres and for zero loci of sections of vector bundles
arXiv
收藏 引用
arXiv 2019年
作者: Konstantis, Panagiotis Department Mathematik/Informatik Abteilung Mathematik Universitt zu Kln Weyertal 86-90 Kln50931 Germany
The set of unrestricted homotopy classes [M, Sn] where M is a closed and connected spin (n+1)manifold is called the n-th cohomotopy group πn(M) of M. Moreover it is known that πn(M) = Hn(M;Z) Z2 by methods from homo... 详细信息
来源: 评论
Adaptive synthetic characters for military training
arXiv
收藏 引用
arXiv 2021年
作者: Ustun, Volkan Kumar, Rajay Reilly, Adam Sajjadi, Seyed Miller, Andrew Institute for Creative Technologies USC Playa Vista CA United States NFlux Inc. Los AngelesCA United States
Behaviors of the synthetic characters in current military simulations are limited since they are generally generated by rule-based and reactive computational models with minimal intelligence. Such computational models... 详细信息
来源: 评论
A new representation for the solutions of fractional differential equations with variable coefficients
arXiv
收藏 引用
arXiv 2021年
作者: Fernandez, Arran Restrepo, Joel E. Suragan, Durvudkhan Department of Mathematics Faculty of Arts and Sciences Eastern Mediterranean University via Mersin-10 North Cyprus Turkey Department of Mathematics Nazarbayev University Astana Kazakhstan Department of Mathematics University of Antioquia Medellin Colombia
A recent development in the theory of fractional differential equations with variable coefficients has been a method for obtaining an exact solution in the form of an infinite series involving nested fractional integr... 详细信息
来源: 评论
Partition identities and application to infinite dimensional groebner basis and viceversa
arXiv
收藏 引用
arXiv 2020年
作者: Afsharijoo, Pooneh Mourtada, Hussein Equipe Géométrie et Dynamique Institut Mathématique de Jussieu-Paris Rive Gauche Université Paris Diderot Bâtiment Sophie Germain case 7012 Paris Cedex 1375205 France
In the first part of this article, we consider a Groebner basis of the differential ideal [x21] with respect to "the" weighted lexicographical monomial order and show that its computation is related with an ... 详细信息
来源: 评论
ON THE VALUES OF UNIPOTENT CHARACTERS OF FINITE CHEVALLEY GROUPS OF TYPE E6 IN CHARACTERISTIC 3
arXiv
收藏 引用
arXiv 2019年
作者: Hetz, Jonas Lehrstuhl für Algebra Universität Stuttgart Pfaffenwaldring 57 StuttgartD–70569 Germany
Let G be a finite Chevalley group. We are concerned with computing the values of the unipotent characters of G by making use of Lusztig’s theory of character sheaves. In this framework, one has to find the transforma... 详细信息
来源: 评论
Anatomy of a strong residual sign problem on the thimbles
arXiv
收藏 引用
arXiv 2018年
作者: Bloch, Jacques Institute for Theoretical Physics University of Regensburg Regensburg93040 Germany
Using a simple Gaussian-like Ansatz for the phase distribution of a theory with a complex action, we show how the thimble integration for the average phase factor can be plagued by a strong residual sign problem when ... 详细信息
来源: 评论
MINDCRAFT: theory of mind modeling for situated dialogue in collaborative tasks
arXiv
收藏 引用
arXiv 2021年
作者: Bara, Cristian-Paul CH-Wang, Sky Chai, Joyce University of Michigan Columbia University
An ideal integration of autonomous agents in a human world implies that they are able to collaborate on human terms. In particular, theory of mind plays an important role in maintaining common ground during human coll... 详细信息
来源: 评论
Elfun18 – a collection of Matlab functions for the computation of elliptical integrals and Jacobian elliptic functions of real arguments
arXiv
收藏 引用
arXiv 2018年
作者: Batista, Milan University of Ljubljana Faculty of Maritime Studies and Transport Portorož Slovenia
In the article, we outline the set of Matlab functions that enable the computation of elliptic Integrals and Jacobian elliptic functions for real arguments. Correctness, robustness, efficiency and accuracy of the func... 详细信息
来源: 评论