Search Results - "Rawson, Michael" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Comparing Sustainable Forest Management Certifications Standards: A Meta-analysis

Comparing Sustainable Forest Management Certifications Standards: A Meta-analysis

by Clark, Michael Rawson, Kozar, Joelyn Sarrah
Published in Ecology and society (01.01.2011)

Get full text

Journal Article

Direct analysis of surface chemicals using vibrating sharp‐edge spray ionization mass spectrometry

Direct analysis of surface chemicals using vibrating sharp‐edge spray ionization mass spectrometry

by Ranganathan, Nandhini, Lozier, Austin M., Rawson, Michael C., Johnson, Matthew B., Li, Peng
Published in Rapid communications in mass spectrometry (30.10.2020)

Get full text

Journal Article

Motion Correction for Brain MRI Using Deep Learning and a Novel Hybrid Loss Function

Motion Correction for Brain MRI Using Deep Learning and a Novel Hybrid Loss Function

by Zhang, Lei, Wang, Xiaoke, Rawson, Michael, Balan, Radu, Herskovits, Edward H, Melhem, Elias R, Chang, Linda, Wang, Ze, Ernst, Thomas
Published in Algorithms (01.05.2024)

Get full text

Journal Article

Eden on the Charles: The Making of Boston

Eden on the Charles: The Making of Boston

by Rawson, Michael
Year of Publication 01.02.2011

Get full text

eBook

Petri Nets for Concurrent Programming

Petri Nets for Concurrent Programming

by Rawson, Marshall, Rawson, Michael G.
Published in 2022 IEEE/ACM Fifth Annual Workshop on Emerging Parallel and Distributed Runtime Systems and Middleware (IPDRM) (01.11.2022)

Get full text

Conference Proceeding

The City-State of Boston: The Rise and Fall of an Atlantic Power, 1630–1865 . By Mark Peterson (Princeton, Princeton University Press, 2019) 784 pp. $39.95

The City-State of Boston: The Rise and Fall of an Atlantic Power, 1630–1865 . By Mark Peterson (Princeton, Princeton University Press, 2019) 784 pp. $39.95

by Rawson, Michael
Published in The Journal of interdisciplinary history (01.06.2020)

Get full text

Journal Article

The City-State of Boston: The Rise and Fall of an Atlantic Power, 1630–1865 by Mark Peterson (review)

The City-State of Boston: The Rise and Fall of an Atlantic Power, 1630–1865 by Mark Peterson (review)

by Rawson, Michael
Published in The Journal of interdisciplinary history (2020)

Get full text

Journal Article

lazyCoP: Lazy Paramodulation Meets Neurally Guided Search

lazyCoP: Lazy Paramodulation Meets Neurally Guided Search

by Rawson, Michael, Reger, Giles
Published in Automated Reasoning with Analytic Tableaux and Related Methods

Get full text

Book Chapter

Top-K Ranking Deep Contextual Bandits for Information Selection Systems

Top-K Ranking Deep Contextual Bandits for Information Selection Systems

by Freeman, Jade, Rawson, Michael
Published in 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (17.10.2021)

Get full text

Conference Proceeding

Eliminating Models During Model Elimination

Eliminating Models During Model Elimination

by Rawson, Michael, Reger, Giles
Published in Automated Reasoning with Analytic Tableaux and Related Methods

Get full text

Book Chapter

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model

by Jeanteur, Simon, Kovacs, Laura, Maffei, Matteo, Rawson, Michael
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)

Get full text

Conference Proceeding

Applications of machine learning to automated reasoning

Applications of machine learning to automated reasoning

by Rawson, Michael
Year of Publication 2021

Get full text

Dissertation

Applications of Machine Learning to Automated Reasoning

Applications of Machine Learning to Automated Reasoning

by Rawson, Michael
Year of Publication 01.01.2021

Get full text

Dissertation

A Neurally-Guided, Parallel Theorem Prover

A Neurally-Guided, Parallel Theorem Prover

by Rawson, Michael, Reger, Giles
Published in Frontiers of Combining Systems

Get full text

Book Chapter

A Horse Is a Horse, of Course, but Also Much More: Recovering the Animal Contribution to the Urbanization and Industrialization of America

A Horse Is a Horse, of Course, but Also Much More: Recovering the Animal Contribution to the Urbanization and Industrialization of America

by Rawson, Michael
Published in Journal of Urban History (01.07.2011)

Get full text

Book Review Journal Article

Review: Cities and Nature in the American West , by Char Miller

Review: Cities and Nature in the American West , by Char Miller

by Rawson, Michael
Published in Pacific historical review (01.02.2012)

Get full text

Journal Article

EPILOGUE: The City Complete

EPILOGUE: The City Complete

by Rawson, Michael
Published in Eden on the Charles (01.02.2011)

Get full text

Book Chapter

Recreating the Wilderness

Recreating the Wilderness

by Rawson, Michael
Published in Eden on the Charles (01.02.2011)

Get full text

Book Chapter

Inventing the Suburbs

Inventing the Suburbs

by Rawson, Michael
Published in Eden on the Charles (01.02.2011)

Get full text

Book Chapter

Enclosing the Common

Enclosing the Common

by Rawson, Michael
Published in Eden on the Charles (01.02.2011)

Get full text

Book Chapter

1
2
3
4
5
6
7
8
9
10
11
Next
[11]