المؤلفون: Simner, Ben, Armstrong, Alasdair, Bauereiss, Thomas, Campbell, Brian, Kammar, Ohad, Pichon-Pharabod, Jean, Sewell, and Peter

مصطلحات موضوعية: Computer Science - Hardware Architecture, Computer Science - Programming Languages

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

المؤلفون: Zaliva, Vadim, Memarian, Kayvan, Almeida, Ricardo, Clarke, Jessica, Davis, Brooks, Richardson, Alexander, Chisnall, David, Campbell, Brian, Stark, Ian, Watson, Robert NM, Sewell, Peter

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

Relation: https://www.repository.cam.ac.uk/handle/1810/362979; https://doi.org/10.17863/CAM.104859

الاتاحة: https://www.repository.cam.ac.uk/handle/1810/362979
https://doi.org/10.17863/CAM.104859

المؤلفون: Zhou, Can, Fekadu, Jerusalem, Hayes, Anna, Aure, Nathalie, Sivalinganathan, Masha, Bowen, Lucy, Campbell, Brian, Subbiah, Sheila, Page, Curtis, Bennett, Sophie, Rajani, Ronak, Demetrescu, Camelia

المصدر: Open Heart ; volume 11, issue 2, page e002865 ; ISSN 2053-3624

الاتاحة: https://doi.org/10.1136/openhrt-2024-002865
https://syndication.highwire.org/content/doi/10.1136/openhrt-2024-002865

المؤلفون: Campbell, Brian, Zhang, Gang, Salmans, Joshua, Elmaarouf, Abderrahman, Tam, Stephen, Porat, Amir, Skov, Michael, Dolan, Philip, Kinney, Gene, Zago, Wagner

المصدر: Neurology ; volume 102, issue 17_supplement_1 ; ISSN 0028-3878 1526-632X

الاتاحة: http://dx.doi.org/10.1212/wnl.0000000000205068

المؤلفون: Barbour, Robin, Tourino, Clara, Trumble, Alyssa, Louie, LeeAnn, Kinney, Gene, Zago, Wagner, Campbell, Brian

المصدر: Neurology ; volume 102, issue 17_supplement_1 ; ISSN 0028-3878 1526-632X

الاتاحة: http://dx.doi.org/10.1212/wnl.0000000000205138

المؤلفون: Amin, Reshma, Campbell, Brian, Green, Michael, Rajani, Ronak, Wright, Matthew, Whitaker, John

المصدر: HeartRhythm Case Reports ; ISSN 2214-0271

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

المؤلفون: Armstrong, Alasdair, Campbell, Brian, Simner, Ben, Pulte, Christopher, Sewell, Peter

المساهمون: UK Government Industrial Strategy Challenge Fund, Engineering and Physical Sciences Research Council, Defense Advanced Research Projects Agency, ARM Ltd, European Research Council

المصدر: Formal Methods in System Design ; ISSN 0925-9856 1572-8102

الاتاحة: http://dx.doi.org/10.1007/s10703-023-00409-y
https://link.springer.com/content/pdf/10.1007/s10703-023-00409-y.pdf
https://link.springer.com/article/10.1007/s10703-023-00409-y/fulltext.html

المؤلفون: Bauereiss, Thomas, Campbell, Brian, Sewell, Thomas, Armstrong, Alasdair, Esswood, Lawrence, Stark, Ian, Barnes, Graeme, Watson, Robert N. M., Sewell, Peter

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 174-203 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030993351 9783030993368

الاتاحة: http://dx.doi.org/10.1007/978-3-030-99336-8_7
https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_7

المؤلفون: Armstrong, Alasdair, Campbell, Brian, Simner, Ben, Pulte, Christopher, Sewell, Peter

المصدر: Formal Methods in System Design; Oct2024, Vol. 63 Issue 1-3, p110-133, 24p

مصطلحات موضوعية: INSTRUCTION set architecture, SOFTWARE verification, INTEGRATED circuit verification, COMPUTER software correctness, BINARY codes

المؤلفون: Schneider, Ray G., Campbell, Brian M.

المصدر: Encyclopedia of Sport Management ; page 1007-1008 ; ISBN 9781035317189 9781035317172 9781035317189

الاتاحة: http://dx.doi.org/10.4337/9781035317189.ch591
https://www.elgaronline.com/view/book/9781035317189/ch591.xml
https://www.elgaronline.com/view/book/9781035317189/9781035317189.xml

المؤلفون: Sammler, Michael, Hammond, Angus, Lepigre, Rodolphe, Campbell, Brian, Pichon-Pharabod, Jean, Dreyer, Derek, Garg, Deepak, Sewell, Peter

المساهمون: Jhala, Ranjit, Dillig, Isil

المصدر: Sammler , M , Hammond , A , Lepigre , R , Campbell , B , Pichon-Pharabod , J , Dreyer , D , Garg , D & Sewell , P 2022 , Islaris : verification of machine code against authoritative ISA semantics . in R Jhala & I Dillig (eds) , PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Association for Computing Machinery , New York , pp. 825-840 , 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022 , Virtual, Online , United ....

مصطلحات موضوعية: Arm, assembly, Coq, Iris, Isla, proof automation, RISC-V, Sail, separation logic, verification

Relation: urn:ISBN:9781450392655

الاتاحة: https://pure.au.dk/portal/en/publications/1aca4be1-5f4d-45e9-a4d6-0f559ed21400
https://doi.org/10.1145/3519939.3523434
http://www.scopus.com/inward/record.url?scp=85132291646&partnerID=8YFLogxK

