Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
100,000 Genomes Pilot on Rare-Disease Diagnosis in Health Care - Preliminary Report100,000 Genomes Project Pilot Investigators ; Cipriani, Valentina ; Ellingford, Jamie M ; Tucci, Arianna ; Chan, Georgia ; Ratnaike, Thiloka ; Wei, Wei ; Stirrups, Kathleen ; Moutsianas, Loukas ; Wielscher, Matthias ; Barnes, Michael R ; Buchanan, James ; Wordsworth, Sarah ; Ashford, Sofie ; Twiss, Philip ; Halsall, Sally ; Poole, Kenneth ; Wagner, Annette ; Gurnell, Mark ; Burrows, Nigel ; Mapeta, Rutendo ; Haworth, Andrea ; Savage, Helen ; Babcock, Melanie ; Boustred, Christopher ; Devereau, Andrew ; Halai, Dina ; Hyder, Zerin ; Kasperaviciute, Dalia ; Patch, Christine ; Matchan, Angela ; Tavares, Ana LT ; Tregidgo, Carolyn ; Welland, Matthew ; Leigh, Sarah ; Foulger, Rebecca E ; Daugherty, Louise C ; Niblock, Olivia ; Leong, Ivone US ; Welch, James ; Woods, Kerrie ; Abulhoul, Lara ; Aurora, Paul ; Broomfield, Alexander ; Cleary, Maureen A ; Lam, Tanya ; Grunewald, Stephanie ; Muntoni, Francesco ; Thapar, Nikhil ; Wallis, Colin ; Worth, Austen ; Bueser, Teofila ; Compton, Cecilia ; Fassihi, Hiva ; Ruddy, Deborah ; Sarkany, Robert ; Shaw, Adam C ; Habib, Bishoy ; Burns, Gavin ; Robinson, Peter N ; Haendel, Melissa ; Simpson, Michael A ; Banka, Siddharth ; Clayton-Smith, Jill ; Douzgou, Sofia ; O'Keefe, Raymond T ; Michaelides, Michel ; Malka, Sam ; Straub, Volker ; Gorman, Gráinne S ; Horvath, Rita ; Schaefer, Andrew M ; O'Connor, Emer ; Yip, Janice ; Morris, Huw R ; Polke, James ; Wood, Nicholas W ; Camps, Carme ; Lester, Tracy ; Németh, Andrea H ; Patel, Smita ; Sen, Arjune ; Cacheiro, Pilar ; Chitty, Lyn ; McMullan, Dom ; Temple, I Karen ; Wilson, Gill ; Beales, Phil ; Bradley, John R ; Chinnery, Patrick F ; Flinter, Frances ; Houlden, Henry ; Rahman, Shamima ; Webster, Andrew R ; Wilkie, Andrew OM ; Ouwehand, Willem H ; Chisholm, John ; Bentley, David ; Fowler, Tom ; Rendon, AugustoDepartment of Haematology 2021-11Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
The Laboratory Rabbit, Guinea Pig, Hamster, and Other RodentsMark A. Suckow Karla A. Stevens; Karla Stevens; Karla A Stevens; Mark A Suckow; Ronald Wilson; Ronald P Wilson Karla A. Stevens Ronald P. WilsonAcademic Press 2012Acesso online |
3 |
Material Type: Artigo
|
![]() |
Effects of Extracellular Ionized Calcium, Diltiazem and Camp on Motility of Human SpermatozoaAaberg, Randal A. ; Sauer, Mark V. ; Sikka, Suresh ; Rajfer, JacobThe Journal of urology, 1989-05, Vol.141 (5), p.1221-1224 [Periódico revisado por pares]Hagerstown, MD: Elsevier IncTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Synchronization-at-Retirement for Pipeline VerificationAagaard, Mark D. ; Day, Nancy A. ; Jones, Robert B.Formal Methods in Computer-Aided Design, 2004, p.113-127 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Formal verification of iterative algorithms in microprocessorsAagaard, Mark D. ; Jones, Robert B. ; Kaivola, Roope ; Kohatsu, Katherine R. ; Seger, Carl-Johan H.Annual ACM IEEE Design Automation Conference: Proceedings of the 37th conference on Design automation; 05-09 June 2000, 2000, p.201-206New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
A methodology for large-scale hardware verificationAAGAARD, Mark D ; JONES, Robert B ; MELHAM, Thomas F ; O'LEARY, John W ; SEGER, Carl-Johan HLecture notes in computer science, 2000, p.263-282 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Combining theorem proving and trajectory evaluation in an industrial environmentAagaard, Mark D. ; Jones, Robert B. ; Seger, Carl-Johan H. Irwin, M. J.Annual ACM IEEE Design Automation Conference: Proceedings of the 35th annual conference on Design automation; 15-19 June 1998, 1998, p.538-541New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Specialized curriculum for musculoskeletal in physical medicine and rehabilitation residency training and beyondAagesen, Andrea L. ; Bergfeld, Deborah A. ; Ellen, Mark I. ; Smith, McCasey R.PM & R, 2022-10, Vol.14 (10), p.1299-1300 [Periódico revisado por pares]Hoboken, USA: John Wiley & Sons, IncTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Pressure drop and heat transfer characteristics of nitrate salt and supercritical CO2 in a diffusion-bonded heat exchangerAakre, Shaun R. ; Anderson, Mark H.International journal of heat and mass transfer, 2022-06, Vol.189 (C), p.122691, Article 122691 [Periódico revisado por pares]Oxford: Elsevier LtdTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Volumetric efficiency and pressure pulsations of a triplex reciprocating supercritical CO2 pumpAakre, Shaun R. ; Anderson, Mark H. ; Brooks, Paul W.The Journal of supercritical fluids, 2021-02, Vol.168, p.105072, Article 105072 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |