Výsledky vyhledávání - program verification. General Terms Algorithms

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

“… A land general aerosol (LaGA) algorithm called the High-Precision Aerosol Retrieval Algorithm (HiPARA…”
Získat plný text

AES Based White Box Cryptography in Digital Signature Verification Autor 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…”
Získat plný text

Variational quantum unsampling on a quantum photonic processor Autor 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…”
Získat plný text

General Theory and Tools for Proving Algorithms in Nominative Data Systems Autor 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…”
Získat plný text

Approximate Relational Reasoning for Higher-Order Probabilistic Programs Autor 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…”
Získat plný text

PAC Learning-Based Verification and Model Synthesis Autor 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…”
Získat plný text

A microsurgical robot research platform for robot-assisted microsurgery research and training Autor 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…”
Získat plný text

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

“… The 3D mesh is first traversed with a topology-oriented strategy which also decides the verification units…”
Získat plný text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II Autor Dillig, Isil, Tasiran, Serdar

“…; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification…”
Získat plný text

Design and Simulation Verification of Model Predictive Attitude Control Based on Feedback Linearization for Quadrotor UAV Autor 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…”
Získat plný text

Validating quantum-classical programming models with tensor network simulations Autor 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…”
Získat plný text

A Framework for Memory Efficient Context-Sensitive Program Analysis Autor 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…”
Získat plný text

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

“…, we proposed a model-based integration framework for modeling and verification of time property…”
Získat plný text

The Path to Durable Linearizability Autor 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…”
Získat plný text

New Synthetic Thrombin Inhibitors: Molecular Design and Experimental Verification Autor 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…”
Získat plný text

Semantic Programming and Polynomially Computable Representations Autor 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…”
Získat plný text

Formal Techniques for Development and Auto-tuning of Parallel Programs Autor 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…”
Získat plný text

Nanodosimetric quantity-weighted dose optimization for carbon-ion treatment planning Autor 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…”
Získat plný text

Simple Linear Loops: Algebraic Invariants and Applications Autor 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…”
Získat plný text

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

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