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

Verifying Safety of Neural Networks from Topological Perspectives

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Liang, Zhen Ren, Dejin Xue, Bai Wang, Ji Yang, Wenjing Liu, Wanwei National University of Defense Technology Institute for Quantum Information State Key Laboratory of High Performance Computing Hunan Changsha410073 China Chinese Academy of Sciences State Key Lab. of Computer Science BeijingBAI XUE China

Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their behaviors should undergo rigorous guarantees before deployment in practice. In this paper, we propose a set-boundary reachability method to investigate the safety verification problem of NNs from a topological perspective. Given an NN with an input set and a safe set, the safety verification problem is to determine whether all outputs of the NN resulting from the input set fall within the safe set. In our method, the homeomorphism property and the open map property of NNs are mainly exploited, which establish rigorous guarantees between the boundaries of the input set and the boundaries of the output set. The exploitation of these two properties facilitates reachability computations via extracting subsets of the input set rather than the entire input set, thus controlling the wrapping effect in reachability analysis and facilitating the reduction of computation burdens for safety verification. The homeomorphism property exists in some widely used NNs such as invertible residual networks (i-ResNets) and Neural ordinary differential equations (Neural ODEs), and the open map is a less strict property and easier to satisfy compared with the homeomorphism property. For NNs establishing either of these properties, our set-boundary reachability method only needs to perform reachability analysis on the boundary of the input set. Moreover, for NNs that do not feature these properties with respect to the input set, we explore subsets of the input set for establishing the local homeomorphism property and then abandon these subsets for reachability computations. Finally, some examples demonstrate the performance of the proposed *** Codes 68Q60, 68T07 Copyright © 2023, The Authors. All rights reserved.

关键词： Topology

PALM: Open Fundus Photograph Dataset with Pathologic Myopia Recognition and Anatomical Structure Annotation

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Fang, Huihui Li, Fei Wu, Junde Fu, Huazhu Sun, Xu Orlando, José Ignacio Bogunović, Hrvoje Zhang, Xiulan Xu, Yanwu State Key Laboratory of Ophthalmology Zhongshan Ophthalmic Center Sun Yat-sen University Guangdong Provincial Key Laboratory of Ophthalmology and Visual Science Guangzhou China Intelligent Healthcare Unit Baidu Inc. Beijing China Institute of High Performance Computing Agency for Science Technology and Research Singapore Yatiris Group Pladema Institute Conicet Unicen Tandil Argentina Christian Doppler Lab for Artificial Intelligence in Retina Department of Ophthalmology and Optometry Medical University of Vienna Vienna Austria

Pathologic myopia (PM) is a common blinding retinal degeneration suffered by highly myopic population. Early screening of this condition can reduce the damage caused by the associated fundus lesions and therefore prevent vision loss. Automated diagnostic tools based on artificial intelligence methods can benefit this process by aiding clinicians to identify disease signs or to screen mass populations using color fundus photographs as inputs. This paper provides insights about PALM, our open fundus imaging dataset for pathological myopia recognition and anatomical structure annotation. Our databases comprises 1200 images with associated lab.ls for the pathologic myopia category and manual annotations of the optic disc, the position of the fovea and delineations of lesions such as patchy retinal atrophy (including peripapillary atrophy) and retinal detachment. In addition, this paper elab.rates on other details such as the lab.ling process used to construct the database, the quality and characteristics of the samples and provides other relevant usage notes. © 2023, CC BY-NC-ND.

关键词： Photography

Dual-View Pyramid Pooling in Deep Neural Networks for Improved Medical Image Classification and Confidence Calibration

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Zhang, Xiaoqing Nie, Qiushi Xiao, Zunjie Zhao, Jilu Wu, Xiao Guo, Pengxin Li, Runzhi Liu, Jin Wei, Yanjie Pan, Yi Center for High Performance Computing Shenzhen Key Laboratory of Intelligent Bioinformatics Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Guangdong Shenzhen518055 China Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen518055 China Department of Statistics and Actuarial Science The University of Hong Kong 999077 Hong Kong Cooperative Innovation Center of Internet Healthcare Zhengzhou University Zhengzhou450001 China Hunan Provincial Key Lab on Bioinformatics School of Computer Science and Engineering Central South University Changsha410083 China Xinjiang Engineering Research Center of Big Data and Intelligent Software School of software Xinjiang University Wulumuqi830046 China Faculty of Computer Science and Control Engineering Shenzhen University of Advanced Technology Shenzhen China

