Realizing live sequence charts in SystemVerilog.

The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety performance. In early stages, system requirements are often specified as scenarios of behavior using sequence charts for different use cases. This specification must be precise, intuitive and expressive enough to capture different aspects of embedded control systems. As a rather rich and useful extension to the classical message sequence charts, live sequence charts (LSC), which provide a rich collection of constructs for specifying both possible and mandatory behaviors, are very suitable for designing an embedded control system. However, it is not a trivial task to realize a high-level design model in executable program codes effectively and correctly. This paper tackles the challenging task by providing a mapping algorithm to automatically synthesize SystemVerilog programs from given LSC specifications

OWidgets: A toolkit to enable smell-based experience design

Interactive technologies are transforming the ways in which people experience, interact and share information. Advances in technology have made it possible to generate real and virtual environments with breath-taking graphics and high-fidelity audio. However, without stimulating the other senses such as touch and smell, and even taste in some cases, such experiences feel hollow and fictitious; they lack realism. One of the main stumbling blocks for progress towards creating truly compelling multisensory experiences is the lack of appropriate tools and guidance for designing beyond audio-visual applications. Here we focus particularly on the sense of smell and how smell-based design can be enabled to create novel user experiences. We present a design toolkit for smell (i.e., OWidgets). The toolkit consists of a graphical user interface and the underlying software framework. The framework uses two main components: a Mapper and Scheduler facilitating the device-independent replication of olfactory experiences. We discuss how our toolkit reduces the complexity of designing with smell and enables a creative exploration based on specific design features. We conclude by reflecting on future directions to extend the toolkit and integrate it into the wider audio-visual ecosystem

Response of arthropod species richness and functional groups to urban habitat structure and management

Urban areas are a particular landscape matrix characterized by a fine-grained spatial arrangement of very diverse habitats (urban mosaic). We investigated arthropods to analyse biodiversity-habitat associations along five environmental gradients (age, impervious area, management, configuration, composition) in three Swiss cities (96 study sites). We considered total species richness and species richness within different functional groups (zoophagous, phytophagous, pollinator, low mobility, and high mobility species). Information theoretical model selection procedures were applied and predictions were calculated based on weighted models. Urban areas yielded on average 284 arthropod species (range: 169-361), with species richness correlating mostly with heterogeneity indices (configuration and composition). Species richness also increased with age of urban settlement, while enlarged proportions of impervious area and intensified habitat management was negatively correlated. Functional groups showed contrasted, specific responses to environmental variables. Overall, we found surprisingly little variation in species richness along the gradients, which is possibly due to the fine-grained spatial interlinkage of good (heterogeneous) and bad (sealed) habitats. The highly fragmented nature of urban areas may not represent a major obstacle for the arthropods currently existing in cities because they have probably been selected for tolerance to fragmentation and for high colonisation potential. Given that built areas are becoming denser, increasing spatial heterogeneity of the urban green offers potential for counteracting the detrimental effects of densification upon urban biodiversity. By quantifying the expected effects along environmental gradients, this study provides guidance for managers to set priorities when enhancing urban arthropod species richnes

Is preoperative glenoid bone mineral density associated with aseptic glenoid implant loosening in anatomic total shoulder arthroplasty?

Aseptic loosening of glenoid implants is the primary revision cause in anatomic total shoulder arthroplasty (aTSA). While supported by biomechanical studies, the impact of glenoid bone quality, more specifically bone mineral density (BMD), on aseptic glenoid loosening remains unclear. We hypothesized that lower preoperative glenoid BMD was associated with aseptic glenoid implant loosening in aTSA. We retrospectively included 93 patients (69 females and 24 males; mean age, 69.2 years) who underwent preoperative non-arthrographic shoulder computed tomography (CT) scans and aTSA between 2002 and 2014. Preoperative glenoid BMD (CT numbers in Hounsfield unit) was measured in 3D using a reliable semi-automated quantitative method, in the following six contiguous volumes of interest (VOI): cortical, subchondral cortical plate (SC), subchondral trabecular, and three successive adjacent layers of trabecular bone. Univariate Cox regression was used to estimate the impact of preoperative glenoid BMD on aseptic glenoid implant loosening. We further compared 26 aseptic glenoid loosening patients with 56 matched control patients. Glenoid implant survival rates were 89% (95% confidence interval CI, 81-96%) and 57% (41-74%) at 5 and 10 years, respectively. Hazard ratios for the different glenoid VOIs ranged between 0.998 and 1.004 (95% CI [0.996, 1.007], p≥0.121). Only the SC VOI showed significantly lower CTn in the loosening group (622±104 HU) compared with the control group (658±88 HU) (p=0.048), though with a medium effect size (d=0.42). There were no significant differences in preoperative glenoid BMD in any other VOI between patients from the loosening and control groups. Although the preoperative glenoid BMD was statistically significantly lower in the SC region of patients with aseptic glenoid implant loosening compared with controls, this single-VOI difference was only moderate. We are thus unable to prove that lower preoperative glenoid BMD is clearly associated with aseptic glenoid implant loosening in aTSA. However, due to its proven biomechanical role in glenoid implant survival, we recommend extending this study to larger CT datasets to further assess and better understand the impact of preoperative glenoid BMD on glenoid implant loosening/survival and aTSA outcome

Communicating cosmology with multisensory metaphorical experiences

We present a novel approach to communicating abstract concepts in cosmology and astrophysics in a more accessible and inclusive manner. We describe an exhibit aiming at creating an immersive, multisensory metaphorical experience of an otherwise imperceptible physical phenomenon-dark matter. Human-Computer Interaction experts and physicists co-created a multisensory journey through dark matter by exploiting the latest advances in haptic and olfactory technology. We present the concept design of a pilot and a second, improved event, both held at the London Science Museum, including the practical setup of the multisensory dark matter experience, the delivery of sensory stimulation and preliminary insights from users' feedback

Communicating cosmology with multisensory metaphorical experiences

We present a novel approach to communicating abstract concepts in cosmology and astrophysics in a more accessible and inclusive manner. We describe an exhibit aiming at creating an immersive, multisensory metaphorical experience of an otherwise imperceptible physical phenomenon-dark matter. Human-Computer Interaction experts and physicists co-created a multisensory journey through dark matter by exploiting the latest advances in haptic and olfactory technology. We present the concept design of a pilot and a second, improved event, both held at the London Science Museum, including the practical setup of the multisensory dark matter experience, the delivery of sensory stimulation and preliminary insights from users' feedback

Transverse flow under oscillating stimulation in helical square ducts with cochlea-like geometrical curvature and torsion

The cochlea is our fluid-filled organ of hearing with a unique spiral shape. The physiological role of this shape remains unclear. Previous research has paid only little attention to the occurrence of transverse flow in the cochlea, in particular in relation to the cochlea's shape. To better understand its influence on fluid dynamics, this study aims to characterize transverse flow due to harmonically oscillating axial flow in square ducts with curvature and torsion, similar to the shape of human cochleae. Four geometries were investigated to study curvature and torsion effects on axial and transverse fluid flow components. Twelve frequencies from 0.125 Hz to 256 Hz were studied, covering infrasound and low-frequency hearing, with mean inlet velocity amplitudes representing levels expected for normal conversations or louder situations. Our simulations show that torsion contributes significantly to transverse flow in unsteady conditions, and that its contribution increases with increasing oscillation frequencies. Curvature has a small effect on transverse flow, which decreases rapidly for increasing frequencies. Strikingly, the combined effect of curvature and torsion on transverse flow is greater than expected from a simple superposition of the two effects, especially when the relative contribution of curvature alone becomes negligible. These findings could be relevant to understand physiological processes in the cochlea, including metabolite transport and wall shear stresses. Further studies are needed to investigate possible implications on cochlear mechanics.Comment: 26 pages, 7 figure

A Prograding Margin during Global Sea-Level Maxima: An Example from Mahajanga Basin, Northwest Madagascar

