#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1980

2014

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Susan L. Gerhart, David R. Musser, +6 authors David S. Wile
- IFIP Congress
- 1980

- Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
- IEEE Transactions on Software Engineering
- 1982

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)

- H Scheerens, J R Arron, +7 authors J G Matthews
- Clinical and experimental allergy : journal of…
- 2014

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)

- R. W. Erickson
- 2001

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)

- Roddy W. Erickson, David R. Musser
- CADE
- 1980

- David Casey, Roddy W. Erickson
- COMPCON
- 1984

- Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
- IEEE Trans. Software Eng.
- 1983

- R. W. Erickson
- 1997

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
- ›