Computationally sound mechanized proofs for Diffie-Hellman key exchange protocols by FENG Chao, ZHANG Quan, TANG Chao-jing

“…A computationally observational equivalence model for the Diffe-Hellman key agreement primitive was pro-posed and the soundness of the model was proved.Compared with prior works,this model can extend the power of the mechanized prover CryptoVerif directly.When applying the model to proving the public-key Kerberos,the deficiency of the adversary’s capability was uncovered and an enhanced model for the adversary was presented.The model was vali-dated by verifying the public-key Kerberos in Diffie-Hellman mode with CryptoVerif automatically.Being different from current approaches,the verification procedure is both automatic and computationally sound.…”
Get full text

Design of Cloud Computing System–Based Pollution Distribution Map in Iraq by Mohammed Azher Therib, Laith Awda Kadhim Mayyahi, Zahraa Emad Fadel, Laith Ali Abdul-Rahaim

“…Journal of Electrical and Computer Engineering…”
Get full text

Research on Resource Pool for Carrierˊs Service Platform Based on Cloud Computing by Yongjin Liu, Ke Huang

Subjects: “…cloud computing…”
Get full text

Two Computational Strategies for the Approximate Solution of the Nonlinear Gas Dynamic Equations by Muhammad Nadeem, Mouad M. H. Ali

“…Sawi transform (ST) has an advantage of reducing the computational work and the error of estimated results towards the precise solution. …”
Get full text

Enhancing computational accuracy with parallel parameter optimization in variational quantum eigensolver by Daisuke Tsukayama, Jun-ichi Shirakashi, Tetsuo Shibuya, Hiroshi Imai

“…We present the results of running up to six circuits in parallel (120 qubits) and demonstrate the advantages of using multiple units to improve computational accuracy. This study provides a potential method for solving eigenvalue problems and combinatorial optimization problems for future quantum devices.…”
Get full text

State feedback impulsive control of computer worm and virus with saturated incidence by Meng Zhang, Kaiyuan Liu, Lansun Chen, Zeyu Li

Subjects: “…computer worm…”
Get full text

Online energy-aware task dispatching with QoS guarantee in edge computing by Hao YUAN, Deke GUO, Guoming TANG, Lailong LUO

Subjects: “…edge computing…”
Get full text

Computational Perspectives into Plasmepsins Structure—Function Relationship: Implications to Inhibitors Design by Alejandro Gil L., Pedro A. Valiente, Pedro G. Pascutti, Tirso Pons

“…Combinatorial synthesis is currently being used to generate inhibitor libraries for these enzymes, and together with computational methodologies have been demonstrated capable for the selection of lead compounds. …”
Get full text

Synthesis of Novel Derivatives of Carbazole-Thiophene, Their Electronic Properties, and Computational Studies by E. F. Damit, N. Nordin, A. Ariffin, K. Sulaiman

Get full text

Spatial Cluster Analysis by the Bin-Packing Problem and DNA Computing Technique by Xiyu Liu, Jie Xue

“…Typical techniques include CLARANS, density- and gravity-based clustering, and other algorithms based on traditional von Neumann's computing architecture. The purpose of this paper is to propose a technique for spatial cluster analysis based on sticker systems of DNA computing. …”
Get full text

Computation Method for the Settlement of a Vertically Loaded Pile in Sloping Ground by Chong Jiang, Wen-yan Wu, Jia-li He, Lu-jie Chen

Get full text

UCAP:a PCL secure user authentication protocol in cloud computing by Xuefeng LI, Junwei ZHANG, Jianfeng MA

Subjects: “…cloud computing…”
Get full text

Test-Retest Reliability of Two Computationally-Characterised Affective Bias Tasks by Alexandra C. Pike, Katrina H. T. Tan, Hoda Tromblee, Michelle Wing, Oliver J. Robinson

“…Computational Psychiatry…”
Get full text

Comparative study of IoT- and AI-based computing disease detection approaches by Wasiur Rhmann, Jalaluddin Khan, Ghufran Ahmad Khan, Zubair Ashraf, Babita Pandey, Mohammad Ahmar Khan, Ashraf Ali, Amaan Ishrat, Abdulrahman Abdullah Alghamdi, Bilal Ahamad, Mohammad Khaja Shaik

Subjects: Get full text

Digital quantum simulation of cosmological particle creation with IBM quantum computers by Marco D. Maceda, Carlos Sabín

Subjects: Get full text

Light beam phase retrieval in nonlinear media: a computer simulation by Mantas Puida, Feliksas Ivanauskas

Get full text

Multi-detector computer tomography as effective method for Crohn's disease diagnostics by A. A. Tikhonov, A. V. Gorinov, I. V. Zarodnyuk, I. L. Khalif, Ye. S. Korolevsky

Subjects: Get full text

Computation of traveling wave fronts for a nonlinear diffusion-advection model by M. B. A. Mansour

“…One of the methods involves thetraveling wave equations and solving an initial-value problem, whichleads to accurate computations of the wave profiles and speeds. Thesecond method is to construct time-dependent solutions bysolving an initial-moving boundary-value problem for the PDE system,showing another approximation for such wave solutions.…”
Get full text

Research Progress in Computational Methods for System-Level Coupling of Electromagnetic Pulse by Haiyan Xie, Jianguo Wang

Get full text

Fog computing based radio access networks：architecture，principles and challenges by Bonan YIN, Yuan AI, Mugen PENG

Subjects: Get full text