Shot-noise limited,supercontinuum-based optical coherence tomography

We present the first demonstration of shot-noise limited supercontinuum-based spectral domain optical coherence tomography (SD-OCT) with an axial resolution of ...     

Algorithmic probabilistic game semantics

We present a detailed account of a translation from probabilistic call-by-value programs with procedures to Rabin’s probabilistic automata. The translation is fully abstract in that programs exhibit the same computational behaviour if and only if the corresponding automata are language-equivalent. Since probabilistic language equivalence is decidable, we can apply the translation to analyse the behaviour of probabilistic programs and protocols. We illustrate our approach on a number of case studies.     

Where does model-driven engineering help? Experiences from three industrial cases

There have been few experience reports from industry on how Model-Driven Engineering (MDE) is applied and what the benefits are. This paper summarizes the experiences of three large industrial participants in a European research project with the objective of developing techniques and tools for applying MDE on the development of large and complex software systems. The participants had varying degrees of previous experience with MDE. They found MDE to be particularly useful for providing abstractions of complex systems at multiple levels or from different viewpoints, for the development of domain-specific models that facilitate communication with non-technical experts, for the purposes of simulation and testing, and for the consumption of models for analysis, such as performance-related decision support and system design improvements. From the industrial perspective, a methodology is considered to be useful and cost-efficient if it is possible to reuse solutions in multiple projects or products. However, developing reusable solutions required extra effort and sometimes had a negative impact on the performance of tools. While the companies identified several benefits of MDE, merging different tools with one another in a seamless development environment required several transformations, which increased the required implementation effort and complexity. Additionally, user-friendliness of tools and the provision of features for managing models of complex systems were identified as crucial for a wider industrial adoption of MDE.     

A review of the Namntall Tunnel project with regard to grouting performance

The 6 km tunnel under the Namntall hill is a part of the Botniabanan railway project in northern Sweden. The tunnels were excavated by means of drilling and blasting and with, for Scandinavian conditions, a normal grouting routine. The grouting is performed to reduce water ingress into the tunnel to the level defined in the contract. When the water ingress requirements proved difficult to meet, it was obvious that the geological and the hydrogeological conditions in the tunnel would dictate the work processes. A distinctive change in rock conditions influenced both grouting performance and seepage into the tunnel. The rock conditions and the grouting were quantified throughout the project and these are summarized in this paper. It can be concluded that the strongest correlation is between the water ingress, the hydrogeological conditions and the density of the zones and the conditions in and around these zones. The paper suggests a different approach to hydrogeological prognosis and the grouting process, such as distribution of grouting classes, increased mixer capacities and regular use of two grouting rounds.     

CAD standardisation in the construction industry — A process view

There has been a demand for uniform CAD standards in the construction industry ever since the large-scale introduction of computer aided design systems in the late 1980s. While some standards have been widely adopted without much formal effort, other standards have failed to gain support even though considerable resources have been allocated for the purpose. Establishing a standard concerning building information modeling has been one particularly active area of industry development and scientific interest within recent years. In this paper, four different standards are discussed as cases: the IGES and DXF/DWG standards for representing the graphics in 2D drawings, the ISO 13567 standard for the structuring of building information on layers, and the IFC standard for building product models. Based on a literature study combined with two qualitative interview studies with domain experts, a process model is proposed to describe and interpret the contrasting histories of past CAD standardisation processes.     

Makerspaces on Social Media: Shaping Access to Open Design

Open Design is an emerging area of research that seeks to connect and extend the culture of making, social innovation, open-source software, and open-source hardware. A cornerstone for Open Design is to broaden participation in technology innovation by allowing people to use and contribute to publicly shared resources. Makerspaces are important access points to share and contribute to these resources. However, prior to entering the physical door of a makerspace, makerspaces’ social media presence serve as the ‘front door’ for Open Design activities. In this paper, we examine different ‘front doors’ of Open Design, asking: What are the characteristics that produce makerspaces’ social media presences, and how do these representations shape potential access to Open Design activities? We manually collected and qualitatively analyzed 500 public posts on the Facebook sites of five makerspaces in Copenhagen, Denmark. By choosing the same geographical area, we were able to explore the characteristics of makerspaces’ social media presences for the same potential population of Open Design participants. Our analysis identifies three main characteristics of makerspaces’ social media presence, which together shape access to Open Design activities, namely reach, transparency, and discourse. The display of these characteristics produce openness and availability in unique ways, and is constitutive for how Open Design activities are produced online. In this paper, we do not argue for or against specific social media representations. Instead, we argue that the specificities and differences between makerspaces’ social media presences in the same geographical region have the strength of producing different identities across spaces, allowing for a broader definition and potential participation in Open Design.     

Molecular Heterojunctions of Oligo(phenylene ethynylene)s with Linear to Cruciform Framework

Electrical transport properties of molecular junctions are fundamentally affected by the energy alignment between molecular frontier orbitals (highest occupied molecular orbital (HOMO) or lowest unoccupied molecular orbital (LUMO)) and Fermi level (or work function) of electrode metals. Dithiafulvene (DTF) is used as substituent group to the oligo(phenylene ethynylene) (OPE) molecular wires and different molecular structures based on OPE3 backbone (with linear to cruciform framework) are achieved, with viable molecular orbitals and HOMO–LUMO energy gaps. OPE3, OPE3–DTF, and OPE3–tetrathiafulvalene (TTF) can form good self‐assembled monolayers (SAMs) on Au substrates. Molecular heterojunctions based on these SAMs are investigated using conducting probe–atomic force microscopy with different tips (Ag, Au, and Pt) and Fermi levels. The calibrated conductance values follow the sequence OPE3–TTF > OPE3–DTF > OPE3 irrespective of the tip metal. Rectification properties (or diode behavior) are observed in case of the Ag tip for which the work function is furthest from the HOMO levels of the OPE3s. Quantum chemical calculations of the transmission qualitatively agree with the experimental data and reproduce the substituent effect of DTF. Zero‐bias conductance, and symmetric or asymmetric couplings to the electrodes are investigated. The results indicate that improved fidelity of molecular transport measurements may be achieved by systematic studies of homologues series of molecular wires applying several different metal electrodes.