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

arXiv 2023年

作者： Zeng, Jinzhe Zhang, Duo Lu, Denghui Mo, Pinghui Li, Zeyu Chen, Yixiao Rynik, Marián Huang, Li'ang Li, Ziyao Shi, Shaochen Wang, Yingze Ye, Haotian Tuo, Ping Yang, Jiabin Ding, Ye Li, Yifan Tisi, Davide Zeng, Qiyu Bao, Han Xia, Yu Huang, Jiameng Muraoka, Koki Wang, Yibo Chang, Junhan Yuan, Fengbo Bore, Sigbjørn Løland Cai, Chun Lin, Yinnian Wang, Bo Xu, Jiayan Zhu, Jia-Xin Luo, Chenxing Zhang, Yuzhi Goodall, Rhys E.A. Liang, Wenshuo Singh, Anurag Kumar Yao, Sikai Zhang, Jingchao Wentzcovitch, Renata Han, Jiequn Liu, Jie Jia, Weile York, Darrin M. Weinan, E. Car, Roberto Zhang, Linfeng Wang, Han Laboratory for Biomolecular Simulation Research Institute for Quantitative Biomedicine Department of Chemistry and Chemical Biology Rutgers University PiscatawayNJ08854 United States AI for Science Institute Beijing100080 China DP Technology Beijing100080 China Academy for Advanced Interdisciplinary Studies Peking University Beijing100871 China HEDPS CAPT College of Engineering Peking University Beijing100871 China College of Electrical and Information Engineering Hunan University Changsha China Yuanpei College Peking University Beijing100871 China Program in Applied and Computational Mathematics Princeton University PrincetonNJ08540 United States Department of Experimental Physics Comenius University Mlynská Dolina F2 Bratislava842 48 Slovakia Center for Quantum Information Institute for Interdisciplinary Information Sciences Tsinghua University Beijing100084 China Center for Data Science Peking University Beijing100871 China ByteDance Research Zhonghang Plaza No. 43 North 3rd Ring West Road Haidian District Beijing China College of Chemistry and Molecular Engineering Peking University Beijing100871 China Baidu Inc. Beijing China Key Laboratory of Structural Biology of Zhejiang Province School of Life Sciences Westlake University Zhejiang Hangzhou China Westlake AI Therapeutics Lab Westlake Laboratory of Life Sciences and Biomedicine Zhejiang Hangzhou China Department of Chemistry Princeton University PrincetonNJ08544 United States SISSA Scuola Internazionale Superiore di Studi Avanzati Trieste34136 Italy Laboratory of Computational Science and Modeling Institute of Materials École Polytechnique Fédérale de Lausanne Lausanne1015 Switzerland Department of Physics National University of Defense Technology Hunan Changsha410073 China State Key Lab of Processors Institute of Computing Technology Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China School of Electronics Engineerin

DeePMD-kit is a powerful open-source software package that facilitates molecular dynamics simulations using machine learning potentials (MLP) known as Deep Potential (DP) models. This package, which was released in 2017, has been widely used in the fields of physics, chemistry, biology, and material science for studying atomistic systems. The current version of DeePMD-kit offers numerous advanced features such as DeepPot-SE, attention-based and hybrid descriptors, the ability to fit tensile properties, type embedding, model deviation, Deep Potential - Range Correction (DPRc), Deep Potential Long Range (DPLR), GPU support for customized operators, model compression, non-von Neumann molecular dynamics (NVNMD), and improved usability, including documentation, compiled binary packages, graphical user interfaces (GUI), and application programming interfaces (API). This article presents an overview of the current major version of the DeePMD-kit package, highlighting its features and technical details. Additionally, the article benchmarks the accuracy and efficiency of different models and discusses ongoing developments. © 2023, CC BY-NC-ND.

关键词： Molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

AGE Challenge: Angle Closure Glaucoma Evaluation in Anterior Segment Optical Coherence Tomography

arXiv

引用

arXiv 2020年

