咨询与建议

限定检索结果

文献类型

  • 177 篇 期刊文献
  • 41 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 162 篇 理学
    • 132 篇 物理学
    • 53 篇 数学
    • 26 篇 化学
    • 24 篇 统计学(可授理学、...
    • 5 篇 系统科学
    • 4 篇 天文学
    • 3 篇 生物学
  • 136 篇 工学
    • 69 篇 计算机科学与技术...
    • 43 篇 软件工程
    • 27 篇 光学工程
    • 15 篇 电气工程
    • 15 篇 电子科学与技术(可...
    • 12 篇 信息与通信工程
    • 12 篇 化学工程与技术
    • 11 篇 力学(可授工学、理...
    • 8 篇 材料科学与工程(可...
    • 8 篇 动力工程及工程热...
    • 5 篇 控制科学与工程
    • 5 篇 生物医学工程(可授...
    • 3 篇 冶金工程
    • 3 篇 土木工程
    • 3 篇 核科学与技术
    • 3 篇 安全科学与工程
  • 10 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
  • 3 篇 农学
    • 3 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学

主题

  • 17 篇 quantum entangle...
  • 11 篇 quantum optics
  • 8 篇 quantum cryptogr...
  • 8 篇 temporal logic
  • 7 篇 quantum tomograp...
  • 6 篇 optical quantum ...
  • 6 篇 quantum communic...
  • 4 篇 qubits
  • 4 篇 quantum simulati...
  • 4 篇 semantics
  • 4 篇 machine learning
  • 4 篇 quantum benchmar...
  • 4 篇 quantum theory
  • 4 篇 quantum informat...
  • 4 篇 quantum computat...
  • 3 篇 reinforcement le...
  • 3 篇 entanglement det...
  • 3 篇 quantum algorith...
  • 3 篇 high energy phys...
  • 3 篇 model checking

机构

  • 39 篇 institute for na...
  • 36 篇 state key labora...
  • 25 篇 collaborative in...
  • 16 篇 department of ph...
  • 13 篇 guangdong provin...
  • 13 篇 guangdong-hong k...
  • 13 篇 department of ph...
  • 10 篇 center for field...
  • 9 篇 shenzhen institu...
  • 9 篇 institute of com...
  • 8 篇 graduate school ...
  • 8 篇 center for quant...
  • 8 篇 centre for quant...
  • 8 篇 institute of qua...
  • 7 篇 institute for th...
  • 7 篇 the guangdong ke...
  • 6 篇 nti center for q...
  • 6 篇 state key labora...
  • 6 篇 university of ch...
  • 6 篇 institute of fro...

作者

  • 22 篇 duan zhenhua
  • 17 篇 zhu huangjun
  • 14 篇 tian cong
  • 13 篇 huangjun zhu
  • 12 篇 wan yidun
  • 10 篇 zhang nan
  • 9 篇 wang xiaobing
  • 8 篇 xiang guo-yong
  • 7 篇 hou zhibo
  • 6 篇 guo guang-can
  • 6 篇 guo-yong xiang
  • 6 篇 qiu daowen
  • 6 篇 li chuan-feng
  • 6 篇 hu yuting
  • 6 篇 li yingcheng
  • 6 篇 han muxin
  • 6 篇 shang jiangwei
  • 6 篇 zhenhua duan
  • 5 篇 guang-can guo
  • 5 篇 zhibo hou

语言

  • 210 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Institute of Computing Theory and Technology and ISN Laboratory"
218 条 记 录,以下是1-10 订阅
排序:
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... 详细信息
来源: 评论
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. ...
来源: 评论
Single-cell technologies: current and near future
收藏 引用
Science China(Life Sciences) 2025年 第1期68卷 1-4页
作者: Chenfei Wang Qi Liu Xiaohui Fan Tieliu Shi KeyLaboratory of Spine and Spinal CordInjury Repairand Regeneration Ministry of EducationOrthopedics DepartmentTongji HospitalBioinformatics DepartmentSchoolofLifeSciencesandTechnologyTongji UniversityShanghai 200082China Frontier Science Center for Stem Cells School of Life Sciences and TechnologyTongji UniversityShanghai 200092China Translational Medical Center for Stem Cell Therapy and Institute for Regenerative Medicine Shanghai East HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji UniversityShanghai 200082China Research Institute of Intelligent Computing Zhejiang LabHangzhou 311121China Pharmaceutical Informatics Institute College of Pharmaceutical SciencesZhejiang UniversityHangzhou 310058China National Key Laboratory of Chinese Medicine Modernization Innovation Center of Yangtze River DeltaZhejiang UniversityJiaxing 314103China Center for Bioinformatics and Computational Biology Shanghai Key Laboratory of Regulatory Biologythe Institute of Biomedical Sciences and School of Life SciencesEast China Normal UniversityShanghai 200241China Key Laboratory of Advanced Theory and Application in Statistics and Data Science(MOE) School of StatisticsEast China Normal UniversityShanghai 200062China
Single-cell technologies enable the indepth exploration of multiple biological hierarchies at the scale of individual cells,which have deepened our knowledge of cellular diversity,tissue organization,and overall organ... 详细信息
来源: 评论
Deconfined classical criticality in the anisotropic quantum spin-12 XY model on the square lattice
收藏 引用
Physical Review B 2025年 第10期111卷 104402-104402页
作者: Christopher Mudry Ömer M. Aksoy Claudio Chamon Akira Furusaki Condensed Matter Theory Group PSI Center for Scientific Computing Theory and Data 5232 Villigen PSI Switzerland Institut de Physique EPF Lausanne CH-1015 Lausanne Switzerland Department of Physics Massachusetts Institute of Technology Cambridge Massachusetts 02139 USA Department of Physics Boston University Boston Massachusetts 02215 USA RIKEN Center for Emergent Matter Science Wako Saitama 351-0198 Japan Condensed Matter Theory Laboratory RIKEN Wako Saitama 351-0198 Japan
The anisotropic quantum spin-12 XY model on a linear chain was solved by Lieb, Schultz, and Mattis [Ann. Phys. 16, 407 (1961)] and shown to display a continuous quantum phase transition at the O(2) symmetric point sep... 详细信息
来源: 评论
Single-cell omics: experimental workflow, data analyses and applications
收藏 引用
Science China(Life Sciences) 2025年 第1期68卷 5-102页
作者: Fengying Sun Haoyan Li Dongqing Sun Shaliu Fu Lei Gu Xin Shao Qinqin Wang Xin Dong Bin Duan Feiyang Xing Jun Wu Minmin Xiao Fangqing Zhao Jing-Dong J.Han Qi Liu Xiaohui Fan Chen Li Chenfei Wang Tieliu Shi Department of Clinical Laboratory the Affiliated Wuhu Hospital of East China Normal University(The Second People’s Hospital of Wuhu City)Wuhu 241000China Pharmaceutical Informatics Institute College of Pharmaceutical SciencesZhejiang UniversityHangzhou 310058China Key Laboratory of Spine and Spinal Cord Injury Repair and Regeneration(Tongji University) Ministry of EducationOrthopaedic DepartmentTongji HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji UniversityShanghai 200082China Frontier Science Center for Stem Cells School of Life Sciences and TechnologyTongji UniversityShanghai 200092China Translational Medical Center for Stem Cell Therapy and Institute for Regenerative Medicine Shanghai East HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji UniversityShanghai 200082China Research Institute of Intelligent Computing Zhejiang LabHangzhou 311121China Shanghai Research Institute for Intelligent Autonomous Systems Shanghai 201210China Center for Single-cell Omics School of Public HealthShanghai Jiao Tong University School of MedicineShanghai 200025China National Key Laboratory of Chinese Medicine Modernization Innovation Center of Yangtze River DeltaZhejiang UniversityJiaxing 314103China Center for Bioinformatics and Computational Biology Shanghai Key Laboratory of Regulatory Biologythe Institute of Biomedical Sciences and School of Life SciencesEast China Normal UniversityShanghai 200241China Beijing Institutes of Life Science Chinese Academy of SciencesBeijing 100101China Peking-Tsinghua Center for Life Sciences Academy for Advanced Interdisciplinary StudiesCenter for Quantitative Biology(CQB)Peking UniversityBeijing 100871China Zhejiang Key Laboratory of Precision Diagnosis and Therapy for Major Gynecological Diseases Women’s HospitalZhejiang University School of MedicineHangzhou 310006China Key Laboratory of Advanced Theory and Application in Statistics and Data Science-MOE School of StatisticsEast China Normal U
Cells are the fundamental units of biological systems and exhibit unique development trajectories and molecular *** exploration of how the genomes orchestrate the formation and maintenance of each cell,and control the... 详细信息
来源: 评论
State complexity of one-way quantum finite automata together with classical states
收藏 引用
Journal of Computer and System Sciences 2025年 154卷
作者: Xiao, Ligang Qiu, Daowen Institute of Quantum Computing and Computer Theory School of Computer Science and Engineering Sun Yat-sen University Guangzhou510006 China The Guangdong Key Laboratory of Information Security Technology Sun Yat-sen University Guangzhou510006 China
One-way quantum finite automata together with classical states (1QFAC) proposed by Qiu et al. is a new one-way quantum finite automata (1QFA) model that integrates quantum finite automata (QFA) and deterministic finit... 详细信息
来源: 评论
Design and Implementation of List and Dictionary in XD-M Language  15th
Design and Implementation of List and Dictionary in XD-M...
收藏 引用
15th International Conference on Algorithmic Aspects in Information and Management, AAIM 2021
作者: Wang, Yajie Zhang, Nan Duan, Zhenhua Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xi’an710071 China
This paper presents the design and implementation of two data types, List and Dictionary, in the programming language XD-M. XD-M is an interpreted language with dynamic data types and its syntax is similar to Python. ... 详细信息
来源: 评论
Time constraints with temporal logic programming
Time constraints with temporal logic programming
收藏 引用
14th International Conference on Formal Engineering Methods, ICFEM 2012
作者: Han, Meng Duan, Zhenhua Wang, Xiaobing Institute of Computing Theory and Technology ISN Laboratory Xidian University Xi'an 710071 China
This paper presents an approach for the real-time extension of Projection Temporal Logic (PTL) and the corresponding programming language, Timed Modeling, Simulation and Verification Language (TMSVL). To this end, qua... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论