8 citations · 8 across the 2 of their papers we have counts for
3 papers
cs.SE2022
Automated Validation of Insurance Applications against Calculation Specifications
Advaita Datar, Amey Zare, Asia A +3
Insurance companies rely on their Legacy Insurance System (LIS) to govern day-to-day operations. These LIS operate as per the companys business rules that are formally specified in…
cond-mat.soft2017★ 8 cited
Statistical mechanics of a polymer chain attached to the interface of a cone-shaped channel
Sanjay Kumar, Sanjiv Kumar, Debaprasad Giri +1
A polymer chain confined in nano-scale geometry has been used to investigate the underlying mechanism of Nuclear Pore Complex (NPC), where transport of cargoes is directional. It w…
cond-mat.soft2013
Statistical Mechanics of DNA Rupture: Theory and Simulations
S. Nath, T. Modi, R. K. Mishra +3
We study the effects of the shear force on the rupture mechanism on a double stranded DNA. Motivated by recent experiments, we perform the atomistic simulations with explicit solve…