咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 5,266 篇 工学
    • 4,433 篇 计算机科学与技术...
    • 1,448 篇 软件工程
    • 406 篇 电气工程
    • 274 篇 信息与通信工程
    • 270 篇 控制科学与工程
    • 229 篇 电子科学与技术(可...
    • 217 篇 生物工程
    • 204 篇 力学(可授工学、理...
    • 163 篇 机械工程
    • 160 篇 化学工程与技术
    • 137 篇 材料科学与工程(可...
    • 137 篇 动力工程及工程热...
    • 116 篇 土木工程
    • 108 篇 生物医学工程(可授...
    • 88 篇 光学工程
    • 72 篇 建筑学
    • 70 篇 仪器科学与技术
    • 70 篇 航空宇航科学与技...
  • 2,720 篇 理学
    • 1,741 篇 数学
    • 918 篇 物理学
    • 485 篇 统计学(可授理学、...
    • 263 篇 生物学
    • 195 篇 化学
    • 131 篇 系统科学
  • 395 篇 管理学
    • 226 篇 管理科学与工程(可...
    • 178 篇 图书情报与档案管...
    • 123 篇 工商管理
  • 132 篇 法学
    • 129 篇 社会学
  • 99 篇 医学
    • 81 篇 临床医学
    • 63 篇 基础医学(可授医学...
  • 53 篇 教育学
  • 45 篇 经济学
  • 11 篇 农学
  • 7 篇 军事学
  • 6 篇 文学
  • 2 篇 哲学
  • 1 篇 艺术学

主题

  • 6,063 篇 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,663 篇 英文
  • 358 篇 其他
  • 22 篇 中文
  • 5 篇 西班牙文
  • 4 篇 法文
  • 4 篇 日文
  • 3 篇 俄文
  • 2 篇 德文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
6063 条 记 录,以下是491-500 订阅
排序:
Dual-Quaternions: theory and Applications in Sound
arXiv
收藏 引用
arXiv 2023年
作者: Kenwright, Benjamin
Sound is a fundamental and rich source of information;playing a key role in many areas from humanities and social sciences through to engineering and mathematics. Sound is more than just data ‘signals’. It encapsula... 详细信息
来源: 评论
HOOK-SHAPE IMMANANT CHARACTERS FROM STANLEY-STEMBRIDGE CHARACTERS
arXiv
收藏 引用
arXiv 2023年
作者: Lesnevich, Nathan R.T. Department of Mathematics and Statistics Washington University in St. Louis One Brookings Drive St. LouisMO63130 United States
We consider the Schur-positivity of monomial immanants of Jacobi-Trudi matrices, in particular whether a non-negative coefficient of the trivial Schur function implies non-negative coefficients for other Schur functio... 详细信息
来源: 评论
A FINITE ELEMENT IMPLEMENTATION OF FINITE DEFORMATION SURFACE AND BULK POROELASTICITY
arXiv
收藏 引用
arXiv 2023年
作者: Kim, Jaemin Ang, Ida Ballarin, Francesco Hui, Chung-Yuen Bouklas, Nikolaos Sibley School of Mechanical and Aerospace Engineering Cornell University IthacaNY14853 United States Dipartimento di Matematica e Fisica "N. Tartaglia" Università Cattolica del Sacro Cuore via della Garzetta 48 Brescia25133 Italy Field of Theoretical and Applied Mechanics Cornell University IthacaNY14853 United States Global Station for Soft Matter GI-CoRE Hokkaido University Sapporo Japan
We present a theoretical and computational model for the behavior of a porous solid undergoing two interdependent processes, the finite deformation of a solid and species migration through the solid, which are distinc... 详细信息
来源: 评论
Elliptic genera from classical error-correcting codes
arXiv
收藏 引用
arXiv 2023年
作者: Kawabata, Kohki Yahagi, Shinichiro Department of Physics Faculty of Science The University of Tokyo Bunkyo-Ku Tokyo113-0033 Japan Department of Physics Osaka University Machikaneyama-Cho 1-1 Toyonaka560-0043 Japan
We consider chiral fermionic conformal field theories constructed from classical error-correcting codes and provide a systematic way of computing their elliptic genera. We exploit the U(1) current of the N = 2 superco... 详细信息
来源: 评论
A Mean Field Game Approach to Optimal Investment and Risk Control for Competitive Insurers
SSRN
收藏 引用
SSRN 2023年
作者: Bo, Lijun Wang, Shihua Zhou, Chao School of Mathematics and Statistics Xidian University Xi’an710126 China School of Mathematical Sciences University of Science and Technology of China Hefei230026 China Department of Mathematics National University of Singapore 10 Lower Kent Ridge Rd. 119076 Singapore
We consider an insurance market consisting of multiple competitive insures with a mean filed interaction via their terminal wealths under the exponential performance. It is assumed that each insurer regulates her risk... 详细信息
来源: 评论
THH OF THE MORAVA E-theory SPECTRUM E2
arXiv
收藏 引用
arXiv 2023年
作者: Agarwal, Sanjana
The Morava E-theories, En, are complex-oriented 2-periodic ring spectra, with homotopy groups WFpn [[u1, u2, ..., un−1]][u, u−1]. Here W denotes the Witt vector ring. En is a Landweber exact spectrum and hence uniquel... 详细信息
来源: 评论
ADAMS SPECTRAL SEQUENCES FOR NON-VECTOR-BUNDLE THOM SPECTRA
arXiv
收藏 引用
arXiv 2023年
作者: Debray, Arun Yu, Matthew Purdue University West LafayetteIN United States Perimeter Institute for Theoretical Physics WaterlooON Canada
When R is one of the spectra ku, ko, tmf , MTSpinc, MTSpin, or MTString, there is a standard approach to computing twisted R-homology groups of a space X with the Adams spectral sequence, by using a change-of-rings is... 详细信息
来源: 评论
Equidistribution of lattice orbits in the space of homothety classes of rank 2 sublattices in R3
arXiv
收藏 引用
arXiv 2023年
作者: Bersudsky, Michael Xing, Hao Department of mathematics The Ohio State University United States
We study the distribution of orbits of a lattice Γ ≤ SL(3, R) in the moduli space X2,3 of covolume one rank-two discrete subgroups in R3. Each orbit is dense, and our main result is the limiting distribution of thes... 详细信息
来源: 评论
Conformal field theory-data analysis for N = 4 Super-Yang-Mills at strong coupling
arXiv
收藏 引用
arXiv 2023年
作者: Julius, Julius Sokolova, Nika Harish-Chandra Research Institute Homi Bhabha National Institute Chhatnag Road Jhunsi Allahabad211019 India Department of Mathematics King’s College London Strand WC2R 2LS United Kingdom
We analyse the CFT-data of planar 4D N = 4 Super-Yang-Mills theory at strong coupling. By combining spectral data extracted from integrability, with recent advances in computing the AdS Virasoro-Shapiro amplitude, we ... 详细信息
来源: 评论
computational Adequacy for Substructural Lambda Calculi  3
Computational Adequacy for Substructural Lambda Calculi
收藏 引用
Proceedings of the 3rd Annual International Applied Category theory Conference
作者: Zamdzhiev, Vladimir Univ Lorraine CNRS Inria LORIA F-54000 Nancy France
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, inc... 详细信息
来源: 评论