المؤلفون: Hill, Alasdair, Komendantskaya, Ekaterina, Daggitt, Matthew L., Petrick, Ronald P. A.

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Programming Languages, 68Q60, 03B38, 68T27, 03B70, D.3, F.3, F.4, I.2

URL الوصول: http://arxiv.org/abs/2105.11267

المؤلفون: Knispel, Andre, Melkonian, Orestis, Chapman, James, Hill, Alasdair, Jääger, Joosep, DeMeo, William, Norell, Ulf

المساهمون: Andre Knispel and Orestis Melkonian and James Chapman and Alasdair Hill and Joosep Jääger and William DeMeo and Ulf Norell

مصطلحات موضوعية: blockchain, distributed ledgers, UTxO, Cardano, formal verification, Agda

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.2

الاتاحة: https://doi.org/10.4230/OASIcs.FMBC.2024.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-198673
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.2

المؤلفون: Hill, Alasdair, Komendantskaya, Ekaterina, Petrick, Ronald P. A.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages, 68Q60, 03B38, 68T27, 03B70, F.0, D.3, F.3, F.4, I.2

URL الوصول: http://arxiv.org/abs/2008.04165

المؤلفون: Andre Knispel and Orestis Melkonian and James Chapman and Alasdair Hill and Joosep Jääger and William DeMeo and Ulf Norell, Knispel, Andre, Melkonian, Orestis, Chapman, James, Hill, Alasdair, Jääger, Joosep, DeMeo, William, Norell, Ulf

مصطلحات الفهرس: blockchain, distributed ledgers, UTxO, Cardano, formal verification, Agda, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.2
Is Part Of OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)

المؤلفون: Knispel, Andre, Melkonian, Orestis, Chapman, James, Hill, Alasdair, Jääger, Joosep, DeMeo, William, Norell, Ulf

المساهمون: Andre Knispel and Orestis Melkonian and James Chapman and Alasdair Hill and Joosep Jääger and William DeMeo and Ulf Norell

مصطلحات موضوعية: agda, cardano-node, formal-methods

Relation: https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22485

الاتاحة: https://doi.org/10.4230/artifacts.22485
https://nbn-resolving.org/urn:nbn:de:0030-drops-224854
https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22485

المؤلفون: Biagini, Giancarlo A, Hill, Alasdair, Mbekeani, Alison, Shone, Alison, Nixon, Gemma, Stocks, Paul, Gibbons, Peter, Amewu, Richard, Hong, David W, Barton, Victoria, Pidathala, Chandra, Chadwick, James, Le Pensee, Louise, Warman, Ashley, Sharma, Raman, Fisher, Nick, Berry, Neil G, O'Neill, Paul M, Ward, Steve A

Relation: http://www.malariajournal.com/content/9/S2/O4

الاتاحة: http://www.malariajournal.com/content/9/S2/O4

المؤلفون: Pidathala, Chandrakala, Amewu, Richard, Pacorel, Bénédicte, Nixon, Gemma L., Gibbons, Peter, Hong, W. David, Leung, Suet C., Berry, Neil G., Sharma, Raman, Stocks, Paul A., Srivastava, Abhishek, Shone, Alison E., Charoensutthivarakul, Sitthivut, Taylor, Lee, Berger, Olivier, Mbekeani, Alison, Hill, Alasdair, Fisher, Nicholas E., Warman, Ashley J., Biagini, Giancarlo A., Ward, Stephen A., O’Neill, Paul M.

المصدر: Journal of Medicinal Chemistry ; volume 55, issue 5, page 1831-1843 ; ISSN 0022-2623 1520-4804

الاتاحة: http://dx.doi.org/10.1021/jm201179h
https://pubs.acs.org/doi/pdf/10.1021/jm201179h

المؤلفون: Sharma, Raman, Lawrenson, Alexandre S., Fisher, Nicholas E., Warman, Ashley J., Shone, Alison E., Hill, Alasdair, Mbekeani, Alison, Pidathala, Chandrakala, Amewu, Richard K., Leung, Suet, Gibbons, Peter, Hong, David W., Stocks, Paul, Nixon, Gemma L., Chadwick, James, Shearer, Joanne, Gowers, Ian, Cronk, David, Parel, Serge P., O'Neill, Paul M., Ward, Stephen A., Biagini, Giancarlo A., Berry, Neil G.

المصدر: Journal of Medicinal Chemistry ; volume 55, issue 7, page 3144-3154 ; ISSN 0022-2623 1520-4804

الاتاحة: http://dx.doi.org/10.1021/jm3001482
https://pubs.acs.org/doi/pdf/10.1021/jm3001482

