Suchergebnisse - program verification. General Terms Algorithms

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

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

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

“… ; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification …”
Volltext

AES Based White Box Cryptography in Digital Signature Verification von 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 …”
Volltext

Variational quantum unsampling on a quantum photonic processor von 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 …”
Volltext

General Theory and Tools for Proving Algorithms in Nominative Data Systems von 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 …”
Volltext

Approximate Relational Reasoning for Higher-Order Probabilistic Programs von 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 …”
Volltext

PAC Learning-Based Verification and Model Synthesis von 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 …”
Volltext

A microsurgical robot research platform for robot-assisted microsurgery research and training von 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 …”
Volltext

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

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

Design and Simulation Verification of Model Predictive Attitude Control Based on Feedback Linearization for Quadrotor UAV von 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 …”
Volltext

Validating quantum-classical programming models with tensor network simulations von 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 …”
Volltext

A Framework for Memory Efficient Context-Sensitive Program Analysis von 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 …”
Volltext

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

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

The Path to Durable Linearizability von 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 …”
Volltext

New Synthetic Thrombin Inhibitors: Molecular Design and Experimental Verification von 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 …”
Volltext

Semantic Programming and Polynomially Computable Representations von 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 …”
Volltext

Formal Techniques for Development and Auto-tuning of Parallel Programs von 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 …”
Volltext

Nanodosimetric quantity-weighted dose optimization for carbon-ion treatment planning von 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 …”
Volltext

Simple Linear Loops: Algebraic Invariants and Applications von 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 …”
Volltext

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

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