Beruflich Dokumente
Kultur Dokumente
Keynote: Indoor Positioning using Inertial Measurement Units Invited talk: Ideas for Electronic Self Reliance
Saturday, August 13, 2016 (10:00 10:45) Saturday, August 13, 2016 (11:15 12:45)
Abstract: The invited talk plans to discuss some ideas that will address India's indigenous needs
Abstract: The talk presents results of an experiment in Indoor Positioning of first responders in a using electronics, robotics, distributed computing and VLSI.
disaster affected building with no WiFi and GPS coverage. The use of Inertial Measurement Units
to build a miniature Inertial Navigation system is considered. The underlying navigation system Biography: Dr. Narasimha Bhat is the Founder & CEO of Manipal Dot Net Pvt. Ltd. Manages a
along with signal processing ideas, like the zero-velocity-update and Kalman filtering, will be successful hardware/software outsourcing unit in India, especially catering to startups and
introduced. The design and development of the prototype system, which can be mounted on a SMEs that are looking to outsource highly technical work at very low costs. Previously, Dr. Bhat
foot, will be presented. was R&D Director at Synopsys Inc, USA, a world leader in Electronic Design Automation. He was
the Managing Director of the Manipal R&D site of Synopsys, where he set up unique university
Biography: Senior Associate Editor, Sadhana - Academy Proceedings in Engineering Science, collaborations with NITK, Surathkal and MAHE, Manipal. Prior to Synopsys, he was a Technical
Indian Academy of Sciences, Affiliated Professor in Signal Processing, Royal Institute of Leader at AT&T Bell Laboratories, Murray Hill, NJ. Dr. Bhat holds a Ph. D. in EECS from U.C
Technology, also Director ESQUBE Communication Solutions Pvt. Ltd . Professor Hari was awarded Berkeley, M.E. in ECE from Indian Institute of Science, Bangalore, and B. E. in E&C from Manipal
the PhD, from, ECE, Systems Science from University of California, San Diego and M.Tech in Radar Institute of Technology,
and Communication engineering from Indian Institute of Technology, Delhi
Keynote: Embedded Vision: The Big Vision of Small Devices Keynote: Demystifying Big Data
Saturday, August 13, 2016 (13:45 14:30) Sunday, August 14, 2016 (09:00 10:00)
Invited talk: SPIN: Model Checker for Distributed Software Systems Invited talk: Experiential learning for Robotics and Automation as
Sunday, August 14, 2016 (10:00 11:30) vehicle to drive home fundamental concepts
Sunday, August 14, 2016 (13:45 15:15)
Prof. Deviprasad M
Professor, School Of Information Science Prof. K. V. Gangadharan1 and Dr. Pruthviraj2
Manipal University, India Center for System Design,
NITK Surathkal, Mangalore, India
Abstract: The primary aim of this tutorial is to communicate the power of logic model checkers,
using SPIN to state and verify behavioral properties of concurrent systems. In the process of Abstract:
1The talk explore the possibilities of creating renewed interest in fundamentals with the help of
formally verifying many models, we will explain foundational ideas of the SPIN model checker. We
will end the tutorial with a plea to support the Verified Software Initiative manifesto proposed present day demand in advanced topics. Advanced topics like robotics and automation - can it be
and advanced by Sir C. A. R. Hoare and his colleagues. used as a vehicle to drive fundamental subjects and concepts? Can we drive home basics through
the interest in advance topic? How do we make learning an active process than passive
Biography: Prof. Devi Prasad M. is a Professor at the School of Information Sciences, Manipal listening?. How to make a basic concepts more experiential. Can we dream about providing a lab
University. His research interests include formal verification of software systems. In the past, he to experience basic concepts, but the learners needs it their place, pace and period (time). The
has worked and consulted with different software industries. concept of Virtual Lab demonstrate the possibility.
2Applications of Open Source hardware & software in services to community carried out by