Proofs without Syntax von Hughes, Dominic J. D.

Volltext

Simple free star-autonomous categories and full coherence von Hughes, Dominic J.D.

Volltext

Proof nets for unit-free multiplicative-additive linear logic von Hughes, Dominic J. D., Van Glabbeek, Rob J.

Volltext

First-order proofs without syntax von Hughes, Dominic J. D

Volltext bestellen

Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell von Pavlovic, Dusko, Hughes, Dominic J. D

Volltext bestellen

Nucleus I: Adjunction spectra in recommender systems and descent von Pavlovic, Dusko, Hughes, Dominic J. D

Volltext bestellen

First-order proofs without syntax von Hughes, Dominic J D

Volltext

Techniques for delivering relevant news articles to users von Hughes, Dominic J. D, Ruffenach, Collin D, Lau, Chi Wai

Volltext bestellen

TECHNIQUES FOR DELIVERING RELEVANT NEWS ARTICLES TO USERS von LAU, Chi Wai, HUGHES, Dominic J. D, RUFFENACH, Collin D

Volltext bestellen

Linking diagrams for free von Hughes, Dominic J. D

Volltext bestellen

Abstract p-time proof nets for MALL: Conflict nets von Hughes, Dominic J. D

Volltext bestellen

Linking diagrams for free von Hughes, Dominic J D

Volltext

Abstract p-time proof nets for MALL: Conflict nets von Hughes, Dominic J D

Volltext

Dynamic Runx1 chromatin boundaries affect gene expression in hematopoietic development von Owens, Dominic D. G., Anselmi, Giorgio, Oudelaar, A. Marieke, Downes, Damien J., Cavallo, Alessandro, Harman, Joe R., Schwessinger, Ron, Bucakci, Akin, Greder, Lucas, de Ornellas, Sara, Jeziorska, Danuta, Telenius, Jelena, Hughes, Jim R., de Bruijn, Marella F. T. R.

Volltext

Continuous Learning in Model‐Informed Precision Dosing: A Case Study in Pediatric Dosing of Vancomycin von Hughes, Jasmine H., Tong, Dominic M. H., Lucas, Sarah Scarpace, Faldasz, Jonathan D., Goswami, Srijib, Keizer, Ron J.

Volltext

Evaluation of Neonatal and Paediatric Vancomycin Pharmacokinetic Models and the Impact of Maturation and Serum Creatinine Covariates in a Large Multicentre Data Set von Hughes, Jasmine H., Tong, Dominic M. H., Faldasz, Jonathan D., Frymoyer, Adam, Keizer, Ron J.

Volltext

Antibiotic or silver versus standard ventriculoperitoneal shunts (BASICS): a multicentre, single-blinded, randomised trial and economic evaluation von Mallucci, Conor L, Jenkinson, Michael D, Conroy, Elizabeth J, Hartley, John C, Brown, Michaela, Dalton, Joanne, Kearns, Tom, Moitt, Tracy, Griffiths, Michael J, Culeddu, Giovanna, Solomon, Tom, Hughes, Dyfrig, Gamble, Carrol, Pettorini, Benedetta, Parks, Christopher, van Tonder, Libby, Foster, Mitchel T, McMahon, Catherine, Buxton, Neil, Chavredakis, Emmanuel, Brodbelt, Andrew R, Lawson, David DA, Eldridge, Paul R, Farah, Jibril O, Zakaria, Rasheed, Geraint, Sunderland, Solanki, Guirish, Rodrigues, Desiderio, Edwards, Richard, Williams, Adam, Garnett, Matthew, Kolias, Angelos, Hutchinson, Peter JA, Caldwell, Karen, Tarantino, Silvia, Leach, Paul, Zaben, Malik, Zilani, Gulam, Shastin, Dmitri, Merola, Joseph, Hussain, Rahim, Vemaraju, Ravindra, Selezneva, Liudmila, Radford, Georgina, Lloyd, Nadine, Crimmins, Darach, Caird, John, Sayar, Maria N, Thompson, Dominic, Aquilina, Kristian, James, Gregory, Strachan, Roger, Mukerji, Nitin, Thakur, Bhaskar, Dickson, Holly, Nsirim, Eniola, Goodden, John, Deniz, Kenan, Clarke, Janet, Kambafwile, Mary, Anderson, Ian, Chave-Cox, Rebecca, Sheik, Asim, Mathew, Ryan, Richards, Oliver, Mukherjee, Soumya, Chumas, Paul, Tyagi, Atul, Sikakumar, Gnanamurthy, Toma, Admed, D'Antona, Linda, Watkins, Laurence, Thorne, Lewis, Bassen, Vanessa, Holliman, Damien, Coulter, Ian, Macarthur, Donald, Howarth, Simon, Smith, Stuart, Javed, Shazia, Kamaly, Ian, Ramirez, Roberto, King, Andrew, Nadig, Ardash, Thorne, John, Ushewokunze, Shungu, Sinha, Saurabh, Zaki, Hesham, McMullan, John, Bulters, Diederik, Waters, Ryan, Zilidis, George, Roach, Joy, Sadek, Ahmed, Holton, Patrick, Zolnourian, Ardalan, Chakraborty, Aabir, Kandasamy, Jothy, Hughes, Mark, Brennan, Paul M

