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

arXiv 2023年

作者： Kukulski, Ryszard Stępniak, Mateusz Hendzel, Kamil Pawela, Lukasz Gardas, Bartlomiej Puchala, Zbigniew Faculty of Physics Astronomy and Applied Computer Science Jagiellonian University ul. Lojasiewicza 11 Kraków30-348 Poland Quantumz.io Sp. z o.o. Pulawska 12/3 Warsaw02-566 Poland Institute of Theoretical and Applied Informatics Polish Academy of Sciences Baltycka 5 Gliwice44-100 Poland

In this work, we analyze the local certification of unitary quantum channels, which is a natural extension of quantum hypothesis testing. A particular case of a quantum channel operating on two systems corresponding to product states at the input, is considered. The goal is to minimize the probability of the type II error, given a specified maximum probability of the type I error, considering assistance through entanglement with auxiliary systems. Our result indicates connection of the local certification problem with a product numerical range of unitary matrices. We show that the optimal local strategy does not need usage of auxiliary systems and requires only single round of one-way classical communication. Moreover, we compare local and global certification strategies and show that typically local strategies are optimal, yet in some extremal cases, where global strategies make no errors, local ones may fail miserably. Finally, some application for local certification of von Neumann measurements are discussed as well. © 2023, CC BY.

关键词： Quantum channel

来源：评论

学校读者我要写书评

暂无评论

Hybrid genetic-discretized algorithm to handle data uncertainty in diagnosing stenosis of coronary arteries

Hybrid genetic-discretized algorithm to handle data uncertai...

引用

作者： Alizadehsani, Roohallah Roshanzamir, Mohamad Abdar, Moloud Beykikhoshk, Adham Khosravi, Abbas Nahavandi, Saeid Plawiak, Pawel Tan, Ru San Acharya, U Rajendra Deakin University GeelongVIC Australia Department of Engineering Fasa Branch Islamic Azad University Fars Fasa Iran Centre for Pattern Recognition and Data Analytics Deakin University GeelongVIC Australia Department of Information and Communications Technology Faculty of Computer Science and Telecommunications Cracow University of Technology Warszawska 24 st. F-3 31-155 Krakow Poland Institute of Theoretical and Applied Informatics Polish Academy of Sciences Baltycka 5 Gliwice44-100 Poland National Heart Centre Singapore Singapore Department of Electronics and Computer Engineering Ngee Ann Polytechnic Singapore Department of Biomedical Engineering School of Science and Technology Singapore University of Social Sciences Singapore Department of Bioinformatics and Medical Engineering Asia University Taiwan

Coronary artery disease (CAD) is the leading cause of morbidity and death worldwide. Invasive coronary angiography is the most accurate technique for diagnosing CAD, but is invasive and costly. Hence, analytical methods such as machine learning and data mining techniques are becoming increasingly more popular. Although physicians need to know which arteries are stenotic, most of the researchers focus only on CAD detection and few studies have investigated stenosis of the right coronary artery (RCA), left circumflex (LCX) artery and left anterior descending (LAD) artery separately. Meanwhile, most of the datasets in this field are noisy (data uncertainty). However, to the best of our knowledge, there is no study conducted to address this important problem. This study uses the extension of the Z-Alizadeh Sani dataset, containing 303 records with 54 features. A new feature selection algorithm is proposed in this work. Meanwhile, by discretization of data, we also handle the uncertainty in CAD prediction. To the best of our knowledge, this is the first study attempted to handle uncertainty in CAD prediction. Finally, the genetic algorithm (GA) is used to determine the hyper-parameters of the support vector machine (SVM) kernels. We have achieved high accuracy for the stenosis diagnosis of each main coronary artery. The results of this study can aid the clinicians to validate their manual stenosis diagnosis of RCA, LCX and LAD coronary arteries. © 2020 John Wiley & Sons, Ltd.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Zero-pole cancellation for identity-based aggregators:a constant-size designated verifier-set signature

引用

Frontiers of computer science 2020年第4期14卷 197-210页

作者： E CHEN Yan ZHU Changlu LIN Kewei LV School of Computer and Communication Engineering University of Science and Technology BeijingBeijing100083China College of Mathematics and Informatics Fujian Normal UniversityFuzhou350117China Fujian Provincial Key Lab of Network Security&Cryptology Fujian Normal UniversityFuzhou350007China Institute of Information Engineering DCS Research CenterChinese Academy of SciencesBeijing100093China

In this paper we present a designated verifier-set signature(DVSS),in which the signer allows to designate many verifiers rather than one verifier,and each designated verifier can verify the validity of signature by *** research starts from identity-based aggregator(IBA)that compresses a designated set of verifier’s identities to a constant-size random string in cryptographic *** IBA is constructed by mapping the hash of verifier’s identity into zero or pole of a target curve,and extracting one curve’s point as the result of aggregation according to a specific *** the different types of target curves,these two IBAs are called as zeros-based aggregator and poles-based aggregator,*** on them,we propose a practical DVSS scheme constructed from the zero-pole cancellation method which can eliminate the same elements between zeros-based aggregator and poles-based *** to this design,our DVSS scheme has some distinct advantages:(1)the signature supporting arbitrary dynamic verifiers extracted from a large number of users;and(2)the signature with short and constant *** rigorously prove that our DVSS scheme satisfies the security properties:correctness,consistency,unforgeability and *** is a preview of subscription content,log in to check access.

