Philosophy with children : helping designers cooperate with children

Engaging children in design through in-depth interviews is coming to prominence in the IDC community, which increasingly engages with issues about understanding the children's world. To date, research in this area has primarily focused on engaging children using techniques somehow similar to adult-techniques (moodboards, brainstorming, laddering,...). However, questioning or interviewing children is fraught with difficulties. The proposed workshop seeks to explore where and how a philosophy with children methodology can be adapted for design, exploring themes such as Socratic Attitudes, wondering, and question types. This workshop aims to build an interdisciplinary community of researchers, designers, and practitioners to share and discuss their work and experiences

Anticipated regret to increase uptake of colorectal cancer screening (ARTICS):a randomised controlled trial

Objective. Screening is key to early detection of colorectal cancer. Our aim was to determine whether a simple anticipated regret (AR) intervention could increase colorectal cancer screening uptake. Methods. We conducted a randomised controlled trial of a simple, questionnaire-based AR intervention, delivered alongside existing pre-notification letters. 60,000 adults aged 50-74 from the Scottish National Screening programme were randomised to: 1) no questionnaire (control), 2) Health Locus of Control questionnaire (HLOC) or 3) HLOC plus anticipated regret questionnaire (AR). Primary outcome was guaiac Faecal Occult Blood Test (FOBT) return. Secondary outcomes included intention to return test kit and perceived disgust (ICK). Results. 59,366 people were analysed as allocated (Intentionto- treat (ITT)); there were no overall differences between treatment groups on FOBT uptake (control: 57.3%, HLOC: 56.9%, AR: 57.4%). 13,645 (34.2%) people returned questionnaires. Analysis of the secondary questionnaire measures showed that AR had an indirect effect on FOBT uptake via intention, whilst ICK had a direct effect on FOBT uptake over and above intention. The effect of AR on FOBT uptake was also moderated by intention strength: for less than strong intenders only, uptake was 4.2% higher in the AR (84.6%) versus the HLOC group (80.4%) (95% CI for difference (2.0, 6.5)). Conclusion. The findings show that psychological concepts including anticipated regret and perceived disgust (ICK) are important factors in determining FOBT uptake. However, there was no simple effect of the AR intervention in the ITT. We conclude that exposure to AR in those with low intentions may be required to increase FOBT uptake. Current controlled trials: www.controlledtrials. com number: ISRCTN74986452

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)

