Abstract—This work introduces an approach to the computerassisted implementation of mathematical functions geared toward special functions such as those occurring in mathematical...
—Automated reasoning tools often provide little or no support to reason accurately and efficiently about floating-point arithmetic. As a consequence, software verification sys...
More and more renewable sources are integrated into electric power grids worldwide. Their high generation dynamics, however, require power grid operators to monitor electricity ge...
Andreas Reinhardt, Frank Englert, Delphine Christi...
Smartphones are being increasingly used to perform financial transactions (through m-banking, virtual wallet or as a smartcard). The latter applications involve contactless techn...
Mario Cagalj, Toni Perkovic, Marin Bugaric, Shujun...
This research presents a mobile augmented reality (MAR) travel guide, named CorfuAR, which supports personalized recommendations. We report the development process and devise a th...
Panos E. Kourouthanassis, Costas Boletsis, Cleopat...
This paper presents a real-world application targeting energy savings and user comfort in a Smart Building environment. The proposed system uses various heterogeneous networks of w...
Thanos G. Stavropoulos, Efstratios Kontopoulos, Ni...
Many security problems in smartphones and other smart devices are approached from an anomaly detection perspective in which the main goal reduces to identifying anomalous activity...
Guillermo Suarez-Tangil, Juan E. Tapiador, Pedro P...
Human mobility prediction is an important problem which has a large number of applications, especially in context-aware services. This paper presents a study on location predictio...
Trinh Minh Tri Do, Olivier Dousse, Markus Miettine...
Stay points are important for recognizing significant places from a mobile user’s GPS trajectory. Such places are often located indoors and in urban canyons, where GPS is unrel...
—Smartphone sensing research has been advancing at a brisk pace. Yet, current social networking services often only take advantage of location sensing: applications like Foursqua...