咨询与建议

限定检索结果

文献类型

  • 302 篇 期刊文献
  • 107 篇 会议

馆藏范围

  • 409 篇 电子文献
  • 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 篇 quantum optics
  • 10 篇 machine learning
  • 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...
  • 31 篇 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
  • 27 篇 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
  • 7 篇 yu bin
  • 7 篇 hou zhibo
  • 7 篇 cong tian
  • 6 篇 liu jin-peng

语言

  • 382 篇 英文
  • 26 篇 其他
  • 2 篇 中文
检索条件"机构=Institute of Computing Theory and Technology"
409 条 记 录,以下是1-10 订阅
排序:
Single Image Dehazing Based on Dynamic Convolution and Transformer  16th
Single Image Dehazing Based on Dynamic Convolution and Tra...
收藏 引用
16th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2023
作者: Ning, Quancheng Zhang, Nan Institute of Computing Theory and Technology Xidian University Xi’an710071 China
In this paper, an end-to-end multi-stage dehazing network based on convolution and Transformer is proposed. The network design is divided into three parts: encoding network, feature fusion network and decoding network... 详细信息
来源: 评论
An Approach to Agent Path Planning Under Temporal Logic Constraints  29th
An Approach to Agent Path Planning Under Temporal Logic Cons...
收藏 引用
29th International computing and Combinatorics Conference, COCOON 2023
作者: Yu, Chaofeng Zhang, Nan Duan, Zhenhua Tian, Cong Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xi’an710071 China
The capability of path planning is a necessity for an agent to accomplish tasks autonomously. Traditional path planning methods fail to complete tasks that are constrained by temporal properties, such as conditional r... 详细信息
来源: 评论
A Dynamic Parameter Adaptive Path Planning Algorithm  16th
A Dynamic Parameter Adaptive Path Planning Algorithm
收藏 引用
16th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2023
作者: Yao, Guangyu Zhang, Nan Duan, Zhenhua Tian, Cong Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xi’an710071 China
Path planning in complex environments has always been a focus of research for scholars both domestically and internationally. This study addresses the challenge of path planning that combines obstacle avoidance and op... 详细信息
来源: 评论
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL  9
Formal Modeling and Verification of Convolutional Neural Net...
收藏 引用
9th International Conference on Dependable Systems and Their Applications, DSA 2022
作者: Zhao, Liang Wu, Leping Gao, Yu Wang, Xiaobing Yu, Bin Institute of Computing Theory and Technology Xidian University Shaanxi Province Xian China
With the rapid development and wide application of neural networks, it is more and more important to use formal methods to verify and ensure their security. In this paper, we propose a comprehensive formal framework f... 详细信息
来源: 评论
DUAL SPARSE TRAINING FRAMEWORK: INDUCING ACTIVATION MAP SPARSITY VIA TRANSFORMED 1 REGULARIZATION
arXiv
收藏 引用
arXiv 2024年
作者: Yu, Xiaolong Tian, Cong Institute of Computing Theory and Technology Xidian University Xi’an China
Although deep convolutional neural networks have achieved rapid development, it is challenging to widely promote and apply these models on low-power devices, due to computational and storage limitations. To address th... 详细信息
来源: 评论
Three Algorithms for Converting Control Flow Statements from Python to XD-M  16th
Three Algorithms for Converting Control Flow Statements fro...
收藏 引用
16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022
作者: Wang, Jiarui Zhang, Nan Duan, Zhenhua Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xi’an710071 China
This paper presents an approach to show how to implement three complex statements: continue, break, return of Python to XD-M language. To this end, three algorithms for implementing three complex statements are given ... 详细信息
来源: 评论
An Approach for Automatically Generating Traces for Python Programs  9
An Approach for Automatically Generating Traces for Python P...
收藏 引用
9th International Conference on Dependable Systems and Their Applications, DSA 2022
作者: Zhong, Xiaoting Zhang, Nan Duan, Zhenhua Institute of Computing Theory and Technology Xidian University Shaanxi Province Xi'an710071 China
Dynamic specification mining technology depends on traces, and the coverage of traces determine the effectiveness of specification. With the development of Python programs, mining specification of Python programs has ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
AutoSketch: Automatic Sketch-Oriented Compiler for Query-driven Network Telemetry  21
AutoSketch: Automatic Sketch-Oriented Compiler for Query-dri...
收藏 引用
21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024
作者: Sun, Haifeng Huang, Qun Sun, Jinbo Wang, Wei Li, Jiaheng Li, Fuliang Bao, Yungang Yao, Xin Zhang, Gong National Key Laboratory for Multimedia Information Processing School of Computer Science Peking University China Institute of Computing Technology CAS China 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. ... 详细信息
来源: 评论
Model-Based Feature Selection for Neural Networks: A Mixed-Integer Programming Approach  1
收藏 引用
17th International Conference on Learning and Intelligent Optimization, LION-17 2023
作者: Zhao, Shudian Tsay, Calvin Kronqvist, Jan Optimization and Systems Theory Department of Mathematics KTH Royal Institute of Technology Stockholm Sweden Department of Computing Imperial College London London United Kingdom
In this work, we develop a novel input feature selection framework for ReLU-based deep neural networks (DNNs), which builds upon a mixed-integer optimization approach. While the method is generally applicable to vario... 详细信息
来源: 评论