Spatial pooling (SP) and cross-channel pooling (CCP) operators have been applied to aggregate spatial features and pixel-wise features from feature maps in deep neural networks (DNNs), respectively. Their main goal is to reduce computation and memory overhead without visibly weakening the performance of DNNs. However, SP often faces the problem of losing the subtle feature representations, while CCP has a high possibility of ignoring salient feature representations, which may lead to both miscalibration of confidence issues and suboptimal medical classification results. To address these problems, we propose a novel dual-view framework, the first to systematically investigate the relative roles of SP and CCP by analyzing the difference between spatial features and pixel-wise features. Based on this framework, we propose a new pooling method, termed dual-view pyramid pooling (DVPP), to aggregate multi-scale dual-view features. DVPP aims to boost both medical image classification and confidence calibration performance by fully leveraging the merits of SP and CCP operators from a dual-axis perspective. Additionally, we discuss how to fulfill DVPP with five parameter-free implementations. Extensive experiments on six 2D/3D medical image classification tasks show that our DVPP surpasses state-of-the-art pooling methods in terms of medical image classification results and confidence calibration across different DNNs. © 2024, CC BY.

关键词： Deep neural networks

Load Balancing a Multi-Block Grids-based Application on Heterogeneous Platform

学校读者我要写书评

暂无评论

Load Balancing a Multi-Block Grids-based Application on Hete...

IEEE International Conference on Computational Science and Engineering, CSE

作者： Yonggang Che Chuanfu Xu Zhenghua Wang Institute for Quantum Information & State Key Lab. of High Performance Computing College of Computer National University of Defense Technology Changsha China Science and Technology on Parallel and Distributed Processing Lab National University of Defense Technology Changsha China

ISBN: (数字)9781665403986

ISBN: (纸本)9781665403993

This paper presents a load balancing method for a multi-block grids-based CFD (Computational Fluid Dynamics) application on heterogeneous platform. This method includes an asymmetric task scheduling scheme and a load balancing model. The idea is to balance the computing speed between the CPU and the coprocessor by adjusting the workload and the numbers of threads on both sides. Optimal load balance parameters are empirically selected, guided by a performance model. performance evaluation is conducted on a computer server consists of two Intel Xeon E5-2670 v3 CPUs and two MIC coprocessors (Xeon Phi 5110P and Xeon Phi 7120P) for the simulation of turbulent combustion in a supersonic combustor. The results show that the performance is highly sensitive to the load balance parameters. With the optimal parameters, the heterogeneous computing achieves a maximum speedup of 2.30 × for a 6-block mesh, and a maximum speedup of 2.66 × for a 8-block mesh, over the CPU-only computing.

关键词： Computational modeling Computational fluid dynamics Load management Servers Task analysis Load modeling Coprocessors

Nanoscale non-destructive ferroelectric characterization with non-contact heterodyne electrostrain force microscopy

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Zeng, Qibin Huang, Qicheng Wang, Hongli Li, Caiwen Fan, Zhen Chen, Deyang Cheng, Yuan Zeng, Kaiyang Department of Mechanical Engineering National University of Singapore Singapore117576 Singapore Institute for Advanced Materials South China Academy of Advanced Optoelectronics South China Normal University Guangzhou510006 China Guangdong Provincial Key Laboratory of Optical Information Materials and Technology South China Academy of Advanced Optoelectronics South China Normal University Guangzhou510006 China Institute of High-Performance Computing Agency for Science Technology and Research Singapore138632 Singapore The Key Lab of Guangdong for Modern Surface Engineering Technology National Engineering Laboratory for Modern Materials Surface Engineering Technology Institute of New Materials Guangdong Academy of Sciences Guangzhou510650 China Monash Suzhou Research Institute Suzhou215123 China Suzhou215123 China

