To be competitive in this changing world, it is necessary to put an emphasis on coming up with new ideas, products, and services that add value. This solution is simply termed as “innovation” by many executives and has become the buzzword not only in the business world but also in all areas including education and politics. The overuse and generalisation of the term “innovation” has led to a lo...

Privacy is difficult to protect on the Internet, because surveillance is ubiquitous. Researchers have conceived many different countermeasures. However, these solutions have so far failed to find widespread adoption due to poor performance and usability. What is missing is an Internet access that offers a decent level of privacy for average users out of the box. In this paper, we survey suitabl...

The Scouts, developed at the University of Minnesota, are miniature robots designed mainly for reconnaissance and surveillance tasks. The Scout’s small size and multiple mobility and sensing modes allow it to efficiently navigate and carry out certain missions in indoor environments and on relatively smooth surfaces. However, like many other small-sized robots, its miniature size and limited ba...

Navigation systems based on intra-operative ultrasound have been introduced for different surgical procedures and interventions. The accuracy of the ultrasound probe calibration is a main contribution to the overall accuracy of the navigation system. Different calibration methods based on phantoms have been introduced. The challenge of the calibration procedure is to identify the phantom struct...

ME-ASP is a multi-engine solver for ground ASP programs. It exploits algorithm selection techniques based on classification to select one among a set of out-of-the-box heterogeneous ASP solvers used as black-box engines. In this paper we report on (i) a new optimized implementation of MEASP; and (ii) an attempt of applying algorithm selection to non-ground programs. An experimental analysis rep...

We define pseudocompact topological spaces and prove that every compact space is pseudocompact. We also solve an exercise from [16] p.225 that the for a topological space X the following are equivalent: • Every continuous real map from X is bounded (i.e. X is pseudocompact). • Every continuous real map from X attains minimum. • Every continuous real map from X attains maximum. Finally, for a co...

This brief document describes the procedure by which the individual images in the Frontier Fields program have been aligned in order to enable the self-calibration procedure (which will be described in a separate document). Along with this document, we will release the FORTRAN source code (hst2galign) that accomplishes the alignment. The source code is provided as-is, with no guarantee that it ...

A computational composite is a material in which computations contribute to the properties of the material through their capability to control transitions between states in the other components of the composite. By letting the computer out of the box and into composite materials, we gain a new class of design materials, which hold aesthetic expressions we have not yet encountered. But, this cla...

We are developing a personal activity recognition system that is practical, reliable, and can be incorporated into a variety of health-care related applications ranging from personal fitness to elder care. To make our system appealing and useful, we require it to have the following properties: (i) data only from a single body location needed, and it is not required to be from the same point for...