关键词： designated verifier-set signature aggregator unforgeability exclusivity

来源：评论

学校读者我要写书评

暂无评论

HSurf-Net: Normal Estimation for 3D Point Clouds by Learning Hyper Surfaces

arXiv

引用

arXiv 2022年

作者： Li, Qing Liu, Yu-Shen Cheng, Jin-San Wang, Cheng Fang, Yi Han, Zhizhong School of Software BNRist Tsinghua University Beijing China Academy of Mathematics and System Sciences Chinese Academy of Sciences Beijing China School of Informatics Xiamen University Xiamen China Center for Artificial Intelligence and Robotics New York University Abu Dhabi Abu Dhabi United Arab Emirates Department of Computer Science Wayne State University Detroit United States

We propose a novel normal estimation method called HSurf-Net, which can accurately predict normals from point clouds with noise and density variations. Previous methods focus on learning point weights to fit neighborhoods into a geometric surface approximated by a polynomial function with a predefined order, based on which normals are estimated. However, fitting surfaces explicitly from raw point clouds suffers from overfitting or underfitting issues caused by inappropriate polynomial orders and outliers, which significantly limits the performance of existing methods. To address these issues, we introduce hyper surface fitting to implicitly learn hyper surfaces, which are represented by multi-layer perceptron (MLP) layers that take point features as input and output surface patterns in a high dimensional feature space. We introduce a novel space transformation module, which consists of a sequence of local aggregation layers and global shift layers, to learn an optimal feature space, and a relative position encoding module to effectively convert point clouds into the learned feature space. Our model learns hyper surfaces from the noise-less features and directly predicts normal vectors. We jointly optimize the MLP weights and module parameters in a data-driven manner to make the model adaptively find the most suitable surface pattern for various points. Experimental results show that our HSurf-Net achieves the state-of-the-art performance on the synthetic shape dataset, the real-world indoor and outdoor scene datasets. The code, data and pretrained models are publicly available at https://***/LeoQLi/HSurf-Net. © 2022, CC BY-NC-SA.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

PRIA Journal Special Issue "Selected Papers of the 14th International Conference on Pattern Recognition and Information Processing (PRIP’2019), Minsk, Republic of Belarus, May 2019", Part III

PRIA Journal Special Issue "Selected Papers of the 14th Inte...

引用

作者： Ablameyko, S.V. Gurevich, I.B. Krasnoproshin, V.V. Lukashevich, M. Yashina, V.V. Belarusian State University Minsk220030 Belarus Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences Moscow119333 Russia Belarusian State University of Informatics and Radioelectronics Minsk220013 Belarus

来源：评论

学校读者我要写书评

暂无评论

PRIA Journal Special Issue "Selected Papers of the 14th International Conference on Pattern Recognition and Information Processing (PRIP’2019), Minsk, Republic of Belarus, May 2019", Part II

PRIA Journal Special Issue "Selected Papers of the 14th Inte...

引用

作者： Ablameyko, S.V. Gurevich, I.B. Krasnoproshin, V.V. Lukashevich, M. Yashina, V.V. Belarusian State University Minsk220030 Belarus Federal Research Center "Computer Science and Control " Russian Academy of Sciences Moscow119333 Russia Belarusian State University of Informatics and Radioelectronics Minsk220013 Belarus

来源：评论

学校读者我要写书评

暂无评论

Exceeding Two Octave-Spanning Supercontinuum Generation in Integrated as2 S3 Waveguides Pumped by a 2 Μm Fiber Laser

SSRN

引用

SSRN 2024年

作者： Zhao, Peipei Yang, Lei Xia, Kai Yang, Peilong Wang, Rongping Xu, Peipeng Faculty of Electrical Engineering and Computer Science Ningbo University Ningbo315211 China Laboratory of Infrared Materials and Devices Advanced Technology Research Institute Ningbo University Zhejiang Ningbo315211 China Key Laboratory of Photoelectric Detection Materials and Devices of Zhejiang Province Ningbo315211 China State Key Laboratory of Functional Materials for Informatics Shanghai Institute of Microsystem and Information Technology Chinese Academy of Sciences Shanghai200050 China Wuhan National Laboratory for Optoelectronics School of Physics Huazhong University of Science and Technology Wuhan China

