Search

Your search keyword '"Singh, Neeraj K."' showing total 35 results
Start Over Author "Singh, Neeraj K."
35 results on '"Singh, Neeraj K."'

2. Empowering the Event-B Method Using External Theories

Author

Aït-Ameur, Yamine, Dupont, Guillaume, Mendil, Ismail, Méry, Dominique, Pantel, Marc, Rivière, Peter, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, and Monahan, Rosemary, editor

Published
2022
Full Text
View/download PDF

3. Event-B Refinement for Continuous Behaviours Approximation

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hou, Zhe, editor, and Ganesh, Vijay, editor

Published
2021
Full Text
View/download PDF

4. Reduction in Bill Using Time of Usage Pricing in a Smart Grid

Author

Pranjale, Saurabh, Balaji, Tharun, Mudgal, Soumya, Aamir Ahmed, Syed, Gupta, Praveen K., Singh, Neeraj K., Mahajan, Vasundhara, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Rüdiger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Martín, Ferran, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Speidel, Joachim, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Gupta, Om Hari, editor, and Sood, Vijay Kumar, editor

Published
2021
Full Text
View/download PDF

5. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Dongol, Brijesh, editor, and Troubitsyna, Elena, editor

Published
2020
Full Text
View/download PDF

6. Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Singh, Neeraj K., Ishikawa, Fuyuki, Kobayashi, Tsutomu, Pantel, Marc, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lin, Shang-Wei, editor, Hou, Zhe, editor, and Mahony, Brendan, editor

Published
2020
Full Text
View/download PDF

7. Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Raschke, Alexander, editor, Méry, Dominique, editor, and Houdek, Frank, editor

Published
2020
Full Text
View/download PDF

9. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Ghosh, Ashish, Series Editor, Abdelwahed, El Hassan, editor, Bellatreche, Ladjel, editor, Benslimane, Djamal, editor, Golfarelli, Matteo, editor, Jean, Stéphane, editor, Mery, Dominique, editor, Nakamatsu, Kazumi, editor, and Ordonez, Carlos, editor

Published
2018
Full Text
View/download PDF

10. On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B

Author

Aït-Ameur, Yamine, Ait-Sadoune, Idir, Casteran, P., Gibson, Paul, Hacid, K., Kherroubi, S., Méry, Dominique, Mohand-Oussaid, L., Singh, Neeraj K., Voisin, Laurent, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Butler, Michael, editor, Raschke, Alexander, editor, Hoang, Thai Son, editor, and Reichl, Klaus, editor

Published
2018
Full Text
View/download PDF

12. Sequential azacitidine and lenalidomide for patients with relapsed and refractory acute myeloid leukemia: Clinical results and predictive modeling using computational analysis

Author

Stevens, Brett, Winters, Amanda, Gutman, Jonathan A., Fullerton, Aaron, Hemenway, Gregory, Schatz, Derek, Miltgen, Nicholas, Wei, Qi, Abbasi, Taher, Vali, Shireen, Singh, Neeraj K., Drusbosky, Leylah, Cogle, Christopher R., Hammes, Andrew, Abbott, Diana, Jordan, Craig T., Smith, Clayton, and Pollyea, Daniel A.

Published
2019
Full Text
View/download PDF

26. Retinal defocus in myopes wearing dual‐focus zonal contact lenses.

Author

Singh, Neeraj K, Meyer, Dawn, Jaskulski, Matt, and Kollbaum, Pete

Subjects
*CONTACT lenses, *REFRACTIVE errors, *YOUNG adults, *MYOPIA, *ABERROMETRY
Abstract

Purpose: To evaluate the refractive impact of dual‐focus (DF) myopia control contact lenses (CLs) on accommodating young myopic adults. Methods: Phase 1: accommodative accuracy was assessed in 40 myopic participants. Phase 2: a subset of four subjects who demonstrated accurate accommodation and six who chronically underaccommodated were fitted with single vision (SV, Proclear 1 day) and centre‐distance DF myopia control CLs (MiSight 1 day) with approximately +2.00 D of additional power in two surrounding annular zones. While binocularly viewing high contrast characters at 4.00, 1.00, 0.50, 0.33, 0.25 and 0.20 m, aberrometry data were captured across the central ±30° of the horizontal retina. Local refractive errors were pooled for each area of the pupil covered by the central distance or first annular defocus zone of the DF CLs. Results: In the "good" accommodator group fitted with SV CLs, accommodative lags were generally absent except at the closest viewing distance (mean errors: −0.09 ± 0.22 D, −0.12 ± 0.26 D, −0.05 ± 0.37 D and +0.38 ± 0.54 D for −2.00, −3.00, −4.00 and −5.00 D target vergences, respectively) but significantly larger in the "poor" accommodating participants (+0.81 ± 0.21 D, +0.97 ± 0.27 D, +1.18 ± 0.39 D, +1.47 ± 0.55 D). For most viewing distances, hyperopic defocus observed in the region of the pupil covered by the first annular zone was replaced with myopic defocus when fitted with the DF CLs. Myopic defocus created by the first annular region was present across the central 30° of the retina. Conclusions: Some young adult myopes chronically experience high levels of hyperopic defocus when viewing near targets, which was replaced by myopic defocus in the annular part of the pupil covered by the treatment zones when fitted with a centre‐distance myopia control DF CL. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

