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

29th International Conference on Computational Linguistics, COLING 2022

作者： Li, Yiyang Wu, Hongqiu Zhao, Hai Department of Computer Science and Engineering Shanghai Jiao Tong University China Key Laboratory of Shanghai Education Commission for Intelligent Interaction and Cognitive Engineering Shanghai Jiao Tong University China

Based on the tremendous success of pre-trained language models (PrLMs) for source code comprehension tasks, current literature studies either ways to further improve the performance (generalization) of PrLMs, or their robustness against adversarial attacks. However, they have to compromise on the trade-off between the two aspects and none of them consider improving both sides in an effective and practical way. To fill this gap, we propose Semantic-Preserving Adversarial Code Embeddings (SPACE) to find the worst-case semantic-preserving attacks while forcing the model to predict the correct labels under these worst cases. Experiments and analysis demonstrate that SPACE can stay robust against state-of-the-art attacks while boosting the performance of PrLMs for code © 2022 Proceedings - International Conference on Computational Linguistics, COLING. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Auto-Linear Phenomenon in Subsurface Imaging 41

Auto-Linear Phenomenon in Subsurface Imaging

引用

41st International Conference on Machine Learning, ICML 2024

作者： Feng, Yinan Chen, Yinpeng Jin, Peng Feng, Shihang Lin, Youzuo Department of Computer Science The University of North Carolina Chapel Hill United States Google Research United States College of Information Sciences and Technology The Pennsylvania State University United States Earth and Environmental Sciences Division Los Alamos National Laboratory United States School of Data Science and Society The University of North Carolina Chapel Hill United States

Subsurface imaging involves solving full waveform inversion (FWI) to predict geophysical properties from measurements. This problem can be reframed as an image-to-image translation, with the usual approach being to train an encoder-decoder network using paired data from two domains: geophysical property and measurement. A recent seminal work (InvLINT) demonstrates there is only a linear mapping between the latent spaces of the two domains, and the decoder requires paired data for training. This paper extends this direction by demonstrating that only linear mapping necessitates paired data, while both the encoder and decoder can be learned from their respective domains through self-supervised learning. This unveils an intriguing phenomenon (named Auto-Linear) where the self-learned features of two separate domains are automatically linearly correlated. Compared with existing methods, our Auto-Linear has four advantages: (a) solving both forward and inverse modeling simultaneously, (b) applicable to different subsurface imaging tasks and achieving markedly better results than previous methods, (c)enhanced performance, especially in scenarios with limited paired data and in the presence of noisy data, and (d) strong generalization ability of the trained encoder and decoder. Copyright 2024 by the author(s)

关键词： Subsalt imaging

来源：评论

学校读者我要写书评

暂无评论

Modif-SegUnet: Innovatively Advancing Liver Cancer Diagnosis and Treatment through Efficient and Meaningful Segmentation of 3D Medical Images

Modif-SegUnet: Innovatively Advancing Liver Cancer Diagnosis...

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Chenhang Wang Yujian Jin Jiayi Liang YuHan Yang Shanling Nie Yang Hai Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Faculty of Engineering The University of Sydney Sydney Australia

Hepatocellular Carcinoma (HCC) holds a record of high incidence and severe global harm. In tasks of liver cancer segmentation based on 3D medical images, the majority of methods have endeavored to enhance the 3D U-net by integrating the latest modules from the field of computer Vision (such as the transformer), often overlooking the distinct characteristics of liver components. We introduced a novel deep learning architecture, Modif-SegUnet, to circumvent this limitation. This architecture extends the U-net model by incorporating a 3D-modifiable attention module, thereby fostering a heightened focus on distinguishing between normal liver sections and lesions. Furthermore, Modif-SegUnet ingeniously amalgamates the 3D-modifiable attention module with the Modif-transformer block, enabling efficient capture of relevant and valuable full-text information in CT images that contain liver or tumor regions. We subjected the proposed Modif-SegUnet to evaluation on the Liver Tumor Segmentation benchmark dataset. Experimental outcomes indicate that our methodology surpasses state-of-the-art approaches in liver tumor segmentation, suggesting potential pathways for advancing the diagnosis and treatment of liver cancer.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficient Operation of Train Platoons in Urban Rail Transit Systems: An MIP Approach 43

Energy-Efficient Operation of Train Platoons in Urban Rail T...

引用

43rd Chinese Control Conference, CCC 2024

作者： Li, Haodong Yin, Jiateng Tang, Tao D'Ariano, Andrea You, Mengxing Beijing Jiaotong University State Key Laboratory of Advanced Rail Autonomous Operation Beijing100044 China Beijing Jiaotong University School of Systems Science Beijing100044 China RomaTre Universily Computer Science and Aeronautical Technologies Engineering Department of Civi Rome0018511 Italy Nanchang Rail Transit Group CO. Ltd Jiangxi330038 China

