Abstract
Identifying the user's intent behind a query is a key challenge in Information Retrieval. This information may be used to contextualize the search and provide better search results to the user. The automatic identification of queries targeting a search for health information allows the implementation of retrieval strategies specifically focused on the health domain. In this paper, two kinds of automatic methods to identify and classify health queries based on domain-specific terminology are proposed. Besides evaluating these methods, we compare them with a method that is based on co-occurrence statistics of query terms with the word "health". Although the best overall result was achieved with a variant of the co-occurrence method, the method based on domain-specific frequencies that generates a continuous output outperformed most of the other methods. Moreover, this method also allows the association of queries to the semantic tree of the Unified Medical Language System and thereafter their classification into appropriate subcategories. Copyright © 2014, IGI Global.

Abstract
CAO is a domain-specific imperative language for cryptography, offering a rich mathematical type system and crypto-oriented language constructions. We describe the design and implementation of a deductive verification platform for CAO and demonstrate that the development time of such a complex verification tool could be greatly reduced by building on the Jessie plug-in included in the Frama-C framework. We discuss the interesting challenges raised by the domain-specific characteristics of CAO, and describe how we tackle these problems in our design. We base our presentation on real-world examples of CAO code, extracted from the open-source code of the NaCl cryptographic library, and illustrate how various cryptography-relevant security properties can be verified.

Abstract
Support for multiple concurrent applications is an important enabler for promoting the use of sensor networks as an infrastructure technology, where multiple users can deploy their applications independently. In such a scenario, different applications on a node may transmit packets at distinct periods, causing the node to change from sleep to active state more often, which negatively impacts the energy consumption of the whole network. In this paper, we propose to batch the transmissions together by defining a harmonizing period to align the transmissions from multiple applications at periodic boundaries. This harmonizing period is then leveraged to design a protocol that coordinates the transmissions across nodes and provides real-time guarantees in a multi-hop network. This protocol, which we call Network-Harmonized Scheduling (NHS), takes advantage of the periodicity introduced to assign offsets to nodes at different hop-levels such that collisions are always avoided, and deterministic behavior is enforced. NHS is a light-weight and distributed protocol that does not require any global state-keeping mechanism. We implemented NHS on the Contiki operating system and show how it can achieve a duty-cycle comparable to an ideal TDMA approach.

Abstract
This paper presents the state of the art on interoperability developments for the social and solidarity economy (SSE) community web based information systems (WIS); it also presents a framework of interoperability for the SSE' WIS and the developments made in a research-in-progress PhD project in the last 3 years. A search on the bibliographic databases showed that so far there are no papers on interoperability initiatives on the SSE, so it was necessary to have other sources of information: a preliminary analysis of the WIS that support SSE activities; and interviews with the representatives of some of the world's most important SSE organisations. The study showed that the WIS are still not interoperable yet. In order to become interoperable a group of the SSE community has been developing a Dublin Corre Application Profile to be used by the SSE community as reference and binding to describe their resources. This paper also describes this on-going process. Copyright © 2014, IGI Global.

Abstract
In this article, we review published studies that consider the solution of the one-dimensional cutting stock problem (1DCSP) with the possibility of using leftovers to meet future demands, if long enough. The one-dimensional cutting stock problem with usable leftovers (1DCSPUL) is a problem frequently encountered in practical settings but often, it is not dealt with in an explicit manner. For each work reviewed, we present the application, the mathematical model if one is proposed and comments on the computational results obtained. The approaches are organized into three classes: heuristics, item-oriented, or cutting pattern-oriented. © 2014 Elsevier B.V. All rights reserved.

Abstract
Non-instrumental dimensions, the aspects of a product that go beyond its ability to help achieve goals efficiently, are increasingly important in User Experience (UX) research. These dimensions, which include qualities like aesthetics and symbolism, are mainly assessed by self-reports, research has shown. However, respondents can provide wrong answers, willingly, due to concerns like social desirability and self-presentation, or unwillingly, due to the inability to access their inner states. We explored if one implicit measuring method, the Implicit Association Test (IAT), can be used to complement or replace self-report measures. Participants completed six IATs and explicit measures to determine their attitudes toward products represented by pictures of their interfaces. Two non-instrumental dimensions were assessed: valence and self-identification. Overall, implicit and explicit measures displayed a medium correlation. When comparing the correlations between the IATs for the two assessed dimensions and the corresponding explicit measures, similar strong effects were found. This suggests that the IAT bears further exploration as a complement or alternative to selfreport methods. Copyright © IARIA, 2014.