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

Proceedings of the 41st International Conference on Machine Learning

作者： Chenxiao Yang Qitian Wu David Wipf Ruoyu Sun Junchi Yan School of Artificial Intelligence & Department of Computer Science and Engineering & MoE Lab of AI Shanghai Jiao Tong University Amazon Web Services School of Data Science The Chinese University of Hong Kong Shenzhen and Shenzhen International Center for Industrial and Applied Mathematics Shenzhen Research Institute of Big Data

A long-standing goal in deep learning has been to characterize the learning behavior of black-box models in a more interpretable manner. For graph neural networks (GNNs), considerable advances have been made in formalizing what functions they can represent, but whether GNNs will learn desired functions during the optimization process remains less clear. To fill this gap, we study their training dynamics in function space. In particular, we find that the gradient descent optimization of GNNs implicitly leverages the graph structure to update the learned function, as can be quantified by a phenomenon which we call kernel-graph alignment. We provide theoretical explanations for the emergence of this phenomenon in the overparameterized regime and empirically validate it on real-world GNNs. This finding offers new interpretable insights into when and why the learned GNN functions generalize, highlighting their limitations in heterophilic graphs. Practically, we propose a parameter-free algorithm that directly uses a sparse matrix (i.e. graph adjacency) to update the learned function. We demonstrate that this embarrassingly simple approach can be as effective as GNNs while being orders-of-magnitude faster.

关键词：

来源：评论

学校读者我要写书评

暂无评论

LanCOPE: Language-Guided Category-Level Object Pose Estimation from a Single RGB Image

引用

IEEE Robotics and Automation Letters 2025年第7期10卷 7555-7562页

作者： Yang, Hui Sun, Wei Liu, Jian Zheng, Jin Dai, Zhenqi Mian, Ajmal Hunan University National Engineering Research Center for Robot Visual Perception and Control Technology College of Electrical and Information Engineering State Key Laboratory of Advanced Design and Manufacturing for Vehicle Body Changsha 410082 China Central South University School of Architecture and Art Changsha 410082 China The University of Western Australia Department of Computer Science and Software Engineering 6009 WA Australia

Monocular RGB-based category-level object pose estimation is more practical and cost-effective for robotics. However, existing methods do not fully exploit the rich semantic and contextual information in multimodal data (e.g. language) that provides additional object attributes to guide the model in extracting category features more reliably. We propose a language-guided category-level object pose estimation method (LanCOPE), taking a single RGB image as input. Our method uses DINOv2 to recover depth from a single RGB image and converts it into point cloud to perceive the object's geometry. We then introduce language descriptions for the RGB image, estimated point cloud and overall scene to better guide the point cloud encoder and image encoder in learning category features. We develop a cross-modal differential perception feature fusion network to fuse multimodal features. This network employs a differential perception module to eliminate redundant information across different modalities, highlighting signifcant semantic differences and similarities. Furthermore, it uses a cross-attention mechanism to fuse the semantic information of the language and vision features, improving the overall perception. Finally, we design a denoising network based on the skip fusion transformer to recover the object pose accurately. Extensive experiments on REAL275 and Wild6D datasets show that LanCOPE achieves state-of-the-art performance. Our code is available at LanCOPE. © 2016 IEEE.

关键词： category-level object pose estimation languag RGB image

来源：评论

学校读者我要写书评

暂无评论

CLIMS++: Cross Language Image Matching with Automatic Context Discovery for Weakly Supervised Semantic Segmentation

引用

International Journal of computer Vision 2025年 1-20页

作者： Xie, Jinheng Deng, Songhe Hou, Xianxu Luo, Zhaochuan Shen, Linlin Huang, Yawen Zheng, Yefeng Shou, Mike Zheng Computer Vision Institute School of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China Department of Computer Science Wenzhou-Kean University Wenzhou325060 China Guangdong Provincial Key Laboratory of Intelligent Information Processing Shenzhen University Shenzhen China Show Lab National University of Singapore Singapore639798 Singapore School of AI and Advanced Computing Xi’an Jiaotong-Liverpool University Suzhou215400 China Jarvis Research Center Tencent YouTu Lab Shenzhen518703 China

