Comparison of efficacy of three commercially available antibiotic discs (2008)
Joshi, A, Iyer, V, Balasubramaniam, U, Kagal, A, Bharadwaj, R
A study was undertaken to evaluate the efficacy of commercially available antimicrobial discs manufactured by Oxoid, UK, HiMedia Laboratories, Mumbai and Span Diagnostics, Surat. The discs were...
Comparison of efficacy of three commercially available antibiotic discs (2008)
Joshi, A, Iyer, V, Balasubramaniam, U, Kagal, A, Bharadwaj, R
\Direct " Model Checking of Temporal Properties (2008)
In this paper, we address the problem of model checking temporal properties of nite-state programs. This problem is usually solved by modelling the program as well as the negation of the desired...
Direct Model Checking of Temporal Properties x (2008)
In this paper, we address the problem of model checking temporal properties of nite-state programs. This problem is usually solved by modelling the program as well as the negation of the desired...
Snap: A Validator=Annotator for Proofs of Distributed Programs (2008)
Distributed programs are notorious for subtle errors, requiring proofs to establish their correctness. Correctness proofs carried out on paper tend to be error-prone. This paper presents system Snap...
Menon, S., Bharadwaj, R., Chowdhary, A. S., Kaundinya, D. V., Palande, D. A.
Purpose: The non-sporing anaerobes cause a wide spectrum of infections. They are difficult to culture and their identification is tedious and time-consuming. Rapid identification of anaerobes is...
Direct Model Checking of Temporal Properties x (2007)
In this paper, we address the problem of model checking temporal properties of finite-state programs. This problem is usually solved by modelling the program as well as the negation of the desired...
"Direct " Model Checking of Temporal Properties (2007)
In this paper, we address the problem of model checking temporal properties of finite-state programs. This problem is usually solved by modelling the program as well as the negation of the desired...
Snap: A Validator=Annotator for Proofs of Distributed Programs (2007)
Distributed programs are notorious for subtle errors, requiring proofs to establish their correctness. Correctness proofs carried out on paper tend to be error-prone. This paper presents system Snap...
Correspondence - Circulating phage type of Vibrio cholerae in Mumbai (2007)
Turbadkar, SD, Ghadge, DP, Patil, S, Chowdhary, AS, Bharadwaj, R
Circulating phage type of Vibrio cholerae in Mumbai (2007)
Turbadkar, S, Ghadge, D, Patil, S, Chowdhary, A, Bharadwaj, R
Polyphenotypic peripheral neuroepithelioma occuring in the foot : a case report. (2007)
Bharadwaj, R, Pradhudesai, S, Patkar, N, Badhwar, R, Jambhekar, N
Neonatal outbreak of salmonella worthington in a general hospital (2004)
Muley, V, Pol, S, Dohe, V, Nagdawane, R, Arjunwadkar, V, Pandit, D, ...
Primary amyloidosis of the urinary bladder: A case report (2003)
Srinath, N, Sandhu, A, Bharadwaj, R, Sood, R, Gupta, S, Pradhan, A, ...
Leptospirosis in the causation of hepato-renal syndrome in and around Pune. (2000)
Sharma, A, Joshi, SA, Srivastave, SK, Bharadwaj, R, Kahre, PM
Developing High Assurance Avionics Systems With The SCR Requirements Method (2000)
This paper describes a framework, based on the SCR (Software Cost Reduction) requirements
Genital myiasis : chrysomya bezziana. (1996)
Menon, S, Bharadwaj, R, Rajput, A, Khare, P, Sarala, M, Renu, B