Formally Verifying a Microprocessor Using a Simulation Methodology von Beatty, D.L., Bryant, R.E.

Volltext

For incremental circuit analysis using extracted hierarchy von Beatty, D.L., Bryant, R.E.

Volltext

Formal verification of PowerPC arrays using symbolic trajectory evaluation von Pandey, M., Raimi, R., Beatty, D.L., Bryant, R.E.

Volltext

Formal hardware verification by symbolic ternary trajectory evaluation von Bryant, Randal E., Beatty, Derek L., Seger, Carl-Johan H.

Volltext bestellen

Incremental switch-level analysis von Beatty, D.L., Bryant, R.E.

Volltext

Complement activity in the cord blood of term neonates with the amniotic fluid infection syndrome von Shapiro, R., Beatty, D.W., Woods, D.L., Sinclair-Smith, C.C. & Malan, A.F.

Volltext

The Asian fish tapeworm (Schyzocotyle acheilognathi) discovered in Western Australia may pose a threat to the health of endemic native fishes von Palermo, C.J., Morgan, D.L., Beatty, S.J., Elliot, A., Greay, T.L.

Volltext

Improving the promise of embedded pragmatic trials: Surmountable barriers encountered in an evaluation of home-based HPV self-sampling to increase cervical cancer screening in over... von Buist, D.S.M, Tiro, J.A, Thayer, C, Beatty, T, Miglioretti, D.L, Lin, J, Winer, R.L

Volltext

Motivational influences on anaesthetists’ use of practice guidelines von Phipps, D.L., Beatty, P.C.W., Parker, D., Nsoedo, C., Meakin, G.H.

Volltext

Groundwater contribution to baseflow maintains habitat connectivity for Tandanus bostocki (Teleostei: Plotosidae) in a south‐western Australian river von Beatty, S.J, Morgan, D.L, McAleer, F.J, Ramsay, A.R

Volltext

A Comparative Study of the Removal of Heavy Metal Ions from Water Using a Silica−Polyamine Composite and a Polystyrene Chelator Resin von Beatty, Susan T, Fischer, Robert J, Hagers, Dana L, Rosenberg, Edward

Volltext

Periodic eclipses of the young star PDS 110 discovered with WASP and KELT photometry von Osborn, H.P., Rodriguez, J.E., Kenworthy, M.A., Kennedy, G.M., Mamajek, E.E., Robinson, C.E., Espaillat, C.C., Armstrong, D.J., Shappee, B.J., Bieryla, A., Latham, D.W., Anderson, D.R., Beatty, T.G., Berlind, P., Calkins, M.L., Esquerdo, G.A., Gaudi, B.S., Hellier, C., Holoien, T.W.-S., James, D., Kochanek, C.S., Kuhn, R.B., Lund, M.B., Pepper, J., Pollacco, D.L., Prieto, J.L., Siverd, R.J., Stassun, K.G., Stevens, D.J., Stanek, K.Z., West, R.G.

Volltext bestellen

Proceedings of the 14th annual conference of INEBRIA von Landale, S, Newbury-Birch, D, Gilstead-Hayden, K, Subramaniam, G, Linderoth, C, Spak, F, Mahmoud, K.F, Riordan, B.C, Vendetti, J, Robaina, K, Jones, J, Aagaard, L, Harris, B.R, Barbosa, C, Dusek, K.A, Kirk, A.S, Hosler, C, Brown, B.S, Angus, C, Brennan, A, de Vargas, D, Wittman, I, Simberkoff, M.S, Fiellin, D.A, Coulton, S, Drummond, C, McColl, E, Howe, N, Holmes, J, Shevills, C, Soutar, M, Shorter, G.W, Bray, J, Cohen, H.A, Adam, C, Segura-Garcia, L, Gaume, J, Grazioli, V, Bertholet, N, Gregorich, S, Vijayaraghavan, M, Aguinaldo, L.D, Chang, G, Blake-Lamb, T, Sprangers, K.E, Bradley, M, Schachter, D, Vahidi, M, Rico, M.W, Baumeister, S.E, Hermansson, U, Bernal, C, Pappacena, K, Morley, J, Hoadley, A, Moyers, T, Fitzgerald, N.M, Zuzulich, S, Wallace, P.G, Andrews, M, Daley, K, Gallagher, L, Watson, R, Weaver, T, Bruguera, P, Gavotti, C, Miquel, L, Brown, R.L, McCormack, R.P, Gonzalez, M, Bauroth, S, Wallhed Finn, S, Hammarberg, A, King, S.E, Vargo, R, Van Loon, R.A, Jones, A.L, Thacker, C.L, Beatty, J.R, Janisse, J, Garnett, C.V, Crane, D, Rosendahl, I, Andersson, C, Donoghue, K, Pockett, R, Patton, R, Russell, I, Evans, B, Barton, M.B, Bhatt, C, Gao, W, Merrick, E.L, Drebing, C.E, Sharma, M, Saitz, R, Young-Wolff, K.C, Bensley, K.M, Gilstad-Hayden, K, Weaver, M.F

Volltext bestellen

Lactate dehydrogenase and creatine kinase isoenzyme levels in the tissues and serum of normal lambs von Beatty, E.M., Doxey, D.L.

Volltext

Pion double charge exchange on 16O above the Δ(1232) resonance von Beatty, D.P., Gilman, R., Sun, Q., Fortune, H.T., Williams, A.L., Smith, D.A., Hui, P., Loe, S., Landau, M.A., O'Donnell, J.M., Rawool-Sullivan, M., Urbina, J., Watson, D.L.

Volltext

Invasion of fennel (Foeniculum vulgare) into shrub communities on Santa Cruz Island, California von Beatty, S.W. (University of Colorado, Boulder, CO), Licari, D.L

Volltext

Serum complement and immunoglobulin values in small-for-gestational-age infants von Shapiro, R., Beatty, D.W., Woods, D.L., Malan, A.F., Med, M.

Volltext

Pion double charge exchange on [sup 16]O at [ital T][sub [pi]]=300--500 MeV von Beatty, D.P., Burleson, G.R., Rawool-Sullivan, M., El-Ghossain, M., Fortune, H.T., Williams, A.L., Smith, D.A., Morris, C.L., Garnett, R., Watson, D.L., Johnson, J., Ward, H., Whitley, C., Matthews, S.K., Palarczyk, M., Edwards, C., Espy, M., Hashimoto, O., Tomoyuki, H.

Volltext