Typing Context-Dependent Behavioural Variation

Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to reason on and predict how programs adapt their behaviour. We introduce a core functional language, ContextML, equipped with COP primitives for manipulating contexts and for programming behavioural variations. In particular, we specify the dispatching mechanism, used to select the program fragments to be executed in the current active context. Besides the dynamic semantics we present an annotated type system. It guarantees that the well-typed programs adapt to any context, i.e. the dispatching mechanism always succeeds at run-time.Comment: In Proceedings PLACES 2012, arXiv:1302.579

A Context-Oriented Extension of F#

Context-Oriented programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes the implementation of ML_CoDa as an extension of F#.Comment: In Proceedings FOCLASA 2015, arXiv:1512.0694

The framing of options for retirement: Experimental tests for policy. ESRI WP604, December 2018

We hypothesise and confirm a substantial framing effect in relation to whether people opt for an annuity on retirement. Two laboratory experiments were conducted in collaboration with a national pensions regulator. Individuals demanded a higher annuity rate when pensions were initially conceived of as an accumulated lump sum – a “nest egg” or “pension pot” – than when they were initially conceived of as retirement income. The effect was recorded using both a matching and a choice procedure. Effect sizes implied more than a doubling of demand for annuities at market rates. While mindful of the need for caution in generalising from hypothetical laboratory studies, the findings have potentially strong policy implications. The framing of pension products in marketing materials and disclosures may have substantial effects on financial risks borne in later life

An Empirical Study Comparing Unobtrusive Physiological Sensors for Stress Detection in Computer Work.

Several unobtrusive sensors have been tested in studies to capture physiological reactions to stress in workplace settings. Lab studies tend to focus on assessing sensors during a specific computer task, while in situ studies tend to offer a generalized view of sensors' efficacy for workplace stress monitoring, without discriminating different tasks. Given the variation in workplace computer activities, this study investigates the efficacy of unobtrusive sensors for stress measurement across a variety of tasks. We present a comparison of five physiological measurements obtained in a lab experiment, where participants completed six different computer tasks, while we measured their stress levels using a chest-band (ECG, respiration), a wristband (PPG and EDA), and an emerging thermal imaging method (perinasal perspiration). We found that thermal imaging can detect increased stress for most participants across all tasks, while wrist and chest sensors were less generalizable across tasks and participants. We summarize the costs and benefits of each sensor stream, and show how some computer use scenarios present usability and reliability challenges for stress monitoring with certain physiological sensors. We provide recommendations for researchers and system builders for measuring stress with physiological sensors during workplace computer use

Epistasis between 5-HTTLPR and ADRA2B polymorphisms influences attentional bias for emotional information in healthy volunteers

Individual differences in emotional processing are likely to contribute to vulnerability and resilience to emotional disorders such as depression and anxiety. Genetic variation is known to contribute to these differences but they remain incompletely understood. The serotonin transporter (5-HTTLPR) and alpha(2B)-adrenergic autoreceptor (ADRA2B) insertion/deletion polymorphisms impact on two separate but interacting monaminergic signalling mechanisms that have been implicated in both emotional processing and emotional disorders. Recent studies suggest that the 5-HTTLPR s allele is associated with a negative attentional bias and an increased risk of emotional disorders. However, such complex behavioural traits are likely to exhibit polygenicity, including epistasis. This study examined the contribution of the 5-HTTLPR and ADRA2B insertion/deletion polymorphisms to attentional biases for aversive information in 94 healthy male volunteers and found evidence of a significant epistatic effect (p < 0.001). Specifically, in the presence of the 5-HTTLPR s allele, the attentional bias for aversive information was attenuated by possession of the ADRA2B deletion variant whereas in the absence of the s allele, the bias was enhanced. These data identify a cognitive mechanism linking genotype-dependent serotonergic and noradrenergic signalling that is likely to have implications for the development of cognitive markers for depression/anxiety as well as therapeutic drug effects and personalized approaches to treatment

Here you can't: context-aware security.

Adaptive systems improve their eciency by modifying their behaviour to respond to changes of their operational environment. Also, security must adapt to these changes and policy enforcement becomes dependent on the dynamic contexts. We address some issues of context- aware security from a language-based perspective. More precisely, we extend a core adaptive functional language, recently introduced by some of the authors, with primitives to enforce security policies on the code execution. Then, we accordingly extend the existing static analysis in order to insert checks in a program. The introduced checks guarantee that no violation occurs of the required security policies