作者： Fu, Huazhu Li, Fei Sun, Xu Cao, Xingxing Liao, Jingan Orlando, José Ignacio Tao, Xing Li, Yuexiang Zhang, Shihao Tan, Mingkui Yuan, Chenglang Bian, Cheng Xie, Ruitao Li, Jiongcheng Li, Xiaomeng Wang, Jing Geng, Le Li, Panming Hao, Huaying Liu, Jiang Kong, Yan Ren, Yongyong Bogunović, Hrvoje Zhang, Xiulan Xu, Yanwu State Key Laboratory Zhongshan Ophthalmic Center Sun Yat-sen University Guangzhou510060 China Inception Institute of Artificial Intelligence Abu Dhabi United Arab Emirates Intelligent Healthcare Unit Baidu Beijing China School of Computer Science and Engineering South China University of Technology GuangzhouGuangdong China National Scientific and Technical Research Council CONICET Argentina Tandil Argentina School of Computer Science and Technology Hangzhou Dianzi University Hangzhou China Tencent Jarvis Lab Shenzhen China School of Software Engineering South China University of Technology Guangzhou China School of Biomedical Engineering Health Science Center Shenzhen University Shenzhen China School of Electronic and Information Engineering Shenzhen University Shenzhen China Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong School of Electronic and Information Engineering Soochow University Suzhou China Ningbo University Zhejiang China Ningbo Institute of Industrial Technology Chinese Academy of Sciences Zhejiang China Southern University of Science and Technology Shenzhen China Shanghai Jiaotong University Shanghai China Laboratory for Ophthalmic Image Analysis Department of Ophthalmology Medical University of Vienna Vienna Austria

Angle closure glaucoma (ACG) is a more aggressive disease than open-angle glaucoma, where the abnormal anatomical structures of the anterior chamber angle (ACA) may cause an elevated intraocular pressure and gradually leads to glaucomatous optic neuropathy and eventually to visual impairment and blindness. Anterior Segment Optical Coherence Tomography (AS-OCT) imaging provides a fast and contactless way to discriminate angle closure from open angle. Although many medical image analysis algorithms have been developed for glaucoma diagnosis, only a few studies have focused on AS-OCT imaging. In particular, there is no public AS-OCT dataset available for evaluating the existing methods in a uniform way, which limits the progress in the development of automated techniques for angle closure detection and assessment. To address this, we organized the Angle closure Glaucoma Evaluation challenge (AGE), held in conjunction with MICCAI 2019. The AGE challenge consisted of two tasks: scleral spur localization and angle closure classification. For this challenge, we released a large data of 4800 annotated AS-OCT images from 199 patients, and also proposed an evaluation framework to benchmark and compare different models. During the AGE challenge, over 200 teams registered online, and more than 1100 results were submitted for online evaluation. Finally, eight teams participated in the onsite challenge. In this paper, we summarize these eight onsite challenge methods and analyze their corresponding results in the two tasks. We further discuss limitations and future directions. In the AGE challenge, the top-performing approach had an average Euclidean Distance of 10 pixel (10µm) in scleral spur localization, while in the task of angle closure classification, all the algorithms achieved the satisfactory performances, especially, 100% accuracy rate for top-two performances. These artificial intelligence techniques were shown to have the potential to enable new developments in AS-OCT

关键词： Ophthalmology

来源：评论

学校读者我要写书评

暂无评论

Incorporating dictionaries into deep neural networks for the Chinese clinical named entity recognition

arXiv

引用

arXiv 2018年

作者： Wang, Qi Xia, Yuhang Zhou, Yangming Ruan, Tong Gao, Daqi He, Ping Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Hospital Development Center Shanghai China

Clinical Named Entity Recognition (CNER) aims to identify and classify clinical terms such as diseases, symptoms, treatments, exams, and body parts in electronic health records, which is a fundamental and crucial task for clinical and translational research. In recent years, deep neural networks have achieved significant success in named entity recognition and many other Natural Language Processing (NLP) tasks. Most of these algorithms are trained end to end, and can automatically learn features from large scale labeled datasets. However, these data-driven methods typically lack the capability of processing rare or unseen entities. Previous statistical methods and feature engineering practice have demonstrated that human knowledge can provide valuable information for handling rare and unseen cases. In this paper, we address the problem by incorporating dictionaries into deep neural networks for the Chinese CNER task. Two different architectures that extend the Bi-directional Long Short-Term Memory (Bi-LSTM) neural network and five different feature representation schemes are proposed to handle the task. Computational results on the CCKS-2017 Task 2 benchmark dataset show that the proposed method achieves the highly competitive performance compared with the state-of-the-art deep learning methods. Copyright © 2018, The Authors. All rights reserved.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

A survey on formal specification and verification of separation kernels

引用

Frontiers of computer Science 2017年第4期11卷 585-607页

作者： Yongwang ZHAO Zhibin YANG Dianfu MA State Key Laboratory of Software Development Environment (NLSDE) School of Computer Science and Engineering Beihang Univerisity Beijing 100191 China College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing 210016 China

