- Lore Thaler, Galen M. Reich, Xinyu Zhang, Dinghe Wang, Graeme E. Smith, Tao Zeng, Raja Syamsul Azmir Raja Abdullah, Mikhail Cherniakov, Christopher J. Baker, Daniel Kish, Michail Antoniou:
Mouth-clicks used by blind expert human echolocators - signal description and model based signal synthesis. PLoS Comput. Biol. 13(8) (2017) - Joseph Landon Garry, Chris J. Baker, Graeme E. Smith:
Evaluation of Direct Signal Suppression for Passive Radar. IEEE Trans. Geosci. Remote. Sens. 55(7): 3786-3799 (2017) - Ingo Walterscheid, Graeme E. Smith:
Respiration and heartbeat monitoring using a distributed pulsed MIMO radar. EMBC 2017: 3449-3452 - John Derrick, Graeme Smith:
An Observational Approach to Defining Linearizability on Weak Memory Models. FORTE 2017: 108-123 - Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan:
Improving the Scalability of Automatic Linearizability Checking in SPIN. ICFEM 2017: 105-121 - Felix Leditzky, Nilanjana Datta, Graeme Smith:
Degradable states and one-way entanglement distillation. ISIT 2017: 1559-1562 - Felix Leditzky, Debbie W. Leung, Graeme Smith:
Quantum and private capacities of low-noise channels. ITW 2017: 484-488 - John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol:
A Proof Method for Linearizability on TSO Architectures. Provably Correct Systems 2017: 61-91 - 2016
- Adelaide de Vecchi, Alberto Gómez, Kuberan Pushparajah, Tobias Schaeffter, John M. Simpson, Reza Razavi, Graeme P. Penney, Nicolas P. Smith, David A. Nordsletten:
A novel methodology for personalized simulations of ventricular hemodynamics from noninvasive imaging data. Comput. Medical Imaging Graph. 51: 20-31 (2016) - Qin Li, Graeme Smith:
Formal development of multi-agent systems using MAZE. Sci. Comput. Program. 131: 126-150 (2016) - Robert König, Graeme Smith:
Corrections to "The Entropy Power Inequality for Quantum Systems". IEEE Trans. Inf. Theory 62(7): 4358-4359 (2016) - Graeme Smith, John Derrick:
Invariant generation for linearizability proofs. SAC 2016: 1694-1699 - Graeme Smith:
Model Checking Simulation Rules for Linearizability. SEFM 2016: 188-203 - Khawla A. Alnajjar, Peter J. Smith, Graeme K. Woodward, Dushyantha A. Basnayaka:
Design and analysis of a reduced complexity MRC V-BLAST receiver for massive MIMO. SPAWC 2016: 1-5 - Andrew W. Cross, Ke Li, Graeme Smith:
Uniform Additivity in Classical and Quantum Information. CoRR abs/1601.05434 (2016) - 2015
- Kristine L. Bell, Christopher J. Baker, Graeme E. Smith, Joel T. Johnson, Muralidhar Rangaswamy:
Cognitive Radar Framework for Target Detection and Tracking. IEEE J. Sel. Top. Signal Process. 9(8): 1427-1439 (2015) - Markus Grassl, Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng:
New Constructions of Codes for Asymmetric Channels via Concatenation. IEEE Trans. Inf. Theory 61(4): 1879-1886 (2015) - Alberto Gómez, Adelaide de Vecchi, Martin Jantsch, Wenzhe Shi, Kuberan Pushparajah, John M. Simpson, Nicolas P. Smith, Daniel Rueckert, Tobias Schaeffter, Graeme P. Penney:
4D Blood Flow Reconstruction Over the Entire Ventricle From Wall Motion and Blood Velocity Derived From Ultrasound Data. IEEE Trans. Medical Imaging 34(11): 2298-2308 (2015) - Khawla A. Alnajjar, Peter J. Smith, Philip Whiting, Graeme K. Woodward:
Size and Array Shape for Massive MIMO. IEEE Wirel. Commun. Lett. 4(6): 653-656 (2015) - Graeme Smith, Jeff W. Sanders, Qin Li:
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. ACSC 2015: 73-81 - Muralidhar Rangaswamy, Aaron M. Jones, Graeme E. Smith:
Recent trends and findings in cognitive radar. CAMSAP 2015: 1-4 - Graeme E. Smith, Zach Cammenga, Adam E. Mitchell, Kristine L. Bell, Murali Rangaswamy, Joel T. Johnson, Christopher J. Baker:
Experiments with cognitive radar. CAMSAP 2015: 293-296 - Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith:
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP 2015: 470-494 - Kristine L. Bell, Joel T. Johnson, Christopher Baker, Graeme E. Smith, Muralidhar Rangaswamy:
Bistatic coherent MIMO clutter rank analysis. EUSIPCO 2015: 519-523 - John Derrick, Graeme Smith:
A Framework for Correctness Criteria on Weak Memory Models. FM 2015: 178-194 - 2014
- Sebastian Köhler, Sandra C. Doelken, Christopher J. Mungall, Sebastian Bauer, Helen V. Firth, Isabelle Bailleul-Forestier, Graeme C. M. Black, Danielle L. Brown, Michael Brudno, Jennifer Campbell, David R. FitzPatrick, Janan T. Eppig, Andrew P. Jackson, Kathleen Freson, Marta Gîrdea, Ingo Helbig, Jane A. Hurst, Johanna Jähn, Laird G. Jackson, Anne M. Kelly, David H. Ledbetter, Sahar Mansour, Christa L. Martin, Celia Moss, Andrew D. Mumford, Willem H. Ouwehand, Soo-Mi Park, Erin Rooney Riggs, Richard H. Scott, Sanjay Sisodiya, Steven Van Vooren, Ronald J. Wapner, Andrew O. M. Wilkie, Caroline F. Wright, Anneke T. Vulto-van Silfhout, Nicole de Leeuw, Bert B. A. de Vries, Nicole L. Washington, Cynthia L. Smith, Monte Westerfield, Paul N. Schofield, Barbara J. Ruef, Georgios V. Gkoutos, Melissa A. Haendel, Damian Smedley, Suzanna E. Lewis, Peter N. Robinson:
The Human Phenotype Ontology project: linking molecular biology and disease through phenotype data. Nucleic Acids Res. 42(Database-Issue): 966-974 (2014) - Chris J. Baker, Graeme E. Smith, Alessio Balleri, Marc Holderied, Hugh D. Griffiths:
Biomimetic Echolocation With Application to Radar and Sonar Sensing. Proc. IEEE 102(4): 447-458 (2014) - Chris J. Baker, Graeme E. Smith, Alessio Balleri, Marc Holderied, Hugh D. Griffiths:
Sensing, Cognition, and Engineering Application [Further Thoughts]. Proc. IEEE 102(4): 459 (2014)