Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Analytical design of linear feedback controlsGeorge C. Newton (George Cheney)New York Wiley 1957Localização: EPBC - Esc. Politécnica-Bib Central (681.516.3 N483a ) e outros locais(Acessar) |
|
2 |
Material Type: E-Book
|
Clinical anesthesiaPaul G Barash; Bruce F Cullen; Robert K Stoelting; R2 Library (Online service)Philadelphia : Lippincott Williams & Wilkins c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Provenance in databases: why, how, and whereCheney, James ; Chiticariu, Laura ; Tan, Wang-ChiewFoundations and trends in databases, 2009, Vol.1 (4), p.379-474 [Periódico revisado por pares]Hanover, Mass: Now PublishersTexto completo disponível |
|
4 |
Material Type: Livro
|
Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, ProceedingsCheney, James ; Perri, Simona Cheney, James ; Perri, SimonaNetherlands: Springer Nature 2022Sem texto completo |
|
5 |
Material Type: Artigo
|
Strongly-Normalizing Higher-Order Relational QueriesRicciotti, Wilmer ; Cheney, JamesLogical methods in computer science, 2022-08, Vol.18, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Phenotype and function of HBV-specific T cells is determined by the targeted epitope in addition to the stage of infectionHoogeveen, Ruben C ; Robidoux, Maxwell P ; Schwarz, Tatjana ; Heydmann, Laura ; Cheney, James A ; Kvistad, Daniel ; Aneja, Jasneet ; Melgaço, Juliana G ; Fernandes, Carlos A ; Chung, Raymond T ; Boonstra, Andre ; Kim, Arthur Y ; Baumert, Thomas F ; Timm, Jörg ; Lewis-Ximenez, Lia L ; Tonnerre, Pierre ; Lauer, Georg MGut, 2019-05, Vol.68 (5), p.893-904 [Periódico revisado por pares]England: BMJ Publishing Group LTDTexto completo disponível |
|
7 |
Material Type: Artigo
|
Differentiation of exhausted CD8 + T cells after termination of chronic antigen stimulation stops short of achieving functional T cell memoryTonnerre, Pierre ; Wolski, David ; Subudhi, Sonu ; Aljabban, Jihad ; Hoogeveen, Ruben C ; Damasio, Marcos ; Drescher, Hannah K ; Bartsch, Lea M ; Tully, Damien C ; Sen, Debattama R ; Bean, David J ; Brown, Joelle ; Torres-Cornejo, Almudena ; Robidoux, Maxwell ; Kvistad, Daniel ; Alatrakchi, Nadia ; Cui, Ang ; Lieb, David ; Cheney, James A ; Gustafson, Jenna ; Lewis-Ximenez, Lia L ; Massenet-Regad, Lucile ; Eisenhaure, Thomas ; Aneja, Jasneet ; Haining, W Nicholas ; Chung, Raymond T ; Hacohen, Nir ; Allen, Todd M ; Kim, Arthur Y ; Lauer, Georg MNature immunology, 2021-08, Vol.22 (8), p.1030-1041 [Periódico revisado por pares]United States: Nature Publishing GroupTexto completo disponível |
|
8 |
Material Type: Artigo
|
Hepatitis B virus-specific CD4 T cell responses differentiate functional cure from chronic surface antigen+ infectionHoogeveen, Ruben C. ; Dijkstra, Suzan ; Bartsch, Lea M. ; Drescher, Hannah K. ; Aneja, Jasneet ; Robidoux, Maxwell P. ; Cheney, James A. ; Timm, Joerg ; Gehring, Adam ; de Sousa, Paulo Sergio Fonseca ; Ximenez, Lya ; Peliganga, Luis Baiao ; Pitts, Anita ; Evans, Fiona B. ; Boonstra, André ; Kim, Arthur Y. ; Lewis-Ximenez, Lia L. ; Lauer, Georg M.Journal of hepatology, 2022-11, Vol.77 (5), p.1276-1286 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
A dependent nominal type theoryCheney, JamesLogical methods in computer science, 2012, Vol.8, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Cross-tier Web Programming for Curated Databases: a Case StudyFowler, Simon ; Harding, Simon ; Sharman, Joanna ; Cheney, JamesInternational Journal of Digital Curation, 2021-04, Vol.16 (1), p.21 [Periódico revisado por pares]University of EdinburghTexto completo disponível |