Perceiving nanoscale ferroelectric phenomena from real space is of great importance for elucidating underlying ferroelectric physics. During the past decades, nanoscale ferroelectric characterization has mainly relied on the Piezoresponse Force Microscopy (PFM), however, the fundamental limitations of PFM have made the nanoscale ferroelectric studies encounter significant bottlenecks. In this study, a high-resolution non-contact ferroelectric measurement, named Non-Contact Heterodyne Electrostrain Force Microscopy (NC-HEsFM), has been introduced firstly. It has been unambiguously demonstrated that NC-HEsFM can operate on multiple eigenmodes to perform ideal high-resolution ferroelectric domain mapping, standard ferroelectric hysteresis loop measurement and controllab.e domain manipulation. With using quartz tuning fork (QTF) sensor and heterodyne detection, NC-HEsFM shows an unprecedented capability in achieving real non-contact yet non-destructive ferroelectric characterization with negligible electrostatic force effect. It is believed that NC-HEsFM can be extensively used in various ferroelectric or piezoelectric studies with providing substantially improved characterization performance. Meanwhile, the QTF-based force detection makes NC-HEsFM highly compatible for high-vacuum and low-temperature environments, providing ideal conditions for achieving an ultra-high spatial resolution to investigate the most intrinsic ferroelectric phenomena. Copyright © 2021, The Authors. All rights reserved.

关键词： Ferroelectricity

GAMMA Challenge: Glaucoma grAding from Multi-Modality imAges

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Wu, Junde Fang, Huihui Li, Fei Fu, Huazhu Lin, Fengbin Li, Jiongcheng Huang, Yue Yu, Qinji Song, Sifan Xu, Xinxing Xu, Yanyu Wang, Wensai Wang, Lingxiao Lu, Shuai Li, Huiqi Huang, Shihua Lu, Zhichao Ou, Chubin Wei, Xifei Liu, Bingyuan Kobbi, Riadh Tang, Xiaoying Lin, Li Zhou, Qiang Hu, Qiang Bogunović, Hrvoje Orlando, José Ignacio Zhang, Xiulan Xu, Yanwu State Key Laboratory of Ophthalmology Zhongshan Ophthalmic Center Sun Yat-sen University Guangdong Provincial Key Laboratory of Ophthalmology and Visual Science Guangzhou China Intelligent Healthcare Unit Baidu Inc. Beijing China Singapore School of Informatics Xiamen University Xiamen China Shanghai Jiao Tong University Shanghai China Xi'an Jiaotong-Liverpool University Suzhou China Institute of High Performance Computing A*STAR Singapore Institute of Biomedical Engineering Chinese Academy of Medical Sciences Peking Union Medical College Tianjin China School of Medical Technology Beijing Institute of Technology Beijing China Department of Computing Hong Kong Polytechnic University Hong Kong Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China Weizhi Medical Technology Company Suzhou China École de Technologie Supérieure Montreal Montreal Canada DIAGNOS Inc. Quebec Canada Department of Electrical and Electronic Engineering Southern University of Science and Technology Shenzhen China Department of Electrical and Electronic Engineering The University of Hong Kong Hong Kong Technology Co. Ltd. Shanghai China School of Information and Electronics Beijing Institute of Technology Beijing China Christian Doppler Lab for Artificial Intelligence in Retina Department of Ophthalmology Medical University of Vienna Austria Yatiris Group PLADEMA Institute CONICET UNICEN Tandil Argentina

Glaucoma is a chronic neuro-degenerative condition that is one of the world's leading causes of irreversible but preventable blindness. The blindness is generally caused by the lack of timely detection and treatment. Early screening is thus essential for early treatment to preserve vision and maintain life quality. Color fundus photography and Optical Coherence Tomography (OCT) are the two most cost-effective tools for glaucoma screening. Both imaging modalities have prominent biomarkers to indicate glaucoma suspects, such as the vertical cup-to-disc ratio (vCDR) on fundus images and retinal nerve fiber layer (RNFL) thickness on OCT volume. In clinical practice, it is often recommended to take both of the screenings for a more accurate and reliable diagnosis. However, although numerous algorithms are proposed based on fundus images or OCT volumes for the automated glaucoma detection, there are few methods that leverage both of the modalities to achieve the target. To fulfill the research gap, we set up the Glaucoma grAding from Multi-Modality imAges (GAMMA) Challenge to encourage the development of fundus & OCT-based glaucoma grading. The primary task of the challenge is to grade glaucoma from both the 2D fundus images and 3D OCT scanning volumes. As part of GAMMA, we have publicly released a glaucoma annotated dataset with both 2D fundus color photography and 3D OCT volumes, which is the first multi-modality dataset for machine learning based glaucoma grading. In addition, an evaluation framework is also established to evaluate the performance of the submitted methods. During the challenge, 1272 results were submitted, and finally, ten best performing teams were selected for the final stage. We analyze their results and summarize their methods in the paper. Since all the teams submitted their source code in the challenge, we conducted a detailed ablation study to verify the effectiveness of the particular modules proposed. Finally, we identify the proposed techniqu

