咨询与建议

限定检索结果

文献类型

  • 302 篇 期刊文献
  • 107 篇 会议
  • 2 册 图书

馆藏范围

  • 411 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 275 篇 理学
    • 186 篇 物理学
    • 117 篇 数学
    • 43 篇 统计学(可授理学、...
    • 31 篇 化学
    • 18 篇 生物学
    • 16 篇 系统科学
    • 8 篇 天文学
  • 254 篇 工学
    • 154 篇 计算机科学与技术...
    • 108 篇 软件工程
    • 37 篇 电气工程
    • 36 篇 光学工程
    • 34 篇 信息与通信工程
    • 29 篇 电子科学与技术(可...
    • 18 篇 控制科学与工程
    • 16 篇 力学(可授工学、理...
    • 16 篇 材料科学与工程(可...
    • 16 篇 生物工程
    • 15 篇 化学工程与技术
    • 9 篇 动力工程及工程热...
    • 8 篇 机械工程
    • 8 篇 生物医学工程(可授...
    • 6 篇 核科学与技术
    • 6 篇 安全科学与工程
  • 31 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 14 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
  • 6 篇 法学
    • 6 篇 社会学
  • 3 篇 经济学
  • 3 篇 农学
  • 1 篇 文学

主题

  • 20 篇 quantum entangle...
  • 12 篇 web services
  • 11 篇 machine learning
  • 11 篇 quantum optics
  • 10 篇 quantum cryptogr...
  • 9 篇 model checking
  • 9 篇 temporal logic
  • 7 篇 quantum tomograp...
  • 7 篇 optical quantum ...
  • 7 篇 quantum communic...
  • 6 篇 quantum simulati...
  • 6 篇 lattice field th...
  • 6 篇 lattice qcd
  • 6 篇 semantics
  • 5 篇 quantum algorith...
  • 5 篇 quantum computer...
  • 5 篇 automata
  • 5 篇 quantum theory
  • 5 篇 quantum computat...
  • 4 篇 qubits

机构

  • 39 篇 institute for na...
  • 36 篇 state key labora...
  • 32 篇 institute of com...
  • 25 篇 collaborative in...
  • 16 篇 department of ph...
  • 14 篇 the university o...
  • 13 篇 guangdong provin...
  • 13 篇 guangdong-hong k...
  • 13 篇 department of ph...
  • 13 篇 university of wi...
  • 10 篇 institute of qua...
  • 10 篇 center for field...
  • 9 篇 shenzhen institu...
  • 9 篇 institute of com...
  • 8 篇 graduate school ...
  • 8 篇 center for quant...
  • 8 篇 stevens institut...
  • 8 篇 centre for quant...
  • 7 篇 simons institute...
  • 7 篇 institute for th...

作者

  • 34 篇 duan zhenhua
  • 28 篇 zhenhua duan
  • 21 篇 song zhao
  • 18 篇 tian cong
  • 17 篇 zhu huangjun
  • 15 篇 liang yingyu
  • 15 篇 shi zhenmei
  • 13 篇 huangjun zhu
  • 12 篇 wang xiaobing
  • 12 篇 zhang nan
  • 12 篇 li xiaoyu
  • 12 篇 wan yidun
  • 10 篇 das ashok kumar
  • 9 篇 zhao liang
  • 8 篇 mahmood khalid
  • 8 篇 xiang guo-yong
  • 8 篇 cong tian
  • 7 篇 yu bin
  • 7 篇 hou zhibo
  • 6 篇 liu jin-peng

语言

  • 384 篇 英文
  • 26 篇 其他
  • 2 篇 中文
检索条件"机构=Institute of Computing Theory and Technology"
411 条 记 录,以下是1-10 订阅
排序:
First-principles electron-phonon interactions and polarons in the parent cuprate La2CuO4
收藏 引用
Physical Review Research 2025年 第1期7卷 L012073-L012073页
作者: Benjamin K. Chang Iurii Timrov Jinsoo Park Jin-Jian Zhou Nicola Marzari Marco Bernardi Department of Applied Physics and Materials Science and Department of Physics California Institute of Technology Pasadena California 91125 USA PSI Center for Scientific Computing Theory and Data Paul Scherrer Institut 5232 Villigen PSI Switzerland Department of Physics Pohang University of Science and Technology Pohang 37673 Korea School of Physics Beijing Institute of Technology Beijing 100081 China Theory and Simulation of Materials (THEOS) and National Centre for Computational Design and Discovery of Novel Materials (MARVEL) École Polytechnique Fédérale de Lausanne (EPFL) 1015 Lausanne Switzerland
Understanding electronic interactions in high-temperature superconductors is an outstanding challenge. In the widely studied cuprate materials, experimental evidence points to strong electron-phonon (e-ph) coupling an... 详细信息
来源: 评论
Quantum frontiers in high energy physics
收藏 引用
Science China(Physics,Mechanics & Astronomy) 2025年 第6期Mechanics & Astronomy) .卷 53-75页
作者: Yaquan Fang Christina Gao Ying-Ying Li Jing Shu Yusheng Wu Hongxi Xing Bin Xu Lailin Xu Chen Zhou Institute of High Energy Physics Chinese Academy of Sciences University of Chinese Academy of Sciences Department of Physics Southern University of Science and Technology Interdisciplinary Center for Theoretical Study University of Science and Technology of China Peng Huanwu Center for Fundamental Theory State Key Laboratory of Nuclear Physics and Technology School of Physics Peking University Center for High Energy Physics Peking University Beijing Laser Acceleration Innovation Center State Key Laboratory of Particle Detection and Electronics Department of Modern Physics University of Science and Technology of China Key Laboratory of Atomic and Subatomic Structure and Quantum Control (MOE) Guangdong Basic Research Center of Excellence for Structure and Fundamental Interactions of Matter Institute of Quantum MatterSouth China Normal University Guangdong-Hong Kong Joint Laboratory of Quantum Matter Guangdong Provincial Key Laboratory of Nuclear ScienceSouthern Nuclear Science Computing Center South China Normal University Southern Center for Nuclear-Science Theory Institute of Modern Physics Chinese Academy of Sciences
Numerous challenges persist in high energy physics(HEP), the addressing of which requires advancements in detection technology, computational methods, data analysis frameworks, and phenomenological designs. We provide... 详细信息
来源: 评论
Theoretical Foundation of Flow-Based Time Series Generation: Provable Approximation, Generalization, and Efficiency
arXiv
收藏 引用
arXiv 2025年
作者: Long, Jiangxuan Song, Zhao Yang, Chiwun South China University of Technology China The Simons Institute for the Theory of Computing UC Berkeley United States Sun Yat-sen University China
Recent studies suggest utilizing generative models instead of traditional auto-regressive algorithms for time series forecasting (TSF) tasks. These non-auto-regressive approaches involving different generative methods... 详细信息
来源: 评论
AutoSketch: automatic sketch-oriented compiler for query-driven network telemetry  24
AutoSketch: automatic sketch-oriented compiler for query-dri...
收藏 引用
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation
作者: Haifeng Sun Qun Huang Jinbo Sun Wei Wang Jiaheng Li Fuliang Li Yungang Bao Xin Yao Gong Zhang National Key Laboratory for Multimedia Information Processing School of Computer Science Peking University Institute of Computing Technology CAS Northeastern University China Huawei Theory Department
Recent network telemetry witnesses tremendous progress in two directions: query-driven telemetry that targets expressiveness as the primary goal, and sketch-based algorithms that address resource-accuracy trade-offs. ...
来源: 评论
Limits of KV Cache Compression for Tensor Attention based Autoregressive Transformers
arXiv
收藏 引用
arXiv 2025年
作者: Chen, Yifang Li, Xiaoyu Liang, Yingyu Shi, Zhenmei Song, Zhao Tian, Yu The University of Chicago United States Stevens Institute of Technology United States The University of Hong Kong Hong Kong University of Wisconsin-Madison United States The Simons Institute for the Theory of Computing UC Berkeley United States
The key-value (KV) cache in autoregressive transformers presents a significant bottleneck during inference, which restricts the context length capabilities of large language models (LLMs). While previous work analyzes... 详细信息
来源: 评论
Force Matching with Relativistic Constraints: A Physics-Inspired Approach to Stable and Efficient Generative Modeling
arXiv
收藏 引用
arXiv 2025年
作者: Cao, Yang Chen, Bo Li, Xiaoyu Liang, Yingyu Sha, Zhizhou Shi, Zhenmei Song, Zhao Wan, Mingda Wyoming Seminary Middle Tennessee State University Stevens Institute of Technology The University of Hong Kong University of Wisconsin-Madison Tsinghua University Simons Institute for the Theory of Computing University of California Berkeley United States Anhui University
This paper introduces Force Matching (ForM), a novel framework for generative modeling that represents an initial exploration into leveraging special relativistic mechanics to enhance the stability of the sampling pro... 详细信息
来源: 评论
Theoretical Guarantees for High Order Trajectory Refinement in Generative Flows
arXiv
收藏 引用
arXiv 2025年
作者: Gong, Chengyue Li, Xiaoyu Liang, Yingyu Long, Jiangxuan Shi, Zhenmei Song, Zhao Tian, Yu The University of Texas Austin United States Stevens Institute of Technology United States The University of Hong Kong Hong Kong University of Wisconsin-Madison United States South China University of Technology China The Simons Institute for the Theory of Computing UC Berkeley United States
Flow matching has emerged as a powerful framework for generative modeling, offering computational advantages over diffusion models by leveraging deterministic Ordinary Differential Equations (ODEs) instead of stochast... 详细信息
来源: 评论
Exploring the Limits of KV Cache Compression in Visual Autoregressive Transformers
arXiv
收藏 引用
arXiv 2025年
作者: Chen, Bo Li, Xiaoyu Ke, Yekun Liang, Yingyu Shi, Zhenmei Song, Zhao Middle Tennessee State University United States Stevens Institute of Technology United States The University of Hong Kong Hong Kong University of Wisconsin-Madison United States The Simons Institute for the Theory of Computing UC Berkeley United States
A fundamental challenge in Visual Autoregressive models is the substantial memory overhead required during inference to store previously generated representations. Despite various attempts to mitigate this issue throu... 详细信息
来源: 评论
Symbolic Algorithmic Analysis of Rectangular Hybrid Systems
收藏 引用
Journal of Computer Science & technology 2009年 第3期24卷 534-543页
作者: 张海宾 段振华 Institute of Computing Theory and Technology Xidian University
This paper investigates symbolic algorithmic analysis of rectangular hybrid systems. To deal with the symbolic reachability problem, a restricted constraint system called hybrid zone is formalized for the representati... 详细信息
来源: 评论
Extension of π-Calculus with Interval Action Prefixes
收藏 引用
Chinese Journal of Electronics 2016年 第5期25卷 848-857页
作者: LUO Ling DUAN Zhenhua TIAN Cong Institute of Computing Theory and Technology Xidian University
This paper presents an extension of π-calculus, named p-π, with interval action prefixes. The syntax and operational semantics of p-π are formalized, and the algebraic and time-dependent properties are *** on them,... 详细信息
来源: 评论