咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 5,834 篇 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,694 篇 英文
  • 96 篇 其他
  • 23 篇 中文
  • 5 篇 西班牙文
  • 4 篇 法文
  • 4 篇 日文
  • 3 篇 俄文
  • 2 篇 德文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
5834 条 记 录,以下是611-620 订阅
排序:
Machine learning for impurity charge-state transition levels in semiconductors from elemental properties using multi-fidelity datasets
收藏 引用
JOURNAL OF CHEMICAL PHYSICS 2022年 第11期156卷 114110-114110页
作者: Polak, Maciej P. Jacobs, Ryan Mannodi-Kanakkithodi, Arun Chan, Maria K. Y. Morgan, Dane Univ Wisconsin Dept Mat Sci & Engn Madison WI 53706 USA Purdue Univ Sch Mat Engn W Lafayette IN 47907 USA Argonne Natl Lab Ctr Nanoscale Mat Lemont IL 60439 USA
Quantifying charge-state transition energy levels of impurities in semiconductors is critical to understanding and engineering their optoelectronic properties for applications ranging from solar photovoltaics to infra... 详细信息
来源: 评论
Jumpstarting (elliptic) symbol integrations for loop integrals
arXiv
收藏 引用
arXiv 2023年
作者: He, Song Tang, Yichao Cas Key Laboratory of Theoretical Physics Institute of Theoretical Physics Chinese Academy of Sciences Beijing100190 China School of Fundamental Physics and Mathematical Sciences Hangzhou Institute for Advanced Study Hangzhou China Peng Huanwu Center for Fundamental Theory Anhui Hefei230026 China School of Physical Sciences University of Chinese Academy of Sciences No.19A Yuquan Road Beijing100049 China International Centre for Theoretical Physics Asia-Pacific Beijing China
We derive an algorithm for computing the total differentials of multi-loop integrals expressed as one-fold integrals of multiple polylogarithms, which can involve square roots of polynomials up to degree four and may ... 详细信息
来源: 评论
A Decoupling Algorithm for Solving Mixed Variational Problems Based on Neural Networks and Spectral Method
SSRN
收藏 引用
SSRN 2023年
作者: Wang, Lijun Xu, Youcai Feng, Minfu College of Mathematics Sichuan university Chengdu 610065 China
In this article, we proposed a decoupling method that uses neural networks to approximate the solution $u$ and the spectral method to approximate another solution $p$ for solving the partial differential equations who... 详细信息
来源: 评论
Delay-agnostic Asynchronous Coordinate Update Algorithm
arXiv
收藏 引用
arXiv 2023年
作者: Wu, Xuyang Liu, Changxin Magnússon, Sindri Johansson, Mikael Division of Decision and Control Systems Eecs Kth Royal Institute of Technology Stockholm Sweden Department of Computer and System Science Stockholm University Stockholm Sweden
We propose a delay-agnostic asynchronous coordinate update algorithm (DEGAS) for computing operator fixed points, with applications to asynchronous optimization. DEGAS includes novel asynchronous variants of ADMM and ... 详细信息
来源: 评论
COMPUTING GRÖBNER BASES AND FREE RESOLUTIONS OF OI-MODULES
arXiv
收藏 引用
arXiv 2023年
作者: Morrow, Michael Nagel, Uwe Department of Mathematics University of Kentucky 715 Patterson Office Tower LexingtonKY40506 United States
Given a sequence of related modules Mn defined over a sequence of related polynomial rings, one may ask how to simultaneously compute a finite Gröbner basis for each Mn. Furthermore, one may ask how to simultaneo... 详细信息
来源: 评论
The theory of electromagnetic line waves
arXiv
收藏 引用
arXiv 2023年
作者: Horsley, S.A.R. Dwivedi, A. School of Physics and Astronomy University of Exeter Stocker Road EX4 4QL United Kingdom
Whereas electromagnetic surface waves are confined to a planar interface between two media, line waves exist at the one–dimensional interface between three materials. Here we derive a non–local integral equation for... 详细信息
来源: 评论
COMPUTING SYMMETRIC NORMALISERS
arXiv
收藏 引用
arXiv 2023年
作者: Elsenhans, Andreas-Stephan
The computation of the normaliser of a permutation group in the full symmetric group is an important and hard problem in computational group theory. This article reports on an algorithm that builds a descending chain ... 详细信息
来源: 评论
A Mathematical Framework for Citation Disruption
arXiv
收藏 引用
arXiv 2023年
作者: Gebhart, Thomas Funk, Russell Computer Science and Engineering University of Minnesota United States Carlson School of Management University of Minnesota United States
Many theories of scientific and technological progress imagine science as an iterative, developmental process periodically interrupted by innovations which disrupt and restructure the status quo. Due to the immense so... 详细信息
来源: 评论
AutoEFT: Automated Operator Construction for Effective Field Theories
arXiv
收藏 引用
arXiv 2023年
作者: Harlander, Robert V. Schaaf, Magnus C. Institute for Theoretical Particle Physics and Cosmology RWTH Aachen University Aachen52056 Germany
The program AutoEFT is described. It allows one to generate Effective Field Theories (EFTs) from a given set of fields and symmetries. Allowed fields include scalars, spinors, gauge bosons, and gravitons. The symmetri... 详细信息
来源: 评论
A Robust Characterization of Nash Equilibrium
arXiv
收藏 引用
arXiv 2023年
作者: Brandl, Florian Brandt, Felix University of Bonn Germany Technical University of Munich Germany
We give a robust characterization of Nash equilibrium by postulating coherent behavior across varying games: Nash equilibrium is the only solution concept that satisfies consequentialism, consistency, and rationality.... 详细信息
来源: 评论