The added value of multislice SPECT/CT in patients with equivocal bony metastasis from carcinoma of the prostate von Helyar, Vincent, Mohan, Hosahalli K., Barwick, Tara, Livieratos, Lefteris, Gnanasegaran, Gopinath, Clarke, Susan E. M., Fogelman, Ignac

Volltext

Synthesis and biological evaluation of [18F]tetrafluoroborate: a PET imaging agent for thyroid disease and reporter gene imaging of the sodium/iodide symporter von Jauregui-Osoro, Maite, Sunassee, Kavitha, Weeks, Amanda J., Berry, David J., Paul, Rowena L., Cleij, Marcel, Banga, Jasvinder Paul, O’Doherty, Michael J., Marsden, Paul K., Clarke, Susan E. M., Ballinger, James R., Szanda, Istvan, Cheng, Sheue-Yann, Blower, Philip J.

Volltext

Correction to Catalyst-Controlled Stereoselective Synthesis Secures the Structure of the Antimalarial Isocyanoterpene Pustulosaisonitrile‑1 von White, A. M, Dao, K, Vrubliauskas, D, Konst, Z. A, Pierens, G. K, Mándi, A, Andrews, K. T, Skinner-Adams, T. S, Clarke, M. E, Narbutas, P. T, Sim, D. C.-M, Cheney, K. L, Kurtán, T, Garson, M. J, Vanderwal, C. D

Volltext

Thyroid cancer susceptibility polymorphisms: confirmation of loci on chromosomes 9q22 and 14q13, validation of a recessive 8q24 locus and failure to replicate a locus on 5q24 von Jones, Angela M, Howarth, Kimberley M, Martin, Lynn, Gorman, Maggie, Mihai, Radu, Moss, Laura, Auton, Adam, Lemon, Catherine, Mehanna, Hisham, Mohan, Hosahalli, Clarke, Susan E M, Wadsley, Jonathan, Macias, Elena, Coatesworth, Andrew, Beasley, Matthew, Roques, Tom, Martin, Craig, Ryan, Paul, Gerrard, Georgina, Power, Danielle, Bremmer, Caroline, Tomlinson, Ian, Carvajal-Carmona, Luis G

Volltext

Groundfish species associations with distinct oceanographic habitats in the Northern California Current von JUAN-JORDÁ, MARIA JOSÉ, BARTH, JOHN A., CLARKE, M. E., WAKEFIELD, W. W.

Volltext

Verifying security protocols with Brutus von Clarke, E. M., Jha, S., Marrero, W.

Volltext

Post-growth tailoring of quantum-dot saturable absorber mirrors by chemical etching von Lumb, M. P., Farrell, D. J., Clarke, E. M., Damzen, M. J., Murray, R.

Volltext

Dispersionless saturable absorber mirrors with large modulation depths and low saturation fluences von Lumb, M. P., Stavrinou, P. N., Clarke, E. M., Murray, R., Leburn, C. G., Jappy, C., Metzger, N. K., Brown, C. T. A., Sibbett, W.

Volltext

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers von Clarke, Edmund, Voronkov, Andrei

Volltext

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings von Clarke, Edmund M, Kurshan, Robert P

Volltext

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers von Clarke, Edmund M, Voronkov, Andrei

Volltext

Electron transport lifetimes in InSb/Al1-xInxSb quantum well 2DEGs von Hayes, D G, Allford, C P, Smith, G V, McIndo, C, Hanks, L A, Gilbertson, A M, Cohen, L F, Zhang, S, Clarke, E M, Buckle, P D

Volltext

Symbolic model checking using SAT procedures instead of BDDs von Biere, A, Cimatti, A, Clarke, E M, Fujita, M, Zhu, Y

Volltext

Modular verification of software components in C von Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.

Volltext

Improving prediction of malignancy of cytologically indeterminate thyroid nodules von Tysome, J. R., Chandra, A., Chang, F., Puwanarajah, P., Elliott, M., Caroll, P., Powrie, J., Hubbard, J. G., Clarke, S. E. M., Jeannon, J. P., Simo, R.

Volltext

The complexity of propositional linear temporal logics von SISTLA, A. P, CLARKE, E. M

Volltext

Demersal fish and invertebrate biomass in relation to an offshore hypoxic zone along the US West Coast von KELLER, AIMEE A., SIMON, VICTOR, CHAN, FRANCIS, WAKEFIELD, W. W., CLARKE, M. E., BARTH, JOHN A., KAMIKAWA, DAN, FRUH, ERICA L.

Volltext

Automatic verification of finite-state concurrent systems using temporal logic specifications von Clarke, E. M., Emerson, E. A., Sistla, A. P.

Volltext

Emergency Medicine in the New South Africa von Clarke, Melissa E

Volltext

Optical Microscopy as a probe of the rate limiting transport lifetime in InSb/Al1-xInxSb quantum wells von McIndo, C J, Hayes, D G, Papageorgiou, A, Hanks, L A, Smith, G V, Allford, C P, Zhang, S, Clarke, E M, Buckle, P D

Volltext