The key to mental fatigue:monitoring and counteracting performance decline during prolonged office work

Patterns in typing behavior are sensitive to the effects of mental fatigue, both in an experimental setting and in a work environment. Psychologist Marlon de Jong concludes this on the basis of extensive research into patterns in typing behavior and underlying brain activity during office work. In her research, De Jong shows that younger people type slower and less accurately when they are working for a longer period of time. Older people, on the other hand, continue to perform as accurately after two hours of typing as when they first started the task, however, they do become slower over time. These changes in typing behavior can be used to provide feedback to the employee, but could also provide valuable information for research in the work environment. Behavior can be monitored continuously without having to interrupt regular work activities. This makes it is possible to investigate how (older) employees could be supported in creating more optimal working conditions, for example by planning breaks at the right time. In addition to the well-known positive effect of breaks, caffeine could be used to counteract mental fatigue. De Jong and colleagues have shown that it is better to focus attention on important information in the environment after a cup of coffee. This is an advantage in a dynamic work environment, where it is important that information that is vital for the task at hand is properly processed

Context-aware security: Linguistic mechanisms and static analysis

Adaptive systems improve their efficiency by modifying their behaviour to respond to changes in their operational environment. Also, security must adapt to these changes and policy enforcement becomes dependent on the dynamic contexts. We study these issues within MLCoDa, (the core of) an adaptive declarative language proposed recently. A main characteristic of MLCoDa is to have two components: a logical one for handling the context and a functional one for computing. We extend this language with security policies that are expressed in logical terms. They are of two different kinds: context and application policies. The first, unknown a priori to an application, protect the context from unwanted changes. The others protect the applications from malicious actions of the context, can be nested and can be activated and deactivated according to their scope. An execution step can only occur if all the policies in force hold, under the control of an execution monitor. Beneficial to this is a type and effect system, which safely approximates the behaviour of an application, and a further static analysis, based on the computed effect. The last analysis can only be carried on at load time, when the execution context is known, and it enables us to efficiently enforce the security policies on the code execution, by instrumenting applications. The monitor is thus implemented within MLCoDa, and it is only activated on those policies that may be infringed, and switched off otherwise

To boldly gulp: standard metabolic rate and boldness have context-dependent influences on risk-taking to breathe air in a catfish

The African sharptooth catfish Clarias gariepinus has bimodal respiration, it has a suprabranchial air-breathing organ alongside substantial gills. We used automated bimodal respirometry to reveal that undisturbed juvenile catfish (N=29) breathed air continuously in normoxia, with a marked diurnal cycle. Air breathing and routine metabolic rate (RMR) increased in darkness when, in the wild, this nocturnal predator forages. Aquatic hypoxia (20% air saturation) greatly increased overall reliance on air breathing. We investigated whether two measures of risk taking to breathe air, namely absolute rates of aerial O2 uptake (ṀO2,air) and the percentage of RMR obtained from air (%ṀO2,air), were influenced by individual standard metabolic rate (SMR) and boldness. In particular, whether any influence varied with resource availability (normoxia versus hypoxia) or relative fear of predation (day versus night). Individual SMR, derived from respirometry, had an overall positive influence on ṀO2,air across all contexts but a positive influence on %ṀO2,air only in hypoxia. Thus, a pervasive effect of SMR on air breathing became most acute in hypoxia, when individuals with higher O2 demand took proportionally more risks. Boldness was estimated as time required to resume air breathing after a fearful stimulus in daylight normoxia (Tres). Although Tres had no overall influence on ṀO2,air or %ṀO2,air, there was a negative relationship between Tres and %ṀO2,air in daylight, in normoxia and hypoxia. There were two Tres response groups, ‘bold’ phenotypes with Tres below 75 min (N=13) which, in daylight, breathed proportionally more air than ‘shy’ phenotypes with Tres above 115 min (N=16). Therefore, individual boldness influenced air breathing when fear of predation was high. Thus, individual energy demand and personality did not have parallel influences on the emergent tendency to take risks to obtain a resource; their influences varied in strength with context