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

IEEE Region 10 Symposium

作者： C M Geeta G Mithila Lakshmi R G Shreyas Raju S Raghavendra Rajkumar Buyya K R Venugopal S S Iyengar L M Patnaik Department of Computer Science and Engineering University Visvesvaraya College of Engineering Bangalore University India Cloud Computing and Distributed Systems (CLOUDS) Lab School of Computing and Information Systems The University of Melbourne Australia Bangalore University Bengaluru India Department of Computer Science and Engineering Florida International University USA INSA National Institute of Advanced Studies Indian Institute of Science Campus Bangalore India

With the cloud repository service furnished by the cloud computing, users can comfortably arrange themselves as a cluster and distribute information effectively. In order to empower public verifier to audit the distributed information, clients in the cluster need to Figure out signatures on complete chunks of collaborative information. Every client in the cluster modifies and signs his respective chunks, and deploys in the cloud server. Hence specific chunks of shared information are normally signed by specific clients. If anyone of the customers' is found malicious, he is immediately repudiated from the cluster. The prevailing clients in the cluster are permitted to re-sign the chunks that were earlier signed by this eliminated client. This approach is inefficient due to the massive amount of collaborative information in the cloud. By exploiting the approach of proxy re-signatures, the CSP is acknowledged to re-sign chunks in support of the prevailing clients during customer repudiation. When many clients deploy the same information to the cloud repository, repository space has identical copies, hence deduplication technology is usually utilized to lower the capacity and bandwidth prerequisites of the utilities by removing repetitious information and hoarding only an original replica of them. In order to assimilate both data honesty and deduplication in cloud, we present a novel Secure Two Level Deduplication and Auditing of Shared Data in cloud (STLDAS) mechanism. Experimental results show that our mechanism achieves secure deduplication and appreciable improvement in tag generation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Randomised benchmarking for characterizing and forecasting correlated processes

arXiv

引用

arXiv 2023年

作者： Zhang, Xinfang Wu, Zhihao White, Gregory A.L. Xiang, Zhongcheng Hu, Shun Peng, Zhihui Liu, Yong Zheng, Dongning Fu, Xiang Huang, Anqi Poletti, Dario Modi, Kavan Wu, Junjie Deng, Mingtang Guo, Chu Institute for Quantum Information State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Changsha410073 China School of Physics and Astronomy Monash University VIC3800 Australia Dahlem Center for Complex Quantum Systems Freie Universität Berlin Berlin14195 Germany Institute of Physics Chinese Academy of Sciences Beijing100190 China Key Laboratory of Low-Dimensional Quantum Structures and Quantum Control of Ministry of Education Department of Physics Synergetic Innovation Center for Quantum Effects and Applications Hunan Normal University Changsha410081 China Science Mathematics and Technology Cluster and Engineering Product Development Pillar Singapore University of Technology and Design 8 Somapah Road 487372 Singapore Centre for Quantum Technologies National University of Singapore 117543 Singapore MajuLab CNRS-UNS-NUS-NTU International Joint Research Unit UMI 3654 Singapore Quantum for NSW Sydney2000 Australia

The development of fault-tolerant quantum processors relies on the ability to control noise. A particularly insidious form of noise is temporally correlated or non-Markovian noise. By combining randomized benchmarking with supervised machine learning algorithms, we develop a method to learn the details of temporally correlated noise. In particular, we can learn the time-independent evolution operator of system plus bath and this leads to (i) the ability to characterize the degree of non-Markovianity of the dynamics and (ii) the ability to predict the dynamics of the system even beyond the times we have used to train our model. We exemplify this by implementing our method on a superconducting quantum processor. Our experimental results show a drastic change between the Markovian and non-Markovian regimes for the learning accuracies. Copyright © 2023, The Authors. All rights reserved.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Symbolic Verification of Message Passing Interface Programs

Symbolic Verification of Message Passing Interface Programs

引用

International Conference on Software Engineering (ICSE)

作者： Hengbiao Yu Zhenbang Chen Xianjin Fu Ji Wang Zhendong Su Jun Sun Chun Huang Wei Dong National University of Defense Technology Changsha China College of Computer National University of Defense Technology Changsha China State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China ETH Zurich Switzerland School of Information Systems Singapore Management University Singapore

ISBN: (数字)9781450371216