ISBN: (纸本)9789887581581

Train platooning, which allows multiple train units to be virtually coupled into a platoon with very short following distances, has become an emerging technology in railway industry. Our study investigates the energy-efficient operation of train platoons to reduce the energy consumption of trains while satisfying time-varying passenger demands in practice. We develop a mixed integer programming (MIP) model to optimize the timetable, running speed and coupling strategies of trains. Considering that the small-size train platoons consume much less energy but can serve fewer passengers, our model involves bi-objectives, i.e., to minimize the passenger waiting time and to minimize the overall energy consumption of trains. We also construct a series of model constraints to limit the movement of trains as well as the time-dependent flows of passengers, since a part of passengers during the peak period may have to wait for a longer time due to the capacity limitation of different sizes of trains. Finally, we conduct real-world case studies on the Beijing subway Yizhuang line to verify the effectiveness of our approach. The results indicate that the energy-efficient operation of train platoons can achieve a better trade-off between service quality and system energy consumption. © 2024 Technical Committee on Control Theory, Chinese Association of Automation.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits

arXiv

引用

arXiv 2023年

作者： Fang, Wang 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 Department of Computer Science and Technology Tsinghua University Beijing China

This paper proposes an efficient stabilizer circuit simulation algorithm that only traverses the circuit forward once. We introduce phase symbolization into stabilizer generators, which allows possible Pauli faults in the circuit to be accumulated explicitly as symbolic expressions in the phases of stabilizer generators. This way, the measurement outcomes are also symbolic expressions, and we can sample them by substituting the symbolic variables with concrete values, without traversing the circuit repeatedly. We show how to integrate symbolic phases into the stabilizer tableau and maintain them efficiently using bit-vector encoding. A new data layout of the stabilizer tableau in memory is proposed, which improves the performance of our algorithm (and other stabilizer simulation algorithms based on the stabilizer tableau). We implement our algorithm and data layout in a Julia package named ***, and compare it with Stim, the state-of-the-art simulator, on several benchmarks. We show that *** has superior performance in terms of sampling time, which is crucial for generating a large number of samples for further analysis. © 2023, CC BY.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

Predicting Student Success in Mathematics Using Machine Learning Techniques: A Comparative Study of Algorithms

Predicting Student Success in Mathematics Using Machine Lear...

引用

Innovative and Intelligent Information Technologies (IC3IT), International Conference on

作者： Zouaoui Samia Zouaoui Nour El Houda Mestour Hareth Computer Science Department University of Batna 2 Batna Algeria LINFI Laboratory of Biskra University Mathematics Department Laboratory of Applied Mathematics University of Biskra Algeria Mathematics Department University of Batna 2 Batna Algeria

ISBN: (数字)9798331541064

ISBN: (纸本)9798331541071

Achieving low results in mathematics is a real and urgent concern, as mathematics is the foundation of science and technology, and any weakness in it reflects negatively on the progress of society in various ways. This study evaluates how different mathematics study methods affect students educational success and achievement. We employed three different machine learning models to analyze data related to mathematics study techniques and student outcomes. These methods included: support vector machine (SVM), A K-nearest neighbors (KNN), and Linear Regression (LR). The results showed that KNN provided the best accuracy rate with 97.6% and an F1-score of 96.7%. These results highlight the significant contribution of forming study groups and trying to cooperate with each other, this factor is considered important and influential in the success of students in mathematics.

关键词： Support vector machines Logistic regression Machine learning algorithms Education Machine learning Nearest neighbor methods Predictive models Prediction algorithms Mathematical models Object recognition

来源：评论

学校读者我要写书评

暂无评论

Forecasting-Aided Graphical Learning for Robust State Estimation of Distribution System 1

引用

8th Purple Mountain Forum on Smart Grid Protection and Control, PMF 2023

作者： Di, Cao Zhao, Junbo Hu, Jiaxiang Huang, Yuehui Huang, Qi Chen, Zhe Hu, Weihao University of Electronic Science and Technology of China Chengdu China Department of Electrical and Computer Engineering University of Connecticut StorrsCT06269 United States State Key Laboratory of Operation and Control of Renewable Energy and Storage Systems China Electric Power Research Institute Beijing China Department of Energy Technology Aalborg University Pontoppidanstraede 111 Aalborg Denmark

ISBN: (数字)9789819992515

ISBN: (纸本)9789819992508

