咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4931-4940 订阅
排序:
Skew localizer and 2-flows for real index pairings
arXiv
收藏 引用
arXiv 2021年
作者: Doll, Nora Schulz-Baldes, Hermann Department Mathematik Friedrich-Alexander-Universität Erlangen-Nürnberg Germany
Real index pairings of projections and unitaries on a separable Hilbert space with a real structure are defined when the projections and unitaries fulfill symmetry relations invoking the real structure, namely project... 详细信息
来源: 评论
CONSTRUCTION OF BRAUER-SEVERI VARIETIES
arXiv
收藏 引用
arXiv 2017年
作者: García, Elisa Lorenzo Laboratoire IRMAR Université de Rennes 1 Campus de Beaulieu bât. 22-23 Rennes Cédex35042 France
In this paper we give an algorithm for computing equations of Brauer-Severi varieties over fields of characteristic 0. As an example we show the equations of all Brauer-Severi surfaces defined over Q. Copyright ©... 详细信息
来源: 评论
What will computational modelling approaches have to say in the era of atomistic cryo-EM data?
arXiv
收藏 引用
arXiv 2020年
作者: Fraser, James S. Lindorff-Larsen, Kresten Bonomi, Massimiliano Department of Bioengineering and Therapeutic Sciences University of California San Francisco San FranciscoCA United States Structural Biology and NMR Laboratory Linderstrom-Lang Centre for Protein Science Department of Biology University of Copenhagen Copenhagen Denmark Structural Bioinformatics Unit Department of Structural Biology and Chemistry CNRS UMR 3528 C3BI CNRS USR 3756 Institut Pasteur Paris France
The focus of this viewpoint is to identify, in the era of atomistic resolution cryo-electron microscopy data, the areas in which computational modelling and molecular simulations will bring valuable contributions to s... 详细信息
来源: 评论
computational model to quantify object innovativeness
arXiv
收藏 引用
arXiv 2021年
作者: Ivanov, Vladimir K. Centre of New Information Technologies Tver State Technical University Afanasy Nikitin emb. 22 Tver Russia
The article considers the quantitative assessment approach to the innovativeness of different objects. The proposed assessment model is based on the object data retrieval from various databases including the Internet.... 详细信息
来源: 评论
The Motivic Mahowald Invariant
arXiv
收藏 引用
arXiv 2018年
作者: Quigley, J.D.
The classical Mahowald invariant is a method for producing nonzero classes in the stable homotopy groups of spheres from classes in lower stems. We study the Mahowald invariant in the setting of motivic stable homotop... 详细信息
来源: 评论
Brain connectomes come of age
arXiv
收藏 引用
arXiv 2020年
作者: Wang, Xiao-Jing Pereira, Ulises Rosa, Marcello G.P. Kennedy, Henry Center for Neural Science New York University 4 Washington Place New YorkNY10003 United States Biomedicine Discovery Institute Australian Research Council Centre of Excellence for Integrative Brain Function Monash University ClaytonVIC3800 Australia Stem Cell and Brain Research Institute INSERM U846 Bron69500 France
Databases of directed- and weighted- connectivity for mouse, macaque and marmoset monkeys, have recently become available and begun to be used to build dynamical models. A hierarchical organization can be defined base... 详细信息
来源: 评论
The Potential of the Confluence of Theoretical and Algorithmic Modeling in Music Recommendation
arXiv
收藏 引用
arXiv 2019年
作者: Bauer, Christine Johannes Kepler University Linz Linz Austria
The task of a music recommender system is to predict what music item a particular user would like to listen to next. This position paper discusses the main challenges of the music preference prediction task: the lack ... 详细信息
来源: 评论
SUBREGULAR NILPOTENT ORBITS AND EXPLICIT CHARACTER FORMULAS FOR MODULES OVER AFFINE LIE ALGEBRAS
arXiv
收藏 引用
arXiv 2022年
作者: Bezrukavnikov, Roman Kac, Victor Krylov, Vasily Department of Mathematics Massachusetts Institute of Technology 77 Massachusetts Avenue CambridgeMA02139 United States National Research University Higher School of Economics Department of Mathematics 6 Usacheva st. Moscow119048 Russia
Let g be a simple finite dimensional complex Lie algebra and let bg be the corresponding affine Lie algebra. Kac and Wakimoto observed that in some cases the coefficients in the character formula for a simple highest ... 详细信息
来源: 评论
Efficient enumeration of subgraphs and induced subgraphs with bounded girth
arXiv
收藏 引用
arXiv 2018年
作者: Kurita, Kazuhiro Wasa, Kunihiro Conte, Alessio Arimura, Hiroki Uno, Takeaki IST Hokkaido University Sapporo Japan National Institute of Informatics Tokyo Japan
The girth of a graph is the length of its shortest cycle. Due to its relevance in graph theory, network analysis and practical fields such as dis- tributed computing, girth-related problems have been object of attenti... 详细信息
来源: 评论
MENP: An open-source MATLAB implementation of multipole expansion for applications in nanophotonics
arXiv
收藏 引用
arXiv 2020年
作者: Hinamoto, Tatsuki Fujii, Minoru Department of Electrical and Electronic Engineering Graduate School of Engineering Kobe University Kobe657-8501 Japan
In modern nanophotonics, multipolar interference plays an indispensable role to realize novel optical devices represented by metasurfaces with unprecedented functionalities. Not only to engineer subwavelength structur... 详细信息
来源: 评论