ISBN: (纸本)9781728165196

Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the complex program features (such as non-determinism and non-blocking operations). In this work, we present MPI symbolic verifier (MPI-SV), the first symbolic execution based tool for automatically verifying MPI programs with non-blocking operations. MPI-SV combines symbolic execution and model checking in a synergistic way to tackle the challenges in MPI program verification. The synergy improves the scalability and enlarges the scope of verifiable properties. We have implemented MPI-SV and evaluated it with 111 real-world MPI verification tasks. The pure symbolic execution-based technique successfully verifies 61 out of the 111 tasks (55%) within one hour, while in comparison, MPI-SV verifies 100 tasks (90%). On average, compared with pure symbolic execution, MPI-SV achieves 19x speedups on verifying the satisfaction of the critical property and 5x speedups on finding violations.

关键词： Message passing Model checking Tools Task analysis Tuning Standards Software engineering

来源：评论

学校读者我要写书评

暂无评论

Emotion Regulation in Intelligent Tutoring systems: A Systematic Literature Review

Emotion Regulation in Intelligent Tutoring Systems: A System...

引用

IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE)

作者： Rihab Khadimallah Mouna Abdelkefi Ilhem Kallel REGIM-Lab: Research Groups in Intelligent Machines ISIMS: Higher Institute of Computer Science and Multimedia University of Sfax Tunisia MIRACL: Multimedia InfoRmation Systems and Advanced Computing Laboratory ENIS: National School of Engineers Route Soukra Km 3.5 BP 1173 3038 University of Sfax Tunisia

ISBN: (数字)9781728169422

ISBN: (纸本)9781728169439

Emotion regulation (ER) is a process responsible for altering emotions' reactions and expressions as well as situations that simulate such feelings to better respond to environmental ***, ER is actually a mere mental and behavioral process that many of us already perform consciously and unconsciously. In this issue, with the imperious role of emotions in learning process which they crucially influence student's cognitive performances and academic outcomes, several researchers proposed different methods and tools for regulating learners' negative emotions while learning in online environment. In the present paper, we discuss the current and original research works that apply different strategies and methods for emotion regulation in different smart environments (i.e., Intelligent Tutoring systems) by adopting a Systematic Literature Review (SLR) approach.

关键词： Systematics Bibliographies Education Machine learning Tools Regulation Erbium

来源：评论

学校读者我要写书评

暂无评论

A Drone-based Networked System and Methods for Combating Coronavirus Disease (COVID-19) Pandemic

arXiv

引用

arXiv 2020年

作者： Kumar, Adarsh Sharma, Kriti Singh, Harvinder Naugriya, Sagar Gupta Gill, Sukhpal Singh Buyya, Rajkumar Department of Systemics School of Computer Science University of Petroleum and Energy Studies Dehradun India Department of Virtualization School of Computer Science University of Petroleum and Energy Studies Dehradun India New Delhi India School of Electronic Engineering and Computer Science Queen Mary University of London United Kingdom Laboratory School of Computing and Information Systems University of Melbourne Australia

Coronavirus disease (COVID-19) is an infectious disease caused by a newly discovered coronavirus. It is similar to influenza viruses and raises concerns through alarming levels of spread and severity resulting in an ongoing pandemic world-wide. Within five months (by May 2020), it infected 5.89 million persons world-wide and over 357 thousand have died. Drones or Unmanned Aerial Vehicles (UAVs) are very helpful in handling the COVID-19 pandemic. This work investigates the drone-based systems, COVID-19 pandemic situations, and proposes architecture for handling pandemic situations in different scenarios using real-time and simulation-based case studies. The proposed architecture uses wearable sensors to record the observations in Body Area Networks (BANs) in a push-pull data fetching mechanism. The proposed architecture is found to be useful in remote and highly congested pandemic areas where either the wireless or Internet connectivity is a major issue or chances of COVID-19 spreading are high. It collects and stores the substantial amount of data in a stipulated period and helps to take appropriate action as and when required. In real-time drone-based healthcare system implementation for COVID-19 operations, it is observed that a large area can be covered for sanitization, thermal image collection, patient identification etc. within a short period (2 KMs within 10 minutes approx.) through aerial route. In the simulation, the same statistics are observed with an addition of collision-resistant strategies working successfully for indoor and outdoor healthcare operations. Copyright © 2020, The Authors. All rights reserved.

关键词： Coronavirus

来源：评论

学校读者我要写书评

暂无评论

Framing image registration as a landmark detection problem for label-noise-aware task representation (HitR)

arXiv

引用

arXiv 2023年

