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},
title = {"According to . . . ": Prompting Language Models Improves Quoting
from Pre-Training Data},
booktitle = {{EACL} {(1)}},
pages = {2288--2301},
publisher = {Association for Computational Linguistics},
year = {2024}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cikm/NguyenHW022,
author = {Anna Nguyen and
Daniel Hagenmayer and
Tobias Weller and
Michael F{\"{a}}rber},
title = {Explaining Convolutional Neural Networks by Tagging Filters},
booktitle = {{CIKM} Workshops},
series = {{CEUR} Workshop Proceedings},
volume = {3318},
publisher = {CEUR-WS.org},
year = {2022}
}
@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 = {{CBI} {(1)}},
pages = {70--79},
publisher = {{IEEE}},
year = {2022}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{ISSCC}},
pages = {348--350},
publisher = {{IEEE}},
year = {2021}
}
@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}
}
@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}
}
@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}
}
@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},
title = {Hieroglyph: Hierarchical Glia Graph Skeletonization and Matching},
booktitle = {{ACSSC}},
pages = {251--255},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/acssc/TomaBEW20,
author = {Tanjin Taher Toma and
Kanchan Bisht and
Ukpong Eyo and
Daniel S. Weller},
title = {{VBET:} Vesselness and Blob Enhancement Technique for 2d and 3d microscopy
images of microglia},
booktitle = {{ACSSC}},
pages = {256--260},
publisher = {{IEEE}},
year = {2020}
}
@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},
title = {Human-Centered Approaches to Fair and Responsible {AI}},
booktitle = {{CHI} Extended Abstracts},
pages = {1--8},
publisher = {{ACM}},
year = {2020}
}
@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 = {{ISBI}},
pages = {1941--1944},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/isbi/TomaW20,
author = {Tanjin Taher Toma and
Daniel S. Weller},
title = {Fast Automatic Parameter Selection for {MRI} Reconstruction},
booktitle = {{ISBI}},
pages = {1078--1081},
publisher = {{IEEE}},
year = {2020}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{ISBI}},
pages = {357--360},
publisher = {{IEEE}},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/acssc/LiangDKW17,
author = {Haoyi Liang and
Natalia Dabrowska and
Jaideep Kapur and
Daniel S. Weller},
title = {Whole brain reconstruction from multilayered sections of a mouse model
of status epilepticus},
booktitle = {{ACSSC}},
pages = {1260--1263},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/ciss/Weller17,
author = {Daniel S. Weller},
title = {Learning dictionaries for accelerated parallel {MRI} reconstruction},
booktitle = {{CISS}},
pages = {1},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/icip/LiangAW17,
author = {Haoyi Liang and
Scott T. Acton and
Daniel S. Weller},
title = {Content-aware neuron image enhancement},
booktitle = {{ICIP}},
pages = {3510--3514},
publisher = {{IEEE}},
year = {2017}
}
@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 = {{ISSCC}},
pages = {388--389},
publisher = {{IEEE}},
year = {2017}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/acssc/Weller16,
author = {Daniel S. Weller},
title = {Robust phase retrieval with sparsity under nonnegativity constraints},
booktitle = {{ACSSC}},
pages = {1043--1047},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/icip/LiangW16,
author = {Haoyi Liang and
Daniel S. Weller},
title = {Denoising method selection by comparison-based image quality assessment},
booktitle = {{ICIP}},
pages = {3106--3110},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/icip/LiangW16a,
author = {Haoyi Liang and
Daniel S. Weller},
title = {Edge-based texture granularity detection},
booktitle = {{ICIP}},
pages = {3563--3567},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/ssiai/Weller16,
author = {Daniel S. Weller},
title = {Analysis-form sparse phase retrieval using variable-splitting},
booktitle = {{SSIAI}},
pages = {61--64},
publisher = {{IEEE} Computer Society},
year = {2016}
}
@inproceedings{DBLP:conf/ssiai/Weller16a,
author = {Daniel S. Weller},
title = {Reconstruction with dictionary learning for accelerated parallel magnetic
resonance imaging},
booktitle = {{SSIAI}},
pages = {105--108},
publisher = {{IEEE} Computer Society},
year = {2016}
}
@inproceedings{DBLP:conf/www/CanoPRWD16,
author = {Amparo Elizabeth Cano and
Daniel Preotiuc{-}Pietro and
Danica Radovanovic and
Katrin Weller and
Aba{-}Sah Dadzie},
title = {{\#}Microposts2016: 6th Workshop on Making Sense of Microposts: Big
things come in small packages},
booktitle = {{WWW} (Companion Volume)},
pages = {1041--1042},
publisher = {{ACM}},
year = {2016}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/acssc/LiangW15,
author = {Haoyi Liang and
Daniel S. Weller},
title = {Regularization parameter trimming for iterative image reconstruction},
booktitle = {{ACSSC}},
pages = {755--759},
publisher = {{IEEE}},
year = {2015}
}
@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},
title = {A Polynomial-Time Algorithm for Outerplanar Diameter Improvement},
booktitle = {{CSR}},
series = {Lecture Notes in Computer Science},
volume = {9139},
pages = {123--142},
publisher = {Springer},
year = {2015}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cade/HetzlLRTW14,
author = {Stefan Hetzl and
Alexander Leitsch and
Giselle Reis and
Janos Tapolczai and
Daniel Weller},
title = {Introducing Quantified Cuts in Logic with Equality},
booktitle = {{IJCAR}},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {240--254},
publisher = {Springer},
year = {2014}
}
@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 = {{ICIP}},
pages = {1342--1346},
publisher = {{IEEE}},
year = {2014}
}
@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}
}
@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}
}
@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}
}
@article{DBLP:journals/corr/Weller14,
author = {Daniel Weller},
title = {Exposition: Synthesis via Functional Interpretation},
journal = {CoRR},
volume = {abs/1403.7353},
year = {2014}
}
@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}
}
@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}
}
@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 = {{ISBI}},
pages = {696--699},
publisher = {{IEEE}},
year = {2013}
}
@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 = {{ISBI}},
pages = {954--957},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/tbillc/DunchevLRW13,
author = {Cvetan Dunchev and
Alexander Leitsch and
Mikheil Rukhaia and
Daniel Weller},
title = {Cut-Elimination and Proof Schemata},
booktitle = {TbiLLC},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {117--136},
publisher = {Springer},
year = {2013}
}
@article{DBLP:journals/corr/HetzlW13,
author = {Stefan Hetzl and
Daniel Weller},
title = {Expansion Trees with Cut},
journal = {CoRR},
volume = {abs/1308.0428},
year = {2013}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/lpar/HetzlLW12,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller},
title = {Towards Algorithmic Cut-Introduction},
booktitle = {{LPAR}},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {228--242},
publisher = {Springer},
year = {2012}
}
@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},
title = {System Feature Description: Importing Refutations into the {GAPT}
Framework},
booktitle = {PxTP},
series = {{CEUR} Workshop Proceedings},
volume = {878},
pages = {51--57},
publisher = {CEUR-WS.org},
year = {2012}
}
@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 = {{SSP}},
pages = {221--224},
publisher = {{IEEE}},
year = {2012}
}
@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},
title = {{PROOFTOOL:} a {GUI} for the {GAPT} Framework},
booktitle = {{UITP}},
series = {{EPTCS}},
volume = {118},
pages = {1--14},
year = {2012}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{ICASSP}},
pages = {553--556},
publisher = {{IEEE}},
year = {2011}
}
@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 = {{ISBI}},
pages = {1589--1592},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/sigecom/EnemarkMPW11,
author = {Daniel P. Enemark and
Mathew D. McCubbins and
Ramamohan Paturi and
Nicholas Weller},
title = {Does more connectivity help groups to solve social problems},
booktitle = {{EC}},
pages = {21--26},
publisher = {{ACM}},
year = {2011}
}
@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}
}
@inproceedings{DBLP:conf/cade/DunchevLLWP10,
author = {Tsvetan Dunchev and
Alexander Leitsch and
Tomer Libal and
Daniel Weller and
Bruno Woltzenlogel Paleo},
title = {System Description: The Proof Transformation System {CERES}},
booktitle = {{IJCAR}},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {427--433},
publisher = {Springer},
year = {2010}
}
@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}
}
@inproceedings{DBLP:conf/icassp/WellerG09,
author = {Daniel S. Weller and
Vivek K. Goyal},
title = {Jitter compensation in sampling via polynomial least squares estimation},
booktitle = {{ICASSP}},
pages = {3341--3344},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/icmla/WellerEJ09,
author = {Adrian Weller and
Daniel P. W. Ellis and
Tony Jebara},
title = {Structured Prediction Models for Chord Transcription of Music Audio},
booktitle = {{ICMLA}},
pages = {590--595},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@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 = {{ISSCC}},
pages = {134--135},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/lfcs/HetzlLWP09,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller and
Bruno Woltzenlogel Paleo},
title = {A Clausal Approach to Proof Analysis in Second-Order Logic},
booktitle = {{LFCS}},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {214--229},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/aisc/HetzlLWP08,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller and
Bruno Woltzenlogel Paleo},
title = {Herbrand Sequent Extraction},
booktitle = {AISC/MKM/Calculemus},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {462--477},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/lpar/HetzlLWP08,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller and
Bruno Woltzenlogel Paleo},
title = {Transforming and Analyzing Proofs in the CERES-System},
booktitle = {{LPAR} Workshops},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/mobiquitous/MangharamWRMB06,
author = {Rahul Mangharam and
Daniel S. Weller and
Raj Rajkumar and
Priyantha Mudalige and
Fan Bai},
title = {GrooveNet: {A} Hybrid Simulator for Vehicle-to-Vehicle Networks},
booktitle = {MobiQuitous},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2006}
}
@inproceedings{DBLP:conf/oss/BrinkRWB06,
author = {Daniel Brink and
Llewelyn Roos and
James Weller and
Jean{-}Paul Van Belle},
title = {Critical Success Factors for Migrating to OSS-on-the-Desktop: Common
Themes across Three South African Case Studies},
booktitle = {{OSS}},
series = {{IFIP}},
volume = {203},
pages = {287--293},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/mobicom/MangharamWSRP05,
author = {Rahul Mangharam and
Daniel S. Weller and
Daniel D. Stancil and
Ragunathan Rajkumar and
Jayendra S. Parikh},
title = {GrooveSim: a topography-accurate simulator for geographic routing
in vehicular networks},
booktitle = {Vehicular Ad Hoc Networks},
pages = {59--68},
publisher = {{ACM}},
year = {2005}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ibm/PalermoW79,
author = {Frank P. Palermo and
Daniel L. Weller},
title = {Some Database Requirements For Pictorial Applications},
booktitle = {Data Base Techniques for Pictorial Applications},
series = {Lecture Notes in Computer Science},
volume = {81},
pages = {555--567},
publisher = {Springer},
year = {1979}
}
@inproceedings{DBLP:conf/siggraph/FreiWW78,
author = {Hans{-}Peter Frei and
Daniel L. Weller and
Robin Williams},
title = {A graphics-based programming-support system},
booktitle = {{SIGGRAPH}},
pages = {43--49},
publisher = {{ACM}},
year = {1978}
}
@inproceedings{DBLP:conf/siggraph/WellerW76,
author = {Daniel L. Weller and
Robin Williams},
title = {Graphic and relational data base support for problem solving},
booktitle = {{SIGGRAPH}},
pages = {183--189},
publisher = {{ACM}},
year = {1976}
}
@inproceedings{DBLP:conf/sigmod/WilliamsGLMW75,
author = {Robin Williams and
Gary M. Giddings and
Warren D. Little and
W. Gerald Moorhead and
Daniel L. Weller},
title = {Data Structures in Computer Graphics},
booktitle = {Data Bases for Interactive Design},
pages = {78--82},
publisher = {{ACM}},
year = {1975}
}
@inproceedings{DBLP:conf/sagamore/WellerD74,
author = {Daniel L. Weller and
Edward S. Davidson},
title = {Optimal Searching Algorithms for Parallel Pipelined Computers},
booktitle = {Sagamore Computer Conference},
series = {Lecture Notes in Computer Science},
volume = {24},
pages = {291--305},
publisher = {Springer},
year = {1974}
}
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 04:20 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:
