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

Primitives towards verifiable computation： a survey

Frontiers of computer Science 2018年第3期12卷 451-478页

作者： Haseeb AHMAD Licheng WANG Haibo HONG Jing LI Hassan DAWOOD Manzoor AHMED Yixian YANG State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Computer Science and Information Engineering Zhejiang Gongshang University Hangzhou 310018 China Department of Computer Engineering University of Engineering and Technology Taxila 47050 Pakistan Future Internet & Communication Lab Department of Electronic Engineering Tsinghua University Beijing 100084 China

Verifiable computation （VC） paradigm has got the captivation that in real term is highlighted by the concept of third party computation. In more explicate terms, VC allows resource constrained clients/organizations to securely outsource expensive computations to untrusted service providers, while acquiring the publicly or privately verifiable results. Many mainstream solutions have been proposed to address the diverse problems within the VC domain. Some of them imposed assumptions over performed computations, while the others took advantage of interactivity /non-interactivity, zero knowledge proofs, and arguments. Further proposals utilized the powers of probabilistic checkable or computationally sound proofs. In this survey, we present a chronological study and classify the VC proposals based on their adopted domains. First, we provide a broader overview of the theoretical advancements while critically analyzing them. Subsequently, we present a comprehensive view of their utilization in the state of the art VC approaches. Moreover, a brief overview of recent proof based VC systems is also presented that lifted up the VC domain to the verge of practicality. We use the presented study and reviewed resuits to identify the similarities and alterations, modifications, and hybridization of different approaches, while comparing their advantages and reporting their overheads. Finally, we discuss implementation of such VC based systems, their applications, and the likely future directions.

关键词： verifiable computation cloud computation interactive non-interactive zero knowledge probabilisticcheckable proofs computationally sound proofs

来源：评论

学校读者我要写书评

暂无评论

NTIRE 2021 challenge on video super-resolution

arXiv

引用

arXiv 2021年

作者： Son, Sanghyun Lee, Suyoung Nah, Seungjun Timofte, Radu Lee, Kyoung Mu Chan, Kelvin C.K. Zhou, Shangchen Xu, Xiangyu Loy, Chen Change Jiang, Boyuan Lin, Chuming Dong, Yuchun Luo, Donghao Chu, Wenqing Ji, Xiaozhong Yang, Siqian Tai, Ying Wang, Chengjie Li, Jilin Huang, Feiyue Chen, Chengpeng Chu, Xiaojie Zhang, Jie Lu, Xin Chen, Liangyu Lin, Jing Du, Guodong Hao, Jia Zou, Xueyi Zhang, Qi Jiang, Lielin Li, Xin Zheng, He Liu, Fanglong He, Dongliang Li, Fu Dang, Qingqing Yi, Peng Wang, Zhongyuan Jiang, Kui Jiang, Junjun Ma, Jiayi Chen, Yuxiang Wang, Yutong Liu, Ting Sun, Qichao Liang, Huanwei Li, Yiming Li, Zekun Ruan, Zhubo Shang, Fanjie Guo, Chen Li, Haining Luo, Renjun Shen, Longjie Zafirouli, Kassiani Karageorgos, Konstantinos Konstantoudakis, Konstantinos Dimou, Anastasios Daras, Petros Song, Xiaowei Zhuo, Xu Liu, Hanxi Guo, Mengxi Li, Junlin Li, Yu Zhu, Ye Wang, Qing Zhao, Shijie Sun, Xiaopeng Zhan, Gen Xie, Tangxin Jia, Yu Lu, Yunhua Zhang, Wenhao Sun, Mengdi Michelini, Pablo Navarrete Zhang, Xueheng Jiang, Hao Chen, Zhiyu Chen, Li Xiong, Zhiwei Xiao, Zeyu Xu, Ruikang Cheng, Zhen Fu, Xueyang Song, Fenglong Luo, Zhipeng Yao, Yuehan Dutta, Saikat Shah, Nisarg A. Das, Sourya Dipta Zhao, Peng Shi, Yukai Liu, Hongying Shang, Fanhua Liu, Yuanyuan Chen, Fei Yu, Fangxu Gao, Ruisheng Bai, Yixin Heo, Jeonghwan Yue, Shijie Li, Chenghua Li, Jinjing Zheng, Qian Gang, Ruipeng Song, Ruixia Wee, Seungwoo Jeong, Jechang Li, Chen Wen, Geyingjie Chai, Xinning Song, Li Department of ECE ASRI SNU Korea Republic of Computer Vision Lab ETH Zurich Switzerland S-Lab Nanyang Technological University Singapore YouTu Lab Tencent East China Normal University China Megvii Peking University China Fudan University China Noah's Ark Lab Huawei Canada Technologies Co. Ltd Baidu Inc National Engineering Research Center for Multimedia Software Wuhan University China School of Computer Science and Technology Harbin Institute of Technology China Electronic Information School Wuhan University China School of Computer Science and Engineering University of Electronic Science and Technology of China China MTlab Meitu Inc Xidian university China ITI CERTH Greece Southeast University China Tencent PCG South China University of Technology China ByteDance Sun Yat-Sen University China Electronic Technology Cyber Security Co. Ltd. AIoT R&D Centre BOE Technology Group Co. Ltd. Shanghai Jiao Tong University China University of Science and Technology of China China Huawei Noah's Ark Lab DeepBlue Technology Shanghai Co. Ltd Indian Institute of Technology Madras India Indian Institute of Technology Jodhpur India Jadavpur University India Xidian University China Hanyang University Korea Republic of NCUT China CASIA China CUC China NRTA China