作者： Waldmannstetter, Diana Ezhov, Ivan Wiestler, Benedikt Campi, Francesco Kukuljan, Ivan Ehrlich, Stefan Vinayahalingam, Shankeeth Baheti, Bhakti Chakrabarty, Satrajit Baid, Ujjwal Bakas, Spyridon Schwarting, Julian Metz, Marie Kirschke, Jan S. Rueckert, Daniel Heckemann, Rolf A. Piraud, Marie Menze, Bjoern H. Kofler, Florian Department of Computer Science TUM School of Computation Information and Technology Technical University of Munich Munich Germany Department of Quantitative Biomedicine University of Zurich Zurich Switzerland Department of Diagnostic and Interventional Neuroradiology School of Medicine Klinikum rechts der Isar Technical University of Munich Germany Helmholtz AI Helmholtz Munich Neuherberg Germany TranslaTUM - Central Institute for Translational Cancer Research Technical University of Munich Germany Healthcare Technologies SETLabs Research Munich Germany Department of Oral and Maxillofacial Surgery Radboud University Nijmegen Medical Centre Nijmegen Netherlands Division of Computational Pathology Department of Pathology and Laboratory Medicine School of Medicine Indiana University IndianapolisIN United States Department of Electrical and Systems Engineering Washington University in St.Louis St. LouisMO United States Artificial Intelligence in Healthcare and Medicine Technical University of Munich Munich Germany Department of Computing Imperial College London London United Kingdom Department of Medical Radiation Sciences University of Gothenburg Gothenburg Sweden

Accurate image registration is pivotal in bio-medical image analysis, where selecting suitable registration algorithms demands careful consideration. While numerous algorithms are available, the evaluation metrics to assess their performance have remained relatively static. This study addresses this challenge by introducing a novel evaluation metric termed Landmark Hit Rate (HitR), which focuses on the clinical relevance of image registration accuracy. Unlike traditional metrics such as Target Registration Error, which emphasize sub-resolution differences, HitR considers whether registration algorithms successfully position landmarks within defined confidence zones. This paradigm shift acknowledges the inherent annotation noise in medical images, allowing for more meaningful assessments. To equip HitR with label-noise-awareness, we propose defining these confidence zones based on an Inter-rater Variance analysis. Consequently, hit rate curves are computed for varying landmark zone sizes, enabling performance measurement for a task-specific level of accuracy. Our approach offers a more realistic and meaningful assessment of image registration algorithms, reflecting their suitability for clinical and biomedical applications. Copyright © 2023, The Authors. All rights reserved.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

Hyperspectral Image Classification with Spatial Consistence Using Fully Convolutional Spatial Propagation Network

arXiv

引用

arXiv 2020年

作者： Jiang, Yenan Li, Ying Zou, Shanrong Zhang, Haokui Bai, Yunpeng School of Computer Science National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data Application Technology Shaanxi Provincial Key Laboratory of Speech and Image Information Processing Northwestern Polytechnical University Xi’an710129 China School of Computer Science University of Adelaide AdelaideSA5005 Australia National Key Laboratory of Science and Technology on Space Microwave Xi’an710000 China School of Computing and Information Systems University of Melbourne MelbourneVIC3010 Australia

In recent years, deep convolutional neural networks (CNNs) have demonstrated impressive ability to represent hyperspectral images (HSIs) and achieved encouraging results in HSI classification. However, the existing CNN-based models operate at the patch-level, in which pixel is separately classified into classes using a patch of images around it. This patch-level classification will lead to a large number of repeated calculations, and it is hard to identify the appropriate patch size that is beneficial to classification accuracy. In addition, the conventional CNN models operate convolutions with local receptive fields, which cause the failure of contextual spatial information modeling. To overcome these aforementioned limitations, we propose a novel end-to-end, pixel-to-pixel fully convolutional spatial propagation network (FCSPN) for HSI classification. Our FCSPN consists of a 3D fully convolution network (3D-FCN) and a convolutional spatial propagation network (CSPN). Specifically, the 3D-FCN is firstly introduced for reliable preliminary classification, in which a novel dual separable residual (DSR) unit is proposed to effectively capture spectral and spatial information simultaneously with fewer parameters. Moreover, the channel-wise attention mechanism is adapted in the 3D-FCN to grasp the most informative channels from redundant channel information. Finally, the CSPN is introduced to capture the spatial correlations of HSI via learning a local linear spatial propagation, which allows maintaining the HSI spatial consistency and further refining the classification results. Experimental results on three HSI benchmark datasets demonstrate that the proposed FCSPN achieves state-of-the-art performance on HSI classification. Copyright © 2020, The Authors. All rights reserved.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Technology Roadmap for Flexible Sensors

引用

ACS NANO 2023年第6期17卷 5211-5295页

