Alok Jain - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2023

METEOR: A Dense, Heterogeneous, and Unstructured Traffic Dataset with Rare BehaviorsRohan Chandra, Xijun Wang, Mridul Mahajan, Rahul Kala, Rishitha Palugulla, Chandrababu Naidu, Alok Jain, Dinesh Manocha. icra 2023: 9169-9175 [doi]

2022

Structural basis of Omicron immune evasion: A comparative computational studyDarshan Contractor, Christoph Globisch, Shiv Swaroop, Alok Jain. cbm, 147:105758, 2022. [doi]

Knowledge-driven design and optimization of potent symmetric anticancer molecules: A case study on PKM2 activatorsEshika Jaiswal, Christoph Globisch, Alok Jain. cbm, 151(Part):106313, 2022. [doi]

2019

EncoderMap(II): Visualizing Important Molecular Motions with Improved Generation of Protein ConformationsTobias Lemke, Andrej Berg, Alok Jain, Christine Peter. jcisd, 59(11):4550-4560, 2019. [doi]

2018

2016

Automatic Detection of Fetal Abnormality Using Head and Abdominal CircumferenceVidhi Rawat, Alok Jain, Vibhakar Shrimali, Abhishek Rawat. iccci 2016: 525-534 [doi]

2015

Application of convolved hanning window in designing filterbanks with reduced aliasing errorShilpa Datar, Alok Jain. icsipa 2015: 22-26 [doi]

Speech enhancement by noise driven adaptation of perceptual scales and thresholds of continuous wavelet transform coefficientsPreety D. Swami, Rupali Sharma, Alok Jain, Dhirendra K. Swami. speech, 70:1-12, 2015. [doi]

2014

Image denoising by supervised adaptive fusion of decomposed images restored using wave atom, curvelet and wavelet transformPreety D. Swami, Alok Jain. sivp, 8(3):443-459, 2014. [doi]

2013

Design and performance analysis of adjustable window functions based cosine modulated filter banksAshutosh Datar, Alok Jain, Pramod Chandra Sharma. dsp, 23(1):412-417, 2013. [doi]

2012

Adaptive Fusion Based Hybrid Denoising Method for Texture ImagesPreety D. Swami, Alok Jain. acity 2013: 699-707 [doi]

2011

2010

2007

Tutorial T4B: Formal Assertion-Based Verification in Industrial SettingPraveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain. vlsid 2007: 7 [doi]

2006

Anti-image FIR filters for large interpolation factorsAlok Jain, Rajiv Saxena, S. C. Saxena. sigpro, 86(11):3240-3245, 2006. [doi]

An improved and simplified design of cosine-modulated pseudo-QMF filterbanksAlok Jain, Rajiv Saxena, S. C. Saxena. dsp, 16(3):225-232, 2006. [doi]

1999

Formal Verification of an ARM ProcessorVishnu A. Patankar, Alok Jain, Randal E. Bryant. vlsid 1999: 282-287 [doi]

1997

Formal Verification of a Superscalar Execution UnitKyle L. Nelson, Alok Jain, Randal E. Bryant. dac 1997: 161-166 [doi]

Efficient Modeling of Memory Arrays in Symbolic SimulationMiroslav N. Velev, Randal E. Bryant, Alok Jain. cav 1997: 388-399

1996

Verifying Nondeterministic Implementations of Deterministic SystemsAlok Jain, Kyle L. Nelson, Randal E. Bryant. FMCAD 1996: 109-125

1995

Automatic Clock Abstraction from Sequential CircuitsSamir Jain, Randal E. Bryant, Alok Jain. dac 1995: 707-711 [doi]

Extraction of finite state machines from transistor netlists by symbolic simulationManish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain. iccd 1995: 596-601 [doi]

1993

Inverter minimization in multi-level logic networksAlok Jain, Randal E. Bryant. iccad 1993: 462-465 [doi]

1991

Mapping Switch-Level Simulation onto Gate-Level Hardware AcceleratorsAlok Jain, Randal E. Bryant. dac 1991: 219-222 [doi]

Sign in or sign up to see more results.

runs on WebDSL