Volltext

Bat pluripotent stem cells reveal unusual entanglement between host and viruses von Déjosez, Marion, Marin, Arturo, Hughes, Graham M., Morales, Ariadna E., Godoy-Parejo, Carlos, Gray, Jonathan L., Qin, Yiren, Singh, Arun A., Xu, Hui, Juste, Javier, Ibáñez, Carlos, White, Kris M., Rosales, Romel, Francoeur, Nancy J., Sebra, Robert P., Alcock, Dominic, Volkert, Thomas L., Puechmaille, Sébastien J., Pastusiak, Andrzej, Frost, Simon D.W., Hiller, Michael, Young, Richard A., Teeling, Emma C., García-Sastre, Adolfo, Zwaka, Thomas P.

Volltext

Impact of climate change and development scenarios on flow patterns in the Okavango River von Andersson, Lotta, Wilk, Julie, Todd, Martin C., Hughes, Denis A., Earle, Anton, Kniveton, Dominic, Layberry, Russel, Savenije, Hubert H.G.

Volltext

Recurrent emergence of SARS-CoV-2 spike deletion H69/V70 and its role in the Alpha variant B.1.1.7 von Curran, Martin D., Roy, Sunando, Shaaban, Sharif, de Cesare, Mariateresa, Stark, Richard, Palmer, Steve, Jeffries, Aaron R., da Silva Filipe, Ana, Davis, Thomas, Collins, Jennifer, Williams, Thomas, Haldenby, Sam T., Cook, Kate, Davies, Robert, Kay, Sally, Poplawski, Radoslaw, Reynolds, Nicola, Moll, Robin J., Thornton, Alicia, Gatica-Wilcox, Bree, Louka, Stavroula F., Kraemer, Moritz U.G., Freeman, Timothy M., Abudahab, Khalil, Menegazzo, Mirko, Mason, Jenifer, Holmes, Alison, Curran, Tanya, Mookerjee, Siddharth, Munn, Robert, Davies, Alisha, Smith, Nikki, Cormie, Claire, Lo, Stephanie, Auckland, Cressida, Mollett, Guy, Harper, Katherine L., Bonner, Stephen, Padgett, Debra, Burton-Fanning, Shirelle, Bedford, Luke, Coupland, Lindsay, Wright, Victoria, Ball, Jonathan, Boswell, Tim, Duckworth, Nichola, Williams, Rebecca, Cogger, Benjamin J., Farr, Ben W., Thurston, Scott A.J., Bronner, Iraad F., Aigrain, Louise, Gallagher, Michael D., Miah, Shahjahan, Ramsay, Mary, Schaefer, Ulf, Manesis, Nikos, Allara, Elias, Nichols, Jenna, Vamos, Edith E., Hughes, Margaret, Wilson, Harry D., Wilson, Rebekah E., Thompson, Thomas, O’Brien, Sarah, Rudder, Steven, McCluggage, Kathryn, Bonfield, James, Liddle, Jennifier, Rowe, Will, Bevan, Paul, Clark, Richard, Cutts, Tim, Densem, Aiden, Dodd, David, Griffiths, Coline, Kay, Keely, Lensing, Stefanie, Lewis-Wade, Amanah, Mamun, Irfan, Martin, Matt, McClintock, Jo, Nathwani, Claire, Nicholson, Jon, Patel, Gaurang, Petersen, Arabella, Reynolds, Joe, Rudd, Luke, Sadri, Ramin, Sizer, Dale, Soria, Carmen Diaz, Sousa, Catarina, Squares, Janet, Stickland, Tim, Still, Ian, Symons, Edward, Uphill, James, Van, Philip Jansen, Voak, Paul, Corti, Davide

Volltext