Faith, Understanding, Proof by A. E. Razumov

Subjects: Get full text

Boardroom electronic voting scheme based on DC-net by Long-hai LI, Shao-feng FU, Cheng-qiang HUANG

Subjects: Get full text

Evaluation of a user‐friendly CSDS cage apparatus for studying depressive‐like behaviors in rodents by Hao Zhang, Dongmei Gao, Minghu Hu, Wanqing Zhou, Muxuan Han, Ya Sun, Yang Zhang, Jieqiong Wang, Mingzhou Gao

Subjects: Get full text

Automatic proof of resistance of denial of service attacks in protocols by Bo MENG, Wei HUANG, De-jun WAND, Fei SHAO

Subjects: Get full text

Trusted coalition-proof protocol model based on secure multi-part computing by CHENG Bai-liang1, ZENG Guo-sun1, JIE An-quan2

Subjects: Get full text

Distributed anonymous authentication scheme based on the blockchain in VANET by Xia FENG, Kaiping CUI, Qingqing XIE, Liangmin WANG

Subjects: Get full text

CCA-secure verifiable Mix-Net protocol by Long-hai LI, Cheng-qiang HUANG, Shang-mei XU, Shao-feng FU

Subjects: Get full text

Proof of theorems in school and university mathematics courses аs a method for improving the results of studies by M. A. Prihodovsky

Subjects: Get full text

ANALYSIS OF NONLINEAR TRANSIENT DYNAMIC RESPONSE FOR EXPLOSION-PROOF BOX by LIU XiaoDong, JIN BinBin, ZHU Danan

Subjects: “…Explosion-proof box…”
Get full text

Illusionism, Moore, and Chalmers by Evgeny V. Loginov

Subjects: Get full text

Physical One‐Way Functions for Decentralized Consensus Via Proof of Physical Work by Marvin Winkler, Catharina Peither, Simon Petrick, Lothar Seidemann, Holger Jelich, Frank Kleine Jäger, Jörn Müller‐Quade, Alexander Colsmann, Hermann Nirschl, Frank Rhein

Subjects: Get full text

Representation of an aggrieved legal entity that has suffered damage as a result of a criminal offence at the stage of pre-trial investigation by I. O. Iemets

Subjects: Get full text

Optimistic Mix-net protocol based on bilinear pairings by Long-hai LI, Shao-feng FU, Rui-dan SU

Subjects: Get full text

Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective by Monika Morkūnaitė, Živilė Pabijutaitė

Subjects: Get full text

Political rhetoric used by the main parties in the final debate before the 1999 election by Paul Schutte

Subjects: Get full text

Contester par projets. Le cas des monnaies locales associatives by Jérôme Blanc

Subjects: Get full text

A Review of“Basics of Islamic Law Inference” Book by Sayyid Abdolrahim Hosseini

Subjects: Get full text

APPOINTMENT OF HANDWRITING EXAMINATION: ANALYSIS OF COURT PRACTICE by Veronika N. Shkabaro, Аlona V. Bila, Vladislav V. Voronin

Subjects: Get full text

Research progress on secure data deduplication in cloud by Jin-bo XIONG, Yuan-yuan ZHANG, Feng-hua LI, Su-ping LI, Jun REN, Zhi-qiang YAO

Subjects: Get full text

Secure and verifiable multi-keyword searchable encryption scheme in cloud by Jianhong ZHANG, Menglong WU, Jing WANG, Pei LIU, Zhengtao JIANG, Changgen PENG

Subjects: Get full text