Swedish is a quantity language and there is a distinction between phonologically long and short vowels in the stressed syllable. In addition, there is a complementary relation between the vowel and the immediately following consonant – the consonant being short whenever the vowel is long (V:C) and long (VC:) or part of a consonant cluster (e.g. VCC) when the vowel is short (Elert, 1964). In oth...

We propose a technique for verifying high-level security properties of cryptographic protocol implementations based on stepwise refinement. Our refinement strategy supports reasoning about abstract protocol descriptions in the symbolic model of cryptography and gradually concretizing them towards executable code. We have implemented the technique within a general-purpose program verifier VCC an...

Waste heat recovery has been considered as an attractive technique to improve the overall energy utilization efficiency of internal combustion (IC) engines. In this paper, distinct from most past research work, a thermally driven refrigeration system based on combined organic Rankine and vapour compression cycles is proposed recover IC engines’ waste contained in cooling water. Based concept, l...

Abstract The next generation vehicular networks would be expected to support a wide array of cutting edge applications concerning intelligent transportation system (ITS). Due this reason, the scale and complexity ITS-based compute-intensive tasks has exhibited phenomenal increase will continue grow in future. Thus, large quantity data requiring different levels processing is generated, that nec...

Future small satellites will demand high-performance on-board electronics, requiring sophisticated approaches to heat rejection beyond simply increasing the radiator surface area. An interesting alternative approach is increase temperature of radiator, using a pump. In this study, calculations were carried out compute theoretical size reduction potential enacted by having pump as part satellite...

Transport properties are examined in some detail for samples of the low temperature molten salt N-propyl-N-methyl pyrrolidinium bis(fluorosulfonyl)imide [Pyr13][FSI] from two different commercial suppliers. A similar set of data is presented for two different concentrations of binary lithium-[Pyr13][FSI] salt mixtures from one supplier. A new and significantly different production process is us...