621 | Verification of digital systems using linear time temporal logic | |
Researcher: | Gangadharan, Venkatesh | |
Guide: | Shyamsundar, R K | |
University: | Tata Institute of Fundamental Research | |
Language: | English | |
622 | ||
Researcher: | Ghosh, Subir Kumar | |
Guide: | Shyamsundar, R K | |
University: | Tata Institute of Fundamental Research | |
Language: | English | |
623 | ||
Researcher: | Lodaya, Kamal Dhanji | |
Guide: | Mathai Joseph | |
University: | Tata Institute of Fundamental Research | |
Language: | English | |
624 | ||
Researcher: | Pandya, Paritosh Kulin | |
Guide: | Mathai Joseph | |
University: | Tata Institute of Fundamental Research | |
Language: | English | |
625 | ||
Researcher: | Ramanujam, R | |
Guide: | Shyamsundar, R K | |
University: | Tata Institute of Fundamental Research | |
Language: | English | |
626 | Computer methods and models to administer selection of candidates for proffesional courses | |
Researcher: | Chellappan, C | |
Guide: | Natesan, T R | |
University: | Anna University | |
Language: | English | |
627 | ||
Researcher: | Murthy, Bhaskara Bhanu | |
Guide: | Rangachari, S | |
University: | Indian School of Mines | |
Language: | English | |
628 | On query transactions in distributed relational database management systems | |
Researcher: | Mathur, Jyoti | |
Guide: | Dhyani, Praveen | |
University: | Birla Institute of Technology and Science | |
Language: | English | |
629 | ||
Researcher: | Ajit, G M | |
Guide: | Sridhar, G MSridhar, C S | |
University: | Cochin University of Science and Technology | |
Language: | English | |
630 | ||
Researcher: | Bhattacharyya, Bhargabhikram | |
University: | University of Calcutta | |
Language: | English | |
631 | On the design of easily testable logic networks for detection of stuck-at and bridging faults | |
Researcher: | Gupta, Bidyut | |
University: | University of Calcutta | |
Language: | English | |
632 | Comparative quality analysis of fruit using image processing | |
Researcher: | Sardar, Hassan | |
Guide: | Chaturvedi, Ashish | |
University: | CMJ University | |
Language: | Arabic | |
633 | Dynamic model for monitoring and expediting of projects under uncertainty | |
Researcher: | Mohanty, Ashok | |
Guide: | Satpathy, BMishra, J | |
University: | Sambalpur University | |
Language: | English | |
Shodhganga | ||
634 | An improved machine learning using randomization and expert knowledge | |
Researcher: | Ali Mirza, MD | |
Guide: | Prasad, R Satya | |
University: | Acharya Nagarjuna University, Guntur | |
Language: | English | |
Shodhganga | ||
635 | Image texture classification methods based on statistical approaches | |
Researcher: | Yalla, Venkateswarlu | |
Guide: | Murthy, J V R | |
University: | Acharya Nagarjuna University, Guntur | |
Language: | English | |
Shodhganga | ||
636 | Scenario approach to software architecture based on use case maps | |
Researcher: | Rama Rao, I V S J | |
Guide: | Prasad, R Satya | |
University: | Acharya Nagarjuna University, Guntur | |
Language: | English | |
Shodhganga | ||
637 | ||
Researcher: | Tripathy, Rudra Mohan | |
Guide: | Bagchi, Amitabha | |
University: | Indian Institute of Technology, Delhi | |
Language: | Arabic | |
638 | Assessing the impact of e-governance projects in rural and semi-urban areas: a case study of Punjab | |
Researcher: | Chander, Subhash | |
Guide: | Singh, Vikram | |
University: | Chaudhary Devi Lal University, Sirsa | |
Language: | Arabic | |
639 | Study of Congestion control in ATM to improve quality of service | |
Researcher: | Jain, Parag | |
Guide: | Gupta, S C | |
University: | Bhagwant University | |
Language: | English | |
640 | ||
Researcher: | Mishra, Atul | |
Guide: | Sharma, A K | |
University: | Maharshi Dayanand University | |
Language: | English |