作者： Luo, Yifei Abidian, Mohammad Reza Ahn, Jong-Hyun Akinwande, Deji Andrews, Anne M. Antonietti, Markus Bao, Zhenan Berggren, Magnus Berkey, Christopher A. Bettinger, Christopher John Chen, Jun Chen, Peng Cheng, Wenlong Cheng, Xu Choi, Seon-Jin Chortos, Alex Dagdeviren, Canan Dauskardt, Reinhold H. Di, Chong-an Dickey, Michael D. Duan, Xiangfeng Facchetti, Antonio Fan, Zhiyong Fang, Yin Feng, Jianyou Feng, Xue Gao, Huajian Gao, Wei Gong, Xiwen Guo, Chuan Fei Guo, Xiaojun Hartel, Martin C. He, Zihan Ho, John S. Hu, Youfan Huang, Qiyao Huang, Yu Huo, Fengwei Hussain, Muhammad M. Javey, Ali Jeong, Unyong Jiang, Chen Jiang, Xingyu Kang, Jiheong Karnaushenko, Daniil Khademhosseini, Ali Kim, Dae-Hyeong Kim, Il-Doo Kireev, Dmitry Kong, Lingxuan Lee, Chengkuo Lee, Nae-Eung Lee, Pooi See Lee, Tae-Woo Li, Fengyu Li, Jinxing Liang, Cuiyuan Lim, Chwee Teck Lin, Yuanjing Lipomi, Darren J. Liu, Jia Liu, Kai Liu, Nan Liu, Ren Liu, Yuxin Liu, Yuxuan Liu, Zhiyuan Liu, Zhuangjian Loh, Xian Jun Lu, Nanshu Lv, Zhisheng Magdassi, Shlomo Malliaras, George G. Matsuhisa, Naoji Nathan, Arokia Niu, Simiao Pan, Jieming Pang, Changhyun Pei, Qibing Peng, Huisheng Qi, Dianpeng Ren, Huaying Rogers, John A. Rowe, Aaron Schmidt, Oliver G. Sekitani, Tsuyoshi Seo, Dae-Gyo Shen, Guozhen Sheng, Xing Shi, Qiongfeng Someya, Takao Song, Yanlin Stavrinidou, Eleni Su, Meng Sun, Xuemei Takei, Kuniharu Tao, Xiao-Ming Tee, Benjamin C. K. Thean, Aaron Voon-Yew Trung, Tran Quang Wan, Changjin Wang, Huiliang Wang, Joseph Wang, Ming Wang, Sihong Wang, Ting Wang, Zhong Lin Weiss, Paul S. Wen, Hanqi Xu, Sheng Xu, Tailin Yan, Hongping Yan, Xuzhou Yang, Hui Yang, Le Yang, Shuaijian Yin, Lan Yu, Cunjiang Yu, Guihua Yu, Jing Yu, Shu-Hong Yu, Xinge Zamburg, Evgeny Zhang, Haixia Zhang, Xiangyu Zhang, Xiaosheng Zhang, Xueji Zhang, Yihui Zhang, Yu Zhao, Siyuan Zhao, Xuanhe Zheng, Yuanjin Zheng, Yu-Qing Zheng, Zijian Zhou, Tao Zhu, Bowen Zhu, Ming Zhu, Rong Zhu, Yangzhi Zhu, Yong Zou, Guijin Chen, Xiaodong Institute of Materials Research and Engineering (IMRE) Agency for Science Technology and Research (A*STAR) 2 Fusionopolis Way #08-03 Innovis Singapore 138634 Republic of Singapore；Innovative Centre for Flexible Devices (iFLEX) School of Materials Science and Engineering Nanyang Technological University Singapore 639798 Singapore Department of Biomedical Engineering University of Houston Houston Texas 77024 United States School of Electrical and Electronic Engineering Yonsei University Seoul 03722 Republic of Korea Department of Electrical and Computer Engineering The University of Texas at Austin Austin Texas 78712 United States；Microelectronics Research Center The University of Texas at Austin Austin Texas 78758 United States Department of Chemistry and Biochemistry California NanoSystems Institute and Department of Psychiatry and Biobehavioral Sciences Semel Institute for Neuroscience and Human Behavior and Hatos Center for Neuropharmacology University of California Los Angeles Los Angeles California 90095 United States Colloid Chemistry Department Max Planck Institute of Colloids and Interfaces 14476 Potsdam Germany Department of Chemical Engineering Stanford University Stanford California 94305 United States Laboratory of Organic Electronics Department of Science and Technology Campus Norrköping Linköping University 83 Linköping Sweden；Wallenberg Initiative Materials Science for Sustainability (WISE) and Wallenberg Wood Science Center (WWSC) SE-100 44 Stockholm Sweden Department of Materials Science and Engineering Stanford University Stanford California 94301 United States Department of Biomedical Engineering and Department of Materials Science and Engineering Carnegie Mellon University Pittsburgh Pennsylvania 15213 United States Department of Bioengineering University of California Los Angeles Los Angeles California 90095 United States School of Chemistry Chemical Engineering and Biotechnology Nanyang Technological University Singapore 637457