Abstract Separation kernels are fundamental software of safety and security-critical systems, which provide their hosted applications with spatial and temporal separation as well as controlled information flows among partitions. The application of separation kernels in critical domain demands the correctness of the kernel by formal verification. To the best of our knowledge, there is no survey paper on this topic. This paper presents an overview of formal specification and verification of separation kernels. We first present the back- ground including the concept of separation kernel and the comparisons among different kernels. Then, we survey the state of the art on this topic since 2000. Finally, we summa- rize research work by detailed comparison and discussion.

关键词： real-time operating systems separation kernel,survey formal specification formal verification

来源：评论

学校读者我要写书评

暂无评论

The medical segmentation decathlon

arXiv

引用

arXiv 2021年

作者： Antonelli, Michela Reinke, Annika Bakas, Spyridon Farahani, Keyvan Kopp-Schneider, Annette Landman, Bennett A. Litjens, Geert Menze, Bjoern Ronneberger, Olaf Summers, Ronald M. van Ginneken, Bram Bilello, Michel Bilic, Patrick Christ, Patrick F. Do, Richard K.G. Gollub, Marc J. Heckers, Stephan H. Huisman, Henkjan Jarnagin, William R. McHugo, Maureen K. Napel, Sandy Golia Pernicka, Jennifer S. Rhode, Kawal Tobon-Gomez, Catalina Vorontsov, Eugene Hulsmon, Hankan Meakin, James A. Ourselin, Sebastien Wiesenfarth, Manuel Arbeláez, Pablo Bae, Byeonguk Chen, Sihong Daza, Laura Feng, Jianjiang He, Baochun Isensee, Fabian Ji, Yuanfeng Jia, Fucang Kim, Namkug Kim, Ildoo Merhof, Dorit Pai, Akshay Park, Beomhee Perslev, Mathias Rezaiifar, Ramin Rippel, Oliver Sarasua, Ignacio Shen, Wei Son, Jaemin Wachinger, Christian Wang, Liansheng Wang, Yan Xia, Yingda Xu, Daguang Xu, Zhanwei Zheng, Yefeng Simpson, Amber L. Maier-Hein, Lena Cardoso, M. Jorge School of Biomedical Engineering & Imaging Sciences King’s College London London United Kingdom Heidelberg Germany Heidelberg Germany Faculty of Mathematics and Computer Science University of Heidelberg Heidelberg Germany University of Pennsylvania PhiladelphiaPA United States BethesdaMD United States Heidelberg Germany Electrical Engineering and Computer Science Vanderbilt University NashvilleTN United States Radboud University Medical Center Radboud Institute for Health Sciences Nijmegen Netherlands Quantitative Biomedicine University of Zurich Zurich Switzerland DeepMind London United Kingdom School of Computing Department of Biomedical and Molecular Sciences Queen’s University KingstonON Canada Department of Surgery Memorial Sloan Kettering Cancer Center New YorkNY United States BethesdaMD United States Department of Informatics Technische Universität München Germany Department of Radiology Memorial Sloan Kettering Cancer Center New YorkNY United States Department of Psychiatry & Behavioral Sciences Vanderbilt University Medical Center NashvilleTN United States Department of Radiology Stanford University StanfordCA United States Department of Computer Science and Software Engineering École Polytechnique de Montréal Department of Radiology Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Department of Pathology and Laboratory Medicine Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Medical Faculty University of Heidelberg Heidelberg Germany VUNO Inc. Seoul Korea Republic of Universidad de los Andes Colombia Department of Automation Tsinghua University Beijing China Heidelberg Germany Department of Computer Science Xiamen University Xiamen361005 China Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen China Kakao Brain Korea Republic of Institute of Imaging & Computer Vision RWTH Aachen University Aachen Germany Cere

International challenges have become the de facto standard for comparative assessment of image analysis algorithms given a specific task. Segmentation is so far the most widely investigated medical image processing task, but the various segmentation challenges have typically been organized in isolation, such that algorithm development was driven by the need to tackle a single specific clinical problem. We hypothesized that a method capable of performing well on multiple tasks will generalize well to a previously unseen task and potentially outperform a custom-designed solution. To investigate the hypothesis, we organized the Medical Segmentation Decathlon (MSD)—a biomedical image analysis challenge, in which algorithms compete in a multitude of both tasks and modalities. The underlying data set was designed to explore the axis of difficulties typically encountered when dealing with medical images, such as small data sets, unbalanced labels, multi-site data and small objects. The MSD challenge confirmed that algorithms with a consistent good performance on a set of tasks preserved their good average performance on a different set of previously unseen tasks. Moreover, by monitoring the MSD winner for two years, we found that this algorithm continued generalizing well to a wide range of other clinical problems, further confirming our hypothesis. Three main conclusions can be drawn from this study: (1) state-of-the-art image segmentation algorithms are mature, accurate, and generalize well when retrained on unseen tasks;(2) consistent algorithmic performance across multiple tasks is a strong surrogate of algorithmic generalizability;(3) the training of accurate AI segmentation models is now commoditized to non AI *** Codes 68T07. © 2021, CC BY-NC-SA.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