المؤلفون: Leung, Suet C., Gibbons, Peter, Amewu, Richard, Nixon, Gemma L., Pidathala, Chandrakala, Hong, W. David, Pacorel, Bénédicte, Berry, Neil G., Sharma, Raman, Stocks, Paul A., Srivastava, Abhishek, Shone, Alison E., Charoensutthivarakul, Sitthivut, Taylor, Lee, Berger, Olivier, Mbekeani, Alison, Hill, Alasdair, Fisher, Nicholas E., Warman, Ashley J., Biagini, Giancarlo A., Ward, Stephen A., O’Neill, Paul M.

المصدر: Journal of Medicinal Chemistry ; volume 55, issue 5, page 1844-1857 ; ISSN 0022-2623 1520-4804

الاتاحة: http://dx.doi.org/10.1021/jm201184h
https://pubs.acs.org/doi/pdf/10.1021/jm201184h

المؤلفون: Sharma Raman, Warman Ashley, Le Pensee Louise, Chadwick James, Pidathala Chandra, Barton Victoria, Hong David W, Amewu Richard, Gibbons Peter, Stocks Paul, Nixon Gemma, Shone Alison, Mbekeani Alison, Hill Alasdair, Fisher Nicholas, Ward Steve A, Berry Neil G, O'Neill Paul M, Biagini Giancarlo A

المصدر: Malaria Journal, Vol 9, Iss Suppl 2, p I14 (2010)

مصطلحات موضوعية: Arctic medicine. Tropical medicine, RC955-962, Infectious and parasitic diseases, RC109-216

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1475-2875

URL الوصول: https://doaj.org/article/ffbf607ec6bb433aad72d3e7127b5671

المؤلفون: Ward, Steve A, Fisher, Nicholas, Hill, Alasdair, Mbekeani, Alison, Shone, Alison, Nixon, Gemma, Stocks, Paul, Gibbons, Peter, Amewu, Richard, Hong, David W, Barton, Victoria, Pidathala, Chandra, Chadwick, James, Le Pensee, Louise, Warman, Ashley, Sharma, Raman, Berry, Neil G, O'Neill, Paul M, Biagini, Giancarlo A

المصدر: Malaria Journal ; volume 9, issue S2 ; ISSN 1475-2875

الاتاحة: http://dx.doi.org/10.1186/1475-2875-9-s2-i14
http://link.springer.com/content/pdf/10.1186/1475-2875-9-S2-I14.pdf
http://link.springer.com/article/10.1186/1475-2875-9-S2-I14/fulltext.html

المؤلفون: Fisher, Nicholas, Hill, Alasdair, Mbekeani, Alison, Shone, Alison, Nixon, Gemma, Stocks, Paul, Gibbons, Peter, Amewu, Richard, Hong, W. David, Barton, Victoria, Pidathala, Chandra, Chadwick, James, Le Pensee, Louise, Warman, Ashley, Sharma, Raman, Berry, Neil G., O'Neill, Paul M., Ward, Steve A., Biagini, Giancarlo A.

المصدر: Biochimica et Biophysica Acta (BBA) - Bioenergetics ; volume 1797, page 80 ; ISSN 0005-2728

الاتاحة: http://dx.doi.org/10.1016/j.bbabio.2010.04.241
https://api.elsevier.com/content/article/PII:S0005272810003749?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0005272810003749?httpAccept=text/plain

المؤلفون: Schwaab, Christopher, Komendantskaya, Ekaterina, Hill, Alasdair, Farka, František, Petrick, Ronald P. A., Wells, Joe, Hammond, Kevin

المصدر: Practical Aspects of Declarative Languages ; Lecture Notes in Computer Science ; page 204-220 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030059972 9783030059989

الاتاحة: http://dx.doi.org/10.1007/978-3-030-05998-9_13
http://link.springer.com/content/pdf/10.1007/978-3-030-05998-9_13

المؤلفون: Hill, Alasdair

المساهمون: Komendantskaya, Ekaterina, Petrick, Ron

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10399/4843

الاتاحة: http://hdl.handle.net/10399/4843

المؤلفون: Biagini, Giancarlo, Fisher, Nicholas, Shone, Alison, Mubaraki, Murad A., Srivastava, Abhishek, Hill, Alasdair, Antoine, Thomas, Warman, Ashley, Davies, Jill, Pidathala, Chandrakala, Amewu, Richard K, Leung, Suet C, Sharma, Raman, Gibbons, Peter, Hong, David W, Pacorel, Bénédicte, Lawrenson, Alexandre S, Charoensutthivarakul, Sitthivut, Taylor, Lee, Berger, Olivier, Mbekeani, Alison, Stocks, Paul A., Nixon, Gemma, Chadwick, James, Hemingway, Janet, Delves, Michael J, Sinden, Robert E, Zeeman, Anne-Marie, Kocken, Clemens H M, Berry, Neil G, O'Neill, Paul M, Ward, Stephen

المصدر: Proceedings of the National Academy of Sciences of the United States of America, Vol 109, Issue 21, pp. 8298-303.

