Zobrazeno 1 - 10
of 662
pro vyhledávání: '"P. 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
Publikováno v:
Solid Earth, Vol 12, Pp 421-437 (2021)
After accretion and formation, terrestrial planets go through at least one magma ocean episode. As the magma ocean crystallises, it creates the first layer of solid rocky mantle. Two different scenarios of magma ocean crystallisation involve that the
Externí odkaz:
https://doaj.org/article/478d759e09cf44f8bb132509a1aed51c
Publikováno v:
Solid Earth, Vol 11, Pp 2031-2045 (2020)
The need to solve large saddle point systems within computational Earth sciences is ubiquitous. Physical processes giving rise to these systems include porous flow (the Darcy equations), poroelasticity, elastostatics, and highly viscous flows (the St
Externí odkaz:
https://doaj.org/article/f1c131ffeae94d54b9d729682fbcddd4
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