swTVM: Towards Optimized Tensor Code Generation for Deep Learning on Sunway Many-Core Processor

arXiv

引用

arXiv 2019年

作者： Li, Mingzhen Liu, Changxi Liao, Jianjin Zheng, Xuegui Yang, Hailong Sun, Rujun Xu, Jun Gan, Lin Yang, Guangwen Luan, Zhongzhi Qian, Depei School of Computer Science and Engineering Beihang University Beijing China State Key Laboratory of Software Development Environment Beijing China National University of Singapore Singapore Singapore State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China Science and Technology on Special System Simulation Laboratory Beijing Simulation Center Beijing China Department of Computer Science and Technology Tsinghua University Beijing China

The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application portability. Among the existing deep learning compilers, TVM is well known for its efficiency in code generation and optimization across diverse hardware devices. In the meanwhile, the Sunway many-core processor renders itself as a competitive candidate for its attractive computational power in both scientific computing and deep learning workloads. This paper combines the trends in these two directions. Specifically, we propose swTVM that extends the original TVM to support ahead-of-time compilation for architecture requiring cross-compilation such as Sunway. In addition, we leverage the architecture features during the compilation such as core group for massive parallelism, DMA for high bandwidth memory transfer and local device memory for data locality, in order to generate efficient codes for deep learning workloads on Sunway. The experiment results show that the codes generated by swTVM achieves 1.79× on average compared to the state-of-the-art deep learning framework on Sunway, across six representative benchmarks. This work is the first attempt from the compiler perspective to bridge the gap of deep learning and Sunway processor particularly with productivity and efficiency in mind. We believe this work will encourage more people to embrace the power of deep learning and Sunway many-core processor. Copyright © 2019, The Authors. All rights reserved.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Comparative modelling and verification of Pthreads and Dthreads

Comparative modelling and verification of Pthreads and Dthre...

引用

作者： Fei, Yuan Zhu, Huibiao Wu, Xi Fang, Huixing Qin, Shengchao Shanghai Key Laboratory of Trustworthy Computing MOE International Joint Laboratory of Trustworthy Software International Research Center of Trustworthy Software East China Normal University Shanghai China School of Computing University of Teesside Middlesbrough United Kingdom School of Computer Science and Software Engineering Shenzhen University Shenzhen China School of Information Technology and Electrical Engineering University of Queensland Brisbane Australia School of Information Engineering Yangzhou University Jiangsu China

The POSIX threads (Pthreads) library is a thread API for C/C++ to control parallel threads and spawn concurrent process flows. Programming in Pthreads usually suffers from undesirable deadlock, data race, and race condition problems due to the potential nondeterministic execution behaviors between parallel threads. Dthreads, as another multithreading model that re-implements Pthreads, was proposed by Liu et al for efficient deterministic multithreading. They found out that, under specific test cases, Dthreads can effectively prevent data races. However, no comparison test has been made with Pthreads. To perform a formal comparison between Pthreads and Dthreads over deadlocks, data races, and race conditions, in this paper, we adopt CSP (communicating sequential processes) as a formal model for specifying part of API functions in Pthreads and Dthreads and illustrate the model construction using 4 classical example programs. By feeding the models into the model checker PAT (process analysis toolkit), we have verified that deadlocks and data races exist in Pthreads, but do not exist in Dthreads, for the considered programs. We have also found that neither of them can prevent race conditions. Our comparative modelling and verification of Pthreads and Dthreads show that though Dthreads cannot prevent all the deadlock situations, shown by verification results of another 2 example programs, Dthreads is better than Pthreads on eliminating data races and preventing deadlocks. Considering limited scalability of Dthreads, we have introduced a new programming model to support coarse granularity in bank transfer. Our modelling is also extended by covering the synchronization operations in Liu et al work. Copyright © 2017 John Wiley & Sons, Ltd.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Dynamic network embedding via incremental skip-gram with negative sampling

arXiv

引用

arXiv 2019年