While promising results have been achieved in weakly-supervised semantic segmentation (WSSS), limited supervision from image-level tags inevitably induces discriminative reliance and spurious relations between target classes and background regions. Thus, Class Activation Map (CAM) usually tends to activate discriminative object regions and falsely includes lots of class-related backgrounds. Without pixel-level supervisions, it could be very difficult to enlarge the foreground activation and suppress those false activation of background regions. In this paper, we propose a novel framework of Cross Language Image Matching with Automatic Context Discovery (CLIMS++), based on the recently introduced Contrastive Language-Image Pre-training (CLIP) model, for WSSS. The core idea of our framework is to introduce natural language supervision to activate more complete object regions and suppress class-related background regions in CAM. In particular, we design object, background region, and text label matching losses to guide the model to excite more reasonable object regions of each category. In addition, we propose to automatically find spurious relations between foreground categories and backgrounds, through which a background suppression loss is designed to suppress the activation of class-related backgrounds. The above designs enable the proposed CLIMS++ to generate a more complete and compact activation map for the target objects. Extensive experiments on PASCAL VOC 2012 and MS COCO 2014 datasets show that our CLIMS++ significantly outperforms the previous state-of-the-art methods. © The Author(s), under exclusive licence to Springer science+Business Media, LLC, part of Springer Nature 2025.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

Using Z3 to Verify Inferences in Fragments of Linear Logic

arXiv

引用

arXiv 2023年

作者： Docef, Alen Negulescu, Radu Prunescu, Mihai Department of Electrical and Computer Engineering Virginia Commonwealth University RichmondVA United States Research Center for Logic Optimization and Security Faculty of Mathematics and Computer Science University of Bucharest Bucharest Romania Simion Stoilow Institute of Mathematics Romanian Academy Bucharest Romania

Linear logic is a substructural logic proposed as a refinement of classical and intuitionistic logics, with applications in programming languages, game semantics, and quantum physics. We present a template for Gentzen-style linear logic sequents that supports verification of logic inference rules using automatic theorem proving. Specifically, we use the Z3 Theorem Prover [8] to check targeted inference rules based on a set of inference rules that are presumed to be valid. To demonstrate the approach, we apply it to validate several derived inference rules for two different fragments of linear logic: MLL+Mix (Multiplicative Linear Logic extended with a Mix rule) and MILL (Multiplicative Intuitionistic Linear Logic). © 2023, CC BY.

关键词： Linear algebra

来源：评论

学校读者我要写书评

暂无评论

Quantum Linear System Solvers: A Survey of Algorithms and Applications

arXiv

引用

arXiv 2024年

作者： Morales, Mauro E.S. Pira, Lirandë Schleich, Philipp Koor, Kelvin Costa, Pedro C.S. An, Dong Aspuru-Guzik, Alán Lin, Lin Rebentrost, Patrick Berry, Dominic W. Joint Center for Quantum Information and Computer Science University of Maryland United States Centre for Quantum Software and Information University of Technology Sydney Australia Centre for Quantum Technologies National University of Singapore Singapore Department of Computer Science University of Toronto Canada Vector Institute for Artificial Intelligence Toronto Canada ContinoQuantum Sydney Australia Beijing International Center for Mathematical Research Peking University Beijing China Department of Chemistry University of Toronto Canada Canadian Institute for Advanced Research Toronto Canada Acceleration Consortium Toronto Canada Department of Chemical Engineering & Applied Chemistry University of Toronto Toronto Canada Department of Materials Science & Engineering University of Toronto Toronto Canada Lebovic Fellow Canadian Institute for Advanced Research Toronto Canada Department of Mathematics University of California Berkeley United States Applied Mathematics and Computational Research Division Lawrence Berkeley National Laboratory Berkeley United States Department of Computer Science National University of Singapore Singapore School of Mathematical and Physical Sciences Macquarie University Sydney Australia

