Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol by Xiaoru Li, Xiaohong Li, Guangquan Xu, Jing Hu, Zhiyong Feng

“…It thus presents a challenge for formal verification. In our analysis, we employ and combine the strength of extended modeling language CSP# and linear temporal logic (LTL) to verify the fairness of OMPCS protocols. …”
Get full text

Review of statistical methods for survival analysis using genomic data by Seungyeoun Lee, Heeju Lim

“…Survival analysis mainly deals with the time to event, including death, onset of disease, and bankruptcy. …”
Get full text

Analysis of Verena Klemm's Portrayal of the Personality of Hazrat Fatima (PBUH) by Shahla Bakhtiari, Mahdieh Poursaleh Kachomesghali

“…In addition, every systematic research should have three basic stages description, analysis, and explanation. Such a method would not be compatible with a brief historical account. …”
Get full text

Analysis and Improvement of Key Distribution Scheme for Secure Group Communication by Jia Ning Luo, Ming Hour Yang

“…We also give a security and performance analysis of our scheme.…”
Get full text

Ciphertext-only fault analysis of the TWINE lightweight cryptogram algorithm by Wei LI, Menglin WANG, Dawu GU, Jiayao LI, Tianpei CAI, Guangwei XU

Subjects: “…ciphertext-only fault analysis…”
Get full text

Vaginal flora in HPV infection: a cross‑sectional analysis by Peining Dou, Feng Fang, Rongqiu Qin, Jingsong Nie, Xiaoyan Chen, Xiaoyan Yin, Yiding Wang, Shengying Shi

“…Statistically significant differences were observed in Nugent scores and bacterial vaginosis between the two groups (P < .05). In functional analysis, 11 proteins and 13 enzymes were found to be significantly altered in the HPV + group.Conclusion Our study demonstrates that disruptions in the vaginal flora are associated with HPV infection. …”
Get full text

Enhancing Solar Convection Analysis With Multi‐Core Processors and GPUs by Arash Heidari, Zahra Amiri, Mohammad Ali Jabraeil Jamali, Nima Jafari Navimipour

Get full text

ANALYSIS OF INFORMATION AND ANALYTICAL SUPPORT OF PROJECT ACTIVITY OF PUBLIC MANAGEMENT by A. Denisova

Get full text

Clinicopathological analysis of adrenal intravascular large B-cell lymphoma by LIN Jiaxin, WEI Ran, SHUI Ruohong, LU Hongfen, LI Xiaoqiu, YU Baohua

Get full text

Design and Analysis of Combined Valve Spool with Linear Flow Coefficient by Changxiong Xie, Heng Su, Jun Yang, Zhongjing He

Get full text

THE MAMMALIAN CIRCADIAN CLOCK: GENE REGULATORY NETWORK AND THEIR COMPUTER ANALYSIS by O. A. Podkolodnaya, N. N. Podkolodnaya, N. L. Podkolodnyy

Subjects: Get full text

Peptidomic analysis of whey protein hydrolysates and prediction of their antioxidant peptides by Jesus Morales García, Chibuike C. Udenigwe, Jorge Duitama, Andrés Fernando González Barrios

Get full text

Efficiency Analysis of Drum Cam-type Gear Shift Actuator by Zhong Zaimin, Duan Chengwei, Zhang Lei

“…The results indicate that the analysis has a certain degree of authenticity. The references for the actuator design and the optimized direction to the efficiency of the drum cam-type gear shift actuator are provided.…”
Get full text

Survey of Distributed Computing Frameworks for Supporting Big Data Analysis by Xudong Sun, Yulin He, Dingming Wu, Joshua Zhexue Huang

Subjects: Get full text

Analysis of instructions virtual machine vulnerabilities in anti-virus software by Yijun WANG

“…Aiming at features of the virtual machine in anti-virus software, the difference between virtual environments and real environment were researched.Based on in-depth analysis of the virtual machine technology and the essential characteristics of a computer virus and Trojan, theory and practice of research were combined and the analysis of virtual machine instructions vulnerability in current anti-virus software was given.…”
Get full text

Analysis of a Compact and Superdirective Metamaterial-Inspired Monopole Antenna by Saber Dakhli, Hatem Rmili, Kourosh Mahdjoubi, Jean-Marie Floc’h, Fethi Choubani

Get full text

Stability and Hopf Bifurcation Analysis of Coupled Optoelectronic Feedback Loops by Gang Zhu, Junjie Wei

“…Abstract and Applied Analysis…”
Get full text

Spatial Analysis - Time of Stolen Crimes in District 12 of Tehran by nabi moradpoor, keramatolah zayyari

Subjects: “…keywords: spatial analysis…”
Get full text

Unified Analysis of Viscoelasticity and Viscoplasticity Using the Onsager Variational Principle by Kwang Soo Cho

Get full text

Benford's law: Planning and analysis of the planned values in the defense budget by Đorić Igor, Ranisavljević Mihajlo, Kocka Đole

“…In the age of a large number of data that scale up on a daily basis, what becomes highly relevant is the credibility analysis and accuracy, i.e., detecting potential manipulations of the respective data. …”
Get full text