Super-Resolution (SR) is a fundamental computer vision task that aims to obtain a high-resolution clean image from the given low-resolution counterpart. This paper reviews the NTIRE 2021 Challenge on Video Super-Resolution. We present evaluation results from two competition tracks as well as the proposed solutions. Track 1 aims to develop conventional video SR methods focusing on the restoration quality. Track 2 assumes a more challenging environment with lower frame rates, casting spatio-temporal SR problem. In each competition, 247 and 223 participants have registered, respectively. During the final testing phase, 14 teams competed in each track to achieve state-of-the-art performance on video SR tasks. © 2021, CC BY-NC-ND.

关键词： Optical resolving power

来源：评论

学校读者我要写书评

暂无评论

NTIRE 2020 Challenge on Video Quality Mapping: Methods and Results

NTIRE 2020 Challenge on Video Quality Mapping: Methods and R...

引用

IEEE computer Society Conference on computer Vision and Pattern Recognition Workshops (CVPRW)

作者： Dario Fuoli Zhiwu Huang Martin Danelljan Radu Timofte Hua Wang Longcun Jin Dewei Su Jing Liu Jaehoon Lee Michal Kudelski Lukasz Bala Dmitry Hrybov Marcin Mozejko Muchen Li Siyao Li Bo Pang Cewu Lu Chao Li Dongliang He Fu Li Shilei Wen Computer Vision Lab ETH Zurich Switzerland School of Software Engineering South China University of Technology Guangdong China Multimedia and Computer Vision Lab East China Normal University Shanghai China Department of Electronics and Computer Engineering Hanyang University Seoul Korea TCL Research Europe Warsaw Poland Machine Vision and Intelligence Group Department of Computer Science Shanghai Jiao Tong University Shanghai China Department of Computer Vision Technology (VIS) Baidu Inc. Beijing China

ISBN: (数字)9781728193601

ISBN: (纸本)9781728193618

This paper reviews the NTIRE 2020 challenge on video quality mapping (VQM), which addresses the issues of quality mapping from source video domain to target video domain. The challenge includes both a supervised track (track 1) and a weakly-supervised track (track 2) for two benchmark datasets. In particular, track 1 offers a new Internet video benchmark, requiring algorithms to learn the map from more compressed videos to less compressed videos in a supervised training manner. In track 2, algorithms are required to learn the quality mapping from one device to another when their quality varies substantially and weakly- aligned video pairs are available. For track 1, in total 7 teams competed in the final test phase, demonstrating novel and effective solutions to the problem. For track 2, some existing methods are evaluated, showing promising solutions to the weakly-supervised video quality mapping problem.

关键词： Video recording Quality assessment Generative adversarial networks Target tracking Training Cameras Image coding

来源：评论

学校读者我要写书评

暂无评论

Real-Time Redundant Scrubbing (RRS) System for Radiation Protection on SRAM-Based FPGA

Real-Time Redundant Scrubbing (RRS) System for Radiation Pro...

引用

International Conference on computers, Communications, and Systems (ICCCS)

作者： Jianwei Zhang Tao Han Yajun Li Jinghu Li Liaoning Key Lab of Integrated Circuit and Biomedical Electronic System Faculty of Electronic Information and Electrical Engineering Dalian University of Technology Dalian China School of Microelectronics Dalian University of Technology Dalian China College of Computer and Information Sciences Fujian Agriculture and Forestry University Fuzhou China

ISBN: (数字)9781728161365

ISBN: (纸本)9781728161372

