The current version of QUEST covers SDL'88 and part of SDL'92. Some new features of SDL'92 like priority input, value returning procedures, spontaneous transitions and different continuous signals with identical priority are supported by QUEST. In the future QUEST will provide improved front-and back ends. Furthermore we are doing research in the field of timed validation and verification that ...

Sustainable tourism has achieved the status of being the superior goal in Norwegian government tourism policy, and is attaining much attention in the international scientific and political discourse on tourism. However, have policies on sustainable tourism and related concepts actually managed to make tourism more sustainable? This article seeks to address this question by first presenting the ...

In what ways can we use games to make moral demands of players and encouraging them to reflect on ethical issues? In this article we propose an ethically notable game as one that provides opportunities for encouraging ethical reasoning and reflection. Our analysis of the videogames Ultima IV, Manhunt, and Fire Emblem: Radiant Dawn highlights the central role that moral dilemmas can play towards...

The European Stroke Organisation held its first European Stroke Science Workshop in Garmisch-Partenkirchen, Germany (December 15–17, 2011). Stroke experts based in Europe were invited to present and discuss their current research. The scope of the workshop was to review the most recent findings of selected topics in stroke, to exchange ideas, to stimulate new research, and to enhance collaborat...

We apply an organizational embeddedness perspective to examine international assignees’ retention with the organization. Specifically, we hypothesize that assignees’ social ties within and their perceived fit with the host unit positively relate to two sacrifices with leaving the organization: their firmspecific learning during the assignment and their perceived career prospects in the organiza...

One of the more important results of the upwelling of research on bereavement in recent decades has been the development of criteria for complicated grief, a disorder whose coherence, correlates and consequences have been subjected to increasing scrutiny. In this article I argue that clinical, conceptual, and evidence-based considerations converge to support the further refinement of such crite...

IMGT/V-QUEST is the highly customized and integrated system for the standardized analysis of the immunoglobulin (IG) and T cell receptor (TR) rearranged nucleotide sequences. IMGT/V-QUEST identifies the variable (V), diversity (D) and joining (J) genes and alleles by alignment with the germline IG and TR gene and allele sequences of the IMGT reference directory. New functionalities were added t...

As procedural content becomes a more appealing option for game development, procedurally determined context is necessary to structure and make sense of this content. We find that a useful means to structure content in 3D games is the quest. The task of generating necessary context then becomes one of quest generation. This paper describes how we implemented a basic quest generator based on key ...

A justification of some statement is an argument which has that statement as its conclusion, but not every such argument is a justification. Consider the argument shown in Fig. 1 (based on one found in Moser’s book Empirical Justification (1985), p. 23). What would make this a justification of the statement, ‘Swimming is going to be dangerous today’? For it to be a justification the argument wo...

The surface-wave scattering processes responsible, in part, for the optical glory have never been compared with theoretical predictions. Here, THz impulse ranging is used to measure the time domain impulse response of spherical targets with sufficiently high temporal resolution to permit the surfacewave contribution to the total impulse response to be isolated. The first direct experimental com...