Context-awareness for mobile sensing: a survey and future directions

The evolution of smartphones together with increasing computational power have empowered developers to create innovative context-aware applications for recognizing user related social and cognitive activities in any situation and at any location. The existence and awareness of the context provides the capability of being conscious of physical environments or situations around mobile device users. This allows network services to respond proactively and intelligently based on such awareness. The key idea behind context-aware applications is to encourage users to collect, analyze and share local sensory knowledge in the purpose for a large scale community use by creating a smart network. The desired network is capable of making autonomous logical decisions to actuate environmental objects, and also assist individuals. However, many open challenges remain, which are mostly arisen due to the middleware services provided in mobile devices have limited resources in terms of power, memory and bandwidth. Thus, it becomes critically important to study how the drawbacks can be elaborated and resolved, and at the same time better understand the opportunities for the research community to contribute to the context-awareness. To this end, this paper surveys the literature over the period of 1991-2014 from the emerging concepts to applications of context-awareness in mobile platforms by providing up-to-date research and future research directions. Moreover, it points out the challenges faced in this regard and enlighten them by proposing possible solutions

User-centered visual analysis using a hybrid reasoning architecture for intensive care units

One problem pertaining to Intensive Care Unit information systems is that, in some cases, a very dense display of data can result. To ensure the overview and readability of the increasing volumes of data, some special features are required (e.g., data prioritization, clustering, and selection mechanisms) with the application of analytical methods (e.g., temporal data abstraction, principal component analysis, and detection of events). This paper addresses the problem of improving the integration of the visual and analytical methods applied to medical monitoring systems. We present a knowledge- and machine learning-based approach to support the knowledge discovery process with appropriate analytical and visual methods. Its potential benefit to the development of user interfaces for intelligent monitors that can assist with the detection and explanation of new, potentially threatening medical events. The proposed hybrid reasoning architecture provides an interactive graphical user interface to adjust the parameters of the analytical methods based on the users' task at hand. The action sequences performed on the graphical user interface by the user are consolidated in a dynamic knowledge base with specific hybrid reasoning that integrates symbolic and connectionist approaches. These sequences of expert knowledge acquisition can be very efficient for making easier knowledge emergence during a similar experience and positively impact the monitoring of critical situations. The provided graphical user interface incorporating a user-centered visual analysis is exploited to facilitate the natural and effective representation of clinical information for patient care

Binary synthesis: Goethe's aesthetic intuition in literature and science

Argument This essay seeks to identify the cultural significance of Goethe's scientific writings. He reformulates, in the light of his own concrete experience, “crucial turning-points” (Hauptmomente) in the history of science – key ideas, the historical understanding of which is vital to present understanding – thus situating his own scientific work at the bi-polar center of the Western scientific tradition, conceived as the dramatic interplay over centuries of two opposing modes of thought. For in his experimentation he recaptures the glimpse of living form gained in aesthetic perception (Anschauung), from which such inherited theoretical positions are ultimately derived. At each stage of this process, imagination, in its aesthetic modality, is essential, for it alone reveals the world as it truly is. The literary quality of his writings on nature, as on culture, reveals Goethe's stylistic achievement in devising a medium in which the insights gained in contemplation may be so transmitted as to make a similar, imaginative, appeal to his reader – re-enacting the abstract-concrete equilibrium characterizing all aesthetic experience. Matching his style to the subtle, delicate, connectedness of Nature, Goethe recreates the delights of participating in natural creativity. His Janus-faced, scientific-literary, style illustrates “binary synthesis,” the principle that unites Goethe's science with his art

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing