Roddy W. Erickson

Learn More
It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach–the state transition model–using a collection of mechanically supported specification and verification tools incorporated in a running system called AFFIRM. Although developed for the specification of(More)
BACKGROUND Interleukin 13 (IL13) is a T-helper type 2 (Th2) cytokine associated with inflammation and pathology in allergic diseases such as bronchial asthma. We have shown that treatment with lebrikizumab, an anti-IL13 monoclonal antibody, significantly improves prebronchodilator forced expiratory volume in 1 s (FEV(1)) in a subset of subjects with(More)
The n Extra Element Theorem (n EET) is an extension of Middlebrook's Extra Element Theorem, to the case when multiple extra elements are added simultaneously to a circuit. Its major application is to write transfer functions directly as rational fractions, without need to perform loop an node analysis and algebraic manipulations. This is accomplished by(More)
These notes treat the flow of energy in systems containing nonsinusoidal waveforms. Average power, rms values, and power factor are expressed in terms of the Fourier series of the voltage and current waveforms. Let us consider the transmission of energy from a source to a load, through a given surface as in Fig. 1. In the network of Fig. 1, the voltage(More)
  • 1