المؤلفون: Staal, Roland GW, Gandhi, Adarsh, Zhou, Hua, Cajina, Manuel, Jacobsen, Anne-Marie, Hestehave, Sara, Hopper, Allen, Poda, Suresh, Chandresana, Gamini, Zorn, Stevin H, Campbell, Brian, Segerdahl, Marta, Mӧller, Thomas, Munro, Gordon

المصدر: Purinergic Signalling , 18 pp. 599-514. (2022)

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10154657/1/Kristensen_AF27139_TNBS_full%20manuscript_PurS140722.pdf; https://discovery.ucl.ac.uk/id/eprint/10154657/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10154657/1/Kristensen_AF27139_TNBS_full%20manuscript_PurS140722.pdf
https://discovery.ucl.ac.uk/id/eprint/10154657/

المؤلفون: Enterkine, Josh, Campbell, Brian A., Kohl, Holli, Glenn, Nancy F., Weaver, Kristen, Overoye, David, Danke, Deanna

المصدر: Geosciences Faculty Publications and Presentations

مصطلحات موضوعية: citizen science, ICESat-2, NASA GLOBE Observer, tree height, The GLOBE Program, carbon storage, Earth Sciences, Geophysics and Seismology

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

Relation: https://scholarworks.boisestate.edu/geo_facpubs/702; https://scholarworks.boisestate.edu/context/geo_facpubs/article/1706/viewcontent/Glenn__Nancy__2022__The_potential_of_citizen_science_data___PUB.pdf

الاتاحة: https://scholarworks.boisestate.edu/geo_facpubs/702
https://scholarworks.boisestate.edu/context/geo_facpubs/article/1706/viewcontent/Glenn__Nancy__2022__The_potential_of_citizen_science_data___PUB.pdf

المؤلفون: Ferns, Bertie, Campbell, Brian, Veríssimo, Diogo

المساهمون: University of Kent

المصدر: Conservation Science and Practice ; volume 4, issue 4 ; ISSN 2578-4854 2578-4854

الاتاحة: http://dx.doi.org/10.1111/csp2.12655
https://onlinelibrary.wiley.com/doi/pdf/10.1111/csp2.12655
https://onlinelibrary.wiley.com/doi/full-xml/10.1111/csp2.12655

المؤلفون: Balan, Irina, Aurelian, Laure, Williams, Kimberly S., Campbell, Brian, Meeker, Rick B., Morrow, A. Leslie

المساهمون: National Institute on Alcohol Abuse and Alcoholism, National Institute of Neurological Disorders and Stroke, Sage Therapeutics

المصدر: Frontiers in Immunology ; volume 13 ; ISSN 1664-3224

الاتاحة: http://dx.doi.org/10.3389/fimmu.2022.940095
https://www.frontiersin.org/articles/10.3389/fimmu.2022.940095/full

المؤلفون: Armstrong, Alasdair, Campbell, Brian, Simner, Ben, Pulte, Christopher, Sewell, Peter

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 303-316 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030816841 9783030816858

الاتاحة: http://dx.doi.org/10.1007/978-3-030-81685-8_14
https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_14

المؤلفون: Campbell, Brian

المصدر: Anthropological Quarterly, 2019 Jan 01. 92(1), 143-172.

URL الوصول: https://www.jstor.org/stable/48730491

المؤلفون: Ismael, Amber, Campbell, Brian, Chremos, Ioannis Vasileios, Fuhrmann, Cynthia N, Nordell, Shawn

الاتاحة: https://dx.doi.org/10.13028/9rww-s407
https://repository.escholarship.umassmed.edu/handle/20.500.14038/53514

المؤلفون: Shurtleff, Valerie W., Layton, Mark E., Parish, Craig A., Perkins, James J., Schreier, John D., Wang, Yunyi, Adam, Gregory C., Alvarez, Nadine, Bahmanjah, Soheila, Bahnck-Teets, Carolyn M., Boyce, Christopher W., Burlein, Christine, Cabalu, Tamara D., Campbell, Brian T., Carroll, Steven S., Chang, Wonsuk, de Lera Ruiz, Manuel, Dolgov, Enriko, Fay, John F., Fox, Nicholas G., Goh, Shih Lin, Hartingh, Timothy J., Hurzy, Danielle M., Kelly, Michael J., Klein, Daniel J., Klingler, Franca-Maria, Krishnamurthy, Harini, Kudalkar, Shalley, Mayhood, Todd W., McKenna, Philip M., Murray, Edward M., Nahas, Debbie, Nawrat, Christopher C., Park, Steven, Qian, Dongming, Roecker, Anthony J., Sharma, Vijeta, Shipe, William D., Su, Jing, Taggart, Robert V., Truong, Quang, Wu, Yin, Zhou, Xiaoyan, Zhuang, Ningning, Perlin, David S., Olsen, David B., Howe, John A., McCauley, John A.

المساهمون: National Institute of Allergy and Infectious Diseases, Metropolitan AntiViral Drug Accelerator

المصدر: Journal of Medicinal Chemistry ; volume 67, issue 5, page 3935-3958 ; ISSN 0022-2623 1520-4804

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

المؤلفون: Campbell, Brian

المصدر: War and Society in the Roman World ; page 213-240 ; ISBN 9781003071341

الاتاحة: http://dx.doi.org/10.1201/9781003071341-10