Book Chapters
http://hdl.handle.net/10453/17
2015-09-03T09:35:25Z
2015-09-03T09:35:25Z
SIESTA: Properties and Applications
Ford, MJ
http://hdl.handle.net/10453/30787
2015-03-13T03:42:51Z
2011-07-05T00:00:00Z
SIESTA: Properties and Applications
Ford, MJ
In this chapter a number of these properties are discussed through examples relevant to nanoscience and technology. The SIESTA methodology in detail in Chapter 2; the present chapter is intended as an accompaniment. The first three examples illustrate the general capabilities of the SIESTA code for problems containing relatively small numbers of atoms and that are amenable to standard diagonalization to solve the self-consistent problem. The last example illustrates the divide-and-conquer linear-scaling capabilities to tackle problems containing large numbers of atoms. © 2011 John Wiley & Sons, Inc.
2011-07-05T00:00:00Z
Chapter 20 NFMIC Simulator
Masihpour, M
Agbinya, JI
http://hdl.handle.net/10453/17734
2015-03-13T02:30:31Z
2011-01-01T00:00:00Z
Chapter 20 NFMIC Simulator
Masihpour, M; Agbinya, JI
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
Chapter 16 Magneto - Inductive Waveguide Devices
Masihpour, M
Agbinya, JI
http://hdl.handle.net/10453/17735
2015-03-13T02:45:29Z
2011-01-01T00:00:00Z
Chapter 16 Magneto - Inductive Waveguide Devices
Masihpour, M; Agbinya, JI
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
Predicate transformer semantics of quantum programs
Ying, M
Duan, R
Feng, Y
http://hdl.handle.net/10453/12965
2015-04-17T06:20:44Z
2013-01-01T00:00:00Z
Predicate transformer semantics of quantum programs
Ying, M; Duan, R; Feng, Y
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 conjunctivity and termination law of quantum programs are proved, and Hoare’s induction rule is established in the quantum setting.
2013-01-01T00:00:00Z