Browsing Computer Science and Automation (CSA) by Title
Now showing items 320339 of 381

Revisiting Statistical Techniques for Result Cardinality Estimation
The Relational Database Management Systems (RDBMS) constitute the backbone of today's informationrich society, providing a congenial environment for handling enterprise data during its entire life cycle of generation, ... 
Robust Algorithms for recovering planted structures in Semirandom instances
In this thesis, we study algorithms for three fundamental graph problems. These are NPhard problems which have not been understood completely as there is a signifiicant gap between the algorithmic and the hardness fronts ... 
Scalable Low Power Issue Queue And Store Queue Design For Superscalar Processors
(20090309)A Large instruction window is a key requirement to exploit greater Instruction Level Parallelism in outoforder superscalar processors. Along with the instruction window size, the size of various other structures including ... 
Scalable Sprase Bayesian Nonparametric and Matrix Trifactorization Models for Text Mining Applications
(20180523)Hierarchical Bayesian Models and Matrix factorization methods provide an unsupervised way to learn latent components of data from the grouped or sequence data. For example, in document data, latent component cornresponds ... 
Scaling Blockchains Using Coding Theory and Verifiable Computing
The issue of scalability has been restricting blockchain from its widespread adoption. The current transaction rate of bitcoin is around seven transactions/second while its size has crossed the 300 GB mark. Although many ... 
Scaling ContextSensitive PointsTo Analysis
(20140506)Pointer analysis is one of the key static analyses during compilation. The efficiency of several compiler optimizations and transformations depends directly on the scalability and precision of the underlying pointer analysis. ... 
Secure Computation Protocol Suite for PrivacyConscious Applications
As an alternative to performing analytics in the clear, there is an increasing demand for developing privacypreserving solutions that aim to protect sensitive data while still allowing for its efficient analysis. Among ... 
Security of PostQuantum Multivariate Blind Signature Scheme: Revisited and Improved
Current cryptosystems face an imminent threat from quantum algorithms like Shor's and Grover's, leading us to postquantum cryptography. Multivariate signatures are prominent in postquantum cryptography due to their fast, ... 
Semantic Analysis of Web Pages for Taskbased Personal Web Interactions
(20171127)Mobile widgets now form a new paradigm of simplified web. Probably, the best experience of the Web is when a user has a widget for every frequently executed task, and can execute it anytime, anywhere on any device. However, ... 
SemiSupervised Classification Using Gaussian Processes
(20100326)Gaussian Processes (GPs) are promising Bayesian methods for classiﬁcation and regression problems. They have also been used for semisupervised classiﬁcation tasks. In this thesis, we propose new algorithms for solving ... 
SentimentDriven Topic Analysis Of Song Lyrics
(20150817)Sentiment Analysis is an area of Computer Science that deals with the impact a document makes on a user. The very field is further subdivided into Opinion Mining and Emotion Analysis, the latter of which is the basis for ... 
Signcryption in a Quantum World
With recent advancements and research on quantum computers, it is conjectured that in the foreseeable future, sufficiently large quantum computers will be built to break essentially all public key cryptosystems currently ... 
Simulation Based Algorithms For Markov Decision Process And Stochastic Optimization
(20100806)In Chapter 2, we propose several twotimescale simulationbased actorcritic algorithms for solution of infinite horizon Markov Decision Processes (MDPs) with finite statespace under the average cost criterion. On the ... 
Single and MultiAgent Finite Horizon Reinforcement Learning Algorithms for Smart Grids
In this thesis, we study sequential decisionmaking under uncertainty in the context of smart grids using reinforcement learning. The underlying mathematical model for reinforcement learning algorithms are Markov Decision ... 
Sparse Multiclass And MultiLabel Classifier Design For Faster Inference
(20130620)Many realworld problems like handwritten digit recognition or semantic scene classiﬁcation are treated as multiclass or multilabel classiﬁcation problems. Solutions to these problems using support vector machines (SVMs) ... 
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 ... 
Spill Code Minimization And Buffer And Code Size Aware Instruction Scheduling Techniques
(20090519)Instruction scheduling and Software pipelining are important compilation techniques which reorder instructions in a program to exploit instruction level parallelism. They are essential for enhancing instruction level ...