SRAM-based Field Programmable Gate Array (FPGA) is vulnerable to the serious radiation effects represented by Single Event Upset (SEU) effect in space. Triple Modular Redundancy (TMR) and configuration scrubbing are effective methods of FPGA radiation protection, but each has its own shortcomings: TMR structure can't correct errors, and scrub circuit, also called “scrubber”, is sensitive to radiation. In response to the problem, this paper proposes a Real-time Redundant Scrubbing (RRS) system. Based on the traditional configuration scrubbing, TMR structure is applied to the scrubber. And the error indicator is added to the traditional TMR structure. When the scrubber has errors due to SEU, the scrubber will be scrubbed in real-time to prevent error accumulation. In addition, the floorplan of the three redundant logic is distributed to avoid the influence of a SEU on multiple redundant logic at the same time. In this paper, the anti-radiation capability of the proposed RRS system is evaluated by random fault injection. The test results show that the anti-radiation capability of the RRS system is more than 2 times higher than that of traditional configuration scrubbing system.

关键词： Materials handling Field programmable gate arrays Radiation hardening (electronics) Real-time systems Single event upsets Radiation effects Redundancy

来源：评论

学校读者我要写书评

暂无评论

Fog-cloud task scheduling of energy consumption optimisation with deadline consideration

引用

International Journal of Internet Manufacturing and Services 2020年第4期7卷 375-392页

作者： Xu, Jiuyun Sun, Xiaoting Zhang, Ruru Liang, Hongliang Duan, Qiang School of Computer and Communication Engineering China University of Petroleum Qingdao China Software Technology Company No. 58 Kunshan Road Science and Technology City Suzhou High-Tech Zone Jiangsu Province China Department of Informatics Beijing University of Posts and Telecommunications Beijing China Information Sciences and Technology Department Pennsylvania State University PennsylvaniaPA United States

The emerging IoT introduces many new challenges that cannot be adequately addressed by the current 'cloud-only' architectures. The cooperation of the fog and cloud is considered to be a promising architecture, which efficiently handles IoT's data processing and communications requirements. However, how to schedule tasks to better adapt to IoT real-time needs and reduce the energy in the fog-cloud system is not well addressed. In this paper, we first model the energy consumption of the fog and cloud, respectively, and formulate a task scheduling problem into a constrained optimisation problem in fog-cloud computing system. Then, an efficient deadline-energy scheduling algorithm based on ant colony optimisation (DEACO) is put forward to tackle this problem, which achieves to reduce energy consumption on the condition of satisfying the task deadline. Finally, algorithms have been simulated on the extended CloudSim simulator. The experimental results have shown that our scheduling approach reduces energy more effective. © 2020 Inderscience Enterprises Ltd.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Multi-scale dynamic feature encoding network for image demoiréing 17

Multi-scale dynamic feature encoding network for image demoi...

引用

17th IEEE/CVF International Conference on computer Vision Workshop, ICCVW 2019

作者： Cheng, Xi Fu, Zhenyong Yang, Jian PCA Lab Key Lab of Intelligent Percept. and Syst. for High-Dimensional Information of Ministry of Education Jiangsu Key Lab of Image and Video Understanding for Social Security School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing China

ISBN: (纸本)9781728150239

The prevalence of digital sensors, such as digital cameras and mobile phones, simplifies the acquisition of photos. Digital sensors, however, suffer from producing Moire when photographing objects having complex textures, which deteriorates the quality of photos. Moire spreads across various frequency bands of images and is a dynamic texture with varying colors and shapes, which pose two main challenges in demoireing - an important task in image restoration. In this paper, towards addressing the first challenge, we design a multi-scale network to process images at different spatial resolutions, obtaining features in different frequency bands, and thus our method can jointly remove moire in different frequency bands. Towards solving the second challenge, we propose a dynamic feature encoding module (DFE), embedded in each scale, for dynamic texture. Moire pattern can be eliminated more effectively via *** proposed method, termed Multi-scale convolutional network with Dynamic feature encoding for image DeMoireing (MDDM), can outperform the state of the arts in fidelity as well as perceptual on benchmarks. © 2019 IEEE.

关键词： Image reconstruction

来源：评论

学校读者我要写书评

暂无评论

Mural sketch generation via style-aware convolutional neural network 2018

Mural sketch generation via style-aware convolutional neural...

引用

2018 computer Graphics International Conference, CGI 2018

作者： Pan, Gang Sun, Di Zhan, Rui Zhang, Jiawan School of Computer Software Tianjin University China School of Computer Science and Information Engineering Tianjin University of Science and Technology China

ISBN: (纸本)1595930361

Sketch is one of the most important art expression forms for traditional Chinese painting. This paper presents a complete sketch generation framework for ancient mural paintings. First, we propose a deep learning network to perform mural-to-sketch prediction by combining meaningful convolutional features in a holistic manner. A dedicated mural database with fine-grained ground truth is built for network training and testing. Then we design a style-aware image fusion approach by detecting the specific feature region in a mural, from which the artistic style can be maximally preserved. Experimental results have demonstrated its validity in extracting style mural sketch. This work has the potential to provide a computer aided tool for artists and restorers to imitate and restore time-honored paintings. © 2018 ACM.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

