Search
Now showing items 341-350 of 373
Temporal Point Processes for Forecasting Events in Higher-Order Networks
Real-world systems consisting of interacting entities can be effectively represented as time-evolving networks or graphs, where the entities are depicted as nodes, and the interactions between them are represented as ...
Energy-efficient Hardware and Algorithmic Techniques for Design of Low-power Intelligent Systems
Low-power design techniques involving hardware and algorithms framework are a fundamental challenge of the modern electronic system. The internet connects devices (IoTs) with advanced capabilities in sensing and processing ...
Improved Algorithms for Variants of Bin Packing and Knapsack
We study variants of two classical optimization problems: Bin Packing and Knapsack. Both bin packing and knapsack fall under the regime of "Packing and Covering Problems". In bin packing, we are given a set of input items, ...
Maximum Independent Set of Rectangles - An Empirical Study
We study the Maximum Independent Set of Rectangles (MISR) problem. The problem involves a collection of n axis-parallel rectangles in 2D with weights. For the unweighted case, the goal is to find the maximum number of ...
Specification Synthesis with Constrained Horn Clauses
Many practical problems in software development, verification and testing rely on specifications. The problem of specification synthesis is to automatically find relational constraints for undefined functions, called ...
Excitonic complexes in semiconducting monolayers and their twisted heterojunctions
Monolayers of transition metal dichalcogenides (TMDCs) host excitons, a bound state of
electron and hole. Excitonic many-body complexes dominate the optical spectra obtained
from this system and manipulating these complexes ...
Adaptive Wideband Microwave Signal Processing Using Reconfigurable Integrated Photonics
The advancement of wireless communications in domains such as satellites, radars, 5G, and future technologies necessitates the utilization of broadband microwave and millimeter wave signal processing. Unlike their electronic ...
Algorithmic Problems on Vertex Deletion and Graph Coloring
In the thesis, we mainly discuss variants of two well-studied graph theoretical problems - vertex deletion problem and graph coloring problem - both have been used to tackle many real-world problems in diverse fields.
Vertex ...
Generalized Likelihood Ratio Procedures for Early Detection of Machine Faults
Condition monitoring of industrial machinery is an important example of a cyber physical system (CPS), in which measurements on a machine, transmitted over a wireless network, are used to make inferences about the health ...
Exploring Welfare Maximization and Fairness in Participatory Budgeting
Participatory budgeting (PB) is a voting paradigm for distributing a divisible resource, usually called a budget, among a set of projects by aggregating the preferences of individuals over these projects. It is implemented ...