Zobrazeno 1 - 10
of 660
pro vyhledávání: '"P. Sanan"'
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
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:
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:
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
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
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
Autor:
Yongcheng Li, Chunxiang Chen, Zhiming Fan, Dangqing Jiang, Sanan Shuai, Tingsheng Tu, Zhongming Ren
Publikováno v:
Journal of Materials Research and Technology, Vol 31, Iss , Pp 329-337 (2024)
The effects of cooling rate on isothermal spheroidizing annealing (SA) of hot-rolled GCr15 bearing steel have been investigated. The results show that controlling the cooling rate between austenitizing and secondary annealing within a specific range
Externí odkaz:
https://doaj.org/article/1f269ad273ce41fd8e88aa9d003b8b00