Search Results - program verification. General Terms Algorithms

A High-Precision Aerosol Retrieval Algorithm (HiPARA) for Advanced Himawari Imager (AHI) data: Development and verification by Su, Xin, Wang, Lunche, Zhang, Ming, Qin, Wenmin, Bilal, Muhammad

“… A land general aerosol (LaGA) algorithm called the High-Precision Aerosol Retrieval Algorithm (HiPARA…”
Get full text

AES Based White Box Cryptography in Digital Signature Verification by Shukla, Piyush Kumar, Aljaedi, Amer, Pareek, Piyush Kumar, Alharbi, Adel R., Jamal, Sajjad Shaukat

“… This is significant because an attacker may obtain unrestricted access to the program’s execution in this environment…”
Get full text

Variational quantum unsampling on a quantum photonic processor by Carolan, Jacques, Mohseni, Masoud, Olson, Jonathan P., Prabhu, Mihika, Chen, Changchen, Bunandar, Darius, Niu, Murphy Yuezhen, Harris, Nicholas C., Wong, Franco N. C., Hochberg, Michael, Lloyd, Seth, Englund, Dirk

“…A promising route towards the demonstration of near-term quantum advantage (or supremacy) over classical systems relies on running tailored quantum algorithms on noisy intermediate-scale quantum machines…”
Get full text

General Theory and Tools for Proving Algorithms in Nominative Data Systems by Jaszczak, Adrian

“… This paper continues verification of algorithms [10], [13], [12], [14] written in terms of simple-named complex-valued nominative data [6], [8], [18], [11], [15], [16…”
Get full text

Approximate Relational Reasoning for Higher-Order Probabilistic Programs by Haselwarter, Philipp G., Li, Kwing Hei, Aguirre, Alejandro, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars

“… However, existing approximate relational logics are mostly restricted to first-order programs without general state…”
Get full text

PAC Learning-Based Verification and Model Synthesis by Yu-Fang Chen, Chiao Hsieh, Lengal, Ondrej, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

“… Exact learning algorithms require checking equivalence between the model and the program, which is a difficult problem, in general undecidable…”
Get full text

A microsurgical robot research platform for robot-assisted microsurgery research and training by Zhang, Dandan, Chen, Junhong, Li, Wei, Bautista Salinas, Daniel, Yang, Guang-Zhong

“…Purpose Ocular surgery, ear, nose and throat surgery and neurosurgery are typical types of microsurgery. A versatile training platform can assist microsurgical…”
Get full text

A Blind, Semi-Fragile 3D mesh Watermarking Algorithm Using Minimum Distortion Angle Quantization Index Modulation (3D-MDAQIM) by Borah, Sagarika, Borah, Bhogeswar

“… The 3D mesh is first traversed with a topology-oriented strategy which also decides the verification units…”
Get full text

Design and Simulation Verification of Model Predictive Attitude Control Based on Feedback Linearization for Quadrotor UAV by Yuan, Xingyu, Xu, Jinfa, Li, Shengwei

“…The flight dynamics of quadrotor UAVs are characterized by significant nonlinearity and inter-axis coupling, posing challenges for the direct application of…”
Get full text

Validating quantum-classical programming models with tensor network simulations by McCaskey, Alexander, Dumitrescu, Eugene, Chen, Mengsu, Lyakh, Dmitry, Humble, Travis

“…The exploration of hybrid quantum-classical algorithms and programming models on noisy near-term quantum hardware has begun…”
Get full text

A Framework for Memory Efficient Context-Sensitive Program Analysis by Hedenborg, Mathias, Lundberg, Jonas, Löwe, Welf, Trapp, Martin

“…Static program analysis is in general more precise if it is sensitive to execution contexts (execution paths…”
Get full text

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification by Xu, Haiyang, Wang, Ping

“…, we proposed a model-based integration framework for modeling and verification of time property…”
Get full text

The Path to Durable Linearizability by D'Osualdo, Emanuele, Raad, Azalea, Vafeiadis, Viktor

“… Their correctness is typically stated in terms of durable linearizability (DL), which requires that individual library operations appear to be executed atomically in a sequence…”
Get full text

New Synthetic Thrombin Inhibitors: Molecular Design and Experimental Verification by Sinauridze, Elena I., Romanov, Alexey N., Gribkova, Irina V., Kondakova, Olga A., Surov, Stepan S., Gorbatenko, Aleksander S., Butylin, Andrey A., Monakov, Mikhail Yu, Bogolyubov, Alexey A., Kuznetsov, Yuryi V., Sulimov, Vladimir B., Ataullakhanov, Fazoyl I.

“… Computer-aided molecular design of new thrombin inhibitors was performed using our original docking program SOL, which is based on the genetic algorithm of global energy minimization in the framework…”
Get full text

Semantic Programming and Polynomially Computable Representations by Nechesov, A. V.

“… (such as -programs and -formulas). We prove that the sets of linear or tree-like derivations in the first-order predicate calculus admits a polynomially computable representation…”
Get full text

Formal Techniques for Development and Auto-tuning of Parallel Programs by Doroshenko, Anatoliy, Ivanenko, Pavlo, Yatsenko, Olena

“… Parallel programs are modeled in terms of high-level schemes represented in Glushkov’s system of algorithmic algebra and a concept of a transition system implemented in the term rewriting technique…”
Get full text

Nanodosimetric quantity-weighted dose optimization for carbon-ion treatment planning by Yang, Jingfen, Liu, Xinguo, Zhang, Hui, Dai, Zhongying, He, Pengbo, Ma, Yuanyuan, Shen, Guosheng, Chen, Weiqiang, Li, Qiang

“…) optimization algorithm. The schemes of NQWD-based treatment planning were compared with the RWD treatment plans in term of the microdosimetric…”
Get full text

Simple Linear Loops: Algebraic Invariants and Applications by Ait El Manssour, Rida, Kenison, George, Shirmohammadi, Mahsa, Varonka, Anton

“… While this task is undecidable in general, it is decidable for certain restricted classes of programs…”
Get full text

Algorithms, Applications, and Verification of Causal Structure Learning by Ma, Pingchuan

“… Historically, conventional causal structure learning algorithms generally relies on carefully-crafted criteria to deduce graph structures. For instance, PC (Peter-Clark…”
Get full text

A cost-aware logical framework by Niu, Yue, Sterling, Jonathan, Grodin, Harrison, Harper, Robert

“… Taking inspiration from recent work that reconstructs traditional aspects of programming languages in terms of a modal account of phase distinctions , we argue that the cost structure of programs…”
Get full text