Zobrazeno 1 - 10
of 2 072
pro vyhledávání: '"A, Sanan"'
Foundational verification considers the functional correctness of programming languages with formalized semantics and uses proof assistants (e.g., Coq, Isabelle) to certify proofs. The need for verifying complex programs compels it to involve express
Externí odkaz:
http://arxiv.org/abs/2411.06094
Autor:
Cai, Yufan, Hou, Zhe, Luan, Xiaokun, Baena, David Miguel Sanan, Lin, Yun, Sun, Jun, Dong, Jin Song
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support for program refinement is highly interactive and lacks automation. On t
Externí odkaz:
http://arxiv.org/abs/2406.18616
Publikováno v:
Journal of Inflammation Research, Vol Volume 17, Pp 10681-10697 (2024)
Yang Zheng,1 Miaojia Fang,2 Shriya Sanan,1 Xi-Hui Meng,1 Jie-Feng Huang,1 Yu Qian1 1Zhejiang Provincial Hospital of Traditional Chinese Medicine, Hangzhou, People’s Republic of China; 2Institute of Forensic Science, Yuhang Public Security Departmen
Externí odkaz:
https://doaj.org/article/f08109153af34f65b8eace29d47e2634
Publikováno v:
BMC Biology, Vol 22, Iss 1, Pp 1-16 (2024)
Abstract Background For decades, KRAS has always been a huge challenge to the field of drug discovery for its significance in cancer progression as well as its difficulties in being targeted as an “undruggable” protein. KRAS regulates downstream
Externí odkaz:
https://doaj.org/article/3e055b86993e497db674d8b5a895c5cc
Autor:
Vishal Singh Bhadouria, Omkar Krishna Shetty, Reshu Sanan, Bhupender Kumar Yadav, Pankaj Kumar Ritwal, Kunal Nischal
Publikováno v:
The Journal of Indian Prosthodontic Society, Vol 24, Iss 4, Pp 374-380 (2024)
Aim: The purpose of this in vitro study was the evaluation of the tensile bond strength of two different cements used for luting zirconia coping to one-piece zirconia implant. Settings and Design: The study was designed in an in vitro study setting.
Externí odkaz:
https://doaj.org/article/bd04f14b401043549b8b26ee1b2fdeeb
Autor:
Zhao, Yongwang, Sanan, David
The rely-guarantee approach is a promising way for compositional verification of concurrent reactive systems (CRSs), e.g. concurrent operating systems, interrupt-driven control systems and business process systems. However, specifications using heter
Externí odkaz:
http://arxiv.org/abs/2309.09148
Autor:
Zhao, Yongwang, Sanan, David
Formal verification of concurrent operating systems (OSs) is challenging, in particular the verification of the dynamic memory management due to its complex data structures and allocation algorithm. An incorrect specification and implementation of th
Externí odkaz:
http://arxiv.org/abs/2309.09997
High assurance of information-flow security (IFS) for concurrent systems is challenging. A promising way for formal verification of concurrent systems is the rely-guarantee method. However, existing compositional reasoning approaches for IFS concentr
Externí odkaz:
http://arxiv.org/abs/2309.09141
Boolean satisfiability (SAT) solving is a fundamental problem in computer science. Finding efficient algorithms for SAT solving has broad implications in many areas of computer science and beyond. Quantum SAT solvers have been proposed in the literat
Externí odkaz:
http://arxiv.org/abs/2308.03344
Text-to-video retrieval systems have recently made significant progress by utilizing pre-trained models trained on large-scale image-text pairs. However, most of the latest methods primarily focus on the video modality while disregarding the audio si
Externí odkaz:
http://arxiv.org/abs/2307.12964