Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Janardan Misra"'
Publikováno v:
Journal of Computational Social Science.
Autor:
Janardan Misra, Sanjay Podder
Publikováno v:
ISEC
Machine learning (ML) based solutions utilizing textual details in defect logs have been shown to enable automation of defect management process and make it cost effective. In this work, we assess effectiveness of apriori manual analysis of the suita
Administering COVID-19 vaccines at a societal scale has been deemed as the most appropriate way to defend against the COVID-19 pandemic. This global vaccination drive naturally fueled a possibility of Pro-Vaxxers and Anti-Vaxxers strongly expressing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f29521deae480b3a4516bbcfd5f9ccd
Publikováno v:
IEEE BigData
Topic-specific social media forums such as Reddit have become popular platforms for users discussing health-related information as well as for scientific analysis of that information. Such discussions among users have been found to be effective in pr
Autor:
Janardan Misra, Sanjay Podder
Publikováno v:
ASE Workshops
Machine learning based data-driven solutions have potential to significantly improve quality of incident management process and make it cost effective. We present our experiences while addressing a spectrum of interrelated problems encountered in pra
Publikováno v:
ECML PKDD 2018 Workshops ISBN: 9783030134525
Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML
Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML
Deciding effective and timely preventive measures to address societal problems is a difficult challenge. Societal problems tend to be inherently complex, affect the bottom of the socio-economic pyramid, and have wider spread across populations and ge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ced0d315607a6e37c2cd13ceddac7336
https://doi.org/10.1007/978-3-030-13453-2_11
https://doi.org/10.1007/978-3-030-13453-2_11
Publikováno v:
Software Testing, Verification and Reliability. 26:548-571
We revisit the problem of real-time verification with dense-time dynamics using timeout and calendar-based models and simplify this to a finite state verification problem. We introduce a specification formalism for these models and capture their beha
Publikováno v:
SER&IP@ICSE
In this paper we present our experience during design, development, and pilot deployments of a data-driven machine learning based application maintenance solution. We implemented a proof of concept to address a spectrum of interrelated problems encou
Autor:
Janardan Misra, Suman Roy
Publikováno v:
Journal of Applied Non-Classical Logics. 24:262-291
We develop a timeout extension of propositional linear temporal logic (which we call ToLTL) to specify timing properties of timeout-based models of real-time systems. A timeout is used to model the execution of an action marking the end of a delay. W
Autor:
Janardan Misra
Publikováno v:
The Computer Journal. 57:1105-1116