云南高校图书馆联盟文献共享服务平台- PROOF

PROOF: 作品数：797被引量：583H指数：9; 导出分析报告; 相关领域：理学更多>>; 相关作者：王耀王德国肖付刚刘建民夏金月更多>>; 相关机构：河南科技大学许昌学院广西大学河南工业大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划中国博士后科学基金国家社会科学基金更多>>

Corrigendum: MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons: 《Neural Regeneration Research》2025年第4期945-945,共1页; There is an error in the name of the cell line in the abstract of the published paper“MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons”published on pages 2698-2707,Issue 12,Volume 19 of Ne...; 关键词：FUNCTION PROOF correction

Software Defined Range-Proof Authentication Mechanism for Untraceable Digital ID: 《Computer Modeling in Engineering & Sciences》2025年第3期3213-3228,共16页So-Eun Jeon Yeon-Ji Lee Il-Gu Lee; funding from the Korea Institute for Advancement of Technology(KIAT)through a grant provided by the Korean Government Ministry of Trade,Industry,and Energy(MOTIE)(RS-2024-00415520,Training Industrial Security Specialist for High-Tech Industry);Additional support was received from the Ministry of Science and ICT(MSIT)under the ICAN(ICT Challenge and Advanced Network of HRD)program(No.IITP-2022-RS-2022-00156310)overseen by the Institute of Information&Communication Technology Planning and Evaluation(IITP).; The Internet of Things(IoT)is extensively applied across various industrial domains,such as smart homes,factories,and intelligent transportation,becoming integral to daily life.Establishing robust policies for managin...; 关键词：Internet of Things AUTHENTICATION digital ID security

Towards Net Zero Resilience: A Futuristic Architectural Strategy for Cyber-Attack Defence in Industrial Control Systems (ICS) and Operational Technology (OT): 《Computers, Materials & Continua》2025年第2期3619-3641,共23页Hariharan Ramachandran Richard Smith Kenny Awuson David Tawfik Al-Hadhrami Parag Acharya; funded by the Office of Gas and Electricity Markets(Ofgem)and supported by De Montfort University(DMU)and Nottingham Trent University(NTU),UK.; This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA f...; 关键词：ICS/OT cyber Programmable Logic Controllers(PLC)security detection safety reliability proof testing gas compressor station ICS resilience security architecture ICS

Does a higher hashrate strengthen Bitcoin network security?: 《Financial Innovation》2024年第1期1032-1046,共15页Daehan Kim Doojin Ryu Robert I.Webb; supported by the Ministry of Education of the Republic of Korea and the National Research Foundation of Korea(NRF-2022S1A5A2A01044485).; In the blockchain world,proof-of-work is the dominant protocol mechanism that determines the consensus of the ledger.The hashrate,a measure of the computational power directed toward securing a blockchain through proo...; 关键词：Bitcoin Blockchain security Blockchain sustainability Financial innovation Proof-of-work

Dynamic frailty-tailored therapy(DynaFiT):A proof-of-concept study in elderly patients with newly diagnosed multiple myeloma: 《Blood Science》2024年第4期70-72,共3页Yun Dai Fengyan Jin; funded by the National Natural Science Foundation of China(No.81471165,81670190,81670189,81870160,81971108,82270207,and 82370202);the Science and Technology Development Program of the Jilin Province(No.20190201042JC,20190201163JC,YDZJ202301ZYTS021,and 20210509010RQ);Interdisciplinary Integration and Innovation Project of Jilin University.; Emerging evidence indicates that the fitness/frailty status of elderly patients with multiple myeloma(MM)is highly dynamic,influenced by factors such as aging,disease progression,and treatment.This underscores the imp...; 关键词：PATIENTS TREATMENT MYELOMA

A Brief Proof of Spanning Trees with a Bounded Number of Leaves in a Claw-Free Graph: 《Wuhan University Journal of Natural Sciences》2024年第6期558-562,共5页JIANG Zhiyi CAI Junqing; For a graph G and an positive integer k,letσ_k(G)denote the minimum degree sum of k independent vertices of G.It has been proved that if a connected claw-free graph G satisfiesσ_(k+1)(G)≥|G|-k,then G has a spanning...; 关键词：ended system spanning t-ended tree claw-free graph LEAF degree sum

nPPoS:Non-interactive practical proof-of-storage for blockchain: 《Blockchain(Research and Applications)》2024年第4期27-40,共14页Jun Wook Heo Gowri Ramachandran Raja Jurdak; Blockchain full nodes are pivotal for transaction availability,as they store the entire ledger,but verifying their storage integrity faces challenges from malicious remote storage attacks such as Sybil,outsourcing,and...; 关键词：Blockchain Proof-of-storage zk-starks

Looking for stability in proof-of-stake based consensus mechanisms: 《Blockchain(Research and Applications)》2024年第4期41-50,共10页Alberto Leporati Lorenzo Rovida; The Proof-of-Stake(PoS)consensus algorithm has been criticized in the literature and in several cryptocurrency communities,due to the so-called compounding effect:who is richer has more coins to stake,therefore a high...; 关键词：Blockchain Proof-of-stake Compounding effect Wealth distribution Tokenomics

Correction to:An Efficient Randomized Fixed-Precision Algorithm for Tensor Singular Value Decomposition: 《Communications on Applied Mathematics and Computation》2024年第4期2332-2335,共4页Salman Ahmadi-Asl; Correction to:Communications on Applied Mathematics and Computation(2023)5:1564-1583 https://doi.0rg/10.1007/s42967-022-00218-w Regretfully,due to technical issues encountered during the proofreading process,certain p...; 关键词：PROBLEMS Fixed PROOF

Robust continuous-variable quantum key distribution in the finite-size regime: 《Photonics Research》2024年第11期2549-2558,共10页YUEHAN XU TAO WANG XIAOJUAN LIAO YINGMING ZHOU PENG HUANG GUIHUA ZENG; Innovation Program for Quantum Science and Technology(2021ZD0300703);National Natural Science Foundation of China(62101320);Shanghai Municipal Science and Technology Major Project(2019SHZDZX01);Hebei Provincial Science and Technology Project(22310701D)。; Quantum key distribution(QKD)has been proven to be theoretically unconditionally secure.However,any theoretical security proof relies on certain assumptions.In QKD,the assumption in the theoretical proof is that the s...; 关键词：FINITE PROOF size

PROOF