General limit to thermodynamic annealing performance

arXiv

引用

arXiv 2023年

作者： Luo, Yutong Zhen, Yi-Zheng Liu, Xiangjing Ebler, Daniel Dahlsten, Oscar Blackett Laboratory Imperial College London LondonSW7 2AZ United Kingdom Department of Physics Southern University of Science and Technology Shenzhen518055 China Hefei National Research Center for Physical Sciences the Microscale School of Physical Sciences University of Science and Technology of China Hefei230026 China Shanghai Research Center for Quantum Science CAS Center for Excellence in Quantum Information and Quantum Physics University of Science and Technology of China Shanghai201315 China Theory Lab Central Research Institute 2012 Labs Huawei Technology Co. Ltd. Hong Kong Science Park Hong Kong Department of Computer Science The University of Hong Kong Pokfulam Road Hong Kong Department of Physics City University of Hong Kong Tat Chee Avenue Kowloon Hong Kong Shenzhen Institute for Quantum Science and Engineering Department of Physics Southern University of Science and Technology Shenzhen518055 China Institute of Nanoscience and Applications Southern University of Science and Technology Shenzhen518055 China

Annealing has proven highly successful in finding minima in a cost landscape. Yet, depending on the landscape, systems often converge towards local minima rather than global ones. In this Letter, we analyse the conditions for which annealing is approximately successful in finite time. We connect annealing to stochastic thermodynamics to derive a general bound on the distance between the system state at the end of the annealing and the ground state of the landscape. This distance depends on the amount of state updates of the system and the accumulation of non-equilibrium energy, two protocol and energy landscape dependent quantities which we show are in a trade-off relation. We describe how to bound the two quantities both analytically and physically. This offers a general approach to assess the performance of annealing from accessible parameters, both for simulated and physical implementations. © 2023, CC BY-NC-ND.

关键词： Annealing

来源：评论

学校读者我要写书评

暂无评论

Bound on annealing performance from stochastic thermodynamics, with application to simulated annealing

arXiv

引用

arXiv 2023年

Annealing is the process of gradually lowering the temperature of a system to guide it towards its lowest energy states. In an accompanying paper [Luo et al. Phys. Rev. E 108, L052105 (2023)], we derived a general bound on annealing performance by connecting annealing with stochastic thermodynamics tools, including a speed-limit on state transformation from entropy production. We here describe the derivation of the general bound in detail. In addition, we analyze the case of simulated annealing with Glauber dynamics in depth. We show how to bound the two case-specific quantities appearing in the bound, namely the activity, a measure of the number of microstate jumps, and the change in relative entropy between the state and the instantaneous thermal state, which is due to temperature variation. We exemplify the arguments by numerical simulations on the SK model of spin-glasses. © 2023, CC BY-NC-ND.

关键词： Simulated annealing

来源：评论

学校读者我要写书评

暂无评论

SEBF: A single-chain based extension model of blockchain for fintech 29

SEBF: A single-chain based extension model of blockchain for...

引用

29th International Joint Conference on Artificial Intelligence, IJCAI 2020

作者： Ji, Yimu Gu, Weiheng Chen, Fei Xiao, Xiaoying Sun, Jing Liu, Shangdong He, Jing Li, Yunyao Zhang, Kaixiang Mei, Fen Wu, Fei School of Computer Science Nanjing University of Posts and Telecommunications Nanjing China Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks Nanjing China Institue of High Performance Computing and Bigdata Nanjing University of Posts and Telecommunications Nanjing China Nanjing Center of HPC China Nanjing China Jiangsu HPC and Intelligent Processing Engineer Research Center Nanjing China Institute of Information Technology Nanjing University of Finance and Economics Nanjing China School of Software and Electrical Engineering Swinburne University of Technology Hawthorn Australia WeBank Co. Ltd. Shenzhen China College of Automation Nanjing University of Posts and Telecommunications Nanjing China

ISBN: (纸本)9780999241165

The traditional blockchain has the shortcoming that a single-chain can only deal with one or a few specific data types. The research question of how to make blockchain be able to deal with various data types has not been well studied. In this paper, we propose a single-chain based extension model of blockchain for fintech (SEBF). In the financial environment, we design a four-layer architecture for this model. By employing the external trusted oracle group and a financial regulator agency, a variety types of data can be effectively stored in the blockchain, such that the data type extension based on a single-chain is realized. The experimental results indicate that the proposed model can improve the efficiency of simplified payment verification. © 2020 Inst. Sci. inf., Univ. Defence in Belgrade. All rights reserved.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：