Zobrazeno 1 - 10
of 1 895
pro vyhledávání: '"Sarat Chandra, A."'
Autor:
Vašíček, Ondřej, Arias, Joaquin, Fiedor, Jan, Gupta, Gopal, Hall, Brendan, Křena, Bohuslav, Larson, Brian, Varanasi, Sarat Chandra, Vojnar, Tomáš
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances of specification errors propagating into later stages of development w
Externí odkaz:
http://arxiv.org/abs/2408.09909
Autor:
Bura, Archana, Bobbili, Sarat Chandra, Rameshkumar, Shreyas, Rengarajan, Desik, Kalathil, Dileep, Shakkottai, Srinivas
Media streaming is the dominant application over wireless edge (access) networks. The increasing softwarization of such networks has led to efforts at intelligent control, wherein application-specific actions may be dynamically taken to enhance the u
Externí odkaz:
http://arxiv.org/abs/2404.07315
Autor:
Omama, Mohammad, Inani, Pranav, Paul, Pranjal, Yellapragada, Sarat Chandra, Jatavallabhula, Krishna Murthy, Chinchali, Sandeep, Krishna, Madhava
We present an autonomous navigation system that operates without assuming HD LiDAR maps of the environment. Our system, ALT-Pilot, relies only on publicly available road network information and a sparse (and noisy) set of crowdsourced language landma
Externí odkaz:
http://arxiv.org/abs/2310.02324
We present Locksynth, a tool that automatically derives synchronization needed for destructive updates to concurrent data structures that involve a constant number of shared heap memory write operations. Locksynth serves as the implementation of our
Externí odkaz:
http://arxiv.org/abs/2305.18225
Publikováno v:
BMC Public Health, Vol 24, Iss 1, Pp 1-12 (2024)
Abstract Introduction Cardiovascular disease (CVD) is a major health concern worldwide, particularly in low- and middle-income countries. The COVID-19 pandemic that emerged in late 2019 may have had an impact on the trend of CVD mortality. This study
Externí odkaz:
https://doaj.org/article/4a8527fb7aec46698d140298865c7735
Autor:
Izzati Kausar Azman, Yoke Fun Chan, Chong Long Chua, Zainal Abidin Abd Mutalib, Sarat Chandra Dass, Balvinder Singh Gill, Nor Hayati Ismail, Jenarun Jelip, Ming Keong Wan, Wenn-Chyau Lee, Indra Vythilingam, Luke Alphey, I-Ching Sam
Publikováno v:
PLoS Neglected Tropical Diseases, Vol 18, Iss 10, p e0012632 (2024)
BackgroundIn 2008-2010, Malaysia experienced a nationwide chikungunya virus (CHIKV) outbreak caused by the Indian Ocean lineage E1-226V (valine) variant, adapted to Aedes albopictus. In 2017-2022, transition to an E1-226A (alanine) variant occurred.
Externí odkaz:
https://doaj.org/article/ff83709d51e443d68cc9c3fb36d22c07
Publikováno v:
Statistics and Computing, Volume 33, Article Number 124 (2023)
Parameter estimation and associated uncertainty quantification is an important problem in dynamical systems characterized by ordinary differential equation (ODE) models that are often nonlinear. Typically, such models have analytically intractable tr
Externí odkaz:
http://arxiv.org/abs/2210.08865
Autor:
Swapnil Y. Parab, Sarat Chandra Majety, Priya Ranganathan, Sabita Jiwnani, CS Pramesh, Madhavi Shetmahajan
Publikováno v:
Indian Journal of Anaesthesia, Vol 68, Iss 6, Pp 572-578 (2024)
Background and Aims: Acute kidney injury (AKI) is a significant postoperative complication. Multiple perioperative factors are implicated in the causation of AKI in the postoperative period in patients with oesophageal cancer. The study aimed to find
Externí odkaz:
https://doaj.org/article/f009ca1eb25c4f23aa1db980b6b32ed1
Autor:
Varanasi, Sarat Chandra, Meng, Baoluo, Alexander, Christopher, Borgyos, Szabolcs, Hall, Brendan
We present a novel application of Goal-Directed Answer Set Programming that digitizes the model aircraft operator's compliance verification against the Academy of Model Aircrafts (AMA) safety code. The AMA safety code regulates how AMA flyers operate
Externí odkaz:
http://arxiv.org/abs/2208.12199
Autor:
Sandip Kumar Das, Sarat Chandra Swain, Ritesh Dash, Jyotheeswara Reddy K, Dhanamjayalu C, Ravikumar Chinthaginjala, Ramakanta Jena, Hossam Kotb, Ali ELrashidi
Publikováno v:
Heliyon, Vol 10, Iss 14, Pp e34140- (2024)
In recent years, the power sector has shifted to decentralized power generation, exemplified by microgrids that combine renewable and traditional power sources. With the introduction of renewable energy resources and distributed generators, novel str
Externí odkaz:
https://doaj.org/article/609924096cc8413a861c4c96b3ccbef1