http://hdl.handle.net/10453/154 2013-05-20T12:09:23Z http://hdl.handle.net/10453/17734 Chapter 20 NFMIC Simulator Masihpour Mehrnoush; Agbinya Johnson Agbinya, J. Since simulating the wireless networks, using codes and so-called computer language is a challenging task and requires a lot of time and effort, a graphical user interface is developed by the authors, which enables the user to simulate different scenarios for an NFMIC system. This program evaluates NFMIClink budget, based on Agbinya-Masiilpour channel model, using MATLAB software. 2011-01-01T00:00:00Z http://hdl.handle.net/10453/17735 Chapter 16 Magneto - Inductive Waveguide Devices Masihpour Mehrnoush; Agbinya Johnson Agbinya, J. the previous chapters we have introduced the concepts of magneto-inductive waves and showed that unless they are terminated properly, there will be signal reflections in the waveguide. In this chapter, we show how the presence the power reflections is used to advantage in creating MI devices. 2011-01-01T00:00:00Z http://hdl.handle.net/10453/14248 The Physics and Optical Properties of Gold Blaber Martin; Ford Michael; Cortie Michael Christopher Corti, Richard Holliday Although gold is well down on the periodic table, at position 79, it was the first of the metals to be discovered and exploited by humans. This was almost certainly as a result of it possessing four unique attributes: a bright metallic yellow color, excellent resistance to corrosion, considerable malleability, and a high density (19.32 g/cm3). The high corrosion resistance and density facilitated the concentration of native gold nuggets and powders in the beds of streams, while the yellow color and malleability made it very suitable for the production of jewelry or religious artifacts. A few other metallic elements-such as silver, copper, or platinum-possess color and/or corrosion resistance and/or ductility and/or density, but none to the simultaneous degree exhibited by gold. What are the reasons for this unusual cluster of interesting properties in element 79? 2010-01-01T00:00:00Z http://hdl.handle.net/10453/12965 Predicate Transformer Semantics of Quantum Programs Ying Mingsheng; Duan Runyao; Feng Yuan; Ji Zhengfeng Simon Gay, Ian Mackie This chapter presents a systematic exposition of predicate transformer semantics for quantum programs. It is divided into two parts: The first part reviews the state transformer (forward) semantics of quantum programs according to Selingerâ¿¿s suggestion of representing quantum programs by superoperators and elucidates Dâ¿¿Hondt-Panangadenâ¿¿s theory of quantum weakest preconditions in detail. In the second part, we develop a quite complete predicate transformer semantics of quantum programs based on Birkhoffâ¿¿von Neumann quantum logic by considering only quantum predicates expressed by projection operators. In particular, the universal coujunctivity and termination law of quantum programs are proved, and Hoareâ¿¿s induction rule is established in the quantum setting. 2010-01-01T00:00:00Z