The forecasting of of pseudo-measurements play an important role in distribution system state estimation (DSSE). This paper proposes robust DSSE method based on forecasting-aided graphical learning method. The nodal power consumption models are first built to produce pseudo-measurements based on deep neural network. Then, the pseudo-measurements and real-time measurements are represented as a graph according to the topology of the distribution network, which are further processed by a graph attention network to capture the mapping relationship between the graphical measurements and the state variables based on the error modeling of pseudo-measurements. The robustness against anomalous measurements is achieved through the embedding of structural information of DN. The modeling of pseudo-measurements further enhance its robustness by guiding the formulation of edge weights of the graph neural network. Comparative tests are carried out on a IEEE 119-node system to demonstrate the effectiveness and robustness of the proposed method. © 2024, State Grid Electric Power.

关键词： Electric power distribution

来源：评论

学校读者我要写书评

暂无评论

UnoAPI: Balancing Performance, Portability, and Productivity (P3) in HPC Education

UnoAPI: Balancing Performance, Portability, and Productivity...

引用

Workshop on Education for High Performance Computing (EduHPC)

作者： Konstantin Läufer George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago

ISBN: (纸本)9781665473675

oneAPI is a major initiative by Intel aimed at making it easier to program heterogeneous architectures used in high-performance computing using a unified application programming interface (API). While raising the abstraction level via a unified API represents a promising step for the current generation of students and practitioners to embrace high-performance computing, we argue that a curriculum of well-developed software engineering methods and well-crafted exem-plars will be necessary to ensure interest by this audience and those who teach them. We aim to bridge the gap by developing a curriculum-codenamed UnoAPI-that takes a more holistic approach by looking beyond language and framework to include the broader development ecosystem, similar to the experience found in popular HPC languages such as Python. We hope to make parallel programming a more attractive option by making it look more like general application development in modern languages being used by most students and educators today. Our curriculum emanates from the perspective of well-crafted exemplars from the foundations of computer systems-given that most HPC architectures of interest begin from the systems tradition-with an integrated treatment of essential principles of distributed systems, programming languages, and software engineering. We argue that a curriculum should cover the essence of these topics to attract students to HPC and enable them to confidently solve computational problems using oneAPI. By the time of this submission, we have shared our materials with a small group of undergraduate sophomores, and their responses have been encouraging in terms of self-reported comprehension and ability to reproduce the compilation and execution of exemplars on their personal systems. We plan a follow-up study with a larger cohort by incorporating some of our materials in our existing course on High-Performance Computing.

关键词： Productivity Parallel programming High performance computing Education Ecosystems computer architecture Software

来源：评论

学校读者我要写书评

暂无评论

GHVC-Net: Hypervolume Contribution Approximation Based on Graph Neural Network

GHVC-Net: Hypervolume Contribution Approximation Based on Gr...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Guotong Wu Yang Nan Ke Shang Hisao Ishibuchi Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen China

ISBN: (数字)9781665410205

ISBN: (纸本)9781665410212

This paper proposes a framework called GHVC-Net that uses the graph neural network (GNN) model to approximate each solution's hypervolume contribution (HVC). GHVC-Net is permutation invariant and can handle solution sets of arbitrary size, similar to the properties of GNN. Compared to HVC-Net (i.e., a machine learning model for HVC approximation), GHVC-Net achieves better accuracy with less training time. GHVC-Net is also compared with traditional approximation methods, such as line-based and point-based methods, to demonstrate its ability to identify the solution with the smallest (largest) HVC.

关键词： Training Accuracy Machine learning Approximation algorithms Graph neural networks Approximation methods Cybernetics Testing

来源：评论

学校读者我要写书评

暂无评论

An Ensemble Learning Approach for COVID-19 Fact Verification 3

An Ensemble Learning Approach for COVID-19 Fact Verification

引用

3rd International Conference on Big Data, Artificial Intelligence and Internet of Things Engineering, ICBAIE 2022

作者： Liu, Yangming Zhou, Yunlai National University of Singapore Department of Computer Science Singapore Xi'an Jiaotong University State Key Laboratory for Strength and Vibration of Mechanical Structures School of Aerospace Engineering Xi'an710049 China

ISBN: (数字)9781665451604

ISBN: (纸本)9781665451604

The rapid development of social media platforms has resulted in a fast-paced spread of misinformation, which is especially common in the COVID-19 pandemic. In the global pandemic, the amount of COVID-19 related fake news generated online becomes enormous, which negatively results in public tension. Moreover, rumours are spread across platforms from different countries in such a global pandemic. Thus, automated fact-checking, which refers to automatically verifying the correctness of a claim, is of great importance. In this paper, we propose and examine ensemble learning approaches that exploit the power of multiple large-scale pre-trained language models. We conduct extensive experiments on traditional approaches, learning-based approaches, and our proposed ensemble methods. We successfully advance state-of-the-art performance by a significant margin. Further, we show that our ensemble method is especially suited to tasks with scarce training data, making it more suitable for many real-world applications. © 2022 IEEE.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：