Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Michael J. Fisher"
download as .bib file
@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 = {Fri, 06 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 = {Thu, 22 Aug 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/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 = {Mon, 19 Aug 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 = {Thu, 25 Jan 2024 00:00:00 +0100},
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 = {Thu, 18 Jul 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 = {Tue, 10 Aug 2021 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, 04 Aug 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 = {http://jmlr.org/papers/v17/15-454.html},
timestamp = {Wed, 10 Jul 2019 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, 04 Aug 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
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 = {Sat, 05 Sep 2020 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
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 = {Fri, 04 Aug 2023 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 = {Fri, 25 Dec 2020 00:00:00 +0100},
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 = {Tue, 29 Dec 2020 00:00:00 +0100},
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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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 = {Tue, 14 May 2019 10:00:41 +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}
}
a service of 
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.
retrieved on 2024-09-08 23:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
