ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 14.

Book Chapter

Chandru, Vijay and Rao, Rammohan M and Swaminathan, Ganesh (2004) Protein folding on lattices: an integer programming approach. [Book Chapter]

Chandru, Vijay and Hariharan, Ramesh and Krishnakumar, Narasimha M (2004) Short-Cuts on Star, Source and Planar Unfoldings. [Book Chapter]

Conference Paper

Chandru, Vijay and Dasgupta, Sudeshna (2005) Minimal unsatisfiable sets: Classification and bounds. In: 9th Asian Computing Science Conference, DEC 08-10, 2004, Chiang Mai, THAILAND.

Journal Article

Ganapathy, Aparna and Mishra, Avshesh and Soni, Megha Rani and Kumar, Priyanka and Sadagopan, Mukunth and Kanthi, Anil Vittal and Patric, Irene Rosetta Pia and George, Sobha and Sridharan, Aparajit and Thyagarajan, T C and Aswathy, S L and Vidya, H K and Chinnappa, Swathi M and Nayanala, Swetha and Prakash, Manasa B and Raghavendrachar, Vijayashree G and Parulekar, Minothi and Gowda, Vykuntaraju K and Nampoothiri, Sheela and Menon, Ramshekhar N and Pachat, Divya and Udani, Vrajesh and Naik, Neeta and Kamate, Mahesh and Devi, A Radha Rama and Kunju, P A Mohammed and Nair, Mohandas and Hegde, Anaita Udwadia and Kumar, M. Pradeep and Sundaram, Soumya and Tilak, Preetha and Puri, Ratna D and Shah, Krati and Sheth, Jayesh and Hasan, Qurratulain and Sheth, Frenny and Agrawal, Pooja and Katragadda, Shanmukh and Veeramachaneni, Vamsi and Chandru, Vijay and Hariharanu, Ramesh and Manna, Ashraf U (2019) Multi-gene testing in neurological disorders showed an improved diagnostic yield: data from over 1000 Indian patients. In: JOURNAL OF NEUROLOGY, 266 (8). pp. 1919-1926.

Chandru, Vijay and Lassez, Jean-Louis (2004) Qualitative theorem proving in linear constraints. In: Verification: Theory And Practice - Essays Dedicated To Zhoar Manna On The Occasion Of His 64th Birthday Book Series: Lecture Notes In Computer Science, 2772 . pp. 398-399.

Naidu, Srinath R and Chandru, Vijay (2003) On synthesis of easily testable (k, K) circuits. In: IEEE Transactions on Computers, 52 (11). pp. 1490-1494.

Chandru, Vijay and DattaSharma, Abhi and Kumar, Anil VS (2003) The algorithmics of folding proteins on lattices. In: Discrete Applied Mathematics, 127 (1). pp. 145-161.

Balachandra, P and Chandru, Vijay (2003) Supply demand matching in resource constrained electricity systems. In: Energy Conversion and Management, 44 (3). pp. 411-437.

Borkar, VS and Chandru, Vijay and Mitter, Sanjoy K (2002) Mathematical Programming Embeddings of Logic. In: Journal of Automated Reasoning, 29 (1). pp. 91-106.

Chandru, Vijay and Roy, Suman and Subrahmanyam, Ramesh (1998) Negation as Failure as Resolution. In: Constraints, 3 (4). pp. 315-329.

Chandru, Vijay and Rao, MR (1996) Combinatorial optimization: An integer programming perspective. In: ACM Computing Surveys, 28 (1). pp. 55-58.

Chandru, Vijay and Manohar, Swami and Prakash, Edmond C (1995) Voxel- Based Modeling for layered Manufacturing. In: IEEE Computer Graphics and Applications, 15 (6). pp. 42-47.

Chandru, Vijay and Ghosh, Subir Kumar and Maheshwari, Anil and Rajan, VT and Saluja, Sanjeev (1995) $_N$$_C-$ Algorithms for Minimum Link Path and Related Problems. In: Journal of Algorithms, 19 (2). pp. 173-203.

Editorials/Short Communications

Chandru, Vijay and Lassez, Jean-Louis (2003) Qualitative theorem proving in linear constraints. In: Lecture Notes in Computer Science, 2772 . pp. 395-406.

This list was generated on Sat Dec 3 23:59:45 2022 IST.