Humans rely increasingly on sensors to address grand challenges and to improve quality of life in the era of digitalization and big data. For ubiquitous sensing, flexible sensors are developed to overcome the limitations of conventional rigid counterparts. Despite rapid advancement in bench-side research over the last decade, the market adoption of flexible sensors remains limited. To ease and to expedite their deployment, here, we identify bottlenecks hindering the maturation of flexible sensors and propose promising solutions. We first analyze continued...challenges in achieving satisfactory sensing performance for real-world applications and then summarize issues in compatible sensor-biology interfaces, followed by brief discussions on powering and connecting sensor networks. Issues en route to commercialization and for sustainable growth of the sector are also analyzed, highlighting environmental concerns and emphasizing nontechnical issues such as business, regulatory, and ethical considerations. Additionally, we look at future intelligent flexible sensors. In proposing a comprehensive roadmap, we hope to steer research efforts towards common goals and to guide coordinated development strategies from disparate communities. Through such collaborative

关键词： soft materials mechanics engineering flexible electronics conformable sensors bioelectronics human-machine interfaces body area sensor networks technology translation sustainable electronics

来源：评论

学校读者我要写书评

暂无评论

Quality Matters:Biocuration Experts on the Impact of Duplication and Other Data Quality Issues in Biological Databases

引用

Genomics, Proteomics & Bioinformatics 2020年第2期18卷 91-103页

作者： Qingyu Chen Ramona Britto Ivan Erill Constance J.Jeffery Arthur Liberzon Michele Magrane Jun-ichi Onami Marc Robinson-Rechavi Jana Sponarova Justin Zobel Karin Verspoor School of Computing and Information Systems University of MelbourneMelbourneVIC 3010Australia European Molecular Biology Laboratory European Bioinformatics Institute(EMBL-EBI)Wellcome Trust Genome CampusCambridge CB101SDUK Department of Biological Sciences University of MarylandBaltimoreMD 21250USA Department of Biological Sciences University of Illinois at ChicagoChicagoIL 60607USA Broad Institute of MIT and Harvard CambridgeMA 02142USA Japan Science and Technology Agency National Bioscience Database CenterTokyo 102-8666Japan National Institute of Health Sciences Tokyo 158-8501Japan Swiss Institute of Bioinformatics CH-1015 LausanneSwitzerland Department of Ecology and Evolution University of LausanneCH-1015 LausanneSwitzerland Nebion AG 8048 ZurichSwitzerland

Introduction Biological databases represent an extraordinary collective volume of *** built up over decades and comprising many millions of contributions from the biomedical research community,biological databases provide worldwide access to a massive number of records(also known as entries)[1].Starting from individual laboratories,genomes are sequenced.

关键词： Impact collective massive

来源：评论

学校读者我要写书评

暂无评论

A benchmark test of boson sampling on Tianhe-2 supercomputer

引用

National Science Review 2018年第5期5卷 715-720页

作者： Junjie Wu Yong Liu Baida Zhang Xianmin Jin Yang Wang Huiquan Wang Xuejun Yang Institute for Quantum Information & State Key Laboratory of High Performance Computing College of ComputerNational University of Defense Technology State Key Laboratory of Advanced Optical Communication Systems and Networks School of Physics and AstronomyShanghai Jiao Tong University Synergetic Innovation Center of Quantum Information and Quantum Physics University of Science and Technology of China

Boson sampling, thought to be intractable classically, can be solved by a quantum machine composed of merely generation, linear evolution and detection of single photons. Such an analog quantum computer for this specific problem provides a shortcut to boost the absolute computing power of quantum computers to beat classical ones. However, the capacity bound of classical computers for simulating boson sampling has not yet been identified. Here we simulate boson sampling on the Tianhe-2 supercomputer, which occupied the first place in the world ranking six times from 2013 to 2016. We computed the permanent of the largest matrix using up to 312 000 CPU cores of Tianhe-2, and inferred from the current most efficient permanent-computing algorithms that an upper bound on the performance of Tianhe-2 is one 50-photon sample per ～100 min. In addition, we found a precision issue with one of two permanent-computing algorithms.

关键词： boson sampling permanent quantum supremacy quantum computing supercomputer

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：