مصطلحات موضوعية: QV 256 Antimalarials, QX 135 Plasmodia, WC 750 Malaria, WC 765 Prevention and control, WC 770 Therapy

Relation: Biagini, Giancarlo orcid:0000-0001-6356-6595 , Fisher, Nicholas, Shone, Alison, Mubaraki, Murad A., Srivastava, Abhishek, Hill, Alasdair, Antoine, Thomas, Warman, Ashley, Davies, Jill, Pidathala, Chandrakala, Amewu, Richard K, Leung, Suet C, Sharma, Raman, Gibbons, Peter, Hong, David W, Pacorel, Bénédicte, Lawrenson, Alexandre S, Charoensutthivarakul, Sitthivut, Taylor, Lee, Berger, Olivier, Mbekeani, Alison, Stocks, Paul A., Nixon, Gemma, Chadwick, James, Hemingway, Janet orcid:0000-0002-3200-7173 , Delves, Michael J, Sinden, Robert E, Zeeman, Anne-Marie, Kocken, Clemens H M, Berry, Neil G, O'Neill, Paul M and Ward, Stephen orcid:0000-0003-2331-3192 (2012) 'Generation of quinolone antimalarials targeting the Plasmodium falciparum mitochondrial respiratory chain for the treatment and prophylaxis of malaria.'. Proceedings of the National Academy of Sciences of the United States of America, Vol 109, Issue 21, pp. 8298-303.

الاتاحة: https://archive.lstmed.ac.uk/3049/
http://www.pnas.org/content/109/21/8298

المؤلفون: Hill, Alasdair

المصدر: The Lancet Infectious Diseases ; volume 12, issue 1, page 18 ; ISSN 1473-3099

الاتاحة: http://dx.doi.org/10.1016/s1473-3099(11)70365-6
https://api.elsevier.com/content/article/PII:S1473309911703656?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1473309911703656?httpAccept=text/plain

المؤلفون: Barton, Victoria, Ward, Stephen, Chadwick, James, Hill, Alasdair, O'Neill, Paul M

المصدر: Journal of medicinal chemistry, Vol 53, Issue 11, pp. 4555-4559.

مصطلحات موضوعية: QU 58.5 DNA, QV 256 Antimalarials, QV 34 Experimental pharmacology (General)

Relation: Barton, Victoria, Ward, Stephen orcid:0000-0003-2331-3192 , Chadwick, James, Hill, Alasdair and O'Neill, Paul M (2010) 'Rationale design of biotinylated antimalarial endoperoxide carbon centered radical prodrugs for applications in proteomics.'. Journal of medicinal chemistry, Vol 53, Issue 11, pp. 4555-4559.

الاتاحة: https://archive.lstmed.ac.uk/1016/
http://pubs.acs.org/doi/abs/10.1021/jm100201j

المؤلفون: Pidathala, Chandrakala, Amewu, Richard, Pacorel, Bénédicte, Nixon, Gemma L., Gibbons, Peter, Hong, W. David, Leung, Suet C., Berry, Neil G., Sharma, Raman, Stocks, Paul A., Srivastava, Abhishek, Shone, Alison E., Charoensutthivarakul, Sitthivut, Taylor, Lee, Berger, Olivier, Mbekeani, Alison, Hill, Alasdair, Fisher, Nicholas E., Warman, Ashley J., Biagini, Giancarlo A.

المصدر: Journal of Medicinal Chemistry; Mar2012, Vol. 55 Issue 5, p1831-1843, 13p

المؤلفون: Leung, Suet C., Gibbons, Peter, Amewu, Richard, Nixon, Gemma L., Pidathala, Chandrakala, Hong, W. David, Pacorel, Bénédicte, Berry, Neil G., Sharma, Raman, Stocks, Paul A., Srivastava, Abhishek, Shone, Alison E., Charoensutthivarakul, Sitthivut, Taylor, Lee, Berger, Olivier, Mbekeani, Alison, Hill, Alasdair, Fisher, Nicholas E., Warman, Ashley J., Biagini, Giancarlo A.

المصدر: Journal of Medicinal Chemistry; Mar2012, Vol. 55 Issue 5, p1844-1857, 14p

المؤلفون: Biagini, Giancarlo A.¹, Hill, Alasdair¹, Mbekeani, Alison¹, Shone, Alison¹, Nixon, Gemma¹, Stocks, Paul¹, Gibbons, Peter², Amewu, Richard², Hong, David W.², Barton, Victoria², Pidathala, Chandra², Chadwick, James², Le Pensee, Louise², Warman, Ashley¹, Sharma, Raman², Fisher, Nick¹, Berry, Neil G.², O'Neill, Paul M.², Ward, Steve A.¹

المصدر: Malaria Journal. 2010 Supplement 2, Vol. 9, p1-1. 1p.

مصطلحات موضوعية: *MALARIA, *TARGETED drug delivery