- Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey, Gavin Gray:
BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget. ICLR 2020 - Piotr Roztocki, Mario Chemnitz, Benjamin MacLellan
, Stefania Sciara, Christian Reimer, Mehedi Islam, Luis Romero Cortés, Yanbing Zhang, Bennet Fisher, Sebastien Loranger, Raman Kashyap, Alfonso Cino, Sai T. Chu, Brent E. Little, David J. Moss, Lucia Caspani, William J. Munro, José Azaña, Michael Kues, Roberto Morandotti:
Designing Time and Frequency Entanglement for Generation of High-Dimensional Photon Cluster States. ICTON 2020: 1-4 - Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP 2020: 244-259 - Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR abs/2003.05311 (2020) - 2019
- Shelby N. Ortiz, Lauren N. Forrest, Thomas J. Fisher, Michael Hughes, April R. Smith:
Changes in Internet Suicide Search Volumes Following Celebrity Suicides. Cyberpsychology Behav. Soc. Netw. 22(6): 373-380 (2019) - Michael P. Snyder, Shin Lin, Amanda Posgai, Mark Atkinson, Aviv Regev, Jennifer Rood, Orit Rozenblatt-Rosen, Leslie Gaffney, Anna Hupalowska, Rahul Satija, Nils Gehlenborg, Jay Shendure, Julia Laskin, Pehr Harbury, Nicholas A. Nystrom, Jonathan C. Silverstein, Ziv Bar-Joseph, Kun Zhang, Katy Börner, Yiing Lin, Richard Conroy, Dena Procaccini, Ananda L. Roy, Ajay Pillai, Marishka Brown, Zorina S. Galis, Long Cai, Cole Trapnell, Dana Jackson, Garry P. Nolan, William James Greenleaf, Sylvia K. Plevritis, Sara Ahadi, Stephanie A. Nevins, Hayan Lee, Christian Martijn Schuerch, Sarah Black, Vishal Gautham Venkataraaman, Ed Esplin, Aaron Horning, Amir Bahmani, Xin Sun, Sanjay Jain, James S. Hagood, Gloria Pryhuber, Peter V. Kharchenko, Bernd Bodenmiller, Todd Brusko, Michael Clare-Salzler, Harry Nick, Kevin Otto, Clive Wasserfall, Marda Jorgensen, Maigan Brusko, Sergio Maffioletti, Richard M. Caprioli, Jeffrey M. Spraggins, Danielle Gutierrez, Nathan Heath Patterson, Elizabeth K. Neumann, Raymond Harris, Mark P. de Caestecker, Agnes B. Fogo, Raf Van de Plas, Ken Lau, Guo-Cheng Yuan, Qian Zhu, Ruben Dries, Peng Yin, Sinem K. Saka, Jocelyn Y. Kishi, Yu Wang, Isabel Goldaracena, Dong Hye Ye, Kristin E. Burnum-Johnson, Paul D. Piehowski, Charles Ansong, Ying Zhu, Tushar Desai, Jay Mulye, Peter Chou, Monica Nagendran, Sarah A. Teichmann, Benedict Paten, Robert F. Murphy, Jian Ma, Vladimir Yu. Kiselev, Carl Kingsford, Allyson Ricarte, Maria Keays, Sushma Anand Akoju, Matthew Ruffalo, Margaret Vella, Chuck McCallum, Leonard E. Cross, Samuel H. Friedman, Randy W. Heiland, Bruce William Herr II, Paul Macklin, Ellen M. Quardokus, Lisel Record, James P. Sluka, Griffin M. Weber, Philip D. Blood, Alexander Ropelewski, William Shirey, Robin M. Scibek, Paula M. Mabee, W. Christopher Lenhardt, Kimberly Robasky, Stavros Michailidis, John C. Marioni, Andrew Butler, Tim Stuart, Eyal Fisher, Shila Ghazanfar, Gökcen Eraslan, Tommaso Biancalani, Eeshit D. Vaishnav, Pothur Srinivas, Aaron Pawlyk, Salvatore Sechi, Elizabeth L. Wilder, James Anderson:
The human body at cellular resolution: the NIH Human Biomolecular Atlas Program. Nat. 574(7777): 187-192 (2019) - Roberto M. Dyke, C. Stride, Yu-Kun Lai, Paul L. Rosin, Mathieu Aubry, Amit Boyarski, Alexander M. Bronstein, Michael M. Bronstein, Daniel Cremers, Matthew Fisher, Thibault Groueix, Daoliang Guo, Vladimir G. Kim, Ron Kimmel, Zorah Lähner, Kun Li, Or Litany, Tal Remez, Emanuele Rodolà, Bryan C. Russell, Yusuf Sahillioglu, Ron Slossberg, Gary K. L. Tam, Matthias Vestner, Z. Wu, Jingyu Yang:
Shape Correspondence with Isometric and Non-Isometric Deformations. 3DOR@Eurographics 2019: 111-119 - Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks:
The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. EMAS@AAMAS 2019: 152-172 - Piotr Roztocki, Christian Reimer, Stefania Sciara, Mehedi Islam, Luis Romero Cortés, Yanbing Zhang, Bennet Fisher, Sebastien Loranger, Raman Kashyap, Alfonso Cino, Sai T. Chu, Brent E. Little, David J. Moss, Lucia Caspani, William J. Munro, José Azaña, Michael Kues, Roberto Morandotti:
Kerr Combs and Telecommunications Components for the Generation and High-Dimensional Quantum Processing of d-Level Cluster States. ICTON 2019: 1-3 - Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM 2019: 105-124 - Jack Turner, Elliot J. Crowley, Gavin Gray, Amos J. Storkey, Michael F. P. O'Boyle:
BlockSwap: Fisher-guided Block Substitution for Network Compression. CoRR abs/1906.04113 (2019) - Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR abs/1909.03019 (2019) - 2018
- Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann:
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Comput. 7(4): 62 (2018) - Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - Jonathan M. Aitken, Sandor M. Veres, Affan Shaukat, Yang Gao, Elisa Cucco, Louise A. Dennis, Michael Fisher, Jeffrey A. Kuo, Thomas Robinson, Paul E. Mort:
Autonomous Nuclear Waste Management. IEEE Intell. Syst. 33(6): 47-55 (2018) - Michael Fisher, Richard J. Nowakowski, Carlos Pereira dos Santos:
Sterling stirling play. Int. J. Game Theory 47(2): 557-576 (2018) - Louise A. Dennis, Michael Fisher, Matt Webster:
Two-stage agent program verification. J. Log. Comput. 28(3): 499-523 (2018) - Edward M. D. Fisher, Stylianos-Alexios Tsekenis, Yunjie Yang, Andrea Chighine, Nicholas Polydorides, Hugh McCann, Paul Wright, Krikor B. Ozanyan, David Wilson, Michael Lengden, Walter Johnstone:
An embedded processing design for 192-channel 10-40 MS/s aero-engine optical tomography: Progress and continued DAQ characterisation. I2MTC 2018: 1-6 - Audrey Sedal, Michael W. Fisher, Joshua Bishop-Moser, Alan Wineman, Sridhar Kota:
Auxetic Sleeves for Soft Actuators with Kinematically Varied Surfaces. IROS 2018: 464-471 - Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao:
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops 2018: 341-348 - Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann:
Making Sense of the World: Models for Reliable Sensor-Driven Systems. CoRR abs/1803.10478 (2018) - Jean-Daniel Fekete, Danyel Fisher, Arnab Nandi, Michael Sedlmair:
Progressive Data Analysis and Visualization (Dagstuhl Seminar 18411). Dagstuhl Reports 8(10): 1-40 (2018) - 2017
- Doug Fisher, Charles Lee Isbell Jr., Michael L. Littman, Michael Wollowski, Todd W. Neller, Jim Boerkoel:
Ask Me Anything about MOOCs. AI Mag. 38(2): 7-12 (2017) - Holly E. Holmes, Nick M. Powell, Da Ma, Ozama Ismail, Ian F. Harrison, Jack A. Wells, Niall Colgan, James M. O'Callaghan, Ross A. Johnson, Tracey K. Murray, Zeshan Ahmed, Morten Heggenes, Alice Fisher, M. Jorge Cardoso, Marc Modat, Michael J. O'Neill, Emily C. Collins, Elizabeth M. C. Fisher, Sébastien Ourselin, Mark F. Lythgoe:
Comparison of In Vivo and Ex Vivo MRI for the Detection of Structural Abnormalities in a Mouse Model of Tauopathy. Frontiers Neuroinformatics 11: 20 (2017) - Michael Jubb, Richard Fisher:
The supply chain for academic books: Why is it so complex and how might we drive change? Learn. Publ. 30(4): 331-335 (2017) - James M. O'Callaghan, Holly E. Holmes, Nick M. Powell, Jack A. Wells, Ozama Ismail, Ian F. Harrison, Bernard Siow, Ross A. Johnson, Zeshan Ahmed, Alice Fisher, Soraya Meftah, Michael J. O'Neill, Tracey K. Murray, Emily C. Collins, Karin Shmueli, Mark F. Lythgoe:
Tissue magnetic susceptibility mapping as a marker of tau pathology in Alzheimer's disease. NeuroImage 159: 334-345 (2017) - Zachary DeVito, Michael Mara, Michael Zollhöfer, Gilbert Bernstein, Jonathan Ragan-Kelley, Christian Theobalt, Pat Hanrahan, Matthew Fisher, Matthias Nießner:
Opt: A Domain Specific Language for Non-Linear Least Squares Optimization in Graphics and Imaging. ACM Trans. Graph. 36(5): 171:1-171:27 (2017) - Anna Liza A. Ramos, Jerico M. Flor, Michael M. Casabuena, Jheanel E. Estrada:
Face Expression Extraction Using Eigenfaces, Fisherfaces and Local Binary Pattern Histogram Towards Predictive Analysis of Students Emotion in Programming. BDTA 2017: 38-46 - Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster:
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS 2017: 119-133 - Vicky Charisi, Louise A. Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy:
Towards Moral Autonomous Systems. CoRR abs/1703.04741 (2017)
