Zobrazeno 1 - 10
of 156
pro vyhledávání: '"P. K. Hari"'
Autor:
De Angelis, Emanuele, K, Hari Govind V
Publikováno v:
EPTCS 402, 2024, pp. 83-104
CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, Fra
Externí odkaz:
http://arxiv.org/abs/2404.14923
Publikováno v:
Phys. Rev. D 109 (2024) 6, 065017
We highlight some universal features concerning the role of spacetime curvature in the entanglement induced between quantum probes coupled to a quantum field in a suitable vacuum state. The probes are initially causally disconnected and non-entangled
Externí odkaz:
http://arxiv.org/abs/2311.15019
Autor:
K, Hari., Kothawala, Dawood
Publikováno v:
Phys. Rev. D 109, 104073 (2024)
We analyse several aspects of detectors with uniform acceleration $a$ and uniform rotation $\Omega$ in de Sitter ($\Lambda>0$) and anti-de Sitter ($\Lambda<0$) spacetimes, focusing particularly on the periodicity, in (Euclidean) proper time $\tau_{\r
Externí odkaz:
http://arxiv.org/abs/2307.16413
State-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT solv
Externí odkaz:
http://arxiv.org/abs/2306.17765
Quantifier elimination (qelim) is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses (CHCs). Exact qelim is computationally expensive. Hence,
Externí odkaz:
http://arxiv.org/abs/2306.10009
Autor:
De Angelis, Emanuele, K, Hari Govind V
Publikováno v:
EPTCS 373, 2022, pp. 44-62
CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, German
Externí odkaz:
http://arxiv.org/abs/2211.12231
Publikováno v:
Results in Surfaces and Interfaces, Vol 17, Iss , Pp 100287- (2024)
Sutures are essential for wound healing. Sutures cannot influence biological healing processes; hence their efficacy is still limited. Active healing sutures must be made. We created a biocompatible, biodegradable polymer suture material to reduce al
Externí odkaz:
https://doaj.org/article/270b0cd2b32145599d0d55b55a040076
An uninterpreted program (UP) is a program whose semantics is defined over the theory of uninterpreted functions. This is a common abstraction used in equivalence checking, compiler optimization, and program verification. While simple, the model is s
Externí odkaz:
http://arxiv.org/abs/2107.12902
Autor:
K, Hari, Kothawala, Dawood
Publikováno v:
Phys. Rev. D 104, 064032 (2021)
We obtain a remarkable semi-analytic expression concerning the role of purely tidal curvature on accelerated probes, revealing some novel insights into the role of absolute vs. tidal acceleration in the response of such probes. The key quantity we ev
Externí odkaz:
http://arxiv.org/abs/2106.14496