This is the technical appendix accompanying the article “A separation logic for a promising semantics”. It contains a soundness proof for the SLR logic. The programming language and logic presented in this appendix extends the programming language and logic presented in the paper with plain accesses. The programming language has further been extended with compare-and-swap operations and the log...

We analyze the network of bilateral liquidity swaps (BSAs) among the ASEAN+3 countries. We find that the network has taken the correlation of capital flows in the region into account, in the sense that countries with lower correlation of reserve growth have engaged in larger BSAs. All else equal, a decimal point increase in the correlation of international reserve growth decreases the size of a...

In this paper, we propose a new universal network, called recursive dual-net (RDN), as a potential candidate for the interconnection network of supercomputers with very large scale. The recursive dual-net is based on a recursive dual-construction of a base network. A k-level dual-construction for k > 0 creates a network containing (2m) k /2 nodes with node-degree d + k, where m and d are the nu...

In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

PURPOSE To compare the dual-bolus to single-bolus quantitative first-pass magnetic resonance myocardial perfusion imaging for estimation of absolute myocardial blood flow (MBF). MATERIALS AND METHODS Dogs had local hyperemia of MBF in the left anterior descending (LAD) coronary artery (intracoronary adenosine). Animals (n = 6) had sequential single- and dual-bolus perfusion studies with micro...

This project is focused on developing hardware implementations of image processing algorithm for use in an FPGA -based image processing system, this approach facilitates comparison of the software and synthesized hardware algorithm outputs. The rank order filter is a particularly common algorithm in image processing systems. This approach was taken because it speeds understanding of the algorit...

in a novel dual bed reactor fischer-tropsch synthesis was studied by using two diffrent cobalt catalysts. an alkali-promoted cobalt catalyst was used in the first bed of a fixed-bed reactor followed by a rutenuim promoted cobalt catalyst in the second bed. the activity, product selectivity and accelerated deactivation of the system were assessed and compared with a conventional single bed react...