249 results on '"Tekriwal A"'
Search Results
2. White out hemithorax secondary to salivary gland type of lung cancer with metastasis in liver and bone: a case report
3. Investigation of cryptic JAG1 splice variants as a cause of Alagille syndrome and performance evaluation of splice predictor tools
4. Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report).
5. Formalization of Asymptotic Convergence for Stationary Iterative Methods.
6. Formally verified asymptotic consensus in robust networks.
7. Formally verified asymptotic consensus in robust networks
8. Formally verified asymptotic consensus in robust networks
9. Canal of Nuck Endometrioma: An Uncommon Site of a Common Pathology
10. Investigation of cryptic JAG1 splice variants as a cause of Alagille syndrome and performance evaluation of splice predictor tools
11. Formally verified asymptotic consensus in robust networks
12. Formalization of Asymptotic Convergence for Stationary Iterative Methods
13. Dandelion: Certified Approximations of Elementary Functions
14. A formal proof of the Lax equivalence theorem for finite difference schemes
15. Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
16. LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.
17. Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method
18. Dandelion: Certified Approximations of Elementary Functions.
19. Towards Verified Rounding Error Analysis for Stationary Iterative Methods.
20. Quantifying neuro-motor correlations during awake deep brain stimulation surgery using markerless tracking
21. Quantifying neuro-motor correlations during awake deep brain stimulation surgery using markerless tracking
22. A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes.
23. Iterative Feature Mining for Constraint-Based Data Collection to Increase Data Diversity and Model Robustness.
24. Air Quality Status in Jaipur and Nearby Areas of Rajasthan
25. Deep learning based markerless motion tracking as a clinical tool for movement disorders: Utility, feasibility and early experience
26. Explaining Drift using Shapley Values
27. Prevalence and distribution of selected dental anomalies in the patients reporting to dental institute, RIMS, Ranchi
28. Infantile inguinal hernia complicated with ileoileal intussusception
29. Automatic extraction of upper-limb kinematic activity using deep learning-based markerless tracking during deep brain stimulation implantation for Parkinson’s disease: A proof of concept study
30. A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes
31. Utility of Diffusion Tensor Imaging in Assessing Corticospinal Tracts for the Management of Brain Tumors: A Cross-Sectional Observational Study
32. LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs
33. Disseminated langerhans cell histiocytosis presenting as decompensated childhood cirrhosis
34. Meckel’s diverticulitis: A frequently overlooked mimic of appendicitis
35. Verbalizing, Visualizing, and Navigating: The Effect of Strategies on Encoding a Large-Scale Virtual Environment
36. ANN Based Assistance for Exercise Patterns Using Accelerometer Data
37. Permeation of the term 'analytics' in production and operations management research
38. Peripheral nerve conduction velocities and handedness-is there any corelation?
39. Dandelion: Certified Approximations of Elementary Functions
40. Disseminated langerhans cell histiocytosis presenting as decompensated childhood cirrhosis
41. Meckel’s diverticulitis: A frequently overlooked mimic of appendicitis
42. Age Estimation Based on CT Chest Analysis of Ossification of the Xiphisternal Joint in a Living Population Aged 35-50 in a Tertiary Setup
43. Age Estimation Based on CT Chest Analysis of Ossification of the Xiphisternal Joint in a Living Population Aged 35-50 in a Tertiary Setup
44. Mathematical modeling and design for six sigma
45. Computed Tomographic Analysis of Medial Clavicular Epiphysis Fusion for Age Estimation in Western Indian Population at a Tertiary Care Centre
46. Computed Tomographic Analysis of Medial Clavicular Epiphysis Fusion for Age Estimation in Western Indian Population at a Tertiary Care Centre
47. Integration of Safety and Smartness Using Cloud Services: An Insight to Future
48. Tooth discoloration caused by endodontic treatment: A cross sectional study
49. Towards Verified Rounding Error Analysis for Stationary Iterative Methods
50. Automatic extraction of upper-limb kinematic activity using deep learning-based markerless tracking during deep brain stimulation implantation for Parkinson’s disease: A proof of concept study
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.