Solving linear systems of equations plays a fundamental role in numerous computational problems from different fields of science. The widespread use of numerical methods to solve these systems motivates investigating the feasibility of solving linear systems problems using quantum computers. In this work, we provide a survey of the main advances in quantum linear systems algorithms, together with some applications. We summarize and analyze the main ideas behind some of the algorithms for the quantum linear systems problem in the literature. The analysis begins by examining the Harrow-Hassidim-Lloyd (HHL) solver. We note its limitations and reliance on computationally expensive quantum methods, then highlight subsequent research efforts which aimed to address these limitations and optimize runtime efficiency and precision via various paradigms. We focus in particular on the post-HHL enhancements which have paved the way towards optimal lower bounds with respect to error tolerance and condition number. By doing so, we propose a taxonomy that categorizes these studies. Furthermore, by contextualizing these developments within the broader landscape of quantum computing, we explore the foundational work that have inspired and informed their development, as well as subsequent refinements. Finally, we discuss the potential applications of these algorithms in differential equations, quantum machine learning, and many-body physics. © 2024, CC BY.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Trust Online Over-the-air Computation for Wireless Federated Learning

引用

IEEE Transactions on Mobile Computing 2025年

作者： Sun, Mingjie Zheng, Jie Du, Hongyang Zhang, Haijun Niyato, Dusit Kang, Jiawen Wang, Jiacheng Ren, Jie Gao, Ling Wang, Zheng Northwest University State-Province Joint Engineering and Research Center of Advanced Networking and Intelligent Information Services School of Information Science and Technology Shaanxi Xian710127 China University of Hong Kong department of electrical and electronic engineering Hong Kong University of Science and Technology Beijing Institute of Artificial Intelligence Beijing100083 China Nanyang Technological University School of Computer Science and Engineering 639798 Singapore Guangdong University of Technology Automation of School Guangzhou510006 China Shaanxi Normal University School of Computer Science Xi'an710062 China University of Leeds School of Computing LS2 9JT United Kingdom

Using the wireless waveform superposition property, over-the-air computation (OAC) enables federated learning (FL) to achieve fast model aggregation. However, this computing paradigm is vulnerable to poisoning attacks due to the openness of a wireless channel over time, where malicious mobile devices can introduce cumulative errors for the global FL model in a time-varying wireless environment for each communication round. This article presents a trust online OAC (TO-OAC) scheme to minimize impacts on the global model introduced by malicious devices adjusting to dynamic attack and wireless channel fluctuations over time. TO-OAC achieves this by utilizing trustworthy security quantification of OAC for each FL training round. To optimize the cumulative training loss at the aggregation node with the long-term power and trust constraints of mobile devices, we propose a joint trust, power, and channel-aware algorithm to flexibly update local and global models in response to the dynamic changes in the wireless and secure environment. We analyze the performance limits for the aggregation of trust models, considering metrics for computation and communication through time. We then propose another trust online regularization over-the-air computation (TOR-OAC) as an improved version of the TO-OAC scheme to decrease convergence time while ensuring long-term trust and power limitation. Experimental results performed on real-life datasets show that the two proposed schemes (TO-OAC and TOR-OAC) outperform prior works, especially in noisy, time-varying wireless channels and malicious attacks. 2002-2012 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Minimal Ternary Linear Codes from Vectorial Functions

arXiv

引用

arXiv 2024年

作者： Li, Yanjun Kan, Haibin Liu, Fangfang Peng, Jie Zheng, Lijing Zhuo, Zepeng Institute of Statistics and Applied Mathematics Anhui University of Finance and Economics Anhui Bengbu233030 China School of Computer Sciences Fudan University Shanghai200433 China Shanghai Key Laboratory of Intelligent Information Processing School of Computer Science Fudan University Shanghai Engineering Research Center of Blockchain Shanghai Institute for Advanced Communication and Data Science Shanghai200433 China School of Mathematics and Statistics Huaibei Normal University Anhui Huaibei235000 China Mathematics and Science College Shanghai Normal University Guilin Road #100 Shanghai200234 China The School of Mathematics and Physics University of South China Hunan Hengyang421001 China

