咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 6,055 篇 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 co...
  • 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,655 篇 英文
  • 358 篇 其他
  • 22 篇 中文
  • 5 篇 西班牙文
  • 4 篇 法文
  • 4 篇 日文
  • 3 篇 俄文
  • 2 篇 德文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
6055 条 记 录,以下是661-670 订阅
排序:
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 ... 详细信息
来源: 评论
Introduction to Haar Measure Tools in Quantum Information: A Beginner's Tutorial
arXiv
收藏 引用
arXiv 2023年
作者: Mele, Antonio Anna Dahlem Center for Complex Quantum Systems Freie Universität Berlin Berlin14195 Germany
The Haar measure plays a vital role in quantum information, but its study often requires a deep understanding of representation theory, posing a challenge for beginners. This tutorial aims to provide a basic introduct... 详细信息
来源: 评论
Equilibrium Convergence in Large Games
SSRN
收藏 引用
SSRN 2023年
作者: Chen, Enxian Wu, Bin Xu, Hanping School of Economics Nankai University Tianjin300071 China International School of Economics and Management Capital University of Economics and Business Fengtai District Beijing100070 China Department of Mathematics National University of Singapore 10 Lower Kent Ridge Road 119076 China
This paper presents a general closed graph property for (randomized strategy) Nash equilibrium correspondence in large games. In particular, we show that for any large game with a convergent sequence of finite-player ... 详细信息
来源: 评论
Symmetry-resolved modular correlation functions in free fermionic theories
arXiv
收藏 引用
arXiv 2023年
作者: Giulio, Giuseppe Di Erdmenger, Johanna Institute for Theoretical Physics and Astrophysics and Würzburg-Dresden Cluster of Excellence ct.qmat Julius-Maximilians-Universität Würzburg Am Hubland Würzburg97074 Germany
As a new ingredient for analyzing the fine structure of entanglement, we study the symmetry resolution of the modular flow of U(1)-invariant operators in theories endowed with a global U(1) symmetry. We provide a cons... 详细信息
来源: 评论
Electromagnetic fields in compact binaries: post-Newtonian wave generation and application to double white dwarfs systems
arXiv
收藏 引用
arXiv 2023年
作者: Henry, Quentin Larrouturou, François Le Poncin-Lafitte, Christophe PotsdamD-14476 Germany Deutsches Elektronen-Synchrotron DESY Notkestr. 85 Hamburg22607 Germany SYRTE Observatoire de Paris Université PSL CNRS Sorbonne Université LNE 61 avenue de l’Observatoire Paris75014 France
The aim of this work is twofold: (i) to properly define a wave-generation formalism for compact-supported sources embedded in Einstein-Maxwell theory, relying on matched post-Newtonian and multipolar-post-Minkowskian ... 详细信息
来源: 评论
Non-Pauli errors can be efficiently sampled in qudit surface codes
arXiv
收藏 引用
arXiv 2023年
作者: Ma, Yue Hanks, Michael Kim, M.S. QOLS Blackett Laboratory Imperial College London LondonSW7 2AZ United Kingdom
Surface codes are the most promising candidates for fault-tolerant quantum computation. Single qudit errors are typically modelled as Pauli operators, to which general errors are converted via randomizing methods. In ... 详细信息
来源: 评论
Computing nonsurjective primes associated to Galois representations of genus 2 curves
arXiv
收藏 引用
arXiv 2023年
作者: Banwait, Barinder S. Brumer, Armand Kim, Hyun Jong Klagsbrun, Zev Mayle, Jacob Srinivasan, Padmavathi Vogt, Isabel Department of Mathematics & Statistics Boston University BostonMA United States Department of Mathematics Fordham University New YorkNY United States Department of Mathematics University of Wisconsin-Madison MadisonWI United States Center for Communications Research San DiegoCA United States Department of Mathematics Wake Forest University Winston-SalemNC United States ICERM ProvidenceRI United States Department of Mathematics Brown University ProvidenceRI United States
For a genus 2 curve C over Q whose Jacobian A admits only trivial geometric endomorphisms, Serre’s open image theorem for abelian surfaces asserts that there are only finitely many primes ` for which the Galois actio... 详细信息
来源: 评论
A coparative study of models of parallel coputation  15
A coparative study of models of parallel coputation
收藏 引用
15th Annual Symposium on Switching and Automata theory, SWAT 1974
作者: Lipton, R.J. Snyder, L. Zalcstein, Y. Computer Science Department Yale University New HavenCT06520 United States Computer Science Department State University of New York Stony BrookNY11790 United States
In recent years, a large number of models of parallel computation have been proposed. These models have rather diverse motivations including problems from operating systems, hardware, numerical algorithms and others. ... 详细信息
来源: 评论
computation of Gabor coefficients for objects with polygonal cross section  22
Computation of Gabor coefficients for objects with polygonal...
收藏 引用
22nd International Conference on Electromagnetics in Advanced Applications, ICEAA 2021
作者: Sun, L. Eijsvogel, S. Sepehripour, F. Dilz, R.J. Van Beurden, M.C. Eindhoven University of Technology Department of Electrical Engineering Eindhoven Netherlands
The Gabor transformation connects the spectral and spatial domain in a recently developed spatial spectral Maxwell solver. A key step involves computing the Gabor coefficients of the characteristic function of dielect... 详细信息
来源: 评论
Towards Mesh-Free Patient-Specific Mitral Valve Modeling  11th
Towards Mesh-Free Patient-Specific Mitral Valve Modeling
收藏 引用
11th International Workshop on Statistical Atlases and computational Models of the Heart, STACOM 2020 held in Conjunction with MICCAI 2020
作者: Ros, Judit Camara, Oscar Hermida, Uxio Bijnens, Bart Morales, Hernán G. Physense BCN MedTech Department of Information and Communication Technologies Universitat Pompeu Fabra Barcelona Spain Philips Research Paris Suresnes France ICREA Barcelona Spain
computational modeling is a tool that has gained importance recently to better understand valve physiopathology, to assess safety and efficacy of cardiovascular devices and as a supporting tool for therapy planning. M... 详细信息
来源: 评论