The existence of finite abstractions for branching time model checking von Dams, D., Namjoshi, K.S.

Volltext

On model checking for non-deterministic infinite-state systems von Emerson, E.A., Namjoshi, K.S.

Volltext

A transformer-based deep-learning approach for classifying brain metastases into primary organ sites using clinical whole-brain MRI images von Lyu, Qing, Namjoshi, Sanjeev V., McTyre, Emory, Topaloglu, Umit, Barcus, Richard, Chan, Michael D., Cramer, Christina K., Debinski, Waldemar, Gurcan, Metin N., Lesser, Glenn J., Lin, Hui-Kuan, Munden, Reginald F., Pasche, Boris C., Sai, Kiran K.S., Strowd, Roy E., Tatter, Stephen B., Watabe, Kounosuke, Zhang, Wei, Wang, Ge, Whitlow, Christopher T.

Volltext

Improved corrosion resistance of Ni–22Cr–13Mo–4W Alloy by surface nanocrystallization von Raja, K.S., Namjoshi, S.A., Misra, M.

Volltext

Electrochemical methods to detect susceptibility of Ni-Cr-Mo-W alloy 22 to intergranular corrosion von GORHE, D. D, RAJA, K. S, NAMJOSHI, S. A, RADMILOVIC, Velimir, TOLLY, Alfredo, JONES, D. A

Volltext

Corrosion-creep interaction of stainless alloys in acid chloride solutions von RAJA, K. S, NAMJOSHI, S. A, JONES, D. A

Volltext

Changes in health-related quality of life of patients with bipolar disorder treated with olanzapine von Namjoshi, M., Jacobs, T., Sanger, T.M., Gannon, K.S., Tohen, M., Breier, A.

Volltext