2,554 results on '"Ramanathan, S"'
Search Results
2. Characterization of novel zinc-hydroxyapatite/wollastonite composite synthesized from biowaste for biodegradable orthopedic implant applications
3. Does the Y-Balance test Predict Lower Extremity Injury among Volleyball Players?
4. Biodegradable Mg–3Zn Alloy/Titanium–Hydroxyapatite Hybrid Composites: Corrosion and Cytotoxicity Evaluation for Orthopedic Implant Applications
5. Reachability in Continuous Pushdown VASS
6. Checking Refinement of Asynchronous Programs against Context-Free Specifications
7. Microstructure, Mechanical, and Electrochemical Corrosion Performance of Ti/HA (Hydroxyapatite) Particles Reinforced Mg-3Zn Squeeze Casted Composites
8. Correlation between demographical background and self efficacy on ICT embedded the health care resources: A study among the medical students at trichy
9. Performance of Site-specific and Real-time N Management Strategies in Irrigated Rice
10. Existential Definability over the Subword Ordering
11. Tribological behavior of friction stir process surface hybrid composite AA5083/MWCNT/Al2SiO5 using multi-quadratic RBF algorithm
12. Reachability in Continuous Pushdown VASS.
13. An integrated investigation of the effect of sub-transus treatment on the microstructure and corrosion behaviour of the LPBF Ti–6Al–4V alloy
14. Context-Bounded Verification of Thread Pools
15. Characterization of Metabolites in an Endophytic Fungus Diaporthe fraxini via NMR-based Metabolomics and Cholinesterase Inhibitory Activity
16. General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
17. The complexity of bounded context switching with dynamic thread creation
18. Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
19. Context-Bounded Analysis of Concurrent Programs (Invited Talk).
20. Checking Refinement of Asynchronous Programs Against Context-Free Specifications.
21. A Case Study of Bus Bar Heat Transfer Optimization Using Taguchi Technique for Low Tension Application
22. Bilateral vision loss as the initial presentation for central nervous system involvement of mantle cell lymphoma: A case series
23. Existential Definability over the Subword Ordering
24. Cation and anion topotactic transformations in cobaltite thin films leading to Ruddlesden-Popper phases
25. Monolithic integration and ferroelectric phase evolution of hafnium zirconium oxide in 2D neuromorphic synaptic devices
26. Context-Bounded Verification of Context-Free Specifications.
27. Regular Separability and Intersection Emptiness are Independent Problems
28. Corrosion behavior of anodized Ti-Ta binary surface alloys in various physiological fluids for implant applications
29. Evaluation of the Wear Performance of Novel Titanium/Hydroxyapatite-Reinforced Mg–3Zn Hybrid Composites Fabricated by Squeeze Casting
30. Existential Definability over the Subword Ordering.
31. Vanadium dioxide circuits emulate neurological disorders
32. Electrochemical sensing platform for the detection of nitroaromatics using g-C3N4/V2O5 nanocomposites modified glassy carbon electrode
33. Spectrum of opportunistic fungal lung co-infections in COVID-19: What the radiologist needs to know
34. Espectro de coinfecciones pulmonares fúngicas oportunistas en COVID-19: lo que el radiólogo debe saber
35. Barriers to artificial intelligence implementation in radiology practice: What the radiologist needs to know
36. Dificultades en la implantación de la inteligencia artificial en la práctica radiológica: lo que el radiólogo necesita saber
37. Context-bounded verification of thread pools.
38. Reachability in Continuous Pushdown VASS.
39. Defining Recursive Predicates in Graph Orders
40. General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.
41. Finite element analysis on effect of aspect ratio and specimen geometry of biodegradable Zn 0.2 Ti 1 Mg / HA-WA composite for biomedical applications
42. Finite element modelling to predict hardness of Mg alloy reinforced with Ti/Hydroxyapatite hybrid composites – An axisymmetric approach
43. Analytical characterization of engineered nanostructures – Techniques and challenges.
44. The Complexity of Bounded Context Switching with Dynamic Thread Creation.
45. General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
46. A novel face recognition technology to enhance health and safety measures in hospitals using SBC in pandemic prone areas
47. Numerical investigation of backflow in natural draft chimneys
48. Reachability in Continuous Pushdown VASS
49. Context-bounded verification of liveness properties for multithreaded shared-memory programs.
50. Regular Separability and Intersection Emptiness Are Independent Problems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.