The study on minimal linear codes has received great attention due to their significant applications in secret sharing schemes and secure two-party computation. Until now, numerous minimal linear codes have been discovered. However, to the best of our knowledge, no infinite family of minimal ternary linear codes was found from vectorial functions. In this paper, we present a necessary and sufficient condition for a large class of ternary linear codes from vectorial functions such that those codes are minimal. Based on that, we construct several minimal ternary linear codes with three-weight from vectorial regular plateaued functions, and determine their weight distributions. Moreover, we also give a necessary and sufficient condition for a large family of ternary linear codes from vectorial functions such that the codes are minimal and violate the AB condition simultaneously. According to this characterization, we find several minimal ternary linear codes violating the AB condition. Notably, our results show that our method can be applied to solve a problem on minimal linear codes proposed by Li et al. Copyright © 2024, The Authors. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fast and Scalable Gate-Level Simulation in Massively Parallel Systems

Fast and Scalable Gate-Level Simulation in Massively Paralle...

引用

IEEE International Conference on computer-Aided Design

作者： Haichuan Hu Zichen Xu Yuhao Wang Fangming Liu Services Computing Technology and System Lab Cluster and Grid Computing Lab National Engineering Research Center for Big Data Technology and System School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China School of Mathematics and Computer Science Nanchang University Nanchang China Pengcheng Laboratory Shenzhen China

The natural bijection between a proposed circuit design and its graph representation shall allow any graph optimization algorithm deploying into many-core systems efficiently. However, this process suffers from the exponentially growing overhead and heavy memory footprint with the signal propagation. To conquer the unique challenge, we systematically study the simulation with millions of gates, and identify that the processing complexity could grow exponentially from the signal inputs, the skewness of the computational graph stays. Thus, we present ZhouBi, a fast and scalable gate-level simulation framework to fully exploit the parallelism from many-core systems. ZhouBi contributes in threefolds, (I) a graph representation that colors gate-level netlists and identifies skew partitions based on the graph skewness; (II) A set of heuristic algorithms that picks opportunistic and conservative algorithms to accelerate the simulation; (III) A system facility that supports selective mapping between simulation and many-core, providing a tradeoff between the risk of concurrent simulation fail and performance gain. We have prototyped ZhouBi and evaluated it with practical baselines. ZhouBi can achieve a 27.6× performance gain, as compared to the state-of-the-practice Veriwell without compromising any correctness. Our framework supports large graphs enabling scale-out gate-level simulations for chip design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Development of a deep learning system for preventive detection of heart failure due to pulmonary disease

Development of a deep learning system for preventive detecti...

引用

International Conference on Software Process Improvement (CIMPS)

作者： Axel Frederick Félix Jiménez Isaul Ibarra Belmonte Vania Stephany Sánchez Lee Uziel Jaramillo Avila Ezra Federico Parra González Computer Systems Engineering National Polytechnic Institute Zacatecas México Software Engineer Center for Research in Mathematics Zacatecas Zacatecas México Computer Science Department Center for Research in Mathematics Zacatecas Zacatecas México

ISBN: (纸本)9798350398977

In the context of addressing the problem of people who do not undergo a diagnosis of heart failure due to pulmonary conditions on time, a solution to this problem would allow early preventive detection to avoid the development of severe disease efficiently. Our approach employs the use of medical data retrieved from the user to determine and predict whether there is a likelihood of a potential condition. To solve this problem, according to a users medical measurement history, a deep learning model can be implemented to determine a preventive diagnosis or otherwise to follow up on an already detected condition. By posing the problem as a classification task, it can be taken advantage of a deep learning model focused on heart failure or pulmonary conditions to make a preliminary diagnosis and determine if there are signs of any symptomatology.

