default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Daniel Weller"
download as .bib file
@inproceedings{DBLP:conf/eacl/WellerMWLKD24,
author = {Orion Weller and
Marc Marone and
Nathaniel Weir and
Dawn J. Lawrie and
Daniel Khashabi and
Benjamin Van Durme},
editor = {Yvette Graham and
Matthew Purver},
title = {"According to . . . ": Prompting Language Models Improves Quoting
from Pre-Training Data},
booktitle = {Proceedings of the 18th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2024 - Volume 1:
Long Papers, St. Julian's, Malta, March 17-22, 2024},
pages = {2288--2301},
publisher = {Association for Computational Linguistics},
year = {2024},
url = {https://aclanthology.org/2024.eacl-long.140},
timestamp = {Tue, 02 Apr 2024 16:32:10 +0200},
biburl = {https://dblp.org/rec/conf/eacl/WellerMWLKD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-12958,
author = {Jeffrey Cheng and
Marc Marone and
Orion Weller and
Dawn J. Lawrie and
Daniel Khashabi and
Benjamin Van Durme},
title = {Dated Data: Tracing Knowledge Cutoffs in Large Language Models},
journal = {CoRR},
volume = {abs/2403.12958},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.12958},
doi = {10.48550/ARXIV.2403.12958},
eprinttype = {arXiv},
eprint = {2403.12958},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-12958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-04298,
author = {Dongwei Jiang and
Jingyu Zhang and
Orion Weller and
Nathaniel Weir and
Benjamin Van Durme and
Daniel Khashabi},
title = {{SELF-[IN]CORRECT:} LLMs Struggle with Refining Self-Generated Responses},
journal = {CoRR},
volume = {abs/2404.04298},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.04298},
doi = {10.48550/ARXIV.2404.04298},
eprinttype = {arXiv},
eprint = {2404.04298},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-04298.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/frai/FloresCWWWB23,
author = {Javier E. Flores and
Daniel Claborne and
Zachary D. Weller and
Bobbie{-}Jo M. Webb{-}Robertson and
Katrina M. Waters and
Lisa M. Bramer},
title = {Missing data in multi-omics integration: Recent advances through artificial
intelligence},
journal = {Frontiers Artif. Intell.},
volume = {6},
year = {2023},
url = {https://doi.org/10.3389/frai.2023.1098308},
doi = {10.3389/FRAI.2023.1098308},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/frai/FloresCWWWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/BatabyalWKA23,
author = {Tamal Batabyal and
Daniel S. Weller and
Jaideep Kapur and
Scott T. Acton},
title = {Efficient Learning of Transform-Domain {LMS} Filter Using Graph Laplacian},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {34},
number = {10},
pages = {7608--7620},
year = {2023},
url = {https://doi.org/10.1109/TNNLS.2022.3144637},
doi = {10.1109/TNNLS.2022.3144637},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnn/BatabyalWKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-13252,
author = {Orion Weller and
Marc Marone and
Nathaniel Weir and
Dawn J. Lawrie and
Daniel Khashabi and
Benjamin Van Durme},
title = {"According to ..." Prompting Language Models Improves Quoting from
Pre-Training Data},
journal = {CoRR},
volume = {abs/2305.13252},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.13252},
doi = {10.48550/ARXIV.2305.13252},
eprinttype = {arXiv},
eprint = {2305.13252},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-13252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/HollisSBHSBBDFI22,
author = {Timothy M. Hollis and
Ronny Schneider and
Martin Brox and
Thomas Hein and
Wolfgang Spirkl and
Martin Bach and
Mani Balakrishnan and
Stefan Dietrich and
Fabien Funfrock and
Milena Ivanov and
Natalija Jovanovic and
Maksim Kuzmenka and
Daniel Lauber and
Juan Ocon Garrido and
David Ovard and
Karl Pfefferl and
Sven Piatkowski and
Gabriele Piscopo and
Manfred Plan and
Jens Polney and
Jan Pottgiesser and
Stephan Rau and
Filippo Vitale and
Marc Walter and
Marcos Alvarez Gonzalez and
Cristian Chetreanu and
Andrea Sorrentino and
J{\"{o}}rg Weller and
Peter Mayer and
Michael Richter and
Casto Salobrena Garcia and
Andreas Schneider and
Shih Nern Wong},
title = {An 8-Gb {GDDR6X} {DRAM} Achieving 22 Gb/s/pin With Single-Ended {PAM-4}
Signaling},
journal = {{IEEE} J. Solid State Circuits},
volume = {57},
number = {1},
pages = {224--235},
year = {2022},
url = {https://doi.org/10.1109/JSSC.2021.3104093},
doi = {10.1109/JSSC.2021.3104093},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jssc/HollisSBHSBBDFI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/natmi/BaiWMXGFYMYBSZH22,
author = {Xiang Bai and
Hanchen Wang and
Liya Ma and
Yongchao Xu and
Jiefeng Gan and
Ziwei Fan and
Fan Yang and
Ke Ma and
Jiehua Yang and
Song Bai and
Chang Shu and
Xinyu Zou and
Renhao Huang and
Changzheng Zhang and
Xiaowu Liu and
Dandan Tu and
Chuou Xu and
Wenqing Zhang and
Xi Wang and
Anguo Chen and
Yu Zeng and
Dehua Yang and
Ming{-}Wei Wang and
Nagaraj Holalkere and
Neil J. Halin and
Ihab R. Kamel and
Jia Wu and
Xuehua Peng and
Xiang Wang and
Jianbo Shao and
Pattanasak Mongkolwat and
Jianjun Zhang and
Weiyang Liu and
Michael Roberts and
Zhongzhao Teng and
Lucian Beer and
Lorena Escudero Sanchez and
Evis Sala and
Daniel L. Rubin and
Adrian Weller and
Joan Lasenby and
Chuansheng Zheng and
Jianming Wang and
Zhen Li and
Carola Sch{\"{o}}nlieb and
Tian Xia},
title = {Author Correction: Advancing {COVID-19} diagnosis with privacy-preserving
collaboration in artificial intelligence},
journal = {Nat. Mach. Intell.},
volume = {4},
number = {4},
pages = {413},
year = {2022},
url = {https://doi.org/10.1038/s42256-022-00485-5},
doi = {10.1038/S42256-022-00485-5},
timestamp = {Mon, 29 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/natmi/BaiWMXGFYMYBSZH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/NguyenHW022,
author = {Anna Nguyen and
Daniel Hagenmayer and
Tobias Weller and
Michael F{\"{a}}rber},
editor = {Georgios Drakopoulos and
Eleanna Kafeza},
title = {Explaining Convolutional Neural Networks by Tagging Filters},
booktitle = {Proceedings of the {CIKM} 2022 Workshops co-located with 31st {ACM}
International Conference on Information and Knowledge Management {(CIKM}
2022), Atlanta, USA, October 17-21, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3318},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3318/short21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:32 +0100},
biburl = {https://dblp.org/rec/conf/cikm/NguyenHW022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/OliveiraAB22,
author = {Wellerson V. Oliveira and
Daniel S. A. de Araujo and
Leonardo C. T. Bezerra},
title = {Supermarket customer segmentation: a case study in a large Brazilian
retail chain},
booktitle = {24th {IEEE} Conference on Business Informatics, {CBI} 2022 - Volume
1, Amsterdam, Netherlands, June 15-17, 2022},
pages = {70--79},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CBI54897.2022.00015},
doi = {10.1109/CBI54897.2022.00015},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wecwis/OliveiraAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/frai/WellerLW21,
author = {Daniel L. Weller and
Tanzy M. T. Love and
Martin Wiedmann},
title = {Interpretability Versus Accuracy: {A} Comparison of Machine Learning
Models Built Using Different Algorithms, Performance Measures, and
Features to Predict E. coli Levels in Agricultural Water},
journal = {Frontiers Artif. Intell.},
volume = {4},
pages = {628441},
year = {2021},
url = {https://doi.org/10.3389/frai.2021.628441},
doi = {10.3389/FRAI.2021.628441},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/frai/WellerLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/natmi/BaiWMXGFYMYBSZH21,
author = {Xiang Bai and
Hanchen Wang and
Liya Ma and
Yongchao Xu and
Jiefeng Gan and
Ziwei Fan and
Fan Yang and
Ke Ma and
Jiehua Yang and
Song Bai and
Chang Shu and
Xinyu Zou and
Renhao Huang and
Changzheng Zhang and
Xiaowu Liu and
Dandan Tu and
Chuou Xu and
Wenqing Zhang and
Xi Wang and
Anguo Chen and
Yu Zeng and
Dehua Yang and
Ming{-}Wei Wang and
Nagaraj Holalkere and
Neil J. Halin and
Ihab R. Kamel and
Jia Wu and
Xuehua Peng and
Xiang Wang and
Jianbo Shao and
Pattanasak Mongkolwat and
Jianjun Zhang and
Weiyang Liu and
Michael Roberts and
Zhongzhao Teng and
Lucian Beer and
Lorena Escudero Sanchez and
Evis Sala and
Daniel L. Rubin and
Adrian Weller and
Joan Lasenby and
Chuansheng Zheng and
Jianming Wang and
Zhen Li and
Carola Sch{\"{o}}nlieb and
Tian Xia},
title = {Advancing {COVID-19} diagnosis with privacy-preserving collaboration
in artificial intelligence},
journal = {Nat. Mach. Intell.},
volume = {3},
number = {12},
pages = {1081--1089},
year = {2021},
url = {https://doi.org/10.1038/s42256-021-00421-z},
doi = {10.1038/S42256-021-00421-Z},
timestamp = {Mon, 29 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/natmi/BaiWMXGFYMYBSZH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcim/WellerWRV21,
author = {Tiago Rodrigues Weller and
Daniel Rodrigues Weller and
Luiz Carlos de Abreu Rodrigues and
Neri Volpato},
title = {A framework for tool-path airtime optimization in material extrusion
additive manufacturing},
journal = {Robotics Comput. Integr. Manuf.},
volume = {67},
pages = {101999},
year = {2021},
url = {https://doi.org/10.1016/j.rcim.2020.101999},
doi = {10.1016/J.RCIM.2020.101999},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcim/WellerWRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/TihanyiTCEFGHKK21,
author = {Viktor Tihanyi and
Tam{\'{a}}s Tettamanti and
Mih{\'{a}}ly Csonth{\'{o}} and
Arno Eichberger and
D{\'{a}}niel Ficzere and
K{\'{a}}lm{\'{a}}n Gangel and
Leander B. H{\"{o}}rmann and
Maria Anneliese Klaffenb{\"{o}}ck and
Christoph Knauder and
Patrick Luley and
Zolt{\'{a}}n Ferenc Magosi and
G{\'{a}}bor Magyar and
Huba N{\'{e}}meth and
Jakob Reckenzaun and
Viktor Remeli and
Andr{\'{a}}s R{\"{o}}vid and
Matthias R{\"{u}}ther and
Selim Solmaz and
Zolt{\'{a}}n Somogyi and
G{\'{a}}bor So{\'{o}}s and
D{\'{a}}vid Sz{\'{a}}ntay and
Tam{\'{a}}s Attila Tomaschek and
P{\'{a}}l Varga and
Zsolt Vincze and
Christoph Wellershaus and
Zsolt Szalay},
title = {Motorway Measurement Campaign to Support R{\&}D Activities in
the Field of Automated Driving Technologies},
journal = {Sensors},
volume = {21},
number = {6},
pages = {2169},
year = {2021},
url = {https://doi.org/10.3390/s21062169},
doi = {10.3390/S21062169},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/TihanyiTCEFGHKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/HollisSBHSBBDFI21,
author = {Timothy M. Hollis and
Ronny Schneider and
Martin Brox and
Thomas Hein and
Wolfgang Spirkl and
Martin Bach and
Mani Balakrishnan and
Stefan Dietrich and
Fabien Funfrock and
Milena Ivanov and
Natalija Jovanovic and
Maksim Kuzmenka and
Daniel Lauber and
Juan Ocon Garrido and
David Ovard and
Karl Pfefferl and
Sven Piatkowski and
Gabriele Piscopo and
Manfred Plan and
Jens Polney and
Jan Pottgiesser and
Stephan Rau and
Filippo Vitale and
Marc Walter and
Marcos Alvarez Gonzalez and
Martin Broschwitz and
Cristian Chetreanu and
Andrea Sorrentino and
J{\"{o}}rg Weller and
Peter Mayer and
Michael Richter and
Casto Salobrena Garcia and
Andreas Schneider and
Shih Nern Wong},
title = {25.3 An 8Gb {GDDR6X} {DRAM} Achieving 22Gb/s/pin with Single-Ended
{PAM4} Signaling},
booktitle = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2021,
San Francisco, CA, USA, February 13-22, 2021},
pages = {348--350},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSCC42613.2021.9365925},
doi = {10.1109/ISSCC42613.2021.9365925},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isscc/HollisSBHSBBDFI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10462,
author = {Tamal Batabyal and
Aijaz Ahmad Naik and
Daniel S. Weller and
Jaideep Kapur},
title = {Cellcounter: a deep learning framework for high-fidelity spatial localization
of neurons},
journal = {CoRR},
volume = {abs/2103.10462},
year = {2021},
url = {https://arxiv.org/abs/2103.10462},
eprinttype = {arXiv},
eprint = {2103.10462},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-09389,
author = {Anna Nguyen and
Daniel Hagenmayer and
Tobias Weller and
Michael F{\"{a}}rber},
title = {Explaining Convolutional Neural Networks by Tagging Filters},
journal = {CoRR},
volume = {abs/2109.09389},
year = {2021},
url = {https://arxiv.org/abs/2109.09389},
eprinttype = {arXiv},
eprint = {2109.09389},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-09389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-09461,
author = {Xiang Bai and
Hanchen Wang and
Liya Ma and
Yongchao Xu and
Jiefeng Gan and
Ziwei Fan and
Fan Yang and
Ke Ma and
Jiehua Yang and
Song Bai and
Chang Shu and
Xinyu Zou and
Renhao Huang and
Changzheng Zhang and
Xiaowu Liu and
Dandan Tu and
Chuou Xu and
Wenqing Zhang and
Xi Wang and
Anguo Chen and
Yu Zeng and
Dehua Yang and
Ming{-}Wei Wang and
Nagaraj Holalkere and
Neil J. Halin and
Ihab R. Kamel and
Jia Wu and
Xuehua Peng and
Xiang Wang and
Jianbo Shao and
Pattanasak Mongkolwat and
Jianjun Zhang and
Weiyang Liu and
Michael Roberts and
Zhongzhao Teng and
Lucian Beer and
Lorena Escudero Sanchez and
Evis Sala and
Daniel L. Rubin and
Adrian Weller and
Joan Lasenby and
Chuangsheng Zheng and
Jianming Wang and
Zhen Li and
Carola{-}Bibiane Sch{\"{o}}nlieb and
Tian Xia},
title = {Advancing {COVID-19} Diagnosis with Privacy-Preserving Collaboration
in Artificial Intelligence},
journal = {CoRR},
volume = {abs/2111.09461},
year = {2021},
url = {https://arxiv.org/abs/2111.09461},
eprinttype = {arXiv},
eprint = {2111.09461},
timestamp = {Mon, 29 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-09461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/LyBTHWA20,
author = {Tiffany T. Ly and
Tamal Batabyal and
Jeremy Thompson and
Tajie H. Harris and
Daniel S. Weller and
Scott T. Acton},
editor = {Michael B. Matthews},
title = {Hieroglyph: Hierarchical Glia Graph Skeletonization and Matching},
booktitle = {54th Asilomar Conference on Signals, Systems, and Computers, {ACSCC}
2020, Pacific Grove, CA, USA, November 1-4, 2020},
pages = {251--255},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IEEECONF51394.2020.9443372},
doi = {10.1109/IEEECONF51394.2020.9443372},
timestamp = {Tue, 26 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acssc/LyBTHWA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/TomaBEW20,
author = {Tanjin Taher Toma and
Kanchan Bisht and
Ukpong Eyo and
Daniel S. Weller},
editor = {Michael B. Matthews},
title = {{VBET:} Vesselness and Blob Enhancement Technique for 2d and 3d microscopy
images of microglia},
booktitle = {54th Asilomar Conference on Signals, Systems, and Computers, {ACSCC}
2020, Pacific Grove, CA, USA, November 1-4, 2020},
pages = {256--260},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IEEECONF51394.2020.9443366},
doi = {10.1109/IEEECONF51394.2020.9443366},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acssc/TomaBEW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LeeGTBWCI20,
author = {Min Kyung Lee and
Nina Grgic{-}Hlaca and
Michael Carl Tschantz and
Reuben Binns and
Adrian Weller and
Michelle Carney and
Kori Inkpen},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {Human-Centered Approaches to Fair and Responsible {AI}},
booktitle = {Extended Abstracts of the 2020 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2020, Honolulu, HI, USA, April 25-30, 2020},
pages = {1--8},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3334480.3375158},
doi = {10.1145/3334480.3375158},
timestamp = {Wed, 12 Jun 2024 07:39:18 +0200},
biburl = {https://dblp.org/rec/conf/chi/LeeGTBWCI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/JeelaniYZKSW20,
author = {Haris Jeelani and
Yang Yang and
Ruixi Zhou and
Christopher M. Kramer and
Michael Salerno and
Daniel S. Weller},
title = {A Myocardial T1-Mapping Framework with Recurrent and U-Net Convolutional
Neural Networks},
booktitle = {17th {IEEE} International Symposium on Biomedical Imaging, {ISBI}
2020, Iowa City, IA, USA, April 3-7, 2020},
pages = {1941--1944},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISBI45749.2020.9098459},
doi = {10.1109/ISBI45749.2020.9098459},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isbi/JeelaniYZKSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/TomaW20,
author = {Tanjin Taher Toma and
Daniel S. Weller},
title = {Fast Automatic Parameter Selection for {MRI} Reconstruction},
booktitle = {17th {IEEE} International Symposium on Biomedical Imaging, {ISBI}
2020, Iowa City, IA, USA, April 3-7, 2020},
pages = {1078--1081},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISBI45749.2020.9098569},
doi = {10.1109/ISBI45749.2020.9098569},
timestamp = {Sun, 07 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isbi/TomaW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/EbnerHLRW19,
author = {Gabriel Ebner and
Stefan Hetzl and
Alexander Leitsch and
Giselle Reis and
Daniel Weller},
title = {On the Generation of Quantified Lemmas},
journal = {J. Autom. Reason.},
volume = {63},
number = {1},
pages = {95--126},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9462-8},
doi = {10.1007/S10817-018-9462-8},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/EbnerHLRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/WetzlWHSWTLCAUM19,
author = {Matthias Wetzl and
Melanie Weller and
Rafael Heiss and
Eleni Schr{\"{u}}fer and
Wolfgang Wuest and
Carsten Thierfelder and
Daniel Lerch and
Alexander Cavallaro and
Patrick Amarteifio and
Michael Uder and
Matthias Stefan May},
title = {Mobile Workflow in Computed Tomography of the Chest},
journal = {J. Medical Syst.},
volume = {43},
number = {1},
pages = {14:1--14:9},
year = {2019},
url = {https://doi.org/10.1007/s10916-018-1131-2},
doi = {10.1007/S10916-018-1131-2},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jms/WetzlWHSWTLCAUM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AschieriHW19,
author = {Federico Aschieri and
Stefan Hetzl and
Daniel Weller},
title = {Expansion trees with cut},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {8},
pages = {1009--1029},
year = {2019},
url = {https://doi.org/10.1017/S0960129519000069},
doi = {10.1017/S0960129519000069},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AschieriHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/BarthelJVMTKAAA19,
author = {Floris P. Barthel and
Kevin C. Johnson and
Frederick S. Varn and
Anzhela D. Moskalik and
Georgette Tanner and
Emre Kocakavuk and
Kevin J. Anderson and
Olajide Abiola and
Kenneth D. Aldape and
Kristin D. Alfaro and
Donat Alpar and
Samirkumar B. Amin and
David M. Ashley and
Pratiti Bandopadhayay and
Jill S. Barnholtz{-}Sloan and
Rameen Beroukhim and
Christoph Bock and
Priscilla K. Brastianos and
Daniel J. Brat and
Andrew R. Brodbelt and
Alexander F. Bruns and
Ketan R. Bulsara and
Aruna Chakrabarty and
Arnab Chakravarti and
Jeffrey H. Chuang and
Elizabeth B. Claus and
Elizabeth J. Cochran and
Jennifer Connelly and
Joseph F. Costello and
Gaetano Finocchiaro and
Michael N. Fletcher and
Pim J. French and
Hui K. Gan and
Mark R. Gilbert and
Peter V. Gould and
Matthew R. Grimmer and
Antonio Iavarone and
Azzam Ismail and
Michael D. Jenkinson and
Mustafa Khasraw and
Hoon Kim and
Mathilde C. M. Kouwenhoven and
Peter S. LaViolette and
Meihong Li and
Peter Lichter and
Keith L. Ligon and
Allison K. Lowman and
Tathiane M. Malta and
Tali Mazor and
Kerrie L. McDonald and
Annette M. Molinaro and
Do{-}Hyun Nam and
Naema Nayyar and
Ho Keung Ng and
Chew Yee Ngan and
Simone P. Niclou and
Johanna M. Niers and
Houtan Noushmehr and
Javad Noorbakhsh and
D. Ryan Ormond and
Chul{-}Kee Park and
Laila M. Poisson and
Raul Rabadan and
Bernhard Radlwimmer and
Ganesh Rao and
Guido Reifenberger and
Jason K. Sa and
Michael Schuster and
Brian L. Shaw and
Susan C. Short and
Peter A. E. Sillevis Smitt and
Andrew E. Sloan and
Marion Smits and
Hiromichi Suzuki and
Ghazaleh Tabatabai and
Erwin G. Van Meir and
Colin Watts and
Michael Weller and
Pieter Wesseling and
Bart A. Westerman and
Georg Widhalm and
Adelheid Woehrer and
W. K. Alfred Yung and
Gelareh Zadeh and
Jason T. Huse and
John F. De Groot and
Lucy F. Stead and
Roel G. W. Verhaak},
title = {Longitudinal molecular trajectories of diffuse glioma in adults},
journal = {Nat.},
volume = {576},
number = {7785},
pages = {112--120},
year = {2019},
url = {https://doi.org/10.1038/s41586-019-1775-1},
doi = {10.1038/S41586-019-1775-1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nature/BarthelJVMTKAAA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigpro/WellerNF19,
author = {Daniel S. Weller and
Douglas C. Noll and
Jeffrey A. Fessler},
title = {Real-time filtering with sparse variations for head motion in magnetic
resonance imaging},
journal = {Signal Process.},
volume = {157},
pages = {170--179},
year = {2019},
url = {https://doi.org/10.1016/j.sigpro.2018.12.001},
doi = {10.1016/J.SIGPRO.2018.12.001},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigpro/WellerNF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tip/JeelaniLAW19,
author = {Haris Jeelani and
Haoyi Liang and
Scott T. Acton and
Daniel S. Weller},
title = {Content-Aware Enhancement of Images With Filamentous Structures},
journal = {{IEEE} Trans. Image Process.},
volume = {28},
number = {7},
pages = {3451--3461},
year = {2019},
url = {https://doi.org/10.1109/TIP.2019.2897289},
doi = {10.1109/TIP.2019.2897289},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tip/JeelaniLAW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/LiangDKW19,
author = {Haoyi Liang and
Natalia Dabrowska and
Jaideep Kapur and
Daniel S. Weller},
title = {Structure-Based Intensity Propagation for 3-D Brain Reconstruction
With Multilayer Section Microscopy},
journal = {{IEEE} Trans. Medical Imaging},
volume = {38},
number = {5},
pages = {1106--1115},
year = {2019},
url = {https://doi.org/10.1109/TMI.2018.2878488},
doi = {10.1109/TMI.2018.2878488},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmi/LiangDKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08864,
author = {Haoyi Liang and
Aijaz Naik and
Cedric L. Williams and
Jaideep Kapur and
Daniel S. Weller},
title = {Enhanced Center Coding for Cell Detection with Convolutional Neural
Networks},
journal = {CoRR},
volume = {abs/1904.08864},
year = {2019},
url = {http://arxiv.org/abs/1904.08864},
eprinttype = {arXiv},
eprint = {1904.08864},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/BroxBBCDFGHHLIK18,
author = {Martin Brox and
Mani Balakrishnan and
Martin Broschwitz and
Cristian Chetreanu and
Stefan Dietrich and
Fabien Funfrock and
Marcos Alvarez Gonzalez and
Thomas Hein and
Eugen Huber and
Daniel Lauber and
Milena Ivanov and
Maksim Kuzmenka and
Chris Mohr and
Juan Ocon Garrido and
Swetha Padaraju and
Sven Piatkowski and
Jan Pottgiesser and
Peter Pfefferl and
Manfred Plan and
Jens Polney and
Stephan Rau and
Michael Richter and
Ronny Schneider and
Ralf Oliver Seitter and
Wolfgang Spirkl and
Marc Walter and
J{\"{o}}rg Weller and
Filippo Vitale},
title = {An 8-Gb 12-Gb/s/pin {GDDR5X} {DRAM} for Cost-Effective High-Performance
Applications},
journal = {{IEEE} J. Solid State Circuits},
volume = {53},
number = {1},
pages = {134--143},
year = {2018},
url = {https://doi.org/10.1109/JSSC.2017.2737945},
doi = {10.1109/JSSC.2017.2737945},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/BroxBBCDFGHHLIK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/CapperJSHSSKSCR18,
author = {David Capper and
David T. W. Jones and
Martin Sill and
Volker Hovestadt and
Daniel Schrimpf and
Dominik Sturm and
Christian Koelsche and
Felix Sahm and
Lukas Chavez and
David E. Reuss and
Annekathrin Kratz and
Annika K. Wefers and
Kristin Huang and
Kristian W. Pajtler and
Leonille Schweizer and
Damian Stichel and
Adriana Olar and
Nils W. Engel and
Kerstin Lindenberg and
Patrick N. Harter and
Anne K. Braczynski and
Karl H. Plate and
Hildegard Dohmen and
Boyan K. Garvalov and
Roland Coras and
Annett H{\"{o}}lsken and
Ekkehard Hewer and
Melanie Bewerunge{-}Hudler and
Matthias Schick and
Roger Fischer and
Rudi Beschorner and
Jens Schittenhelm and
Ori Staszewski and
Khalida Wani and
Pascale Varlet and
Melanie Pages and
Petra Temming and
Dietmar Lohmann and
Florian Selt and
Hendrik Witt and
Till Milde and
Olaf Witt and
Eleonora Aronica and
Felice Giangaspero and
Elisabeth Rushing and
Wolfram Scheurlen and
Christoph Geisenberger and
Fausto J. Rodriguez and
Albert Becker and
Matthias Preusser and
Christine Haberler and
Rolf Bjerkvig and
Jane Cryan and
Michael Farrell and
Martina Deckert and
J{\"{u}}rgen Hench and
Stephan Frank and
Jonathan Serrano and
Kasthuri Kannan and
Aristotelis Tsirigos and
Wolfgang Br{\"{u}}ck and
Silvia Hofer and
Stefanie Brehmer and
Marcel Seiz{-}Rosenhagen and
Daniel H{\"{a}}nggi and
Volkmar Hans and
Stephanie Rozsnoki and
Jordan R. Hansford and
Patricia Kohlhof and
Bjarne W. Kristensen and
Matt Lechner and
Beatriz Lopes and
Christian Mawrin and
Ralf Ketter and
Andreas Kulozik and
Ziad Khatib and
Frank Heppner and
Arend Koch and
Anne Jouvet and
Catherine Keohane and
Helmut M{\"{u}}hleisen and
Wolf Mueller and
Ute Pohl and
Marco Prinz and
Axel Benner and
Marc Zapatka and
Nicholas G. Gottardo and
Pablo Hern{\'{a}}iz Driever and
Christof M. Kramm and
Hermann L. M{\"{u}}ller and
Stefan Rutkowski and
Katja von Hoff and
Michael C. Fr{\"{u}}hwald and
Astrid Gnekow and
Gudrun Fleischhack and
Stephan Tippelt and
Gabriele Calaminus and
Camelia{-}Maria Monoranu and
Arie Perry and
Chris Jones and
Thomas S. Jacques and
Bernhard Radlwimmer and
Marco Gessi and
Torsten Pietsch and
Johannes Schramm and
Gabriele Schackert and
Manfred Westphal and
Guido Reifenberger and
Pieter Wesseling and
Michael Weller and
Vincent Peter Collins and
Ingmar Bl{\"{u}}mcke and
Martin Bendszus and
J{\"{u}}rgen Debus and
Annie Huang and
Nada Jabado and
Paul A. Northcott and
Werner Paulus and
Amar Gajjar and
Giles W. Robinson and
Michael D. Taylor and
Zane Jaunmuktane and
Marina Ryzhova and
Michael Platten and
Andreas Unterberg and
Wolfgang Wick and
Matthias A. Karajannis and
Michel Mittelbronn and
Till Acker and
Christian Hartmann and
Kenneth D. Aldape and
Ulrich Sch{\"{u}}ller and
Rolf Buslei and
Peter Lichter and
Marcel Kool and
Christel Herold{-}Mende and
David W. Ellison and
Martin Hasselblatt and
Matija Snuderl and
Sebastian Brandner and
Andrey Korshunov and
Andreas von Deimling and
Stefan M. Pfister},
title = {{DNA} methylation-based classification of central nervous system tumours},
journal = {Nat.},
volume = {555},
number = {7697},
pages = {469--474},
year = {2018},
url = {https://doi.org/10.1038/nature26000},
doi = {10.1038/NATURE26000},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nature/CapperJSHSSKSCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/JeelaniMVSW18,
author = {Haris Jeelani and
Jonathan Martin and
Francis Vasquez and
Michael Salerno and
Daniel S. Weller},
title = {Image quality affects deep learning reconstruction of {MRI}},
booktitle = {15th {IEEE} International Symposium on Biomedical Imaging, {ISBI}
2018, Washington, DC, USA, April 4-7, 2018},
pages = {357--360},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISBI.2018.8363592},
doi = {10.1109/ISBI.2018.8363592},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isbi/JeelaniMVSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CohenGKPSTW17,
author = {Nathann Cohen and
Daniel Gon{\c{c}}alves and
Eun Jung Kim and
Christophe Paul and
Ignasi Sau and
Dimitrios M. Thilikos and
Mathias Weller},
title = {A polynomial-time algorithm for Outerplanar Diameter Improvement},
journal = {J. Comput. Syst. Sci.},
volume = {89},
pages = {315--327},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.05.016},
doi = {10.1016/J.JCSS.2017.05.016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CohenGKPSTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaazCGHW17,
author = {Matthias Baaz and
Agata Ciabattoni and
Dov M. Gabbay and
Stefan Hetzl and
Daniel Weller},
title = {Preface},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {415},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu076},
doi = {10.1093/LOGCOM/EXU076},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaazCGHW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EberhardHW17,
author = {Sebastian Eberhard and
Stefan Hetzl and
Daniel Weller},
title = {Boolean unification with predicates},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {109--128},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv059},
doi = {10.1093/LOGCOM/EXV059},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EberhardHW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LeitschPW17,
author = {Alexander Leitsch and
Nicolas Peltier and
Daniel Weller},
title = {{CERES} for first-order schemata},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {1897--1954},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx003},
doi = {10.1093/LOGCOM/EXX003},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LeitschPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/LiangDKW17,
author = {Haoyi Liang and
Natalia Dabrowska and
Jaideep Kapur and
Daniel S. Weller},
editor = {Michael B. Matthews},
title = {Whole brain reconstruction from multilayered sections of a mouse model
of status epilepticus},
booktitle = {51st Asilomar Conference on Signals, Systems, and Computers, {ACSSC}
2017, Pacific Grove, CA, USA, October 29 - November 1, 2017},
pages = {1260--1263},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ACSSC.2017.8335554},
doi = {10.1109/ACSSC.2017.8335554},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/acssc/LiangDKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciss/Weller17,
author = {Daniel S. Weller},
title = {Learning dictionaries for accelerated parallel {MRI} reconstruction},
booktitle = {51st Annual Conference on Information Sciences and Systems, {CISS}
2017, Baltimore, MD, USA, March 22-24, 2017},
pages = {1},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CISS.2017.7926178},
doi = {10.1109/CISS.2017.7926178},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/ciss/Weller17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/LiangAW17,
author = {Haoyi Liang and
Scott T. Acton and
Daniel S. Weller},
title = {Content-aware neuron image enhancement},
booktitle = {2017 {IEEE} International Conference on Image Processing, {ICIP} 2017,
Beijing, China, September 17-20, 2017},
pages = {3510--3514},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICIP.2017.8296935},
doi = {10.1109/ICIP.2017.8296935},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icip/LiangAW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/BroxBBCDFGHHLIK17,
author = {Martin Brox and
Mani Balakrishnan and
Martin Broschwitz and
Cristian Chetreanu and
Stefan Dietrich and
Fabien Funfrock and
Marcos Alvarez Gonzalez and
Thomas Hein and
Eugen Huber and
Daniel Lauber and
Milena Ivanov and
Maksim Kuzmenka and
Chris Mohr and
Francisco Emiliano Munoz and
Juan Ocon Garrido and
Swetha Padaraju and
Sven Piatkowski and
Jan Pottgiesser and
Peter Pfefferl and
Manfred Plan and
Jens Polney and
Stefan Rau and
Michael Richter and
Ronny Schneider and
Ralf Oliver Seitter and
Wolfgang Spirkl and
Marc Walter and
J{\"{o}}rg Weller and
Filippo Vitale},
title = {23.1 An 8Gb 12Gb/s/pin {GDDR5X} {DRAM} for cost-effective high-performance
applications},
booktitle = {2017 {IEEE} International Solid-State Circuits Conference, {ISSCC}
2017, San Francisco, CA, USA, February 5-9, 2017},
pages = {388--389},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISSCC.2017.7870424},
doi = {10.1109/ISSCC.2017.7870424},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isscc/BroxBBCDFGHHLIK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AnCFFGHPPQWZ16,
author = {Jisun An and
David J. Crandall and
Roman Fedorov and
Casey Fiesler and
Fabio Giglietto and
Bahareh R. Heravi and
Jessica Pater and
Konstantinos Pelechrinis and
Daniele Quercia and
Katrin Weller and
Arkaitz Zubiaga},
title = {Reports of the Workshops Held at the 2016 International {AAAI} Conference
on Web and Social Media},
journal = {{AI} Mag.},
volume = {37},
number = {4},
pages = {89--93},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i4.2692},
doi = {10.1609/AIMAG.V37I4.2692},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/AnCFFGHPPQWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tip/LiangW16,
author = {Haoyi Liang and
Daniel S. Weller},
title = {Comparison-Based Image Quality Assessment for Selecting Image Restoration
Parameters},
journal = {{IEEE} Trans. Image Process.},
volume = {25},
number = {11},
pages = {5118--5130},
year = {2016},
url = {https://doi.org/10.1109/TIP.2016.2601783},
doi = {10.1109/TIP.2016.2601783},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tip/LiangW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/Weller16,
author = {Daniel S. Weller},
editor = {Michael B. Matthews},
title = {Robust phase retrieval with sparsity under nonnegativity constraints},
booktitle = {50th Asilomar Conference on Signals, Systems and Computers, {ACSSC}
2016, Pacific Grove, CA, USA, November 6-9, 2016},
pages = {1043--1047},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ACSSC.2016.7869528},
doi = {10.1109/ACSSC.2016.7869528},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acssc/Weller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/LiangW16,
author = {Haoyi Liang and
Daniel S. Weller},
title = {Denoising method selection by comparison-based image quality assessment},
booktitle = {2016 {IEEE} International Conference on Image Processing, {ICIP} 2016,
Phoenix, AZ, USA, September 25-28, 2016},
pages = {3106--3110},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICIP.2016.7532931},
doi = {10.1109/ICIP.2016.7532931},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/LiangW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/LiangW16a,
author = {Haoyi Liang and
Daniel S. Weller},
title = {Edge-based texture granularity detection},
booktitle = {2016 {IEEE} International Conference on Image Processing, {ICIP} 2016,
Phoenix, AZ, USA, September 25-28, 2016},
pages = {3563--3567},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICIP.2016.7533023},
doi = {10.1109/ICIP.2016.7533023},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icip/LiangW16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiai/Weller16,
author = {Daniel S. Weller},
title = {Analysis-form sparse phase retrieval using variable-splitting},
booktitle = {2016 {IEEE} Southwest Symposium on Image Analysis and Interpretation,
{SSIAI} 2016, Santa Fe, NM, USA, March 6-8, 2016},
pages = {61--64},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SSIAI.2016.7459175},
doi = {10.1109/SSIAI.2016.7459175},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiai/Weller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiai/Weller16a,
author = {Daniel S. Weller},
title = {Reconstruction with dictionary learning for accelerated parallel magnetic
resonance imaging},
booktitle = {2016 {IEEE} Southwest Symposium on Image Analysis and Interpretation,
{SSIAI} 2016, Santa Fe, NM, USA, March 6-8, 2016},
pages = {105--108},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SSIAI.2016.7459186},
doi = {10.1109/SSIAI.2016.7459186},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiai/Weller16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/CanoPRWD16,
author = {Amparo Elizabeth Cano and
Daniel Preotiuc{-}Pietro and
Danica Radovanovic and
Katrin Weller and
Aba{-}Sah Dadzie},
editor = {Jacqueline Bourdeau and
Jim Hendler and
Roger Nkambou and
Ian Horrocks and
Ben Y. Zhao},
title = {{\#}Microposts2016: 6th Workshop on Making Sense of Microposts: Big
things come in small packages},
booktitle = {Proceedings of the 25th International Conference on World Wide Web,
{WWW} 2016, Montreal, Canada, April 11-15, 2016, Companion Volume},
pages = {1041--1042},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2872518.2893528},
doi = {10.1145/2872518.2893528},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/www/CanoPRWD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/msm/2016,
editor = {Aba{-}Sah Dadzie and
Daniel Preotiuc{-}Pietro and
Danica Radovanovic and
Amparo Elizabeth Cano Basave and
Katrin Weller},
title = {Proceedings of the 6th Workshop on 'Making Sense of Microposts' co-located
with the 25th International World Wide Web Conference {(WWW} 2016),
Montr{\'{e}}al, Canada, April 11, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1691},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1691},
urn = {urn:nbn:de:0074-1691-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiangW16,
author = {Haoyi Liang and
Daniel S. Weller},
title = {Comparison-based Image Quality Assessment for Parameter Selection},
journal = {CoRR},
volume = {abs/1601.04619},
year = {2016},
url = {http://arxiv.org/abs/1601.04619},
eprinttype = {arXiv},
eprint = {1601.04619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiangW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cphysics/ZentileKWWAH15,
author = {Mark A. Zentile and
James Keaveney and
Lee Weller and
Daniel J. Whiting and
Charles S. Adams and
Ifan G. Hughes},
title = {ElecSus: {A} program to calculate the electric susceptibility of an
atomic ensemble},
journal = {Comput. Phys. Commun.},
volume = {189},
pages = {162--174},
year = {2015},
url = {https://doi.org/10.1016/j.cpc.2014.11.023},
doi = {10.1016/J.CPC.2014.11.023},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cphysics/ZentileKWWAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tci/WellerPDREF15,
author = {Daniel S. Weller and
Ayelet Pnueli and
Gilad Divon and
Ori Radzyner and
Yonina C. Eldar and
Jeffrey A. Fessler},
title = {Undersampled Phase Retrieval With Outliers},
journal = {{IEEE} Trans. Computational Imaging},
volume = {1},
number = {4},
pages = {247--258},
year = {2015},
url = {https://doi.org/10.1109/TCI.2015.2498402},
doi = {10.1109/TCI.2015.2498402},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tci/WellerPDREF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/LiangW15,
author = {Haoyi Liang and
Daniel S. Weller},
editor = {Michael B. Matthews},
title = {Regularization parameter trimming for iterative image reconstruction},
booktitle = {49th Asilomar Conference on Signals, Systems and Computers, {ACSSC}
2015, Pacific Grove, CA, USA, November 8-11, 2015},
pages = {755--759},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACSSC.2015.7421235},
doi = {10.1109/ACSSC.2015.7421235},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/acssc/LiangW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Cohen0KPSTW15,
author = {Nathann Cohen and
Daniel Gon{\c{c}}alves and
Eunjung Kim and
Christophe Paul and
Ignasi Sau and
Dimitrios M. Thilikos and
Mathias Weller},
editor = {Lev D. Beklemishev and
Daniil V. Musatov},
title = {A Polynomial-Time Algorithm for Outerplanar Diameter Improvement},
booktitle = {Computer Science - Theory and Applications - 10th International Computer
Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9139},
pages = {123--142},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20297-6\_9},
doi = {10.1007/978-3-319-20297-6\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/Cohen0KPSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/socnet/EnemarkMW14,
author = {Daniel P. Enemark and
Mathew D. McCubbins and
Nicholas Weller},
title = {Knowledge and networks: An experimental test of how network knowledge
affects coordination},
journal = {Soc. Networks},
volume = {36},
pages = {122--133},
year = {2014},
url = {https://doi.org/10.1016/j.socnet.2012.10.001},
doi = {10.1016/J.SOCNET.2012.10.001},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/socnet/EnemarkMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HetzlLRW14,
author = {Stefan Hetzl and
Alexander Leitsch and
Giselle Reis and
Daniel Weller},
title = {Algorithmic introduction of quantified cuts},
journal = {Theor. Comput. Sci.},
volume = {549},
pages = {1--16},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.05.018},
doi = {10.1016/J.TCS.2014.05.018},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HetzlLRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/WellerRF14,
author = {Daniel S. Weller and
Sathish Ramani and
Jeffrey A. Fessler},
title = {Augmented Lagrangian with Variable Splitting for Faster Non-Cartesian
{\(\mathbb{L}\)}\({}_{\mbox{1}}\)-SPIRiT {MR} Image Reconstruction},
journal = {{IEEE} Trans. Medical Imaging},
volume = {33},
number = {2},
pages = {351--361},
year = {2014},
url = {https://doi.org/10.1109/TMI.2013.2285046},
doi = {10.1109/TMI.2013.2285046},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmi/WellerRF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HetzlLRTW14,
author = {Stefan Hetzl and
Alexander Leitsch and
Giselle Reis and
Janos Tapolczai and
Daniel Weller},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Introducing Quantified Cuts in Logic with Equality},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {240--254},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_17},
doi = {10.1007/978-3-319-08587-6\_17},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HetzlLRTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/WellerPRDEF14,
author = {Daniel S. Weller and
Ayelet Pnueli and
Ori Radzyner and
Gilad Divon and
Yonina C. Eldar and
Jeffrey A. Fessler},
title = {Phase retrieval of sparse signals using optimization transfer and
{ADMM}},
booktitle = {2014 {IEEE} International Conference on Image Processing, {ICIP} 2014,
Paris, France, October 27-30, 2014},
pages = {1342--1346},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICIP.2014.7025268},
doi = {10.1109/ICIP.2014.7025268},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/WellerPRDEF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cohen0KPSTW14,
author = {Nathann Cohen and
Daniel Gon{\c{c}}alves and
Eun Jung Kim and
Christophe Paul and
Ignasi Sau and
Dimitrios M. Thilikos and
Mathias Weller},
title = {A Polynomial-time Algorithm for Outerplanar Diameter Improvement},
journal = {CoRR},
volume = {abs/1403.5702},
year = {2014},
url = {http://arxiv.org/abs/1403.5702},
eprinttype = {arXiv},
eprint = {1403.5702},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cohen0KPSTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HetzlLRTW14,
author = {Stefan Hetzl and
Alexander Leitsch and
Giselle Reis and
Janos Tapolczai and
Daniel Weller},
title = {Introducing Quantified Cuts in Logic with Equality},
journal = {CoRR},
volume = {abs/1402.2474},
year = {2014},
url = {http://arxiv.org/abs/1402.2474},
eprinttype = {arXiv},
eprint = {1402.2474},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HetzlLRTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HetzlLRW14,
author = {Stefan Hetzl and
Alexander Leitsch and
Giselle Reis and
Daniel Weller},
title = {Algorithmic Introduction of Quantified Cuts},
journal = {CoRR},
volume = {abs/1401.4330},
year = {2014},
url = {http://arxiv.org/abs/1401.4330},
eprinttype = {arXiv},
eprint = {1401.4330},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HetzlLRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Weller14,
author = {Daniel Weller},
title = {Exposition: Synthesis via Functional Interpretation},
journal = {CoRR},
volume = {abs/1403.7353},
year = {2014},
url = {http://arxiv.org/abs/1403.7353},
eprinttype = {arXiv},
eprint = {1403.7353},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Weller14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/RamaniWNF13,
author = {Sathish Ramani and
Daniel S. Weller and
Jon{-}Fredrik Nielsen and
Jeffrey A. Fessler},
title = {Non-Cartesian {MRI} Reconstruction With Automatic Regularization Via
Monte-Carlo {SURE}},
journal = {{IEEE} Trans. Medical Imaging},
volume = {32},
number = {8},
pages = {1411--1422},
year = {2013},
url = {https://doi.org/10.1109/TMI.2013.2257829},
doi = {10.1109/TMI.2013.2257829},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmi/RamaniWNF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/WellerPGWAG13,
author = {Daniel S. Weller and
Jonathan R. Polimeni and
Leo J. Grady and
Lawrence L. Wald and
Elfar Adalsteinsson and
Vivek K. Goyal},
title = {Sparsity-Promoting Calibration for {GRAPPA} Accelerated Parallel {MRI}
Reconstruction},
journal = {{IEEE} Trans. Medical Imaging},
volume = {32},
number = {7},
pages = {1325--1335},
year = {2013},
url = {https://doi.org/10.1109/TMI.2013.2256923},
doi = {10.1109/TMI.2013.2256923},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmi/WellerPGWAG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/SunWCRYNF13,
author = {Hao Sun and
Daniel S. Weller and
Alan Chu and
Sathish Ramani and
Daehyun Yoon and
Jon{-}Fredrik Nielsen and
Jeffrey A. Fessler},
title = {Spoke pulse design in magnetic resonance imaging using greedy minimax
algorithm},
booktitle = {10th {IEEE} International Symposium on Biomedical Imaging: From Nano
to Macro, {ISBI} 2013, 7-11 April, 2013, San Francisco, CA, USA, Proceedings},
pages = {696--699},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ISBI.2013.6556570},
doi = {10.1109/ISBI.2013.6556570},
timestamp = {Wed, 04 Oct 2023 17:01:25 +0200},
biburl = {https://dblp.org/rec/conf/isbi/SunWCRYNF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/WellerRNF13,
author = {Daniel S. Weller and
Sathish Ramani and
Jon{-}Fredrik Nielsen and
Jeffrey A. Fessler},
title = {Sure-based parameter selection for parallel {MRI} reconstruction using
{GRAPPA} and sparsity},
booktitle = {10th {IEEE} International Symposium on Biomedical Imaging: From Nano
to Macro, {ISBI} 2013, 7-11 April, 2013, San Francisco, CA, USA, Proceedings},
pages = {954--957},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ISBI.2013.6556634},
doi = {10.1109/ISBI.2013.6556634},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isbi/WellerRNF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/DunchevLRW13,
author = {Cvetan Dunchev and
Alexander Leitsch and
Mikheil Rukhaia and
Daniel Weller},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Cut-Elimination and Proof Schemata},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {117--136},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_8},
doi = {10.1007/978-3-662-46906-4\_8},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/DunchevLRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HetzlW13,
author = {Stefan Hetzl and
Daniel Weller},
title = {Expansion Trees with Cut},
journal = {CoRR},
volume = {abs/1308.0428},
year = {2013},
url = {http://arxiv.org/abs/1308.0428},
eprinttype = {arXiv},
eprint = {1308.0428},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HetzlW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4257,
author = {Cvetan Dunchev and
Alexander Leitsch and
Mikheil Rukhaia and
Daniel Weller},
title = {{CERES} for First-Order Schemata},
journal = {CoRR},
volume = {abs/1303.4257},
year = {2013},
url = {http://arxiv.org/abs/1303.4257},
eprinttype = {arXiv},
eprint = {1303.4257},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-4257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Weller12,
author = {Daniel S. Weller},
title = {Accelerating {MRI} by unifying sparse models and multiple receivers},
school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
year = {2012},
url = {https://hdl.handle.net/1721.1/75708},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/Weller12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaazHW12,
author = {Matthias Baaz and
Stefan Hetzl and
Daniel Weller},
title = {On the complexity of proof deskolemization},
journal = {J. Symb. Log.},
volume = {77},
number = {2},
pages = {669--686},
year = {2012},
url = {https://doi.org/10.2178/jsl/1333566645},
doi = {10.2178/JSL/1333566645},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaazHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HetzlLW12,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Towards Algorithmic Cut-Introduction},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {228--242},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_19},
doi = {10.1007/978-3-642-28717-6\_19},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HetzlLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/DunchevLLRRWP12,
author = {Cvetan Dunchev and
Alexander Leitsch and
Tomer Libal and
Martin Riener and
Mikheil Rukhaia and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {David Pichardie and
Tjark Weber},
title = {System Feature Description: Importing Refutations into the {GAPT}
Framework},
booktitle = {Proceedings of the Second International Workshop on Proof Exchange
for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {878},
pages = {51--57},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-878/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/DunchevLLRRWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssp/WellerPGWAG12,
author = {Daniel S. Weller and
Jonathan R. Polimeni and
Leo J. Grady and
Lawrence L. Wald and
Elfar Adalsteinsson and
Vivek K. Goyal},
title = {Accelerated parallel magnetic resonance imaging reconstruction using
joint estimation with a sparse signal model},
booktitle = {{IEEE} Statistical Signal Processing Workshop, {SSP} 2012, Ann Arbor,
MI, USA, August 5-8, 2012},
pages = {221--224},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SSP.2012.6319666},
doi = {10.1109/SSP.2012.6319666},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssp/WellerPGWAG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DunchevLLRRWP13,
author = {Cvetan Dunchev and
Alexander Leitsch and
Tomer Libal and
Martin Riener and
Mikheil Rukhaia and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {{PROOFTOOL:} a {GUI} for the {GAPT} Framework},
booktitle = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.118.1},
doi = {10.4204/EPTCS.118.1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DunchevLLRRWP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HetzlLW11,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller},
title = {{CERES} in higher-order logic},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {12},
pages = {1001--1034},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.06.005},
doi = {10.1016/J.APAL.2011.06.005},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HetzlLW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Weller11,
author = {Daniel Weller},
title = {On the elimination of quantifier-free cuts},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {49},
pages = {6843--6854},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.08.035},
doi = {10.1016/J.TCS.2011.08.035},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Weller11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/WellerG11,
author = {Daniel S. Weller and
Vivek K. Goyal},
title = {On the Estimation of Nonrandom Signal Coefficients From Jittered Samples},
journal = {{IEEE} Trans. Signal Process.},
volume = {59},
number = {2},
pages = {587--597},
year = {2011},
url = {https://doi.org/10.1109/TSP.2010.2090347},
doi = {10.1109/TSP.2010.2090347},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/WellerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/WellerG11a,
author = {Daniel S. Weller and
Vivek K. Goyal},
title = {Bayesian Post-Processing Methods for Jitter Mitigation in Sampling},
journal = {{IEEE} Trans. Signal Process.},
volume = {59},
number = {5},
pages = {2112--2123},
year = {2011},
url = {https://doi.org/10.1109/TSP.2011.2108289},
doi = {10.1109/TSP.2011.2108289},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/WellerG11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/WellerPGWAG11,
author = {Daniel S. Weller and
Jonathan R. Polimeni and
Leo J. Grady and
Lawrence L. Wald and
Elfar Adalsteinsson and
Vivek K. Goyal},
title = {Combined compressed sensing and parallel mri compared for uniform
and random cartesian undersampling of K-space},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2011, May 22-27, 2011, Prague Congress
Center, Prague, Czech Republic},
pages = {553--556},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICASSP.2011.5946463},
doi = {10.1109/ICASSP.2011.5946463},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/WellerPGWAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/WellerPGWAG11,
author = {Daniel S. Weller and
Jonathan R. Polimeni and
Leo J. Grady and
Lawrence L. Wald and
Elfar Adalsteinsson and
Vivek K. Goyal},
title = {Evaluating sparsity penalty functions for combined compressed sensing
and parallel {MRI}},
booktitle = {Proceedings of the 8th {IEEE} International Symposium on Biomedical
Imaging: From Nano to Macro, {ISBI} 2011, March 30 - April 2, 2011,
Chicago, Illinois, {USA}},
pages = {1589--1592},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISBI.2011.5872706},
doi = {10.1109/ISBI.2011.5872706},
timestamp = {Wed, 04 Oct 2023 17:01:25 +0200},
biburl = {https://dblp.org/rec/conf/isbi/WellerPGWAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/EnemarkMPW11,
author = {Daniel P. Enemark and
Mathew D. McCubbins and
Ramamohan Paturi and
Nicholas Weller},
editor = {Yoav Shoham and
Yan Chen and
Tim Roughgarden},
title = {Does more connectivity help groups to solve social problems},
booktitle = {Proceedings 12th {ACM} Conference on Electronic Commerce (EC-2011),
San Jose, CA, USA, June 5-9, 2011},
pages = {21--26},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993574.1993578},
doi = {10.1145/1993574.1993578},
timestamp = {Tue, 27 Nov 2018 11:56:48 +0100},
biburl = {https://dblp.org/rec/conf/sigecom/EnemarkMPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/KhoBBGHKKKKMPPRRSSSWWBFGSSWH10,
author = {Rex Kho and
David Boursin and
Martin Brox and
Peter Gregorius and
Heinz Hoenigschmid and
Bianka Kho and
Sabine Kieser and
Daniel Kehrer and
Maksim Kuzmenka and
Udo Moeller and
Pavel Veselinov Petkov and
Manfred Plan and
Michael Richter and
Ian Russell and
Kai Schiller and
Ronny Schneider and
Kartik Swaminathan and
Bradley Weber and
Julien Weber and
Ingo Bormann and
Fabien Funfrock and
Mario Gjukic and
Wolfgang Spirkl and
Holger Steffens and
J{\"{o}}rg Weller and
Thomas Hein},
title = {A 75 nm 7 Gb/s/pin 1 Gb {GDDR5} Graphics Memory Device With Bandwidth
Improvement Techniques},
journal = {{IEEE} J. Solid State Circuits},
volume = {45},
number = {1},
pages = {120--133},
year = {2010},
url = {https://doi.org/10.1109/JSSC.2009.2034417},
doi = {10.1109/JSSC.2009.2034417},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/KhoBBGHKKKKMPPRRSSSWWBFGSSWH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DunchevLLWP10,
author = {Tsvetan Dunchev and
Alexander Leitsch and
Tomer Libal and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {System Description: The Proof Transformation System {CERES}},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {427--433},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_36},
doi = {10.1007/978-3-642-14203-1\_36},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DunchevLLWP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/GoldsteinMCADFHKKLPRSW09,
author = {Seth Copen Goldstein and
Todd C. Mowry and
Jason Campbell and
Michael P. Ashley{-}Rollman and
Michael DeRosa and
Stanislav Funiak and
James F. Hoburg and
Mustafa Emre Karagozler and
Brian T. Kirby and
Peter Lee and
Padmanabhan Pillai and
James Robert Reid and
Daniel D. Stancil and
Michael Philetus Weller},
title = {Beyond Audio and Video: Using Claytronics to Enable Pario},
journal = {{AI} Mag.},
volume = {30},
number = {2},
pages = {29--45},
year = {2009},
url = {https://doi.org/10.1609/aimag.v30i2.2241},
doi = {10.1609/AIMAG.V30I2.2241},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/GoldsteinMCADFHKKLPRSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/WellerG09,
author = {Daniel S. Weller and
Vivek K. Goyal},
title = {Jitter compensation in sampling via polynomial least squares estimation},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2009, 19-24 April 2009, Taipei, Taiwan},
pages = {3341--3344},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICASSP.2009.4960340},
doi = {10.1109/ICASSP.2009.4960340},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/WellerG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/WellerEJ09,
author = {Adrian Weller and
Daniel P. W. Ellis and
Tony Jebara},
editor = {M. Arif Wani and
Mehmed M. Kantardzic and
Vasile Palade and
Lukasz A. Kurgan and
Yuan (Alan) Qi},
title = {Structured Prediction Models for Chord Transcription of Music Audio},
booktitle = {International Conference on Machine Learning and Applications, {ICMLA}
2009, Miami Beach, Florida, USA, December 13-15, 2009},
pages = {590--595},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICMLA.2009.132},
doi = {10.1109/ICMLA.2009.132},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmla/WellerEJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/KhoBBGHKKKKMPPRRSSSWWBFGSSWH09,
author = {Rex Kho and
David Boursin and
Martin Brox and
Peter Gregorius and
Heinz Hoenigschmid and
Bianka Kho and
Sabine Kieser and
Daniel Kehrer and
Maksim Kuzmenka and
Udo Moeller and
Pavel Veselinov Petkov and
Manfred Plan and
Michael Richter and
Ian Russell and
Kai Schiller and
Ronny Schneider and
Kartik Swaminathan and
Bradley Weber and
Julien Weber and
Ingo Bormann and
Fabien Funfrock and
Mario Gjukic and
Wolfgang Spirkl and
Holger Steffens and
J{\"{o}}rg Weller and
Thomas Hein},
title = {75nm 7Gb/s/pin 1Gb {GDDR5} graphics memory device with bandwidth-improvement
techniques},
booktitle = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2009,
Digest of Technical Papers, San Francisco, CA, USA, 8-12 February,
2009},
pages = {134--135},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ISSCC.2009.4977344},
doi = {10.1109/ISSCC.2009.4977344},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isscc/KhoBBGHKKKKMPPRRSSSWWBFGSSWH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HetzlLWP09,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Clausal Approach to Proof Analysis in Second-Order Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {214--229},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_15},
doi = {10.1007/978-3-540-92687-0\_15},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HetzlLWP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HetzlLWP08,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Herbrand Sequent Extraction},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {462--477},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_38},
doi = {10.1007/978-3-540-85110-3\_38},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HetzlLWP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HetzlLWP08,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Transforming and Analyzing Proofs in the CERES-System},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/HetzlLWP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/MangharamWRMB06,
author = {Rahul Mangharam and
Daniel S. Weller and
Raj Rajkumar and
Priyantha Mudalige and
Fan Bai},
editor = {Hamid Ahmadi and
Tom La Porta},
title = {GrooveNet: {A} Hybrid Simulator for Vehicle-to-Vehicle Networks},
booktitle = {3rd Annual International {ICST} Conference on Mobile and Ubiquitous
Systems: Computing, Networking and Services, {MOBIQUITOUS} 2006, San
Jose, California, USA, July 17-21, 2006},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MOBIQ.2006.340441},
doi = {10.1109/MOBIQ.2006.340441},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/MangharamWRMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oss/BrinkRWB06,
author = {Daniel Brink and
Llewelyn Roos and
James Weller and
Jean{-}Paul Van Belle},
editor = {Ernesto Damiani and
Brian Fitzgerald and
Walt Scacchi and
Marco Scotto and
Giancarlo Succi},
title = {Critical Success Factors for Migrating to OSS-on-the-Desktop: Common
Themes across Three South African Case Studies},
booktitle = {Open Source Systems, {IFIP} Working Group 2.13 Foundation on Open
Source Software, June 8-10, 2006, Como, Italy},
series = {{IFIP}},
volume = {203},
pages = {287--293},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/0-387-34226-5\_29},
doi = {10.1007/0-387-34226-5\_29},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oss/BrinkRWB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/MangharamWSRP05,
author = {Rahul Mangharam and
Daniel S. Weller and
Daniel D. Stancil and
Ragunathan Rajkumar and
Jayendra S. Parikh},
editor = {Kenneth P. Laberteaux and
Hannes Hartenstein and
David B. Johnson and
Raja Sengupta},
title = {GrooveSim: a topography-accurate simulator for geographic routing
in vehicular networks},
booktitle = {Proceedings of the Second International Workshop on Vehicular Ad Hoc
Networks, {VANET} 2005, Cologne, Germany, September 2, 2005},
pages = {59--68},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1080754.1080764},
doi = {10.1145/1080754.1080764},
timestamp = {Mon, 01 Jul 2019 18:18:38 +0200},
biburl = {https://dblp.org/rec/conf/mobicom/MangharamWSRP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WellerY84,
author = {Daniel L. Weller and
Bryant W. York},
title = {A Relational Representation of an Abstract Type System},
journal = {{IEEE} Trans. Software Eng.},
volume = {10},
number = {3},
pages = {303--309},
year = {1984},
url = {https://doi.org/10.1109/TSE.1984.5010239},
doi = {10.1109/TSE.1984.5010239},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WellerY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CarlsonRW83,
author = {Eric D. Carlson and
James R. Rhyne and
Daniel L. Weller},
title = {Software Structure for Display Management Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {9},
number = {4},
pages = {385--394},
year = {1983},
url = {https://doi.org/10.1109/TSE.1983.237026},
doi = {10.1109/TSE.1983.237026},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CarlsonRW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/WellerCGPWZ80,
author = {Daniel L. Weller and
Eric D. Carlson and
Gary M. Giddings and
Frank P. Palermo and
Robin Williams and
Stephen N. Zilles},
title = {Software Architecture for Graphical Interaction},
journal = {{IBM} Syst. J.},
volume = {19},
number = {3},
pages = {314--330},
year = {1980},
url = {https://doi.org/10.1147/sj.193.0314},
doi = {10.1147/SJ.193.0314},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmsj/WellerCGPWZ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/PalermoW79,
author = {Frank P. Palermo and
Daniel L. Weller},
editor = {Albrecht Blaser},
title = {Some Database Requirements For Pictorial Applications},
booktitle = {Data Base Techniques for Pictorial Applications, Florence, Italy,
June 20-22, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {81},
pages = {555--567},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09763-5\_30},
doi = {10.1007/3-540-09763-5\_30},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ibm/PalermoW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/FreiWW78,
author = {Hans{-}Peter Frei and
Daniel L. Weller and
Robin Williams},
editor = {S. H. Chasen and
Richard L. Phillips},
title = {A graphics-based programming-support system},
booktitle = {Proceedings of the 5th Annual Conference on Computer Graphics and
Interactive Techniques, {SIGGRAPH} 1978, Atlanta, GA, USA, August
23-25, 1978},
pages = {43--49},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800248.807368},
doi = {10.1145/800248.807368},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/siggraph/FreiWW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/WellerW76,
author = {Daniel L. Weller and
Robin Williams},
editor = {Udo W. Pooch},
title = {Graphic and relational data base support for problem solving},
booktitle = {Proceedings of the 3rd Annual Conference on Computer Graphics and
Interactive Techniques, {SIGGRAPH} 1976, Philadelphia, Pennsylvania,
USA, July 14-16, 1976},
pages = {183--189},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/563274.563309},
doi = {10.1145/563274.563309},
timestamp = {Fri, 12 Mar 2021 11:25:22 +0100},
biburl = {https://dblp.org/rec/conf/siggraph/WellerW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/WilliamsGLMW75,
author = {Robin Williams and
Gary M. Giddings and
Warren D. Little and
W. Gerald Moorhead and
Daniel L. Weller},
editor = {William M. van Cleemput and
James G. Linders},
title = {Data Structures in Computer Graphics},
booktitle = {Proceedings of the Workshop on Data Bases for Interactive Design,
Canada, September 15-16, 1975},
pages = {78--82},
publisher = {{ACM}},
year = {1975},
timestamp = {Sun, 16 Sep 2012 20:39:38 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/WilliamsGLMW75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagamore/WellerD74,
author = {Daniel L. Weller and
Edward S. Davidson},
editor = {Tse{-}Yun Feng},
title = {Optimal Searching Algorithms for Parallel Pipelined Computers},
booktitle = {Parallel Processing, Proceedings of the Sagamore Computer Conference,
Sagamore, Adirondack Mountains, NY, USA, August 20-23, 1974},
series = {Lecture Notes in Computer Science},
volume = {24},
pages = {291--305},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07135-0\_130},
doi = {10.1007/3-540-07135-0\_130},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/sagamore/WellerD74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-16 02:30 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:
