Zobrazeno 101 - 110
of 322
pro vyhledávání: '"Neeraj Kumar Singh"'
Autor:
Jie Luo, Vellareddy Anantharam, Poojya Anantharam, Srikant Rangaraju, Anumantha G. Kanthasamy, Heike Wulff, Dilshan S. Harischandra, Neeraj Kumar Singh, Bharathi N. Palanisamy, Sireesha Manne, Vikrant Singh, Lee-Way Jin, Nikhil Panicker, Hai M. Nguyen, Matthew Neal, Huajun Jin, Muhammet Ay, Dharmin Rokad, Ahmed Abdalla, Souvarish Sarkar, Monica R. Langley, Adhithiya Charli, Emir Malovic, Michelle Gabrielle
Publikováno v:
J Clin Invest
Characterization of the key cellular targets contributing to sustained microglial activation in neurodegenerative diseases, including Parkinson’s disease (PD), and optimal modulation of these targets can provide potential treatments to halt disease
Autor:
Neeraj Kumar Singh
Publikováno v:
Information Technology and Libraries; Vol 39 No 2 (2020)
Libraries are the central agencies for the dissemination of knowledge. Every library aspires to provide maximum opportunities to its users and ensure optimum utilization of available resources. Hence, libraries have been seeking technological aids to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc6f924aad0504ddd3c76976152570ac
https://ejournals.bc.edu/index.php/ital/article/view/11811
https://ejournals.bc.edu/index.php/ital/article/view/11811
Autor:
Roger Stanley, Krishnakumar Kalpurath, Kent John Neil Taylor, Neeraj Kumar Singh, Jehan Phillips, JM Beckett, Rajaraman Eri
Publikováno v:
Nutrients
Volume 12
Issue 6
Nutrients, Vol 12, Iss 1813, p 1813 (2020)
Volume 12
Issue 6
Nutrients, Vol 12, Iss 1813, p 1813 (2020)
Gastroesophageal reflux disease (GERD) affects approximately 20% of Australians. Patients suffer a burning sensation known as heartburn due to the movement of acidic stomach content into the esophagus. There is anecdotal evidence of the effectiveness
Publikováno v:
Rigorous State-Based Methods-7th International Conference, ABZ 2020
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
7th International Conference on Rigorous State-Based Methods (ABZ 2020)
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Rigorous State-Based Methods
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
7th International Conference on Rigorous State-Based Methods (ABZ 2020)
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Rigorous State-Based Methods
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
International audience; Cyber-Physical Systems (CPS) play a central role in modern days technology. From simple thermostat controllers to more advanced autonomous cars, their versatility makes them perfect candidates for many applications, in particu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5338b49e0c7c37afa3e38ef9cadc455d
https://hal.archives-ouvertes.fr/hal-03266062
https://hal.archives-ouvertes.fr/hal-03266062
Autor:
Marc Pantel, Neeraj Kumar Singh, Yamine Aït-Ameur, Philippe Palanque, David Navarre, Dominique Méry
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030469016
FTSCS
FTSCS 2019 : Formal Techniques for Safety-Critical Systems
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019)
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
FTSCS
FTSCS 2019 : Formal Techniques for Safety-Critical Systems
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019)
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
International audience; This paper reports our experience for developing Human-Machine Interface (HMI) complying with ARINC 661 specification standard for interactive cockpits applications using formal methods. This development relies on the FLUID mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5aeddd943240a8c2d2a99785fcf3126a
https://oatao.univ-toulouse.fr/26285/
https://oatao.univ-toulouse.fr/26285/
Publikováno v:
2020 International Conference on Electrical and Electronics Engineering (ICE3).
The dependency of the smart grid is higher in terms of Wireless Sensors (WS) for flexible monitoring and control. Sensor nodes are required to sense, collect and process the real-time data and transfer it to the monitoring stations. Mostly, it is dep
Autor:
Neeraj Kumar Singh, Tsutomu Kobayashi, Marc Pantel, Fuyuki Ishikawa, Guillaume Dupont, Yamine Aït-Ameur
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783030634056
ICFEM
Formal Methods and Software Engineering-22nd International Conference on Formal Engineering Methods, ICFEM 2020
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings ; ISBN: 978-3-030-63405-6
22nd International Conference on Formal Engineering Methods (ICFEM 2020)
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
ICFEM
Formal Methods and Software Engineering-22nd International Conference on Formal Engineering Methods, ICFEM 2020
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings ; ISBN: 978-3-030-63405-6
22nd International Conference on Formal Engineering Methods (ICFEM 2020)
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
International audience; Hybrid systems consist of a discrete part (controller) that interacts with a continuous physical part (plant). Formal verification of such systems is complex and challenging in order to handle both the discrete objects and con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bedfe4ff2cde78572c744031fd689416
https://doi.org/10.1007/978-3-030-63406-3_15
https://doi.org/10.1007/978-3-030-63406-3_15
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030634605
IFM
Integrated Formal Methods-16th International Conference, iFM 2020
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
16th International Conference on Integrated Formal Methods (IFM 2020)
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
IFM
Integrated Formal Methods-16th International Conference, iFM 2020
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
16th International Conference on Integrated Formal Methods (IFM 2020)
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
International audience; Designing hybrid systems requires the handling of discrete and continuous behaviours. The formal verification of such systems revolves around the use of heavy mathematical features, and related proofs. This paper presents a ge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::300d430928937852815aeb2e314bab8d
https://doi.org/10.1007/978-3-030-63461-2_5
https://doi.org/10.1007/978-3-030-63461-2_5
Autor:
Neeraj Kumar Singh, Vasundhara Mahajan
Publikováno v:
2019 8th International Conference on Power Systems (ICPS).
In power system protection, the protective zones overlap each other making it difficult to understand which relay or circuit breaker should operate first. Similarly, in smart grid substations different Wireless Sensors (WS) are used for data exchange
Autor:
Guillaume Dupont, Neeraj Kumar Singh, Alexander Romanovsky, Alexei Iliasov, Paulius Stankaitis, Yamine Ait-Ameur
Publikováno v:
ICECCS
The modern radio-based railway signalling systems aim to increase network's capacity by enabling trains to run closer to each other. At the core of such systems is train's on-board computer (discrete) responsible for computing and controlling the spe