Remote Control: Organisational Control and Monitoring in Distributed Teams

<p>Qualitative data from interviews and diaries show that for managers in distributed teams, monitoring their team’s attitudes is vital. Monitoring attitudes is theorised to be a necessary part of enacting informal controls, essential for knowledge work where formal behaviour and output controls are likely to be insufficient. This suggests an extension to Ouchi’s (1977) influential Behaviour-Output framework to incorporate monitoring attitudes. Impression management and lack of physical proximity is shown to be a potential disruptor of attitude-related monitoring for managers. Pastoral control is then introduced to explain how managers utilise relational techniques to solicit information necessary for monitoring attitudes, and the role of context in enacting organisational control is explicated.</p>

Remote Control: Organisational Control and Monitoring in Distributed Teams

<p>Qualitative data from interviews and diaries show that for managers in distributed teams, monitoring their team’s attitudes is vital. Monitoring attitudes is theorised to be a necessary part of enacting informal controls, essential for knowledge work where formal behaviour and output controls are likely to be insufficient. This suggests an extension to Ouchi’s (1977) influential Behaviour-Output framework to incorporate monitoring attitudes. Impression management and lack of physical proximity is shown to be a potential disruptor of attitude-related monitoring for managers. Pastoral control is then introduced to explain how managers utilise relational techniques to solicit information necessary for monitoring attitudes, and the role of context in enacting organisational control is explicated.</p>

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study

When studying the use of assistive robots in home environments, and especially how such robots can be personalised to meet the needs of the resident, key concerns are issues related to behaviour verification, behaviour interference and safety. Here, personalisation refers to the teaching of new robot behaviours by both technical and non-technical end users. In this article, we consider the issue of behaviour interference caused by situations where newly taught robot behaviours may affect or be affected by existing behaviours and thus, those behaviours will not or might not ever be executed. We focus in particular on how such situations can be detected and presented to the user. We describe the human–robot behaviour teaching system that we developed as well as the formal behaviour checking methods used. The online use of behaviour checking is demonstrated, based on static analysis of behaviours during the operation of the robot, and evaluated in a user study. We conducted a proof-of-concept human–robot interaction study with an autonomous, multi-purpose robot operating within a smart home environment. Twenty participants individually taught the robot behaviours according to instructions they were given, some of which caused interference with other behaviours. A mechanism for detecting behaviour interference provided feedback to participants and suggestions on how to resolve those conflicts. We assessed the participants’ views on detected interference as reported by the behaviour teaching system. Results indicate that interference warnings given to participants during teaching provoked an understanding of the issue. We did not find a significant influence of participants’ technical background. These results highlight a promising path towards verification and validation of assistive home companion robots that allow end-user personalisation.

Normality operators and classical recapture in many-valued logic

In this paper, we use a ‘normality operator’ in order to generate logics of formal inconsistency and logics of formal undeterminedness from any subclassical many-valued logic that enjoys a truth-functional semantics. Normality operators express, in any many-valued logic, that a given formula has a classical truth value. In the first part of the paper we provide some setup and focus on many-valued logics that satisfy some (or all) of the three properties, namely subclassicality and two properties that we call fixed-point negation property and conservativeness. In the second part of the paper, we introduce normality operators and explore their formal behaviour. In the third and final part of the paper, we establish a number of classical recapture results for systems of formal inconsistency and formal undeterminedness that satisfy some or all the properties above. These are the main formal results of the paper. Also, we illustrate concrete cases of recapture by discussing the logics $\mathsf{K}^{\circledast }_{3}$, $\mathsf{LP}^{\circledast }$, $\mathsf{K}^{w\circledast }_{3}$, $\mathsf{PWK}^{\circledast }$ and $\mathsf{E_{fde}}^{\circledast }$, that are in turn extensions of $\mathsf{{K}_{3}}$, $\mathsf{LP}$, $\mathsf{K}^{w}_{3}$, $\mathsf{PWK}$ and $\mathsf{E_{fde}}$, respectively.

Marcadores del discurso derivados de los verbos de percepción

Despite the growing interest in discourse markers over the past two decades, few studies are dedicated to the interlinguistic comparison of discourse markers. By means of a corpus-based approach the present study proposes a comparison between the discourse markers derived from verbs of perception in Italian (guarda/guardi, senti/senta) and Spanish (mira/mire, oye/oiga). The results of a comparable corpus study reveals that the discourse markers sharing the original perception modality display a similar formal behaviour (mira/mire ~ guarda/guardi, oye/oiga ~ senti/senta). From the parallel corpus on the other hand it results that the most frequent equivalent of mira/mire is senti/senta, which can be linked to the original semantics of both verbs. These two main observations confirm the relevance of a parallel corpus as a complementary source to a comparable corpus when comparing phenomena in two (or more) languages. This combined corpus approach brings about not only interlinguistic insights but provides at the same time knowledge about the relation and uses of the discourse markers within the languages.

Other flesh: Embodiment in Couple and Group Dances

In my article, I investigate the possibilities of an embodied perspective in the research of couple and group dances. I intend to find ways to cross the boundaries between structural and cultural approaches, which have been in the main stream of the research of social dancing. In order to reach this purpose, I use the phenomenological concepts of flesh, reversibility and empathy to make a connection between the individual and community as well as form and experience. Importantly, I shall elucidate the idea of shared experience, which can be understood on the basis of these concepts. I wish to address how couple and group dances are fundamentally based on sharing certain horizons of experience, where bodies unfold themselves to other dancers through empathy in the context of shared dance forms and movement patterns. Consequently, the research of social dances should not concentrate merely on external or formal behaviour but on dancing as a part of embodied social reality.

Some Rigidity Results for Highest Order Local Cohomology Modules

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, and M a finitely generated R-module of finite Krull dimension n. We describe the (finite) sets [Formula: see text] and [Formula: see text] of primes associated and attached to the highest local cohomology module [Formula: see text] in terms of the local formal behaviour of 𝔞.