This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value $\lambda$-calculus with a linear type system that can express programs sensitivity, enriched with algebraic operations \emph{\`a la} Plotkin and Power. To do so a general, abstract framework for studying behavioural relations taking values over quantales is defined according to Lawvere's analysis of generalised metric spaces. Barr's notion of relator (or lax extension) is then extended to quantale-valued relations adapting and extending results from the field of monoidal topology. Abstract notions of quantale-valued effectful applicative similarity and bisimilarity are then defined and proved to be a compatible generalised metric (in the sense of Lawvere) and pseudometric, respectively, under mild conditions

Changes in the trajectory of the radio jet in 0735+178?

We present multi-epoch 8.4 and 43 GHz Very Long Baseline Array images of the BL Lac object 0735+178. The images confirm the presence of a twisted jet with two sharp apparent bends of 90$^{\circ}$ within two milliarcseconds of the core, resembling a helix in projection. The observed twisted geometry could be the result of precession of the jet inlet, but is more likely produced by pressure gradients in the external medium through which the jet propagates. Quasi-stationary components are observed at the locations of the 90$^{\circ}$ bends, possibly produced by differential Doppler boosting. Identification of components across epochs, since the earliest VLBI observations of this source in 1979.2, proves difficult due to the sometimes large time gaps between observations. One possible identification suggests the existence of superluminal components following non--ballistic trajectories with velocities up to $11.6\pm 0.6 h_{65}^{-1} c$. However, in images obtained after mid-1995, components show a remarkable tendency to cluster near several jet positions, suggesting a different scenario in which components have remained nearly stationary in time at least since mid-1995. Comparison with the earlier published data, covering more than 19 years of observations, suggests a striking qualitative change in the jet trajectory sometime between mid-1992 and mid-1995, with the twisted jet structure with stationary components becoming apparent only at the later epochs. This would require a re-evaluation of the physical parameters estimated for 0735+178, such as the observing viewing angle, the plasma bulk Lorentz factor, and those deduced from these.Comment: 18 pages, 5 figures, accepted for publication in MNRA

A constraint-based approach to quality assurance in service choreographies.

Knowledge about the quality characteristics (QoS) of service com- positions is crucial for determining their usability and economic value. Ser- vice quality is usually regulated using Service Level Agreements (SLA). While end-to-end SLAs are well suited for request-reply interactions, more complex, decentralized, multiparticipant compositions (service choreographies) typ- ically involve multiple message exchanges between stateful parties and the corresponding SLAs thus encompass several cooperating parties with interde- pendent QoS. The usual approaches to determining QoS ranges structurally (which are by construction easily composable) are not applicable in this sce- nario. Additionally, the intervening SLAs may depend on the exchanged data. We present an approach to data-aware QoS assurance in choreographies through the automatic derivation of composable QoS models from partici- pant descriptions. Such models are based on a message typing system with size constraints and are derived using abstract interpretation. The models ob- tained have multiple uses including run-time prediction, adaptive participant selection, or design-time compliance checking. We also present an experimen- tal evaluation and discuss the benefits of the proposed approach

Thinking about growth : a cognitive mapping approach to understanding small business development

School of Managemen

Simplified Multistep Outflow Method to Estimate Unsaturated Hydraulic Functions for Coarse-Textured Soils

Although the multistep outfl ow (MSO) method is well suited for the estimation of soil hydraulic properties by inverse solution techniques, this method has not been widely adopted because it requires advanced instrumentation and is time consuming. Th e objective of this study was to develop a modifi ed version of the multistep outfl ow technique that largely simplifi es laboratory procedures and reduces costs and time. Th e numerical inversion procedures require applying user-friendly HYDRUS soft ware to estimate fi tting parameters for soil water retention and unsaturated hydraulic conductivity curves. Whereas values of saturated water content and saturated hydraulic conductivity must be measured independently, the remaining functional parameters are estimated using an inverse solution of a transient drainage experiment using multiple suction steps and a hanging water column, with drainage outfl ows measured during drainage. A comparison test showed that the simplifi ed experiment without tensiometric measurements provided suffi cient information in the parameter identifi cation compared with a traditional pressure outfl ow experiment with tensiometric measurements for an Oso Flaco sand and a loamy sand fi eld soil in the suction range of 0 to 17 kPa

Rigidity percolation in a field

Rigidity Percolation with g degrees of freedom per site is analyzed on randomly diluted Erdos-Renyi graphs with average connectivity gamma, in the presence of a field h. In the (gamma,h) plane, the rigid and flexible phases are separated by a line of first-order transitions whose location is determined exactly. This line ends at a critical point with classical critical exponents. Analytic expressions are given for the densities n_f of uncanceled degrees of freedom and gamma_r of redundant bonds. Upon crossing the coexistence line, n_f and gamma_r are continuous, although their first derivatives are discontinuous. We extend, for the case of nonzero field, a recently proposed hypothesis, namely that the density of uncanceled degrees of freedom is a ``free energy'' for Rigidity Percolation. Analytic expressions are obtained for the energy, entropy, and specific heat. Some analogies with a liquid-vapor transition are discussed. Particularizing to zero field, we find that the existence of a (g+1)-core is a necessary condition for rigidity percolation with g degrees of freedom. At the transition point gamma_c, Maxwell counting of degrees of freedom is exact on the rigid cluster and on the (g+1)-rigid-core, i.e. the average coordination of these subgraphs is exactly 2g, although gamma_r, the average coordination of the whole system, is smaller than 2g. gamma_c is found to converge to 2g for large g, i.e. in this limit Maxwell counting is exact globally as well. This paper is dedicated to Dietrich Stauffer, on the occasion of his 60th birthday.Comment: RevTeX4, psfig, 16 pages. Equation numbering corrected. Minor typos correcte

Constraint-based runtime prediction of SLA violations in service orchestrations

Service compositions put together loosely-coupled component services to perform more complex, higher level, or cross-organizational tasks in a platform-independent manner. Quality-of-Service (QoS) properties, such as execution time, availability, or cost, are critical for their usability, and permissible boundaries for their values are defined in Service Level Agreements (SLAs). We propose a method whereby constraints that model SLA conformance and violation are derived at any given point of the execution of a service composition. These constraints are generated using the structure of the composition and properties of the component services, which can be either known or empirically measured. Violation of these constraints means that the corresponding scenario is unfeasible, while satisfaction gives values for the constrained variables (start / end times for activities, or number of loop iterations) which make the scenario possible. These results can be used to perform optimized service matching or trigger preventive adaptation or healing