default search action
Search dblp for Publications
export results for "Michael J. Fisher"
@article{DBLP:journals/biodb/XuSCLFQHWFHNWJBKACTX24, author = {Chunhui Xu and Trey Shaw and Sai Akhil Choppararu and Yiwei Lu and Shaik Naveed Farooq and Yongfang Qin and Matt Hudson and Brock Weekley and Michael Fisher and Fei He and Jose Roberto Da Silva Nascimento and Nicholas Wergeles and Trupti Joshi and Philip D. Bates and Abraham J. Koo and Doug K. Allen and Edgar B. Cahoon and Jay J. Thelen and Dong Xu}, title = {FatPlants: a comprehensive information system for lipid-related genes and metabolic pathways in plants}, journal = {Database J. Biol. Databases Curation}, volume = {2024}, year = {2024}, url = {https://doi.org/10.1093/database/baae074}, doi = {10.1093/DATABASE/BAAE074}, timestamp = {Sun, 08 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/biodb/XuSCLFQHWFHNWJBKACTX24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/hf/GlassmanYSYKZZFY24, author = {Jeffrey Glassman and Sarah Yahoodik and Siby Samuel and Jared Young and Michael K. Knodler and Tingru Zhang and Tracy Zafian and Donald L. Fisher and Yusuke Yamani}, title = {Booster Dose of Attention Training Program for Young Novice Drivers: {A} Longitudinal Driving Simulator Evaluation Study}, journal = {Hum. Factors}, volume = {66}, number = {3}, pages = {933--953}, year = {2024}, url = {https://doi.org/10.1177/00187208221109993}, doi = {10.1177/00187208221109993}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/hf/GlassmanYSYKZZFY24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jirs/BeckerDSAKFCF24, author = {Leandro Buss Becker and Anthony Downs and Craig Schlenoff and Justin Albrecht and Zeid Kootbally and Angelo Ferrando and Rafael C. Cardoso and Michael Fisher}, title = {Effects of the Human Presence among Robots in the {ARIAC} 2023 Industrial Automation Competition}, journal = {J. Intell. Robotic Syst.}, volume = {110}, number = {3}, pages = {112}, year = {2024}, url = {https://doi.org/10.1007/s10846-024-02148-6}, doi = {10.1007/S10846-024-02148-6}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jirs/BeckerDSAKFCF24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/HongYGFF24, author = {James Hong and Lu Yuan and Micha{\"{e}}l Gharbi and Matthew Fisher and Kayvon Fatahalian}, editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}, title = {Learning Subject-Aware Cropping by Outpainting Professional Photos}, booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada}, pages = {2175--2183}, publisher = {{AAAI} Press}, year = {2024}, url = {https://doi.org/10.1609/aaai.v38i3.27990}, doi = {10.1609/AAAI.V38I3.27990}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/HongYGFF24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cvpr/ThamizharasanLA24, author = {Vikas Thamizharasan and Difan Liu and Shantanu Agarwal and Matthew Fisher and Micha{\"{e}}l Gharbi and Oliver Wang and Alec Jacobson and Evangelos Kalogerakis}, title = {VecFusion: Vector Font Generation with Diffusion}, booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition, {CVPR} 2024, Seattle, WA, USA, June 16-22, 2024}, pages = {7943--7952}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/CVPR52733.2024.00759}, doi = {10.1109/CVPR52733.2024.00759}, timestamp = {Wed, 02 Oct 2024 09:45:16 +0200}, biburl = {https://dblp.org/rec/conf/cvpr/ThamizharasanLA24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/SorensenMFGMRYJ24, author = {Taylor Sorensen and Jared Moore and Jillian Fisher and Mitchell L. Gordon and Niloofar Mireshghallah and Christopher Michael Rytting and Andre Ye and Liwei Jiang and Ximing Lu and Nouha Dziri and Tim Althoff and Yejin Choi}, title = {Position: {A} Roadmap to Pluralistic Alignment}, booktitle = {Forty-first International Conference on Machine Learning, {ICML} 2024, Vienna, Austria, July 21-27, 2024}, publisher = {OpenReview.net}, year = {2024}, url = {https://openreview.net/forum?id=gQpBnRHwxM}, timestamp = {Mon, 02 Sep 2024 16:45:29 +0200}, biburl = {https://dblp.org/rec/conf/icml/SorensenMFGMRYJ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmm/OvesenNRHJ24, author = {Aril Bernhard Ovesen and Tor{-}Arne Schmidt Nordmo and Michael Alexander Riegler and P{\aa}l Halvorsen and Dag Johansen}, editor = {Stevan Rudinac and Alan Hanjalic and Cynthia C. S. Liem and Marcel Worring and Bj{\"{o}}rn {\TH}{\'{o}}r J{\'{o}}nsson and Bei Liu and Yoko Yamakata}, title = {Sustainable Commercial Fishery Control Using Multimedia Forensics Data from Non-trusted, Mobile Edge Nodes}, booktitle = {MultiMedia Modeling - 30th International Conference, {MMM} 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {14556}, pages = {327--340}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-53311-2\_24}, doi = {10.1007/978-3-031-53311-2\_24}, timestamp = {Sat, 02 Mar 2024 21:19:05 +0100}, biburl = {https://dblp.org/rec/conf/mmm/OvesenNRHJ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-05070, author = {Taylor Sorensen and Jared Moore and Jillian Fisher and Mitchell L. Gordon and Niloofar Mireshghallah and Christopher Michael Rytting and Andre Ye and Liwei Jiang and Ximing Lu and Nouha Dziri and Tim Althoff and Yejin Choi}, title = {A Roadmap to Pluralistic Alignment}, journal = {CoRR}, volume = {abs/2402.05070}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.05070}, doi = {10.48550/ARXIV.2402.05070}, eprinttype = {arXiv}, eprint = {2402.05070}, timestamp = {Wed, 14 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-05070.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-14664, author = {Oscar Davis and Samuel Kessler and Mircea Petrache and {\.I}smail {\.I}lkan Ceylan and Michael M. Bronstein and Avishek Joey Bose}, title = {Fisher Flow Matching for Generative Modeling over Discrete Data}, journal = {CoRR}, volume = {abs/2405.14664}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.14664}, doi = {10.48550/ARXIV.2405.14664}, eprinttype = {arXiv}, eprint = {2405.14664}, timestamp = {Wed, 19 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-14664.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cbm/Garcia-MarinAFV23, author = {Yoel F. Garcia{-}Marin and David Alonso{-}Caneiro and Damien Fisher and Stephen J. Vincent and Michael J. Collins}, title = {Patch-based {CNN} for corneal segmentation of {AS-OCT} images: Effect of the number of classes and image quality upon performance}, journal = {Comput. Biol. Medicine}, volume = {152}, pages = {106342}, year = {2023}, url = {https://doi.org/10.1016/j.compbiomed.2022.106342}, doi = {10.1016/J.COMPBIOMED.2022.106342}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cbm/Garcia-MarinAFV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/MousaviCFDHKLRRTW23, author = {Mohammad Reza Mousavi and Ana Cavalcanti and Michael Fisher and Louise A. Dennis and Robert M. Hierons and Bilal Y. Kaddouh and Effie Lai{-}Chong Law and Robert C. Richardson and Jan Oliver Ringert and Ivan Tyukin and Jim Woodcock}, title = {Trustworthy Autonomous Systems Through Verifiability}, journal = {Computer}, volume = {56}, number = {2}, pages = {40--47}, year = {2023}, url = {https://doi.org/10.1109/MC.2022.3192206}, doi = {10.1109/MC.2022.3192206}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/MousaviCFDHKLRRTW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamads/FisherH23, author = {Michael W. Fisher and Ian A. Hiskens}, title = {Stability of the Nonwandering Set in the Region of Attraction Boundary under Perturbations with Application to Vulnerability Assessment}, journal = {{SIAM} J. Appl. Dyn. Syst.}, volume = {22}, number = {4}, pages = {3390--3430}, year = {2023}, url = {https://doi.org/10.1137/23m155582x}, doi = {10.1137/23M155582X}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/siamads/FisherH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bcicts/LetavicSGBJJRWHDLTHFHEKLZSLCCDCRAKMR23, author = {Ted Letavic and Massimo Sorbara and Ken Geiwont and Yusheng Bian and Vihbor Jain and Sameer Jain and Koushik Ramachandran and Zhuo{-}Jie Wu and Brittany Hedrick and Kevin K. Dezfulian and Yarong Lin and Teck Jung Tang and Thomas Houghton and Daniel Fisher and Takako Hirokawa and Monica Esopi and Vaishnavi Karra and Won Suk Lee and Michelle Zhang and Ryan Sporer and Jorge Lubguban and Jae Kyu Cho and Rongtao Cao and Hanyi Ding and Sujith Chandran and Michal Rakowski and Abdelsalam Aboketaf and Subramanian Krishnamurthy and Scott Mills and Norman Robson and Ian Melville and Robert Fox and Vikas Gupta and Anthony Yu}, title = {Monolithic Silicon Photonics}, booktitle = {{IEEE} BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium, {BCICTS} 2023, Monterey, CA, USA, October 16-18, 2023}, pages = {263--269}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/BCICTS54660.2023.10310983}, doi = {10.1109/BCICTS54660.2023.10310983}, timestamp = {Fri, 01 Dec 2023 14:30:09 +0100}, biburl = {https://dblp.org/rec/conf/bcicts/LetavicSGBJJRWHDLTHFHEKLZSLCCDCRAKMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emas/CardosoFCDF23, author = {Rafael C. Cardoso and Angelo Ferrando and Joe Collenette and Louise A. Dennis and Michael Fisher}, editor = {Andrei Ciortea and Mehdi Dastani and Jieting Luo}, title = {Towards Forward Responsibility in {BDI} Agents}, booktitle = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS} 2023, London, UK, May 29-30, 2023, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14378}, pages = {3--22}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-48539-8\_1}, doi = {10.1007/978-3-031-48539-8\_1}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emas/CardosoFCDF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/JiangPATRFPAL23, author = {Zhifan Jiang and Abhijeet Parida and Syed Muhammad Anwar and Yucheng Tang and Holger R. Roth and Michael J. Fisher and Roger J. Packer and Robert A. Avery and Marius George Linguraru}, title = {Automatic Visual Acuity Loss Prediction in Children with Optic Pathway Gliomas using Magnetic Resonance Imaging}, booktitle = {45th Annual International Conference of the {IEEE} Engineering in Medicine {\&} Biology Society, {EMBC} 2023, Sydney, Australia, July 24-27, 2023}, pages = {1--5}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/EMBC40787.2023.10339961}, doi = {10.1109/EMBC40787.2023.10339961}, timestamp = {Thu, 11 Jan 2024 15:01:18 +0100}, biburl = {https://dblp.org/rec/conf/embc/JiangPATRFPAL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eumas/BeckerDSAKFCF23, author = {Leandro Buss Becker and Anthony Downs and Craig Schlenoff and Justin Albrecht and Zeid Kootbally and Angelo Ferrando and Rafael C. Cardoso and Michael Fisher}, editor = {Vadim Malvone and Aniello Murano}, title = {Using a {BDI} Agent to Represent a Human on the Factory Floor of the {ARIAC} 2023 Industrial Automation Competition}, booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples, Italy, September 14-15, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14282}, pages = {214--227}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43264-4\_14}, doi = {10.1007/978-3-031-43264-4\_14}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eumas/BeckerDSAKFCF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccvw/KristanMDFCZLDZ23, author = {Matej Kristan and Jir{\'{\i}} Matas and Martin Danelljan and Michael Felsberg and Hyung Jin Chang and Luka Cehovin Zajc and Alan Lukezic and Ondrej Drbohlav and Zhongqun Zhang and Khanh{-}Tung Tran and Xuan{-}Son Vu and Johanna Bj{\"{o}}rklund and Christoph Mayer and Yushan Zhang and Lei Ke and Jie Zhao and Gustavo Fern{\'{a}}ndez and Noor Al{-}Shakarji and Dong An and Michael Arens and Stefan Becker and Goutam Bhat and Sebastian Bullinger and Antoni B. Chan and Shijie Chang and Hanyuan Chen and Xin Chen and Yan Chen and Zhenyu Chen and Yangming Cheng and Yutao Cui and Chunyuan Deng and Jiahua Dong and Matteo Dunnhofer and Wei Feng and Jianlong Fu and Jie Gao and Ruize Han and Zeqi Hao and Jun{-}Yan He and Keji He and Zhenyu He and Xiantao Hu and Kaer Huang and Yuqing Huang and Yi Jiang and Ben Kang and Jin{-}Peng Lan and Hyungjun Lee and Chenyang Li and Jiahao Li and Ning Li and Wangkai Li and Xiaodi Li and Xin Li and Pengyu Liu and Yue Liu and Huchuan Lu and Bin Luo and Ping Luo and Yinchao Ma and Deshui Miao and Christian Micheloni and Kannappan Palaniappan and Hancheol Park and Matthieu Paul and Houwen Peng and Zekun Qian and Gani Rahmon and Norbert Scherer{-}Negenborn and Pengcheng Shao and Wooksu Shin and Elham Soltani Kazemi and Tianhui Song and Rainer Stiefelhagen and Rui Sun and Chuanming Tang and Zhangyong Tang and Imad Eddine Toubal and Jack Valmadre and Joost van de Weijer and Luc Van Gool and Jash Vira and St{\'{e}}phane Vujasinovic and Cheng Wan and Jia Wan and Dong Wang and Fei Wang and Feifan Wang and He Wang and Limin Wang and Song Wang and Yaowei Wang and Zhepeng Wang and Gangshan Wu and Jiannan Wu and Qiangqiang Wu and Xiaojun Wu and Anqi Xiao and Jinxia Xie and Chenlong Xu and Min Xu and Tianyang Xu and Yuanyou Xu and Bin Yan and Dawei Yang and Ming{-}Hsuan Yang and Tianyu Yang and Yi Yang and Zongxin Yang and Xuanwu Yin and Fisher Yu and Hongyuan Yu and Qianjin Yu and Weichen Yu and Yongsheng Yuan and Zehuan Yuan and Jianlin Zhang and Lu Zhang and Tianzhu Zhang and Guodongfang Zhao and Shaochuan Zhao and Yaozong Zheng and Bineng Zhong and Jiawen Zhu and Xuefeng Zhu and Yueting Zhuang and ChengAo Zong and Kunlong Zuo}, title = {The First Visual Object Tracking Segmentation {VOTS2023} Challenge Results}, booktitle = {{IEEE/CVF} International Conference on Computer Vision, {ICCV} 2023 - Workshops, Paris, France, October 2-6, 2023}, pages = {1788--1810}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICCVW60793.2023.00195}, doi = {10.1109/ICCVW60793.2023.00195}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccvw/KristanMDFCZLDZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/0001DMPHGSCGAJB23, author = {Mostafa Dehghani and Josip Djolonga and Basil Mustafa and Piotr Padlewski and Jonathan Heek and Justin Gilmer and Andreas Peter Steiner and Mathilde Caron and Robert Geirhos and Ibrahim Alabdulmohsin and Rodolphe Jenatton and Lucas Beyer and Michael Tschannen and Anurag Arnab and Xiao Wang and Carlos Riquelme Ruiz and Matthias Minderer and Joan Puigcerver and Utku Evci and Manoj Kumar and Sjoerd van Steenkiste and Gamaleldin Fathy Elsayed and Aravindh Mahendran and Fisher Yu and Avital Oliver and Fantine Huot and Jasmijn Bastings and Mark Collier and Alexey A. Gritsenko and Vighnesh Birodkar and Cristina Nader Vasconcelos and Yi Tay and Thomas Mensink and Alexander Kolesnikov and Filip Pavetic and Dustin Tran and Thomas Kipf and Mario Lucic and Xiaohua Zhai and Daniel Keysers and Jeremiah J. Harmsen and Neil Houlsby}, editor = {Andreas Krause and Emma Brunskill and Kyunghyun Cho and Barbara Engelhardt and Sivan Sabato and Jonathan Scarlett}, title = {Scaling Vision Transformers to 22 Billion Parameters}, booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July 2023, Honolulu, Hawaii, {USA}}, series = {Proceedings of Machine Learning Research}, volume = {202}, pages = {7480--7512}, publisher = {{PMLR}}, year = {2023}, url = {https://proceedings.mlr.press/v202/dehghani23a.html}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icml/0001DMPHGSCGAJB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/LeeQCYF23, author = {Jaeyeon Lee and Ethan Quist and Jonathan Chambers and Michael Yip and Nathan Fisher}, title = {Contactless Weight Estimation of Human Body and Body Parts for Safe Robotics-Assisted Casualty Extraction}, booktitle = {{IROS}}, pages = {6550--6556}, year = {2023}, url = {https://doi.org/10.1109/IROS55552.2023.10342473}, doi = {10.1109/IROS55552.2023.10342473}, timestamp = {Fri, 05 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iros/LeeQCYF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sgai/CollenetteDF23, author = {Joe Collenette and Louise A. Dennis and Michael Fisher}, editor = {Max Bramer and Frederic T. Stahl}, title = {Prospective Responsibility for Multi-agent Systems}, booktitle = {Artificial Intelligence {XL} - 43rd {SGAI} International Conference on Artificial Intelligence, {AI} 2023, Cambridge, UK, December 12-14, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14381}, pages = {247--252}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-47994-6\_23}, doi = {10.1007/978-3-031-47994-6\_23}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sgai/CollenetteDF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-05442, author = {Mostafa Dehghani and Josip Djolonga and Basil Mustafa and Piotr Padlewski and Jonathan Heek and Justin Gilmer and Andreas Steiner and Mathilde Caron and Robert Geirhos and Ibrahim Alabdulmohsin and Rodolphe Jenatton and Lucas Beyer and Michael Tschannen and Anurag Arnab and Xiao Wang and Carlos Riquelme and Matthias Minderer and Joan Puigcerver and Utku Evci and Manoj Kumar and Sjoerd van Steenkiste and Gamaleldin F. Elsayed and Aravindh Mahendran and Fisher Yu and Avital Oliver and Fantine Huot and Jasmijn Bastings and Mark Patrick Collier and Alexey A. Gritsenko and Vighnesh Birodkar and Cristina Nader Vasconcelos and Yi Tay and Thomas Mensink and Alexander Kolesnikov and Filip Pavetic and Dustin Tran and Thomas Kipf and Mario Lucic and Xiaohua Zhai and Daniel Keysers and Jeremiah Harmsen and Neil Houlsby}, title = {Scaling Vision Transformers to 22 Billion Parameters}, journal = {CoRR}, volume = {abs/2302.05442}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.05442}, doi = {10.48550/ARXIV.2302.05442}, eprinttype = {arXiv}, eprint = {2302.05442}, timestamp = {Mon, 08 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-05442.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-15041, author = {Priyanka Subash and Alex Gray and Misque Boswell and Samantha L. Cohen and Rachael Garner and Sana Salehi and Calvary Fisher and Samuel Hobel and Satrajit S. Ghosh and Yaroslav O. Halchenko and Benjamin K. Dichter and Russell A. Poldrack and Christopher J. Markiewicz and Dora Hermes and Arnaud Delorme and Scott Makeig and Brendan Behan and Alana Sparks and Stephen R. Arnott and Zhengjia Wang and John F. Magnotti and Michael S. Beauchamp and Nader Pouratian and Arthur W. Toga and Dominique Duncan}, title = {A Comparison of Neuroelectrophysiology Databases}, journal = {CoRR}, volume = {abs/2306.15041}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.15041}, doi = {10.48550/ARXIV.2306.15041}, eprinttype = {arXiv}, eprint = {2306.15041}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-15041.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2308-11047, author = {Abhijeet Parida and Zhifan Jiang and Syed Muhammad Anwar and Nicholas Foreman and Nicholas Stence and Michael J. Fisher and Roger J. Packer and Robert A. Avery and Marius George Linguraru}, title = {Harmonization Across Imaging Locations(HAIL): One-Shot Learning for Brain {MRI}}, journal = {CoRR}, volume = {abs/2308.11047}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.11047}, doi = {10.48550/ARXIV.2308.11047}, eprinttype = {arXiv}, eprint = {2308.11047}, timestamp = {Fri, 25 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-11047.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2308-13035, author = {Shan Guleria and Benjamin Schwartz and Yash Sharma and Philip Fernandez and James A. Jablonski and Sodiq Adewole and Sanjana Srivastava and Fisher Rhoads and Michael D. Porter and Michelle Yeghyayan and Dylan Hyatt and Andrew Copland and Lubaina Ehsan and Donald E. Brown and Sana Syed}, title = {The intersection of video capsule endoscopy and artificial intelligence: addressing unique challenges using machine learning}, journal = {CoRR}, volume = {abs/2308.13035}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.13035}, doi = {10.48550/ARXIV.2308.13035}, eprinttype = {arXiv}, eprint = {2308.13035}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-13035.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-02951, author = {Bekzhan Kerimkulov and James{-}Michael Leahy and David Siska and Lukasz Szpruch and Yufei Zhang}, title = {A Fisher-Rao gradient flow for entropy-regularised Markov decision processes in Polish spaces}, journal = {CoRR}, volume = {abs/2310.02951}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.02951}, doi = {10.48550/ARXIV.2310.02951}, eprinttype = {arXiv}, eprint = {2310.02951}, timestamp = {Tue, 23 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-02951.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-08760, author = {Hendrik Buschmeier and Heike M. Buhl and Friederike Kern and Angela Grimminger and Helen Beierling and Josephine Beryl Fisher and Andr{\'{e}} Gro{\ss} and Ilona Horwath and Nils Klowait and Stefan Lazarov and Michael Lenke and Vivien Lohmer and Katharina J. Rohlfing and Ingrid Scharlau and Amit Singh and Lutz Terfloth and Anna{-}Lisa Vollmer and Yu Wang and Annedore Wilmes and Britta Wrede}, title = {Forms of Understanding of XAI-Explanations}, journal = {CoRR}, volume = {abs/2311.08760}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.08760}, doi = {10.48550/ARXIV.2311.08760}, eprinttype = {arXiv}, eprint = {2311.08760}, timestamp = {Fri, 26 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-08760.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2312-10540, author = {Vikas Thamizharasan and Difan Liu and Shantanu Agarwal and Matthew Fisher and Micha{\"{e}}l Gharbi and Oliver Wang and Alec Jacobson and Evangelos Kalogerakis}, title = {VecFusion: Vector Font Generation with Diffusion}, journal = {CoRR}, volume = {abs/2312.10540}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2312.10540}, doi = {10.48550/ARXIV.2312.10540}, eprinttype = {arXiv}, eprint = {2312.10540}, timestamp = {Tue, 16 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-10540.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2312-12080, author = {James Hong and Lu Yuan and Micha{\"{e}}l Gharbi and Matthew Fisher and Kayvon Fatahalian}, title = {Learning Subject-Aware Cropping by Outpainting Professional Photos}, journal = {CoRR}, volume = {abs/2312.12080}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2312.12080}, doi = {10.48550/ARXIV.2312.12080}, eprinttype = {arXiv}, eprint = {2312.12080}, timestamp = {Wed, 17 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-12080.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nar/AmosABBBBBBBBBC22, author = {Beatrice Amos and Cristina Aurrecoechea and Matthieu Barba and Ana Barreto and Evelina Y. Basenko and Wojciech Bazant and Robert Belnap and Ann S. Blevins and Ulrike B{\"{o}}hme and John Brestelli and Brian P. Brunk and Mark J. Caddick and Danielle Callan and Lahcen I. Campbell and Mikkel B. Christensen and George K. Christophides and Kathryn Crouch and Kristina Davis and Jeremy D. DeBarry and Ryan Doherty and Yikun Duan and Michael Dunn and Dave Falke and Steve Fisher and Paul Flicek and Brett Fox and Bindu Gajria and Gloria I. Giraldo{-}Calder{\'{o}}n and Omar S. Harb and Elizabeth Harper and Christiane Hertz{-}Fowler and Mark J. Hickman and Connor Howington and Sufen Hu and Jay C. Humphrey and John Iodice and Andrew R. Jones and John Judkins and Sarah A. Kelly and Jessica C. Kissinger and Dae Kun Kwon and Kristopher Lamoureux and Daniel Lawson and Wei Li and Kallie Lies and Disha Lodha and Jamie Long and Robert M. MacCallum and Gareth Maslen and Mary Ann McDowell and Jaroslaw Nabrzyski and David S. Roos and Samuel S. C. Rund and Stephanie wever Schulman and Achchuthan Shanmugasundram and Vasily Sitnik and Drew Spruill and David Starns and Christian J. Stoeckert Jr. and Sheena Shah Tomko and Haiming Wang and Susanne Warrenfeltz and Robert Wieck and Paul A. Wilkinson and Lin Xu and Jie Zheng}, title = {VEuPathDB: the eukaryotic pathogen, vector and host bioinformatics resource center}, journal = {Nucleic Acids Res.}, volume = {50}, number = {{D1}}, pages = {898--911}, year = {2022}, url = {https://doi.org/10.1093/nar/gkab929}, doi = {10.1093/NAR/GKAB929}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nar/AmosABBBBBBBBBC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ram/Araiza-IllanFLO22, author = {Dejanira Araiza{-}Illan and Michael Fisher and Kevin Leahy and Joanna Isabelle Olszewska and Signe A. Redfield}, title = {Verification of Autonomous Systems {[TC} Spotlight]}, journal = {{IEEE} Robotics Autom. Mag.}, volume = {29}, number = {1}, pages = {99--101}, year = {2022}, url = {https://doi.org/10.1109/MRA.2022.3143966}, doi = {10.1109/MRA.2022.3143966}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ram/Araiza-IllanFLO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/FisherCTIM22, author = {Jason T. Fisher and Ursa Ciuha and Michael J. Tipton and Leonidas G. Ioannou and Igor B. Mekjavic}, title = {Predicting Deep Body Temperature (Tb) from Forehead Skin Temperature: Tb or Not Tb?}, journal = {Sensors}, volume = {22}, number = {3}, pages = {826}, year = {2022}, url = {https://doi.org/10.3390/s22030826}, doi = {10.3390/S22030826}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/FisherCTIM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamads/FisherH22, author = {Michael W. Fisher and Ian A. Hiskens}, title = {Hausdorff Continuity of Region of Attraction Boundary Under Parameter Variation with Application to Disturbance Recovery}, journal = {{SIAM} J. Appl. Dyn. Syst.}, volume = {21}, number = {1}, pages = {327--365}, year = {2022}, url = {https://doi.org/10.1137/20m1371944}, doi = {10.1137/20M1371944}, timestamp = {Thu, 30 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamads/FisherH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eccv/HongZGFF22, author = {James Hong and Haotian Zhang and Micha{\"{e}}l Gharbi and Matthew Fisher and Kayvon Fatahalian}, editor = {Shai Avidan and Gabriel J. Brostow and Moustapha Ciss{\'{e}} and Giovanni Maria Farinella and Tal Hassner}, title = {Spotting Temporally Precise, Fine-Grained Events in Video}, booktitle = {Computer Vision - {ECCV} 2022 - 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part {XXXV}}, series = {Lecture Notes in Computer Science}, volume = {13695}, pages = {33--51}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19833-5\_3}, doi = {10.1007/978-3-031-19833-5\_3}, timestamp = {Thu, 10 Nov 2022 10:31:52 +0100}, biburl = {https://dblp.org/rec/conf/eccv/HongZGFF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eccv/KristanLMFPKCDZLDBZZYYCMFBBCCCCCCCCCCC22, author = {Matej Kristan and Ales Leonardis and Jir{\'{\i}} Matas and Michael Felsberg and Roman P. Pflugfelder and Joni{-}Kristian K{\"{a}}m{\"{a}}r{\"{a}}inen and Hyung Jin Chang and Martin Danelljan and Luka Cehovin Zajc and Alan Lukezic and Ondrej Drbohlav and Johanna Bj{\"{o}}rklund and Yushan Zhang and Zhongqun Zhang and Song Yan and Wenyan Yang and Dingding Cai and Christoph Mayer and Gustavo Fern{\'{a}}ndez and Kang Ben and Goutam Bhat and Hong Chang and Guangqi Chen and Jiaye Chen and Shengyong Chen and Xilin Chen and Xin Chen and Xiuyi Chen and Yiwei Chen and Yu{-}Hsi Chen and Zhixing Chen and Yangming Cheng and Angelo Ciaramella and Yutao Cui and Benjamin Dzubur and Mohana Murali Dasari and Qili Deng and Debajyoti Dhar and Shangzhe Di and Emanuel Di Nardo and Daniel K. Du and Matteo Dunnhofer and Heng Fan and Zhen{-}Hua Feng and Zhihong Fu and Shang Gao and Rama Krishna Gorthi and Eric Granger and Q. H. Gu and Himanshu Gupta and Jianfeng He and Keji He and Yan Huang and Deepak Jangid and Rongrong Ji and Cheng Jiang and Yingjie Jiang and Felix J{\"{a}}remo Lawin and Ze Kang and Madhu Kiran and Josef Kittler and Simiao Lai and Xiangyuan Lan and Dongwook Lee and Hyunjeong Lee and Seohyung Lee and Hui Li and Ming Li and Wangkai Li and Xi Li and Xianxian Li and Xiao Li and Zhe Li and Liting Lin and Haibin Ling and Bo Liu and Chang Liu and Si Liu and Huchuan Lu and Rafael M. O. Cruz and Bingpeng Ma and Chao Ma and Jie Ma and Yinchao Ma and Niki Martinel and Alireza Memarmoghadam and Christian Micheloni and Payman Moallem and Le Thanh Nguyen{-}Meidine and Siyang Pan and ChangBeom Park and Danda Pani Paudel and Matthieu Paul and Houwen Peng and Andreas Robinson and Litu Rout and Shiguang Shan and Kristian Simonato and Tianhui Song and Xiaoning Song and Chao Sun and Jingna Sun and Zhangyong Tang and Radu Timofte and Chi{-}Yi Tsai and Luc Van Gool and Om Prakash Verma and Dong Wang and Fei Wang and Liang Wang and Liangliang Wang and Lijun Wang and Limin Wang and Qiang Wang and Gangshan Wu and Jinlin Wu and Xiaojun Wu and Fei Xie and Tianyang Xu and Wei Xu and Yong Xu and Yuanyou Xu and Wanli Xue and Zizheng Xun and Bin Yan and Dawei Yang and Jinyu Yang and Wankou Yang and Xiaoyun Yang and Yi Yang and Yichun Yang and Zongxin Yang and Botao Ye and Fisher Yu and Hongyuan Yu and Jiaqian Yu and Qianjin Yu and Weichen Yu and Kang Ze and Jiang Zhai and Chengwei Zhang and Chunhu Zhang and Kaihua Zhang and Tianzhu Zhang and Wenkang Zhang and Zhibin Zhang and Zhipeng Zhang and Jie Zhao and Shao{-}Chuan Zhao and Feng Zheng and Haixia Zheng and Min Zheng and Bineng Zhong and Jiawen Zhu and Xuefeng Zhu and Yueting Zhuang}, editor = {Leonid Karlinsky and Tomer Michaeli and Ko Nishino}, title = {The Tenth Visual Object Tracking {VOT2022} Challenge Results}, booktitle = {Computer Vision - {ECCV} 2022 Workshops - Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part {VIII}}, series = {Lecture Notes in Computer Science}, volume = {13808}, pages = {431--460}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-25085-9\_25}, doi = {10.1007/978-3-031-25085-9\_25}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eccv/KristanLMFPKCDZLDBZZYYCMFBBCCCCCCCCCCC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fat/FogliatoCLFWFPH22, author = {Riccardo Fogliato and Shreya Chappidi and Matthew P. Lungren and Paul Fisher and Diane Wilson and Michael Fitzke and Mark Parkinson and Eric Horvitz and Kori Inkpen and Besmira Nushi}, title = {Who Goes First? Influences of Human-AI Workflow on Decision Making in Clinical Imaging}, booktitle = {FAccT '22: 2022 {ACM} Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21 - 24, 2022}, pages = {1362--1374}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3531146.3533193}, doi = {10.1145/3531146.3533193}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fat/FogliatoCLFWFPH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/SmithMMEF22, author = {William H. B. Smith and Michael Milford and Klaus D. McDonald{-}Maier and Shoaib Ehsan and Robert B. Fisher}, title = {OpenSceneVLAD: Appearance Invariant, Open Set Scene Classification}, booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022, Philadelphia, PA, USA, May 23-27, 2022}, pages = {4578--4584}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICRA46639.2022.9812248}, doi = {10.1109/ICRA46639.2022.9812248}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icra/SmithMMEF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/urai/LeeQGKF22, author = {Jaeyeon Lee and Ethan Quist and Stan German and Michael Kim and Nathan Fisher}, title = {Neural Network Model of eFAST Target Prediction for Robotic Ultrasound Diagnostics in Austere Environments}, booktitle = {19th International Conference on Ubiquitous Robots, {UR} 2022, Jeju, South Korea, July 4-6, 2022}, pages = {153--158}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/UR55393.2022.9826265}, doi = {10.1109/UR55393.2022.9826265}, timestamp = {Tue, 19 Jul 2022 18:11:02 +0200}, biburl = {https://dblp.org/rec/conf/urai/LeeQGKF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2209-14035, author = {Joe Collenette and Louise A. Dennis and Michael Fisher}, editor = {Matt Luckcuck and Marie Farrell}, title = {Advising Autonomous Cars about the Rules of the Road}, booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems {(FMAS)} and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022}, series = {{EPTCS}}, volume = {371}, pages = {62--76}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.371.5}, doi = {10.4204/EPTCS.371.5}, timestamp = {Mon, 14 Nov 2022 14:12:09 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-14035.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-09696, author = {Riccardo Fogliato and Shreya Chappidi and Matthew P. Lungren and Michael Fitzke and Mark Parkinson and Diane Wilson and Paul Fisher and Eric Horvitz and Kori Inkpen and Besmira Nushi}, title = {Who Goes First? Influences of Human-AI Workflow on Decision Making in Clinical Imaging}, journal = {CoRR}, volume = {abs/2205.09696}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.09696}, doi = {10.48550/ARXIV.2205.09696}, eprinttype = {arXiv}, eprint = {2205.09696}, timestamp = {Mon, 23 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-09696.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-10213, author = {James Hong and Haotian Zhang and Micha{\"{e}}l Gharbi and Matthew Fisher and Kayvon Fatahalian}, title = {Spotting Temporally Precise, Fine-Grained Events in Video}, journal = {CoRR}, volume = {abs/2207.10213}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.10213}, doi = {10.48550/ARXIV.2207.10213}, eprinttype = {arXiv}, eprint = {2207.10213}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-10213.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/brain/DuffyFAMHCBLHG21, author = {Kelly A. Duffy and Zachary F. Fisher and Cara A. Arizmendi and Peter C. M. Molenaar and Joseph B. Hopfinger and Jessica R. Cohen and Adriene M. Beltz and Martin A. Lindquist and Michael N. Hallquist and Kathleen M. Gates}, title = {Detecting Task-Dependent Functional Connectivity in Group Iterative Multiple Model Estimation with Person-Specific Hemodynamic Response Functions}, journal = {Brain Connect.}, volume = {11}, number = {6}, pages = {418--429}, year = {2021}, url = {https://doi.org/10.1089/brain.2020.0864}, doi = {10.1089/BRAIN.2020.0864}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/brain/DuffyFAMHCBLHG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsan/AlvesDF21, author = {Gleifer Vaz Alves and Louise Abigail Dennis and Michael Fisher}, title = {A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations}, journal = {J. Sens. Actuator Networks}, volume = {10}, number = {3}, pages = {41}, year = {2021}, url = {https://doi.org/10.3390/jsan10030041}, doi = {10.3390/JSAN10030041}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsan/AlvesDF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/paladyn/KoayWDGSFD21, author = {Kheng Lee Koay and Matt Webster and Clare Dixon and Paul Gainer and Dag Sverre Syrdal and Michael Fisher and Kerstin Dautenhahn}, title = {Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: {A} proof-of-concept study}, journal = {Paladyn J. Behav. Robotics}, volume = {12}, number = {1}, pages = {402--422}, year = {2021}, url = {https://doi.org/10.1515/pjbr-2021-0028}, doi = {10.1515/PJBR-2021-0028}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/paladyn/KoayWDGSFD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/robotics/FisherCCDDDFFHJ21, author = {Michael Fisher and Rafael C. Cardoso and Emily C. Collins and Christopher Dadswell and Louise A. Dennis and Clare Dixon and Marie Farrell and Angelo Ferrando and Xiaowei Huang and Mike Jump and Georgios Kourtis and Alexei Lisitsa and Matt Luckcuck and Shan Luo and Vincent Pag{\'{e}} and Fabio Papacchini and Matt Webster}, title = {An Overview of Verification and Validation Challenges for Inspection Robots}, journal = {Robotics}, volume = {10}, number = {2}, pages = {67}, year = {2021}, url = {https://doi.org/10.3390/robotics10020067}, doi = {10.3390/ROBOTICS10020067}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/robotics/FisherCCDDDFFHJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/robotics/PageDWJF21, author = {Vincent Pag{\'{e}} and Christopher Dadswell and Matt Webster and Mike Jump and Michael Fisher}, title = {Towards the Determination of Safe Operating Envelopes for Autonomous {UAS} in Offshore Inspection Missions}, journal = {Robotics}, volume = {10}, number = {3}, pages = {97}, year = {2021}, url = {https://doi.org/10.3390/robotics10030097}, doi = {10.3390/ROBOTICS10030097}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/robotics/PageDWJF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tog/IsikMFEG21, author = {Mustafa Isik and Krishna Mullia and Matthew Fisher and Jonathan Eisenmann and Micha{\"{e}}l Gharbi}, title = {Interactive Monte Carlo denoising using affinity of neural features}, journal = {{ACM} Trans. Graph.}, volume = {40}, number = {4}, pages = {37:1--37:13}, year = {2021}, url = {https://doi.org/10.1145/3450626.3459793}, doi = {10.1145/3450626.3459793}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tog/IsikMFEG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/CardosoMSFD021, author = {Rafael C. Cardoso and John L. Michaloski and Craig Schlenoff and Angelo Ferrando and Louise A. Dennis and Michael Fisher}, editor = {Eric Bell and Fazel Keshtkar}, title = {Agile Tasking of Robotic Systems with Explicit Autonomy}, booktitle = {Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, North Miami Beach, Florida, USA, May 17-19, 2021}, year = {2021}, url = {https://doi.org/10.32473/flairs.v34i1.128481}, doi = {10.32473/FLAIRS.V34I1.128481}, timestamp = {Wed, 26 Oct 2022 08:35:05 +0200}, biburl = {https://dblp.org/rec/conf/flairs/CardosoMSFD021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccv/HongFGF21, author = {James Hong and Matthew Fisher and Micha{\"{e}}l Gharbi and Kayvon Fatahalian}, title = {Video Pose Distillation for Few-Shot, Fine-Grained Sports Action Recognition}, booktitle = {2021 {IEEE/CVF} International Conference on Computer Vision, {ICCV} 2021, Montreal, QC, Canada, October 10-17, 2021}, pages = {9234--9243}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICCV48922.2021.00912}, doi = {10.1109/ICCV48922.2021.00912}, timestamp = {Fri, 11 Mar 2022 10:01:27 +0100}, biburl = {https://dblp.org/rec/conf/iccv/HongFGF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/SmirnovGFGES21, author = {Dmitriy Smirnov and Micha{\"{e}}l Gharbi and Matthew Fisher and Vitor Guizilini and Alexei A. Efros and Justin M. Solomon}, editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan}, title = {MarioNette: Self-Supervised Sprite Learning}, booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual}, pages = {5494--5505}, year = {2021}, url = {https://proceedings.neurips.cc/paper/2021/hash/2bcab9d935d219641434683dd9d18a03-Abstract.html}, timestamp = {Tue, 03 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nips/SmirnovGFGES21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ofc/BianRPHMDRVKYEF21, author = {Yusheng Bian and Koushik Ramachandran and Bo Peng and Brittany Hedrick and Scott Mills and Keith Donegan and Armand Rundquist and Ed Vail and Vaishnavi Karra and Firat Yasar and Monica Esopi and Benjamin Fasano and Asli Sahin and Thomas Houghton and Karen Nummy and Hanyi Ding and Takako Hirokawa and Kevin Dezfulian and Zhuo{-}Jie Wu and Daniel Fisher and Jim Pape and Jay Steffes and Louis Medina and Subharup Gupta Roy and Harry Cox and Bart Green and Jorge Lubguban and Won Suk Lee and Abdelsalam Aboketaf and Michal Rakowski and Kate McLean and Zoey Sowinski and Oh{-}Jung Kwon and Gabrielle Robert and Massimo Sorbara and Subramanian Krishnamurthy and Andy Stricker and Jae Kyu Cho and Ian Melville and Dave Riggs and Rod Augur and Norman Robson and Daniel Berger and Luke Lee and Vikas Gupta and Anthony Yu and Ken Giewont and Ted Letavic and John Pellerin}, title = {Hybrid {III-V} laser integration on a monolithic silicon photonic platform}, booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2021, San Francisco, CA, USA, June 6-10, 2021}, pages = {1--3}, publisher = {{IEEE}}, year = {2021}, url = {https://ieeexplore.ieee.org/document/9489712}, timestamp = {Tue, 03 Aug 2021 11:38:19 +0200}, biburl = {https://dblp.org/rec/conf/ofc/BianRPHMDRVKYEF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/0001DFGMRY21, author = {Raja Chatila and Virginia Dignum and Michael Fisher and Fosca Giannotti and Katharina Morik and Stuart Russell and Karen Yeung}, editor = {Bertrand Braunschweig and Malik Ghallab}, title = {Trustworthy {AI}}, booktitle = {Reflections on Artificial Intelligence for Humanity}, series = {Lecture Notes in Computer Science}, volume = {12600}, pages = {13--39}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-69128-8\_2}, doi = {10.1007/978-3-030-69128-8\_2}, timestamp = {Wed, 20 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/0001DFGMRY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-14553, author = {Dmitriy Smirnov and Micha{\"{e}}l Gharbi and Matthew Fisher and Vitor Guizilini and Alexei A. Efros and Justin Solomon}, title = {MarioNette: Self-Supervised Sprite Learning}, journal = {CoRR}, volume = {abs/2104.14553}, year = {2021}, url = {https://arxiv.org/abs/2104.14553}, eprinttype = {arXiv}, eprint = {2104.14553}, timestamp = {Wed, 05 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-14553.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-01305, author = {James Hong and Matthew Fisher and Micha{\"{e}}l Gharbi and Kayvon Fatahalian}, title = {Video Pose Distillation for Few-Shot, Fine-Grained Sports Action Recognition}, journal = {CoRR}, volume = {abs/2109.01305}, year = {2021}, url = {https://arxiv.org/abs/2109.01305}, eprinttype = {arXiv}, eprint = {2109.01305}, timestamp = {Mon, 20 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-01305.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ibmrd/BusbyCDDDEFHHHH20, author = {James A. Busby and Edward N. Cohen and E. Anne Dames and Jessica Doherty and Silvio Dragone and Dave Evans and Michael J. Fisher and Nihad Hadzic and Christoph Hagleitner and Arthur J. Higby and Michael D. Hocker and Luanne S. Jagich and Michael J. Jordan and Richard Kisley and Kirk D. Lamb and Mark D. Marik and Jimmie Mayfield and Thomas E. Morris and Thomas D. Needham and William Santiago{-}Fernandez and Volker Urban and Tamas Visegrady and Klaus Werner}, title = {The {IBM} 4769 Cryptographic Coprocessor}, journal = {{IBM} J. Res. Dev.}, volume = {64}, number = {5/6}, pages = {3:1--3:11}, year = {2020}, url = {https://doi.org/10.1147/JRD.2020.3008145}, doi = {10.1147/JRD.2020.3008145}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ibmrd/BusbyCDDDEFHHHH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijrr/WebsterWADEFP20, author = {Matt Webster and David G. Western and Dejanira Araiza{-}Illan and Clare Dixon and Kerstin Eder and Michael Fisher and Anthony G. Pipe}, title = {A corroborative approach to verification and validation of human-robot teams}, journal = {Int. J. Robotics Res.}, volume = {39}, number = {1}, year = {2020}, url = {https://doi.org/10.1177/0278364919883338}, doi = {10.1177/0278364919883338}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijrr/WebsterWADEFP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/int/FisherMNOS20, author = {Michael Fisher and Neil A. McKay and Richard J. Nowakowski and Paul Ottaway and Carlos Pereira dos Santos}, title = {Atomic Weight Calculus of Spindly Games}, journal = {Integers}, volume = {20}, pages = {G2}, year = {2020}, url = {http://math.colgate.edu/\&\#126;integers/ug2/ug2.Abstract.html}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/int/FisherMNOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jocs/WebsterBDFM20, author = {Matt Webster and Michael Breza and Clare Dixon and Michael Fisher and Julie A. McCann}, title = {Exploring the effects of environmental conditions and design choices on IoT systems using formal methods}, journal = {J. Comput. Sci.}, volume = {45}, pages = {101183}, year = {2020}, url = {https://doi.org/10.1016/j.jocs.2020.101183}, doi = {10.1016/J.JOCS.2020.101183}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jocs/WebsterBDFM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tim/FisherBHWLJMTYC20, author = {Edward M. D. Fisher and Thomas Benoy and Gordon Humphries and David Wilson and Michael Lengden and Walter Johnstone and Hugh McCann and Stylianos{-}Alexios Tsekenis and Yunjie Yang and Andrea Chighine and Chang Liu and Nick Polydorides and Paul Wright and Juraj Kliment and Krikor B. Ozanyan}, title = {A Custom, High-Channel Count Data Acquisition System for Chemical Species Tomography of Aero-Jet Engine Exhaust Plumes}, journal = {{IEEE} Trans. Instrum. Meas.}, volume = {69}, number = {2}, pages = {549--558}, year = {2020}, url = {https://doi.org/10.1109/TIM.2019.2895932}, doi = {10.1109/TIM.2019.2895932}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tim/FisherBHWLJMTYC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dihu/CamlotCPFFKMMOS20, author = {Jason Camlot and Tanya E. Clement and Klara du Plessis and Liz Fisher and Deanna Fong and Yuliya Kondratenko and Emily Christina Murphy and Annie Murray and Michael O'Driscoll and Karis Shearer}, editor = {Laura Estill and Jennifer Guiliano}, title = {Ethical Soundings in Collaborative Digital Humanities Research Projects: Critical Scenarios from The SpokenWeb}, booktitle = {15th Annual International Conference of the Alliance of Digital Humanities Organizations, {DH} 2020, Ottawa, Canada, July 20-25, 2020, Conference Abstracts}, year = {2020}, url = {https://dh2020.adho.org/wp-content/uploads/2020/07/714\_EthicalSoundingsinCollaborativeDigitalHumanitiesResearchProjectsCriticalScenariosfromTheSpokenWeb.html}, timestamp = {Fri, 15 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dihu/CamlotCPFFKMMOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/AndrienkoADFFIK20, author = {Gennady L. Andrienko and Natalia V. Andrienko and Steven Mark Drucker and Jean{-}Daniel Fekete and Danyel Fisher and Stratos Idreos and Tim Kraska and Guoliang Li and Kwan{-}Liu Ma and Jock D. Mackinlay and Antti Oulasvirta and Tobias Schreck and Heidrun Schumann and Michael Stonebraker and David Auber and Nikos Bikakis and Panos K. Chrysanthis and George Papastefanatos and Mohamed A. Sharaf}, editor = {Alexandra Poulovassilis and David Auber and Nikos Bikakis and Panos K. Chrysanthis and George Papastefanatos and Mohamed A. Sharaf and Nikos Pelekis and Chiara Renso and Yannis Theodoridis and Karine Zeitouni and Tania Cerquitelli and Silvia Chiusano and Genoveva Vargas{-}Solar and Behrooz Omidvar{-}Tehrani and Katharina Morik and Jean{-}Michel Renders and Donatella Firmani and Letizia Tanca and Davide Mottin and Matteo Lissandrini and Yannis Velegrakis}, title = {Big Data Visualization and Analytics: Future Research Challenges and Emerging Applications}, booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2020 Joint Conference, Copenhagen, Denmark, March 30, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2578}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2578/BigVis1.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:44 +0100}, biburl = {https://dblp.org/rec/conf/edbt/AndrienkoADFFIK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/TurnerCOSG20, author = {Jack Turner and Elliot J. Crowley and Michael F. P. O'Boyle and Amos J. Storkey and Gavin Gray}, title = {BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget}, booktitle = {8th International Conference on Learning Representations, {ICLR} 2020, Addis Ababa, Ethiopia, April 26-30, 2020}, publisher = {OpenReview.net}, year = {2020}, url = {https://openreview.net/forum?id=SklkDkSFPB}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclr/TurnerCOSG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icton/RoztockiCMSRICZ20, author = {Piotr Roztocki and Mario Chemnitz and Benjamin MacLellan and Stefania Sciara and Christian Reimer and Mehedi Islam and Luis Romero Cort{\'{e}}s and Yanbing Zhang and Bennet Fisher and Sebastien Loranger and Raman Kashyap and Alfonso Cino and Sai T. Chu and Brent E. Little and David J. Moss and Lucia Caspani and William J. Munro and Jos{\'{e}} Aza{\~{n}}a and Michael Kues and Roberto Morandotti}, title = {Designing Time and Frequency Entanglement for Generation of High-Dimensional Photon Cluster States}, booktitle = {22nd International Conference on Transparent Optical Networks, {ICTON} 2020, Bari, Italy, July 19-23, 2020}, pages = {1--4}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICTON51198.2020.9203265}, doi = {10.1109/ICTON51198.2020.9203265}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icton/RoztockiCMSRICZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ZhaoBSRF0020, author = {Xingyu Zhao and Alec Banks and James Sharp and Valentin Robu and David Flynn and Michael Fisher and Xiaowei Huang}, editor = {Ant{\'{o}}nio Casimiro and Frank Ortmeier and Friedemann Bitsch and Pedro Ferreira}, title = {A Safety Framework for Critical Systems Utilising Deep Neural Networks}, booktitle = {Computer Safety, Reliability, and Security - 39th International Conference, {SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12234}, pages = {244--259}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-54549-9\_16}, doi = {10.1007/978-3-030-54549-9\_16}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ZhaoBSRF0020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-05311, author = {Xingyu Zhao and Alec Banks and James Sharp and Valentin Robu and David Flynn and Michael Fisher and Xiaowei Huang}, title = {A Safety Framework for Critical Systems Utilising Deep Neural Networks}, journal = {CoRR}, volume = {abs/2003.05311}, year = {2020}, url = {https://arxiv.org/abs/2003.05311}, eprinttype = {arXiv}, eprint = {2003.05311}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-05311.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cbsn/OrtizFFHS19, author = {Shelby N. Ortiz and Lauren N. Forrest and Thomas J. Fisher and Michael Hughes and April R. Smith}, title = {Changes in Internet Suicide Search Volumes Following Celebrity Suicides}, journal = {Cyberpsychology Behav. Soc. Netw.}, volume = {22}, number = {6}, pages = {373--380}, year = {2019}, url = {https://doi.org/10.1089/cyber.2018.0488}, doi = {10.1089/CYBER.2018.0488}, timestamp = {Sat, 30 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cbsn/OrtizFFHS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nature/SnyderLPARRRGHS19, author = {Michael P. Snyder and Shin Lin and Amanda Posgai and Mark Atkinson and Aviv Regev and Jennifer Rood and Orit Rozenblatt{-}Rosen and Leslie Gaffney and Anna Hupalowska and Rahul Satija and Nils Gehlenborg and Jay Shendure and Julia Laskin and Pehr Harbury and Nicholas A. Nystrom and Jonathan C. Silverstein and Ziv Bar{-}Joseph and Kun Zhang and Katy B{\"{o}}rner and Yiing Lin and Richard Conroy and Dena Procaccini and Ananda L. Roy and Ajay Pillai and Marishka Brown and Zorina S. Galis and Long Cai and Cole Trapnell and Dana Jackson and Garry P. Nolan and William James Greenleaf and Sylvia K. Plevritis and Sara Ahadi and Stephanie A. Nevins and Hayan Lee and Christian Martijn Schuerch and Sarah Black and Vishal Gautham Venkataraaman and Ed Esplin and Aaron Horning and Amir Bahmani and Xin Sun and Sanjay Jain and James S. Hagood and Gloria Pryhuber and Peter V. Kharchenko and Bernd Bodenmiller and Todd Brusko and Michael Clare{-}Salzler and Harry Nick and Kevin Otto and Clive Wasserfall and Marda Jorgensen and Maigan Brusko and Sergio Maffioletti and Richard M. Caprioli and Jeffrey M. Spraggins and Danielle Gutierrez and Nathan Heath Patterson and Elizabeth K. Neumann and Raymond Harris and Mark P. de Caestecker and Agnes B. Fogo and Raf Van de Plas and Ken Lau and Guo{-}Cheng Yuan and Qian Zhu and Ruben Dries and Peng Yin and Sinem K. Saka and Jocelyn Y. Kishi and Yu Wang and Isabel Goldaracena and Dong Hye Ye and Kristin E. Burnum{-}Johnson and Paul D. Piehowski and Charles Ansong and Ying Zhu and Tushar Desai and Jay Mulye and Peter Chou and Monica Nagendran and Sarah A. Teichmann and Benedict Paten and Robert F. Murphy and Jian Ma and Vladimir Yu. Kiselev and Carl Kingsford and Allyson Ricarte and Maria Keays and Sushma Anand Akoju and Matthew Ruffalo and Margaret Vella and Chuck McCallum and Leonard E. Cross and Samuel H. Friedman and Randy W. Heiland and Bruce William Herr II and Paul Macklin and Ellen M. Quardokus and Lisel Record and James P. Sluka and Griffin M. Weber and Philip D. Blood and Alexander Ropelewski and William Shirey and Robin M. Scibek and Paula M. Mabee and W. Christopher Lenhardt and Kimberly Robasky and Stavros Michailidis and John C. Marioni and Andrew Butler and Tim Stuart and Eyal Fisher and Shila Ghazanfar and G{\"{o}}kcen Eraslan and Tommaso Biancalani and Eeshit D. Vaishnav and Pothur Srinivas and Aaron Pawlyk and Salvatore Sechi and Elizabeth L. Wilder and James Anderson}, title = {The human body at cellular resolution: the {NIH} Human Biomolecular Atlas Program}, journal = {Nat.}, volume = {574}, number = {7777}, pages = {187--192}, year = {2019}, url = {https://doi.org/10.1038/s41586-019-1629-x}, doi = {10.1038/S41586-019-1629-X}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nature/SnyderLPARRRGHS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/3dor/DykeSLRABBBCFGG19, author = {Roberto M. Dyke and C. Stride and Yu{-}Kun Lai and Paul L. Rosin and Mathieu Aubry and Amit Boyarski and Alexander M. Bronstein and Michael M. Bronstein and Daniel Cremers and Matthew Fisher and Thibault Groueix and Daoliang Guo and Vladimir G. Kim and Ron Kimmel and Zorah L{\"{a}}hner and Kun Li and Or Litany and Tal Remez and Emanuele Rodol{\`{a}} and Bryan C. Russell and Yusuf Sahillioglu and Ron Slossberg and Gary K. L. Tam and Matthias Vestner and Z. Wu and Jingyu Yang}, editor = {Silvia Biasotti and Guillaume Lavou{\'{e}} and Remco C. Veltkamp}, title = {Shape Correspondence with Isometric and Non-Isometric Deformations}, booktitle = {12th Eurographics Workshop on 3D Object Retrieval, 3DOR@Eurographics 2019, Genoa, Italy, May 5-6, 2019}, pages = {111--119}, publisher = {Eurographics Association}, year = {2019}, url = {https://doi.org/10.2312/3dor.20191069}, doi = {10.2312/3DOR.20191069}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/3dor/DykeSLRABBBCFGG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emas/KoemanDW0H19, author = {Vincent J. Koeman and Louise A. Dennis and Matt Webster and Michael Fisher and Koen V. Hindriks}, editor = {Louise A. Dennis and Rafael H. Bordini and Yves Lesp{\'{e}}rance}, title = {The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems}, booktitle = {Engineering Multi-Agent Systems - 7th International Workshop, {EMAS} 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12058}, pages = {152--172}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-51417-4\_8}, doi = {10.1007/978-3-030-51417-4\_8}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emas/KoemanDW0H19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icton/RoztockiRSICZFL19, author = {Piotr Roztocki and Christian Reimer and Stefania Sciara and Mehedi Islam and Luis Romero Cort{\'{e}}s and Yanbing Zhang and Bennet Fisher and Sebastien Loranger and Raman Kashyap and Alfonso Cino and Sai T. Chu and Brent E. Little and David J. Moss and Lucia Caspani and William J. Munro and Jos{\'{e}} Aza{\~{n}}a and Michael Kues and Roberto Morandotti}, title = {Kerr Combs and Telecommunications Components for the Generation and High-Dimensional Quantum Processing of d-Level Cluster States}, booktitle = {21st International Conference on Transparent Optical Networks, {ICTON} 2019, Angers, France, July 9-13, 2019}, pages = {1--3}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICTON.2019.8840346}, doi = {10.1109/ICTON.2019.8840346}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icton/RoztockiRSICZFL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/ZhaoOLRFHFPF19, author = {Xingyu Zhao and Matthew Osborne and Jenny Lantair and Valentin Robu and David Flynn and Xiaowei Huang and Michael Fisher and Fabio Papacchini and Angelo Ferrando}, editor = {Peter Csaba {\"{O}}lveczky and Gwen Sala{\"{u}}n}, title = {Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management}, booktitle = {Software Engineering and Formal Methods - 17th International Conference, {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11724}, pages = {105--124}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30446-1\_6}, doi = {10.1007/978-3-030-30446-1\_6}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/ZhaoOLRFHFPF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-04113, author = {Jack Turner and Elliot J. Crowley and Gavin Gray and Amos J. Storkey and Michael F. P. O'Boyle}, title = {BlockSwap: Fisher-guided Block Substitution for Network Compression}, journal = {CoRR}, volume = {abs/1906.04113}, year = {2019}, url = {http://arxiv.org/abs/1906.04113}, eprinttype = {arXiv}, eprint = {1906.04113}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-04113.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-03019, author = {Xingyu Zhao and Matthew Osborne and Jenny Lantair and Valentin Robu and David Flynn and Xiaowei Huang and Michael Fisher and Fabio Papacchini and Angelo Ferrando}, title = {Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management}, journal = {CoRR}, volume = {abs/1909.03019}, year = {2019}, url = {http://arxiv.org/abs/1909.03019}, eprinttype = {arXiv}, eprint = {1909.03019}, timestamp = {Tue, 29 Mar 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-03019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computers/CalderDFM18, author = {Muffy Calder and Simon Dobson and Michael Fisher and Julie A. McCann}, title = {Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems}, journal = {Comput.}, volume = {7}, number = {4}, pages = {62}, year = {2018}, url = {https://doi.org/10.3390/computers7040062}, doi = {10.3390/COMPUTERS7040062}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computers/CalderDFM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/WebsterBDFM18, author = {Matt Webster and Michael Breza and Clare Dixon and Michael Fisher and Julie A. McCann}, title = {Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {76}, year = {2018}, url = {https://doi.org/10.14279/tuj.eceasst.76.1078}, doi = {10.14279/TUJ.ECEASST.76.1078}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/WebsterBDFM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/expert/AitkenVSGCDFKRM18, author = {Jonathan M. Aitken and Sandor M. Veres and Affan Shaukat and Yang Gao and Elisa Cucco and Louise A. Dennis and Michael Fisher and Jeffrey A. Kuo and Thomas Robinson and Paul E. Mort}, title = {Autonomous Nuclear Waste Management}, journal = {{IEEE} Intell. Syst.}, volume = {33}, number = {6}, pages = {47--55}, year = {2018}, url = {https://doi.org/10.1109/MIS.2018.111144814}, doi = {10.1109/MIS.2018.111144814}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/expert/AitkenVSGCDFKRM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijgt/FisherNS18, author = {Michael Fisher and Richard J. Nowakowski and Carlos Pereira dos Santos}, title = {Sterling stirling play}, journal = {Int. J. Game Theory}, volume = {47}, number = {2}, pages = {557--576}, year = {2018}, url = {https://doi.org/10.1007/s00182-017-0598-2}, doi = {10.1007/S00182-017-0598-2}, timestamp = {Tue, 28 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijgt/FisherNS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Dennis0W18, author = {Louise A. Dennis and Michael Fisher and Matt Webster}, title = {Two-stage agent program verification}, journal = {J. Log. Comput.}, volume = {28}, number = {3}, pages = {499--523}, year = {2018}, url = {https://doi.org/10.1093/logcom/exv002}, doi = {10.1093/LOGCOM/EXV002}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/Dennis0W18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/i2mtc/FisherTYCPMWOWL18, author = {Edward M. D. Fisher and Stylianos{-}Alexios Tsekenis and Yunjie Yang and Andrea Chighine and Nicholas Polydorides and Hugh McCann and Paul Wright and Krikor B. Ozanyan and David Wilson and Michael Lengden and Walter Johnstone}, title = {An embedded processing design for 192-channel 10-40 MS/s aero-engine optical tomography: Progress and continued {DAQ} characterisation}, booktitle = {{IEEE} International Instrumentation and Measurement Technology Conference, {I2MTC} 2018, Houston, TX, USA, May 14-17, 2018}, pages = {1--6}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/I2MTC.2018.8409588}, doi = {10.1109/I2MTC.2018.8409588}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/i2mtc/FisherTYCPMWOWL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/SedalFBWK18, author = {Audrey Sedal and Michael W. Fisher and Joshua Bishop{-}Moser and Alan Wineman and Sridhar Kota}, title = {Auxetic Sleeves for Soft Actuators with Kinematically Varied Surfaces}, booktitle = {2018 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2018, Madrid, Spain, October 1-5, 2018}, pages = {464--471}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IROS.2018.8594212}, doi = {10.1109/IROS.2018.8594212}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/iros/SedalFBWK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/FisherCDLWJPPDF18, author = {Michael Fisher and Emily C. Collins and Louise A. Dennis and Matt Luckcuck and Matt Webster and Mike Jump and Vincent Pag{\'{e}} and Charles Patchett and Fateme Dinmohammadi and David Flynn and Valentin Robu and Xingyu Zhao}, editor = {Sudipto Ghosh and Roberto Natella and Bojan Cukic and Robin S. Poston and Nuno Laranjeiro}, title = {Verifiable Self-Certifying Autonomous Systems}, booktitle = {2018 {IEEE} International Symposium on Software Reliability Engineering Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018}, pages = {341--348}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/ISSREW.2018.00028}, doi = {10.1109/ISSREW.2018.00028}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issre/FisherCDLWJPPDF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-10478, author = {Muffy Calder and Simon Dobson and Michael Fisher and Julie A. McCann}, title = {Making Sense of the World: Models for Reliable Sensor-Driven Systems}, journal = {CoRR}, volume = {abs/1803.10478}, year = {2018}, url = {http://arxiv.org/abs/1803.10478}, eprinttype = {arXiv}, eprint = {1803.10478}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-10478.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/FeketeF0S18, author = {Jean{-}Daniel Fekete and Danyel Fisher and Arnab Nandi and Michael Sedlmair}, title = {Progressive Data Analysis and Visualization (Dagstuhl Seminar 18411)}, journal = {Dagstuhl Reports}, volume = {8}, number = {10}, pages = {1--40}, year = {2018}, url = {https://doi.org/10.4230/DagRep.8.10.1}, doi = {10.4230/DAGREP.8.10.1}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FeketeF0S18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/FisherILWNB17, author = {Doug Fisher and Charles Lee Isbell Jr. and Michael L. Littman and Michael Wollowski and Todd W. Neller and Jim Boerkoel}, title = {Ask Me Anything about MOOCs}, journal = {{AI} Mag.}, volume = {38}, number = {2}, pages = {7--12}, year = {2017}, url = {https://doi.org/10.1609/aimag.v38i2.2729}, doi = {10.1609/AIMAG.V38I2.2729}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/FisherILWNB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fini/HolmesPMIHWCOJM17, author = {Holly E. Holmes and Nick M. Powell and Da Ma and Ozama Ismail and Ian F. Harrison and Jack A. Wells and Niall Colgan and James M. O'Callaghan and Ross A. Johnson and Tracey K. Murray and Zeshan Ahmed and Morten Heggenes and Alice Fisher and M. Jorge Cardoso and Marc Modat and Michael J. O'Neill and Emily C. Collins and Elizabeth M. C. Fisher and S{\'{e}}bastien Ourselin and Mark F. Lythgoe}, title = {Comparison of In Vivo and Ex Vivo {MRI} for the Detection of Structural Abnormalities in a Mouse Model of Tauopathy}, journal = {Frontiers Neuroinformatics}, volume = {11}, pages = {20}, year = {2017}, url = {https://doi.org/10.3389/fninf.2017.00020}, doi = {10.3389/FNINF.2017.00020}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fini/HolmesPMIHWCOJM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lp/JubbF17, author = {Michael Jubb and Richard Fisher}, title = {The supply chain for academic books: Why is it so complex and how might we drive change?}, journal = {Learn. Publ.}, volume = {30}, number = {4}, pages = {331--335}, year = {2017}, url = {https://doi.org/10.1002/leap.1119}, doi = {10.1002/LEAP.1119}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lp/JubbF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/neuroimage/OCallaghanHPWIH17, author = {James M. O'Callaghan and Holly E. Holmes and Nick M. Powell and Jack A. Wells and Ozama Ismail and Ian F. Harrison and Bernard Siow and Ross A. Johnson and Zeshan Ahmed and Alice Fisher and Soraya Meftah and Michael J. O'Neill and Tracey K. Murray and Emily C. Collins and Karin Shmueli and Mark F. Lythgoe}, title = {Tissue magnetic susceptibility mapping as a marker of tau pathology in Alzheimer's disease}, journal = {NeuroImage}, volume = {159}, pages = {334--345}, year = {2017}, url = {https://doi.org/10.1016/j.neuroimage.2017.08.003}, doi = {10.1016/J.NEUROIMAGE.2017.08.003}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/neuroimage/OCallaghanHPWIH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tog/DeVitoMZBRTHFN17, author = {Zachary DeVito and Michael Mara and Michael Zollh{\"{o}}fer and Gilbert Bernstein and Jonathan Ragan{-}Kelley and Christian Theobalt and Pat Hanrahan and Matthew Fisher and Matthias Nie{\ss}ner}, title = {Opt: {A} Domain Specific Language for Non-Linear Least Squares Optimization in Graphics and Imaging}, journal = {{ACM} Trans. Graph.}, volume = {36}, number = {5}, pages = {171:1--171:27}, year = {2017}, url = {https://doi.org/10.1145/3132188}, doi = {10.1145/3132188}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tog/DeVitoMZBRTHFN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bdta/RamosFCE17, author = {Anna Liza A. Ramos and Jerico M. Flor and Michael M. Casabuena and Jheanel E. Estrada}, editor = {Jason J. Jung and Pankoo Kim and Kwang Nam Choi}, title = {Face Expression Extraction Using Eigenfaces, Fisherfaces and Local Binary Pattern Histogram Towards Predictive Analysis of Students Emotion in Programming}, booktitle = {Big Data Technologies and Applications - 8th International Conference, {BDTA} 2017, Gwangju, South Korea, November 23-24, 2017, Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {248}, pages = {38--46}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-98752-1\_5}, doi = {10.1007/978-3-319-98752-1\_5}, timestamp = {Tue, 14 May 2019 15:50:13 +0200}, biburl = {https://dblp.org/rec/conf/bdta/RamosFCE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/GainerDDFHSW17, author = {Paul Gainer and Clare Dixon and Kerstin Dautenhahn and Michael Fisher and Ullrich Hustadt and Joe Saunders and Matt Webster}, editor = {Laure Petrucci and Cristina Seceleanu and Ana Cavalcanti}, title = {CRutoN: Automatic Verification of a Robotic Assistant's Behaviours}, booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10471}, pages = {119--133}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67113-0\_8}, doi = {10.1007/978-3-319-67113-0\_8}, timestamp = {Mon, 21 Feb 2022 14:40:51 +0100}, biburl = {https://dblp.org/rec/conf/fmics/GainerDDFHSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CharisiDFLMSSWY17, author = {Vicky Charisi and Louise A. Dennis and Michael Fisher and Robert Lieck and Andreas Matthias and Marija Slavkovik and Janina Sombetzki and Alan F. T. Winfield and Roman Yampolskiy}, title = {Towards Moral Autonomous Systems}, journal = {CoRR}, volume = {abs/1703.04741}, year = {2017}, url = {http://arxiv.org/abs/1703.04741}, eprinttype = {arXiv}, eprint = {1703.04741}, timestamp = {Tue, 21 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/CharisiDFLMSSWY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iando/FisherBL16, author = {Michael Fisher and Richard Boland Jr. and Kalle Lyytinen}, title = {Social networking as the production and consumption of a self}, journal = {Inf. Organ.}, volume = {26}, number = {4}, pages = {131--145}, year = {2016}, url = {https://doi.org/10.1016/j.infoandorg.2016.11.001}, doi = {10.1016/J.INFOANDORG.2016.11.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iando/FisherBL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jmlr/QinCS16, author = {Xiangju Qin and P{\'{a}}draig Cunningham and Michael Salter{-}Townshend}, title = {Online Trans-dimensional von Mises-Fisher Mixture Models for User Profiles}, journal = {J. Mach. Learn. Res.}, volume = {17}, pages = {200:1--200:51}, year = {2016}, url = {https://jmlr.org/papers/v17/15-454.html}, timestamp = {Wed, 11 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jmlr/QinCS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/neuroimage/ColganSOHWHIRAC16, author = {Niall Colgan and Bernard Siow and James M. O'Callaghan and Ian F. Harrison and Jack A. Wells and Holly E. Holmes and Ozama Ismail and Simon Richardson and Daniel C. Alexander and Emily C. Collins and Elizabeth M. C. Fisher and Ross A. Johnson and Adam J. Schwarz and Zeshan Ahmed and Michael J. O'Neill and Tracey K. Murray and Hui Zhang and Mark F. Lythgoe}, title = {Application of neurite orientation dispersion and density imaging {(NODDI)} to a tau pathology model of Alzheimer's disease}, journal = {NeuroImage}, volume = {125}, pages = {739--744}, year = {2016}, url = {https://doi.org/10.1016/j.neuroimage.2015.10.043}, doi = {10.1016/J.NEUROIMAGE.2015.10.043}, timestamp = {Mon, 02 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/neuroimage/ColganSOHWHIRAC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/thms/WebsterDFSSKDS16, author = {Matt Webster and Clare Dixon and Michael Fisher and Maha Salem and Joe Saunders and Kheng Lee Koay and Kerstin Dautenhahn and Joan Saez{-}Pons}, title = {Toward Reliable Autonomous Robotic Assistants Through Formal Verification: {A} Case Study}, journal = {{IEEE} Trans. Hum. Mach. Syst.}, volume = {46}, number = {2}, pages = {186--196}, year = {2016}, url = {https://doi.org/10.1109/THMS.2015.2425139}, doi = {10.1109/THMS.2015.2425139}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/thms/WebsterDFSSKDS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/BattleFDBCG16, author = {Leilani Battle and Danyel Fisher and Robert DeLine and Mike Barnett and Badrish Chandramouli and Jonathan Goldstein}, editor = {Jofish Kaye and Allison Druin and Cliff Lampe and Dan Morris and Juan Pablo Hourcade}, title = {Making Sense of Temporal Queries with Interactive Visualization}, booktitle = {Proceedings of the 2016 {CHI} Conference on Human Factors in Computing Systems, San Jose, CA, USA, May 7-12, 2016}, pages = {5433--5443}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2858036.2858408}, doi = {10.1145/2858036.2858408}, timestamp = {Tue, 07 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/chi/BattleFDBCG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taros/DennisACCKMSAGV16, author = {Louise A. Dennis and Jonathan M. Aitken and Joe Collenette and Elisa Cucco and Maryam Kamali and Owen McAree and Affan Shaukat and Katie Atkinson and Yang Gao and Sandor M. Veres and Michael Fisher}, editor = {Lyuba Alboul and Dana D. Damian and Jonathan M. Aitken}, title = {Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice}, booktitle = {Towards Autonomous Robotic Systems - 17th Annual Conference, {TAROS} 2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9716}, pages = {75--86}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40379-3\_8}, doi = {10.1007/978-3-319-40379-3\_8}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/taros/DennisACCKMSAGV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DeVitoMZBRTHFN16, author = {Zachary DeVito and Michael Mara and Michael Zollh{\"{o}}fer and Gilbert Louis Bernstein and Jonathan Ragan{-}Kelley and Christian Theobalt and Pat Hanrahan and Matthew Fisher and Matthias Nie{\ss}ner}, title = {Opt: {A} Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging}, journal = {CoRR}, volume = {abs/1604.06525}, year = {2016}, url = {http://arxiv.org/abs/1604.06525}, eprinttype = {arXiv}, eprint = {1604.06525}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DeVitoMZBRTHFN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/moc/CremonaFOSS15, author = {J. E. Cremona and Tom A. Fisher and Cathy O'Neil and Denis Simon and Michael Stoll}, title = {Explicit n-descent on elliptic curves {III.} Algorithms}, journal = {Math. Comput.}, volume = {84}, number = {292}, pages = {895--922}, year = {2015}, url = {https://doi.org/10.1090/S0025-5718-2014-02858-5}, doi = {10.1090/S0025-5718-2014-02858-5}, timestamp = {Fri, 08 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/moc/CremonaFOSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nature/ConsortiumKMEBY15, author = {Roadmap Epigenomics Consortium and Anshul Kundaje and Wouter Meuleman and Jason Ernst and Misha Bilenky and Angela Yen and Alireza Heravi Moussavi and Pouya Kheradpour and ZhiZhuo Zhang and Jianrong Wang and Michael J. Ziller and Viren Amin and John W. Whitaker and Matthew D. Schultz and Lucas D. Ward and Abhishek Sarkar and Gerald T. Quon and Richard S. Sandstrom and Matthew L. Eaton and Yi{-}Chieh Wu and Andreas R. Pfenning and Xinchen Wang and Melina Claussnitzer and Yaping Liu and Cristian Coarfa and R. Alan Harris and Noam Shoresh and Charles B. Epstein and Elizabeta Gjoneska and Danny Leung and Wei Xie and R. David Hawkins and Ryan Lister and Chibo Hong and Philippe Gascard and Andrew J. Mungall and Richard A. Moore and Eric Chuah and Angela Tam and Theresa K. Canfield and R. Scott Hansen and Rajinder Kaul and Peter J. Sabo and Mukul S. Bansal and Annaick Carles and Jesse R. Dixon and Kyle Kai{-}How Farh and Soheil Feizi and Rosa Karlic and Ah{-}Ram Kim and Ashwinikumar Kulkarni and Daofeng Li and Rebecca F. Lowdon and GiNell Elliott and Tim R. Mercer and Shane J. Neph and Vitor Onuchic and Paz Polak and Nisha Rajagopal and Pradipta Ray and Richard C. Sallari and Kyle T. Siebenthall and Nicholas A. Sinnott{-}Armstrong and Michael Stevens and Robert E. Thurman and Jie Wu and Bo Zhang and Xin Zhou and Arthur E. Beaudet and Laurie A. Boyer and Philip L. De Jager and Peggy J. Farnham and Susan J. Fisher and David Haussler and Steven J. M. Jones and Wei Li and Marco A. Marra and Michael T. McManus and Shamil R. Sunyaev and James A. Thomson and Thea D. Tlsty and Li{-}Huei Tsai and Wei Wang and Robert A. Waterland and Michael Q. Zhang and Lisa H. Chadwick and Bradley E. Bernstein and Joseph F. Costello and Joseph R. Ecker and Martin Hirst and Alexander Meissner and Aleksandar Milosavljevic and Bing Ren and John A. Stamatoyannopoulos and Ting Wang and Manolis Kellis}, title = {Integrative analysis of 111 reference human epigenomes Open}, journal = {Nat.}, volume = {518}, number = {7539}, pages = {317--330}, year = {2015}, url = {https://doi.org/10.1038/nature14248}, doi = {10.1038/NATURE14248}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nature/ConsortiumKMEBY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiide/RyanFOMW15, author = {James Owen Ryan and Andrew Max Fisher and Taylor Owen{-}Milner and Michael Mateas and Noah Wardrip{-}Fruin}, title = {Toward Natural Language Generation by Humans}, booktitle = {8th Workshop on Intelligent Narrative Technologies and 4th Workshop on Social Believability in Games, INT/SBG@AIIDE 2015, Santa Cruz, CA, USA, November 14-15, 2015}, series = {{AAAI} Workshops}, volume = {{WS-15-22}}, pages = {53--56}, publisher = {{AAAI} Press}, year = {2015}, url = {https://www.aaai.org/ocs/index.php/AIIDE/AIIDE15/paper/view/11614}, timestamp = {Wed, 10 Feb 2021 22:01:14 +0100}, biburl = {https://dblp.org/rec/conf/aiide/RyanFOMW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdg/RyanKFHOMW15, author = {James Owen Ryan and Eric Kaltman and Andrew Max Fisher and Timothy Hong and Taylor Owen{-}Milner and Michael Mateas and Noah Wardrip{-}Fruin}, editor = {Jos{\'{e}} P. Zagal and Esther MacCallum{-}Stewart and Julian Togelius}, title = {Large-Scale Interactive Visualizations of Nearly 12, 000 Games}, booktitle = {Proceedings of the 10th International Conference on the Foundations of Digital Games, {FDG} 2015, Pacific Grove, CA, USA, June 22-25, 2015}, publisher = {Society for the Advancement of the Science of Digital Games}, year = {2015}, url = {http://www.fdg2015.org/papers/fdg2015\_extended\_abstract\_10.pdf}, timestamp = {Tue, 20 Jul 2021 13:58:44 +0200}, biburl = {https://dblp.org/rec/conf/fdg/RyanKFHOMW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/haptics/Melendez-Calderon15, author = {Alejandro Melendez{-}Calderon and Moria E. Fisher and Michael Tan and Etienne Burdet and James L. Patton}, title = {Acquisition of motor skills in isometric conditions through synesthetic illusions of movement}, booktitle = {2015 {IEEE} World Haptics Conference, {WHC} 2015, Evanston, IL, USA, June 22-26, 2015}, pages = {428--433}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/WHC.2015.7177749}, doi = {10.1109/WHC.2015.7177749}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/haptics/Melendez-Calderon15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/DeLineFCG0TW15, author = {Robert DeLine and Danyel Fisher and Badrish Chandramouli and Jonathan Goldstein and Michael Barnett and James F. Terwilliger and John Wernsing}, editor = {Zhen Li and Claudia Ermel and Scott D. Fleming}, title = {Tempe: Live scripting for live data}, booktitle = {2015 {IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2015, Atlanta, GA, USA, October 18-22, 2015}, pages = {137--141}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/VLHCC.2015.7357208}, doi = {10.1109/VLHCC.2015.7357208}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/DeLineFCG0TW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HuaCDFSY15, author = {Michael Hua and Daniel Capodilupo and Steven Benjamin Damelin and Samuel Freedman and Jeffrey Sun and Mingchao Fisher Yu}, title = {The Truncated, Upper-Triangle Pascal Matrix, Linear Independence and Results in Matroid Theory}, journal = {CoRR}, volume = {abs/1506.07437}, year = {2015}, url = {http://arxiv.org/abs/1506.07437}, eprinttype = {arXiv}, eprint = {1506.07437}, timestamp = {Tue, 22 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/HuaCDFSY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacic/WebsterCFJ14, author = {Matthew P. Webster and Neil Cameron and Michael Fisher and Mike Jump}, title = {Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation}, journal = {J. Aerosp. Inf. Syst.}, volume = {11}, number = {5}, pages = {258--279}, year = {2014}, url = {https://doi.org/10.2514/1.I010096}, doi = {10.2514/1.I010096}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacic/WebsterCFJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/DennisFAVGSB14, author = {Louise A. Dennis and Michael Fisher and Jonathan M. Aitken and Sandor M. Veres and Yang Gao and Affan Shaukat and Guy Burroughes}, title = {Reconfigurable Autonomy}, journal = {K{\"{u}}nstliche Intell.}, volume = {28}, number = {3}, pages = {199--207}, year = {2014}, url = {https://doi.org/10.1007/s13218-014-0308-1}, doi = {10.1007/S13218-014-0308-1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/DennisFAVGSB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/FisherTDG14, author = {Michael Fisher and Leendert W. N. van der Torre and Mehdi Dastani and Guido Governatori}, title = {Preface to the Special Issue on Computational Logic in Multi-Agent Systems {(CLIMA} {XIII)}}, journal = {J. Log. Comput.}, volume = {24}, number = {6}, pages = {1251--1252}, year = {2014}, url = {https://doi.org/10.1093/logcom/ext075}, doi = {10.1093/LOGCOM/EXT075}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/FisherTDG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nature/ConsortiumFKRB14, author = {The Fantom Consortium and RIKEN PMII and RIKEN CLST (DGT) and Alistair R. R. Forrest and Hideya Kawaji and Michael Rehli and J. Kenneth Baillie and Michiel J. L. de Hoon and Vanja Haberle and Timo Lassmann and Ivan V. Kulakovskiy and Marina Lizio and Masayoshi Itoh and Robin Andersson and Christopher J. Mungall and Terrence F. Meehan and Sebastian Schmeier and Nicolas Bertin and Mette J{\o}rgensen and Emmanuel Dimont and Erik Arner and Christian Schmidl and Ulf Schaefer and Yulia A. Medvedeva and Charles Plessy and Morana Vitezic and Jessica Severin and Colin A. M. Semple and Yuri Ishizu and Robert S. Young and Margherita Francescatto and Intikhab Alam and Davide Albanese and Gabriel M. Altschuler and Takahiro Arakawa and John A. C. Archer and Peter Arner and Magda Babina and Sarah Rennie and Piotr J. Balwierz and Anthony G. Beckhouse and Swati Pradhan{-}Bhatt and Judith A. Blake and Antje Blumenthal and Beatrice Bodega and Alessandro Bonetti and James Briggs and Frank Brombacher and A. Maxwell Burroughs and Andrea Califano and Carlo V. Cannistraci and Daniel Carbajo and Yun Chen and Marco Chierici and Yari Ciani and Hans Clevers and Emiliano Dalla and Carrie A. Davis and Michael Detmar and Alexander D. Diehl and Taeko Dohi and Finn Drabl{\o}s and Albert S. B. Edge and Matthias Edinger and Karl Ekwall and Mitsuhiro Endoh and Hideki Enomoto and Michela Fagiolini and Lynsey Fairbairn and Hai Fang and Mary C. Farach{-}Carson and Geoffrey J. Faulkner and Alexander V. Favorov and Malcolm E. Fisher and Martin C. Frith and Rie Fujita and Shiro Fukuda and Cesare Furlanello and Masaaki Furuno and Jun{-}ichi Furusawa and Teunis B. Geijtenbeek and Andrew P. Gibson and Thomas R. Gingeras and Daniel Goldowitz and Julian Gough and Sven Guhl and Reto Guler and Stefano Gustincich and Thomas J. Ha and Masahide Hamaguchi and Mitsuko Hara and Matthias Harbers and Jayson Harshbarger and Akira Hasegawa and Yuki Hasegawa and Takehiro Hashimoto and Meenhard Herlyn and Kelly J. Hitchens and Shannan J. Ho Sui and Oliver M. Hofmann and Ilka Hoof and Fumi Hori and Lukasz Huminiecki and Kei Iida and Tomokatsu Ikawa and Boris R. Jankovic and Hui Jia and Anagha Joshi and Giuseppe Jurman and Bogumil Kaczkowski and Chieko Kai and Kaoru Kaida and Ai Kaiho and Kazuhiro Kajiyama and Mutsumi Kanamori{-}Katayama and Artem S. Kasianov and Takeya Kasukawa and Shintaro Katayama and Sachi Kato and Shuji Kawaguchi and Hiroshi Kawamoto and Yuki I. Kawamura and Tsugumi Kawashima and Judith S. Kempfle and Tony J. Kenna and Juha Kere and Levon M. Khachigian and Toshio Kitamura and S. Peter Klinken and Alan J. Knox and Miki Kojima and Soichi Kojima and Naoto Kondo and Haruhiko Koseki and Shigeo Koyasu and Sarah Krampitz and Atsutaka Kubosaki and Andrew T. Kwon and Jeroen F. J. Laros and Weonju Lee and Andreas Lennartsson and Kang Li and Berit Lilje and Leonard Lipovich and Alan Mackay{-}Sim and Ri{-}ichiroh Manabe and Jessica Cara Mar and Benoit Marchand and Anthony Mathelier and Niklas Mejhert and Alison M. Meynert and Yosuke Mizuno and David A. de Lima Morais and Hiromasa Morikawa and Mitsuru Morimoto and Kazuyo Moro and Efthymios Motakis and Hozumi Motohashi and Christine Mummery and Mitsuyoshi Murata and Sayaka Nagao{-}Sato and Yutaka Nakachi and Fumio Nakahara and Toshiyuki Nakamura and Yukio Nakamura and Kenichi Nakazato and Erik van Nimwegen and Noriko Ninomiya and Hiromi Nishiyori and Shohei Noma and Tadasuke Nozaki and Soichi Ogishima and Naganari Ohkura and Hiroko Ohmiya and Hiroshi Ohno and Mitsuhiro Ohshima and Mariko Okada{-}Hatakeyama and Yasushi Okazaki and Valerio Orlando and Dmitry A. Ovchinnikov and Arnab Pain and Robert Passier and Margaret Patrikakis and Helena Persson and Silvano Piazza and James G. D. Prendergast and Owen J. L. Rackham and Jordan A. Ramilowski and Mamoon Rashid and Timothy Ravasi and Patrizia Rizzu and Marco Roncador and Sugata Roy and Morten B. Rye and Eri Saijyo and Antti Sajantila and Akiko Saka and Shimon Sakaguchi and Mizuho Sakai and Hiroki Sato and Hironori Sato and Suzana Savvi and Alka Saxena and Claudio Schneider and Erik A. Schultes and Gundula G. Schulze{-}Tanzil and Anita Schwegmann and Thierry Sengstag and Guojun Sheng and Hisashi Shimoji and Yishai Shimoni and Jay W. Shin and Christophe Simon and Daisuke Sugiyama and Takaaki Sugiyama and Masanori Suzuki and Naoko Suzuki and Rolf K. Swoboda and Peter A. C. 't Hoen and Michihira Tagami and Naoko Takahashi and Jun Takai and Hiroshi Tanaka and Hideki Tatsukawa and Zuotian Tatum and Mark Thompson and Hiroo Toyoda and Tetsuro Toyoda and Eivind Valen and Marc van de Wetering and Linda M. van den Berg and Roberto Verardo and Dipti Vijayan and Ilya E. Vorontsov and Wyeth W. Wasserman and Shoko Watanabe and Christine A. Wells and Louise N. Winteringham and Ernst Wolvetang and Emily J. Wood and Yoko Yamaguchi and Masayuki Yamamoto and Misako Yoneda and Yohei Yonekura and Shigehiro Yoshida and Susan E. Zabierowski and Peter G. Zhang and Xiaobei Zhao and Silvia Zucchelli and Kim M. Summers and Harukazu Suzuki and Carsten O. Daub and Jun Kawai and Peter Heutink and Winston Hide and Tom C. Freeman and Boris Lenhard and Vladimir B. Bajic and Martin S. Taylor and Vsevolod J. Makeev and Albin Sandelin and David A. Hume and Piero Carninci and Yoshihide Hayashizaki}, title = {A promoter-level mammalian expression atlas}, journal = {Nat.}, volume = {507}, number = {7493}, pages = {462--470}, year = {2014}, url = {https://doi.org/10.1038/nature13182}, doi = {10.1038/NATURE13182}, timestamp = {Tue, 21 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/nature/ConsortiumFKRB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaiss/WebsterD0SSKD14, author = {Matt Webster and Clare Dixon and Michael Fisher and Maha Salem and Joe Saunders and Kheng Lee Koay and Kerstin Dautenhahn}, title = {Formal Verification of an Autonomous Personal Robotic Assistant}, booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014}, publisher = {{AAAI} Press}, year = {2014}, url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7734}, timestamp = {Wed, 14 Nov 2018 14:23:12 +0100}, biburl = {https://dblp.org/rec/conf/aaaiss/WebsterD0SSKD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccst/KaoLEHFMBHLGWHF14, author = {Gio Kao and Han Lin and Brandon Eames and Jason J. Haas and Alexis Fisher and John Michalski and Jon Blount and Jason R. Hamlet and Erik Lee and John Gauthier and Gregory D. Wyss and Ryan Helinski and Dustin Franklin}, title = {Supply chain lifecycle decision analytics}, booktitle = {International Carnahan Conference on Security Technology, {ICCST} 2014, Rome, Italy, October 13-16, 2014}, pages = {1--7}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/CCST.2014.6986979}, doi = {10.1109/CCST.2014.6986979}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/iccst/KaoLEHFMBHLGWHF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/interspeech/ArchangeliJSFHC14, author = {Diana Archangeli and Samuel Johnston and Jae{-}Hyun Sung and Muriel Fisher and Michael Hammond and Andrew Carnie}, editor = {Haizhou Li and Helen M. Meng and Bin Ma and Engsiong Chng and Lei Xie}, title = {Articulation and neutralization: a preliminary study of lenition in scottish gaelic}, booktitle = {15th Annual Conference of the International Speech Communication Association, {INTERSPEECH} 2014, Singapore, September 14-18, 2014}, pages = {1683--1687}, publisher = {{ISCA}}, year = {2014}, url = {https://doi.org/10.21437/Interspeech.2014-28}, doi = {10.21437/INTERSPEECH.2014-28}, timestamp = {Tue, 11 Jun 2024 16:45:43 +0200}, biburl = {https://dblp.org/rec/conf/interspeech/ArchangeliJSFHC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lion/FennGPP14, author = {Michael B. Fenn and Mario Rosario Guarracino and Jiaxing Pi and Panos M. Pardalos}, editor = {Panos M. Pardalos and Mauricio G. C. Resende and Chrysafis Vogiatzis and Jose L. Walteros}, title = {Raman Spectroscopy Using a Multiclass Extension of Fisher-Based Feature Selection Support Vector Machines {(FFS-SVM)} for Characterizing In-Vitro Apoptotic Cell Death Induced by Paclitaxel}, booktitle = {Learning and Intelligent Optimization - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8426}, pages = {306--323}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09584-4\_27}, doi = {10.1007/978-3-319-09584-4\_27}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/lion/FennGPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taros/DixonWSFD14, author = {Clare Dixon and Matthew P. Webster and Joe Saunders and Michael Fisher and Kerstin Dautenhahn}, editor = {Michael N. Mistry and Ales Leonardis and Mark Witkowski and Chris Melhuish}, title = {"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours}, booktitle = {Advances in Autonomous Robotics Systems - 15th Annual Conference, {TAROS} 2014, Birmingham, UK, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8717}, pages = {97--108}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10401-0\_9}, doi = {10.1007/978-3-319-10401-0\_9}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/taros/DixonWSFD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ecoi/SkoienSDFBMT13, author = {Jon O. Sk{\o}ien and Michael Schulz and Gr{\'{e}}goire Dubois and Ian Fisher and Mark Balman and Ian May and {\'{E}}amonn {\'{O}} Tuama}, title = {A Model Web approach to modelling climate change in biomes of Important Bird Areas}, journal = {Ecol. Informatics}, volume = {14}, pages = {38--43}, year = {2013}, url = {https://doi.org/10.1016/j.ecoinf.2012.12.003}, doi = {10.1016/J.ECOINF.2012.12.003}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ecoi/SkoienSDFBMT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/DixonKFN13, author = {Clare Dixon and Boris Konev and Michael Fisher and Sherly Nietiadi}, title = {Deductive temporal reasoning with constraints}, journal = {J. Appl. Log.}, volume = {11}, number = {1}, pages = {30--51}, year = {2013}, url = {https://doi.org/10.1016/j.jal.2012.07.001}, doi = {10.1016/J.JAL.2012.07.001}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/DixonKFN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nar/SnoekVALBEFHHPRSSXJKS13, author = {L. Basten Snoek and K. Joeri van der Velde and Danny Arends and Yang Li and Antje Beyer and Mark Elvin and Jasmin Fisher and Alex Hajnal and Michael O. Hengartner and Gino B. Poulin and Miriam Rodriguez and Tobias Schmid and Sabine Schrimpf and Feng Xue and Ritsert C. Jansen and Jan E. Kammenga and Morris A. Swertz}, title = {WormQTL - public archive and analysis web portal for natural variation data in \emph{Caenorhabditis} spp}, journal = {Nucleic Acids Res.}, volume = {41}, number = {Database-Issue}, pages = {738--743}, year = {2013}, url = {https://doi.org/10.1093/nar/gks1124}, doi = {10.1093/NAR/GKS1124}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/nar/SnoekVALBEFHHPRSSXJKS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tgrs/MagagiBGBJTWMOMGCCBFKMDRBSM13, author = {Ramata Magagi and Aaron Berg and Kalifa Goita and Stephane Belair and Thomas J. Jackson and Brenda Toth and Anne E. Walker and Heather McNairn and Peggy O'Neill and Mahta Moghaddam and Imen Gherboudj and Andreas Colliander and Michael H. Cosh and Mariko Burgin and Joshua B. Fisher and Seung{-}Bum Kim and Iliana Mladenova and Najib Djamai and Louis{-}Philippe Rousseau and Jon Belanger and Jiali Shang and Amine Merzouki}, title = {Canadian Experiment for Soil Moisture in 2010 (CanEx-SM10): Overview and Preliminary Results}, journal = {{IEEE} Trans. Geosci. Remote. Sens.}, volume = {51}, number = {1}, pages = {347--363}, year = {2013}, url = {https://doi.org/10.1109/TGRS.2012.2198920}, doi = {10.1109/TGRS.2012.2198920}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tgrs/MagagiBGBJTWMOMGCCBFKMDRBSM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/milcom/SchloemannB13, author = {Javier Schloemann and R. Michael Buehrer}, editor = {Joe Senftle and Mike Beltrani and Kari Karwedsky}, title = {Using Fisher Information Matrix Summary Statistics to Assess the Value of Collaborative Positioning Opportunities}, booktitle = {32th {IEEE} Military Communications Conference, {MILCOM} 2013, San Diego, CA, USA, November 18-20, 2013}, pages = {1316--1321}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/MILCOM.2013.224}, doi = {10.1109/MILCOM.2013.224}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/milcom/SchloemannB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/BarnettCDDFGMP13, author = {Mike Barnett and Badrish Chandramouli and Robert DeLine and Steven Mark Drucker and Danyel Fisher and Jonathan Goldstein and Patrick Morrison and John C. Platt}, editor = {Kenneth A. Ross and Divesh Srivastava and Dimitris Papadias}, title = {Stat!: an interactive analytics environment for big data}, booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data, {SIGMOD} 2013, New York, NY, USA, June 22-27, 2013}, pages = {1013--1016}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2463676.2463683}, doi = {10.1145/2463676.2463683}, timestamp = {Tue, 07 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/BarnettCDDFGMP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/BenalohBEKMPSWFMPW13, author = {Josh Benaloh and Michael D. Byrne and Bryce Eakin and Philip T. Kortum and Neal McBurnett and Olivier Pereira and Philip B. Stark and Dan S. Wallach and Gail Fisher and Julian Montoya and Michelle Parker and Michael Winn}, title = {STAR-Vote: {A} Secure, Transparent, Auditable, and Reliable Voting System}, booktitle = {2013 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, {EVT/WOTE} '13, Washington, D.C., USA, August 12-13, 2013}, publisher = {{USENIX} Association}, year = {2013}, url = {https://www.usenix.org/conference/evtwote13/workshop-program/presentation/bell}, timestamp = {Mon, 01 Feb 2021 08:42:58 +0100}, biburl = {https://dblp.org/rec/conf/uss/BenalohBEKMPSWFMPW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isdevel/2012, editor = {Henry Linger and Julie Fisher and Andrew Barnden and Chris Barry and Michael Lang and Christoph Schneider}, title = {Building Sustainable Information Systems, Proceedings of the 2012 International Conference on Information Systems Development, {ISD} 2012, Monash University Prato Centre, Prato, Italy, August 29-30, 2012}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-1-4614-7540-8}, doi = {10.1007/978-1-4614-7540-8}, isbn = {978-1-4614-7539-2}, timestamp = {Wed, 03 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isdevel/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/arsmc/FisherI12, author = {Michael J. Fisher and Garth Isaak}, title = {Distinguishing numbers of Cartesian products of multiple complete graphs}, journal = {Ars Math. Contemp.}, volume = {5}, number = {1}, pages = {159--173}, year = {2012}, url = {https://doi.org/10.26493/1855-3974.245.348}, doi = {10.26493/1855-3974.245.348}, timestamp = {Wed, 27 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/arsmc/FisherI12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bmcbi/RosenCFH12, author = {Michael J. Rosen and Benjamin J. Callahan and Daniel S. Fisher and Susan P. Holmes}, title = {Denoising PCR-amplified metagenome data}, journal = {{BMC} Bioinform.}, volume = {13}, pages = {283}, year = {2012}, url = {https://doi.org/10.1186/1471-2105-13-283}, doi = {10.1186/1471-2105-13-283}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bmcbi/RosenCFH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijkl/SalamanosV12, author = {Nikos Salamanos and Michalis Vazirgiannis}, title = {Diffusion of information and phase transition in the Fisher market}, journal = {Int. J. Knowl. Learn.}, volume = {8}, number = {3/4}, pages = {259--281}, year = {2012}, url = {https://doi.org/10.1504/IJKL.2012.051678}, doi = {10.1504/IJKL.2012.051678}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijkl/SalamanosV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipcat/BeyerEPHHF12, author = {Antje Beyer and Ralf Eberhard and Nir Piterman and Michael O. Hengartner and Alex Hajnal and Jasmin Fisher}, editor = {Michael A. Lones and Stephen L. Smith and Sarah A. Teichmann and Felix Naef and James Alfred Walker and Martin Trefzer}, title = {Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans}, booktitle = {Information Processign in Cells and Tissues - 9th International Conference, {IPCAT} 2012, Cambridge, UK, March 31 - April 2, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7223}, pages = {99--104}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28792-3\_14}, doi = {10.1007/978-3-642-28792-3\_14}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipcat/BeyerEPHHF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itaero/WebsterCJF12, author = {Matt Webster and Neil Cameron and Michael Jump and Michael Fisher}, title = {Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation}, booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012}, year = {2012}, url = {https://doi.org/10.2514/6.2012-2573}, doi = {10.2514/6.2012-2573}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itaero/WebsterCJF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/DixF11, author = {J{\"{u}}rgen Dix and Michael Fisher}, title = {Where logic and agents meet}, journal = {Ann. Math. Artif. Intell.}, volume = {61}, number = {1}, pages = {15--28}, year = {2011}, url = {https://doi.org/10.1007/s10472-010-9223-9}, doi = {10.1007/S10472-010-9223-9}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/DixF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cbm/NewshamJHLSVDVSF11, author = {Alexander C. Newsham and Colin Johnston and Geoff Hall and Michael G. Leahy and Adam B. Smith and Aditya Vikram and Aine M. Donnelly and Galina Velikova and Peter J. Selby and Sheila E. Fisher}, title = {Development of an advanced database for clinical trials integrated with an electronic patient record system}, journal = {Comput. Biol. Medicine}, volume = {41}, number = {8}, pages = {575--586}, year = {2011}, url = {https://doi.org/10.1016/j.compbiomed.2011.04.014}, doi = {10.1016/J.COMPBIOMED.2011.04.014}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cbm/NewshamJHLSVDVSF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcritis/CollinsPBFW11, author = {Michael J. Collins III and Fr{\'{e}}d{\'{e}}ric D. Petit and William A. Buehring and Ronald E. Fisher and Ronald G. Whitfield}, title = {Protective measures and vulnerability indices for the Enhanced Critical Infrastructure Protection Programme}, journal = {Int. J. Crit. Infrastructures}, volume = {7}, number = {3}, pages = {200--219}, year = {2011}, url = {https://doi.org/10.1504/IJCIS.2011.042976}, doi = {10.1504/IJCIS.2011.042976}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcritis/CollinsPBFW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Fisher11, author = {Michael Fisher}, title = {Agent deliberation in an executable temporal framework}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {223--238}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.09.004}, doi = {10.1016/J.JAL.2011.09.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Fisher11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaifs/HayesWCYHACCHJKMS11, author = {Peter S. Hayes and James A. Wilson and Clare Bates Congdon and Liying Yan and Jack Hill and James Acheson and Yong Chen and Caitlin Cleaver and Anne Hayden and Teresa Johnson and Michael Kersula and Graham Morehead and Robert Steneck}, title = {A Complex Adaptive Systems Investigation of the Social-Ecological Dynamics of Three Fisheries}, booktitle = {Complex Adaptive Systems: Energy, Information, and Intelligence, Papers from the 2011 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 4-6, 2011}, series = {{AAAI} Technical Report}, volume = {{FS-11-03}}, publisher = {{AAAI}}, year = {2011}, url = {http://www.aaai.org/ocs/index.php/FSS/FSS11/paper/view/4195}, timestamp = {Wed, 29 Mar 2017 16:45:25 +0200}, biburl = {https://dblp.org/rec/conf/aaaifs/HayesWCYHACCHJKMS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/MillerFHIFFJ11, author = {Gregor Miller and Sidney S. Fels and Abir Al Hajri and Michael Ilich and Zoltan Foley{-}Fisher and Manuel Fernandez and Daesik Jang}, editor = {Desney S. Tan and Saleema Amershi and Bo Begole and Wendy A. Kellogg and Manas Tungare}, title = {MediaDiver: viewing and annotating multi-view video}, booktitle = {Proceedings of the International Conference on Human Factors in Computing Systems, {CHI} 2011, Extended Abstracts Volume, Vancouver, BC, Canada, May 7-12, 2011}, pages = {1141--1146}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1979742.1979711}, doi = {10.1145/1979742.1979711}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/chi/MillerFHIFFJ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/KinseyYJCFG11, author = {James C. Kinsey and Dana R. Yoerger and Michael V. Jakuba and Richard Camilli and Charles R. Fisher and Christopher R. German}, title = {Assessing the deepwater horizon oil spill with the sentry autonomous underwater vehicle}, booktitle = {2011 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2011, San Francisco, CA, USA, September 25-30, 2011}, pages = {261--267}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/IROS.2011.6095008}, doi = {10.1109/IROS.2011.6095008}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/iros/KinseyYJCFG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/WebsterFCJ11, author = {Matthew P. Webster and Michael Fisher and Neil Cameron and Mike Jump}, editor = {Francesco Flammini and Sandro Bologna and Valeria Vittorini}, title = {Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems}, booktitle = {Computer Safety, Reliability, and Security - 30th International Conference, {SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6894}, pages = {228--242}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24270-0\_17}, doi = {10.1007/978-3-642-24270-0\_17}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/WebsterFCJ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/RoureGABBCFHMNPLP10, author = {David De Roure and Carole A. Goble and Sergejs Aleksejevs and Sean Bechhofer and Jiten Bhagat and Don Cruickshank and Paul Fisher and Duncan Hull and Danius T. Michaelides and David R. Newman and Rob Procter and Yuwei Lin and Meik Poschen}, title = {Towards open science: the myExperiment approach}, journal = {Concurr. Comput. Pract. Exp.}, volume = {22}, number = {17}, pages = {2335--2353}, year = {2010}, url = {https://doi.org/10.1002/cpe.1601}, doi = {10.1002/CPE.1601}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/concurrency/RoureGABBCFHMNPLP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmsjcm/FisherSS10, author = {Tom A. Fisher and Edward F. Schaefer and Michael Stoll}, title = {The yoga of the Cassels-Tate pairing}, journal = {{LMS} J. Comput. Math.}, volume = {13}, pages = {451--460}, year = {2010}, url = {https://doi.org/10.1112/s1461157010000185}, doi = {10.1112/S1461157010000185}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmsjcm/FisherSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cec/LonesSHHFSK10, author = {Michael A. Lones and Stephen L. Smith and Andrew T. Harris and Alec S. High and Sheila E. Fisher and D. Alastair Smith and Jennifer Kirkham}, title = {Discriminating normal and cancerous thyroid cell lines using implicit context representation Cartesian genetic programming}, booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC} 2010, Barcelona, Spain, 18-23 July 2010}, pages = {1--6}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/CEC.2010.5586494}, doi = {10.1109/CEC.2010.5586494}, timestamp = {Thu, 16 Dec 2021 14:02:32 +0100}, biburl = {https://dblp.org/rec/conf/cec/LonesSHHFSK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eScience/RoureGABBCFKMMNRRWZZ10, author = {David De Roure and Carole A. Goble and Sergejs Aleksejevs and Sean Bechhofer and Jiten Bhagat and Don Cruickshank and Paul Fisher and Nandkumar Kollara and Danius T. Michaelides and Paolo Missier and David R. Newman and Marcus Ramsden and Marco Roos and Katy Wolstencroft and Ed Zaluska and Jun Zhao}, title = {The Evolution of myExperiment}, booktitle = {Sixth International Conference on e-Science, e-Science 2010, 7-10 December 2010, Brisbane, QLD, Australia}, pages = {153--160}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/eScience.2010.59}, doi = {10.1109/ESCIENCE.2010.59}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eScience/RoureGABBCFKMMNRRWZZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/OssherBSAACDVFK10, author = {Harold Ossher and Rachel K. E. Bellamy and Ian Simmonds and David Amid and Ateret Anaby{-}Tavor and Matthew Callery and Michael Desmond and Jacqueline de Vries and Amit Fisher and Sophia Krasikov}, editor = {William R. Cook and Siobh{\'{a}}n Clarke and Martin C. Rinard}, title = {Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges}, booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}}, pages = {848--864}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1869459.1869529}, doi = {10.1145/1869459.1869529}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/OssherBSAACDVFK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clima/2009, editor = {J{\"{u}}rgen Dix and Michael Fisher and Peter Nov{\'{a}}k}, title = {Computational Logic in Multi-Agent Systems - 10th International Workshop, {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {6214}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16867-3}, doi = {10.1007/978-3-642-16867-3}, isbn = {978-3-642-16866-6}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/clima/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijicc/BehdennaDF09, author = {Abdelkader Behdenna and Clare Dixon and Michael Fisher}, title = {Deductive verification of simple foraging robotic behaviours}, journal = {Int. J. Intell. Comput. Cybern.}, volume = {2}, number = {4}, pages = {604--643}, year = {2009}, url = {https://doi.org/10.1108/17563780911005818}, doi = {10.1108/17563780911005818}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijicc/BehdennaDF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/FisherG09, author = {Michael Fisher and Chiara Ghidini}, title = {Exploring the Future with Resource-Bounded Agents}, journal = {J. Log. Lang. Inf.}, volume = {18}, number = {1}, pages = {3--21}, year = {2009}, url = {https://doi.org/10.1007/s10849-008-9074-5}, doi = {10.1007/S10849-008-9074-5}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/FisherG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BordiniFWV09, author = {Rafael H. Bordini and Michael Fisher and Michael J. Wooldridge and Willem Visser}, title = {Property-based Slicing for Agent Verification}, journal = {J. Log. Comput.}, volume = {19}, number = {6}, pages = {1385--1425}, year = {2009}, url = {https://doi.org/10.1093/logcom/exp029}, doi = {10.1093/LOGCOM/EXP029}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/BordiniFWV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/Anaby-TavorAFOBCDKRSV09, author = {Ateret Anaby{-}Tavor and David Amid and Amit Fisher and Harold Ossher and Rachel K. E. Bellamy and Matthew Callery and Michael Desmond and Sophia Krasikov and Tova Roth and Ian Simmonds and Jacqueline de Vries}, editor = {Alberto H. F. Laender and Silvana Castano and Umeshwar Dayal and Fabio Casati and Jos{\'{e}} Palazzo Moreira de Oliveira}, title = {An Empirical Study of Enterprise Conceptual Modeling}, booktitle = {Conceptual Modeling - {ER} 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5829}, pages = {55--69}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04840-1\_7}, doi = {10.1007/978-3-642-04840-1\_7}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/er/Anaby-TavorAFOBCDKRSV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/OssherAABCDVFKS09, author = {Harold Ossher and David Amid and Ateret Anaby{-}Tavor and Rachel K. E. Bellamy and Matthew Callery and Michael Desmond and Jackie De Vries and Amit Fisher and Sophia Krasikov and Ian Simmonds and Calvin Swart}, title = {Using tagging to identify and organize concerns during pre-requirements analysis}, booktitle = {2009 {ICSE} Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, Vancouver, BC, Canada, 18-18 May 2009}, pages = {25--30}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/EA.2009.5071580}, doi = {10.1109/EA.2009.5071580}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/OssherAABCDVFKS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/OssherBAACDVFFKSS09, author = {Harold Ossher and Rachel K. E. Bellamy and David Amid and Ateret Anaby{-}Tavor and Matthew Callery and Michael Desmond and Jacqueline de Vries and Amit Fisher and Thomas Frauenhofer and Sophia Krasikov and Ian Simmonds and Calvin Swart}, title = {Business insight toolkit: Flexible pre-requirements modeling}, booktitle = {31st International Conference on Software Engineering, {ICSE} 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume}, pages = {423--424}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071043}, doi = {10.1109/ICSE-COMPANION.2009.5071043}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/OssherBAACDVFFKSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pkdd/ZhangDJ09, author = {Zhihua Zhang and Guang Dai and Michael I. Jordan}, editor = {Wray L. Buntine and Marko Grobelnik and Dunja Mladenic and John Shawe{-}Taylor}, title = {A Flexible and Efficient Algorithm for Regularized Fisher Discriminant Analysis}, booktitle = {Machine Learning and Knowledge Discovery in Databases, European Conference, {ECML} {PKDD} 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {5782}, pages = {632--647}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04174-7\_41}, doi = {10.1007/978-3-642-04174-7\_41}, timestamp = {Mon, 30 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pkdd/ZhangDJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/Anaby-TavorAFOBCDKRSV09, author = {Ateret Anaby{-}Tavor and David Amid and Amit Fisher and Harold Ossher and Rachel K. E. Bellamy and Matthew Callery and Michael Desmond and Sophia Krasikov and Tova Roth and Ian Simmonds and Jacqueline de Vries}, title = {An algorithm for identifying the abstract syntax of graph-based diagrams}, booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings}, pages = {193--196}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/VLHCC.2009.5295266}, doi = {10.1109/VLHCC.2009.5295266}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/Anaby-TavorAFOBCDKRSV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/jmlr/SiracusaF09, author = {Michael Siracusa and John W. Fisher III}, editor = {David A. Van Dyk and Max Welling}, title = {Tractable Bayesian Inference of Time-Series Dependence Structure}, booktitle = {Proceedings of the Twelfth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2009, Clearwater Beach, Florida, USA, April 16-18, 2009}, series = {{JMLR} Proceedings}, volume = {5}, pages = {528--535}, publisher = {JMLR.org}, year = {2009}, url = {http://proceedings.mlr.press/v5/siracusa09a.html}, timestamp = {Wed, 29 May 2019 08:41:44 +0200}, biburl = {https://dblp.org/rec/journals/jmlr/SiracusaF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/BallariniFW09, author = {Paolo Ballarini and Michael Fisher and Michael J. Wooldridge}, editor = {Mike Barley and Haralambos Mouratidis and Amy Unruh and Diana F. Spears and Paul Scerri and Fabio Massacci}, title = {Uncertain Agent Verification through Probabilistic Model-Checking}, booktitle = {Safety and Security in Multiagent Systems - Research Results from 2004-2006}, series = {Lecture Notes in Computer Science}, volume = {4324}, pages = {162--174}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04879-1\_12}, doi = {10.1007/978-3-642-04879-1\_12}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/lncs/BallariniFW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dm/FisherI08, author = {Michael J. Fisher and Garth Isaak}, title = {Distinguishing colorings of Cartesian products of complete graphs}, journal = {Discret. Math.}, volume = {308}, number = {11}, pages = {2240--2246}, year = {2008}, url = {https://doi.org/10.1016/j.disc.2007.04.070}, doi = {10.1016/J.DISC.2007.04.070}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dm/FisherI08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ibmrd/FisherKLDPCCCFPAARGASRGN08, author = {Robert T. Fisher and Leo P. Kadanoff and Don Q. Lamb and Anshu Dubey and Tomasz Plewa and Alan C. Calder and Fausto Cattaneo and Peter Constantin and Ian T. Foster and Michael E. Papka and Snezhana I. Abarzhi and Shimon M. Asida and Paul M. Rich and Chad C. Glendenin and Katie Antypas and Daniel J. Sheeler and Lynn B. Reid and Brad Gallagher and Shawn G. Needham}, title = {Terascale turbulence computation using the {FLASH3} application framework on the {IBM} Blue Gene/L system}, journal = {{IBM} J. Res. Dev.}, volume = {52}, number = {1-2}, pages = {127--136}, year = {2008}, url = {https://doi.org/10.1147/rd.521.0127}, doi = {10.1147/RD.521.0127}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ibmrd/FisherKLDPCCCFPAARGASRGN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijar/FerreiraFH08, author = {Nivea de Carvalho Ferreira and Michael Fisher and Wiebe van der Hoek}, title = {Specifying and reasoning about uncertain agents}, journal = {Int. J. Approx. Reason.}, volume = {49}, number = {1}, pages = {35--51}, year = {2008}, url = {https://doi.org/10.1016/j.ijar.2007.08.003}, doi = {10.1016/J.IJAR.2007.08.003}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijar/FerreiraFH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijitm/SillFW08, author = {Heather E. Sill and Sandra L. Fisher and Michael E. Wasserman}, title = {Consumer reactions to potential intrusiveness and benefits of {RFID}}, journal = {Int. J. Inf. Technol. Manag.}, volume = {7}, number = {1}, pages = {76--97}, year = {2008}, url = {https://doi.org/10.1504/IJITM.2008.015890}, doi = {10.1504/IJITM.2008.015890}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijitm/SillFW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcc/FisherKFG08, author = {Daniel R. Fisher and David R. Kent IV and Michael T. Feldmann and William A. Goddard III}, title = {An optimized initialization algorithm to ensure accuracy in quantum Monte Carlo calculations}, journal = {J. Comput. Chem.}, volume = {29}, number = {14}, pages = {2335--2343}, year = {2008}, url = {https://doi.org/10.1002/jcc.20965}, doi = {10.1002/JCC.20965}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcc/FisherKFG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcbb/SadotFBASHH08, author = {Avital Sadot and Jasmin Fisher and Dan Barak and Yishai Admanit and Michael J. Stern and E. Jane Albert Hubbard and David Harel}, title = {Toward Verified Biological Models}, journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.}, volume = {5}, number = {2}, pages = {223--234}, year = {2008}, url = {https://doi.org/10.1109/TCBB.2007.1076}, doi = {10.1109/TCBB.2007.1076}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcbb/SadotFBASHH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tmi/MackiewiczBF08, author = {Michal Mackiewicz and Jeff Berens and Mark Fisher}, title = {Wireless Capsule Endoscopy Color Video Segmentation}, journal = {{IEEE} Trans. Medical Imaging}, volume = {27}, number = {12}, pages = {1769--1781}, year = {2008}, url = {https://doi.org/10.1109/TMI.2008.926061}, doi = {10.1109/TMI.2008.926061}, timestamp = {Tue, 08 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tmi/MackiewiczBF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tmm/ZhuHL08, author = {Jianke Zhu and Steven C. H. Hoi and Michael R. Lyu}, title = {Face Annotation Using Transductive Kernel Fisher Discriminant}, journal = {{IEEE} Trans. Multim.}, volume = {10}, number = {1}, pages = {86--96}, year = {2008}, url = {https://doi.org/10.1109/TMM.2007.911245}, doi = {10.1109/TMM.2007.911245}, timestamp = {Thu, 01 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmm/ZhuHL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acssc/SiracusaF08, author = {Michael R. Siracusa and John W. Fisher III}, title = {Interaction analysis using switching structured autoregressive models}, booktitle = {42nd Asilomar Conference on Signals, Systems and Computers, {ACSSC} 2008, Pacific Grove, CA, USA, October 26-29, 2008}, pages = {827--832}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/ACSSC.2008.5074525}, doi = {10.1109/ACSSC.2008.5074525}, timestamp = {Thu, 05 Jan 2023 10:07:58 +0100}, biburl = {https://dblp.org/rec/conf/acssc/SiracusaF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/miip/MackiewiczFJ08, author = {Michal W. Mackiewicz and Mark Fisher and Crawford Jamieson}, editor = {Joseph M. Reinhardt and Josien P. W. Pluim}, title = {Bleeding detection in wireless capsule endoscopy using adaptive colour histogram model and support vector classification}, booktitle = {Medical Imaging 2008: Image Processing, San Diego, California, United States, 16-21 February 2008}, series = {{SPIE} Proceedings}, volume = {6914}, pages = {69140R}, publisher = {{SPIE}}, year = {2008}, url = {https://doi.org/10.1117/12.770510}, doi = {10.1117/12.770510}, timestamp = {Tue, 08 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/miip/MackiewiczFJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/owled/FisherDJ08, author = {Matt Fisher and Mike Dean and Gregory Joiner}, editor = {Kendall Clark and Peter F. Patel{-}Schneider}, title = {Use of {OWL} and {SWRL} for Semantic Relational Database Translation}, booktitle = {Proceedings of the Fourth {OWLED} Workshop on {OWL:} Experiences and Directions, Washington, DC, USA, 1-2 April 2008}, series = {{CEUR} Workshop Proceedings}, volume = {496}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-496/owled2008dc\_paper\_13.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/owled/FisherDJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/FernandezFFGM08, author = {Mary F. Fern{\'{a}}ndez and Kathleen Fisher and J. Nathan Foster and Michael Greenberg and Yitzhak Mandelbaum}, editor = {Paul Hudak and David Scott Warren}, title = {A Generic Programming Toolkit for {PADS/ML:} First-Class Upgrades for Third-Party Developers}, booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium, {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008}, series = {Lecture Notes in Computer Science}, volume = {4902}, pages = {133--149}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77442-6\_10}, doi = {10.1007/978-3-540-77442-6\_10}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/padl/FernandezFFGM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/FisherSSW07, author = {Michael Fisher and Munindar P. Singh and Diana F. Spears and Michael J. Wooldridge}, title = {Logic-Based Agent Verification}, journal = {J. Appl. Log.}, volume = {5}, number = {2}, pages = {193--195}, year = {2007}, url = {https://doi.org/10.1016/j.jal.2005.12.012}, doi = {10.1016/J.JAL.2005.12.012}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/FisherSSW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcis/LeeCFLMPSY07, author = {Yang Lee and Samuel Chase and Jonathan Fisher and Andrew Leinung and Dillon McDowell and Michael Paradiso and Jonathan Simons and Christopher Yarsawich}, editor = {John A. Hoxmeier and Stephen C. Hayne}, title = {{CEIP} Maps: Context-embedded Information Product Maps}, booktitle = {Reaching New Heights. 13th Americas Conference on Information Systems, {AMCIS} 2007, Keystone, Colorado, USA, August 9-12, 2007}, pages = {315}, publisher = {Association for Information Systems}, year = {2007}, url = {http://aisel.aisnet.org/amcis2007/315}, timestamp = {Thu, 26 Nov 2020 16:35:40 +0100}, biburl = {https://dblp.org/rec/conf/amcis/LeeCFLMPSY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/SiracusaF07, author = {Michael Siracusa and John W. Fisher III}, title = {Dynamic Dependency Tests for Audio-Visual Speaker Association}, booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April 15-20, 2007}, pages = {457--460}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ICASSP.2007.366271}, doi = {10.1109/ICASSP.2007.366271}, timestamp = {Mon, 22 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icassp/SiracusaF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/0003BCSJFHHK07, author = {Amarjeet Singh and Maxim A. Batalin and Victor Chen and Michael J. Stealey and Brett L. Jordan and Jason C. Fisher and Thomas C. Harmon and Mark H. Hansen and William J. Kaiser}, title = {Autonomous Robotic Sensing Experiments at San Joaquin River}, booktitle = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA} 2007, 10-14 April 2007, Roma, Italy}, pages = {4987--4993}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ROBOT.2007.364248}, doi = {10.1109/ROBOT.2007.364248}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icra/0003BCSJFHHK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/promas/DennisFBFW07, author = {Louise A. Dennis and Berndt Farwer and Rafael H. Bordini and Michael Fisher and Michael J. Wooldridge}, editor = {Mehdi Dastani and Amal El Fallah Seghrouchni and Alessandro Ricci and Michael Winikoff}, title = {A Common Semantic Basis for {BDI} Languages}, booktitle = {Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4908}, pages = {124--139}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-79043-3\_8}, doi = {10.1007/978-3-540-79043-3\_8}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/promas/DennisFBFW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/jmlr/SiracusaF07, author = {Michael Siracusa and John W. Fisher III}, editor = {Marina Meila and Xiaotong Shen}, title = {Dynamic Factorization Tests: Applications to Multi-modal Data Association}, booktitle = {Proceedings of the Eleventh International Conference on Artificial Intelligence and Statistics, {AISTATS} 2007, San Juan, Puerto Rico, March 21-24, 2007}, series = {{JMLR} Proceedings}, volume = {2}, pages = {508--515}, publisher = {JMLR.org}, year = {2007}, url = {http://proceedings.mlr.press/v2/siracusa07a.html}, timestamp = {Wed, 29 May 2019 08:41:44 +0200}, biburl = {https://dblp.org/rec/journals/jmlr/SiracusaF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/BordiniFVW06, author = {Rafael H. Bordini and Michael Fisher and Willem Visser and Michael J. Wooldridge}, title = {Verifying Multi-agent Programs by Model Checking}, journal = {Auton. Agents Multi Agent Syst.}, volume = {12}, number = {2}, pages = {239--256}, year = {2006}, url = {https://doi.org/10.1007/s10458-006-5955-7}, doi = {10.1007/S10458-006-5955-7}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/BordiniFVW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/WooldridgeHFP06, author = {Michael J. Wooldridge and Marc{-}Philippe Huget and Michael Fisher and Simon Parsons}, title = {Model Checking for Multiagent Systems: the Mable Language and its Applications}, journal = {Int. J. Artif. Intell. Tools}, volume = {15}, number = {2}, pages = {195--226}, year = {2006}, url = {https://doi.org/10.1142/S0218213006002631}, doi = {10.1142/S0218213006002631}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijait/WooldridgeHFP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/midm/RamnarayanWCNBJFTWB06, author = {Padmanabhan Ramnarayan and Andrew Winrow and Michael Coren and Vasantha Nanduri and Roger Buchdahl and Benjamin Jacobs and Helen Fisher and Paul M. Taylor and Jeremy C. Wyatt and Joseph F. Britto}, title = {Diagnostic omission errors in acute paediatric practice: impact of a reminder system on decision-making}, journal = {{BMC} Medical Informatics Decis. Mak.}, volume = {6}, pages = {37}, year = {2006}, url = {https://doi.org/10.1186/1472-6947-6-37}, doi = {10.1186/1472-6947-6-37}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/midm/RamnarayanWCNBJFTWB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/FisherMNDAMTT06, author = {Lee E. Fisher and Michael E. Miller and Stephanie J. Nogan and John A. Davis and James S. Anderson and Lori M. Murray and Dustin J. Tyler and Ronald J. Triolo}, title = {Preliminary Evaluation of a Neural Prosthesis for Standing after Spinal Cord Injury with Four Contact Nerve-Cuff Electrodes for Quadriceps Stimulation}, booktitle = {28th International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2006, New York City, NY, USA, August 30 - September 3, 2006, Main Volume}, pages = {3592--3595}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/IEMBS.2006.260833}, doi = {10.1109/IEMBS.2006.260833}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/embc/FisherMNDAMTT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/MackiewiczBFB06, author = {Michal Mackiewicz and Jeff Berens and Mark Fisher and Geoffrey Duncan Bell}, title = {Colour and Texture Based Gastrointestinal Tissue Discrimination}, booktitle = {2006 {IEEE} International Conference on Acoustics Speech and Signal Processing, {ICASSP} 2006, Toulouse, France, May 14-19, 2006}, pages = {597--600}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/ICASSP.2006.1660413}, doi = {10.1109/ICASSP.2006.1660413}, timestamp = {Tue, 08 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icassp/MackiewiczBFB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bmvc/2006, editor = {Mike J. Chantler and Robert B. Fisher and Emanuele Trucco}, title = {Proceedings of the British Machine Vision Conference 2006, Edinburgh, UK, September 4-7, 2006}, publisher = {British Machine Vision Association}, year = {2006}, isbn = {1-904410-14-6}, timestamp = {Thu, 26 May 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bmvc/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Fernandez-GagoHDFK05, author = {M. Carmen Fern{\'{a}}ndez Gago and Ullrich Hustadt and Clare Dixon and Michael Fisher and Boris Konev}, title = {First-Order Temporal Verification in Practice}, journal = {J. Autom. Reason.}, volume = {34}, number = {3}, pages = {295--321}, year = {2005}, url = {https://doi.org/10.1007/s10817-005-7354-1}, doi = {10.1007/S10817-005-7354-1}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Fernandez-GagoHDFK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/SiracusaTIFW05, author = {Michael Siracusa and Kinh Tieu and Alexander T. Ihler and John W. Fisher III and Alan S. Willsky}, title = {Estimating dependency and significance for high-dimensional data}, booktitle = {2005 {IEEE} International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} '05, Philadelphia, Pennsylvania, USA, March 18-23, 2005}, pages = {1085--1088}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/ICASSP.2005.1416496}, doi = {10.1109/ICASSP.2005.1416496}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icassp/SiracusaTIFW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BallariniFW06, author = {Paolo Ballarini and Michael Fisher and Michael J. Wooldridge}, editor = {Charles Pecheur and Brian Williams}, title = {Automated Game Analysis via Probabilistic Model Checking: a case study}, booktitle = {Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {149}, number = {2}, pages = {125--137}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.07.030}, doi = {10.1016/J.ENTCS.2005.07.030}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BallariniFW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/fai/FisherW05, author = {Michael Fisher and Michael J. Wooldridge}, editor = {Michael Fisher and Dov M. Gabbay and Llu{\'{\i}}s Vila}, title = {Temporal Reasoning in Agent-Based Systems}, booktitle = {Handbook of Temporal Reasoning in Artificial Intelligence}, series = {Foundations of Artificial Intelligence}, volume = {1}, pages = {469--495}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/S1574-6526(05)80017-3}, doi = {10.1016/S1574-6526(05)80017-3}, timestamp = {Mon, 06 Nov 2023 17:08:49 +0100}, biburl = {https://dblp.org/rec/reference/fai/FisherW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/DixFLS04, author = {J{\"{u}}rgen Dix and Michael Fisher and Hector J. Levesque and Leon Sterling}, title = {Introduction}, journal = {Ann. Math. Artif. Intell.}, volume = {41}, number = {2-4}, pages = {131--133}, year = {2004}, url = {https://doi.org/10.1023/B:AMAI.0000031230.18901.7b}, doi = {10.1023/B:AMAI.0000031230.18901.7B}, timestamp = {Tue, 20 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/DixFLS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/expert/BordiniFVW04, author = {Rafael H. Bordini and Michael Fisher and Willem Visser and Michael J. Wooldridge}, title = {Model Checking Rational Agents}, journal = {{IEEE} Intell. Syst.}, volume = {19}, number = {5}, pages = {46--52}, year = {2004}, url = {https://doi.org/10.1109/MIS.2004.47}, doi = {10.1109/MIS.2004.47}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/expert/BordiniFVW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/DixonNF04, author = {Clare Dixon and Cl{\'{a}}udia Nalon and Michael Fisher}, title = {Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony}, journal = {J. Appl. Non Class. Logics}, volume = {14}, number = {4}, pages = {397--445}, year = {2004}, url = {https://doi.org/10.3166/jancl.14.397-445}, doi = {10.3166/JANCL.14.397-445}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/DixonNF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jssc/WerkerMHEMRRBMV04, author = {Heinz Werker and Stephan Mechnig and Christophe Holuigue and Christian Ebner and Gerhard Mitteregger and Ernesto Romani and Fr{\'{e}}d{\'{e}}ric Roger and Thomas Blon and Michael Moyal and Marcello Vena and Andrea Melodia and John Fisher and Grego{\`{\i}}re Le Grand de Mercey and Heribert Geib}, title = {A 10-GB/s SONET-compliant {CMOS} transceiver with low crosstalk and intrinsic jitter}, journal = {{IEEE} J. Solid State Circuits}, volume = {39}, number = {12}, pages = {2349--2358}, year = {2004}, url = {https://doi.org/10.1109/JSSC.2004.835652}, doi = {10.1109/JSSC.2004.835652}, timestamp = {Thu, 16 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jssc/WerkerMHEMRRBMV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/ArtaleDFF04, author = {Alessandro Artale and Clare Dixon and Michael Fisher and Enrico Franconi}, title = {Editorial}, journal = {J. Log. Comput.}, volume = {14}, number = {1}, pages = {1}, year = {2004}, url = {https://doi.org/10.1093/logcom/14.1.1}, doi = {10.1093/LOGCOM/14.1.1}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/ArtaleDFF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/BordiniFVW04, author = {Rafael H. Bordini and Michael Fisher and Willem Visser and Michael J. Wooldridge}, title = {State-Space Reduction Techniques in Agent Verification}, booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}}, pages = {896--903}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10118}, doi = {10.1109/AAMAS.2004.10118}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/BordiniFVW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cmsb/FisherHHPSS04, author = {Jasmin Fisher and David Harel and E. Jane Albert Hubbard and Nir Piterman and Michael J. Stern and Naamah Swerdlin}, editor = {Vincent Danos and Vincent Sch{\"{a}}chter}, title = {Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems}, booktitle = {Computational Methods in Systems Biology, International Conference, {CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3082}, pages = {236--241}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25974-9\_20}, doi = {10.1007/978-3-540-25974-9\_20}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/cmsb/FisherHHPSS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/gis/Heuvelink03, author = {Gerard B. M. Heuvelink}, title = {Spatial Data Quality. Edited by Wenzhong Shi, Peter F. Fisher and Michael F. Goodchild (London: Taylor {\&} Francis, 2002) [Pp. xx+313]. {ISBN:} 0-415-25835-9. Hardback}, journal = {Int. J. Geogr. Inf. Sci.}, volume = {17}, number = {8}, pages = {816--818}, year = {2003}, url = {https://doi.org/10.1080/13658810310001592971}, doi = {10.1080/13658810310001592971}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/gis/Heuvelink03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/BordiniFPW03, author = {Rafael H. Bordini and Michael Fisher and Carmen Pardavila and Michael J. Wooldridge}, title = {Model checking agentspeak}, booktitle = {The Second International Joint Conference on Autonomous Agents {\&} Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings}, pages = {409--416}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/860575.860641}, doi = {10.1145/860575.860641}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/BordiniFPW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BordiniFPVW03, author = {Rafael H. Bordini and Michael Fisher and Carmen Pardavila and Willem Visser and Michael J. Wooldridge}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Model Checking Multi-Agent Programs with {CASP}}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {110--113}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_10}, doi = {10.1007/978-3-540-45069-6\_10}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BordiniFPVW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmi/SiracusaMWFD03, author = {Michael Siracusa and Louis{-}Philippe Morency and Kevin W. Wilson and John W. Fisher III and Trevor Darrell}, editor = {Sharon L. Oviatt and Trevor Darrell and Mark T. Maybury and Wolfgang Wahlster}, title = {A multi-modal approach for determining speaker location and focus}, booktitle = {Proceedings of the 5th International Conference on Multimodal Interfaces, {ICMI} 2003, Vancouver, British Columbia, Canada, November 5-7, 2003}, pages = {77--80}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/958432.958449}, doi = {10.1145/958432.958449}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icmi/SiracusaMWFD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/promas/BordiniFVW03, author = {Rafael H. Bordini and Michael Fisher and Willem Visser and Michael J. Wooldridge}, editor = {Mehdi Dastani and J{\"{u}}rgen Dix and Amal El Fallah Seghrouchni}, title = {Verifiable Multi-agent Programs}, booktitle = {Programming Multi-Agent Systems, First International Workshop, {PROMAS} 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3067}, pages = {72--89}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-25936-7\_4}, doi = {10.1007/978-3-540-25936-7\_4}, timestamp = {Wed, 12 Aug 2020 21:55:20 +0200}, biburl = {https://dblp.org/rec/conf/promas/BordiniFVW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BolotovFD02, author = {Alexander Bolotov and Michael Fisher and Clare Dixon}, title = {On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms}, journal = {J. Log. Comput.}, volume = {12}, number = {4}, pages = {561--581}, year = {2002}, url = {https://doi.org/10.1093/logcom/12.4.561}, doi = {10.1093/LOGCOM/12.4.561}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/BolotovFD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/neuroimage/MontagueBCMPDWK02, author = {P. Read Montague and Gregory S. Berns and Jonathan D. Cohen and Samuel M. McClure and Giuseppe Pagnoni and Mukesh Dhamala and Michael C. Wiest and Igor Karpov and Richard D. King and Nathan Apple and Ronald E. Fisher}, title = {Hyperscanning: Simultaneous fMRI during Linked Social Interactions}, journal = {NeuroImage}, volume = {16}, number = {4}, pages = {1159--1164}, year = {2002}, url = {https://doi.org/10.1006/nimg.2002.1150}, doi = {10.1006/NIMG.2002.1150}, timestamp = {Thu, 04 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/neuroimage/MontagueBCMPDWK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/WooldridgeFHP02, author = {Michael J. Wooldridge and Michael Fisher and Marc{-}Philippe Huget and Simon Parsons}, title = {Model checking multi-agent systems with {MABLE}}, booktitle = {The First International Joint Conference on Autonomous Agents {\&} Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy, Proceedings}, pages = {952--959}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/544862.544965}, doi = {10.1145/544862.544965}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/WooldridgeFHP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BrotherstonDFL02, author = {James Brotherston and Anatoli Degtyarev and Michael Fisher and Alexei Lisitsa}, editor = {Matthias Baaz and Andrei Voronkov}, title = {Searching for Invariants Using Temporal Resolution}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2514}, pages = {86--101}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36078-6\_6}, doi = {10.1007/3-540-36078-6\_6}, timestamp = {Fri, 03 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BrotherstonDFL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cartographica/WheateAFM01, author = {Roger Wheate and Nancy Alexander and Michael Fisher and Dieudonne Mouafo}, title = {A Brief History and Progress of Mountain Cartography in Canada}, journal = {Cartogr. Int. J. Geogr. Inf. Geovisualization}, volume = {38}, number = {1}, pages = {31--39}, year = {2001}, url = {https://doi.org/10.3138/N3L6-1874-5R18-118V}, doi = {10.3138/N3L6-1874-5R18-118V}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cartographica/WheateAFM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ivc/LewD01, author = {Michael S. Lew and Dee Denteneer}, title = {Fisher keys for content based retrieval}, journal = {Image Vis. Comput.}, volume = {19}, number = {8}, pages = {561--566}, year = {2001}, url = {https://doi.org/10.1016/S0262-8856(00)00102-5}, doi = {10.1016/S0262-8856(00)00102-5}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ivc/LewD01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcmc/FisherW01, author = {Dana R. Fisher and Larry Michael Wright}, title = {On Utopias and Dystopias: Toward an Understanding of the Discourse Surrounding the Internet}, journal = {J. Comput. Mediat. Commun.}, volume = {6}, number = {2}, pages = {0}, year = {2001}, url = {https://doi.org/10.1111/j.1083-6101.2001.tb00115.x}, doi = {10.1111/J.1083-6101.2001.TB00115.X}, timestamp = {Thu, 01 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcmc/FisherW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tgrs/CummingAFFGRRSTW01, author = {Colin J. Cumming and Craig Aker and Mark Fisher and Michael Fox and Marcus J. la Grone and Dennis Reust and Mark G. Rockley and Timothy M. Swager and Eric Towers and Vance Williams}, title = {Using novel fluorescent polymers as sensory materials for above-ground sensing of chemical signature compounds emanating from buried landmines}, journal = {{IEEE} Trans. Geosci. Remote. Sens.}, volume = {39}, number = {6}, pages = {1119--1128}, year = {2001}, url = {https://doi.org/10.1109/36.927423}, doi = {10.1109/36.927423}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tgrs/CummingAFFGRRSTW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/HustadtDSFMH01, author = {Ullrich Hustadt and Clare Dixon and Renate A. Schmidt and Michael Fisher and John{-}Jules Ch. Meyer and Wiebe van der Hoek}, title = {Reasoning about agents in the {KARO} framework}, booktitle = {Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001}, pages = {206--213}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/TIME.2001.930719}, doi = {10.1109/TIME.2001.930719}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/HustadtDSFMH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/anor/Pena-TorresB00, author = {Julio Pe{\~{n}}a{-}Torres and Michael Basch}, title = {Harvesting in a pelagic fishery: The case of Northern Chile}, journal = {Ann. Oper. Res.}, volume = {94}, number = {1-4}, pages = {295--320}, year = {2000}, url = {https://doi.org/10.1023/A\%3A1018933603839}, doi = {10.1023/A\%3A1018933603839}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/Pena-TorresB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ida/HandFB00, author = {David J. Hand and Douglas H. Fisher and Michael R. Berthold}, title = {Advances in intelligent data analysis}, journal = {Intell. Data Anal.}, volume = {4}, number = {2}, pages = {93--95}, year = {2000}, url = {http://content.iospress.com/articles/intelligent-data-analysis/ida00012}, timestamp = {Mon, 18 May 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ida/HandFB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/faabs/HustadtDSFMH00, author = {Ullrich Hustadt and Clare Dixon and Renate A. Schmidt and Michael Fisher and John{-}Jules Ch. Meyer and Wiebe van der Hoek}, editor = {James L. Rash and Christopher A. Rouff and Walt Truszkowski and Diana F. Gordon and Michael G. Hinchey}, title = {Verification within the {KARO} Agent Theory}, booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop, {FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {1871}, pages = {33--47}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45484-5\_3}, doi = {10.1007/3-540-45484-5\_3}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/faabs/HustadtDSFMH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jetai/BolotovF99, author = {Alexander Bolotov and Michael Fisher}, title = {A clausal resolution method for {CTL} branching-time temporal logic}, journal = {J. Exp. Theor. Artif. Intell.}, volume = {11}, number = {1}, pages = {77--93}, year = {1999}, url = {https://doi.org/10.1080/095281399146625}, doi = {10.1080/095281399146625}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jetai/BolotovF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/WooldridgeDF98, author = {Michael J. Wooldridge and Clare Dixon and Michael Fisher}, title = {A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief}, journal = {J. Appl. Non Class. Logics}, volume = {8}, number = {3}, pages = {225--258}, year = {1998}, url = {https://doi.org/10.1080/11663081.1998.10510944}, doi = {10.1080/11663081.1998.10510944}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/WooldridgeDF98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/DixonFW98, author = {Clare Dixon and Michael Fisher and Michael J. Wooldridge}, title = {Resolution for Temporal Logics of Knowledge}, journal = {J. Log. Comput.}, volume = {8}, number = {3}, pages = {345--372}, year = {1998}, url = {https://doi.org/10.1093/logcom/8.3.345}, doi = {10.1093/LOGCOM/8.3.345}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/DixonFW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsp/SandhamHFXC98, author = {William A. Sandham and David J. Hamilton and Anthony Fisher and Wei Xu and Michael Conway}, title = {Multiresolution wavelet decomposition of the seismocardiogram}, journal = {{IEEE} Trans. Signal Process.}, volume = {46}, number = {9}, pages = {2541--2543}, year = {1998}, url = {https://doi.org/10.1109/78.709542}, doi = {10.1109/78.709542}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tsp/SandhamHFXC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/ScottFK98, author = {R. I. Scott and Michael Fisher and John A. Keane}, editor = {David J. Pritchard and Jeff Reeve}, title = {Parallel Temporal Tableaux}, booktitle = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1470}, pages = {852--861}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0057940}, doi = {10.1007/BFB0057940}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/ScottFK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcis/FisherW97, author = {Michael Fisher and Michael J. Wooldridge}, title = {On the Formal Specification and Verification of Multi-Agent Systems}, journal = {Int. J. Cooperative Inf. Syst.}, volume = {6}, number = {1}, pages = {37--66}, year = {1997}, url = {https://doi.org/10.1142/S0218843097000057}, doi = {10.1142/S0218843097000057}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcis/FisherW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/FisherMSSW97, author = {Michael Fisher and J{\"{o}}rg P. M{\"{u}}ller and Michael Schroeder and Geof Staniford and Gerd Wagner}, title = {Methodological foundations for agent-based systems}, journal = {Knowl. Eng. Rev.}, volume = {12}, number = {3}, pages = {323--329}, year = {1997}, url = {https://doi.org/10.1017/S026988899700307X}, doi = {10.1017/S026988899700307X}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ker/FisherMSSW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/dInvernoFLLRRW97, author = {Mark d'Inverno and Michael Fisher and Alessio Lomuscio and Michael Luck and Maarten de Rijke and Mark Ryan and Michael J. Wooldridge}, title = {Formalisms for multi-agent systems}, journal = {Knowl. Eng. Rev.}, volume = {12}, number = {3}, pages = {315--321}, year = {1997}, url = {https://doi.org/10.1017/S0269888997003068}, doi = {10.1017/S0269888997003068}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ker/dInvernoFLLRRW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Fisher97, author = {Michael Fisher}, title = {A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution}, journal = {J. Log. Comput.}, volume = {7}, number = {4}, pages = {429--456}, year = {1997}, url = {https://doi.org/10.1093/logcom/7.4.429}, doi = {10.1093/LOGCOM/7.4.429}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/Fisher97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/MulderTF97, author = {Marco Mulder and Jan Treur and Michael Fisher}, editor = {Munindar P. Singh and Anand S. Rao and Michael J. Wooldridge}, title = {Agent Modelling in {METATEM} and {DESIRE}}, booktitle = {Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, {ATAL} '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1365}, pages = {193--207}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0026759}, doi = {10.1007/BFB0026759}, timestamp = {Tue, 29 Dec 2020 18:27:45 +0100}, biburl = {https://dblp.org/rec/conf/atal/MulderTF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/maamaw/FisherW97, author = {Michael Fisher and Michael J. Wooldridge}, editor = {Magnus Boman and Walter Van de Velde}, title = {Distributed Problem-Solving as Concurrent Theorem Proving}, booktitle = {Multi-Agent Rationality, 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Ronneby, Sweden, May 13-16, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1237}, pages = {128--140}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63077-5\_30}, doi = {10.1007/3-540-63077-5\_30}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/maamaw/FisherW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/BarringerGBGHHOMRF96, author = {Howard Barringer and Graham Gough and Derek Brough and Dov M. Gabbay and Ian M. Hodkinson and Anthony Hunter and Richard Owens and Peter McBrien and Mark Reynolds and Michael Fisher}, title = {Languages, Meta-languages and METATEM, {A} Discussion Paper}, journal = {Log. J. {IGPL}}, volume = {4}, number = {2}, pages = {255--272}, year = {1996}, url = {https://doi.org/10.1093/jigpal/4.2.255}, doi = {10.1093/JIGPAL/4.2.255}, timestamp = {Thu, 15 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/BarringerGBGHHOMRF96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/Fisher96, author = {Michael Fisher}, title = {Temporal Semantics for Concurrent Metatem}, journal = {J. Symb. Comput.}, volume = {22}, number = {5/6}, pages = {627--648}, year = {1996}, url = {https://doi.org/10.1006/jsco.1996.0069}, doi = {10.1006/JSCO.1996.0069}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Fisher96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mor/BorweinLN96, author = {Jonathan M. Borwein and Adrian S. Lewis and Dominikus Noll}, title = {Maximum Entropy Reconstruction Using Derivative Information, Part 1: Fisher Information and Convex Duality}, journal = {Math. Oper. Res.}, volume = {21}, number = {2}, pages = {442--468}, year = {1996}, url = {https://doi.org/10.1287/moor.21.2.442}, doi = {10.1287/MOOR.21.2.442}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mor/BorweinLN96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fapr/FisherWD96, author = {Michael Fisher and Michael J. Wooldridge and Clare Dixon}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief}, booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1085}, pages = {178--192}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61313-7\_72}, doi = {10.1007/3-540-61313-7\_72}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fapr/FisherWD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpcs/FisherJK95, author = {Michael Fisher and Robert Johnson and John A. Keane}, editor = {M. H. Hamza}, title = {Graph Structure Management in Parallel Symbolic Systems}, booktitle = {Proceedings of the Seventh {IASTED/ISMM} International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995}, pages = {210--215}, publisher = {{IASTED/ACTA} Press}, year = {1995}, timestamp = {Tue, 20 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdpcs/FisherJK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictl/WooldridgeF94, author = {Michael J. Wooldridge and Michael Fisher}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {A Decision Procedure for a Temporal Belief Logic}, booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn, Germany, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {827}, pages = {317--331}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0013996}, doi = {10.1007/BFB0013996}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ictl/WooldridgeF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/FisherW93, author = {Michael Fisher and Michael J. Wooldridge}, editor = {Miguel Filgueiras and Lu{\'{\i}}s Damas}, title = {Specifying and Verifying Distributed Intelligence Systems}, booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {727}, pages = {13--28}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57287-2\_35}, doi = {10.1007/3-540-57287-2\_35}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/epia/FisherW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/WooldridgeF92, author = {Michael J. Wooldridge and Michael Fisher}, editor = {Bernd Neumann}, title = {A First-Order Branching Time Logic of Multi-Agent System}, booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna, Austria, August 3-7, 1992. Proceedings}, pages = {234--238}, publisher = {John Wiley and Sons}, year = {1992}, timestamp = {Wed, 31 Jul 2019 08:44:58 +0200}, biburl = {https://dblp.org/rec/conf/ecai/WooldridgeF92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/gis/DeMersF91, author = {Michael N. DeMers and Peter F. Fisher}, title = {Comparative evolution of statewide Geographic Information Systems in Ohio}, journal = {Int. J. Geogr. Inf. Sci.}, volume = {5}, number = {4}, pages = {469--485}, year = {1991}, url = {https://doi.org/10.1080/02693799108927869}, doi = {10.1080/02693799108927869}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/gis/DeMersF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcom/FisherCABM91, author = {Kevin D. Fisher and John M. Cioffi and William L. Abbott and Philip S. Bednarz and C. Michael Melas}, title = {An adaptive {RAM-DFE} for storage channels}, journal = {{IEEE} Trans. Commun.}, volume = {39}, number = {11}, pages = {1559--1568}, year = {1991}, url = {https://doi.org/10.1109/26.111433}, doi = {10.1109/26.111433}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcom/FisherCABM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cm/CioffiATMF90, author = {John M. Cioffi and William L. Abbott and Hemant K. Thapar and C. Michael Melas and Kevin D. Fisher}, title = {Adaptive equalization in magnetic-disk storage channels}, journal = {{IEEE} Commun. Mag.}, volume = {28}, number = {2}, pages = {14--29}, year = {1990}, url = {https://doi.org/10.1109/35.46683}, doi = {10.1109/35.46683}, timestamp = {Wed, 02 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cm/CioffiATMF90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/micro/HuangSWAKAGFHT89, author = {Victor K. L. Huang and James W. Seery and William S. Wu and Saul Altabet and Michael J. Killian and Simeon Aymeloglu and Thaddeus J. Gabara and Aaron L. Fisher and Inseok Hwang and David W. Thompson}, title = {The AT{\&}T {WE32200} design challenge}, journal = {{IEEE} Micro}, volume = {9}, number = {2}, pages = {14--25}, year = {1989}, url = {https://doi.org/10.1109/40.24847}, doi = {10.1109/40.24847}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/micro/HuangSWAKAGFHT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mor/DempsterFJLLK83, author = {M. A. H. Dempster and Marshall L. Fisher and L. Jansen and B. J. Lageweg and Jan Karel Lenstra and A. H. G. Rinnooy Kan}, title = {Analysis of Heuristics for Stochastic Programming: Results for Hierarchical Scheduling Problems}, journal = {Math. Oper. Res.}, volume = {8}, number = {4}, pages = {525--537}, year = {1983}, url = {https://doi.org/10.1287/moor.8.4.525}, doi = {10.1287/MOOR.8.4.525}, timestamp = {Thu, 28 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mor/DempsterFJLLK83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/FisherHKMMPRSTT82, author = {William M. Fisher and James A. Hendler and Thomas P. Kehler and Paul Roller Michaelis and James R. Miller and Brian Phillips and Kenneth M. Ross and Shirley Steele and Harry R. Tennant and Craig W. Thompson}, title = {Research at Texas Instruments, Inc}, journal = {{SIGART} Newsl.}, volume = {79}, pages = {100--101}, year = {1982}, url = {https://doi.org/10.1145/1056663.1056729}, doi = {10.1145/1056663.1056729}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/FisherHKMMPRSTT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ior/DempsterFJLLK81, author = {Michael A. H. Dempster and Marshall L. Fisher and L. Jansen and B. J. Lageweg and Jan Karel Lenstra and A. H. G. Rinnooy Kan}, title = {Analytical Evaluation of Hierarchical Planning Systems}, journal = {Oper. Res.}, volume = {29}, number = {4}, pages = {707--716}, year = {1981}, url = {https://doi.org/10.1287/opre.29.4.707}, doi = {10.1287/OPRE.29.4.707}, timestamp = {Thu, 28 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/DempsterFJLLK81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsmall/MaguireMJYDSSFF78, author = {R. Brien Maguire and Eric Mackie and Mark Jacobson and E. Yoes and Edward J. Desautels and Susan L. Solomon and Jacob Slonim and Michael W. Farrell and Paul S. Fisher}, editor = {Fred J. Maryanski and George W. Gorsline and Michael P. Deisenroth}, title = {The language problem for small systems (Panel Session)}, booktitle = {Proceedings of the first {SIGMINI} symposium on Small systems, {SIGMINI} 1978, USA, August 2-3, 1978}, pages = {24--34}, publisher = {{ACM}}, year = {1978}, url = {https://doi.org/10.1145/800218.806628}, doi = {10.1145/800218.806628}, timestamp = {Tue, 10 Aug 2021 14:41:36 +0200}, biburl = {https://dblp.org/rec/conf/sigsmall/MaguireMJYDSSFF78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Fisher58, author = {Michael E. Fisher}, title = {Proposed Methods for the Analog Solution of Fredholm's Integral Equation}, journal = {J. {ACM}}, volume = {5}, number = {4}, pages = {357--369}, year = {1958}, url = {https://doi.org/10.1145/320941.320950}, doi = {10.1145/320941.320950}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Fisher58.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Fisher56, author = {Michael E. Fisher}, title = {Higher Order Differences in the Analogue Solution of Partial Differential Equations}, journal = {J. {ACM}}, volume = {3}, number = {4}, pages = {325--347}, year = {1956}, url = {https://doi.org/10.1145/320843.320852}, doi = {10.1145/320843.320852}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Fisher56.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.