Study of High Energy Emission from Relativistic Jets with VERITAS by Mukherjee R.

Get full text

Precise abstract interpretation of hardware designs by Mukherjee, R

Elements of quality control/ by 417985 Mukherjee, R. R.

The rebellion in Awadh, 1857-58 by Mukherjee, R, Mukherjee, Rudrangshu

Hardware verification using software analyzers by Mukherjee, R, Kroening, D, Melham, T

Raman spectroscopy applications for bacterial detection : potential & challenges towards development of field deployable system by Sil, S., Mukherjee, R., Kumar, N. S., Umapathy, S.

Get full text

V2c – A Verilog to C translator by Mukherjee, R, Tautschnig, M, Kroening, D

Alcohol consumption during pregnancy and its effects on neurodevelopment: what is known and what remains uncertain. by Gray, R, Mukherjee, R, Rutter, M

Some remarks on duality and optimality of a class of constrained convex quadratic minimization problems by Roy Sudipta, Chatterjee Sandip, Mukherjee R.N.

Get full text

Unbounded Safety Verification for Hardware Using Software Analyzers by Mukherjee, R, Schrammel, P, Kroening, D, Melham, T

Equivalence checking using trace partitioning by Mukherjee, R, Kroening, D, Melham, T, Srivas, M

Formal techniques for effective co-verification of hardware/software co-designs by Mukherjee, R, Purandare, M, Polig, R, Kroening, D

Equivalence checking of a floating-point unit against a high-level C model by Mukherjee, R, Joshi, S, Griesmayer, A, Kroening, D, Melham, T

Efficient verification of multi-property designs (The benefit of wrong assumptions) by Goldberg, E, Güdemann, M, Kroening, D, Mukherjee, R

Lifting CDCL to template-based abstract domains for program verification by Mukherjee, R, Schrammel, P, Haller, L, Kroening, D, Melham, T

Managing antiplatelet and anticoagulant drugs in patients undergoing elective ophthalmic surgery. Authors' response. by Mukherjee, R, Kiire, C, Ruparelia, N, Keeling, D, Prendergast, B, Norris, J

Chronic airflow limitation in a rural Indian population: etiology and relationship to body mass index by Chakrabarti B, Purkait S, Gun P, Moore VC, Choudhuri S, Zaman MJ, Warburton CJ, Calverley PMA, Mukherjee R

Get full text

The effect of domiciliary noninvasive ventilation on clinical outcomes in stable and recently hospitalized patients with COPD: a systematic review and meta-analysis by Dretzke J, Moore D, Dave C, Mukherjee R, Price MJ, Bayliss S, Wu X, Jordan RE, Turner AM

Get full text

Intraocular Lens Unfurling Time Exponentially Decays with Increased Solution Temperature by Rocher EE, Mukherjee R, Pitingolo J, Levenshus E, Alexander G, Park M, Acharya R, Khan S, Shuff J, Aguirre A, Matin S, Walter K, Eghrari AO

Get full text

Potential of nanoparticles encapsulated drugs for possible inhibition of the antimicrobial resistance development by Pandey, RP, Mukherjee, R, Priyadarshini, A, Gupta, A, Vibhuti, A, Leal, E, Sengupta, U, Katoch, VM, Sharma, P, Moore, CE, Raj, VS, Lyu, X