关键词： Cardiovascular diseases Diseases Deep learning Medical diagnostic imaging Lung Prediction algorithms Medical services

来源：评论

学校读者我要写书评

暂无评论

Modulating p-type doping of two-dimensional material palladium diselenide

引用

Nano research 2024年第4期17卷 3232-3244页

作者： Jiali Yang Yu Liu En-Yang Wang Jinbo Pang Shirong Huang Thomas Gemming Jinshun Bi Alicja Bachmatiuk Hao Jia Shu-Xian Hu Chongyun Jiang Hong Liu Gianaurelio Cuniberti Weijia Zhou Mark H Rümmeli Institute for Advanced Interdisciplinary Research(iAIR) University of JinanJinan 250022China Institute for Materials Chemistry Leibniz Institute for Solid State and Materials Research Dresden(IFW Dresden)20 Helmholtz StrasseDresden 01069Germany State Key Lab of Transducer Technology Shanghai Institute of Microsystem and Information TechnologyChinese Academy of SciencesShanghai 200050China College of Energy Soochow Institute for Energy and Materials Innovations Soochow UniversitySuzhou 215006China Key Laboratory of Advanced Carbon Materials and Wearable Energy Technologies of Jiangsu Province Soochow UniversitySuzhou 215006China School of Integrated Circuits University of Chinese Academy of SciencesBeijing 101408China Institute of Microelectronics of Tianjin Binhai New Area Tianjin 300451China Institute of Microelectronics Chinese Academy of SciencesBeijing 100029China Lukasiewicz Research Network PORT Polish Center for Technology DevelopmentStablowicka 147Wroclaw 54-066Poland School of Mathematics and Physics University of Science and Technology BeijingBeijing 100083China College of electronic information and optical engineering Nankai UniversityTianjin 300350China Centre of Polymer and Carbon Materials Polish Academy of SciencesM.Curie Sklodowskiej 34Zabrze 41-819Poland Center for Energy and Environmental Technologies VŠB-Technical University of Ostrava17.Listopadu 15Ostrava 70833Czech Republic State Key Laboratory of Crystal Materials Center of Bio&Micro/Nano Functional MaterialsShandong UniversityJinan 250100China Dresden Center for Computational Materials Science Technische Universität DresdenDresden 01062Germany Dresden Center for Intelligent Materials(GCL DCIM) Technische Universität DresdenDresden 01062Germany Institute for Materials Science and Max Bergmann Center of Biomaterials Technische Universität DresdenDresden 01069Germany Center for Advancing Electronics Dresden Technische Universität DresdenDresden 01069Germany

The van der Waals heterostructures have evolved as novel materials for complementing the Si-based semiconductor ***-10 noble metal dichalcogenides(e.g.,PtS_(2),PtSe_(2),PdS_(2),and PdSe_(2))have been listed into two-dimensional(2D)materials toolkit to assemble van der Waals *** them,PdSe_(2) demonstrates advantages of high stability in air,high mobility,and wide tunable ***,the regulation of p-type doping of PdSe_(2) remains unsolved problem prior to fabricating p–n junction as a fundamental platform of semiconductor ***,a quantitative method for the controllable doping of PdSe_(2) is yet to be *** this study,the doping level of PdSe_(2) was correlated with the concentration of Lewis acids,for example,SnCl_(4),used for *** the transfer characteristics,the threshold voltage(the gate voltage corresponding to the minimum drain current)increased after SnCl_(4) soaking ***_(2) transistors were soaked in SnCl_(4) solutions with five different *** threshold voltages from the as-obtained transfer curves were extracted for linear fitting to the threshold voltage versus doping concentration correlation *** study provides in-depth insights into the controllable p-type doping of PdSe_(2).It may also push forward the research of the regulation of conductivity behaviors of 2D materials.

关键词： two-dimensional(2D)materials Lewis acid treatment p-type doping field-effect transistors transfer characteristic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：