Zobrazeno 1 - 10
of 3 081
pro vyhledávání: '"Shankara, A."'
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) extend Linear Temporal Logic (LTL) for real-time constraints, with MTL using time-bounded modalities and TPTL employing freeze quantifiers. Satisfiability for both is generally
Externí odkaz:
http://arxiv.org/abs/2411.00117
Autor:
Haase, Christoph, Krishna, Shankara Narayanan, Madnani, Khushraj, Mishra, Om Swostik, Zetzsche, Georg
All known quantifier elimination procedures for Presburger arithmetic require doubly exponential time for eliminating a single block of existentially quantified variables. It has even been claimed in the literature that this upper bound is tight. We
Externí odkaz:
http://arxiv.org/abs/2405.01183
Publikováno v:
Proc. ACM Program. Lang. 8, PLDI, Article 188 (June 2024), 32 pages
Online streaming algorithms, tailored for continuous data processing, offer substantial benefits but are often more intricate to design than their offline counterparts. This paper introduces a novel approach for automatically synthesizing online stre
Externí odkaz:
http://arxiv.org/abs/2404.04743
Skin lesion segmentation plays a crucial role in the computer-aided diagnosis of melanoma. Deep Learning models have shown promise in accurately segmenting skin lesions, but their widespread adoption in real-life clinical settings is hindered by thei
Externí odkaz:
http://arxiv.org/abs/2310.20292
The mouth, often regarded as a window to the internal state of the body, plays an important role in reflecting one's overall health. Poor oral hygiene has far-reaching consequences, contributing to severe conditions like heart disease, cancer, and di
Externí odkaz:
http://arxiv.org/abs/2403.12044
Autor:
Kathiresan Jeyashree, Jeromie W. V. Thangaraj, Devika Shanmugasundaram, Sri Lakshmi Priya Giridharan, Sumit Pandey, Prema Shanmugasundaram, Sabarinathan Ramasamy, Venkateshprabhu Janagaraj, Sivavallinathan Arunachalam, Rahul Sharma, Vaibhav Shah, Bhavani Shankara Bagepally, Joshua Chadwick, Hemant Deepak Shewade, Aniket Chowdhury, Swati Iyer, Raghuram Rao, Sanjay K. Mattoo, Manoj V. Murhekar
Publikováno v:
Global Health Research and Policy, Vol 9, Iss 1, Pp 1-13 (2024)
Abstract Background Tuberculosis (TB) poses a significant social and economic burden to households of persons with TB (PwTB). Despite free diagnosis and care under the National TB Elimination Programme (NTEP), individuals often experience significant
Externí odkaz:
https://doaj.org/article/00f5ce04b98f45e48a4a33ca4fb3ba10
Autor:
Saibal Das, Manoj Kalita, Manabendra Makhal, M Devaraja, Bhavani Shankara Bagepally, Jerin Jose Cherian, Rajesh Aadityan, Mounamukhar Bhattacharjee, Sarnendu Mondal, Sreyashi Sen, Manaswini Mondal, Aniruddha Basu, Atanu Kumar Dutta, Indranil Saha, Asim Saha, Amit Chakrabarti
Publikováno v:
BMC Psychiatry, Vol 24, Iss 1, Pp 1-10 (2024)
Abstract Background Pharmacogenomic (PGx) factors significantly influence how patients respond to antipsychotic medications This systematic review was performed to synthesize the clinical utility of PGx-assisted treatment versus standard of care in s
Externí odkaz:
https://doaj.org/article/40b6414da3f04182baab6a9cfc5c0064
Autor:
Patricia Nyokabi, Sitaporn Youngkong, Bhavani Shankara Bagepally, Tabitha Okech, Usa Chaikledkaew, Gareth J McKay, John Attia, Ammarin Thakkinstian
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract End-stage kidney disease (ESKD) is fatal without treatment by kidney replacement therapies (KRTs). However, access to these treatment modalities can be problematic given the high costs. This systematic review (SR) aims to provide an updated
Externí odkaz:
https://doaj.org/article/4d7cffd23ff74a2497c5d5e385e6b496
We investigate the decidability of the ${0,\infty}$ fragment of Timed Propositional Temporal Logic (TPTL). We show that the satisfiability checking of TPTL$^{0,\infty}$ is PSPACE-complete. Moreover, even its 1-variable fragment (1-TPTL$^{0,\infty}$)
Externí odkaz:
http://arxiv.org/abs/2309.00386
Autor:
Flomo L. Gbawoquiya, Kumari Rachna, Shankara S. Narayanan, Pramod K. Singh, Shiv Shankar, Ikhwan Syafiq Mohd Noor, Muhd Zu Azhan Yahya
Publikováno v:
Zaštita Materijala, Vol 65, Iss 3, Pp 452-465 (2024)
Reduced graphene oxide (rGO) and zinc oxide nanoparticles (ZnO NPs) were synthesized using modified Hummer's method and green approach from Carica papaya leaf extract (CPLE), respectively. ZnO NPs were then loaded onto rGO using a straightforward ult
Externí odkaz:
https://doaj.org/article/ab8952a8e070484691cd8e3ebb7f9eca