Technology has characteristics of inducing changes under competitive environment due to its dynamic property of being modified and accelerated over time. In order to improve profitability, the evaluation of technology transfer adoption (TTA) is very important for determining the weights of TTA factors, the influence of the organizational factors (i.e., the measures of TTA dimension) such as chi...

iv Tiivistelmä v List of Abbreviations and Symbols vi

We describe formal verification of some of the key algorithms in the Time-Triggered Architecture (TTA) for real-time safety-critical control applications. Some of these algorithms pose formidable challenges to current techniques and have been formally verified only in simplified form or under restricted fault assumptions. We describe what has been done and what remains to be done and indicate s...

This article considers some of the possibilities of the ways in which Information and Communications Technology (ICT) can support teachingfor understanding in primary schools. Drawing on researchanalysed for a Teacher Training Agency (TTA) study and work in progress in the North East of England supporting ICT training for serving teachers in England it suggests that there are clear possibilitie...

In this work, we investigate the reverse correlation technique for analyzing posterior feature extraction using an multilayered perceptron trained on multi-resolution RASTA (MRASTA) features. The filter bank in MRASTA feature extraction is motivated by human auditory modeling. The MLP is trained based on an error criterion and is purely data driven. In this work, we analyze the functionality of...

Current loudness models and indicators of time-varying sounds such as the 95th percentile of the loudness distribution N5 all compute global loudness from short-term loudness time-series by leaving the temporal dimension out. Putting it differently, these models all rely on the assumption that the global loudness of a time-varying sound does not depend on the shape of its loudness pattern, i.e....

This study explains the breakdown mechanism in different triggered spark gap switches. Two different trigger electrode configurations are tested for the switch predischarge operation in a nitrogen laser circuit. The behavior of the breakdown voltage, when a trigger pulse is applied to the trigger electrode, is investigated, and the results are reported. Based on the experimental measurements ne...