28. Sequential Azacitidine and Lenalidomide for Patients with Relapsed and Refractory Acute Myeloid Leukemia: Clinical Results and Predictive Modeling Using Computational Analysis

Author

Stevens, Brett, primary, Winters, Amanda, additional, Gutman, Jonathan A., additional, Fullerton, Aaron, additional, Hemenway, Gregory, additional, Schatz, Derek, additional, Miltgen, Nicholas, additional, Wei, Qi, additional, Abbasi, Taher, additional, Vali, Shireen, additional, Singh, Neeraj K, additional, Drusbosky, Leylah, additional, Cogle, Christopher R., additional, Hammes, Andrew, additional, Abbott, Diana, additional, Jordan, Craig T., additional, Smith, Clayton, additional, and Pollyea, Daniel, additional

Published
2018
Full Text
View/download PDF

29. Predictive Simulation Approach for Designing Cancer Therapeutic Regimens with Novel Biological Mechanisms

Author

Doudican, Nicole A., primary, Mazumder, Amitabha, additional, Kapoor, Shweta, additional, Sultana, Zeba, additional, Kumar, Ansu, additional, Talawdekar, Anay, additional, Basu, Kabya, additional, Agrawal, Ashish, additional, Aggarwal, Aditi, additional, Shetty, Krithika, additional, Singh, Neeraj K, additional, Kumar, Chandan, additional, Tyagi, Anuj, additional, Singh, Neeraj Kumar, additional, Darlybai, Janitha C, additional, Abbasi, Taher, additional, and Vali, Shireen, additional

Published
2014
Full Text
View/download PDF

33. Table Tilt Versus Pelvic Tilt Position for Intrauterine Resuscitation during Spinal Anaesthesia for Caesarian Section.

Author

Haleem S, Singh NK, Bhandari S, Sharma D, and Amir SH

Abstract

Background: This study was undertaken to compare the effects on intrauterine resuscitation by table tilt versus pelvic tilt position after spinal anaesthesia for Caesarian Section. PATIENTS #ENTITYSTARTX00026;, Methods: FIFTY ASA I AND II PATIENTS WHO FULFILLED THE ELIGIBILITY CRITERIA WERE ENROLLED IN THE STUDY AND WERE DIVIDED INTO TWO GROUPS: group W (Pelvic tilt with wedge under right hip and group L- (15(0)left lateral table tilt) and received spinal anaesthesia. The following parameters were recorded. Heart rate (HR), mean arterial pressure (MAP) at baseline, 2mins, 5 min and then 5 min thereafter. Mean height of block, Total no. of segments blocked, Onset Time of sensory block (in Minutes), ephedrine doses, incidence of hypotension & bradycardia, APGAR score at 1& 5 Minutes., Results: The decrease in MAP was much more in wedged position as compared to table tilt position also the incidence of hypotension was 40% in wedged position as compared to 12% in table tilt position. Mean height of block, Total no. of segments blocked, and boluses of inj. ephedrine used were more in the wedged position than in table tilt position., Conclusion: Wedge placement caused increased incidence of hypotension and higher blockade after spinal anaesthesia as compared to left lateral table tilt position, there was no adverse effects on foetus and patients tolerated wedge better than left lateral table tilt position. Also surgery was easier to perform after wedge placement.

Published
2011

34. Classification of elderly as fallers and non-fallers using Centre of Pressure velocity.

Author

Hewson DJ, Singh NK, Snoussi H, and Duchene J

Subjects
Adult, Aged, 80 and over, Female, Humans, Male, Pressure, Reproducibility of Results, Sensitivity and Specificity, Accidental Falls prevention & control, Algorithms, Foot physiology, Manometry methods, Pattern Recognition, Automated methods, Postural Balance physiology
Abstract

Falls are a leading cause of death in the elderly. One of the most common methods of predicting falls is to evaluate balance using force plate measurement of the Centre of Pressure (COP) displacement. This signal, known as a stabilogram, can be decomposed into movement in anteroposterior (AP) and mediolateral (ML) directions. It has been suggested that studying the velocity of COP displacement could lead to new insights into fall risk. The aim of this study was to attempt to classify elderly fallers and non-fallers, as well as control subjects based on COP velocity measurements. Three groups of 10 subjects (controls, elderly fallers, and elderly non-fallers) were compared. Discriminant function analysis was able to correctly classify 90% of the subjects based only on COP velocity measurements. Further work is needed to determine whether this parameter might be of use in longitudinal measurement of fall risk in home-dwelling elderly.

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results