• Per Page:
  • Sort By:

Search results for ' ' (0.009 seconds ) Total Hits : 2945

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

Problems in computational geometry

Researcher:Ghosh, Subir Kumar
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
623

Proof theory for exception handling in distributed programs

Researcher:Lodaya, Kamal Dhanji
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
624

Compositional verification of distributed programs

Researcher:Pandya, Paritosh Kulin
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
625

Theories and models distributed logic programs

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

Design of a time division multiplexed analog data monitoring system using some novel transducers for use in mines

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

Advanced microcomputer based numerical control systems

Researcher:Ajit, G M
Guide:Sridhar, G M
Sridhar, C S
University:Cochin University of Science and Technology
Language:English
630

On the inadmissible class of faulty functions in logic networks and design for testability in LSI/VLSI

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, B
Mishra, 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

Competitive diffusion in social networks

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

Mobile agent based scalable and responsive architecture for telecommunication network management system

Researcher:Mishra, Atul
Guide:Sharma, A K
University:Maharshi Dayanand University
Language:English