The Mesozoic shelf margin in the Mahajanga Basin, northwest Madagascar, provides an example where inherited palaeobathymetry, coupled with sea-level changes, high sediment supply and fluctuations in accommodation influenced the stacking patterns and geometry of clinoforms that accreted onto a passive rifted margin. Two-dimensional (2D) seismic profiles are integrated with existing field data and geological maps to study the evolution of the margin. The basin contains complete records of transgression, highstand, regression and lowstand phases that took place from Jurassic to Cretaceous. Of particular interest is the Cretaceous, Albian to Turonian (ca. 113-93 Ma), siliciclastic shelf margin that prograded above a drowned Middle Jurassic carbonate platform. The siliciclastic phase of the shelf margin advanced ca. 70 km within ca. 20 My, and contains 10 distinct clinoforms mapped along a 2D seismic reflection data set. The clinoforms show a progressive decrease in height and slope length, and a fairly constant slope gradient through time. The successive shelf edges begin with a persistent flat to slightly downward-directed shelf-edge trajectory that changes to an ascending trajectory at the end of clinoform progradation. The progressive decrease in clinoform height and slope length is attributed to a decrease in accommodation. The prograding margin is interpreted to have formed when siliciclastic input increased as eastern Madagascar was uplifted. This work highlights the importance of sediment supply and inherited palaeobathymetry as controls on the evolution of shelf margins and it provides a new understanding of the evolution of the Mahajanga Basin during the Mesozoic

Mitigating the negative impacts of tall wind turbines on bats: Vertical activity profiles and relationships to wind speed.

Wind turbines represent a source of hazard for bats, especially through collision with rotor blades. With increasing technical development, tall turbines (rotor-swept zone 50-150 m above ground level) are becoming widespread, yet we lack quantitative information about species active at these heights, which impedes proposing targeted mitigation recommendations for bat-friendly turbine operation. We investigated vertical activity profiles of a bat assemblage, and their relationships to wind speed, within a major valley of the European Alps where tall wind turbines are being deployed. To monitor bat activity we installed automatic recorders at sequentially increasing heights from ground level up to 65 m, with the goal to determine species-specific vertical activity profiles and to link them to wind speed. Bat call sequences were analysed with an automatic algorithm, paying particular attention to mouse-eared bats (Myotis myotis and Myotis blythii) and the European free-tailed bat (Tadarida teniotis), three locally rare species. The most often recorded bats were the Common pipistrelle (Pipistrellus pipistrellus) and Savi's pipistrelle (Hypsugo savii). Mouse-eared bats were rarely recorded, and mostly just above ground, appearing out of risk of collision. T. teniotis had a more evenly distributed vertical activity profile, often being active at rotor level, but its activity at that height ceased above 5 ms-1 wind speed. Overall bat activity in the rotor-swept zone declined with increasing wind speed, dropping below 5% above 5.4 ms-1. Collision risk could be drastically reduced if nocturnal operation of tall wind turbines would be restricted to wind speeds above 5 ms-1. Such measure should be implemented year-round because T. teniotis remains active in winter. This operational restriction is likely to cause only small energy production losses at these tall wind turbines, although further analyses are needed to assess these losses precisely

Smell, Taste, and Temperature Interfaces

Everyday life hinges on smell, taste, and temperature-based experiences, from eating to detecting potential hazards (e.g., smell of rotten food, microbial threats, and non-microbial threats such as from hazardous gases) to responding to thermal behavioral changes. These experiences are formative as visceral, vital signals of information, and contribute directly to our safety, well-being, and enjoyment. Despite this, contemporary technology mostly stimulates vision, audition, and - more recently - touch, unfortunately leaving out the senses of smell taste and temperature. In the last decade, smell, taste, and temperature interfaces have gained a renewed attention in the field of Human Computer Interaction, fueled by the growth of virtual reality and wearable devices. As these modalities are further explored, it is imperative to discuss underlying cultural contexts of these experiences, how researchers can robustly stimulate and sense these modalities, and in what contexts such multisensory technologies are meaningful. This workshop addresses these topics and seeks to provoke critical discussions around chemo- and thermo-sensory HCI