检索结果-内蒙古大学图书馆

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 a concise yet comprehensive overview of recent progress across these areas, in line with advances in quantum technology. We will discuss the potential of quantum devices in detecting subtle effects indicative of new physics BSM, the transformative role of quantum algorithms and large-scale quantum computers in studying real-time non-perturbative dynamics in the early universe and at colliders, as well as in analyzing complex HEP data. Additionally, we emphasize the importance of integrating quantum properties into HEP experiments to test quantum mechanics at unprecedented high-energy scales and search for hints of new physics. Looking ahead, the continued integration of resources to fully harness these evolving technologies will enhance our efforts to deepen our understanding of the fundamental laws of nature.

关键词： high energy physics quantum sensing quantum simulations quantum machine learning quantum information

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781939133397

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. In this paper, we propose AutoSketch that aims to integrate the advantages of both classes. In a nutshell, AutoSketch automatically compiles high-level operators into sketch instances that can be readily deployed with low resource usage and incur limited accuracy drop. However, there remains a gap between the expressiveness of high-level operators and the underlying realization of sketch algorithms. AutoSketch bridges this gap in three aspects. First, AutoSketch extends its interface derived from existing query-driven telemetry such that users can specify the desired telemetry accuracy. The specified accuracy intent will be utilized to guide the compiling procedure. Second, AutoSketch leverages various techniques, such as syntax analysis and performance estimation, to construct efficient sketch instances. Finally, AutoSketch automatically searches for the most suitable parameter configurations that fulfill the accuracy intent with minimum resource usage. Our experiments demonstrate that AutoSketch can achieve high expressiveness, high accuracy, and low resource usage compared to state-of-the-art telemetry solutions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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 organism function(Sun et al.,2024).In 2009,single-cell RNA sequencing(scRNA-seq)was first developed as a powerful tool to dissect gene expression and uncover transcriptional *** the rapid advancement of technology,single-cell approaches have expanded to encompass other omics,such as genomics,epigenomics,proteomics,and ***,multimodal technologies including spatially resolved transcriptomics and clustered regularly interspaced short palindromic repeats(CRISPR)screening at the single-cell level further advanced our ability to comprehensively understand cellular ***-cell methods provide deeper insights into disease mechanisms across various conditions,including cancer,developmental disorders,and aging-associated *** this issue,we focus on topics related to single-cell methods,covering the following four aspects:(i)single-cell multi-omic sequencing technology;(ii)single-cell spatial technology;(iii)singlecell CRISPR screening technology;(iv)applications of single-cell technology.

关键词： expanded enable insight

来源：评论

学校读者我要写书评

暂无评论

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 separating two gapped phases with competing Ising long-range order. For the square lattice, the following is known. The two competing Ising ordered phases extend to finite temperatures, up to a boundary where a transition to the paramagnetic phase occurs, and meet at the O(2) symmetric critical line along the temperature axis that ends at a tricritical point at the Berezinskii-Kosterlitz-Thouless transition temperature where the two competing phases meet the paramagnetic phase. We show that the first-order zero-temperature (quantum) phase transition that separates the competing phases as a function of the anisotropy parameter is smoothed by thermal fluctuations into deconfined classical criticality.

关键词： Paramagnetism

来源：评论

学校读者我要写书评

暂无评论

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 cellular phenotypes of various organismsis,is both captivating and *** the inception of the first single-cell RNA technology,technologies related to single-cell sequencing have experienced rapid advancements in recent *** technologies have expanded horizontally to include single-cell genome,epigenome,proteome,and metabolome,while vertically,they have progressed to integrate multiple omics data and incorporate additional information such as spatial scRNA-seq and CRISPR ***-cell omics represent a groundbreaking advancement in the biomedical field,offering profound insights into the understanding of complex diseases,including ***,we comprehensively summarize recent advances in single-cell omics technologies,with a specific focus on the methodology *** overview aims to guide researchers in selecting appropriate methods for single-cell sequencing and related data analysis.

关键词： single-cell sequencing genome epigenome proteomics metabolomics multimodal spatial transcriptomics CRISPR screening

来源：评论

学校读者我要写书评

暂无评论

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 finite automata (DFA). The relationshipsand balances between quantum states and classical states in 1QFAC are still not clear. In this paper, we obtain the following results: (1) We optimize the bound given by Qiu et al. that characterizes the relationships between quantum basis states and classical states as well as the equivalent minimal DFA. (2) We give an upper bound showing how many classical states are needed upon reducing the quantum basis states of 1QFAC. (3) We give a lower bound on the classical state number of 1QFAC for recognizing any given regular language, and show that the lower bound is exact if the given language is finite. (4) We show that 1QFAC are exponentially more succinct than DFA and probabilistic finite automata (PFA) for some regular languages. (5) We point out essential relationships between 1QFAC, MO-1QFA and multi-letter 1QFA, and induce a result regarding quantitative relationships between multi-letter 1QFA and DFA. © 2025 Elsevier Inc.

关键词： Finite automata

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783030931759

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. It is developed from the Modeling Simulation and Verification Language called MSVL. In the main part of the paper, we will discuss data structures, syntax and algorithms of List and Dictionary in XD-M, as well as their abstract syntax trees. Finally, an example is given to illustrate how to use List and Dictionary in XD-M programming. © 2021, Springer Nature Switzerland AG.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783642342806

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, quantitative temporal constraints are employed to limit the time duration bounded on a formula or a program. First, the syntax and semantics of TPTL formulas are defined and some logic laws are given. Then, the corresponding executable programming language TMSVL is presented. Moreover, the operational semantics of TMSVL is formalized. Finally, an example of modeling and verification is given to show how TMSVL works. © 2012 Springer-Verlag.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783031160806

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 in detail. Further, three complex statements are implemented in XD-M. Finally, a program example is presented to illustrate how to use the proposed approach to build an XD-M program equivalent to the original Python program. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783031496134

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 optimal path searching in scenarios lacking prior knowledge. The proposed approach introduces a parameter dynamic adaptation strategy for path planning. Experimental investigations are conducted using grid-based maps, and the results demonstrate that the method presented in this paper surpasses Q-learning and Sarsa algorithms in terms of comprehensive exploration, enhanced stability, and quicker convergence speed. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：