In this work, we demonstrate over two octaves-spanning supercontinuum generation in integrated As2S3 chalcogenide glass waveguides pumped by a 2 μm femtosecond fiber laser. The pump laser provides 182 fs pulses at 50 MHz repetition rate. Through optimization of the waveguide dimensions, a broad supercontinuum spectrum spanning from 0.6 to 2.8 μm was achieved using a 4 μm wide, 5 mm long waveguide with 357 mW coupled pump power. The findings showcase the potential of dispersion engineered, integrated As2S3 photonics for realizing compact, efficient on-chip supercontinuum sources for mid-infrared applications. © 2024, The Authors. All rights reserved.

关键词： Pulse repetition rate

来源：评论

学校读者我要写书评

暂无评论

Magnesium Substituted Copper Ferrite as an Effective Catalyst for the Organic Dyes Decomposition

Magnesium Substituted Copper Ferrite as an Effective Catalys...

引用

International Conference on Nanomaterials: Application & Properties (NAP)

作者： Julia Mazurenko Larysa Kaykan Mariia Moklyak Khrystyna Bandura Lukasz Gondek Antoni Żywczak Department of Medical Informatics Medical and Biological Physics Ivano Frankivsk National Medical University Ivano Frankivsk Ukraine Laboratory for Physics of Magnetic Films №23 G. V. Kurdyumov Institute for Metal Physics of the National Academy of Sciences of Ukraine Kyiv Ukraine Department of Materials Science and New Technologies Vasyl Stefanyk Precarpathian National University Ivano Frankivsk Ukraine Faculty of Physics and Applied Computer Science AGH University of Krakow Cracow Poland Academic Centre for Materials and Nanotechnology AGH University of Krakow Cracow Poland

ISBN: (数字)9798350380125

ISBN: (纸本)9798350380132

In this study, a series of magnesium-substituted spinels with general compositions of $\mathbf{M g}_{x} \mathrm{Cu}_{1-\mathrm{x}} \mathrm{Fe}_{2} \mathrm{O}_{4}$, where x varies from 0.0 to 1.0 a step of 0.2, was synthesize via the solgel autocombustion method. Citric acid is used as the chelating agent. The phase composition, particle size, and morphology of the materials were characterized using X-ray diffraction (XRD), scanning electron microscopy (SEM), and X-ray dispersion analysis. The effects of magnesium substitution on the magnetic properties of the samples were evaluated using a vibrating sample magnetometer (VSM). Additionally, degradation tests were conducted using spectrophotometer, with methylene blue (MB) selected as the model pollutant. The study demonstrates alterations in the structure and magnetic properties of the synthesized material. The spinel produced via self-combustion was found to be a mesoporous material with strong magnetic properties and significant sensitivity to visible light. Degradation tests using methylene blue as a pollutant showed effective dye removal, achieving 95% efficiency within 160 minutes. The copper spinel modified with magnesium ions proved to be an environmentally safe, stable, and effective photo-Fenton catalyst that is simple to synthesize and suitable for practical applications.

关键词： Ferrites Degradation X-ray scattering X-ray diffraction Ions Magnesium Copper Photocatalysts Saturation magnetization Magnetic properties

来源：评论

学校读者我要写书评

暂无评论

Introduction to MATLAB

Advanced Textbooks in Control and Signal Processing

引用

Advanced Textbooks in Control and Signal Processing 2019年 1-27页

作者： Keviczky, László Bars, Ruth Hetthéssy, Jenő Bányász, Csilla Institute for Computer Science and Control Hungarian Academy of Sciences Budapest Hungary Department of Automation and Applied Informatics Budapest University of Technology and Economics Budapest Hungary

MATLAB™ is an interactive environment for scientific and engineering calculations, simulations, and data visualization. MATLAB™ provides a powerful platform to solve mathematical and engineering problems related to matrix algebra, differential equations, etc. MATLAB is especially effective in solving control problems. SIMULINK provides block-oriented simulation. The chapter gives a short introduction to MATLAB and SIMULINK. © Springer Nature Singapore Pte Ltd. 2019.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient Formal Verification of Quantum Error Correcting Programs

arXiv

引用

arXiv 2025年

作者： Huang, Qifan Zhou, Li Fang, Wang Zhao, Mengyu Ying, Mingsheng State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China School of Informatics University of Edinburgh Edinburgh United Kingdom University of Technology Sydney Sydney Australia

Quantum error correction (QEC) is fundamental for suppressing noise in quantum hardware and enabling fault-tolerant quantum computation. In this paper, we propose an efficient verification framework for QEC programs. We define an assertion logic and a program logic specifically crafted for QEC programs and establish a sound proof system. We then develop an efficient method for handling verification conditions (VCs) of QEC programs: for Pauli errors, the VCs are reduced to classical assertions that can be solved by SMT solvers, and for non-Pauli errors, we provide a heuristic algorithm. We formalize the proposed program logic in Coq proof assistant, making it a verified QEC verifier. Additionally, we implement an automated QEC verifier, Veri-QEC, for verifying various fault-tolerant scenarios. We demonstrate the efficiency and broad functionality of the framework by performing different verification tasks across various scenarios. Finally, we present a benchmark of 14 verified stabilizer codes. © 2025, CC BY.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：