On Probabilistic Applicative Bisimulation and Call-by-Value λ\lambda-Calculi (Long Version)

Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus. Surprisingly, the obtained relation coincides with context equivalence, contrary to what happens when call-by-name evaluation is considered. Even more surprisingly, full-abstraction only holds in a symmetric setting.Comment: 30 page

Surface Instability of Icicles

Quantitatively-unexplained stationary waves or ridges often encircle icicles. Such waves form when roughly 0.1 mm-thick layers of water flow down the icicle. These waves typically have a wavelength of 1cm approximately independent of external temperature, icicle thickness, and the volumetric rate of water flow. In this paper we show that these waves can not be obtained by naive Mullins-Sekerka instability, but are caused by a quite new surface instability related to the thermal diffusion and hydrodynamic effect of thin water flow.Comment: 11 pages, 5 figures, Late

Removing the Big Bang Singularity: The role of the generalized uncertainty principle in quantum gravity

The possibility of avoiding the big bang singularity by means of a generalized uncertainty principle is investigated. In relation with this matter, the statistical mechanics of a free-particle system obeying the generalized uncertainty principle is studied and it is shown that the entropy of the system has a finite value in the infinite temperature limit. It is then argued that negative temperatures and negative pressures are possible in this system. Finally, it is shown that this model can remove the big bang singularity.Comment: 8 pages, Accepted for publication in Astrophysics & Space Scienc

The Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction across a tunneling junction out of equilibrium

The Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction between two magnetic $s$-$d$ spin impurities across a tunneling junction is studied when the system is driven out of equilibrium through biasing the junction. The nonequilibrium situation is handled with the Keldysh time-loop perturbation formalism in conjunction with appropriate coupling methods for tunneling systems due to Caroli and Feuchtwang. We find that the presence of a nonequilibrium bias across the junction leads to an interference of several fundamental oscillations, such that in this tunneling geometry, it is possible to tune the interaction between ferromagnetic and antiferromagnetic coupling at a fixed impurity configuration, simply by changing the bias across the junction. Furthermore, it is shown that the range of the RKKY interaction is altered out of equilibrium, such that in particular the interaction energy between two slabs of spins scales extensively with the thickness of the slabs in the presence of an applied bias.Comment: 38 pages revtex preprint; 5 postscript figures; submitted to Phys. Rev.

Safety by design: dialogues between designers and builders using virtual reality

© 2015 The Author(s). Published by Taylor & Francis.Designers can contribute to enhancing the safety of construction work by considering how their decisions impact on both the physical environment in which construction workers operate and the means and methods they use. To do so, however, designers require knowledge about safety hazards on site and the opportunity to examine their designs early in projects. Through a set of studies virtual reality tools were used to examine the potential for collaborative dialogue between designers and builders to provide a forum for learning and proactive change of a design to make a project safer to build. In the tests, participants viewed proposed designs using virtual reality to examine various alternative design and construction scenarios. The study shows that consultation and dialogue with an experienced construction professional are highly beneficial for designers to appreciate the implications of designs on safety, and that designers are more willing to adapt design details than to change aesthetic aspects of their designs

A mitochondria-targeted mass spectrometry probe to detect glyoxals: implications for diabetes

The glycation of protein and nucleic acids that occurs as a consequence of hyperglycaemia disrupts cell function and contributes to many pathologies, including those associated with diabetes and aging. Intracellular glycation occurs following the generation of the reactive 1,2-dicarbonyls methylglyoxal and glyoxal and disruption to mitochondrial function is associated with hyperglycemia. However, the contribution of these reactive dicarbonyls to mitochondrial damage in pathology is unclear due to uncertainties about their levels within mitochondria in cells and in vivo. To address this we have developed a mitochondria-targeted reagent (MitoG) designed to assess the levels of mitochondrial dicarbonyls within cells. MitoG comprises a lipophilic triphenylphosphonium cationic function, which directs the molecules to mitochondria within cells and an o-phenylenediamine moiety that reacts with dicarbonyls to give distinctive and stable products. The extent of accumulation of these diagnostic heterocyclic products can be readily and sensitively quantified by liquid chromatography-tandem mass spectrometry (LC-MS/MS), enabling changes to be determined. Using the MitoG-based analysis we assessed the formation of methylglyoxal and glyoxal in response to hyperglycaemia in cells in culture and in the Akita mouse model of diabetes in vivo. These findings indicated that the levels of methylglyoxal and glyoxal within mitochondria increase during hyperglycaemia in both cells and in vivo, suggesting that they can contribute to the pathological mitochondrial dysfunction that occurs in diabetes and aging

Diffusion of digital innovation in construction: a case study of a UK engineering firm

The UK government is mandating the use of building information modelling (BIM) in large public projects by 2016. As a result, engineering firms are faced with challenges related to embedding new technologies and associated working practices for the digital delivery of major infrastructure projects. Diffusion of innovations theory is used to investigate how digital innovations diffuse across complex firms. A contextualist approach is employed through an in-depth case study of a large, international engineering project-based firm. The analysis of the empirical data, which was collected over a four-year period of close interaction with the firm, reveals parallel paths of diffusion occurring across the firm, where both the innovation and the firm context were continually changing. The diffusion process is traced over three phases: centralization of technology management, standardization of digital working practices, and globalization of digital resources. The findings describe the diffusion of a digital innovation as multiple and partial within a complex social system during times of change and organizational uncertainty, thereby contributing to diffusion of innovations studies in construction by showing a range of activities and dynamics of a non-linear diffusion process

Comparison and Implementation of a Rigid and a Flexible Multibody Planetary Gearbox Model

We propose algorithms for developing (1) a rigid (constrained) and (2) a flexible planetary gearbox model. The two methods are compared against each other and advantages/disadvantages of each method are discussed. The rigid model (1) has gear tooth reaction forces expressed by Lagrange multipliers. The flexible approach (2) is being compared with the gear tooth forces from the rigid approach, first without damping and second the influence of damping is examined. Variable stiffness as a function of base circle arc length is implemented in the flexible approach such that it handles the realistic switch between one and two gear teeth in mesh. The final results are from modelling the planetary gearbox in a 500 kW wind turbine which we also described in Jørgensen et.al (2013)

Suppression of charged particle production at large transverse momentum in central Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}} = 2.76 TeV

Inclusive transverse momentum spectra of primary charged particles in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}}$ = 2.76 TeV have been measured by the ALICE Collaboration at the LHC. The data are presented for central and peripheral collisions, corresponding to 0-5% and 70-80% of the hadronic Pb-Pb cross section. The measured charged particle spectra in $|\eta|<0.8$ and $0.3 < p_T < 20$ GeV/$c$ are compared to the expectation in pp collisions at the same $\sqrt{s_{\rm NN}}$, scaled by the number of underlying nucleon-nucleon collisions. The comparison is expressed in terms of the nuclear modification factor $R_{\rm AA}$. The result indicates only weak medium effects ($R_{\rm AA} \approx$ 0.7) in peripheral collisions. In central collisions, $R_{\rm AA}$ reaches a minimum of about 0.14 at $p_{\rm T}=6$-7GeV/$c$ and increases significantly at larger $p_{\rm T}$. The measured suppression of high-$p_{\rm T}$ particles is stronger than that observed at lower collision energies, indicating that a very dense medium is formed in central Pb-Pb collisions at the LHC.Comment: 15 pages, 5 captioned figures, 3 tables, authors from page 10, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/98