Program Verification: Theory and Practice Sriram K. Rajamani Microsoft Research India (with thanks to Tom Ball for material from his course)
23 rd Mar 2012 National Seminar on Managing ETDs Creation and Management of ETD Archive at IISc Bangalore using Open Source Software By Filbert Minj National.
Workshop on HPC in India Impact of HPC on Chemistry and Environment Eluvathingal D. Jemmis Department of Inorganic and Physical Chemistry Indian Institute.
Fast Removal of Non-uniform Camera Shake By Michael Hirsch, Christian J. Schuler, Stefan Harmeling and Bernhard Scholkopf Max Planck Institute for Intelligent.
P. N. Vinayachandran Centre for Atmospheric and Oceanic Sciences (CAOS) Indian Institute of Science (IISc) Bangalore 560 012 [email protected] Summer.
NPTEL Study Center -Highlights, Brainstorming and Discussion session -April 24 th 2015.
Anil Kumar Indian Institute of Science, Bangalore Collaborators @ IISc: Prof. K.V. Ramanathan Prof. N. Suryaprakash Prof. Apoorva Patel And Prof. Malcolm.
NPTEL Online Certification (NOC) Courses. NPTEL: National Program on Technology Enabled Learning Joint initiative of Indian Institute.
TARKSHYA 1 TARKSHYA Project Presentation to Standing Committee, MHRD On NMEICT.
