Alternation in Equational Tree Automata Modulo XOR
Verma, Kumar Neeraj
Published in FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (2004)
Published in FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (2004)
Get full text
Book Chapter
Conference Proceeding
Karp-Miller Trees for a Branching Extension of VASS
Verma, Kumar Neeraj, Goubault-Larrecq, Jean
Published in Discrete mathematics and theoretical computer science (01.01.2005)
Published in Discrete mathematics and theoretical computer science (01.01.2005)
Get full text
Journal Article
A pragmatic approach to recover access time of Apriori algorithm by applying intersection on CSS for redefining FIS through matrix implementation in textual data
Verma, Neeraj Kumar, Singh, Vaishali
Published in Journal of discrete mathematical sciences & cryptography (19.05.2022)
Published in Journal of discrete mathematical sciences & cryptography (19.05.2022)
Get full text
Journal Article
Spermine-Conjugated Short Proline-Rich Lipopeptides as Broad-Spectrum Intracellular Targeting Antibacterial Agents
Dewangan, Rikeshwer Prasad, Verma, Devesh Pratap, Verma, Neeraj Kumar, Gupta, Ankit, Pant, Garima, Mitra, Kalyan, Habib, Saman, Ghosh, Jimut Kanti
Published in Journal of medicinal chemistry (14.04.2022)
Published in Journal of medicinal chemistry (14.04.2022)
Get full text
Journal Article
Internet of Things (IoT) based Smart Helmet for Construction
Kuhar, Preeti, Sharma, Kaushal, Hooda, Yaman, Verma, Neeraj Kumar
Published in Journal of physics. Conference series (01.08.2021)
Published in Journal of physics. Conference series (01.08.2021)
Get full text
Journal Article
Tandem Repeat of a Short Human Chemerin-Derived Peptide and Its Nontoxic d‑Lysine-Containing Enantiomer Display Broad-Spectrum Antimicrobial and Antitubercular Activities
Pratap Verma, Devesh, Ansari, Mohd Mustkim, Verma, Neeraj Kumar, Saroj, Jyotshana, Akhtar, Sariyah, Pant, Garima, Mitra, Kalyan, Singh, Bhupendra Narain, Ghosh, Jimut Kanti
Published in Journal of medicinal chemistry (28.10.2021)
Published in Journal of medicinal chemistry (28.10.2021)
Get full text
Journal Article
Protection and Strengthening of Corroded Prestressing Tendons
Sharma, Kaushal, Hooda, Yaman, Kuhar, Preeti, Verma, Neeraj Kumar
Published in Journal of physics. Conference series (01.08.2021)
Published in Journal of physics. Conference series (01.08.2021)
Get full text
Journal Article
Resemblance of Image Classification Methods in Computer Vision
Bhadoriya, Varun, Jain, Niharika, Verma, Neeraj Kumar, Kumar, Ravi
Published in ECS transactions (24.04.2022)
Published in ECS transactions (24.04.2022)
Get full text
Journal Article
Inhibition of Mitogen-Activated Protein Kinase (MAPK)-Activated Protein Kinase 2 (MK2) is Protective in Pulmonary Hypertension
Shafiq, Mohammad, Jagavelu, Kumaravelu, Iqbal, Hina, Yadav, Pankaj, Chanda, Debabrata, Verma, Neeraj Kumar, Ghosh, Jimut Kanti, Gaestel, Matthias, Hanif, Kashif
Published in Hypertension (Dallas, Tex. 1979) (01.04.2021)
Published in Hypertension (Dallas, Tex. 1979) (01.04.2021)
Get full text
Journal Article
Corannulene Amino Acid-Derived Water-Soluble Amphiphilic Buckybowls as Broad-Spectrum Membrane Targeting Antibacterial Agents
Maji, Saroj, Akhtar, Sariyah, Halder, Sabyasachi, Chatterjee, Indranil, Verma, Devesh Pratap, Verma, Neeraj Kumar, Saroj, Jyotshana, Saxena, Deepanshi, Maitra, Rahul, Sharma, Juhi, Sharma, Bhawana, Sakurai, Hidehiro, Mitra, Kalyan, Chopra, Sidharth, Ghosh, Jimut Kanti, Panda, Gautam
Published in Journal of medicinal chemistry (12.09.2024)
Published in Journal of medicinal chemistry (12.09.2024)
Get full text
Journal Article
Introduction of a β-leucine residue instead of leucine9 and glycine10 residues in Temporin L for improved cell selectivity, stability and activity against planktonic and biofilm of methicillin resistant S. aureus
Verma, Neeraj Kumar, Dewangan, Rikeshwer Prasad, Harioudh, Munesh Kumar, Ghosh, Jimut Kanti
Published in Bioorganic chemistry (01.05.2023)
Published in Bioorganic chemistry (01.05.2023)
Get full text
Journal Article
Involvement of mitogen-activated protein kinase (MAPK)-activated protein kinase 2 (MK2) in endothelial dysfunction associated with pulmonary hypertension
Shafiq, Mohammad, Lone, Zahid Rasool, Bharati, Pragya, Singh, Himalaya, Jagavelu, Kumaravelu, Verma, Neeraj Kumar, Ghosh, Jimut Kanti, Gaestel, Matthias, Hanif, Kashif
Published in Life sciences (1973) (01.12.2021)
Published in Life sciences (1973) (01.12.2021)
Get full text
Journal Article
10-Residue MyD88-Peptide Adopts β‑Sheet Structure, Self-Assembles, Binds to Lipopolysaccharides, and Rescues Mice from Endotoxin-Mediated Lung-Infection and Death
Kumari, Tripti, Verma, Devesh Pratap, Kuldeep, Jitendra, Dhanabal, Vidhya Bharathi, Verma, Neeraj Kumar, Sahai, Rohit, Tripathi, Amit Kumar, Saroj, Jyotshana, Ali, Mehmood, Mitra, Kalyan, Siddiqi, Mohammad Imran, Bhattacharjya, Surajit, Ghosh, Jimut Kanti
Published in ACS chemical biology (16.12.2022)
Published in ACS chemical biology (16.12.2022)
Get full text
Journal Article