关键词： Grading

ADAM CHALLENGE: DETECTING AGE-RELATED MACULAR DEGENERATION FROM FUNDUS IMAGES

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Fang, Huihui Li, Fei Fu, Huazhu Sun, Xu Cao, Xingxing Lin, Fengbin Son, Jaemin Kim, Sunho Quellec, Gwenole Matta, Sarah Shankaranarayana, Sharath M. Chen, Yi-Ting Wang, Chuen-Heng Shah, Nisarg A. Lee, Chia-Yen Hsu, Chih-Chung Xie, Hai Lei, Baiying Baid, Ujjwal Innani, Shubham Dang, Kang Shi, Wenxiu Kamble, Ravi Singhal, Nitin Wang, Ching-Wei Lo, Shih-Chang Orlando, José Ignacio Bogunović, Hrvoje Zhang, Xiulan Xu, Yanwu The ADAM Challenge State Key Laboratory of Ophthalmology Zhongshan Ophthalmic Center Sun Yat-Sen University Guangdong Provincial Key Laboratory of Ophthalmology and Visual Science Guangzhou China Intelligent Healthcare Unit Baidu Inc. Beijing China The Institute of High Performance Computing Agency for Science Technology and Research Singapore CONICET Yatiris lab of Pladema Institute Tandil Argentina Department of Ophthalmology and Optometry Medical University of Vienna Vienna Austria VUNO Inc Seoul Korea Republic of Inserm UMR 1101 BrestF-29200 France Univ Bretagne Occidentale BrestF-29200 France Zasti India Pvt. Ltd. India Graphen.Inc Muen Biomedical and Optoelectronics Technologies Inc Taiwan Department of Electrical Engineering Indian Institute of Technology Rajasthan Jodhpur India Department of Electrical Engineering National United University Taiwan Institute of Data Science Department of Statistics National Cheng Kung University Taiwan Shenzhen University Shenzhen China SGGS Institute of Engineering and Technology Nanded India Suzhou Tisu Information Technology Co. Ltd China AIRA Matrix Mumbai India Graduate Institute of Biomedical Engineering National Taiwan University of Science and Technology Taiwan

Age-related macular degeneration (AMD) is the leading cause of visual impairment among elderly in the world. Early detection of AMD is of great importance, as the vision loss caused by this disease is irreversible and permanent. Color fundus photography is the most cost-effective imaging modality to screen for retinal disorders. Cutting edge deep learning based algorithms have been recently developed for automatically detecting AMD from fundus images. However, there are still lack of a comprehensive annotated dataset and standard evaluation benchmarks. To deal with this issue, we set up the Automatic Detection challenge on Age-related Macular degeneration (ADAM), which was held as a satellite event of the ISBI 2020 conference. The ADAM challenge consisted of four tasks which cover the main aspects of detecting and characterizing AMD from fundus images, including detection of AMD, detection and segmentation of optic disc, localization of fovea, and detection and segmentation of lesions. As part of the ADAM challenge, we have released a comprehensive dataset of 1200 fundus images with AMD diagnostic lab.ls, pixel-wise segmentation masks for both optic disc and AMD-related lesions (drusen, exudates, hemorrhages and scars, among others), as well as the coordinates corresponding to the location of the macular fovea. A uniform evaluation framework has been built to make a fair comparison of different models using this dataset. During the ADAM challenge, 610 results were submitted for online evaluation, with 11 teams finally participating in the onsite challenge. This paper introduces the challenge, the dataset and the evaluation methods, as well as summarizes the participating methods and analyzes their results for each task. In particular, we observed that the ensembling strategy and the incorporation of clinical domain knowledge were the key to improve the performance of the deep learning models. © 2022, CC BY-NC-ND.

关键词： Cost effectiveness

