5 papers
Adiabatic Quantum Feature Selection for Sparse Linear Regression
Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao +1
Linear regression is a popular machine learning approach to learn and predict real valued outputs or dependent variables from independent variables or features. In many real world…
The Bouquet Algorithm for Model Checking Unbounded Until
Shiraj Arora, M. V. Panduranga Rao
The problem of verifying the "Unbounded Until" fragment in temporal logic formulas has been studied extensively in the past, especially in the context of statistical model checking…
Interference Automata
M. V. Panduranga Rao
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate the…
Quantum Finite Automata and Weighted Automata
M. V. Panduranga Rao, V. Vinay
Quantum finite automata derive their strength by exploiting interference in complex valued probability amplitudes. Of particular interest is the 2-way model of Ambainis and Watrous…
Generalized Counters and Reversal Complexity
M. V. Panduranga Rao
We generalize the definition of a counter and counter reversal complexity and investigate the power of generalized deterministic counter automata in terms of language recognition.