作者： Peng, Hao Li, Jianxin Yan, Hao Gong, Qiran Wang, Senzhang Liu, Lin Wang, Lihong Ren, Xiang Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University Beijing China State Key Laboratory of Software Development Environment Beihang University Beijing China Collage of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China National Computer Network Emergency Response Technical Team Coordination Center of China Beijing China Department of Computer Science University of Southern California Los Angeles United States

Network representation learning, as an approach to learn low dimensional representations of vertices, has attracted considerable research attention recently. It has been proven extremely useful in many machine learning tasks over large graph. Most existing methods focus on learning the structural representations of vertices in a static network, but cannot guarantee an accurate and efficient embedding in a dynamic network scenario. The fundamental problem of continuously capturing the dynamic properties in an efficient way for a dynamic network remains unsolved. To address this issue, we present an efficient incremental skip-gram algorithm with negative sampling for dynamic network embedding, and provide a set of theoretical analyses to characterize the performance guarantee. Specifically, we first partition a dynamic network into the updated, including addition/deletion of links and vertices, and the retained networks over time. Then we factorize the objective function of network embedding into the added, vanished and retained parts of the network. Next we provide a new stochastic gradient-based method, guided by the partitions of the network, to update the nodes and the parameter vectors. The proposed algorithm is proven to yield an objective function value with a bounded difference to that of the original objective function. The first order moment of the objective difference converges in order of O( 1/n2 ), and the second order moment of the objective difference can be stabilized in order of O(1). Experimental results show that our proposal can significantly reduce the training time while preserving the comparable performance. We also demonstrate the correctness of the theoretical analysis and the practical usefulness of the dynamic network embedding. We perform extensive experiments on multiple real-world large network datasets over multi-label classification and link prediction tasks to evaluate the effectiveness and efficiency of the proposed framework, and up

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Fine-grained event categorization with heterogeneous graph convolutional networks

arXiv

引用

arXiv 2019年

作者： Peng, Hao Li, Jianxin Gong, Qiran Song, Yangqiu Ning, Yuanxing Lai, Kunfeng Yu, Philip S. Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University State Key Laboratory of Software Development Environment Beihang University Department of Computer Science and Engineering Hong Kong University of Science and Technology Platform and Content Group Tencent Institute for Data Science Tsinghua University Department of Computer Science University of Illinois Chicago United States

Events are happening in real-world and real-time, which can be planned and organized occasions involving multiple people and objects. Social media platforms publish a lot of text messages containing public events with comprehensive topics. However, mining social events is challenging due to the heterogeneous event elements in texts and explicit and implicit social network structures. In this paper, we design an event meta-schema to characterize the semantic relatedness of social events and build an event-based heterogeneous information network (HIN) integrating information from external knowledge base, and propose a novel Pairwise Popularity Graph Convolutional Network (PP-GCN) based fine-grained social event categorization model. We propose a Knowledgeable meta-paths Instances based social Event Similarity (KIES) between events and build a weighted adjacent matrix as input to the PP-GCN model. Comprehensive experiments on real data collections are conducted to compare various social event detection and clustering tasks. Experimental results demonstrate that our proposed framework outperforms other alternative social event categorization techniques. Copyright © 2019, The Authors. All rights reserved.

关键词： Information services

来源：评论

学校读者我要写书评

暂无评论

Residual Networks for Light Field Image Super-Resolution

Residual Networks for Light Field Image Super-Resolution

引用

IEEE/CVF Conference on computer Vision and Pattern Recognition

作者： Shuo Zhang Youfang Lin Hao Sheng Beijing Key Lab of Traffic Data Analysis and Mining School of Computer and Information Technology Beijing Jiaotong University Key Laboratory of Intelligent Passenger Service of Civil Aviation CAAC State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University

Light field cameras are considered to have many potential applications since angular and spatial information is captured simultaneously. However, the limited spatial resolution has brought lots of difficulties in developing related applications and becomes the main bottleneck of light field cameras. In this paper, a learning-based method using residual convolutional networks is proposed to reconstruct light fields with higher spatial resolution. The view images in one light field are first grouped into different image stacks with consistent sub-pixel offsets and fed into different network branches to implicitly learn inherent corresponding relations. The residual information in different spatial directions is then calculated from each branch and further integrated to supplement high-frequency details for the view image. Finally, a flexible solution is proposed to super-resolve entire light field images with various angular resolutions. Experimental results on synthetic and real-world datasets demonstrate that the proposed method outperforms other state-of-the-art methods by a large margin in both visual and numerical evaluations. Furthermore, the proposed method shows good performances in preserving the inherent epipolar property in light field images.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：