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

PROOFS: 作品数：33被引量：84H指数：3; 导出分析报告; 相关领域：理学更多>>; 相关作者：张通刘爽更多>>; 相关机构：杭州电子工业学院中央民族大学更多>>; 相关期刊：《Journal of Mathematical Research with Applications》《Science China Mathematics》《国际计算机前沿大会会议论文集》《商丘师范学院学报》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金河南省自然科学基金更多>>

Proofs of Some Conjectures of Andrews and Paule on 2-Elongated Plane Partitions: 《Journal of Mathematical Research with Applications》2024年第6期735-740,共6页Olivia X.M.YAO; Supported by the National Natural Science Foundation of China(Grant No.12371334);the Natural Science Foundation of Jiangsu Province(Grant No.BK20221383)。; Recently,Andrews and Paule established the generating functions for the k-elongated plane partition function d_(k)(n)and proved a large number of results on d_(k)(n)with k=2,3.In particular,they posed some conjectures...; 关键词：PARTITIONS CONGRUENCES 2-elongated plane partitions theta function identities

The Proofs of Legendre’s Conjecture and Three Related Conjectures: 《Journal of Applied Mathematics and Physics》2023年第5期1319-1336,共18页Wing K. Yu; In this paper, we prove Legendre’s conjecture: There is a prime number between n² and (n +1)² for every positive integer n. We also prove three related conjectures. The method that we use is to ...; 关键词：Legendre’s Conjecture Bertrand’s Postulate - Chebyshev’s Theorem Oppermann’s Conjecture Brocard’s Conjecture Andrica’s Conjecture

Einstein-Local Counter-Arguments and Counter-Examples to Bell-Type Proofs: 《Journal of Modern Physics》2023年第2期89-100,共12页Karl Hess; J. S. Bell’s well-known proofs of inequalities (and related work) are shown to be invalidated by two counter-arguments (-examples) that are based on Einstein-local propositions: Bell-type inequalities of Einstein-Pod...; 关键词：Bell’s Inequalities Quantum Entanglement EPR Experiments

Two Strong Simple Proofs That All Doppler Shifts (including the Axial) Impact Observed Time, and All the Transverse Does: 《Journal of High Energy Physics, Gravitation and Cosmology》2020年第4期765-773,共9页Samuel Lewis Reich; The first proof (Sections 2 - 4), applies Doppler shifts to the Fourier time sine series. It shows if K = f'/f (frequency ratio of the shift, f' the shifted frequency), then the value of the serie...; 关键词：Doppler RELATIVITY Aether Fourier Series Time Travel Paradox INVARIANTS

Proofs for certain q-trigonometric identities of Gosper: 《Science China Mathematics》2020年第12期2415-2422,共8页Bing He Hongcun Zhai; supported by National Natural Science Foundation of China(Grant No.11801451).supported by National Natural Science Foundation of China(Grant No.11371184);the Natural Science Foundation of Henan Province(Grant Nos.162300410086,2016B259 and 172102410069)。; Applying an addition formula of Liu(2007),we deduce certain Jacobi theta function identities.From these results we confirm several q-trigonometric identities con.jectured by Gosper(2001).Another conjectured identity o...; 关键词：Jacobi theta function addition formula q-trigonometric identity constantΠq

A Privacy-Preserving TPA-aided Remote Data Integrity Auditing Scheme in Clouds: 《国际计算机前沿大会会议论文集》2019年第1期342-345,共4页Meng Zhao Yong Ding Yujue Wang Huiyong Wang Bingyao Wang Lingang Liu; the National Natural Science Foundation of China under projects 61772150 and 61862012;the Guangxi Key R&D Program under project AB17195025;the Guangxi Natural Science Foundation under grants 2018GXNSFDA281054 and 2018GXNSFAA281232;the National Cryptography Development Fund of China under project MMJJ20170217;the Guangxi Young Teachers’ Basic Ability Improvement Program under Grant 2018KY0194;and the open program of Guangxi Key Laboratory of Cryptography and Information Security under projects GCIS201621 and GCIS201702.; The remote data integrity auditing technology can guarantee the integrity of outsourced data in clouds. Users can periodically run an integrity auditing protocol by interacting with cloud server, to verify the latest ...; 关键词：Cloud STORAGE INTEGRITY AUDITING Provable Data POSSESSION PROOFS of STORAGE PROOFS of Retrievability

NEW PROOFS OF THE DECAY ESTIMATE WITH SHARP RATE OF THE GLOBAL WEAK SOLUTION OF THE n-DIMENSIONAL INCOMPRESSIBLE NAVIER-STOKES EQUATIONS被引量：1: 《Annals of Applied Mathematics》2018年第4期416-438,共23页Linghai Zhang; Consider the Cauchy problem for the n-dimensional incompressible NavierStokes equations:??tu-α△u+(u·?)u+?p = f(x, t), with the initial condition u(x, 0) = u_0(x) and with the incompressible conditions ? · u = 0, ?...; 关键词：n-dimensional incompressible Navier-Stokes equations global weak solution decay estimate with sharp rate Fourier transformation Parseval's identity Gronwall's inequality

Dynamic Proofs of Retrievability Based on Partitioning-Based Square Root Oblivious RAM: 《Computers, Materials & Continua》2018年第12期589-602,共14页Jian Xu Zhihao Jiang Andi Wang Chen Wang Fucai Zhou; This work is supported,in part,by the National Natural Science Foundation of China under grant No.61872069;in part,by the Fundamental Research Funds for the Central Universities(N171704005);in part,by the Shenyang Science and Technology Plan Projects(18-013-0-01).; With the development of cloud storage,the problem of efficiently checking and proving data integrity needs more consideration.Therefore,much of growing interest has been pursed in the context of the integrity verifica...; 关键词：Cloud storage proofs of retrievability partitioning framework oblivious RAM

Discovery &Proofs of a Nucleus of Mass and Charge in the Photons/Quantum Particles: 《Journal of Modern Physics》2018年第12期2170-2192,共23页Narendra Swarup Agarwal; This work discovers and proves that all the photons/quantum particles have a “Nucleus of mass and charge.” The nucleus is located off-center in the particles. The constructive, destructive and intermediate Interfere...; 关键词：NUCLEUS Off-Center Location MASS Acceleration Force and CHARGE

Primitives towards verifiable computation： a survey: 《Frontiers of Computer Science》2018年第3期451-478,共28页Haseeb AHMAD Licheng WANG Haibo HONG Jing LI Hassan DAWOOD Manzoor AHMED Yixian YANG; 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 ...; 关键词：verifiable computation cloud computation INTERACTIVE NON-INTERACTIVE zero knowledge probabilisticcheckable proofs computationally sound proofs

PROOFS