Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Madhukar, Manas Kumar
316  Ergebnisse:
Personensuche X
?
1

Antimicrobial resistance landscape in a metropolitan city c..:

Madhukar, Manas Kumar ; Singh, Nirupama ; Iyer, V Rajesh...
Environmental Research.  252 (2024)  - p. 118556 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Molecular docking studies of chloroquine and its derivative..:

Kumar, Maneesh ; Topno, Roshan Kamal ; Dikhit, Manas Ranjan...
Journal of Cellular Biochemistry.  120 (2019)  10 - p. 18298-18308 , 2019
Link: https://doi.org/10.1002/..
 
?
3

Noninvasive Sweat-Based Diagnosis of Visceral Leishmaniasis..:

Topno, Roshan Kamal ; Shankar, Vikas ; Dikhit, Manas Ranjan...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC6221248/.  , 2018
Link: http://www.ncbi.nlm.nih...
 
?
4

Early diagnostic marker for the conversion of asymptomatic ..:

Roshan Kamal Topno ; Rajeev Kumar ; Krishna Pandey...
http://www.ejmanager.com/fulltextpdf.php?mno=52041.  , 2019
Link: https://doi.org/10.5455/..
 
?
5

A Robust Deep Learning and Feature Fusion-based Multi-class..:

, In: 2022 International Conference on Edge Computing and Applications (ICECAA),
Madhukar, Rahul Kumar ; Chandra Joshi, Rakesh ; Dutta, Malay Kishore - p. 1269-1275 , 2022
Link: https://doi.org/10.1109/..
 
?
6

A Systematized Chronicity based Disease Classification in C..:

, In: 2022 3rd International Conference on Smart Electronics and Communication (ICOSEC),
Madhukar, Rahul Kumar ; Chaurasiya, Anju ; Chaturvedi, Pooja - p. 1336-1342 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Effect of Welding Speed on Phase Transformation and Mechani..:

, In: Lecture Notes in Mechanical Engineering; Recent Advances in Materials and Modern Manufacturing,
Kumar, Vivek ; Palani, I. A. ; Madhukar, Yuvaraj Kumar - p. 155-163 , 2022
Link: https://doi.org/10.1007/..
 
?
8

PROTON: PRObes for Termination Or Not (Competition Contribu..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Metta, Ravindra ; Karmarkar, Hrishikesh ; Madhukar, Kumar.. - p. 393-398 , 2024
Link: https://doi.org/10.1007/..
 
?
9

Efficient Adversarial Input Generation via Neural Net Patch..:

, In: 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC),
Khan, Tooba ; Madhukar, Kumar ; Sharma, Subodh Vishnu - p. 30-38 , 2023
Link: https://doi.org/10.1109/..
 
?
10

Towards Multi-Language Static Code Analysis:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW),
Siddiqui, Sanaa ; Metta, Ravindra ; Madhukar, Kumar - p. 81-82 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Automated Property Directed Self Composition:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Shenoy, Akshatha ; Prabhu, Sumanth ; Madhukar, Kumar.. - p. 139-158 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Permutation Invariance of Deep Neural Networks with ReLUs:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Mukhopadhyay, Diganta ; Madhukar, Kumar ; Srivas, Mandayam - p. 318-337 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Specification synthesis with constrained Horn clauses:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Prabhu, Sumanth ; Fedyukovich, Grigory ; Madhukar, Kumar. - p. 1203-1217 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Using hypersafety verification for proving correctness of p..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results,
Anil, Jude K ; S, Sumanth Prabhu ; Madhukar, Kumar. - p. 81-84 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Quantified Invariants via Syntax-Guided Synthesis:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Fedyukovich, Grigory ; Prabhu, Sumanth ; Madhukar, Kumar. - p. 259-277 , 2019
Link: https://doi.org/10.1007/..
 
1-15