Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a flexible environment for experimentation with various typed lambda calculi. It offers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concent...

Wind induced ovalling vibrations have been reported to occur on several empty, flexible silo structures in group arrangement. The focus in this paper is on the numerical prediction of this phenomenon by simulating the wind flow around a single silo and taking into account the interaction of the wind flow with the structural response. The importance of the 3D turbulent wind flow and wake effects...

This paper describes the development of as well as implementation strategies for distributed simulation of building systems by run-time coupling of existing software. The approach differs from the traditional way of developing software in which additional models are added by incorporating new modules into an existing program. This paper focuses on the actual coupling mechanism. A case study is ...

We combined Raman and infrared vibrational spectroscopies with complementary lattice dynamics calculations and magnetization measurements to reveal the dynamic aspects of charge-lattice-spin coupling in Co[N(CN)2]2. Our work uncovers electron-phonon coupling as a magnetic field-driven avoided crossing of the low-lying Co2+ electronic excitation with two ligand phonons and a magnetoelastic effec...

This study presents a designing process for refurbishing of a 32 MW rotor-generator damaged coupling. The reason of rotor damage was being hit by the quivers of an explosion. The original coupling was union with the rotor formed after a machining process on a mono block forged rotor. In some areas imposed damages caused the breaking off and detachment of some parts in the coupling flange. Becau...

Interactive systems have to be designed in a more flexible way to better cope with different contexts of use. We follow the idea of model-based approaches, which foster a systematic task-oriented design process but suggest some improvements. We argue that a stronger coupling of sub-models in use allows a more expressive specification of context-sensitivity. Such a coupling is supported by a gen...

The structure of polar codes inherently requires block lengths to be powers of two. In this paper, we investigate how different block lengths can be realized by coupling of several short-length polar codes. For this, we first analyze “code augmentation” to better protect the semipolarized channels, improving the BER performance under belief propagation decoding. Several serial and parallel augm...

We consider the coupling of compressible and nearly incompressible materials within the framework of mortar methods. Taking into account the locking effect, we use a suitable discretization for the nearly incompressible material and work with a standard conforming discretization elsewhere. The coupling of different discretization schemes in different subdomains are handled by flexible mortar te...

Iterative cross-coupling represents a potentially general approach for the simple, efficient, and flexible construction of a wide range of functional small molecules. In this context, (1-bromovinyl)-N-methyliminodiacetic acid (MIDA) boronate is a very useful building block for small molecule synthesis. This compound can serve as a starting material for the preparation of a wide range of 1,1-dis...