• Variants and Generalization of Some Classical Problems in Combinatorial Geometry 

      Bharadwaj, Subramanya B V (2018-02-18)
      In this thesis we consider extensions and generalizations of some classical problems in Combinatorial Geometry. Our work is an offshoot of four classical problems in Combinatorial Geometry. A fundamental assumption in these ...
    • Variants of Hegselmann-Krause Model 

      Shiragur, Kirankumar Shivanand (2017-12-04)
      The Hegselmann-Krause system (HK system for short) is one of the most popular models for the dynamics of opinion formation in multi agent systems. Agents are modeled as points in opinion space, and at every time step, each ...
    • Verification of a Generative Separation Kernel 

      Haque, Inzemamul
      A Separation Kernel is a small specialized microkernel that provides a sand-boxed execution environment for a given set of processes (also called \subjects"). The subjects may communicate only via declared memory channels, ...
    • Visual Analysis Of Interactions In Multifield Scientific Data 

      Suthambhara, N (2014-11-14)
      Data from present day scientific simulations and observations of physical processes often consist of multiple scalar fields. It is important to study the interactions between the fields to understand the underlying phenomena. ...
    • Weighted Average Based Clock Synchronization Protocols For Wireless Sensor Networks 

      Swain, Amulya Ratna (2016-07-12)
      Wireless Sensor Networks (WSNs) consist of a large number of resource constrained sensor nodes equipped with various sensing devices which can monitor events in the real world. There are various applications such as ...