咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是621-630 订阅
排序:
Computing superspecial hyperelliptic curves of genus 4 with automorphism group properly containing the Klein 4-group
arXiv
收藏 引用
arXiv 2023年
作者: Ohashi, Ryo Kudo, Momonari Graduate School of Information Science and Technology The University of Tokyo Japan Fukuoka Institute of Technology Japan
In algebraic geometry, enumerating or finding superspecial curves in positive characteristic p is important both in theory and in computation. In this paper, we propose feasible algorithms to enumerate or find supersp... 详细信息
来源: 评论
Speaking the Language of Your Listener: Audience-Aware Adaptation via Plug-and-Play theory of Mind
arXiv
收藏 引用
arXiv 2023年
作者: Takmaz, Ece Brandizzi, Nicolo Giulianelli, Mario Pezzelle, Sandro Fernández, Raquel University of Amsterdam Netherlands Sapienza University of Rome Italy
Dialogue participants may have varying levels of knowledge about the topic under discussion. In such cases, it is essential for speakers to adapt their utterances by taking their audience into account. Yet, it is an o... 详细信息
来源: 评论
The strength of a simplex is the key to a continuous isometry classification of Euclidean clouds of unlabelled points
arXiv
收藏 引用
arXiv 2023年
作者: Kurlin, Vitaliy Computer Science department University of Liverpool United Kingdom
This paper solves the continuous classification problem for finite clouds of unlabelled points under Euclidean isometry. The Lipschitz continuity of required invariants in a suitable metric under perturbations of poin... 详细信息
来源: 评论
Qubits on programmable geometries with a trapped-ion quantum processor
arXiv
收藏 引用
arXiv 2023年
作者: Wu, Qiming Shi, Yue Zhang, Jiehang Department of Physics University of California BerkeleyCA United States Department of Physics Princeton University PrincetonNJ United States School of Physical Sciences University of Science and Technology of China Hefei230026 China Shanghai Research Center for Quantum Science CAS Center for Excellence in Quantum Information and Quantum Physics University of Science and Technology of China Shanghai201315 China Hefei National Laboratory University of Science and Technology of China Hefei230088 China
Geometry and dimensionality have played crucial roles in our understanding of the fundamental laws of nature, with examples ranging from curved space-time in general relativity to modern theories of quantum gravity. I... 详细信息
来源: 评论
Equilibria of Fully Decentralized Learning in Networked Systems
arXiv
收藏 引用
arXiv 2023年
作者: Jiang, Yan Cui, Wenqi Zhang, Baosen Cortés, Jorge Department of Electrical and Computer Engineering University of Washington SeattleWA98195 United States Department of Mechanical and Aerospace Engineering University of California San DiegoCA92093 United States
Existing settings of decentralized learning either require players to have full information or the system to have certain special structure that may be hard to check and hinder their applicability to practical systems... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Quantum Carleman Lattice Boltzmann Simulation of Fluids
arXiv
收藏 引用
arXiv 2023年
作者: Itani, Wael Sreenivasan, Katepalli R. Succi, Sauro Tandon School of Engineering New York University New YorkNY11201 United States Courant Institute of Mathematical Sciences New York University New YorkNY10012 United States Department of Physics New York University New YorkNY10003 United States Center for Space Science New York University Abu Dhabi Saadiyat Island Abu Dhabi129188 United Arab Emirates Fondazione Istituto Italiano di Tecnologia Center for Life Nano-Neuroscience at la Sapienza Roma00161 Italy Physics Department Harvard University CambridgeMA United States
We present a pedagogical introduction to a quantum computing algorithm for the simulation of classical fluids, based on the Carleman linearization of a second-quantized version of lattice kinetic theory. Prospects and... 详细信息
来源: 评论
Fully Coupled Nonlinear Thermomechanical Modeling of Composites Using Mean-Field Mori-Tanaka Scheme Combined with Tfa theory
SSRN
收藏 引用
SSRN 2023年
作者: Chatzigeorgiou, George Meraghni, Fodil Chen, Qiang Arts et Métiers Institute of Technology CNRS Université de Lorraine LEM3 UMR CNRS 7239 MetzF-57070 France
This article aims at proposing a new mean-field homogenization framework for the study of composites undergoing fully coupled thermomechanical processes. Strongly dissipative phenomena during loading in a structural c... 详细信息
来源: 评论
Bootstrapping Deconfined Quantum Tricriticality
arXiv
收藏 引用
arXiv 2023年
作者: Chester, Shai M. Su, Ning Jefferson Physical Laboratory Harvard University CambridgeMA02138 United States Center of Mathematical Sciences and Applications Harvard University CambridgeMA02138 United States Blackett Laboratory Imperial College Prince Consort Road LondonSW7 2AZ United Kingdom Department of Physics University of Pisa PisaI-56127 Italy
The paradigmatic example of deconfined quantum criticality is the Neel-VBS phase transition. The continuum description of this transition is the N = 2 case of the CPN−1 model, which is a field theory of N complex scal... 详细信息
来源: 评论
Semiparametrically Efficient Score for the Survival Odds Ratio
arXiv
收藏 引用
arXiv 2023年
作者: Rava, Denise Bradic, Jelena Xu, Ronghui Department of Mathematics University of California San Diego United States Department of Mathematics and Halicioglu Data Science Institute University of California San Diego United States Department of Mathematics Herbert Wertheim School of Public Health Halicioglu Data Science Institute University of California San Diego United States
We consider a general proportional odds model for survival data under binary treatment, where the functional form of the covariates is left unspecified. We derive the efficient score for the conditional survival odds ... 详细信息
来源: 评论