N
Neeraj Kumar Singh
Researcher at Sardar Vallabhbhai National Institute of Technology, Surat
Publications - 188
Citations - 2545
Neeraj Kumar Singh is an academic researcher from Sardar Vallabhbhai National Institute of Technology, Surat. The author has contributed to research in topics: Formal methods & Formal verification. The author has an hindex of 24, co-authored 154 publications receiving 1818 citations. Previous affiliations of Neeraj Kumar Singh include Sankara Nethralaya & University of Toulouse.
Papers
More filters
Journal ArticleDOI
The β-Secretase BACE1 in Alzheimer's Disease.
Harald Hampel,Robert Vassar,Bart De Strooper,Bart De Strooper,Bart De Strooper,John Hardy,Michael Willem,Neeraj Kumar Singh,John Zhou,Riqiang Yan,Eugeen Vanmechelen,Ann De Vos,Robert Nisticò,Massimo Corbo,Bruno P. Imbimbo,Johannes Streffer,Iryna Voytyuk,Iryna Voytyuk,Iryna Voytyuk,Maarten Timmers,Maarten Timmers,Amir Abbas Tahami Monfared,Amir Abbas Tahami Monfared,Michael C. Irizarry,Bruce Albala,Akihiko Koyama,Naoto Watanabe,Teiji Kimura,Lisa Yarenis,Simone Lista,Simone Lista,Lynn D. Kramer,Andrea Vergallo +32 more
TL;DR: BACE1 concentrations and rates of activity are increased in AD brains and body fluids, thereby supporting the hypothesis that BACE1 plays a critical role in AD pathophysiology, and is a prime drug target for slowing down Aβ production in early AD.
Journal ArticleDOI
IRAK-1 Contributes to Lipopolysaccharide-induced Reactive Oxygen Species Generation in Macrophages by Inducing NOX-1 Transcription and Rac1 Activation and Suppressing the Expression of Antioxidative Enzymes
TL;DR: The study reveals IRAK-1 as a novel component involved in the generation of ROS induced by LPS, and shows that injection of LPS causes significantly less plasma lipid peroxidation in IRAk-1−/− mice compared with wild type mice.
Journal ArticleDOI
Performance, energy loss, and degradation prediction of roof-integrated crystalline solar PV system installed in Northern India
Nallapaneni Manoj Kumar,Ramjee Prasad Gupta,Mobi Mathew,Arunkumar Jayakumar,Neeraj Kumar Singh +4 more
TL;DR: In this paper, the performance, energy loss, and degradation of a 200 kW roof-integrated crystalline photovoltaic (PV) system installed at IRB Complex-5, Chandigarh in the Northern part of India was predicted.
Proceedings ArticleDOI
Automatic code generation from event-B models
TL;DR: A translation tool that automatically generates efficient target programming language code (C, C++, Java and C#) from Event-B formal specification related to the analysis of complex problems from a collection of Rodin plug-ins.
Journal ArticleDOI
Ensuring appropriate timing of antimicrobial prophylaxis.
Andrew D. Rosenberg,Daniel Wambold,Linede Kraemer,Maureen Begley-Keyes,Scott L. Zuckerman,Neeraj Kumar Singh,Max M. Cohen,Michele V. Bennett +7 more
TL;DR: Piggybacking of verification of prophylactic antibiotic administration onto the wrong-site-surgery time-out protocol is an effective, cost-free, and easy-to-adopt method to ensure compliance with appropriate timing of proPHylactic antibiotics.