[Recording review] Paul Hindemith, Die Harmonie der Welt, soloists, Rundfunkchor Berlin, Rundfunk-Sinfonieorchester Berlin, conductor Marek Janowski

Tony Mann provides a review of the recording: Paul Hindemith, Die Harmonie der Welt [opera], soloists, Rundfunkchor Berlin, Rundfunk-Sinfonieorchester Berlin, conductor Marek Janowski. Wergo 6652-2 (160 minutes, 3CDs priced as two)

[Recording review] William Herschel, Symphonies Nos. 2, 8, 12, 13, 14, 17

Tony Mann provides a review of the recording: William Herschel, Symphonies Nos. 2, 8, 12, 13, 14, 17, soloists, London Mozart Players / Matthias Bamert, Chandos 10048, 2003, (68 mins). [CD]

An acoustic correction method for extracting sound signals

Sound waves are propagating pressure fluctuations and are typically several orders of magnitude smaller than the pressure variations in the flow field that account for flow acceleration. On the other hand, these fluctuations travel at the speed of sound in the medium, not as a transported fluid quantity. Due to the above two properties, the Reynolds averaged Navier-Stokes (RANS) equations do not resolve the acoustic fluctuations. Direct numerical simulation of turbulent flow is still a prohibitively expensive tool to perform noise analysis. This paper proposes the acousticcorrectionmethod, an alternative and affordable tool based on a modified defect correction concept, which leads to an efficient algorithm for computational aeroacoustics and noise analysis.

A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Shear bond strengths of glass-ionomer cements to sound and to prepared carious dentine

The aim of this study was determine whether bonding of glass-ionomer cements to non-carious dentine differed from that to carious dentine. Five commercial cements were used, namely Fuji IX GP, Fuji IX capsulated, Fuji IX Fast capsulated (all GC, Japan), Ketac-Molar and Ketac-Molar Aplicap (both 3M-ESPE, Germany). Following conditioning of the substrate with 10% poly (acrylic acid) for 10 s, sets of 10 samples of the cements were bonded to prepared teeth that had been removed for orthodontic reasons. The teeth used had either sound dentine or sclerotic dentine. Shear bond strengths were determined following 24 h storage. For the auto-mixed cements, shear bond strength to sound dentine was found not to differ statistically from shear bond strength to sclerotic dentine whereas for hand-mixed cements, shear bond to sound dentine was found to be higher than to carious dentine (to at least p < 0.05). This shows that the chemical effects arising from interactions of glass-ionomer cements with the mineral phase of the tooth are the most important in developing strong bonds, at least in the shorter term.