While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
For several years there has been the wish to make colors accessible to blind people. Colors are all around us and sighted people often talk about colors as it is a simple means of ...
With the rapid rise of social media content, the question how people navigate to and from social media becomes important in order to understand what new tools and approaches are m...
This paper presents an indoor positioning system based on FM radio. The system is built upon commercially available, short-range FM transmitters. The features of the FM radio which...
In this paper, we propose approximate inverse-free preconditioners for solving Toeplitz systems. The preconditioners are constructed based on the famous Gohberg-Sememcul formula. ...