Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"

This project is about the development of a system that enables real-time data visualization via a web-app regarding sound intensity using multiple node devices connected through the internet. The prototype was realized using ATmega328 (Arduino Nano) and ESP8266 hardware modules, NodeMCU Arduino wrapper library, Google maps, and firebase API.

A driver for running batches of test cases through the main solver for a research project of mine dealing with public transit design with social access objectives.

Reinforcement learning implementation on C++

Source files of "A Hardware Implementation Of An Open-source Qibla Direction Finder With Tilt Compensation Using 9-DOF IMU And GPS" paper

Proposing better macro actions set using recurrent neural networks conditioned on encoded environmental contexts

This project focuses on utilizing the Robot Operating System (ROS) for automotive radar data communication and simulation.

A solution algorithm initialization program for use in a research project of mine dealing with a public transit design model with social access objectives. This produces the initial objective and constraint function values and is not part of the main solution search loop.

An attempted partial implementation of "A Density Control Algorithm for Doing Insertions and Deletions in a Sequentially Ordered File."

🕸️ Team Project 🕸️ - 💲B.Tech Major Project💲

A SAT-IP Hybrid MaxSAT solver

Source code for ASP solver of KR 2018 paper "A Hybrid Approach to Optimization in Answer Set Programming"

Enhancing Heap-Tree Efficiency for Modern Computing

CLM is a new data structure that uses matrices in which data from graph is stored and CLM-Miner is the algorithm that is used to extract MFI from the CLM.

A paper exploring emotional contagion within the context of crowd simulation.

Source Code for my Research Paper as per published on IJMTCM

Building of a 3d semantic map of the industrial environments using multiple sensors mounted on a fork-lift robot (C/C++/ROS/LIDAR/RGBD/PCL/OpenCV)

C++ Coordinate Distance Modeling

The main tabu search/simulated annealing hybrid solution algorithm for use in a research project of mine dealing with a public transit design model with social access objectives.