REFUGE2 CHALLENGE: A TREASURE TROVE FOR MULTI-DIMENSION ANALYSIS AND EVALUATION IN GLAUCOMA SCREENING

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Fang, Huihui Li, Fei Wu, Junde Fu, Huazhu Sun, Xu Son, Jaemin Yu, Shuang Zhang, Menglu Yuan, Chenglang Bian, Cheng Lei, Baiying Zhao, Benjian Xu, Xinxing Li, Shaohua Fumero, Francisco Sigut, José Almubarak, Haidar Bazi, Yakoub Guo, Yuanhao Zhou, Yating Baid, Ujjwal Innani, Shubham Guo, Tianjiao Yang, Jie Orlando, José Ignacio Bogunović, Hrvoje Zhang, Xiulan Xu, Yanwu The REFUGE2 Challenge Australia State Key Laboratory of Ophthalmology Zhongshan Ophthalmic Center Sun Yat-Sen University Guangdong Provincial Key Laboratory of Ophthalmology and Visual Science Guangzhou China Intelligent Healthcare Unit Baidu Inc. Beijing China The Institute of High Performance Computing Agency for Science Technology and Research Singapore Yatiris Group PLADEMA Institute CONICET UNICEN Tandil Argentina Christian Doppler Lab for Artificial Intelligence in Retina Department of Ophthalmology and Optometry Medical University of Vienna Vienna Austria VUNO Inc Seoul Korea Republic of Tencent HealthCare Tencent Shenzhen China Computer Vision Institute College of Computer Science and Software Engineering of Shenzhen University Shenzhen China School of Biomedical Engineering Health Science Center Shenzhen University China Xiaohe Healthcare ByteDance Guangdong Guangzhou510000 China School of Biomedical Engineering Shenzhen University China College of Computer Science & Software Engineering Shenzhen University China Department of Computer Science and Systems Engineering Universidad de La Laguna Spain Saudi Electronic University Saudi Arabia King Saud University Saudi Arabia Institute of Automation Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China SGGS Institute of Engineering and Technology India Institute of Medical Robotics Shanghai Jiao Tong University China Institute of Image Processing and Pattern Recognition Shanghai Jiao Tong University China

With the rapid development of artificial intelligence (AI) in medical image processing, deep learning in color fundus photography (CFP) analysis is also evolving. Although there are some open-source, lab.led datasets of CFPs in the ophthalmology community, large-scale datasets for screening only have lab.ls of disease categories, and datasets with annotations of fundus structures are usually small in size. In addition, lab.ling standards are not uniform across datasets, and there is no clear information on the acquisition device. Here we release a multi-annotation, multi-quality, and multi-device color fundus image dataset for glaucoma analysis on an original challenge-Retinal Fundus Glaucoma Challenge 2nd Edition (REFUGE2). The REFUGE2 dataset contains 2000 color fundus images with annotations of glaucoma classification, optic disc/cup segmentation, as well as fovea localization. Meanwhile, the REFUGE2 challenge sets three sub-tasks of automatic glaucoma diagnosis and fundus structure analysis and provides an online evaluation framework. Based on the characteristics of multi-device and multi-quality data, some methods with strong generalizations are provided in the challenge to make the predictions more robust. This shows that REFUGE2 brings attention to the characteristics of real-world multi-domain data, bridging the gap between scientific research and clinical application. © 2022, CC BY-NC-ND.

关键词： Color

Orchestration combinators in apla+ language 6th

学校读者我要写书评

暂无评论

Orchestration combinators in apla+ language

6th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2016

作者： You, Zhen Xue, Jinyun State International S&T Cooperation Base of Networked Supporting Software Jiangxi Normal University Nanchang330022 China Provincial Key Lab of High-Performance Computing Jiangxi Normal University Nanchang330022 China

ISBN: (纸本)9783319577074

Concurrency has been rapidly gaining a concern for mainstream software development, caused by widespread adoption of multicore processing architectures and cloud computing. This paper elab.rates an abstract concurrent mechanism by introducing Bundle and Orchestration Combinators, which conservatively absorbed some features of Orc calculus and Orc language designed by J. Misra et al. This concurrent mechanism would be merged into our abstract sequential programming language Apla, then it evolved into a unified sequential and concurrent language Apla+. A typical concurrent dining philosophers problem are designed by using Apla+ language. Finally, we present some comparison between our work and other related concurrent programming or modelling language. © Springer International Publishing AG 2017.

关键词： Modeling languages